Details

sample74.0ms

Algorithm

intervals

Results

22.0ms	125×	body	160	valid
20.0ms	230×	body	80	nan
11.0ms	131×	body	80	valid

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

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

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (/ t l) 2.0)
0.4b	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
0.7b	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
8.8b	(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:

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

series591.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(pow (/ t l) 2.0)
207.0ms	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
20.0ms	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
306.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify69.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (45.0ms)

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

prune500.0ms

Filtered

142 candidates to 114 candidates (80.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	135	7	142
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	135	8	143

Merged error: 10.0b

Counts

143 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

6.9b	(sqrt (/ 1 (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
6.9b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
9.2b	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
9.2b	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

120×	`sqrt-prod`
104×	`add-sqr-sqrt`
78×	`times-frac`
56×	`*-un-lft-identity`
42×	`add-cube-cbrt`
24×	`difference-of-squares`
12×	`unpow-prod-down`
10×	`pow1` `rem-sqrt-square` `sqrt-div`
9×	`sqrt-pow1`
6×	`distribute-lft-out--` `sqr-pow`
5×	`pow1/2`
4×	`add-exp-log` `flip3-+` `associate-/r/` `add-cbrt-cube` `flip-+` `add-log-exp`
3×	`pow-flip`
2×	`div-inv`
1×	`inv-pow`

Counts

4 → 140

Calls

4 calls:

9.0ms	(sqrt (/ 1 (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
15.0ms	(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))))
3.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

series1.1s

Counts

4 → 12

Calls

4 calls:

405.0ms	(sqrt (/ 1 (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
335.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
177.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
180.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

simplify57.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	544	2235
1	1451	2182
2	5001	2134

prune510.0ms

Filtered

152 candidates to 101 candidates (66.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	152	8	160

Merged error: 10.0b

Counts

160 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.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))))))))
15.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))))

series827.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify52.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	545	2043
1	1354	1953
2	5001	1942

prune523.0ms

Filtered

113 candidates to 100 candidates (88.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	113	8	121

Merged error: 10.0b

Counts

121 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.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)))))

series1.0s

Counts

4 → 12

Calls

4 calls:

32.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))))))))
328.0ms	(sqrt (cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
324.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
335.0ms	(cbrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify128.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 3 (102.0ms)

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

prune677.0ms

Filtered

145 candidates to 125 candidates (86.2%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	145	8	153

Merged error: 10.0b

Counts

153 → 8

regimes624.0ms

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	18	10
1	18	10

end0.0ms

sample2.2s

Algorithm

intervals

Results

717.0ms	8243×	body	80	nan
663.0ms	3700×	body	160	valid
383.0ms	4300×	body	80	valid

Details

sample74.0ms

simplify130.0ms

prune3.0ms

localize19.0ms

rewrite35.0ms

series591.0ms

simplify69.0ms

prune500.0ms

localize20.0ms

rewrite36.0ms

series1.1s

simplify57.0ms

prune510.0ms

localize20.0ms

rewrite25.0ms

series827.0ms

simplify52.0ms

prune523.0ms

localize23.0ms

rewrite44.0ms

series1.0s

simplify128.0ms

prune677.0ms

regimes624.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.2s

Profiling