Mul atan Pow acot x0 Add 5 x0 0.339836909454122 
Mul 0.339836909454122 Mul Mul Pow acot x0 Add Add 5 x0 -1 Add Mul Add 5 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 Pow Add 1 Mul Pow acot x0 Add 5 x0 Pow acot x0 Add 5 x0 -1 