Add Pow x0 x5 tan atanh Add Mul -2 x0 Mul sec atan tanh x0 x0 
Add Mul Pow x0 Add x5 -1 x5 Mul Pow sec atanh Add Mul -2 x0 Mul sec atan tanh x0 x0 2 Mul Add -2 Add Mul x0 Mul Mul tan atan tanh x0 sec atan tanh x0 Mul Pow sech x0 2 Pow Add 1 Mul tanh x0 tanh x0 -1 sec atan tanh x0 Pow Add 1 Mul -1 Mul Add Mul -2 x0 Mul sec atan tanh x0 x0 Add Mul -2 x0 Mul sec atan tanh x0 x0 -1 