Pow Pow Add x0 Pow 4 x0 Pow sec atan x4 atanh Mul x0 acot x6 pi 
Mul Pow Pow Add x0 Pow 4 x0 Pow sec atan x4 atanh Mul x0 acot x6 Add pi -1 Mul pi Mul Pow Add x0 Pow 4 x0 Add Pow sec atan x4 atanh Mul x0 acot x6 -1 Add Mul Pow sec atan x4 atanh Mul x0 acot x6 Add 1 Mul Pow 4 Add x0 -1 5.38629436111989 Mul Mul Add x0 Pow 4 x0 log Add x0 Pow 4 x0 Mul Pow sec atan x4 Add atanh Mul x0 acot x6 -1 Mul Mul sec atan x4 log sec atan x4 Mul acot x6 Pow Add 1 Mul -1 Mul Mul x0 acot x6 Mul x0 acot x6 -1 