Jmat.Real.gamma, branch z less than 0.5
Time bar (total: 2.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 74.9% | 25.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 74.9% | 25.1% | 0% | 0% | 0% | 1 |
| 0% | 0% | 74.9% | 25.1% | 0% | 0% | 0% | 2 |
| 25% | 18.7% | 56.2% | 25.1% | 0% | 0% | 0% | 3 |
| 50% | 37.5% | 37.5% | 25.1% | 0% | 0% | 0% | 4 |
| 56.3% | 42.1% | 32.8% | 25.1% | 0% | 0% | 0% | 5 |
| 62.5% | 46.8% | 28.1% | 25.1% | 0% | 0% | 0% | 6 |
| 64.1% | 48% | 26.9% | 25.1% | 0% | 0% | 0% | 7 |
| 65.6% | 49.2% | 25.8% | 25.1% | 0% | 0% | 0% | 8 |
| 66% | 49.5% | 25.5% | 25.1% | 0% | 0% | 0% | 9 |
| 66.4% | 49.8% | 25.2% | 25.1% | 0% | 0% | 0% | 10 |
| 66.5% | 49.8% | 25.1% | 25.1% | 0% | 0% | 0% | 11 |
| 66.6% | 49.9% | 25.1% | 25.1% | 0% | 0% | 0% | 12 |
Compiled 127 to 61 computations (52% saved)
| 92.0ms | 260× | 0 | valid |
| 51.0ms | 143× | 0 | invalid |
| 1.0ms | 2× | 0 | exit |
const: 41.0ms (31.2% of total)ival-add: 29.0ms (22.1% of total)ival-div: 20.0ms (15.2% of total)ival-mult: 10.0ms (7.6% of total)ival-sinu: 8.0ms (6.1% of total)ival-pow: 7.0ms (5.3% of total)ival-sub: 4.0ms (3% of total)ival-exp: 3.0ms (2.3% of total)ival-sqrt: 3.0ms (2.3% of total)ival-pi: 2.0ms (1.5% of total)exact: 2.0ms (1.5% of total)ival-neg: 2.0ms (1.5% of total)ival-<=: 1.0ms (0.8% of total)adjust: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)| Predicted + | Predicted - | |
|---|---|---|
| + | 0 | 3 |
| - | 0 | 253 |
| 1.1s | 3 072× | 0 | valid |
Compiled 4 452 to 2 172 computations (51.2% saved)
const: 319.0ms (32.5% of total)ival-add: 218.0ms (22.2% of total)ival-div: 150.0ms (15.3% of total)ival-mult: 81.0ms (8.3% of total)ival-pow: 57.0ms (5.8% of total)ival-sinu: 37.0ms (3.8% of total)ival-exp: 28.0ms (2.9% of total)ival-sub: 27.0ms (2.8% of total)ival-sqrt: 19.0ms (1.9% of total)ival-pi: 14.0ms (1.4% of total)exact: 12.0ms (1.2% of total)ival-neg: 12.0ms (1.2% of total)ival-true: 3.0ms (0.3% of total)adjust: 1.0ms (0.1% of total)ival-assert: 1.0ms (0.1% of total)| 1× | egg-herbie |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 62 | 227 |
| 1 | 168 | 193 |
| 2 | 720 | 149 |
| 3 | 5230 | 149 |
| 0 | 60 | 123 |
| 0 | 101 | 101 |
| 1 | 197 | 95 |
| 2 | 657 | 76 |
| 3 | 4170 | 74 |
| 0 | 8231 | 74 |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 9999999999998099/10000000000000000 binary64) (/.f64 #s(literal 6765203681218851/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1 binary64)))) (/.f64 #s(literal -3147848041806007/2500000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 2 binary64)))) (/.f64 #s(literal 7713234287776531/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 3 binary64)))) (/.f64 #s(literal -883075145810703/5000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 4 binary64)))) (/.f64 #s(literal 2501468655737381/200000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 5 binary64)))) (/.f64 #s(literal -3464277381643003/25000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 6 binary64)))) (/.f64 #s(literal 2496092394504893/250000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)))) (/.f64 #s(literal 3764081837873279/25000000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 8 binary64)))))) |
| Outputs |
|---|
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 9999999999998099/10000000000000000 binary64) (/.f64 #s(literal 6765203681218851/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1 binary64)))) (/.f64 #s(literal -3147848041806007/2500000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 2 binary64)))) (/.f64 #s(literal 7713234287776531/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 3 binary64)))) (/.f64 #s(literal -883075145810703/5000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 4 binary64)))) (/.f64 #s(literal 2501468655737381/200000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 5 binary64)))) (/.f64 #s(literal -3464277381643003/25000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 6 binary64)))) (/.f64 #s(literal 2496092394504893/250000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)))) (/.f64 #s(literal 3764081837873279/25000000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 8 binary64)))))) |
(*.f64 (*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 z (PI.f64)))) (pow.f64 (-.f64 #s(literal 15/2 binary64) z) (-.f64 #s(literal 1/2 binary64) z))) (*.f64 (*.f64 (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 3764081837873279/25000000000000000000000 binary64) (-.f64 #s(literal 8 binary64) z)) (/.f64 #s(literal 2496092394504893/250000000000000000000 binary64) (-.f64 #s(literal 7 binary64) z))) (/.f64 #s(literal -3464277381643003/25000000000000000 binary64) (-.f64 #s(literal 6 binary64) z))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 2501468655737381/200000000000000 binary64) (-.f64 #s(literal 5 binary64) z)) (/.f64 #s(literal -883075145810703/5000000000000 binary64) (-.f64 #s(literal 4 binary64) z))) (+.f64 (/.f64 #s(literal 7713234287776531/10000000000000 binary64) (-.f64 #s(literal 3 binary64) z)) #s(literal 9999999999998099/10000000000000000 binary64))) (+.f64 (/.f64 #s(literal -3147848041806007/2500000000000 binary64) (-.f64 #s(literal 2 binary64) z)) (/.f64 #s(literal 6765203681218851/10000000000000 binary64) (-.f64 #s(literal 1 binary64) z))))) (sqrt.f64 (*.f64 #s(literal 2 binary64) (PI.f64)))) (exp.f64 (-.f64 z #s(literal 15/2 binary64))))) |
Compiled 123 to 60 computations (51.2% saved)
Compiled 0 to 1 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 96.2% | (*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 9999999999998099/10000000000000000 binary64) (/.f64 #s(literal 6765203681218851/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1 binary64)))) (/.f64 #s(literal -3147848041806007/2500000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 2 binary64)))) (/.f64 #s(literal 7713234287776531/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 3 binary64)))) (/.f64 #s(literal -883075145810703/5000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 4 binary64)))) (/.f64 #s(literal 2501468655737381/200000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 5 binary64)))) (/.f64 #s(literal -3464277381643003/25000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 6 binary64)))) (/.f64 #s(literal 2496092394504893/250000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)))) (/.f64 #s(literal 3764081837873279/25000000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 8 binary64)))))) |
Compiled 246 to 120 computations (51.2% saved)
| 1× | egg-herbie |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 60 | 123 |
| 1 | 97 | 123 |
| 2 | 115 | 123 |
| 3 | 140 | 122 |
| 4 | 183 | 122 |
| 5 | 243 | 122 |
| 6 | 268 | 122 |
| 7 | 325 | 122 |
| 8 | 382 | 122 |
| 9 | 394 | 122 |
| 10 | 411 | 122 |
| 11 | 433 | 122 |
| 12 | 465 | 122 |
| 13 | 507 | 122 |
| 14 | 561 | 122 |
| 15 | 632 | 122 |
| 16 | 718 | 122 |
| 17 | 826 | 122 |
| 18 | 960 | 122 |
| 19 | 1104 | 122 |
| 20 | 1236 | 122 |
| 21 | 1367 | 122 |
| 22 | 1503 | 122 |
| 23 | 1621 | 122 |
| 24 | 1705 | 122 |
| 25 | 1759 | 122 |
| 26 | 1776 | 122 |
| 27 | 1778 | 122 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 9999999999998099/10000000000000000 binary64) (/.f64 #s(literal 6765203681218851/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1 binary64)))) (/.f64 #s(literal -3147848041806007/2500000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 2 binary64)))) (/.f64 #s(literal 7713234287776531/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 3 binary64)))) (/.f64 #s(literal -883075145810703/5000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 4 binary64)))) (/.f64 #s(literal 2501468655737381/200000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 5 binary64)))) (/.f64 #s(literal -3464277381643003/25000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 6 binary64)))) (/.f64 #s(literal 2496092394504893/250000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)))) (/.f64 #s(literal 3764081837873279/25000000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 8 binary64)))))) |
| Outputs |
|---|
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 9999999999998099/10000000000000000 binary64) (/.f64 #s(literal 6765203681218851/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1 binary64)))) (/.f64 #s(literal -3147848041806007/2500000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 2 binary64)))) (/.f64 #s(literal 7713234287776531/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 3 binary64)))) (/.f64 #s(literal -883075145810703/5000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 4 binary64)))) (/.f64 #s(literal 2501468655737381/200000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 5 binary64)))) (/.f64 #s(literal -3464277381643003/25000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 6 binary64)))) (/.f64 #s(literal 2496092394504893/250000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)))) (/.f64 #s(literal 3764081837873279/25000000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 8 binary64)))))) |
(*.f64 (*.f64 (+.f64 (/.f64 #s(literal 3764081837873279/25000000000000000000000 binary64) (+.f64 #s(literal 8 binary64) (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)))) (+.f64 (/.f64 #s(literal 2496092394504893/250000000000000000000 binary64) (+.f64 #s(literal 7 binary64) (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)))) (+.f64 (/.f64 #s(literal -3464277381643003/25000000000000000 binary64) (+.f64 #s(literal 6 binary64) (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)))) (+.f64 (/.f64 #s(literal 2501468655737381/200000000000000 binary64) (+.f64 #s(literal 5 binary64) (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)))) (+.f64 (/.f64 #s(literal -883075145810703/5000000000000 binary64) (+.f64 #s(literal 4 binary64) (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)))) (+.f64 (/.f64 #s(literal 7713234287776531/10000000000000 binary64) (+.f64 #s(literal 3 binary64) (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)))) (+.f64 (/.f64 #s(literal -3147848041806007/2500000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 2 binary64))) (+.f64 (/.f64 #s(literal 6765203681218851/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1 binary64))) #s(literal 9999999999998099/10000000000000000 binary64))))))))) (*.f64 (exp.f64 (-.f64 (-.f64 (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) z)) #s(literal 7 binary64)) #s(literal 1/2 binary64))) (*.f64 (pow.f64 (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 7 binary64) (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)))) (+.f64 #s(literal 1/2 binary64) (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)))) (sqrt.f64 (*.f64 #s(literal 2 binary64) (PI.f64)))))) (/.f64 (PI.f64) (sin.f64 (*.f64 z (PI.f64))))) |
| 1× | fuel |
Compiled 122 to 62 computations (49.2% saved)
Compiled 490 to 244 computations (50.2% saved)
Loading profile data...