Mul Mul sin coth atan x0 Mul asech x1 Mul x0 x4 Pow -4 x4 
Mul Pow -4 x4 Add Mul Mul asech x1 Mul x0 x4 Mul cos coth atan x0 Mul Mul -1 Pow csch atan x0 2 Pow Add 1 Mul x0 x0 -1 Mul sin coth atan x0 Mul asech x1 x4 