Pow Add x2 tanh exp x0 Mul sqrt Pow acot x0 Add -4 sec x3 5 
Mul Pow Add x2 tanh exp x0 Add Mul sqrt Pow acot x0 Add -4 sec x3 5 -1 Add Mul Mul sqrt Pow acot x0 Add -4 sec x3 5 Mul Pow sech exp x0 2 exp x0 Mul Mul Add x2 tanh exp x0 log Add x2 tanh exp x0 Mul 5 Mul Pow Mul 2 sqrt Pow acot x0 Add -4 sec x3 -1 Mul Pow acot x0 Add Add -4 sec x3 -1 Mul Add -4 sec x3 Mul -1 Pow Add 1 Mul x0 x0 -1 