Mul acot Mul Add Mul 4 x7 Add x0 sin x2 atanh E x0 
Add Mul x0 Mul -1 Mul atanh E Pow Add 1 Mul Mul Add Mul 4 x7 Add x0 sin x2 atanh E Mul Add Mul 4 x7 Add x0 sin x2 atanh E -1 acot Mul Add Mul 4 x7 Add x0 sin x2 atanh E 