Mul Pow acot Add cosh x0 x0 Add Pow x2 Pow x7 Add asinh x0 x5 Mul x0 x0 E 
Mul E Mul Pow acot Add cosh x0 x0 Add Add Pow x2 Pow x7 Add asinh x0 x5 Mul x0 x0 -1 Add Mul Add Pow x2 Pow x7 Add asinh x0 x5 Mul x0 x0 Mul -1 Mul Add sinh x0 1 Pow Add 1 Mul Add cosh x0 x0 Add cosh x0 x0 -1 Mul Mul acot Add cosh x0 x0 log acot Add cosh x0 x0 Add Mul Pow x2 Add Pow x7 Add asinh x0 x5 -1 Mul Mul x2 log x2 Mul Pow x7 Add Add asinh x0 x5 -1 Mul Mul x7 log x7 Pow sqrt Add 1 Mul x0 x0 -1 Add x0 x0 