Add Pow x1 x0 Pow asec Add Pow acot asech x0 pi Pow x0 atan E -5 
Add Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Pow asec Add Pow acot asech x0 pi Pow x0 atan E 6 Mul -5 Mul Add Mul Pow acot asech x0 Add pi -1 Mul pi Mul -1 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul asech x0 asech x0 -1 Mul Pow x0 Add atan E -1 atan E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Pow acot asech x0 pi Pow x0 atan E Add Pow acot asech x0 pi Pow x0 atan E -1 Add Pow acot asech x0 pi Pow x0 atan E Add Pow acot asech x0 pi Pow x0 atan E -1 