Mul 3 Pow Mul csch atan x0 x0 Pow x1 27.6173673473650 
Mul 3 Mul Pow Mul csch atan x0 x0 Add Pow x1 27.6173673473650 -1 Mul Pow x1 27.6173673473650 Add Mul x0 Mul Mul Mul -1 coth atan x0 csch atan x0 Pow Add 1 Mul x0 x0 -1 csch atan x0 