Pow acosh Mul Mul 3 x0 -1 Mul Mul sqrt x2 x0 2 
Mul Pow acosh Mul Mul 3 x0 -1 Add Mul Mul sqrt x2 x0 2 -1 Add Mul Mul Mul sqrt x2 x0 2 Mul 2 Pow Mul sqrt Add Mul Mul 3 x0 -1 -1 sqrt Add 1 Mul Mul 3 x0 -1 -1 Mul Mul acosh Mul Mul 3 x0 -1 log acosh Mul Mul 3 x0 -1 Mul 2 sqrt x2 