asech Mul Pow tan x0 0.549306144334055 x1 
Mul Mul x1 Mul Pow tan x0 -0.450693855665945 Mul 0.549306144334055 Pow sec x0 2 Pow Mul Mul Mul Pow tan x0 0.549306144334055 x1 Mul Pow tan x0 0.549306144334055 x1 sqrt Add 1 Mul -1 Pow Mul Mul Pow tan x0 0.549306144334055 x1 Mul Pow tan x0 0.549306144334055 x1 -1 -1 