Pow acot x1 acot Add x5 Mul x0 Pow 4 x0 
Mul Pow acot x1 Add acot Add x5 Mul x0 Pow 4 x0 -1 Mul Mul acot x1 log acot x1 Mul -1 Mul Add Pow 4 x0 Mul x0 Mul Pow 4 Add x0 -1 5.38629436111989 Pow Add 1 Mul Add x5 Mul x0 Pow 4 x0 Add x5 Mul x0 Pow 4 x0 -1 