acot Pow acsc x7 Add x0 Add Mul -4 Add x0 x0 x0 
Mul -1 Mul Mul Pow acsc x7 Add Add x0 Add Mul -4 Add x0 x0 x0 -1 Mul Mul acsc x7 log acsc x7 4 Pow Add 1 Mul Pow acsc x7 Add x0 Add Mul -4 Add x0 x0 x0 Pow acsc x7 Add x0 Add Mul -4 Add x0 x0 x0 -1 