Details

sample24.0ms

Algorithm

intervals

Results

11.0ms	316×	body	80	valid
0.0ms	2×	body	640	valid

simplify14.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	19	6
1	40	5
2	123	4
3	249	4
4	355	4
5	355	4

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(* d1 (+ d2 (+ (+ d3 5.0) 32.0)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity`
6×	`associate-r` `distribute-lft-out`
5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `add-log-exp` `unswap-sqr`

Counts

1 → 25

Calls

1 calls:

9.0ms

(* d1 (+ d2 (+ (+ d3 5.0) 32.0)))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(* d1 (+ d2 (+ (+ d3 5.0) 32.0)))

simplify31.0ms

Algorithm

egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	159	148
1	838	127
2	5002	127

prune34.0ms

Filtered

28 candidates to 17 candidates (39.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	27	3	30

Merged error: 0.0b

Counts

30 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ d3 5.0) d1)
0.0b	(+ (* d1 d2) (* (+ d3 5.0) d1))
0.0b	(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
4×	`associate-l` `sum-log`
3×	`flip3-+` `associate-r` `flip-+`
2×	`+-commutative` `associate-*l/`
1×	`associate-+l+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

3 → 45

Calls

3 calls:

5.0ms	(* (+ d3 5.0) d1)
3.0ms	(+ (* d1 d2) (* (+ d3 5.0) d1))
5.0ms	(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

series22.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(* (+ d3 5.0) d1)
8.0ms	(+ (* d1 d2) (* (+ d3 5.0) d1))
10.0ms	(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

simplify38.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	271	315
1	1079	281
2	5001	270

prune58.0ms

Filtered

54 candidates to 38 candidates (29.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	54	3	57

Merged error: 0.0b

Counts

57 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))
2.5b	(- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))
8.1b	(* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))
15.3b	(/ (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))) (- d2 (+ (+ d3 5.0) 32.0)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

74×	`*-un-lft-identity`
30×	`distribute-lft-out`
20×	`add-sqr-sqrt`
13×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt`
11×	`swap-sqr`
9×	`associate-r`
8×	`associate-l`
7×	`times-frac` `associate-/r*`
6×	`flip3-+` `associate-*r/` `flip-+` `distribute-lft-out--` `add-log-exp`
4×	`distribute-rgt-in` `frac-times` `flip3--` `distribute-lft-in` `flip--` `difference-of-squares`
3×	`sub-neg` `prod-exp` `cbrt-unprod`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `associate-/r/` `-commutative` `associate-/l/` `associate--r+` `unswap-sqr`
1×	`pow2` `frac-2neg` `pow-plus` `diff-log` `clear-num` `pow-sqr` `pow-prod-up` `div-inv` `associate-/l*`

Counts

4 → 120

Calls

4 calls:

12.0ms	(* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))
3.0ms	(- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))
6.0ms	(* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))
12.0ms	(/ (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))) (- d2 (+ (+ d3 5.0) 32.0)))

series60.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))
7.0ms	(- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))
21.0ms	(* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))
30.0ms	(/ (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))) (- d2 (+ (+ d3 5.0) 32.0)))

simplify94.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	558	1314
1	3071	1145
2	5001	1126

prune150.0ms

Filtered

132 candidates to 79 candidates (40.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	132	3	135

Merged error: 0b

Counts

135 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- d2 (+ (+ d3 5.0) 32.0)))
2.5b	(- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))
3.6b	(/ (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))
20.4b	(* (/ d1 (* (cbrt (- d2 (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))) (/ (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0)))))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

137×	`*-un-lft-identity`
90×	`times-frac`
83×	`add-sqr-sqrt`
72×	`cbrt-prod`
47×	`add-cube-cbrt`
46×	`associate-r`
32×	`difference-of-squares`
30×	`distribute-lft-out` `distribute-lft-out--`
27×	`add-exp-log`
19×	`add-cbrt-cube`
18×	`cbrt-div`
15×	`associate-l`
12×	`associate-/r/`
11×	`flip3--` `flip--`
10×	`associate-/r*`
8×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
6×	`pow1` `add-log-exp` `unswap-sqr`
5×	`frac-times`
4×	`associate-/l*`
3×	`associate-r/` `associate-l/` `div-inv`
2×	`associate-/l/` `associate--r+`
1×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `pow1/3` `diff-log` `div-sub` `pow-prod-down` `clear-num` `*-commutative`

Counts

4 → 194

Calls

4 calls:

6.0ms	(cbrt (- d2 (+ (+ d3 5.0) 32.0)))
3.0ms	(- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))
13.0ms	(/ (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))
42.0ms	(* (/ d1 (* (cbrt (- d2 (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))) (/ (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0)))))

series78.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(cbrt (- d2 (+ (+ d3 5.0) 32.0)))
8.0ms	(- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))
26.0ms	(/ (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))
28.0ms	(* (/ d1 (* (cbrt (- d2 (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))) (/ (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0)))))

simplify128.0ms

Algorithm

egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 2 (91.0ms)

Iter	Nodes	Cost
0	1012	4346
1	4712	3999
2	5001	3956

prune691.0ms

Filtered

206 candidates to 157 candidates (23.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	206	0	206
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	206	3	209

Merged error: 0b

Counts

209 → 3

regimes232.0ms

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	13	4
1	13	4

end0.0ms

sample672.0ms

Algorithm

intervals

Results

370.0ms	10007×	body	80	valid
3.0ms	24×	body	640	valid
2.0ms	13×	body	1280	valid
1.0ms	7×	body	320	valid
1.0ms	8×	body	160	valid

Details

sample24.0ms

simplify14.0ms

prune9.0ms

localize6.0ms

rewrite10.0ms

series7.0ms

simplify31.0ms

prune34.0ms

localize8.0ms

rewrite15.0ms

series22.0ms

simplify38.0ms

prune58.0ms

localize10.0ms

rewrite38.0ms

series60.0ms

simplify94.0ms

prune150.0ms

localize17.0ms

rewrite76.0ms

series78.0ms

simplify128.0ms

prune691.0ms

regimes232.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample672.0ms

Profiling