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