Mul sinh Mul atanh pi Pow csch exp log x0 cot x1 x0 
Add Mul x0 Mul cosh Mul atanh pi Pow csch exp log x0 cot x1 Mul atanh pi Mul Pow csch exp log x0 Add cot x1 -1 Mul cot x1 Mul Mul Mul -1 coth exp log x0 csch exp log x0 Mul exp log x0 Pow x0 -1 sinh Mul atanh pi Pow csch exp log x0 cot x1 