sqrt Pow acot x2 exp Mul Mul -1.03731472072755 x0 Mul 2 x0 
Mul Pow Mul 2 sqrt Pow acot x2 exp Mul Mul -1.03731472072755 x0 Mul 2 x0 -1 Mul Pow acot x2 Add exp Mul Mul -1.03731472072755 x0 Mul 2 x0 -1 Mul Mul acot x2 log acot x2 Mul exp Mul Mul -1.03731472072755 x0 Mul 2 x0 Add Mul Mul 2 x0 -1.03731472072755 Mul Mul -1.03731472072755 x0 2 