Pow sec Mul x2 x0 Pow x0 tanh acot sech x0 
Mul Pow sec Mul x2 x0 Add Pow x0 tanh acot sech x0 -1 Add Mul Pow x0 tanh acot sech x0 Mul Mul tan Mul x2 x0 sec Mul x2 x0 x2 Mul Mul sec Mul x2 x0 log sec Mul x2 x0 Mul Pow x0 Add tanh acot sech x0 -1 Add tanh acot sech x0 Mul Mul x0 log x0 Mul Pow sech acot sech x0 2 Mul -1 Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul sech x0 sech x0 -1 