Mul Mul x5 0.756802495307928 asin Pow x0 Add Add Mul x6 x1 sec x0 x0 
Mul Mul x5 0.756802495307928 Mul Mul Pow x0 Add Add Add Mul x6 x1 sec x0 x0 -1 Add Add Add Mul x6 x1 sec x0 x0 Mul Mul x0 log x0 Add Mul tan x0 sec x0 1 Pow sqrt Add 1 Mul -1 Mul Pow x0 Add Add Mul x6 x1 sec x0 x0 Pow x0 Add Add Mul x6 x1 sec x0 x0 -1 