x1 * x2 * x3 * x4
Time bar (total: 868.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 0 |
| 100.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 1 |
Compiled 39 to 27 computations (30.8% saved)
| 363.0ms | 8 256× | 0 | valid |
ival-mult!: 108.0ms (98.1% of total)adjust: 2.0ms (1.8% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 41 | 109 |
| 1 | 107 | 109 |
| 2 | 239 | 109 |
| 3 | 401 | 109 |
| 4 | 460 | 109 |
| 1× | saturated |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 99.4% | (*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
(negabs x1)
(negabs x2)
(negabs x3)
(negabs x4)
(sort x1 x2)
(sort x1 x3)
(sort x1 x4)
(sort x2 x3)
(sort x2 x4)
(sort x3 x4)
Compiled 14 to 14 computations (0.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 45 |
| 1× | iter-limit |
| Inputs |
|---|
x1 |
x2 |
(*.f64 x1 x2) |
x3 |
(*.f64 (*.f64 x1 x2) x3) |
x4 |
(*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
| Outputs |
|---|
#s(approx x1 x1) |
#s(approx (* x1 x2) (*.f64 x1 x2)) |
#s(approx (* (* x1 x2) x3) (*.f64 x1 (*.f64 x2 x3))) |
#s(approx (* (* (* x1 x2) x3) x4) (*.f64 x1 (*.f64 x2 (*.f64 x3 x4)))) |
#s(approx x2 x2) |
#s(approx x3 x3) |
#s(approx x4 x4) |
12 calls:
| Time | Variable | Point |
|---|---|---|
| 3.0ms | x2 | -inf |
| 2.0ms | x1 | -inf |
| 2.0ms | x1 | 0 |
| 1.0ms | x2 | inf |
| 1.0ms | x1 | inf |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 19 |
| 0 | 10 | 19 |
| 1 | 17 | 19 |
| 2 | 39 | 19 |
| 3 | 75 | 19 |
| 4 | 83 | 19 |
| 0 | 83 | 19 |
| 1× | iter-limit |
| 1× | saturated |
| 1× | iter-limit |
| Inputs |
|---|
x1 |
x2 |
(*.f64 x1 x2) |
x3 |
(*.f64 (*.f64 x1 x2) x3) |
x4 |
(*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
| Outputs |
|---|
x1 |
x2 |
(*.f64 x2 x1) |
(*.f64 x1 x2) |
x3 |
(*.f64 (*.f64 x3 x1) x2) |
(*.f64 (*.f64 x3 x2) x1) |
(*.f64 x3 (*.f64 x2 x1)) |
(*.f64 (*.f64 x2 x1) x3) |
(*.f64 x2 (*.f64 x3 x1)) |
(*.f64 x1 (*.f64 x3 x2)) |
x4 |
(*.f64 (*.f64 x4 x2) (*.f64 x3 x1)) |
(*.f64 (*.f64 (*.f64 x4 x1) x2) x3) |
(*.f64 (*.f64 x4 x1) (*.f64 x3 x2)) |
(*.f64 (*.f64 x3 x1) (*.f64 x4 x2)) |
(*.f64 (*.f64 (*.f64 x4 x3) x2) x1) |
(*.f64 (*.f64 (*.f64 x4 x3) x1) x2) |
(*.f64 (*.f64 x4 x3) (*.f64 x2 x1)) |
(*.f64 (*.f64 x3 x2) (*.f64 x4 x1)) |
(*.f64 x4 (*.f64 x3 (*.f64 x2 x1))) |
(*.f64 (*.f64 x3 (*.f64 x2 x1)) x4) |
(*.f64 x3 (*.f64 (*.f64 x4 x1) x2)) |
(*.f64 (*.f64 x2 x1) (*.f64 x4 x3)) |
(*.f64 x2 (*.f64 (*.f64 x4 x3) x1)) |
(*.f64 x1 (*.f64 (*.f64 x4 x3) x2)) |
Compiled 215 to 68 computations (68.4% saved)
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 22 | 5 | 27 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | -1 | 1 | 0 |
| Total | 22 | 6 | 28 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 99.4% | (*.f64 (*.f64 (*.f64 x4 x3) x2) x1) |
| ▶ | 99.4% | (*.f64 (*.f64 (*.f64 x4 x3) x1) x2) |
| ▶ | 99.4% | (*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
| ✓ | 99.4% | (*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
| ▶ | 99.5% | (*.f64 (*.f64 x4 x2) (*.f64 x3 x1)) |
| ▶ | 99.4% | (*.f64 (*.f64 x4 x1) (*.f64 x3 x2)) |
Compiled 77 to 77 computations (0.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 35 | 95 |
| 1× | iter-limit |
| Inputs |
|---|
x4 |
x2 |
(*.f64 x4 x2) |
x3 |
x1 |
(*.f64 x3 x1) |
(*.f64 (*.f64 x4 x2) (*.f64 x3 x1)) |
(*.f64 x4 x1) |
(*.f64 x3 x2) |
(*.f64 (*.f64 x4 x1) (*.f64 x3 x2)) |
(*.f64 (*.f64 x3 x2) x1) |
(*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
(*.f64 x4 x3) |
(*.f64 (*.f64 x4 x3) x1) |
(*.f64 (*.f64 (*.f64 x4 x3) x1) x2) |
(*.f64 (*.f64 x4 x3) x2) |
(*.f64 (*.f64 (*.f64 x4 x3) x2) x1) |
| Outputs |
|---|
#s(approx x1 x1) |
#s(approx (* x3 x1) (*.f64 x1 x3)) |
#s(approx (* (* x4 x2) (* x3 x1)) (*.f64 x1 (*.f64 x2 (*.f64 x3 x4)))) |
#s(approx (* x4 x1) (*.f64 x1 x4)) |
#s(approx (* (* x3 x2) x1) (*.f64 x1 (*.f64 x2 x3))) |
#s(approx (* (* x4 x3) x1) (*.f64 x1 (*.f64 x3 x4))) |
#s(approx x2 x2) |
#s(approx (* x4 x2) (*.f64 x2 x4)) |
#s(approx (* x3 x2) (*.f64 x2 x3)) |
#s(approx (* (* x4 x3) x2) (*.f64 x2 (*.f64 x3 x4))) |
#s(approx x3 x3) |
#s(approx (* x4 x3) (*.f64 x3 x4)) |
#s(approx x4 x4) |
12 calls:
| Time | Variable | Point |
|---|---|---|
| 5.0ms | x3 | -inf |
| 2.0ms | x3 | inf |
| 2.0ms | x4 | -inf |
| 2.0ms | x1 | -inf |
| 2.0ms | x2 | -inf |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 69 |
| 0 | 30 | 69 |
| 1 | 58 | 69 |
| 2 | 85 | 69 |
| 3 | 86 | 69 |
| 0 | 86 | 69 |
| 1× | iter-limit |
| 1× | saturated |
| 1× | iter-limit |
| Inputs |
|---|
x4 |
x2 |
(*.f64 x4 x2) |
x3 |
x1 |
(*.f64 x3 x1) |
(*.f64 (*.f64 x4 x2) (*.f64 x3 x1)) |
(*.f64 x4 x1) |
(*.f64 x3 x2) |
(*.f64 (*.f64 x4 x1) (*.f64 x3 x2)) |
(*.f64 (*.f64 x3 x2) x1) |
(*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
(*.f64 x4 x3) |
(*.f64 (*.f64 x4 x3) x1) |
(*.f64 (*.f64 (*.f64 x4 x3) x1) x2) |
(*.f64 (*.f64 x4 x3) x2) |
(*.f64 (*.f64 (*.f64 x4 x3) x2) x1) |
| Outputs |
|---|
x4 |
x2 |
(*.f64 x2 x4) |
(*.f64 x4 x2) |
x3 |
x1 |
(*.f64 x1 x3) |
(*.f64 x3 x1) |
(*.f64 (*.f64 (*.f64 x1 x2) x4) x3) |
(*.f64 (*.f64 x1 x2) (*.f64 x3 x4)) |
(*.f64 (*.f64 (*.f64 x3 x4) x2) x1) |
(*.f64 (*.f64 (*.f64 x3 x4) x1) x2) |
(*.f64 (*.f64 x3 x4) (*.f64 x1 x2)) |
(*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
(*.f64 (*.f64 x3 x2) (*.f64 x1 x4)) |
(*.f64 (*.f64 x1 x4) (*.f64 x3 x2)) |
(*.f64 (*.f64 x1 x3) (*.f64 x2 x4)) |
(*.f64 x1 (*.f64 (*.f64 x3 x4) x2)) |
(*.f64 x3 (*.f64 (*.f64 x1 x2) x4)) |
(*.f64 (*.f64 x2 x4) (*.f64 x1 x3)) |
(*.f64 x2 (*.f64 (*.f64 x3 x4) x1)) |
(*.f64 x4 (*.f64 (*.f64 x3 x2) x1)) |
(*.f64 x1 x4) |
(*.f64 x4 x1) |
(*.f64 x3 x2) |
(*.f64 x2 x3) |
(*.f64 (*.f64 (*.f64 x1 x2) x4) x3) |
(*.f64 (*.f64 x1 x2) (*.f64 x3 x4)) |
(*.f64 (*.f64 (*.f64 x3 x4) x2) x1) |
(*.f64 (*.f64 (*.f64 x3 x4) x1) x2) |
(*.f64 (*.f64 x3 x4) (*.f64 x1 x2)) |
(*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
(*.f64 (*.f64 x3 x2) (*.f64 x1 x4)) |
(*.f64 (*.f64 x1 x4) (*.f64 x3 x2)) |
(*.f64 (*.f64 x1 x3) (*.f64 x2 x4)) |
(*.f64 x1 (*.f64 (*.f64 x3 x4) x2)) |
(*.f64 x3 (*.f64 (*.f64 x1 x2) x4)) |
(*.f64 (*.f64 x2 x4) (*.f64 x1 x3)) |
(*.f64 x2 (*.f64 (*.f64 x3 x4) x1)) |
(*.f64 x4 (*.f64 (*.f64 x3 x2) x1)) |
(*.f64 (*.f64 x1 x2) x3) |
(*.f64 (*.f64 x3 x2) x1) |
(*.f64 (*.f64 x1 x3) x2) |
(*.f64 x1 (*.f64 x3 x2)) |
(*.f64 x3 (*.f64 x1 x2)) |
(*.f64 x2 (*.f64 x1 x3)) |
(*.f64 (*.f64 (*.f64 x1 x2) x4) x3) |
(*.f64 (*.f64 x1 x2) (*.f64 x3 x4)) |
(*.f64 (*.f64 (*.f64 x3 x4) x2) x1) |
(*.f64 (*.f64 (*.f64 x3 x4) x1) x2) |
(*.f64 (*.f64 x3 x4) (*.f64 x1 x2)) |
(*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
(*.f64 (*.f64 x3 x2) (*.f64 x1 x4)) |
(*.f64 (*.f64 x1 x4) (*.f64 x3 x2)) |
(*.f64 (*.f64 x1 x3) (*.f64 x2 x4)) |
(*.f64 x1 (*.f64 (*.f64 x3 x4) x2)) |
(*.f64 x3 (*.f64 (*.f64 x1 x2) x4)) |
(*.f64 (*.f64 x2 x4) (*.f64 x1 x3)) |
(*.f64 x2 (*.f64 (*.f64 x3 x4) x1)) |
(*.f64 x4 (*.f64 (*.f64 x3 x2) x1)) |
(*.f64 x3 x4) |
(*.f64 x4 x3) |
(*.f64 (*.f64 x3 x4) x1) |
(*.f64 (*.f64 x1 x4) x3) |
(*.f64 (*.f64 x1 x3) x4) |
(*.f64 x1 (*.f64 x3 x4)) |
(*.f64 x3 (*.f64 x1 x4)) |
(*.f64 x4 (*.f64 x1 x3)) |
(*.f64 (*.f64 (*.f64 x1 x2) x4) x3) |
(*.f64 (*.f64 x1 x2) (*.f64 x3 x4)) |
(*.f64 (*.f64 (*.f64 x3 x4) x2) x1) |
(*.f64 (*.f64 (*.f64 x3 x4) x1) x2) |
(*.f64 (*.f64 x3 x4) (*.f64 x1 x2)) |
(*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
(*.f64 (*.f64 x3 x2) (*.f64 x1 x4)) |
(*.f64 (*.f64 x1 x4) (*.f64 x3 x2)) |
(*.f64 (*.f64 x1 x3) (*.f64 x2 x4)) |
(*.f64 x1 (*.f64 (*.f64 x3 x4) x2)) |
(*.f64 x3 (*.f64 (*.f64 x1 x2) x4)) |
(*.f64 (*.f64 x2 x4) (*.f64 x1 x3)) |
(*.f64 x2 (*.f64 (*.f64 x3 x4) x1)) |
(*.f64 x4 (*.f64 (*.f64 x3 x2) x1)) |
(*.f64 (*.f64 x3 x4) x2) |
(*.f64 (*.f64 x3 x2) x4) |
(*.f64 x3 (*.f64 x2 x4)) |
(*.f64 (*.f64 x2 x4) x3) |
(*.f64 x2 (*.f64 x3 x4)) |
(*.f64 x4 (*.f64 x3 x2)) |
(*.f64 (*.f64 (*.f64 x1 x2) x4) x3) |
(*.f64 (*.f64 x1 x2) (*.f64 x3 x4)) |
(*.f64 (*.f64 (*.f64 x3 x4) x2) x1) |
(*.f64 (*.f64 (*.f64 x3 x4) x1) x2) |
(*.f64 (*.f64 x3 x4) (*.f64 x1 x2)) |
(*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
(*.f64 (*.f64 x3 x2) (*.f64 x1 x4)) |
(*.f64 (*.f64 x1 x4) (*.f64 x3 x2)) |
(*.f64 (*.f64 x1 x3) (*.f64 x2 x4)) |
(*.f64 x1 (*.f64 (*.f64 x3 x4) x2)) |
(*.f64 x3 (*.f64 (*.f64 x1 x2) x4)) |
(*.f64 (*.f64 x2 x4) (*.f64 x1 x3)) |
(*.f64 x2 (*.f64 (*.f64 x3 x4) x1)) |
(*.f64 x4 (*.f64 (*.f64 x3 x2) x1)) |
Compiled 570 to 150 computations (73.7% saved)
7 alts after pruning (1 fresh and 6 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 67 | 1 | 68 |
| Fresh | 0 | 0 | 0 |
| Picked | 5 | 0 | 5 |
| Done | -5 | 6 | 1 |
| Total | 67 | 7 | 74 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 99.4% | (*.f64 (*.f64 (*.f64 x4 x3) x2) x1) |
| ✓ | 99.4% | (*.f64 (*.f64 (*.f64 x4 x3) x1) x2) |
| ✓ | 99.4% | (*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
| ▶ | 99.5% | (*.f64 (*.f64 (*.f64 x1 x3) x4) x2) |
| ✓ | 99.4% | (*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
| ✓ | 99.5% | (*.f64 (*.f64 x4 x2) (*.f64 x3 x1)) |
| ✓ | 99.4% | (*.f64 (*.f64 x4 x1) (*.f64 x3 x2)) |
Compiled 49 to 49 computations (0.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 45 |
| 1× | iter-limit |
| Inputs |
|---|
x1 |
x3 |
(*.f64 x1 x3) |
x4 |
(*.f64 (*.f64 x1 x3) x4) |
x2 |
(*.f64 (*.f64 (*.f64 x1 x3) x4) x2) |
| Outputs |
|---|
#s(approx x1 x1) |
#s(approx (* x1 x3) (*.f64 x1 x3)) |
#s(approx (* (* x1 x3) x4) (*.f64 x1 (*.f64 x3 x4))) |
#s(approx (* (* (* x1 x3) x4) x2) (*.f64 x1 (*.f64 x2 (*.f64 x3 x4)))) |
#s(approx x2 x2) |
#s(approx x3 x3) |
#s(approx x4 x4) |
12 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x3 | -inf |
| 1.0ms | x1 | -inf |
| 1.0ms | x3 | inf |
| 1.0ms | x4 | -inf |
| 1.0ms | x1 | inf |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 19 |
| 0 | 10 | 19 |
| 1 | 17 | 19 |
| 2 | 39 | 19 |
| 3 | 75 | 19 |
| 4 | 83 | 19 |
| 0 | 83 | 19 |
| 1× | iter-limit |
| 1× | saturated |
| 1× | iter-limit |
| Inputs |
|---|
x1 |
x3 |
(*.f64 x1 x3) |
x4 |
(*.f64 (*.f64 x1 x3) x4) |
x2 |
(*.f64 (*.f64 (*.f64 x1 x3) x4) x2) |
| Outputs |
|---|
x1 |
x3 |
(*.f64 x3 x1) |
(*.f64 x1 x3) |
x4 |
(*.f64 (*.f64 x4 x1) x3) |
(*.f64 (*.f64 x4 x3) x1) |
(*.f64 x4 (*.f64 x3 x1)) |
(*.f64 (*.f64 x3 x1) x4) |
(*.f64 x3 (*.f64 x4 x1)) |
(*.f64 x1 (*.f64 x4 x3)) |
x2 |
(*.f64 (*.f64 x2 x3) (*.f64 x4 x1)) |
(*.f64 (*.f64 (*.f64 x2 x1) x3) x4) |
(*.f64 (*.f64 x2 x1) (*.f64 x4 x3)) |
(*.f64 (*.f64 x4 x1) (*.f64 x2 x3)) |
(*.f64 (*.f64 (*.f64 x2 x4) x3) x1) |
(*.f64 (*.f64 (*.f64 x2 x4) x1) x3) |
(*.f64 (*.f64 x2 x4) (*.f64 x3 x1)) |
(*.f64 (*.f64 x4 x3) (*.f64 x2 x1)) |
(*.f64 x2 (*.f64 x4 (*.f64 x3 x1))) |
(*.f64 (*.f64 x4 (*.f64 x3 x1)) x2) |
(*.f64 x4 (*.f64 (*.f64 x2 x1) x3)) |
(*.f64 (*.f64 x3 x1) (*.f64 x2 x4)) |
(*.f64 x3 (*.f64 (*.f64 x2 x4) x1)) |
(*.f64 x1 (*.f64 (*.f64 x2 x4) x3)) |
Compiled 215 to 67 computations (68.8% saved)
7 alts after pruning (0 fresh and 7 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 27 | 0 | 27 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | -1 | 7 | 6 |
| Total | 27 | 7 | 34 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 99.4% | (*.f64 (*.f64 (*.f64 x4 x3) x2) x1) |
| ✓ | 99.4% | (*.f64 (*.f64 (*.f64 x4 x3) x1) x2) |
| ✓ | 99.4% | (*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
| ✓ | 99.5% | (*.f64 (*.f64 (*.f64 x1 x3) x4) x2) |
| ✓ | 99.4% | (*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
| ✓ | 99.5% | (*.f64 (*.f64 x4 x2) (*.f64 x3 x1)) |
| ✓ | 99.4% | (*.f64 (*.f64 x4 x1) (*.f64 x3 x2)) |
Compiled 49 to 49 computations (0.0% saved)
| Inputs |
|---|
(*.f64 (*.f64 x4 x1) (*.f64 x3 x2)) |
| Outputs |
|---|
(*.f64 (*.f64 x4 x1) (*.f64 x3 x2)) |
| Inputs |
|---|
(*.f64 (*.f64 x4 x1) (*.f64 x3 x2)) |
(*.f64 (*.f64 x4 x2) (*.f64 x3 x1)) |
(*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
(*.f64 (*.f64 (*.f64 x1 x3) x4) x2) |
(*.f64 (*.f64 (*.f64 x3 x2) x1) x4) |
(*.f64 (*.f64 (*.f64 x4 x3) x1) x2) |
(*.f64 (*.f64 (*.f64 x4 x3) x2) x1) |
| Outputs |
|---|
(*.f64 (*.f64 x4 x2) (*.f64 x3 x1)) |
14 calls:
| 13.0ms | (*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
| 2.0ms | (*.f64 (*.f64 x1 x2) x3) |
| 2.0ms | (*.f64 x1 x2) |
| 2.0ms | x4 |
| 2.0ms | x1 |
| Accuracy | Segments | Branch |
|---|---|---|
| 99.4% | 1 | (*.f64 x1 x2) |
| 99.4% | 1 | (*.f64 (*.f64 x1 x2) x3) |
| 99.4% | 1 | (*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
| 99.4% | 1 | x1 |
| 99.4% | 1 | x2 |
| 99.4% | 1 | x3 |
| 99.4% | 1 | x4 |
| 99.5% | 1 | (*.f64 x1 x2) |
| 99.5% | 1 | (*.f64 (*.f64 x1 x2) x3) |
| 99.5% | 1 | (*.f64 (*.f64 (*.f64 x1 x2) x3) x4) |
| 99.5% | 1 | x1 |
| 99.5% | 1 | x2 |
| 99.5% | 1 | x3 |
| 99.5% | 1 | x4 |
Compiled 87 to 91 computations (-4.6% saved)
| 1× | done |
Compiled 14 to 10 computations (28.6% saved)
(sort x3 x4)
Compiled 355 to 343 computations (3.4% saved)
Loading profile data...