Add Pow Pow Mul Mul asech x7 Pow x0 x1 csc x0 tan coth x0 -4 cos acoth pi 
Mul Pow Pow Mul Mul asech x7 Pow x0 x1 csc x0 tan coth x0 5 Mul -4 Mul Pow Mul Mul asech x7 Pow x0 x1 csc x0 Add tan coth x0 -1 Add Mul tan coth x0 Add Mul csc x0 Mul asech x7 Mul Pow x0 Add x1 -1 x1 Mul Mul asech x7 Pow x0 x1 Mul Mul -1 cot x0 csc x0 Mul Mul Mul Mul asech x7 Pow x0 x1 csc x0 log Mul Mul asech x7 Pow x0 x1 csc x0 Mul Pow sec coth x0 2 Mul -1 Pow csch x0 2 