coth Add Pow sec Pow sqrt x3 x0 -1 x7 
Mul Mul -1 Pow csch Add Pow sec Pow sqrt x3 x0 -1 x7 2 Mul Pow sec Pow sqrt x3 x0 2 Mul -1 Mul Mul tan Pow sqrt x3 x0 sec Pow sqrt x3 x0 Mul Pow sqrt x3 Add x0 -1 Mul sqrt x3 log sqrt x3 