Mul x0 Mul sqrt x5 acosh Mul Mul pi 3 Pow Mul x0 5 4 
Add Mul sqrt x5 acosh Mul Mul pi 3 Pow Mul x0 5 4 Mul x0 Mul sqrt x5 Mul Mul Mul pi 3 Mul Pow Mul x0 5 3 9 Pow Mul sqrt Add Mul Mul pi 3 Pow Mul x0 5 4 -1 sqrt Add 1 Mul Mul pi 3 Pow Mul x0 5 4 -1 