sech Pow atan sqrt x0 tan x6 
Mul Mul tanh Pow atan sqrt x0 tan x6 Mul -1 sech Pow atan sqrt x0 tan x6 Mul Pow atan sqrt x0 Add tan x6 -1 Mul tan x6 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 