Mul Pow x0 -3 Mul sec atanh E sinh Add Add x0 Add acosh x6 x0 Add acosh Add x0 -5 Mul x3 2 
Add Mul Mul sec atanh E sinh Add Add x0 Add acosh x6 x0 Add acosh Add x0 -5 Mul x3 2 Mul Pow x0 4 -3 Mul Pow x0 -3 Mul sec atanh E Mul cosh Add Add x0 Add acosh x6 x0 Add acosh Add x0 -5 Mul x3 2 Add 2 Pow Mul sqrt Add Add x0 -5 -1 sqrt Add 1 Add x0 -5 -1 