acos acosh Mul 3 Pow Mul x0 -2 x1 
Mul -1 Mul Mul Mul 3 Mul Pow Mul x0 -2 Add x1 -1 Mul x1 -2 Pow Mul sqrt Add Mul 3 Pow Mul x0 -2 x1 -1 sqrt Add 1 Mul 3 Pow Mul x0 -2 x1 -1 Pow sqrt Add 1 Mul -1 Mul acosh Mul 3 Pow Mul x0 -2 x1 acosh Mul 3 Pow Mul x0 -2 x1 -1 