Details

sample91.0ms

Algorithm

intervals

Results

27.0ms	126×	body	160	valid
24.0ms	263×	body	80	nan
12.0ms	130×	body	80	valid

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

prune5.0ms

Filtered

1 candidates to 0 candidates (100.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: 8.8b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (/ t l) 2.0)
0.2b	(/ (- 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))))))
8.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

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

series386.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(pow (/ t l) 2.0)
95.0ms	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
14.0ms	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
264.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify66.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	662	1889
1	2099	1789
2	5002	1774

prune412.0ms

Filtered

142 candidates to 114 candidates (19.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	136	6	142
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	136	7	143

Merged error: 8.7b

Counts

143 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 151

Calls

4 calls:

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

series206.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify69.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	693	2519
1	2331	2342
2	5001	2330

prune435.0ms

Filtered

163 candidates to 106 candidates (35.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	161	2	163
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	162	8	170

Merged error: 8.7b

Counts

170 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

7.4b	(sqrt (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
7.4b	(sqrt (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
8.2b	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
8.2b	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

26×	`sqrt-prod`
16×	`add-sqr-sqrt`
12×	`sqrt-div`
10×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-pow1`
6×	`rem-sqrt-square` `pow1/2`
4×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

4 → 72

Calls

4 calls:

3.0ms	(sqrt (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
3.0ms	(sqrt (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
2.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
3.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

series226.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(sqrt (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
66.0ms	(sqrt (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
49.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
47.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

simplify117.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 3 (107.0ms)

Iter	Nodes	Cost
0	262	796
1	822	778
2	3917	772
3	5002	764

prune310.0ms

Filtered

84 candidates to 64 candidates (23.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	84	8	92

Merged error: 8.7b

Counts

92 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

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

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

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

series566.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify116.0ms

Algorithm

egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 3 (85.0ms)

Iter	Nodes	Cost
0	414	3308
1	911	3236
2	3359	3216
3	5002	3182

prune905.0ms

Filtered

192 candidates to 154 candidates (19.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	192	8	200

Merged error: 8.7b

Counts

200 → 8

regimes1.2s

Accuracy

0% (0.1b remaining)

Error of 10.7b against oracle of 10.7b and baseline of 10.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	10
1	18	10

end0.0ms

sample2.5s

Algorithm

intervals

Results

722.0ms	7968×	body	80	nan
684.0ms	3737×	body	160	valid
387.0ms	4263×	body	80	valid

Details

sample91.0ms

simplify129.0ms

prune5.0ms

localize14.0ms

rewrite34.0ms

series386.0ms

simplify66.0ms

prune412.0ms

localize18.0ms

rewrite28.0ms

series206.0ms

simplify69.0ms

prune435.0ms

localize18.0ms

rewrite13.0ms

series226.0ms

simplify117.0ms

prune310.0ms

localize18.0ms

rewrite63.0ms

series566.0ms

simplify116.0ms

prune905.0ms

regimes1.2s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling