Mul Add Mul x4 -4 acosh Mul 7 Pow Mul -4 x0 2 Add Add x0 Add Mul -3 acoth x0 x1 -3 
Add Mul Add Add x0 Add Mul -3 acoth x0 x1 -3 Mul Mul 7 Mul Mul -4 x0 2 Pow Mul sqrt Add Mul 7 Pow Mul -4 x0 2 -1 sqrt Add 1 Mul 7 Pow Mul -4 x0 2 -1 Mul Add Mul x4 -4 acosh Mul 7 Pow Mul -4 x0 2 Add 1 Mul -3 Pow Add 1 Mul -1 Mul x0 x0 -1 