Pow Pow acsch cot x3 x0 Mul x2 Mul 2 Mul 2 x0 
Mul Pow Pow acsch cot x3 x0 Add Mul x2 Mul 2 Mul 2 x0 -1 Add Mul Mul x2 Mul 2 Mul 2 x0 Mul Pow acsch cot x3 Add x0 -1 Mul acsch cot x3 log acsch cot x3 Mul Mul Pow acsch cot x3 x0 log Pow acsch cot x3 x0 Mul x2 4 