Details

sample855.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 74.946211%

Results

9.0ms	236×	body	80	valid
3.0ms	21×	body	640	valid
1.0ms	7×	body	1280	valid
1.0ms	10×	body	320	valid
1.0ms	8×	body	160	valid
0.0ms	1×	body	2560	valid

simplify115.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	6
1	52	6
2	109	6
3	195	6
4	445	6
5	828	6
6	1434	6
7	2520	6
8	4830	6
9	5001	6

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 17.3b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- z t) y)
2.3b	(- (+ x y) (/ (* (- z t) y) (- a t)))
11.3b	(/ (* (- z t) y) (- a t))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
17×	`add-sqr-sqrt`
10×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-l` `associate-/r*` `distribute-lft-out--`
4×	`flip3--` `associate-*l/` `flip--` `difference-of-squares`
3×	`associate-r`
2×	`cbrt-undiv` `diff-log` `div-exp` `prod-exp` `associate-/r/` `frac-sub` `cbrt-unprod` `associate-/l/`
1×	`sub-neg` `frac-2neg` `flip3-+` `pow-prod-down` `associate--l+` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 70

Calls

3 calls:

9.0ms	(* (- z t) y)
9.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
8.0ms	(/ (* (- z t) y) (- a t))

series53.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(* (- z t) y)
32.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
15.0ms	(/ (* (- z t) y) (- a t))

simplify43.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	383	461
1	1704	422
2	5001	422

prune131.0ms

Filtered

56 candidates to 79 candidates (-41.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	68	11	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	11	80

Merged error: 4.9b

Counts

80 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
4.8b	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
7.7b	(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
36×	`times-frac`
35×	`*-un-lft-identity`
30×	`associate-r`
27×	`cbrt-prod`
25×	`add-exp-log`
23×	`add-cube-cbrt`
18×	`cbrt-div` `add-cbrt-cube`
17×	`associate-l`
10×	`flip3--` `associate-/r/` `flip--`
9×	`add-log-exp`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `frac-times` `div-exp`
6×	`pow1` `frac-sub` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
5×	`associate-r/` `associate-l/`
3×	`flip3-+` `flip-+`
2×	`pow1/3` `diff-log` `div-inv`
1×	`sub-neg` `pow-prod-down` `associate--l+` `sum-log` `*-commutative`

Counts

4 → 127

Calls

4 calls:

3.0ms	(cbrt (- a t))
3.0ms	(cbrt (- a t))
27.0ms	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
6.0ms	(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

series118.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- a t))
25.0ms	(cbrt (- a t))
21.0ms	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
46.0ms	(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify87.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	793	1744
1	3353	1585
2	5001	1502

prune219.0ms

Filtered

104 candidates to 139 candidates (-33.7%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	131	8	139
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	134	16	150

Merged error: 4.9b

Counts

150 → 16

localize21.0ms

Local error

Found 4 expressions with local error:

6.4b	(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))
6.4b	(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))
6.4b	(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))
9.1b	(- (+ x y) (* (* (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

297×	`cbrt-div`
261×	`frac-times`
153×	`associate-*l/`
129×	`associate-*r/`
126×	`frac-sub`
63×	`flip3-+` `flip-+`
9×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
3×	`cbrt-prod` `pow1/3`
2×	`diff-log`
1×	`sub-neg` `flip3--` `associate--l+` `sum-log` `flip--`

Counts

4 → 176

Calls

4 calls:

18.0ms	(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))
18.0ms	(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))
19.0ms	(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))
18.0ms	(- (+ x y) (* (* (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))))

series287.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))
80.0ms	(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))
80.0ms	(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))
47.0ms	(- (+ x y) (* (* (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))))

simplify147.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	1758	9997
1	4205	9460
2	5001	9279

prune230.0ms

Filtered

95 candidates to 188 candidates (-97.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	185	3	188
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	187	17	204

Merged error: 4.9b

Counts

204 → 17

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
4.8b	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (cbrt (- a t))))))
8.4b	(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (cbrt (- a t)))))))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

112×	`cbrt-div`
40×	`add-exp-log`
36×	`flip3--` `flip--`
35×	`frac-times`
34×	`associate-/r/`
33×	`associate-r`
28×	`add-cbrt-cube`
20×	`add-sqr-sqrt`
19×	`associate-*l/`
17×	`associate-l`
16×	`*-un-lft-identity`
15×	`prod-exp` `cbrt-unprod`
13×	`associate-*r/`
12×	`cbrt-undiv` `div-exp`
10×	`cbrt-prod` `add-cube-cbrt`
9×	`times-frac` `add-log-exp`
6×	`pow1` `frac-sub`
3×	`flip3-+` `flip-+` `distribute-lft-out--` `difference-of-squares`
2×	`pow1/3` `diff-log` `div-inv` `unswap-sqr`
1×	`sub-neg` `pow-prod-down` `associate--l+` `sum-log` `*-commutative`

Counts

4 → 132

Calls

4 calls:

3.0ms	(cbrt (- a t))
3.0ms	(cbrt (- a t))
35.0ms	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (cbrt (- a t))))))
6.0ms	(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (cbrt (- a t)))))))

series107.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- a t))
26.0ms	(cbrt (- a t))
21.0ms	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (cbrt (- a t))))))
34.0ms	(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (cbrt (- a t)))))))

simplify98.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 2 (77.0ms)

Iter	Nodes	Cost
0	977	2845
1	4138	2524
2	5001	2503

prune165.0ms

Filtered

102 candidates to 144 candidates (-41.2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	142	2	144
Fresh	2	14	16
Picked	1	0	1
Done	0	0	0
Total	145	16	161

Merged error: 4.9b

Counts

161 → 16

regimes723.0ms

Accuracy

31% (5.0b remaining)

Error of 8.8b against oracle of 3.8b and baseline of 11.0b

bsearch51.0ms

Steps

Iters	Range		Point
5	2.491994450029841e-129	6.932353842037693e-129	5.487632808733478e-129
10	-9.946519353542615e-111	-5.151438283050099e-122	-3.4442806009132054e-113

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	57
1	46	57

end0.0ms

sample1.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 74.946211%

Results

294.0ms	7351×	body	80	valid
261.0ms	467×	body	640	valid
46.0ms	261×	body	1280	valid
43.0ms	399×	body	320	valid
20.0ms	238×	body	160	valid
4.0ms	17×	body	2560	valid

Details

sample855.0ms

simplify115.0ms

prune4.0ms

localize9.0ms

rewrite28.0ms

series53.0ms

simplify43.0ms

prune131.0ms

localize13.0ms

rewrite45.0ms

series118.0ms

simplify87.0ms

prune219.0ms

localize21.0ms

rewrite89.0ms

series287.0ms

simplify147.0ms

prune230.0ms

localize19.0ms

rewrite58.0ms

series107.0ms

simplify98.0ms

prune165.0ms

regimes723.0ms

bsearch51.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling