Mul Pow Pow x0 x7 sinh Add x0 -2 Add x0 Add asec csch x2 Pow x0 Mul 625 x0 
Add Mul Add x0 Add asec csch x2 Pow x0 Mul 625 x0 Mul Pow Pow x0 x7 Add sinh Add x0 -2 -1 Add Mul sinh Add x0 -2 Mul Pow x0 Add x7 -1 x7 Mul Mul Pow x0 x7 log Pow x0 x7 cosh Add x0 -2 Mul Pow Pow x0 x7 sinh Add x0 -2 Add 1 Mul Pow x0 Add Mul 625 x0 -1 Add Mul 625 x0 Mul Mul x0 log x0 625 