Pow Mul x0 5 Pow csc x0 coth acosh Pow 3 Pow x7 x2 
Mul Pow Mul x0 5 Add Pow csc x0 coth acosh Pow 3 Pow x7 x2 -1 Add Mul Pow csc x0 coth acosh Pow 3 Pow x7 x2 5 Mul Mul Mul x0 5 log Mul x0 5 Mul Pow csc x0 Add coth acosh Pow 3 Pow x7 x2 -1 Mul coth acosh Pow 3 Pow x7 x2 Mul Mul -1 cot x0 csc x0 