Pow x0 Add x0 Add Pow atan acos Add x0 Mul Mul x0 cosh pi Mul x0 pi x0 x0 
Mul Pow x0 Add Add x0 Add Pow atan acos Add x0 Mul Mul x0 cosh pi Mul x0 pi x0 x0 -1 Add Add x0 Add Pow atan acos Add x0 Mul Mul x0 cosh pi Mul x0 pi x0 x0 Mul Mul x0 log x0 Add 1 Add Mul Pow atan acos Add x0 Mul Mul x0 cosh pi Mul x0 pi Add x0 -1 Add Mul x0 Mul Mul -1 Mul Add 1 Add Mul Mul x0 pi cosh pi Mul Mul x0 cosh pi pi Pow sqrt Add 1 Mul -1 Mul Add x0 Mul Mul x0 cosh pi Mul x0 pi Add x0 Mul Mul x0 cosh pi Mul x0 pi -1 Pow Add 1 Mul acos Add x0 Mul Mul x0 cosh pi Mul x0 pi acos Add x0 Mul Mul x0 cosh pi Mul x0 pi -1 Mul atan acos Add x0 Mul Mul x0 cosh pi Mul x0 pi log atan acos Add x0 Mul Mul x0 cosh pi Mul x0 pi 1 