Pow x0 Mul x0 Mul atan acosh pi 0.252840339869332 
Mul Pow x0 Add Mul x0 Mul atan acosh pi 0.252840339869332 -1 Add Mul x0 Mul atan acosh pi 0.252840339869332 Mul Mul x0 log x0 Mul atan acosh pi 0.252840339869332 