Pow tan Pow Add x0 Pow Pow Mul x0 1.38629436111989 x0 Pow x0 acot E 3 x1 
Mul Pow tan Pow Add x0 Pow Pow Mul x0 1.38629436111989 x0 Pow x0 acot E 3 Add x1 -1 Mul x1 Mul Pow sec Pow Add x0 Pow Pow Mul x0 1.38629436111989 x0 Pow x0 acot E 3 2 Mul Pow Add x0 Pow Pow Mul x0 1.38629436111989 x0 Pow x0 acot E 2 Mul 3 Add 1 Mul Pow Pow Mul x0 1.38629436111989 x0 Add Pow x0 acot E -1 Add Mul Pow x0 acot E Mul Pow Mul x0 1.38629436111989 Add x0 -1 Add Mul x0 1.38629436111989 Mul Mul x0 1.38629436111989 log Mul x0 1.38629436111989 Mul Mul Pow Mul x0 1.38629436111989 x0 log Pow Mul x0 1.38629436111989 x0 Mul Pow x0 Add acot E -1 acot E 