Add Mul x0 Mul x0 x0 Pow 5 Pow x5 Add Mul asin cosh x7 x0 cosh Pow x1 Pow acot x0 asinh x6 
Add Add Mul x0 x0 Mul x0 Add x0 x0 Mul Pow 5 Add Pow x5 Add Mul asin cosh x7 x0 cosh Pow x1 Pow acot x0 asinh x6 -1 Mul 6.60943791243410 Mul Pow x5 Add Add Mul asin cosh x7 x0 cosh Pow x1 Pow acot x0 asinh x6 -1 Mul Mul x5 log x5 Add asin cosh x7 Mul sinh Pow x1 Pow acot x0 asinh x6 Mul Pow x1 Add Pow acot x0 asinh x6 -1 Mul Mul x1 log x1 Mul Pow acot x0 Add asinh x6 -1 Mul asinh x6 Mul -1 Pow Add 1 Mul x0 x0 -1 