Pow Mul x0 Mul x0 Pow csch atan Mul x0 3 -7.01525255143453 cot x3 
Mul Pow Mul x0 Mul x0 Pow csch atan Mul x0 3 -7.01525255143453 Add cot x3 -1 Mul cot x3 Add Mul x0 Pow csch atan Mul x0 3 -7.01525255143453 Mul x0 Add Pow csch atan Mul x0 3 -7.01525255143453 Mul x0 Mul Pow csch atan Mul x0 3 -8.01525255143453 Mul -7.01525255143453 Mul Mul Mul -1 coth atan Mul x0 3 csch atan Mul x0 3 Mul 3 Pow Add 1 Mul Mul x0 3 Mul x0 3 -1 