Pow Add x0 sqrt Pow x0 2.75713874736253 acosh Mul x0 acosh Add x0 Mul x3 -5 
Mul Pow Add x0 sqrt Pow x0 2.75713874736253 Add acosh Mul x0 acosh Add x0 Mul x3 -5 -1 Add Mul acosh Mul x0 acosh Add x0 Mul x3 -5 Add 1 Mul Pow Mul 2 sqrt Pow x0 2.75713874736253 -1 Mul Pow x0 1.75713874736253 2.75713874736253 Mul Mul Add x0 sqrt Pow x0 2.75713874736253 log Add x0 sqrt Pow x0 2.75713874736253 Mul Add acosh Add x0 Mul x3 -5 Mul x0 Pow Mul sqrt Add Add x0 Mul x3 -5 -1 sqrt Add 1 Add x0 Mul x3 -5 -1 Pow Mul sqrt Add Mul x0 acosh Add x0 Mul x3 -5 -1 sqrt Add 1 Mul x0 acosh Add x0 Mul x3 -5 -1 