atan Mul Pow asinh atan asinh x0 pi atan coth x0 
Mul Add Mul atan coth x0 Mul Pow asinh atan asinh x0 Add pi -1 Mul pi Mul Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul asinh x0 asinh x0 -1 Pow sqrt Add 1 Mul atan asinh x0 atan asinh x0 -1 Mul Pow asinh atan asinh x0 pi Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 Pow Add 1 Mul Mul Pow asinh atan asinh x0 pi atan coth x0 Mul Pow asinh atan asinh x0 pi atan coth x0 -1 