Pow Pow x0 4 acosh Add Mul x4 sqrt x0 x0 
Mul Pow Pow x0 4 Add acosh Add Mul x4 sqrt x0 x0 -1 Add Mul acosh Add Mul x4 sqrt x0 x0 Mul Pow x0 3 4 Mul Mul Pow x0 4 log Pow x0 4 Mul Add Mul x4 Pow Mul 2 sqrt x0 -1 1 Pow Mul sqrt Add Add Mul x4 sqrt x0 x0 -1 sqrt Add 1 Add Mul x4 sqrt x0 x0 -1 