acos Add Mul pi exp Pow x0 pi Add Mul Mul acosh x0 Add x7 1.00496982331369 x0 Pow x1 x0 
Mul -1 Mul Add Mul pi Mul exp Pow x0 pi Mul Pow x0 Add pi -1 pi Add Add Mul x0 Mul Add x7 1.00496982331369 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Add x7 1.00496982331369 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow sqrt Add 1 Mul -1 Mul Add Mul pi exp Pow x0 pi Add Mul Mul acosh x0 Add x7 1.00496982331369 x0 Pow x1 x0 Add Mul pi exp Pow x0 pi Add Mul Mul acosh x0 Add x7 1.00496982331369 x0 Pow x1 x0 -1 