Mul Pow Add Add E Add x0 x0 Mul Mul x0 Mul atanh x0 -5 cosh x1 acot x3 x7 
Mul x7 Mul Pow Add Add E Add x0 x0 Mul Mul x0 Mul atanh x0 -5 cosh x1 Add acot x3 -1 Mul acot x3 Add 2 Mul cosh x1 Add Mul atanh x0 -5 Mul x0 Mul -5 Pow Add 1 Mul -1 Mul x0 x0 -1 