Mul x0 Mul Mul Add sec x0 pi x0 atanh Mul atan x0 4 
Add Mul Mul Add sec x0 pi x0 atanh Mul atan x0 4 Mul x0 Add Mul atanh Mul atan x0 4 Add Mul x0 Mul tan x0 sec x0 Add sec x0 pi Mul Mul Add sec x0 pi x0 Mul Mul 4 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul atan x0 4 Mul atan x0 4 -1 