Mul Mul atan sec x0 acsc Mul x3 x0 Mul pi x1 
Mul Mul pi x1 Add Mul acsc Mul x3 x0 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 Mul atan sec x0 Mul -1 Mul x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x3 x0 Mul x3 x0 -1 Mul x3 x0 Mul x3 x0 -1 