Pow Mul atanh Mul sqrt x0 cot Pow 4 x7 Add x0 x0 5 
Mul Pow Mul atanh Mul sqrt x0 cot Pow 4 x7 Add x0 x0 4 Mul 5 Add Mul Add x0 x0 Mul Mul cot Pow 4 x7 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Mul sqrt x0 cot Pow 4 x7 Mul sqrt x0 cot Pow 4 x7 -1 Mul atanh Mul sqrt x0 cot Pow 4 x7 2 