Mul Pow x0 Mul Mul x0 x1 x0 Pow exp x0 acosh pi 
Add Mul Pow exp x0 acosh pi Mul Pow x0 Add Mul Mul x0 x1 x0 -1 Add Mul Mul x0 x1 x0 Mul Mul x0 log x0 Add Mul x0 x1 Mul x0 x1 Mul Pow x0 Mul Mul x0 x1 x0 Mul Pow exp x0 Add acosh pi -1 Mul acosh pi exp x0 