exp acoth Mul x0 Mul 3 Mul 4 Add x0 x0 
Mul exp acoth Mul x0 Mul 3 Mul 4 Add x0 x0 Mul Add Mul 3 Mul 4 Add x0 x0 Mul x0 9 Pow Add 1 Mul -1 Mul Mul x0 Mul 3 Mul 4 Add x0 x0 Mul x0 Mul 3 Mul 4 Add x0 x0 -1 