Difference of squares
Time bar (total: 934.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 9 to 7 computations (22.2% saved)
| 466.0ms | 8 256× | 0 | valid |
ival-mult!: 183.0ms (91% of total)ival-sub!: 17.0ms (8.4% of total)adjust: 1.0ms (0.5% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 42 |
| 1 | 62 | 42 |
| 2 | 273 | 42 |
| 3 | 477 | 42 |
| 4 | 1202 | 42 |
| 5 | 4632 | 42 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 93.7% | (-.f64 (*.f64 a a) (*.f64 b b)) |
(abs a)
(abs b)
Compiled 10 to 10 computations (0% saved)
| Inputs |
|---|
(-.f64 (*.f64 a a) (*.f64 b b)) |
(*.f64 a a) |
a |
(*.f64 b b) |
b |
| Outputs |
|---|
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* -1 (pow b 2)))) |
#s(approx (- (* a a) (* b b)) #s(hole binary64 (- (pow a 2) (pow b 2)))) |
#s(approx (* a a) #s(hole binary64 (pow a 2))) |
#s(approx a #s(hole binary64 a)) |
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* (pow a 2) (+ 1 (* -1 (/ (pow b 2) (pow a 2))))))) |
#s(approx (- (* a a) (* b b)) #s(hole binary64 (+ (* -1 (pow b 2)) (pow a 2)))) |
#s(approx (* b b) #s(hole binary64 (pow b 2))) |
#s(approx b #s(hole binary64 b)) |
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* (pow b 2) (- (/ (pow a 2) (pow b 2)) 1)))) |
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | a | @ | inf | ((- (* a a) (* b b)) (* a a) a (* b b) b) |
| 1.0ms | a | @ | -inf | ((- (* a a) (* b b)) (* a a) a (* b b) b) |
| 1.0ms | b | @ | -inf | ((- (* a a) (* b b)) (* a a) a (* b b) b) |
| 1.0ms | b | @ | inf | ((- (* a a) (* b b)) (* a a) a (* b b) b) |
| 1.0ms | a | @ | 0 | ((- (* a a) (* b b)) (* a a) a (* b b) b) |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 124 |
| 0 | 33 | 120 |
| 1 | 163 | 119 |
| 2 | 1182 | 115 |
| 1× | iter-limit |
| 1× | unsound |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
(-.f64 (*.f64 a a) (*.f64 b b)) |
(*.f64 a a) |
a |
(*.f64 b b) |
b |
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* -1 (pow b 2)))) |
#s(approx (- (* a a) (* b b)) #s(hole binary64 (- (pow a 2) (pow b 2)))) |
#s(approx (* a a) #s(hole binary64 (pow a 2))) |
#s(approx a #s(hole binary64 a)) |
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* (pow a 2) (+ 1 (* -1 (/ (pow b 2) (pow a 2))))))) |
#s(approx (- (* a a) (* b b)) #s(hole binary64 (+ (* -1 (pow b 2)) (pow a 2)))) |
#s(approx (* b b) #s(hole binary64 (pow b 2))) |
#s(approx b #s(hole binary64 b)) |
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* (pow b 2) (- (/ (pow a 2) (pow b 2)) 1)))) |
| Outputs |
|---|
(-.f64 (*.f64 a a) (*.f64 b b)) |
(*.f64 a a) |
a |
(*.f64 b b) |
b |
#s(approx (- (* a a) (* b b)) (-.f64 (*.f64 a a) (*.f64 b b))) |
#s(approx (* a a) (*.f64 a a)) |
#s(approx a a) |
#s(approx (- (* a a) (* b b)) (-.f64 (*.f64 a a) (*.f64 b b))) |
#s(approx (* b b) (*.f64 b b)) |
#s(approx b b) |
Compiled 27 to 19 computations (29.6% saved)
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 5 | 0 | 5 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 5 | 1 | 6 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 93.7% | (-.f64 (*.f64 a a) (*.f64 b b)) |
Compiled 10 to 10 computations (0% saved)
| 1× | done |
Compiled 5 to 5 computations (0% saved)
(abs b)
(abs a)
Compiled 35 to 35 computations (0% saved)
Loading profile data...