Mul atan x7 Mul Mul tanh Pow Add x0 tan x0 x7 4 x0 
Mul atan x7 Add Mul x0 Mul 4 Mul Pow sech Pow Add x0 tan x0 x7 2 Mul Pow Add x0 tan x0 Add x7 -1 Mul x7 Add 1 Pow sec x0 2 Mul tanh Pow Add x0 tan x0 x7 4 