Add Mul x5 Pow asinh Mul 3 x0 x2 acoth Pow x1 Add x2 x0 
Add Mul x5 Mul Pow asinh Mul 3 x0 Add x2 -1 Mul x2 Mul 3 Pow sqrt Add 1 Mul Mul 3 x0 Mul 3 x0 -1 Mul Mul Pow x1 Add Add x2 x0 -1 Mul x1 log x1 Pow Add 1 Mul -1 Mul Pow x1 Add x2 x0 Pow x1 Add x2 x0 -1 