Mul Pow x0 Mul Mul acosh Pow x1 x2 x1 Mul -4 x4 Pow Add sqrt Mul -7.01525255143453 E x0 x0 
Add Mul Pow Add sqrt Mul -7.01525255143453 E x0 x0 Mul Pow x0 Add Mul Mul acosh Pow x1 x2 x1 Mul -4 x4 -1 Mul Mul acosh Pow x1 x2 x1 Mul -4 x4 Mul Pow x0 Mul Mul acosh Pow x1 x2 x1 Mul -4 x4 Mul Pow Add sqrt Mul -7.01525255143453 E x0 Add x0 -1 Add x0 Mul Add sqrt Mul -7.01525255143453 E x0 log Add sqrt Mul -7.01525255143453 E x0 