Details

analyze1.4s

Algorithm: search

sample48.0ms

Algorithm

intervals

Results

12.0ms	256×	body	80	valid
7.0ms	152×	body	80	invalid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	7
1	48	7
2	81	7
3	98	7
4	98	7

prune5.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: 0.0b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+l+`

Counts

3 → 38

Calls

3 calls:

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

series140.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(+ (* x y) (* z t))
111.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
19.0ms	(+ (+ (* x y) (* z t)) (* a b))

simplify36.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	276	348
1	1151	333
2	5001	333

prune78.0ms

Filtered

37 candidates to 47 candidates (-27.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	4	48

Merged error: 0.0b

Counts

48 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+l+` `associate-+r+`

Counts

3 → 38

Calls

3 calls:

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

series147.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(+ (* z t) (* a b))
19.0ms	(+ (* x y) (+ (* z t) (* a b)))
119.0ms	(+ (+ (* x y) (+ (* z t) (* a b))) (* c i))

simplify37.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	284	348
1	1297	333
2	5001	333

prune65.0ms

Filtered

38 candidates to 47 candidates (-23.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	47	4	51

Merged error: 0.0b

Counts

51 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

16.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
8.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
6.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
6.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

series221.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
48.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
51.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
49.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

simplify44.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	282	1801
1	1050	1679
2	5001	1548

prune118.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	98	5	103

Merged error: 0.0b

Counts

103 → 5

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.6b	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.9b	(pow (cbrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`unpow-prod-down`
6×	`cbrt-div`
5×	`pow1` `add-exp-log`
4×	`pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `flip3-+` `flip-+`
2×	`pow-pow`
1×	`pow-to-exp` `pow-exp` `sqr-pow`

Counts

4 → 63

Calls

4 calls:

6.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
6.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
6.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
9.0ms	(pow (cbrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4)

series250.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
50.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
50.0ms	(cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
99.0ms	(pow (cbrt (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) 4)

simplify127.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (117.0ms)

Iter	Nodes	Cost
0	277	1054
1	935	980
2	4376	949
3	5001	943

prune109.0ms

Filtered

61 candidates to 75 candidates (-23.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	75	5	80

Merged error: 0.0b

Counts

80 → 5

regimes1.7s

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	7
1	22	7

end0.0ms

analyze1.4s

Algorithm: search

sample1.3s

Algorithm

intervals

Results

397.0ms	8000×	body	80	valid
294.0ms	5602×	body	80	invalid

Details

analyze1.4s

sample48.0ms

simplify9.0ms

prune5.0ms

localize11.0ms

rewrite17.0ms

series140.0ms

simplify36.0ms

prune78.0ms

localize11.0ms

rewrite18.0ms

series147.0ms

simplify37.0ms

prune65.0ms

localize16.0ms

rewrite39.0ms

series221.0ms

simplify44.0ms

prune118.0ms

localize26.0ms

rewrite29.0ms

series250.0ms

simplify127.0ms

prune109.0ms

regimes1.7s

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.4s

sample1.3s

Profiling