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