Add Add Pow E x0 Pow Add Mul x0 Mul acsch x7 x0 E Mul 4 x0 x2 
Add Mul Pow E Add x0 -1 Mul E log E Mul Pow Add Mul x0 Mul acsch x7 x0 E Add Mul 4 x0 -1 Add Mul Mul 4 x0 Add Mul acsch x7 x0 Mul x0 acsch x7 Mul Mul Add Mul x0 Mul acsch x7 x0 E log Add Mul x0 Mul acsch x7 x0 E 4 