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