Details

analyze1.5s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
18.7%	76.4%	4.9%	9
18.7%	76.4%	4.9%	10
21.8%	72.5%	5.7%	11
21.8%	69.8%	8.4%	12
32.7%	46.6%	20.7%	13
32.7%	46.6%	20.7%	14

sample71.0ms

Algorithm

intervals

Results

25.0ms	111×	body	160	valid
15.0ms	158×	body	80	nan
13.0ms	145×	body	80	valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4745	19
1	4745	19

prune5.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: 13.0b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

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

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

series263.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(pow (/ Om Omc) 2.0)
96.0ms	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
15.0ms	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
139.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify60.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5030	3354

prune391.0ms

Filtered

114 candidates to 142 candidates (-24.6%)

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

Counts

143 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(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.3b	(sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
18.6b	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
18.6b	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite43.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))))))
11.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)))))

series483.0ms

Counts

4 → 12

Calls

4 calls:

27.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))))))))
153.0ms	(sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
151.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
152.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify56.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4965	4796
1	4965	4796

prune712.0ms

Filtered

128 candidates to 145 candidates (-13.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

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

Merged error: 13.0b

Counts

151 → 6

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.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)))))))
12.0ms	(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)))))

series346.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
34.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
140.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
138.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify60.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5220	3350

prune548.0ms

Filtered

100 candidates to 122 candidates (-22.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

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

Merged error: 13.0b

Counts

128 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

9.3b	(cbrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
12.1b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
12.1b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
12.1b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 137

Calls

4 calls:

1.0ms	(cbrt (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)))))
13.0ms	(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)))))

series481.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(cbrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
137.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
139.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
138.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify65.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5281	4323

prune966.0ms

Filtered

124 candidates to 149 candidates (-20.2%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	147	2	149
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	147	8	155

Merged error: 13.0b

Counts

155 → 8

regimes1.3s

Accuracy

0% (0.1b remaining)

Error of 10.6b against oracle of 10.6b and baseline of 10.6b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	19
1	28	19

end0.0ms

sample1.9s

Algorithm

intervals

Results

725.0ms	3803×	body	160	valid
452.0ms	4643×	body	80	nan
392.0ms	4197×	body	80	valid

Details

analyze1.5s

sample71.0ms

simplify42.0ms

prune5.0ms

localize15.0ms

rewrite38.0ms

series263.0ms

simplify60.0ms

prune391.0ms

localize21.0ms

rewrite43.0ms

series483.0ms

simplify56.0ms

prune712.0ms

localize19.0ms

rewrite34.0ms

series346.0ms

simplify60.0ms

prune548.0ms

localize23.0ms

rewrite48.0ms

series481.0ms

simplify65.0ms

prune966.0ms

regimes1.3s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.9s

Profiling