Pow Add x0 -3 exp Mul x0 sqrt Pow Pow sinh x7 x0 pi 
Mul Pow Add x0 -3 Add exp Mul x0 sqrt Pow Pow sinh x7 x0 pi -1 Add exp Mul x0 sqrt Pow Pow sinh x7 x0 pi Mul Mul Add x0 -3 log Add x0 -3 Mul exp Mul x0 sqrt Pow Pow sinh x7 x0 pi Add sqrt Pow Pow sinh x7 x0 pi Mul x0 Mul Pow Mul 2 sqrt Pow Pow sinh x7 x0 pi -1 Mul Pow Pow sinh x7 x0 Add pi -1 Mul pi Mul Pow sinh x7 Add x0 -1 Mul sinh x7 log sinh x7 