Mul tan Add Mul x3 x0 Add x0 x0 sinh Mul -1 tanh exp sec x0 
Add Mul sinh Mul -1 tanh exp sec x0 Mul Pow sec Add Mul x3 x0 Add x0 x0 2 Add x3 2 Mul tan Add Mul x3 x0 Add x0 x0 Mul cosh Mul -1 tanh exp sec x0 Mul -1 Mul Pow sech exp sec x0 2 Mul exp sec x0 Mul tan x0 sec x0 