acosh Mul -1 Mul Pow Pow x0 0.523598775598299 1.44224957030741 Mul Add Add -4 E x0 3 
Mul Mul -1 Add Mul Mul Add Add -4 E x0 3 Mul Pow Pow x0 0.523598775598299 0.442249570307408 Mul 1.44224957030741 Mul Pow x0 -0.476401224401701 0.523598775598299 Mul Pow Pow x0 0.523598775598299 1.44224957030741 3 Pow Mul sqrt Add Mul -1 Mul Pow Pow x0 0.523598775598299 1.44224957030741 Mul Add Add -4 E x0 3 -1 sqrt Add 1 Mul -1 Mul Pow Pow x0 0.523598775598299 1.44224957030741 Mul Add Add -4 E x0 3 -1 