Add Mul Add x0 Pow acot x1 acoth Add x0 1.03731472072755 x7 x0 
Add Mul x7 Add 1 Mul Pow acot x1 Add acoth Add x0 1.03731472072755 -1 Mul Mul acot x1 log acot x1 Pow Add 1 Mul -1 Mul Add x0 1.03731472072755 Add x0 1.03731472072755 -1 1 