Details

sample90.0ms

Algorithm

intervals

Results

23.0ms	110×	body	160	valid
22.0ms	230×	body	80	nan
13.0ms	146×	body	80	valid

simplify127.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

prune6.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: 11.8b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (/ t l) 2.0)
0.3b	(pow (/ Om Omc) 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)))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

59×	`add-sqr-sqrt`
46×	`times-frac`
38×	`*-un-lft-identity`
32×	`add-cube-cbrt` `unpow-prod-down`
30×	`sqrt-prod`
12×	`difference-of-squares`
10×	`add-exp-log`
7×	`pow1`
6×	`pow-unpow`
5×	`sqr-pow`
4×	`pow-exp` `add-cbrt-cube` `add-log-exp`
3×	`div-inv` `distribute-lft-out--`
2×	`pow-to-exp` `rem-sqrt-square` `pow-pow` `div-exp` `associate-/r/`
1×	`asin-acos` `sqrt-pow1` `flip3-+` `pow1/2` `sqrt-div` `flip-+`

Counts

4 → 106

Calls

4 calls:

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

series431.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify54.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	695	1235
1	2043	1164
2	5002	1152

prune669.0ms

Filtered

118 candidates to 92 candidates (78.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	112	6	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	6	119

Merged error: 11.7b

Counts

119 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

26×	`unpow-prod-down`
22×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
10×	`add-exp-log`
7×	`pow1`
6×	`pow-unpow`
4×	`pow-exp` `add-cbrt-cube` `add-log-exp`
3×	`sqrt-prod`
2×	`pow-to-exp` `pow-pow` `sqrt-div` `div-exp` `div-inv` `sqr-pow`
1×	`rem-sqrt-square` `asin-acos` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`

Counts

4 → 79

Calls

4 calls:

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

series301.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(pow (/ t l) 2.0)
58.0ms	(pow (/ Om Omc) 2.0)
15.0ms	(asin (/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
169.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

simplify46.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	543	644
1	1769	596
2	5001	596

prune511.0ms

Filtered

91 candidates to 70 candidates (76.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	90	7	97

Merged error: 11.7b

Counts

97 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

67×	`add-sqr-sqrt`
55×	`times-frac`
51×	`cbrt-prod`
46×	`*-un-lft-identity`
45×	`unpow-prod-down`
40×	`add-cube-cbrt`
30×	`sqrt-prod`
12×	`difference-of-squares`
6×	`sqr-pow`
5×	`pow1`
4×	`add-exp-log` `add-cbrt-cube` `div-inv` `add-log-exp`
3×	`pow1/3` `distribute-lft-out--`
2×	`rem-sqrt-square` `associate-/r/`
1×	`sqrt-pow1` `flip3-+` `pow1/2` `sqrt-div` `flip-+`

Counts

4 → 117

Calls

4 calls:

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

series1.0s

Counts

4 → 12

Calls

4 calls:

296.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (* (* (cbrt (pow (/ t l) 2.0)) (cbrt (pow (/ t l) 2.0))) (cbrt (pow (/ t l) 2.0)))))))
244.0ms	(cbrt (pow (/ t l) 2.0))
245.0ms	(cbrt (pow (/ t l) 2.0))
246.0ms	(cbrt (pow (/ t l) 2.0))

simplify121.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 3 (100.0ms)

Iter	Nodes	Cost
0	516	2189
1	1205	2120
2	4816	2084
3	5001	2075

prune821.0ms

Filtered

129 candidates to 103 candidates (79.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	129	7	136

Merged error: 11.7b

Counts

136 → 7

localize19.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))))))))
1.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)))))

rewrite48.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))))))))
17.0ms	(sqrt (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)))))
12.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

series977.0ms

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))))))))
314.0ms	(sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
316.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
313.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify122.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 3 (97.0ms)

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

prune998.0ms

Filtered

145 candidates to 125 candidates (86.2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	143	2	145
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	143	9	152

Merged error: 11.7b

Counts

152 → 9

regimes1.6s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	11
1	19	11

end0.0ms

sample2.6s

Algorithm

intervals

Results

734.0ms	8038×	body	80	nan
691.0ms	3793×	body	160	valid
375.0ms	4207×	body	80	valid

Details

sample90.0ms

simplify127.0ms

prune6.0ms

localize15.0ms

rewrite29.0ms

series431.0ms

simplify54.0ms

prune669.0ms

localize16.0ms

rewrite15.0ms

series301.0ms

simplify46.0ms

prune511.0ms

localize19.0ms

rewrite30.0ms

series1.0s

simplify121.0ms

prune821.0ms

localize19.0ms

rewrite48.0ms

series977.0ms

simplify122.0ms

prune998.0ms

regimes1.6s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.6s

Profiling