Mul exp acot Pow csch sin Mul x5 x0 acosh x0 x0 
Add Mul x0 Mul exp acot Pow csch sin Mul x5 x0 acosh x0 Mul -1 Mul Mul Pow csch sin Mul x5 x0 Add acosh x0 -1 Add Mul acosh x0 Mul Mul Mul -1 coth sin Mul x5 x0 csch sin Mul x5 x0 Mul cos Mul x5 x0 x5 Mul Mul csch sin Mul x5 x0 log csch sin Mul x5 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Pow csch sin Mul x5 x0 acosh x0 Pow csch sin Mul x5 x0 acosh x0 -1 exp acot Pow csch sin Mul x5 x0 acosh x0 