acot acos Add x7 Pow Pow Add sec x0 sec Add x0 x0 x6 acoth x0 
Mul -1 Mul Mul -1 Mul Mul Pow Pow Add sec x0 sec Add x0 x0 x6 Add acoth x0 -1 Add Mul acoth x0 Mul Pow Add sec x0 sec Add x0 x0 Add x6 -1 Mul x6 Add Mul tan x0 sec x0 Mul Mul tan Add x0 x0 sec Add x0 x0 2 Mul Mul Pow Add sec x0 sec Add x0 x0 x6 log Pow Add sec x0 sec Add x0 x0 x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add x7 Pow Pow Add sec x0 sec Add x0 x0 x6 acoth x0 Add x7 Pow Pow Add sec x0 sec Add x0 x0 x6 acoth x0 -1 Pow Add 1 Mul acos Add x7 Pow Pow Add sec x0 sec Add x0 x0 x6 acoth x0 acos Add x7 Pow Pow Add sec x0 sec Add x0 x0 x6 acoth x0 -1 