Add Mul -4 Mul Pow acosh x0 pi Mul Add x0 x0 Mul 20.0855369231877 Pow x1 x0 x1 
Mul -4 Add Mul Mul Add x0 x0 Mul 20.0855369231877 Pow x1 x0 Mul Pow acosh x0 Add pi -1 Mul pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow acosh x0 pi Add Mul Mul 20.0855369231877 Pow x1 x0 2 Mul Add x0 x0 Mul 20.0855369231877 Mul Pow x1 Add x0 -1 Mul x1 log x1 