Mul x0 Pow Mul x0 Add Add Mul x0 Mul atan x1 cosh Mul x0 Add Pow exp x0 Add x0 x0 csch E -4 x0 E 
Add Pow Mul x0 Add Add Mul x0 Mul atan x1 cosh Mul x0 Add Pow exp x0 Add x0 x0 csch E -4 x0 E Mul x0 Mul Pow Mul x0 Add Add Mul x0 Mul atan x1 cosh Mul x0 Add Pow exp x0 Add x0 x0 csch E -4 x0 Add E -1 Mul E Add Add Add Mul x0 Mul atan x1 cosh Mul x0 Add Pow exp x0 Add x0 x0 csch E -4 x0 Mul x0 Add Add Mul atan x1 cosh Mul x0 Add Pow exp x0 Add x0 x0 csch E Mul x0 Mul atan x1 Mul sinh Mul x0 Add Pow exp x0 Add x0 x0 csch E Add Add Pow exp x0 Add x0 x0 csch E Mul x0 Mul Pow exp x0 Add Add x0 x0 -1 Add Mul Add x0 x0 exp x0 Mul Mul exp x0 log exp x0 2 1 