Tell me more ×
Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.

I often run into long expressions in the process of solving equations. To go forward I need to be able to eye-ball the expressions to make some substitutions or use some existing relations I know to cancel stuff out etc to reduce the expression to as small as possible so I can prove certain properties about the expressions, such as positivity, monotonicity etc. However, many times I am not able to do much because I can't even see the expression properly.

Is there a way to present the expression in some rational fraction or something that would make it easy to see..

So something like this:

$ \frac{F(x,y,z)}{G(x,y,z)+H(x,y,z)}+\frac{F_2(x,y,z)+G_2(x,y,z)}{G_3(x,y,z)+H_4(x,y,z)}+...\\ $

instead of something that just spills across lines so it's hard to track what the thing looks like:

$ (( x + ((f(x) +g(y)/(......\\ ..... ))))+ ...\\ ....\\ (((((....\\ ...))$

Below is an actual expression that I have:

x->-(-((2 H0D^p (-1+p) p)/(-2 delta p+2 p r-2 rho+(-1+p) p sigma^2))+(H0D^((2 delta-2   r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^(-((2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) (-1+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) ((F (c0-rho) (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(2 rho \[Sigma]^2)-(2 H0S^p (p-(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(-2 (delta p-p r+rho)+(-1+p) p sigma^2)-(H0S (r-rho) (-1+(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(delta-r+rho)))/(2 \[Sigma]^2 ((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))+(H0D^((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^(-((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))) (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) (-1+(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) ((F (c0-rho) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(2 rho \[Sigma]^2)-(2 H0S^p (p-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(-2 (delta p-p r+rho)+(-1+p) p sigma^2)-(H0S (r-rho) (-1+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(delta-r+rho)))/(2 \[Sigma]^2 (-((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))))/(H0D^2 ((H0S^(-1-(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) (H0D^((2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))-H0D^((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^((2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))) ((F (-c0+rho) (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(4 rho \[Sigma]^4)-(2 H0S^p (p-(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) (p-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(-2 (delta p-p r+rho)+(-1+p) p sigma^2)+(H0S (r-rho) (-1+(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) (-1+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(delta-r+rho)) (-((2 H0D^p (-1+p) p)/(-2 delta p+2 p r-2 rho+(-1+p) p sigma^2))+(H0D^((2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^(-((2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) (-1+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) ((F (c0-rho) (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(2 rho \[Sigma]^2)-(2 H0S^p (p-(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(-2 (delta p-p r+rho)+(-1+p) p sigma^2)-(H0S (r-rho) (-1+(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(delta-r+rho)))/(2 \[Sigma]^2 ((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))+(H0D^((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^(-((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))) (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) (-1+(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) ((F (c0-rho) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(2 rho \[Sigma]^2)-(2 H0S^p (p-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(-2 (delta p-p r+rho)+(-1+p) p sigma^2)-(H0S (r-rho) (-1+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(delta-r+rho)))/(2 \[Sigma]^2 (-((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))))/(H0D^2 ((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))-(H0S^(-1-(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) ((H0D^((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^((2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(2 \[Sigma]^2)-(H0D^((2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(2 \[Sigma]^2)) (delta/(delta-r+rho)-(2 H0D^(-1+p) p)/(-2 delta p+2 p r-2 rho+(-1+p) p sigma^2)+(H0D^(-1+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^(-((2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) ((F (c0-rho) (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(2 rho \[Sigma]^2)-(2 H0S^p (p-(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(-2 (delta p-p r+rho)+(-1+p) p sigma^2)-(H0S (r-rho) (-1+(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(delta-r+rho)))/(2 \[Sigma]^2 ((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))+(H0D^(-1+(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) H0S^(-((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))) (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) ((F (c0-rho) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(2 rho \[Sigma]^2)-(2 H0S^p (p-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(-2 (delta p-p r+rho)+(-1+p) p sigma^2)-(H0S (r-rho) (-1+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(delta-r+rho)))/(2 \[Sigma]^2 (-((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))) (-((2 H0S^p (p-(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) (p-(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))/(-2 delta p+2 p r-2 rho+(-1+p) p sigma^2))+1/(rho (delta-r+rho))(-((c0 F (delta-r+rho) (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(4 \[Sigma]^4))+rho ((delta F (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(4 \[Sigma]^4)+(r-rho) (-((F (2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]) (2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2]))/(4 \[Sigma]^4))+H0S (-1+(2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)) (-1+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))))))/(H0D (-((2 delta-2 r+\[Sigma]^2-Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2))+(2 delta-2 r+\[Sigma]^2+Sqrt[8 rho \[Sigma]^2+(-2 delta+2 r-\[Sigma]^2)^2])/(2 \[Sigma]^2)))))

I tried to copy as Latex and compile it but Latex is giving me something that goes off the page. I guess I can break it into many lines at random places and see what that gives me. I was wondering if there is some automatic way of accomplishing this.

share|improve this question
1  
Does expr //TraditionalForm or expr //Row[#,TraditionalForm]& give what you need? – kguler Dec 11 '12 at 3:51
.. or SetOptions[EvaluationNotebook[], CommonDefaultFormatTypes -> {"Output" -> TraditionalForm}]? – kguler Dec 11 '12 at 3:58
1  
You could also try exp /. rho -> \[Rho] /. delta -> \[Delta] /. sigma -> \[Sigma] /. H0D -> Subscript[H, D] /. H0S -> Subscript[H, s] and get a large screen ;-) – chris Dec 11 '12 at 10:58
Thanks @kguler and Chris. Your suggestions helped a lot. Next stop: large screen. – Amatya Dec 12 '12 at 3:16

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.