Details

analyze1.4s

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

sample74.0ms

Algorithm

intervals

Results

26.0ms	139×	body	160	valid
17.0ms	188×	body	80	nan
11.0ms	117×	body	80	valid

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4982	19
1	4982	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: 8.7b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
0.2b	(pow (/ Om Omc) 2.0)
0.6b	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
7.9b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite35.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:

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

series265.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify75.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4986	3355
1	4986	3355

prune415.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: 8.6b

Counts

143 → 6

localize19.0ms

Local error

Found 4 expressions with local error:

6.7b	(sqrt (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
6.7b	(sqrt (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
7.9b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
7.9b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

190×	`sqrt-prod`
164×	`add-sqr-sqrt`
112×	`times-frac`
78×	`*-un-lft-identity`
54×	`add-cube-cbrt`
48×	`difference-of-squares`
24×	`unpow-prod-down`
12×	`distribute-lft-out--` `sqr-pow`
10×	`pow1` `rem-sqrt-square` `sqrt-pow1`
8×	`associate-/r/`
6×	`pow1/2` `sqrt-div`
4×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+` `div-inv` `add-log-exp`

Counts

4 → 180

Calls

4 calls:

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

series569.0ms

Counts

4 → 12

Calls

4 calls:

148.0ms	(sqrt (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
150.0ms	(sqrt (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
134.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
136.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify103.0ms

Algorithm

egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5027	5614

prune911.0ms

Filtered

152 candidates to 192 candidates (-26.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	191	1	192
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	192	6	198

Merged error: 8.6b

Counts

198 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

158×	`add-sqr-sqrt`
120×	`sqrt-prod`
111×	`times-frac`
77×	`*-un-lft-identity`
53×	`add-cube-cbrt`
48×	`difference-of-squares`
33×	`cbrt-prod`
24×	`unpow-prod-down`
12×	`distribute-lft-out--` `sqr-pow`
8×	`associate-/r/`
7×	`pow1`
6×	`rem-sqrt-square`
4×	`add-exp-log` `flip3-+` `sqrt-div` `add-cbrt-cube` `flip-+` `div-inv` `add-log-exp`
3×	`sqrt-pow1` `pow1/2`
1×	`cbrt-div` `pow1/3`

Counts

4 → 168

Calls

4 calls:

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

series557.0ms

Counts

4 → 12

Calls

4 calls:

149.0ms	(cbrt (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
134.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
136.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
136.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify69.0ms

Algorithm

egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5066	5375

prune1.4s

Filtered

149 candidates to 180 candidates (-20.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	180	0	180
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	180	6	186

Merged error: 8.6b

Counts

186 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.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)))))))
13.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)))))

series342.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
33.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
136.0ms	(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)))))

simplify68.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5023	3350

prune533.0ms

Filtered

100 candidates to 122 candidates (-22.0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

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

Merged error: 8.6b

Counts

128 → 9

regimes1.5s

Accuracy

0% (0.1b remaining)

Error of 10.0b against oracle of 9.9b and baseline of 10.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	73	19
1	73	19

end0.0ms

sample2.0s

Algorithm

intervals

Results

740.0ms	3847×	body	160	valid
437.0ms	4677×	body	80	nan
406.0ms	4153×	body	80	valid

Details

analyze1.4s

sample74.0ms

simplify48.0ms

prune5.0ms

localize18.0ms

rewrite35.0ms

series265.0ms

simplify75.0ms

prune415.0ms

localize19.0ms

rewrite66.0ms

series569.0ms

simplify103.0ms

prune911.0ms

localize23.0ms

rewrite62.0ms

series557.0ms

simplify69.0ms

prune1.4s

localize17.0ms

rewrite32.0ms

series342.0ms

simplify68.0ms

prune533.0ms

regimes1.5s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.0s

Profiling