Add Mul x0 Pow 4.29243166956118 Add x5 Pow x0 Mul acoth acosh Mul -3 x7 atan x0 Pow Add x0 sinh E x2 
Add Add Pow 4.29243166956118 Add x5 Pow x0 Mul acoth acosh Mul -3 x7 atan x0 Mul x0 Mul Pow 4.29243166956118 Add Add x5 Pow x0 Mul acoth acosh Mul -3 x7 atan x0 -1 Mul 5.74928506465931 Mul Pow x0 Add Mul acoth acosh Mul -3 x7 atan x0 -1 Add Mul acoth acosh Mul -3 x7 atan x0 Mul Mul x0 log x0 Mul acoth acosh Mul -3 x7 Pow Add 1 Mul x0 x0 -1 Mul Pow Add x0 sinh E Add x2 -1 x2 