Details

sample67.0ms

Algorithm

intervals

Results

19.0ms	266×	body	80	nan
15.0ms	108×	body	160	valid
11.0ms	148×	body	80	valid

simplify128.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	10
1	49	10
2	101	10
3	279	10
4	1029	10
5	4384	10
6	5002	10

prune9.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: 12.3b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (/ Om Omc) 2.0)
0.4b	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
0.4b	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
11.3b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

96×	`add-sqr-sqrt`
65×	`times-frac`
51×	`*-un-lft-identity`
37×	`add-cube-cbrt`
30×	`sqrt-prod`
28×	`difference-of-squares`
27×	`unpow-prod-down`
9×	`add-exp-log`
8×	`associate-/l*` `sqr-pow`
7×	`distribute-lft-out--`
6×	`pow1` `add-cbrt-cube`
4×	`associate-/r/` `add-log-exp`
3×	`pow-unpow` `associate-/r*` `div-inv`
2×	`rem-sqrt-square` `flip3-+` `div-exp` `pow-exp` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `pow-to-exp` `asin-acos` `flip3--` `pow-pow` `frac-2neg` `sqrt-pow1` `pow1/2` `sqrt-div` `div-sub` `clear-num` `flip--`

Counts

4 → 130

Calls

4 calls:

4.0ms	(pow (/ Om Omc) 2.0)
12.0ms	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
1.0ms	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
13.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

series627.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(pow (/ Om Omc) 2.0)
216.0ms	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
22.0ms	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
323.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify63.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	634	1882
1	2017	1787
2	5001	1774

prune649.0ms

Filtered

142 candidates to 114 candidates (80.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	137	5	142
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	137	6	143

Merged error: 12.2b

Counts

143 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

10.7b	(sqrt (/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (* (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))) (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
17.8b	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
17.8b	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
17.8b	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

32×	`sqrt-prod`
21×	`add-sqr-sqrt`
18×	`cbrt-div`
14×	`times-frac`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt`
9×	`cbrt-prod` `flip3-+` `flip-+`
8×	`associate-/r/`
5×	`pow1`
4×	`add-exp-log` `frac-times` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
3×	`rem-sqrt-square` `pow1/3`
2×	`unpow-prod-down` `associate-r/` `associate-l/`
1×	`sqrt-pow1` `pow1/2` `sqrt-div` `div-inv` `distribute-lft-out--` `sqr-pow`

Counts

4 → 75

Calls

4 calls:

17.0ms	(sqrt (/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (* (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))) (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
3.0ms	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
2.0ms	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
2.0ms	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

series1.2s

Counts

4 → 12

Calls

4 calls:

439.0ms	(sqrt (/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (* (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))) (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
239.0ms	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
241.0ms	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
250.0ms	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

simplify91.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 3 (77.0ms)

Iter	Nodes	Cost
0	367	1353
1	817	1301
2	2924	1289
3	5002	1286

prune438.0ms

Filtered

87 candidates to 74 candidates (85.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	87	6	93

Merged error: 12.2b

Counts

93 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b	(asin (* (fabs (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))) (sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))))
2.1b	(sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
17.6b	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
17.6b	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

117×	`add-sqr-sqrt`
92×	`cbrt-prod`
82×	`times-frac`
59×	`*-un-lft-identity`
41×	`add-cube-cbrt`
36×	`difference-of-squares`
33×	`sqrt-prod`
18×	`unpow-prod-down`
9×	`distribute-lft-out--` `sqr-pow`
6×	`associate-/r/`
5×	`pow1`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`rem-sqrt-square` `cbrt-div` `flip3-+` `pow1/3` `flip-+` `div-inv`
2×	`sqrt-pow1`
1×	`asin-acos` `pow1/2` `sqrt-div`

Counts

4 → 133

Calls

4 calls:

1.0ms	(asin (* (fabs (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))) (sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))))
14.0ms	(sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
14.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
11.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

series1.1s

Counts

4 → 12

Calls

4 calls:

33.0ms	(asin (* (fabs (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))) (sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))))
338.0ms	(sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
344.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
338.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify129.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 3 (103.0ms)

Iter	Nodes	Cost
0	532	2819
1	1231	2727
2	4288	2718
3	5001	2695

prune707.0ms

Filtered

145 candidates to 125 candidates (86.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	145	6	151

Merged error: 12.2b

Counts

151 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

8.4b	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
8.4b	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
11.3b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
11.3b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

86×	`add-sqr-sqrt`
66×	`sqrt-prod`
56×	`times-frac`
42×	`*-un-lft-identity`
30×	`add-cube-cbrt`
24×	`difference-of-squares`
12×	`unpow-prod-down`
8×	`pow1`
6×	`rem-sqrt-square` `distribute-lft-out--` `sqr-pow`
4×	`add-exp-log` `sqrt-pow1` `pow1/2` `associate-/r/` `add-cbrt-cube` `add-log-exp`
2×	`flip3-+` `sqrt-div` `flip-+` `div-inv`

Counts

4 → 110

Calls

4 calls:

1.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
1.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
16.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
12.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

series719.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
45.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
313.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
318.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify97.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 3 (79.0ms)

Iter	Nodes	Cost
0	388	1928
1	920	1854
2	3312	1846
3	5001	1822

prune559.0ms

Filtered

122 candidates to 100 candidates (82.0%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	119	9	128

Merged error: 12.2b

Counts

128 → 9

regimes778.0ms

Accuracy

0% (0.1b remaining)

Error of 10.3b against oracle of 10.2b and baseline of 10.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	10
1	18	10

end0.0ms

sample1.9s

Algorithm

intervals

Results

556.0ms	7876×	body	80	nan
543.0ms	3818×	body	160	valid
301.0ms	4182×	body	80	valid

Details

sample67.0ms

simplify128.0ms

prune9.0ms

localize15.0ms

rewrite36.0ms

series627.0ms

simplify63.0ms

prune649.0ms

localize22.0ms

rewrite28.0ms

series1.2s

simplify91.0ms

prune438.0ms

localize18.0ms

rewrite47.0ms

series1.1s

simplify129.0ms

prune707.0ms

localize18.0ms

rewrite36.0ms

series719.0ms

simplify97.0ms

prune559.0ms

regimes778.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.9s

Profiling