Details

analyze1.6s

Algorithm: search

sample63.0ms

Algorithm

intervals

Results

18.0ms	218×	body	80	invalid
15.0ms	256×	body	80	valid

simplify201.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	32	9
1	77	9
2	230	9
3	735	9
4	1920	9
5	2994	9
6	3388	9
7	4078	9
8	5001	9

prune6.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: 4.6b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
0.0b	(+ (* x y) (* z t))
0.1b	(* (+ a (* b c)) c)
6.6b	(* (* (+ a (* b c)) c) i)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

14×	`associate-*l/`
11×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity` `flip3-+` `flip-+`
6×	`associate-r`
4×	`associate-l` `pow-prod-down` `prod-exp` `frac-sub` `cbrt-unprod`
2×	`diff-log` `sum-log` `*-commutative`
1×	`+-commutative` `sub-neg` `flip3--` `associate--l+` `flip--` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

6.0ms	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
3.0ms	(+ (* x y) (* z t))
5.0ms	(* (+ a (* b c)) c)
6.0ms	(* (* (+ a (* b c)) c) i)

series378.0ms

Counts

4 → 12

Calls

4 calls:

338.0ms	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
9.0ms	(+ (* x y) (* z t))
14.0ms	(* (+ a (* b c)) c)
17.0ms	(* (* (+ a (* b c)) c) i)

simplify60.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	436	655
1	2076	599
2	5003	591

prune144.0ms

Filtered

59 candidates to 81 candidates (-37.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	73	8	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	8	82

Merged error: 0.3b

Counts

82 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ a (* b c))
0.0b	(+ (* x y) (* z t))
0.0b	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
7.9b	(* (+ a (* b c)) (* c i))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`flip3-+` `flip-+`
6×	`associate-*l/`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`frac-sub`
3×	`associate-l` `pow-prod-down` `prod-exp` `sum-log` `cbrt-unprod`
2×	`+-commutative` `diff-log`
1×	`sub-neg` `flip3--` `associate-r` `associate--l+` `*-commutative` `flip--`

Counts

4 → 60

Calls

4 calls:

2.0ms	(+ a (* b c))
3.0ms	(+ (* x y) (* z t))
6.0ms	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
6.0ms	(* (+ a (* b c)) (* c i))

series398.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ a (* b c))
10.0ms	(+ (* x y) (* z t))
366.0ms	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
17.0ms	(* (+ a (* b c)) (* c i))

simplify58.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	404	600
1	1775	555
2	5003	547

prune147.0ms

Filtered

53 candidates to 72 candidates (-35.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	66	6	72
Fresh	3	4	7
Picked	0	1	1
Done	0	0	0
Total	69	11	80

Merged error: 0.3b

Counts

80 → 11

localize19.0ms

Local error

Found 4 expressions with local error:

0.8b	(cbrt (+ a (* b c)))
0.8b	(cbrt (+ a (* b c)))
3.3b	(* (cbrt (+ a (* b c))) (* c i))
4.3b	(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* c i)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
34×	`associate-*l/`
30×	`pow1` `add-exp-log` `flip3-+` `flip-+`
28×	`frac-times`
18×	`pow-prod-down` `prod-exp` `add-cbrt-cube` `cbrt-unprod`
9×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r/`
7×	`associate-l`
4×	`add-log-exp`
2×	`pow1/3` `associate-r` `*-commutative`

Counts

4 → 103

Calls

4 calls:

2.0ms	(cbrt (+ a (* b c)))
2.0ms	(cbrt (+ a (* b c)))
7.0ms	(* (cbrt (+ a (* b c))) (* c i))
17.0ms	(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* c i)))

series148.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt (+ a (* b c)))
28.0ms	(cbrt (+ a (* b c)))
76.0ms	(* (cbrt (+ a (* b c))) (* c i))
17.0ms	(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* c i)))

simplify58.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	571	1651
1	1893	1412
2	5002	1293

prune162.0ms

Filtered

68 candidates to 115 candidates (-69.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	116	10	126

Merged error: 0.2b

Counts

126 → 10

localize19.0ms

Local error

Found 4 expressions with local error:

0.8b	(cbrt (+ a (* b c)))
2.2b	(* (cbrt (+ a (* b c))) (* (cbrt (+ a (* b c))) (* c i)))
2.2b	(* (cbrt (+ a (* b c))) (* (cbrt (+ a (* b c))) (* (cbrt (+ a (* b c))) (* c i))))
3.3b	(* (cbrt (+ a (* b c))) (* c i))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

70×	`cbrt-div`
36×	`associate-*l/`
35×	`flip3-+` `flip-+`
32×	`pow1` `add-exp-log` `frac-times`
19×	`pow-prod-down` `prod-exp` `cbrt-unprod`
18×	`associate-l`
16×	`associate-*r/` `add-cbrt-cube`
12×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`associate-r` `*-commutative`
1×	`pow1/3`

Counts

4 → 121

Calls

4 calls:

2.0ms	(cbrt (+ a (* b c)))
12.0ms	(* (cbrt (+ a (* b c))) (* (cbrt (+ a (* b c))) (* c i)))
16.0ms	(* (cbrt (+ a (* b c))) (* (cbrt (+ a (* b c))) (* (cbrt (+ a (* b c))) (* c i))))
7.0ms	(* (cbrt (+ a (* b c))) (* c i))

series210.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(cbrt (+ a (* b c)))
85.0ms	(* (cbrt (+ a (* b c))) (* (cbrt (+ a (* b c))) (* c i)))
18.0ms	(* (cbrt (+ a (* b c))) (* (cbrt (+ a (* b c))) (* (cbrt (+ a (* b c))) (* c i))))
79.0ms	(* (cbrt (+ a (* b c))) (* c i))

simplify64.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	583	1896
1	1856	1727
2	5001	1616

prune130.0ms

Filtered

82 candidates to 133 candidates (-62.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	131	2	133
Fresh	3	5	8
Picked	0	1	1
Done	1	0	1
Total	135	8	143

Merged error: 0.2b

Counts

143 → 8

regimes1.7s

Accuracy

-57.8% (2.1b remaining)

Error of 3.1b against oracle of 0.9b and baseline of 2.3b

bsearch8.2s

Steps

Iters	Range		Point
9	2.410756810997672e-231	8.021412758142226e-226	2.514257950268078e-228
9	-5.864585241806324e-115	-2.3390783062169365e-122	-1.6801071924483064e-120

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	38
1	51	38

end0.0ms

analyze1.6s

Algorithm: search

sample1.7s

Algorithm

intervals

Results

538.0ms	8000×	body	80	valid
445.0ms	7160×	body	80	invalid

Details

analyze1.6s

sample63.0ms

simplify201.0ms

prune6.0ms

localize14.0ms

rewrite23.0ms

series378.0ms

simplify60.0ms

prune144.0ms

localize14.0ms

rewrite20.0ms

series398.0ms

simplify58.0ms

prune147.0ms

localize19.0ms

rewrite35.0ms

series148.0ms

simplify58.0ms

prune162.0ms

localize19.0ms

rewrite44.0ms

series210.0ms

simplify64.0ms

prune130.0ms

regimes1.7s

bsearch8.2s

simplify2.0ms

end0.0ms

analyze1.6s

sample1.7s

Profiling