Pow Mul Mul Pow x0 -2 x0 Mul x0 Add x0 x3 acosh pi 
Mul Pow Mul Mul Pow x0 -2 x0 Mul x0 Add x0 x3 Add acosh pi -1 Mul acosh pi Add Mul Mul x0 Add x0 x3 Add Mul x0 Mul Pow x0 3 -2 Pow x0 -2 Mul Mul Pow x0 -2 x0 Add Add x0 x3 x0 