Details

sample489.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 97.668457%

Results

20.0ms

256×

body

valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	7
1	11	7

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: 33.3b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* re re) (* im im))
0.6b	(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
30.9b	(sqrt (+ (* re re) (* im im)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

24×	`times-frac`
22×	`log-pow`
21×	`pow1`
17×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-pow1` `pow1/2` `associate-/l*`
5×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`sqrt-div` `associate-/r*`
3×	`flip3-+` `sqrt-prod` `flip-+`
2×	`log-div` `div-sub`
1×	`cbrt-undiv` `+-commutative` `rem-sqrt-square` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

3 → 74

Calls

3 calls:

4.0ms	(+ (* re re) (* im im))
7.0ms	(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
3.0ms	(sqrt (+ (* re re) (* im im)))

series29.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(+ (* re re) (* im im))
18.0ms	(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
6.0ms	(sqrt (+ (* re re) (* im im)))

simplify91.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 3 (79.0ms)

Iter	Nodes	Cost
0	259	745
1	894	701
2	2872	696
3	5001	694

prune169.0ms

Filtered

55 candidates to 83 candidates (-50.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	72	11	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	11	84

Merged error: 7.7b

Counts

84 → 11

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* re re) (* im im))
0.2b	(/ 1/2 (/ (log 10.0) (log (+ (* re re) (* im im)))))
0.6b	(/ (log 10.0) (log (+ (* re re) (* im im))))
32.0b	(log (+ (* re re) (* im im)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

140×	`times-frac`
72×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
47×	`pow1`
43×	`log-pow`
24×	`associate-/r*`
12×	`add-exp-log`
11×	`add-cbrt-cube`
7×	`associate-/l*`
6×	`div-inv` `add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`log-prod`
2×	`log-div` `frac-2neg` `flip3-+` `clear-num` `flip-+`
1×	`+-commutative` `rem-log-exp` `sum-log` `associate-/r/`

Counts

4 → 159

Calls

4 calls:

4.0ms	(+ (* re re) (* im im))
6.0ms	(/ 1/2 (/ (log 10.0) (log (+ (* re re) (* im im)))))
4.0ms	(/ (log 10.0) (log (+ (* re re) (* im im))))
3.0ms	(log (+ (* re re) (* im im)))

series62.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ (* re re) (* im im))
20.0ms	(/ 1/2 (/ (log 10.0) (log (+ (* re re) (* im im)))))
27.0ms	(/ (log 10.0) (log (+ (* re re) (* im im))))
9.0ms	(log (+ (* re re) (* im im)))

simplify61.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	490	1926
1	2126	1824
2	5002	1813

prune248.0ms

Filtered

111 candidates to 171 candidates (-54.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	163	8	171
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	169	13	182

Merged error: 7.6b

Counts

182 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt 1/2) (/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im))))))
0.5b	(/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im)))))
0.6b	(/ (log 10.0) (log (+ (* re re) (* im im))))
32.0b	(log (+ (* re re) (* im im)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

476×	`times-frac`
249×	`add-sqr-sqrt`
217×	`add-cube-cbrt` `*-un-lft-identity`
135×	`sqrt-prod`
125×	`associate-r`
121×	`pow1`
115×	`log-pow`
24×	`associate-/r*`
21×	`add-exp-log`
20×	`add-cbrt-cube`
16×	`div-inv`
10×	`associate-/l*` `unswap-sqr`
7×	`cbrt-undiv` `div-exp`
6×	`associate-l`
4×	`add-log-exp`
3×	`log-prod` `prod-exp` `cbrt-unprod`
2×	`log-div` `frac-2neg` `clear-num` `associate-/r/`
1×	`flip3-+` `associate-r/` `rem-log-exp` `pow-prod-down` `-commutative` `flip-+`

Counts

4 → 368

Calls

4 calls:

33.0ms	(* (sqrt 1/2) (/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im))))))
8.0ms	(/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im)))))
4.0ms	(/ (log 10.0) (log (+ (* re re) (* im im))))
3.0ms	(log (+ (* re re) (* im im)))

series87.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (sqrt 1/2) (/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im))))))
22.0ms	(/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im)))))
25.0ms	(/ (log 10.0) (log (+ (* re re) (* im im))))
9.0ms	(log (+ (* re re) (* im im)))

simplify128.0ms

Algorithm

egg-herbie

Counts

380 → 380

Iterations

Useful iterations: 2 (84.0ms)

Iter	Nodes	Cost
0	841	4988
1	4046	4674
2	5001	4659

prune559.0ms

Filtered

183 candidates to 380 candidates (-107.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	374	6	380
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	376	17	393

Merged error: 7.5b

Counts

393 → 17

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (sqrt 1/2) (sqrt (log 10.0))) (/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))))
0.4b	(/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im)))))
0.4b	(/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
32.0b	(log (+ (* re re) (* im im)))

rewrite216.0ms

Algorithm

rewrite-expression-head

Rules

896×	`times-frac`
537×	`add-sqr-sqrt`
521×	`sqrt-prod`
389×	`add-cube-cbrt` `*-un-lft-identity`
197×	`associate-r`
169×	`pow1`
163×	`log-pow`
46×	`associate-l`
36×	`associate-/r*`
35×	`unswap-sqr`
33×	`add-exp-log`
32×	`add-cbrt-cube`
17×	`div-inv`
13×	`cbrt-undiv` `div-exp` `associate-/l*`
6×	`prod-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`log-prod`
2×	`log-div` `frac-2neg` `clear-num` `associate-/r/`
1×	`frac-times` `flip3-+` `associate-r/` `rem-log-exp` `pow-prod-down` `associate-l/` `*-commutative` `flip-+`

Counts

4 → 612

Calls

4 calls:

150.0ms	(* (/ (sqrt 1/2) (sqrt (log 10.0))) (/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))))
11.0ms	(/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im)))))
4.0ms	(/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
3.0ms	(log (+ (* re re) (* im im)))

series94.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (/ (sqrt 1/2) (sqrt (log 10.0))) (/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))))
29.0ms	(/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im)))))
29.0ms	(/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
9.0ms	(log (+ (* re re) (* im im)))

simplify114.0ms

Algorithm

egg-herbie

Counts

624 → 624

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1438	10601
1	5001	9984

prune1.0s

Filtered

248 candidates to 624 candidates (-151.6%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	620	4	624
Fresh	3	13	16
Picked	0	1	1
Done	0	0	0
Total	623	18	641

Merged error: 7.5b

Counts

641 → 18

regimes1.1s

Accuracy

54.8% (11.1b remaining)

Error of 18.3b against oracle of 7.2b and baseline of 31.8b

bsearch96.0ms

Steps

Iters	Range		Point
6	5.968187267600891e+131	3.2652973689964837e+132	9.355465747616013e+131
8	2.434409867606452e-173	2.9758714707381973e-170	2.4669184868707975e-173
10	-5.865572956656779e-249	-4.834804763186764e-259	-1.1243171280702968e-257
9	-1.7241645411506706e+87	-5.180699886919112e+79	-1.6998950373020774e+87

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	64
1	64	64

end0.0ms

sample959.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 97.668457%

Results

475.0ms

8000×

body

valid

Details

sample489.0ms

simplify3.0ms

prune4.0ms

localize11.0ms

rewrite17.0ms

series29.0ms

simplify91.0ms

prune169.0ms

localize10.0ms

rewrite24.0ms

series62.0ms

simplify61.0ms

prune248.0ms

localize15.0ms

rewrite74.0ms

series87.0ms

simplify128.0ms

prune559.0ms

localize14.0ms

rewrite216.0ms

series94.0ms

simplify114.0ms

prune1.0s

regimes1.1s

bsearch96.0ms

simplify2.0ms

end0.0ms

sample959.0ms

Profiling