coth Mul Pow x4 Mul Mul Mul acot x4 3 x0 x0 -1 
Mul Mul -1 Pow csch Mul Pow x4 Mul Mul Mul acot x4 3 x0 x0 -1 2 Mul -1 Mul Pow x4 Add Mul Mul Mul acot x4 3 x0 x0 -1 Mul Mul x4 log x4 Add Mul x0 Mul acot x4 3 Mul Mul acot x4 3 x0 