Add x1 Add acos Pow acos acos x0 pi tan Mul cosh Mul -3 x2 tan x3 
Mul -1 Mul Mul Pow acos acos x0 Add pi -1 Mul pi Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos x0 acos x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow acos acos x0 pi Pow acos acos x0 pi -1 