asec Pow acos Add Mul 3 atanh x6 sech pi Mul sqrt x0 x0 
Mul Mul Pow acos Add Mul 3 atanh x6 sech pi Add Mul sqrt x0 x0 -1 Mul Mul acos Add Mul 3 atanh x6 sech pi log acos Add Mul 3 atanh x6 sech pi Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acos Add Mul 3 atanh x6 sech pi Mul sqrt x0 x0 Pow acos Add Mul 3 atanh x6 sech pi Mul sqrt x0 x0 -1 Pow acos Add Mul 3 atanh x6 sech pi Mul sqrt x0 x0 Pow acos Add Mul 3 atanh x6 sech pi Mul sqrt x0 x0 -1 