Add -4.09841221543077 Mul Mul atanh x0 Pow asech Pow acosh x0 0.0679811246205010 x5 Mul x0 x3 
Add Mul Mul x0 x3 Add Mul Pow asech Pow acosh x0 0.0679811246205010 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow asech Pow acosh x0 0.0679811246205010 Add x5 -1 Mul x5 Mul Mul Pow acosh x0 -0.932018875379499 Mul 0.0679811246205010 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Pow acosh x0 0.0679811246205010 Pow acosh x0 0.0679811246205010 sqrt Add 1 Mul -1 Pow Mul Pow acosh x0 0.0679811246205010 Pow acosh x0 0.0679811246205010 -1 -1 Mul Mul atanh x0 Pow asech Pow acosh x0 0.0679811246205010 x5 x3 