Details

sample62.0ms

Algorithm

intervals

Results

11.0ms	227×	body	80	valid
4.0ms	18×	body	640	valid
2.0ms	9×	body	1280	valid
2.0ms	13×	body	320	valid
0.0ms	4×	body	160	valid
0.0ms	1×	body	2560	valid

simplify117.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: 18.0b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- z t) y)
1.3b	(- (+ x y) (/ (* (- z t) y) (- a t)))
13.8b	(/ (* (- z t) y) (- a t))

rewrite35.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:

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

series91.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(* (- z t) y)
57.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
28.0ms	(/ (* (- z t) y) (- a t))

simplify45.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 1 (9.0ms)

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

prune143.0ms

Filtered

56 candidates to 79 candidates (-41.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	67	12	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	12	80

Merged error: 4.3b

Counts

80 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.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))
5.0ms	(cbrt (- a t))
29.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)))))

series108.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify84.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 2 (69.0ms)

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

prune197.0ms

Filtered

104 candidates to 139 candidates (-33.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	134	5	139
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	137	14	151

Merged error: 4.2b

Counts

151 → 14

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

73×	`add-exp-log`
39×	`add-cbrt-cube`
36×	`cbrt-div`
32×	`prod-exp` `cbrt-unprod`
22×	`cbrt-undiv` `div-exp`
19×	`frac-times`
17×	`add-sqr-sqrt` `associate-l`
16×	`associate-/r/`
15×	`associate-*l/`
14×	`frac-sub`
13×	`flip3--` `associate-r` `flip--`
11×	`-un-lft-identity` `associate-r/`
10×	`times-frac`
9×	`add-cube-cbrt` `add-log-exp`
7×	`flip3-+` `flip-+`
6×	`pow1` `cbrt-prod`
4×	`unswap-sqr`
2×	`pow1/3` `diff-log` `div-inv`
1×	`sub-neg` `pow-prod-down` `associate--l+` `sum-log` `*-commutative` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 126

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
33.0ms	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))
7.0ms	(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

series264.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(cbrt y)
36.0ms	(cbrt y)
150.0ms	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))
41.0ms	(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

simplify56.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1163	3303
1	5002	2668

prune217.0ms

Filtered

102 candidates to 138 candidates (-35.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	135	3	138
Fresh	1	11	12
Picked	1	0	1
Done	0	1	1
Total	137	15	152

Merged error: 4.2b

Counts

152 → 15

localize19.0ms

Local error

Found 4 expressions with local error:

1.9b	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
1.9b	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
1.9b	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
8.1b	(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

87×	`cbrt-div`
51×	`cbrt-prod`
46×	`frac-times`
30×	`frac-sub`
28×	`associate-r/` `associate-l/`
24×	`associate-/r/`
19×	`flip3--` `flip--`
16×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`flip3-+` `times-frac` `flip-+`
10×	`add-cube-cbrt`
9×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`pow1/3` `div-inv` `distribute-lft-out--` `difference-of-squares`
2×	`diff-log`
1×	`sub-neg` `associate--l+` `sum-log`

Counts

4 → 122

Calls

4 calls:

14.0ms	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
12.0ms	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
12.0ms	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
9.0ms	(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

series338.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
98.0ms	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
106.0ms	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
43.0ms	(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

simplify89.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	826	3649
1	2578	3345
2	5002	3252

prune157.0ms

Filtered

98 candidates to 134 candidates (-36.7%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	132	2	134
Fresh	1	12	13
Picked	0	1	1
Done	0	1	1
Total	133	16	149

Merged error: 4.2b

Counts

149 → 16

regimes832.0ms

Accuracy

38.1% (4.9b remaining)

Error of 8.7b against oracle of 3.8b and baseline of 11.7b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	53
1	39	53

end0.0ms

sample864.0ms

Algorithm

intervals

Results

299.0ms	7384×	body	80	valid
66.0ms	461×	body	640	valid
47.0ms	260×	body	1280	valid
45.0ms	386×	body	320	valid
21.0ms	250×	body	160	valid
4.0ms	17×	body	2560	valid

Details

sample62.0ms

simplify117.0ms

prune4.0ms

localize9.0ms

rewrite35.0ms

series91.0ms

simplify45.0ms

prune143.0ms

localize13.0ms

rewrite48.0ms

series108.0ms

simplify84.0ms

prune197.0ms

localize22.0ms

rewrite49.0ms

series264.0ms

simplify56.0ms

prune217.0ms

localize19.0ms

rewrite53.0ms

series338.0ms

simplify89.0ms

prune157.0ms

regimes832.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample864.0ms

Profiling