Mul atanh Add x0 Pow pi Add Mul 4 Pow Mul Add x0 sqrt x6 x5 acosh x7 Mul -1.32134870881090 x0 -2 
Mul -2 Mul Add 1 Mul Pow pi Add Add Mul 4 Pow Mul Add x0 sqrt x6 x5 acosh x7 Mul -1.32134870881090 x0 -1 Mul Mul pi log pi Add Mul 4 Mul Pow Mul Add x0 sqrt x6 x5 Add acosh x7 -1 Mul acosh x7 x5 -1.32134870881090 Pow Add 1 Mul -1 Mul Add x0 Pow pi Add Mul 4 Pow Mul Add x0 sqrt x6 x5 acosh x7 Mul -1.32134870881090 x0 Add x0 Pow pi Add Mul 4 Pow Mul Add x0 sqrt x6 x5 acosh x7 Mul -1.32134870881090 x0 -1 