log sec Mul Mul coth x3 exp Add x0 x4 x7 
Mul Mul Mul tan Mul Mul coth x3 exp Add x0 x4 x7 sec Mul Mul coth x3 exp Add x0 x4 x7 Mul x7 Mul coth x3 exp Add x0 x4 Pow sec Mul Mul coth x3 exp Add x0 x4 x7 -1 