asin atan Mul Add asin Add cosh x0 3 x0 tan Add x0 tan tan x1 
Mul Mul Add Mul tan Add x0 tan tan x1 Add Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul Add cosh x0 3 Add cosh x0 3 -1 1 Mul Add asin Add cosh x0 3 x0 Pow sec Add x0 tan tan x1 2 Pow Add 1 Mul Mul Add asin Add cosh x0 3 x0 tan Add x0 tan tan x1 Mul Add asin Add cosh x0 3 x0 tan Add x0 tan tan x1 -1 Pow sqrt Add 1 Mul -1 Mul atan Mul Add asin Add cosh x0 3 x0 tan Add x0 tan tan x1 atan Mul Add asin Add cosh x0 3 x0 tan Add x0 tan tan x1 -1 