Mul coth Mul x0 x4 Add Pow acot exp asinh pi Mul x0 x5 x0 
Add Mul Add Pow acot exp asinh pi Mul x0 x5 x0 Mul Mul -1 Pow csch Mul x0 x4 2 x4 Mul coth Mul x0 x4 Add Mul Pow acot exp asinh pi Add Mul x0 x5 -1 Mul Mul acot exp asinh pi log acot exp asinh pi x5 1 