Add x0 Add x1 Mul Pow Pow acoth x3 Add -4 x3 Mul x0 -5 sqrt acsch coth x7 
Add 1 Mul sqrt acsch coth x7 Mul Pow Pow acoth x3 Add -4 x3 Add Mul x0 -5 -1 Mul Mul Pow acoth x3 Add -4 x3 log Pow acoth x3 Add -4 x3 -5 