Mul Mul Pow acosh Pow asinh x0 x1 4 log Mul -1 E Add x2 x0 
Add Mul Add x2 x0 Mul log Mul -1 E Mul Pow acosh Pow asinh x0 x1 3 Mul 4 Mul Mul Pow asinh x0 Add x1 -1 Mul x1 Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Pow asinh x0 x1 -1 sqrt Add 1 Pow asinh x0 x1 -1 Mul Pow acosh Pow asinh x0 x1 4 log Mul -1 E 