Add Mul csc x5 Mul atan Mul x0 Mul x0 -2 cosh Pow x7 x0 acoth Add x0 -3 
Add Mul csc x5 Add Mul cosh Pow x7 x0 Mul Add Mul x0 -2 Mul x0 -2 Pow Add 1 Mul Mul x0 Mul x0 -2 Mul x0 Mul x0 -2 -1 Mul atan Mul x0 Mul x0 -2 Mul sinh Pow x7 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Add 1 Mul -1 Mul Add x0 -3 Add x0 -3 -1 