Mul sqrt Mul x1 x0 Add x0 Add 2 Mul 0.250000000000000 cosh x0 
Add Mul Add x0 Add 2 Mul 0.250000000000000 cosh x0 Mul Pow Mul 2 sqrt Mul x1 x0 -1 x1 Mul sqrt Mul x1 x0 Add 1 Mul 0.250000000000000 sinh x0 