
Time bar (total: 517.0ms)
| 1× | random |
Compiled 46 to 33 computations (28.3% saved)
| 97.0ms | 8 255× | 0 | valid |
| 0.0ms | 1× | 1 | valid |
adjust: 1.0ms (100.7% of total)ival-add!: 0.0ms (0.0% of total)ival-pow: 0.0ms (0.0% of total)ival-div!: 0.0ms (0.0% of total)ival-mult!: 0.0ms (0.0% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 50 | 1 |
| 1 | 149 | 1 |
| 2 | 626 | 1 |
| 3 | 3189 | 1 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 9.2% | (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) (/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)))) |
Compiled 88 to 62 computations (29.5% saved)
| Inputs |
|---|
1335/4 |
33096 |
6 |
(pow 33096 6) |
(* 1335/4 (pow 33096 6)) |
77617 |
(* 77617 77617) |
11 |
(* 11 (* 77617 77617)) |
(* 33096 33096) |
(* (* 11 (* 77617 77617)) (* 33096 33096)) |
(neg (pow 33096 6)) |
(+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (neg (pow 33096 6))) |
-121 |
4 |
(pow 33096 4) |
(* -121 (pow 33096 4)) |
(+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (neg (pow 33096 6))) (* -121 (pow 33096 4))) |
-2 |
(+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (neg (pow 33096 6))) (* -121 (pow 33096 4))) -2) |
(* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (neg (pow 33096 6))) (* -121 (pow 33096 4))) -2)) |
(+ (* 1335/4 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (neg (pow 33096 6))) (* -121 (pow 33096 4))) -2))) |
11/2 |
8 |
(pow 33096 8) |
(* 11/2 (pow 33096 8)) |
(+ (+ (* 1335/4 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (neg (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 11/2 (pow 33096 8))) |
2 |
(* 2 33096) |
(/ 77617 (* 2 33096)) |
(+ (+ (+ (* 1335/4 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (neg (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 11/2 (pow 33096 8))) (/ 77617 (* 2 33096))) |
| Outputs |
|---|
#s(literal 1335/4 binary64) |
#s(literal 33096 binary64) |
#s(literal 6 binary64) |
#s(literal 1314174534371215531508236288 binary64) |
#s(literal 438605750846393126878586077184 binary64) |
#s(literal 77617 binary64) |
#s(literal 6024398689 binary64) |
#s(literal 11 binary64) |
#s(literal 66268385579 binary64) |
#s(literal 1095345216 binary64) |
#s(literal 72586759116001042432 binary64) |
#s(literal -1314174534371215531508236288 binary64) |
#s(literal -1314174461784456233945661440 binary64) |
#s(literal -121 binary64) |
#s(literal 4 binary64) |
#s(literal 1199781142214086656 binary64) |
#s(literal -145173518207904481280 binary64) |
#s(literal -1314174606957974554192904192 binary64) |
#s(literal -2 binary64) |
#s(literal -1314174606957974554192904192 binary64) |
#s(literal -7917111779274711955317401249464188928 binary64) |
#s(literal -7917111340668960898903761191803289600 binary64) |
#s(literal 11/2 binary64) |
#s(literal 8 binary64) |
#s(literal 1439474789212538533076623512643305472 binary64) |
#s(literal 7917111340668960898903761191803289600 binary64) |
#s(literal -2 binary64) |
#s(literal 2 binary64) |
#s(literal 66192 binary64) |
#s(literal 5280938667476671/4503599627370496 binary64) |
#s(literal -7452521174528643/9007199254740992 binary64) |
| 0.0ms | 1× | 1 | valid |
Compiled 265 to 33 computations (87.5% saved)
adjust: 0.0ms (0.0% of total)ival-add!: 0.0ms (0.0% of total)ival-pow: 0.0ms (0.0% of total)ival-div!: 0.0ms (0.0% of total)ival-mult!: 0.0ms (0.0% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| 1× | saturated |
| Inputs |
|---|
#s(literal 1335/4 binary64) |
#s(literal 33096 binary64) |
#s(literal 6 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)) |
(*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) |
#s(literal 77617 binary64) |
(*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) |
#s(literal 11 binary64) |
(*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) |
(*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64)) |
(*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) |
(neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) |
(+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) |
#s(literal -121 binary64) |
#s(literal 4 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)) |
(*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64))) |
(+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) |
#s(literal -2 binary64) |
(+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)) |
(*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64))) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) |
#s(literal 11/2 binary64) |
#s(literal 8 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)) |
(*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64))) |
(+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) |
#s(literal 2 binary64) |
(*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)) |
(/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64))) |
(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) (/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)))) |
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 31 | 31 |
| 0 | 72 | 31 |
| 1 | 74 | 31 |
| 2 | 93 | 31 |
| 3 | 119 | 31 |
| 4 | 219 | 31 |
| 5 | 792 | 31 |
| 0 | 4115 | 31 |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
#s(literal 1335/4 binary64) |
#s(literal 33096 binary64) |
#s(literal 6 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)) |
(*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) |
#s(literal 77617 binary64) |
(*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) |
#s(literal 11 binary64) |
(*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) |
(*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64)) |
(*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) |
(neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) |
(+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) |
#s(literal -121 binary64) |
#s(literal 4 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)) |
(*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64))) |
(+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) |
#s(literal -2 binary64) |
(+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)) |
(*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64))) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) |
#s(literal 11/2 binary64) |
#s(literal 8 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)) |
(*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64))) |
(+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) |
#s(literal 2 binary64) |
(*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)) |
(/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64))) |
(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) (/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)))) |
| Outputs |
|---|
#s(literal 1335/4 binary64) |
#s(literal 33096 binary64) |
#s(literal 6 binary64) |
#s(literal 1314174534371215466459037696 binary64) |
#s(literal 438605750846393161930703831040 binary64) |
#s(literal 77617 binary64) |
#s(literal 6024398689 binary64) |
#s(literal 11 binary64) |
#s(literal 66268385579 binary64) |
#s(literal 1095345216 binary64) |
#s(literal 72586759116001040064 binary64) |
#s(literal -1314174534371215466459037696 binary64) |
#s(literal -1314174461784456350457997632 binary64) |
#s(literal -121 binary64) |
#s(literal 4 binary64) |
#s(literal 1199781142214086656 binary64) |
#s(literal -145173518207904485376 binary64) |
#s(literal -1314174606957974558362483008 binary64) |
#s(literal -2 binary64) |
#s(literal -1314174606957974558362483010 binary64) |
#s(literal -7917111779274712207494296632228773890 binary64) |
#s(literal -7917111340668961361101134701524942850 binary64) |
#s(literal 11/2 binary64) |
#s(literal 8 binary64) |
#s(literal 1439474789212538429291115400277262336 binary64) |
#s(literal 7917111340668961361101134701524942848 binary64) |
#s(literal -2 binary64) |
#s(literal 2 binary64) |
#s(literal 66192 binary64) |
#s(literal 77617/66192 binary64) |
#s(literal -54767/66192 binary64) |
Compiled 1 089 to 209 computations (80.8% saved)
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 32 | 1 | 33 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 33 | 1 | 34 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | #s(literal -54767/66192 binary64) |
Compiled 1 to 1 computations (0.0% saved)
| Inputs |
|---|
-54767/66192 |
| Outputs |
|---|
#s(literal -7452521174528643/9007199254740992 binary64) |
| 0.0ms | 1× | 0 | valid |
Compiled 3 to 3 computations (0.0% saved)
adjust: 0.0ms (0.0% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| 1× | saturated |
| Inputs |
|---|
#s(literal -54767/66192 binary64) |
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1 | 1 |
| 0 | 1 | 1 |
| 0 | 1 | 1 |
| 1× | saturated |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
#s(literal -54767/66192 binary64) |
| Outputs |
|---|
#s(literal -54767/66192 binary64) |
Compiled 2 to 2 computations (0.0% saved)
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 2 | 0 | 2 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | -1 | 1 | 0 |
| Total | 2 | 1 | 3 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | #s(literal -54767/66192 binary64) |
Compiled 46 to 33 computations (28.3% saved)
| 1× | done |
Compiled 1 to 1 computations (0.0% saved)
Compiled 45 to 32 computations (28.9% saved)
Loading profile data...