Mul acoth Pow 2.25268025514208 x0 Mul 3 x0 
Add Mul Mul 3 x0 Mul Mul Pow 2.25268025514208 Add x0 -1 3.06480098692104 Pow Add 1 Mul -1 Mul Pow 2.25268025514208 x0 Pow 2.25268025514208 x0 -1 Mul acoth Pow 2.25268025514208 x0 3 