Pow acot x0 acot Pow 1.23095941734077 x0 
Mul Pow acot x0 Add acot Pow 1.23095941734077 x0 -1 Add Mul acot Pow 1.23095941734077 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul -1 Mul Mul Pow 1.23095941734077 Add x0 -1 1.43875329677040 Pow Add 1 Mul Pow 1.23095941734077 x0 Pow 1.23095941734077 x0 -1 