Mul sqrt Mul Pow x0 5 x0 Add Pow Pow x0 sqrt x5 acosh Mul x0 -3 E 
Add Mul Add Pow Pow x0 sqrt x5 acosh Mul x0 -3 E Mul Pow Mul 2 sqrt Mul Pow x0 5 x0 -1 Add Mul x0 Mul Pow x0 4 5 Pow x0 5 Mul sqrt Mul Pow x0 5 x0 Mul Pow Pow x0 sqrt x5 Add acosh Mul x0 -3 -1 Add Mul acosh Mul x0 -3 Mul Pow x0 Add sqrt x5 -1 sqrt x5 Mul Mul Pow x0 sqrt x5 log Pow x0 sqrt x5 Mul -3 Pow Mul sqrt Add Mul x0 -3 -1 sqrt Add 1 Mul x0 -3 -1 