Add Mul Mul x0 x0 asinh Pow atanh cosh x7 cosh acot x0 Add Pow Mul x4 4 -5 Pow 4 x0 
Add Add Mul asinh Pow atanh cosh x7 cosh acot x0 Add x0 x0 Mul Mul x0 x0 Mul Mul Pow atanh cosh x7 Add cosh acot x0 -1 Mul Mul atanh cosh x7 log atanh cosh x7 Mul sinh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Pow atanh cosh x7 cosh acot x0 Pow atanh cosh x7 cosh acot x0 -1 Mul Pow 4 Add x0 -1 5.38629436111989 