acosh Mul Add x7 Pow coth x0 Add Mul log x0 Mul tan x0 pi -4 Pow exp x1 Add sqrt x7 E 
Mul Mul Pow exp x1 Add sqrt x7 E Mul Pow coth x0 Add Add Mul log x0 Mul tan x0 pi -4 -1 Add Mul Add Mul log x0 Mul tan x0 pi -4 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Add Mul Mul tan x0 pi Pow x0 -1 Mul log x0 Mul pi Pow sec x0 2 Pow Mul sqrt Add Mul Add x7 Pow coth x0 Add Mul log x0 Mul tan x0 pi -4 Pow exp x1 Add sqrt x7 E -1 sqrt Add 1 Mul Add x7 Pow coth x0 Add Mul log x0 Mul tan x0 pi -4 Pow exp x1 Add sqrt x7 E -1 