Pow Pow x0 sec acot x7 Add coth x0 Add Add 5 x0 tanh Add x0 tan atan x5 
Mul Pow Pow x0 sec acot x7 Add Add coth x0 Add Add 5 x0 tanh Add x0 tan atan x5 -1 Add Mul Add coth x0 Add Add 5 x0 tanh Add x0 tan atan x5 Mul Pow x0 Add sec acot x7 -1 sec acot x7 Mul Mul Pow x0 sec acot x7 log Pow x0 sec acot x7 Add Mul -1 Pow csch x0 2 Add 1 Pow sech Add x0 tan atan x5 2 