Mul x0 acosh Mul x0 Mul tan x0 sqrt x3 
Add acosh Mul x0 Mul tan x0 sqrt x3 Mul x0 Mul Add Mul tan x0 sqrt x3 Mul x0 Mul sqrt x3 Pow sec x0 2 Pow Mul sqrt Add Mul x0 Mul tan x0 sqrt x3 -1 sqrt Add 1 Mul x0 Mul tan x0 sqrt x3 -1 