Mul Pow x0 cos Add x0 Mul pi acosh Add x3 x7 Add cot tan x0 Pow x0 coth x5 
Add Mul Add cot tan x0 Pow x0 coth x5 Mul Pow x0 Add cos Add x0 Mul pi acosh Add x3 x7 -1 Add cos Add x0 Mul pi acosh Add x3 x7 Mul Mul x0 log x0 Mul -1 sin Add x0 Mul pi acosh Add x3 x7 Mul Pow x0 cos Add x0 Mul pi acosh Add x3 x7 Add Mul Mul -1 Pow csc tan x0 2 Pow sec x0 2 Mul Pow x0 Add coth x5 -1 coth x5 