coth Pow Mul x0 Mul x0 x0 atan csch Pow acoth x3 -3 
Mul Mul -1 Pow csch Pow Mul x0 Mul x0 x0 atan csch Pow acoth x3 -3 2 Mul Pow Mul x0 Mul x0 x0 Add atan csch Pow acoth x3 -3 -1 Mul atan csch Pow acoth x3 -3 Add Mul x0 x0 Mul x0 Add x0 x0 