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