Add x0 Mul Pow Add x3 Pow Add x0 Pow x0 x7 sec x0 x0 Pow sin acoth x2 x0 
Add 1 Add Mul Pow sin acoth x2 x0 Mul Pow Add x3 Pow Add x0 Pow x0 x7 sec x0 Add x0 -1 Add Mul x0 Mul Pow Add x0 Pow x0 x7 Add sec x0 -1 Add Mul sec x0 Add 1 Mul Pow x0 Add x7 -1 x7 Mul Mul Add x0 Pow x0 x7 log Add x0 Pow x0 x7 Mul tan x0 sec x0 Mul Add x3 Pow Add x0 Pow x0 x7 sec x0 log Add x3 Pow Add x0 Pow x0 x7 sec x0 Mul Pow Add x3 Pow Add x0 Pow x0 x7 sec x0 x0 Mul Pow sin acoth x2 Add x0 -1 Mul sin acoth x2 log sin acoth x2 