Mul x0 Pow x0 Mul Mul Add x0 acot cosh Pow x7 x0 x0 Add 2 Pow 4 Add atan x0 Mul acoth x0 4 
Add Pow x0 Mul Mul Add x0 acot cosh Pow x7 x0 x0 Add 2 Pow 4 Add atan x0 Mul acoth x0 4 Mul x0 Mul Pow x0 Add Mul Mul Add x0 acot cosh Pow x7 x0 x0 Add 2 Pow 4 Add atan x0 Mul acoth x0 4 -1 Add Mul Mul Add x0 acot cosh Pow x7 x0 x0 Add 2 Pow 4 Add atan x0 Mul acoth x0 4 Mul Mul x0 log x0 Add Mul Add 2 Pow 4 Add atan x0 Mul acoth x0 4 Add Mul x0 Add 1 Mul -1 Mul Mul sinh Pow x7 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Add 1 Mul cosh Pow x7 x0 cosh Pow x7 x0 -1 Add x0 acot cosh Pow x7 x0 Mul Mul Add x0 acot cosh Pow x7 x0 x0 Mul Pow 4 Add Add atan x0 Mul acoth x0 4 -1 Mul 5.38629436111989 Add Pow Add 1 Mul x0 x0 -1 Mul 4 Pow Add 1 Mul -1 Mul x0 x0 -1 