Mul Mul -1 Mul Mul x0 0.0134752822213046 x2 Add Add x2 Add -2 x1 Mul Add Pow coth x0 sec x0 x0 acot Add x6 pi 
Add Mul Add Add x2 Add -2 x1 Mul Add Pow coth x0 sec x0 x0 acot Add x6 pi Mul -1 Mul x2 0.0134752822213046 Mul Mul -1 Mul Mul x0 0.0134752822213046 x2 Mul acot Add x6 pi Add Mul Pow coth x0 Add sec x0 -1 Add Mul sec x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul tan x0 sec x0 1 