exp acosh Mul x0 Add sech tan x2 Add x1 x0 
Mul exp acosh Mul x0 Add sech tan x2 Add x1 x0 Mul Add Add sech tan x2 Add x1 x0 x0 Pow Mul sqrt Add Mul x0 Add sech tan x2 Add x1 x0 -1 sqrt Add 1 Mul x0 Add sech tan x2 Add x1 x0 -1 