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