Mul csch x7 Add x5 Mul x0 Add x7 Pow Mul 5 x0 Add sec log x0 3 
Mul csch x7 Add Add x7 Pow Mul 5 x0 Add sec log x0 3 Mul x0 Mul Pow Mul 5 x0 Add Add sec log x0 3 -1 Add Mul Add sec log x0 3 5 Mul Mul Mul 5 x0 log Mul 5 x0 Mul Mul tan log x0 sec log x0 Pow x0 -1 