Pow sqrt pi Mul cos x1 Add Add x0 tan x6 csch Mul x0 x1 
Mul Pow sqrt pi Add Mul cos x1 Add Add x0 tan x6 csch Mul x0 x1 -1 Mul Mul sqrt pi log sqrt pi Mul cos x1 Add 1 Mul Mul Mul -1 coth Mul x0 x1 csch Mul x0 x1 x1 