Mul Add Add x0 Add Pow Add x0 acoth x0 0.875000000000000 Mul Add Add E x0 4 -4 x0 5 
Mul 5 Add Add 1 Add Mul Pow Add x0 acoth x0 -0.125000000000000 Mul 0.875000000000000 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 -4 1 