atan Add Mul Mul x0 Mul x0 sec x0 x3 cosh Add x0 x0 
Mul Add Mul x3 Add Mul x0 sec x0 Mul x0 Add sec x0 Mul x0 Mul tan x0 sec x0 Mul sinh Add x0 x0 2 Pow Add 1 Mul Add Mul Mul x0 Mul x0 sec x0 x3 cosh Add x0 x0 Add Mul Mul x0 Mul x0 sec x0 x3 cosh Add x0 x0 -1 