Pow sin x5 sqrt Pow Pow Pow coth pi x0 tan x0 pi 
Mul Pow sin x5 Add sqrt Pow Pow Pow coth pi x0 tan x0 pi -1 Mul Mul sin x5 log sin x5 Mul Pow Mul 2 sqrt Pow Pow Pow coth pi x0 tan x0 pi -1 Mul Pow Pow Pow coth pi x0 tan x0 Add pi -1 Mul pi Mul Pow Pow coth pi x0 Add tan x0 -1 Add Mul tan x0 Mul Pow coth pi Add x0 -1 Mul coth pi log coth pi Mul Mul Pow coth pi x0 log Pow coth pi x0 Pow sec x0 2 