Details

analyze1.2s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
5.8%	93.9%	0.3%	11
8.4%	91.3%	0.3%	12
9.7%	90%	0.3%	13
10.7%	89%	0.3%	14

sample32.0ms

Algorithm

intervals

Results

13.0ms	256×	body	80	valid
0.0ms	8×	body	80	invalid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	46	17
1	46	17

prune14.0ms

Filtered

1 candidates to 1 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: 12.1b

Counts

2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ (* y b) t))
6.5b	(/ (* y z) t)
7.9b	(/ (* y b) t)
11.5b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
26×	`times-frac`
24×	`distribute-lft-out`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
9×	`add-log-exp`
6×	`associate-/l*`
5×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+`
4×	`pow1` `frac-add` `associate-/r/`
3×	`frac-2neg` `clear-num` `sum-log` `div-inv`
2×	`prod-exp` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `associate-+l+`

Counts

4 → 106

Calls

4 calls:

6.0ms	(+ (+ a 1.0) (/ (* y b) t))
4.0ms	(/ (* y z) t)
4.0ms	(/ (* y b) t)
13.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series59.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ (+ a 1.0) (/ (* y b) t))
5.0ms	(/ (* y z) t)
5.0ms	(/ (* y b) t)
41.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify44.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5007	1713

prune190.0ms

Filtered

79 candidates to 118 candidates (-49.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	106	12	118
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	106	14	120

Merged error: 10.1b

Counts

120 → 14

localize16.0ms

Local error

Found 4 expressions with local error:

1.1b	(/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))
2.1b	(* (/ y (* (cbrt t) (cbrt t))) b)
6.5b	(/ (* y z) t)
11.5b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
34×	`add-exp-log`
33×	`times-frac`
28×	`add-sqr-sqrt`
26×	`add-cbrt-cube`
24×	`add-cube-cbrt`
21×	`distribute-lft-out`
14×	`associate-/r*`
11×	`cbrt-undiv` `div-exp`
9×	`prod-exp` `cbrt-unprod`
7×	`associate-l`
6×	`pow1` `cbrt-prod` `associate-/l*`
4×	`associate-/r/` `div-inv` `add-log-exp`
3×	`frac-2neg` `flip3-+` `associate-r` `clear-num` `flip-+` `associate-/l/`
2×	`associate-*l/` `frac-add` `unswap-sqr`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 128

Calls

4 calls:

10.0ms	(/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))
9.0ms	(* (/ y (* (cbrt t) (cbrt t))) b)
4.0ms	(/ (* y z) t)
13.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))))

series96.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))
34.0ms	(* (/ y (* (cbrt t) (cbrt t))) b)
5.0ms	(/ (* y z) t)
47.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))))

simplify39.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5053	1940

prune179.0ms

Filtered

91 candidates to 140 candidates (-53.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	136	4	140
Fresh	3	9	12
Picked	0	1	1
Done	1	0	1
Total	140	14	154

Merged error: 10.1b

Counts

154 → 14

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ 1 (+ a (+ 1.0 (* (/ y t) b))))
3.0b	(* (/ y t) b)
6.5b	(/ (* y z) t)
10.9b	(* (+ x (/ (* y z) t)) (/ 1 (+ a (+ 1.0 (* (/ y t) b)))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

49×	`*-un-lft-identity`
44×	`add-sqr-sqrt`
39×	`times-frac`
32×	`add-cube-cbrt`
27×	`add-exp-log`
21×	`associate-r` `add-cbrt-cube`
17×	`associate-l`
9×	`pow1`
8×	`distribute-lft-out`
7×	`div-exp` `prod-exp` `associate-/r*`
5×	`cbrt-undiv` `cbrt-unprod` `unswap-sqr`
4×	`flip3-+` `associate-/r/` `flip-+` `div-inv` `associate-/l*` `add-log-exp`
3×	`associate-*l/`
2×	`frac-times` `rec-exp` `frac-2neg` `1-exp` `pow-prod-down` `clear-num` `*-commutative`
1×	`pow-flip` `associate-*r/` `un-div-inv` `inv-pow`

Counts

4 → 136

Calls

4 calls:

6.0ms	(/ 1 (+ a (+ 1.0 (* (/ y t) b))))
6.0ms	(* (/ y t) b)
4.0ms	(/ (* y z) t)
14.0ms	(* (+ x (/ (* y z) t)) (/ 1 (+ a (+ 1.0 (* (/ y t) b)))))

series64.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ 1 (+ a (+ 1.0 (* (/ y t) b))))
5.0ms	(* (/ y t) b)
5.0ms	(/ (* y z) t)
40.0ms	(* (+ x (/ (* y z) t)) (/ 1 (+ a (+ 1.0 (* (/ y t) b)))))

simplify44.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4998	1838
1	4998	1838

prune192.0ms

Filtered

95 candidates to 148 candidates (-55.8%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	146	2	148
Fresh	3	9	12
Picked	0	1	1
Done	0	1	1
Total	149	13	162

Merged error: 10.1b

Counts

162 → 13

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ a (+ 1.0 (* (/ y t) b)))
3.0b	(* (/ y t) b)
5.0b	(* (/ y t) z)
11.5b	(/ (+ x (* (/ y t) z)) (+ a (+ 1.0 (* (/ y t) b))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt` `*-un-lft-identity`
32×	`times-frac`
29×	`add-cube-cbrt`
26×	`associate-l`
16×	`add-exp-log` `add-cbrt-cube`
9×	`add-log-exp`
8×	`pow1`
6×	`associate-r`
5×	`distribute-lft-out`
4×	`prod-exp` `associate-/r*` `cbrt-unprod` `unswap-sqr`
3×	`cbrt-undiv` `flip3-+` `div-exp` `sum-log` `flip-+` `div-inv` `associate-/l*`
2×	`pow-prod-down` `associate-l/` `associate-/r/` `-commutative` `associate-/l/`
1×	`+-commutative` `associate-+r+` `frac-2neg` `clear-num`

Counts

4 → 113

Calls

4 calls:

4.0ms	(+ a (+ 1.0 (* (/ y t) b)))
6.0ms	(* (/ y t) b)
6.0ms	(* (/ y t) z)
8.0ms	(/ (+ x (* (/ y t) z)) (+ a (+ 1.0 (* (/ y t) b))))

series82.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ a (+ 1.0 (* (/ y t) b)))
5.0ms	(* (/ y t) b)
5.0ms	(* (/ y t) z)
63.0ms	(/ (+ x (* (/ y t) z)) (+ a (+ 1.0 (* (/ y t) b))))

simplify59.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4947	1512
1	4947	1512

prune113.0ms

Filtered

91 candidates to 125 candidates (-37.4%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	124	14	138

Merged error: 10.1b

Counts

138 → 14

regimes943.0ms

Accuracy

22% (3.2b remaining)

Error of 13.6b against oracle of 10.4b and baseline of 14.5b

bsearch4.2s

Steps

Iters	Range		Point
10	5.669264326892673e-39	1.0853242790279766e-25	1.8495783259794747e-30
8	-9.261001792056858e-299	-1.4466578312020694e-301	-9.173386750578478e-299

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	61
1	55	61

end0.0ms

analyze1.3s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
5.8%	93.9%	0.3%	11
8.4%	91.3%	0.3%	12
9.7%	90%	0.3%	13
10.7%	89%	0.3%	14

sample745.0ms

Algorithm

intervals

Results

446.0ms	8000×	body	80	valid
16.0ms	299×	body	80	invalid

Details

analyze1.2s

sample32.0ms

simplify4.0ms

prune14.0ms

localize12.0ms

rewrite31.0ms

series59.0ms

simplify44.0ms

prune190.0ms

localize16.0ms

rewrite40.0ms

series96.0ms

simplify39.0ms

prune179.0ms

localize13.0ms

rewrite33.0ms

series64.0ms

simplify44.0ms

prune192.0ms

localize11.0ms

rewrite27.0ms

series82.0ms

simplify59.0ms

prune113.0ms

regimes943.0ms

bsearch4.2s

simplify1.0ms

end0.0ms

analyze1.3s

sample745.0ms

Profiling