Mul Add acsch x5 Add x0 Add Pow exp x2 Pow x0 E x1 Pow x7 x0 
Add Mul Pow x7 x0 Add 1 Mul Pow exp x2 Add Pow x0 E -1 Mul Mul exp x2 log exp x2 Mul Pow x0 Add E -1 E Mul Add acsch x5 Add x0 Add Pow exp x2 Pow x0 E x1 Mul Pow x7 Add x0 -1 Mul x7 log x7 