Mul -2 Mul exp x0 Add x5 sinh Pow Add x0 2 Pow Mul sinh x0 Mul x0 4 x0 
Mul -2 Add Mul Add x5 sinh Pow Add x0 2 Pow Mul sinh x0 Mul x0 4 x0 exp x0 Mul exp x0 Mul cosh Pow Add x0 2 Pow Mul sinh x0 Mul x0 4 x0 Mul Pow Add x0 2 Add Pow Mul sinh x0 Mul x0 4 x0 -1 Add Pow Mul sinh x0 Mul x0 4 x0 Mul Mul Add x0 2 log Add x0 2 Mul Pow Mul sinh x0 Mul x0 4 Add x0 -1 Add Mul x0 Add Mul Mul x0 4 cosh x0 Mul sinh x0 4 Mul Mul sinh x0 Mul x0 4 log Mul sinh x0 Mul x0 4 