Add x0 Pow exp Mul x0 5 cosh Pow x0 -4 
Add 1 Mul Pow exp Mul x0 5 Add cosh Pow x0 -4 -1 Add Mul cosh Pow x0 -4 Mul exp Mul x0 5 5 Mul Mul exp Mul x0 5 log exp Mul x0 5 Mul sinh Pow x0 -4 Mul Pow x0 5 -4 