Add x4 Pow exp Pow Pow -2 x2 Add Mul x7 -3 acsch exp x3 x0 
Mul Pow exp Pow Pow -2 x2 Add Mul x7 -3 acsch exp x3 Add x0 -1 Mul exp Pow Pow -2 x2 Add Mul x7 -3 acsch exp x3 log exp Pow Pow -2 x2 Add Mul x7 -3 acsch exp x3 