Mul Add atan Add Mul Mul tan x0 x0 x0 acsch x1 acos x0 x1 
Mul x1 Add Mul Add Mul x0 Add Mul x0 Pow sec x0 2 tan x0 Mul tan x0 x0 Pow Add 1 Mul Add Mul Mul tan x0 x0 x0 acsch x1 Add Mul Mul tan x0 x0 x0 acsch x1 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 