Mul Add x0 coth Add Mul x0 3 Add x0 Pow x0 Add x0 Add x0 -4 Add csc Add -4 x3 acosh x6 
Mul Add csc Add -4 x3 acosh x6 Add 1 Mul Mul -1 Pow csch Add Mul x0 3 Add x0 Pow x0 Add x0 Add x0 -4 2 Add 3 Add 1 Mul Pow x0 Add Add x0 Add x0 -4 -1 Add Add x0 Add x0 -4 Mul Mul x0 log x0 2 