Mul Mul x0 Add acot x3 Mul exp x5 x0 Add Add Add x0 x3 acoth E acoth x0 
Add Mul Add Add Add x0 x3 acoth E acoth x0 Add Add acot x3 Mul exp x5 x0 Mul x0 exp x5 Mul Mul x0 Add acot x3 Mul exp x5 x0 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 