Pow Mul Mul x0 acosh pi -0.125000000000000 x0 
Mul Pow Mul Mul x0 acosh pi -0.125000000000000 Add x0 -1 Add Mul x0 Mul -0.125000000000000 acosh pi Mul Mul Mul x0 acosh pi -0.125000000000000 log Mul Mul x0 acosh pi -0.125000000000000 