Mul asin atan acos tan Mul x0 -1 x5 
Mul x5 Mul Mul Mul -1 Mul Mul Pow sec Mul x0 -1 2 -1 Pow sqrt Add 1 Mul -1 Mul tan Mul x0 -1 tan Mul x0 -1 -1 Pow Add 1 Mul acos tan Mul x0 -1 acos tan Mul x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul atan acos tan Mul x0 -1 atan acos tan Mul x0 -1 -1 