Add Mul Mul Pow x0 Mul x4 x4 x7 acoth Add Add x0 x0 E x0 
Add Add Mul acoth Add Add x0 x0 E Mul x7 Mul Pow x0 Add Mul x4 x4 -1 Mul x4 x4 Mul Mul Pow x0 Mul x4 x4 x7 Mul 2 Pow Add 1 Mul -1 Mul Add Add x0 x0 E Add Add x0 x0 E -1 1 