Pow x1 Pow coth cot Mul x0 x4 exp acot asech x1 
Mul Pow x1 Add Pow coth cot Mul x0 x4 exp acot asech x1 -1 Mul Mul x1 log x1 Mul Pow coth cot Mul x0 x4 Add exp acot asech x1 -1 Mul exp acot asech x1 Mul Mul -1 Pow csch cot Mul x0 x4 2 Mul Mul -1 Pow csc Mul x0 x4 2 x4 