Details

sample87.0ms

Algorithm

intervals

Results

20.0ms	120×	body	160	valid
20.0ms	229×	body	80	nan
16.0ms	136×	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

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

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (/ t l) 2.0)
0.4b	(/ (- 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))))))
9.0b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

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

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

series635.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify64.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	648	1882
1	2047	1787
2	5001	1774

prune768.0ms

Filtered

142 candidates to 114 candidates (80.3%)

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

Counts

143 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

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

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

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

series614.0ms

Counts

4 → 12

Calls

4 calls:

319.0ms	(/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
72.0ms	(pow (/ t l) 2.0)
15.0ms	(asin (/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
206.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	669	2513
1	2276	2341
2	5001	2331

prune732.0ms

Filtered

163 candidates to 106 candidates (65.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	163	0	163
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	163	7	170

Merged error: 10.0b

Counts

170 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b	(asin (* (fabs (/ 1 (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))) (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))))
1.3b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
15.0b	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
15.0b	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

82×	`add-sqr-sqrt`
56×	`times-frac`
54×	`sqrt-prod`
41×	`*-un-lft-identity`
31×	`cbrt-prod`
29×	`add-cube-cbrt`
24×	`difference-of-squares`
12×	`unpow-prod-down`
6×	`cbrt-div` `distribute-lft-out--` `sqr-pow`
5×	`pow1`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`rem-sqrt-square` `flip3-+` `flip-+`
2×	`pow1/3` `associate-/r/`
1×	`asin-acos` `sqrt-pow1` `pow1/2` `sqrt-div` `div-inv`

Counts

4 → 101

Calls

4 calls:

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

series762.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(asin (* (fabs (/ 1 (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))) (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))))
347.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
194.0ms	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
192.0ms	(cbrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

simplify60.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	584	2077
1	1522	1985
2	5002	1972

prune786.0ms

Filtered

113 candidates to 100 candidates (88.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	113	7	120

Merged error: 10.0b

Counts

120 → 7

localize22.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))))))))
1.3b	(sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
14.8b	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
14.8b	(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))))))))
13.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)))))

series1.0s

Counts

4 → 12

Calls

4 calls:

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

simplify130.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 3 (99.0ms)

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

prune996.0ms

Filtered

145 candidates to 125 candidates (86.2%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	145	7	152

Merged error: 10.0b

Counts

152 → 7

regimes1.2s

Accuracy

0% (0.1b remaining)

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

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.4s

Algorithm

intervals

Results

674.0ms	7915×	body	80	nan
661.0ms	3892×	body	160	valid
346.0ms	4108×	body	80	valid

Details

sample87.0ms

simplify129.0ms

prune6.0ms

localize14.0ms

rewrite37.0ms

series635.0ms

simplify64.0ms

prune768.0ms

localize15.0ms

rewrite29.0ms

series614.0ms

simplify69.0ms

prune732.0ms

localize22.0ms

rewrite24.0ms

series762.0ms

simplify60.0ms

prune786.0ms

localize22.0ms

rewrite43.0ms

series1.0s

simplify130.0ms

prune996.0ms

regimes1.2s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.4s

Profiling