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