Details

sample25.0ms

Algorithm

intervals

Results

16.0ms

256×

body

valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	7
1	11	7

prune3.0ms

Filtered

1 candidates to 0 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: 29.0b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 63

Calls

2 calls:

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

series169.0ms

Counts

2 → 6

Calls

2 calls:

131.0ms	(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
38.0ms	(sqrt (+ (* re re) (* im im)))

simplify133.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 4 (122.0ms)

Iter	Nodes	Cost
0	221	664
1	556	631
2	1309	628
3	4251	628
4	5001	627

prune263.0ms

Filtered

69 candidates to 45 candidates (65.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	55	14	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	14	70

Merged error: 8.2b

Counts

70 → 14

localize13.0ms

Local error

Found 3 expressions with local error:

0.3b	(* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
0.5b	(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
27.7b	(log (+ (* re re) (* im im)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

89×	`times-frac`
82×	`add-sqr-sqrt`
54×	`sqrt-prod`
52×	`add-cube-cbrt` `*-un-lft-identity`
33×	`pow1`
32×	`associate-r`
28×	`log-pow`
25×	`associate-l`
18×	`add-exp-log`
17×	`add-cbrt-cube`
9×	`unswap-sqr`
7×	`associate-/r*`
5×	`cbrt-undiv` `div-exp`
4×	`log-div` `prod-exp` `cbrt-unprod` `associate-/l*`
3×	`log-prod` `div-inv` `add-log-exp`
2×	`flip3-+` `div-sub` `flip-+`
1×	`frac-times` `frac-2neg` `associate-r/` `rem-log-exp` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

3 → 153

Calls

3 calls:

23.0ms	(* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
7.0ms	(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
4.0ms	(log (+ (* re re) (* im im)))

series375.0ms

Counts

3 → 9

Calls

3 calls:

138.0ms	(* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
186.0ms	(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
51.0ms	(log (+ (* re re) (* im im)))

simplify62.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	528	2080
1	2081	1913
2	5001	1831

prune340.0ms

Filtered

162 candidates to 94 candidates (58.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	152	10	162
Fresh	10	3	13
Picked	1	0	1
Done	0	0	0
Total	163	13	176

Merged error: 8.1b

Counts

176 → 13

localize20.0ms

Local error

Found 3 expressions with local error:

0.3b

(* (/ 1/2 (sqrt (log 10.0))) (log (pow (+ (* re re) (* im im)) (/ 1 (sqrt (log 10.0))))))

10.7b

(log (pow (+ (* re re) (* im im)) (/ 1 (sqrt (log 10.0)))))

18.3b

(pow (+ (* re re) (* im im)) (/ 1 (sqrt (log 10.0))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
44×	`times-frac`
39×	`add-cube-cbrt` `*-un-lft-identity`
25×	`pow-unpow` `associate-l` `sqrt-prod`
21×	`log-prod`
12×	`pow1` `unpow-prod-down`
11×	`add-exp-log`
8×	`log-pow` `add-cbrt-cube`
7×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-r` `sqr-pow`
3×	`rem-log-exp` `add-log-exp` `unswap-sqr`
2×	`pow-to-exp` `pow-exp` `prod-exp` `cbrt-unprod` `div-inv`
1×	`cbrt-undiv` `pow-pow` `div-exp` `pow-prod-down` `associate-l/` `-commutative`

Counts

3 → 117

Calls

3 calls:

14.0ms

(* (/ 1/2 (sqrt (log 10.0))) (log (pow (+ (* re re) (* im im)) (/ 1 (sqrt (log 10.0))))))

5.0ms

(log (pow (+ (* re re) (* im im)) (/ 1 (sqrt (log 10.0)))))

10.0ms

(pow (+ (* re re) (* im im)) (/ 1 (sqrt (log 10.0))))

series983.0ms

Counts

3 → 9

Calls

3 calls:

385.0ms

(* (/ 1/2 (sqrt (log 10.0))) (log (pow (+ (* re re) (* im im)) (/ 1 (sqrt (log 10.0))))))

287.0ms

(log (pow (+ (* re re) (* im im)) (/ 1 (sqrt (log 10.0)))))

310.0ms

(pow (+ (* re re) (* im im)) (/ 1 (sqrt (log 10.0))))

simplify63.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	463	1699
1	1990	1501
2	5001	1310

prune303.0ms

Filtered

126 candidates to 81 candidates (64.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	122	4	126
Fresh	3	9	12
Picked	0	1	1
Done	0	0	0
Total	125	14	139

Merged error: 8.1b

Counts

139 → 14

localize16.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)))) (sqrt (log 10.0))))
0.4b	(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im))))
0.5b	(/ (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
27.7b	(log (+ (* re re) (* im im)))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

94×	`sqrt-prod`
65×	`add-sqr-sqrt`
60×	`times-frac`
56×	`associate-l`
45×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log`
20×	`add-cbrt-cube`
19×	`pow1`
15×	`associate-r`
11×	`log-pow`
9×	`log-prod`
8×	`unswap-sqr`
7×	`associate-/r*`
6×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `sqrt-div` `div-exp` `div-inv` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/`
2×	`log-div` `pow-prod-down` `*-commutative`
1×	`frac-times` `frac-2neg` `flip3-+` `associate-r/` `rem-log-exp` `clear-num` `flip-+` `associate-/l/` `associate-/l`

Counts

4 → 159

Calls

4 calls:

22.0ms	(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im)))) (sqrt (log 10.0))))
14.0ms	(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im))))
13.0ms	(/ (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
6.0ms	(log (+ (* re re) (* im im)))

series1.1s

Counts

4 → 12

Calls

4 calls:

228.0ms	(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im)))) (sqrt (log 10.0))))
348.0ms	(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im))))
458.0ms	(/ (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
51.0ms	(log (+ (* re re) (* im im)))

simplify72.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	558	2454
1	2279	2194
2	5001	2163

prune450.0ms

Filtered

171 candidates to 119 candidates (69.6%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	165	6	171
Fresh	4	8	12
Picked	1	0	1
Done	0	1	1
Total	170	15	185

Merged error: 8.0b

Counts

185 → 15

regimes466.0ms

Accuracy

57.5% (10.4b remaining)

Error of 17.8b against oracle of 7.4b and baseline of 31.9b

bsearch74.0ms

Steps

Iters	Range		Point
6	3.584984032206546e+131	4.1351558047804105e+132	9.436302477314614e+131
7	-1.269270905055957e+156	-6.523895171398485e+153	-6.622527242341304e+153

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	37
1	44	37

end0.0ms

sample638.0ms

Algorithm

intervals

Results

495.0ms

8000×

body

valid

Details

sample25.0ms

simplify4.0ms

prune3.0ms

localize11.0ms

rewrite13.0ms

series169.0ms

simplify133.0ms

prune263.0ms

localize13.0ms

rewrite40.0ms

series375.0ms

simplify62.0ms

prune340.0ms

localize20.0ms

rewrite33.0ms

series983.0ms

simplify63.0ms

prune303.0ms

localize16.0ms

rewrite62.0ms

series1.1s

simplify72.0ms

prune450.0ms

regimes466.0ms

bsearch74.0ms

simplify2.0ms

end0.0ms

sample638.0ms

Profiling