asech Mul -5 Pow acot x0 Add Add Pow 3 acos Add Add sec x3 x0 x0 Mul 3 x0 pi 
Mul Mul -5 Mul Pow acot x0 Add Add Add Pow 3 acos Add Add sec x3 x0 x0 Mul 3 x0 pi -1 Add Mul Add Add Pow 3 acos Add Add sec x3 x0 x0 Mul 3 x0 pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add Mul Pow 3 Add acos Add Add sec x3 x0 x0 -1 Mul 4.09861228866811 Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add Add sec x3 x0 x0 Add Add sec x3 x0 x0 -1 3 Pow Mul Mul Mul -5 Pow acot x0 Add Add Pow 3 acos Add Add sec x3 x0 x0 Mul 3 x0 pi Mul -5 Pow acot x0 Add Add Pow 3 acos Add Add sec x3 x0 x0 Mul 3 x0 pi sqrt Add 1 Mul -1 Pow Mul Mul -5 Pow acot x0 Add Add Pow 3 acos Add Add sec x3 x0 x0 Mul 3 x0 pi Mul -5 Pow acot x0 Add Add Pow 3 acos Add Add sec x3 x0 x0 Mul 3 x0 pi -1 -1 