Add Pow pi Pow Add Mul atan x6 asech pi asin x0 acos Mul x5 x3 x0 
Add Mul Pow pi Add Pow Add Mul atan x6 asech pi asin x0 acos Mul x5 x3 -1 Mul Mul pi log pi Mul Pow Add Mul atan x6 asech pi asin x0 Add acos Mul x5 x3 -1 Mul acos Mul x5 x3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 