Mul Mul x0 acosh Add Add Pow atan Pow pi x0 x2 x6 x6 x0 
Add Mul x0 Add acosh Add Add Pow atan Pow pi x0 x2 x6 x6 Mul x0 Mul Mul Pow atan Pow pi x0 Add x2 -1 Mul x2 Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul Pow pi x0 Pow pi x0 -1 Pow Mul sqrt Add Add Add Pow atan Pow pi x0 x2 x6 x6 -1 sqrt Add 1 Add Add Pow atan Pow pi x0 x2 x6 x6 -1 Mul x0 acosh Add Add Pow atan Pow pi x0 x2 x6 x6 