Mul Pow Add Add 2 x0 Add x0 E x0 Mul Add pi sqrt Mul 2 x0 cosh x0 
Add Mul Mul Add pi sqrt Mul 2 x0 cosh x0 Mul Pow Add Add 2 x0 Add x0 E Add x0 -1 Add Mul x0 2 Mul Add Add 2 x0 Add x0 E log Add Add 2 x0 Add x0 E Mul Pow Add Add 2 x0 Add x0 E x0 Add Mul cosh x0 Mul Pow Mul 2 sqrt Mul 2 x0 -1 2 Mul Add pi sqrt Mul 2 x0 sinh x0 