Add Mul x0 Mul Mul Pow Mul acoth x0 x0 3 Add x2 -0.142546543074278 x0 Add x3 7.38905609893065 
Add Mul Mul Pow Mul acoth x0 x0 3 Add x2 -0.142546543074278 x0 Mul x0 Add Mul x0 Mul Add x2 -0.142546543074278 Mul Pow Mul acoth x0 x0 2 Mul 3 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 Mul Pow Mul acoth x0 x0 3 Add x2 -0.142546543074278 