Add x0 csch Mul x5 Pow sin sqrt cot x4 Mul 4 x0 
Add 1 Mul Mul Mul -1 coth Mul x5 Pow sin sqrt cot x4 Mul 4 x0 csch Mul x5 Pow sin sqrt cot x4 Mul 4 x0 Mul x5 Mul Pow sin sqrt cot x4 Add Mul 4 x0 -1 Mul Mul sin sqrt cot x4 log sin sqrt cot x4 4 