Details

analyze1.8s

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
3.1%	96.5%	0.3%	9
4.7%	95%	0.3%	10
4.7%	95%	0.3%	11
5.1%	82.1%	12.8%	12
6.2%	74.7%	19%	13
6.4%	74.5%	19%	14

sample69.0ms

Algorithm

intervals

Results

30.0ms	256×	body	80	valid
14.0ms	153×	body	80	nan

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4985	33
1	4985	33

prune18.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: 2.0b

Counts

2 → 2

localize30.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (sqrt (+ t a)) t)
0.3b	(/ 2.0 (* t 3.0))
1.8b	(- (* z (/ (sqrt (+ t a)) t)) (* (- b c) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))
2.3b	(* z (/ (sqrt (+ t a)) t))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

51×	`*-un-lft-identity`
47×	`times-frac`
45×	`add-sqr-sqrt`
37×	`add-cube-cbrt`
29×	`sqrt-prod`
25×	`associate-r`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-*r/`
10×	`associate-/l*`
8×	`frac-sub`
7×	`distribute-lft-out`
6×	`pow1` `add-log-exp`
4×	`cbrt-undiv` `frac-times` `flip3--` `flip3-+` `div-exp` `associate-/r*` `flip--` `flip-+`
3×	`associate-l` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
2×	`frac-2neg` `sqrt-div` `associate-*l/` `clear-num` `associate-/l/` `associate--r+`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `diff-log` `pow-prod-down` `*-commutative`

Counts

4 → 132

Calls

4 calls:

6.0ms	(/ (sqrt (+ t a)) t)
4.0ms	(/ 2.0 (* t 3.0))
10.0ms	(- (* z (/ (sqrt (+ t a)) t)) (* (- b c) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))
11.0ms	(* z (/ (sqrt (+ t a)) t))

series125.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(/ (sqrt (+ t a)) t)
2.0ms	(/ 2.0 (* t 3.0))
94.0ms	(- (* z (/ (sqrt (+ t a)) t)) (* (- b c) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))
18.0ms	(* z (/ (sqrt (+ t a)) t))

simplify36.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5664	2222

prune272.0ms

Filtered

100 candidates to 144 candidates (-44.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	142	2	144
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	143	3	146

Merged error: 0.5b

Counts

146 → 3

localize31.0ms

Local error

Found 4 expressions with local error:

4.7b	(- (* z (* (sqrt (+ t a)) (+ b c))) (* t (* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c)))))
6.1b	(* z (* (sqrt (+ t a)) (+ b c)))
6.9b	(* t (* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c))))
21.7b	(/ (- (* z (* (sqrt (+ t a)) (+ b c))) (* t (* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c))))) (* t (+ b c)))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

342×	`associate-*r/`
154×	`flip3-+` `flip-+`
136×	`frac-times`
128×	`frac-sub`
102×	`sqrt-div`
68×	`associate-*l/`
66×	`associate-/l/`
53×	`flip3--` `flip--`
19×	`add-exp-log` `add-cbrt-cube`
16×	`distribute-rgt-in` `distribute-lft-in`
14×	`pow1`
9×	`sub-neg`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`prod-exp` `cbrt-unprod`
6×	`associate-l` `pow-prod-down` `add-log-exp`
4×	`associate--l+` `associate--r+`
3×	`times-frac` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `associate-r` `associate-/r/` `*-commutative`
1×	`frac-2neg` `diff-log` `div-sub` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 233

Calls

4 calls:

17.0ms	(- (* z (* (sqrt (+ t a)) (+ b c))) (* t (* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c)))))
11.0ms	(* z (* (sqrt (+ t a)) (+ b c)))
20.0ms	(* t (* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c))))
25.0ms	(/ (- (* z (* (sqrt (+ t a)) (+ b c))) (* t (* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c))))) (* t (+ b c)))

series492.0ms

Counts

4 → 12

Calls

4 calls:

163.0ms	(- (* z (* (sqrt (+ t a)) (+ b c))) (* t (* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c)))))
34.0ms	(* z (* (sqrt (+ t a)) (+ b c)))
58.0ms	(* t (* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c))))
236.0ms	(/ (- (* z (* (sqrt (+ t a)) (+ b c))) (* t (* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c))))) (* t (+ b c)))

simplify113.0ms

Algorithm

egg-herbie

Counts

245 → 245

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4987	12699
1	4987	12699

prune1.2s

Filtered

216 candidates to 245 candidates (-13.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	243	2	245
Fresh	1	0	1
Picked	1	0	1
Done	1	0	1
Total	246	2	248

Merged error: 0b

Counts

248 → 2

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (sqrt (+ t a)) (- b c))
0.3b	(/ 2.0 (* t 3.0))
2.0b	(* (- (* (/ z t) (* 1 (/ (sqrt (+ t a)) (- b c)))) (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) 1)) (- b c))
7.9b	(* (/ z t) (* 1 (/ (sqrt (+ t a)) (- b c))))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

65×	`*-un-lft-identity`
55×	`add-sqr-sqrt`
47×	`times-frac`
46×	`add-exp-log`
35×	`add-cube-cbrt`
34×	`add-cbrt-cube`
24×	`sqrt-prod`
20×	`prod-exp`
16×	`associate-l`
14×	`frac-times` `associate-*r/`
12×	`div-exp` `cbrt-unprod`
11×	`pow1`
10×	`flip3--` `flip--` `associate-/l*`
9×	`associate-*l/` `frac-sub` `distribute-lft-out--` `difference-of-squares`
8×	`cbrt-undiv`
6×	`associate-r` `associate-/r*` `distribute-lft-out`
4×	`1-exp` `pow-prod-down` `add-log-exp`
3×	`div-inv`
2×	`sub-neg` `frac-2neg` `sqrt-div` `clear-num` `associate-/r/` `*-commutative` `associate-/l/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `flip-+` `unswap-sqr`

Counts

4 → 166

Calls

4 calls:

8.0ms	(/ (sqrt (+ t a)) (- b c))
6.0ms	(/ 2.0 (* t 3.0))
33.0ms	(* (- (* (/ z t) (* 1 (/ (sqrt (+ t a)) (- b c)))) (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) 1)) (- b c))
15.0ms	(* (/ z t) (* 1 (/ (sqrt (+ t a)) (- b c))))

series103.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(/ (sqrt (+ t a)) (- b c))
2.0ms	(/ 2.0 (* t 3.0))
53.0ms	(* (- (* (/ z t) (* 1 (/ (sqrt (+ t a)) (- b c)))) (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) 1)) (- b c))
26.0ms	(* (/ z t) (* 1 (/ (sqrt (+ t a)) (- b c))))

simplify42.0ms

Algorithm

egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5237	3164

prune293.0ms

Filtered

118 candidates to 178 candidates (-50.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	178	0	178
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	178	2	180

Merged error: 0b

Counts

180 → 2

localize35.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 2.0 (* t 3.0))
1.3b	(- (* z (* 1 (sqrt (+ t a)))) (* t (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (/ 1 (- b c)))))
10.9b	(* (/ 1 t) (- (* z (* 1 (sqrt (+ t a)))) (* t (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (/ 1 (- b c))))))
13.3b	(* t (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (/ 1 (- b c))))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

219×	`*-un-lft-identity`
199×	`times-frac`
131×	`add-sqr-sqrt`
113×	`associate-r`
82×	`add-cube-cbrt`
42×	`distribute-lft-out`
36×	`distribute-lft-out--`
33×	`add-exp-log`
23×	`associate-*r/` `add-cbrt-cube`
16×	`associate-l`
15×	`difference-of-squares`
11×	`associate-/r/`
10×	`div-exp` `prod-exp`
8×	`pow1` `flip3--` `flip--` `div-inv`
7×	`unswap-sqr`
6×	`cbrt-undiv` `sqrt-div` `frac-sub` `cbrt-unprod` `add-log-exp`
4×	`frac-times`
3×	`sub-neg` `flip3-+` `flip-+` `associate-/l*`
2×	`rec-exp` `1-exp` `pow-prod-down` `*-commutative`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `diff-log` `associate-l/` `clear-num` `associate-/r`

Counts

4 → 214

Calls

4 calls:

5.0ms	(/ 2.0 (* t 3.0))
8.0ms	(- (* z (* 1 (sqrt (+ t a)))) (* t (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (/ 1 (- b c)))))
14.0ms	(* (/ 1 t) (- (* z (* 1 (sqrt (+ t a)))) (* t (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (/ 1 (- b c))))))
40.0ms	(* t (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (/ 1 (- b c))))

series163.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 2.0 (* t 3.0))
56.0ms	(- (* z (* 1 (sqrt (+ t a)))) (* t (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (/ 1 (- b c)))))
87.0ms	(* (/ 1 t) (- (* z (* 1 (sqrt (+ t a)))) (* t (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (/ 1 (- b c))))))
19.0ms	(* t (/ (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (/ 1 (- b c))))

simplify65.0ms

Algorithm

egg-herbie

Counts

226 → 226

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5212	4363

prune461.0ms

Filtered

137 candidates to 226 candidates (-65.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	226	0	226
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	226	2	228

Merged error: 0b

Counts

228 → 2

regimes585.0ms

Accuracy

-14.1% (2.1b remaining)

Error of 2.2b against oracle of 0.1b and baseline of 1.9b

bsearch2.5s

Steps

Iters	Range		Point
5	-6.848446051914973e+156	-3.0782041881192075e+156	-4.3351175562285256e+156

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	80
1	62	80

end0.0ms

analyze1.7s

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
3.1%	96.5%	0.3%	9
4.7%	95%	0.3%	10
4.7%	95%	0.3%	11
5.1%	82.1%	12.8%	12
6.2%	74.7%	19%	13
6.4%	74.5%	19%	14

sample1.8s

Algorithm

intervals

Results

802.0ms	8000×	body	80	valid
453.0ms	4881×	body	80	nan

Details

analyze1.8s

sample69.0ms

simplify55.0ms

prune18.0ms

localize30.0ms

rewrite37.0ms

series125.0ms

simplify36.0ms

prune272.0ms

localize31.0ms

rewrite96.0ms

series492.0ms

simplify113.0ms

prune1.2s

localize28.0ms

rewrite69.0ms

series103.0ms

simplify42.0ms

prune293.0ms

localize35.0ms

rewrite84.0ms

series163.0ms

simplify65.0ms

prune461.0ms

regimes585.0ms

bsearch2.5s

simplify1.0ms

end0.0ms

analyze1.7s

sample1.8s

Profiling