Add Mul Mul x6 Add x1 -4 -2 Mul x0 exp Pow exp x0 acoth x0 
Add exp Pow exp x0 acoth x0 Mul x0 Mul exp Pow exp x0 acoth x0 Mul Pow exp x0 Add acoth x0 -1 Add Mul acoth x0 exp x0 Mul Mul exp x0 log exp x0 Pow Add 1 Mul -1 Mul x0 x0 -1 