tan Add x3 Pow asech Pow x6 acot Pow x0 acot x4 -5 
Mul Pow sec Add x3 Pow asech Pow x6 acot Pow x0 acot x4 -5 2 Mul Pow asech Pow x6 acot Pow x0 acot x4 6 Mul -5 Mul Mul Pow x6 Add acot Pow x0 acot x4 -1 Mul Mul x6 log x6 Mul -1 Mul Mul Pow x0 Add acot x4 -1 acot x4 Pow Add 1 Mul Pow x0 acot x4 Pow x0 acot x4 -1 Pow Mul Mul Pow x6 acot Pow x0 acot x4 Pow x6 acot Pow x0 acot x4 sqrt Add 1 Mul -1 Pow Mul Pow x6 acot Pow x0 acot x4 Pow x6 acot Pow x0 acot x4 -1 -1 