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