Add x0 Pow pi Pow Pow atan x0 Pow x0 exp Add x5 cosh acos Add Add x0 x0 pi Pow x0 x1 
Add 1 Mul Pow pi Add Pow Pow atan x0 Pow x0 exp Add x5 cosh acos Add Add x0 x0 pi Pow x0 x1 -1 Mul Mul pi log pi Mul Pow Pow atan x0 Pow x0 exp Add x5 cosh acos Add Add x0 x0 pi Add Pow x0 x1 -1 Add Mul Pow x0 x1 Mul Pow atan x0 Add Pow x0 exp Add x5 cosh acos Add Add x0 x0 pi -1 Add Mul Pow x0 exp Add x5 cosh acos Add Add x0 x0 pi Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow x0 Add exp Add x5 cosh acos Add Add x0 x0 pi -1 Add exp Add x5 cosh acos Add Add x0 x0 pi Mul Mul x0 log x0 Mul exp Add x5 cosh acos Add Add x0 x0 pi Mul sinh acos Add Add x0 x0 pi Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add Add x0 x0 pi Add Add x0 x0 pi -1 Mul Mul Pow atan x0 Pow x0 exp Add x5 cosh acos Add Add x0 x0 pi log Pow atan x0 Pow x0 exp Add x5 cosh acos Add Add x0 x0 pi Mul Pow x0 Add x1 -1 x1 