Mul Mul x0 acosh Pow Add log x0 tan x3 x3 x0 
Add Mul x0 Add acosh Pow Add log x0 tan x3 x3 Mul x0 Mul Mul Pow Add log x0 tan x3 Add x3 -1 Mul x3 Pow x0 -1 Pow Mul sqrt Add Pow Add log x0 tan x3 x3 -1 sqrt Add 1 Pow Add log x0 tan x3 x3 -1 Mul x0 acosh Pow Add log x0 tan x3 x3 