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

sample112.0ms

Algorithm

intervals

Results

23.0ms

256×

body

valid

simplify32.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5545	33

prune19.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.8b

Counts

2 → 2

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b	(* z (sqrt (+ t a)))
0.3b	(/ 2.0 (* t 3.0))
2.4b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
6.2b	(/ (* z (sqrt (+ t a))) t)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

7.0ms	(* z (sqrt (+ t a)))
4.0ms	(/ 2.0 (* t 3.0))
13.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
8.0ms	(/ (* z (sqrt (+ t a))) t)

series86.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(* z (sqrt (+ t a)))
2.0ms	(/ 2.0 (* t 3.0))
54.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
17.0ms	(/ (* z (sqrt (+ t a))) t)

simplify55.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4965	2272
1	4965	2272

prune220.0ms

Filtered

87 candidates to 110 candidates (-26.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	107	3	110
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	109	3	112

Merged error: 0.8b

Counts

112 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
0.2b	(* z (sqrt (+ t a)))
2.4b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
6.2b	(/ (* z (sqrt (+ t a))) t)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 119

Calls

4 calls:

18.0ms	(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
7.0ms	(* z (sqrt (+ t a)))
14.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
7.0ms	(/ (* z (sqrt (+ t a))) t)

series97.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
13.0ms	(* z (sqrt (+ t a)))
50.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
19.0ms	(/ (* z (sqrt (+ t a))) t)

simplify61.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4985	2951
1	4985	2951

prune252.0ms

Filtered

105 candidates to 131 candidates (-24.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	131	3	134

Merged error: 0.8b

Counts

134 → 3

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b	(* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))
0.0b	(* c (+ a 0.8333333333333334))
1.4b	(- (* c (+ a 0.8333333333333334)) (* a b))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

13×	`associate-r`
11×	`add-sqr-sqrt`
9×	`*-un-lft-identity`
7×	`pow1` `distribute-rgt-in` `add-cube-cbrt` `distribute-lft-in` `add-cbrt-cube`
6×	`add-exp-log` `associate-l` `exp-sum` `associate--l+`
5×	`add-log-exp`
3×	`sub-neg`
2×	`associate-r/` `pow-prod-down` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`flip3--` `flip3-+` `diff-log` `flip--` `flip-+` `distribute-lft-out`

Counts

3 → 60

Calls

3 calls:

8.0ms	(* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))
6.0ms	(* c (+ a 0.8333333333333334))
6.0ms	(- (* c (+ a 0.8333333333333334)) (* a b))

series38.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))
5.0ms	(* c (+ a 0.8333333333333334))
8.0ms	(- (* c (+ a 0.8333333333333334)) (* a b))

simplify43.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5173	737

prune118.0ms

Filtered

52 candidates to 69 candidates (-32.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	67	5	72

Merged error: 0.3b

Counts

72 → 5

localize36.0ms

Local error

Found 4 expressions with local error:

5.5b	(* t (* (- b c) (- (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))) (* 2.0 (- a (/ 5.0 6.0))))))
6.1b	(* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0))))))
7.7b	(- (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))) (* 2.0 (- a (/ 5.0 6.0)))))))
26.0b	(/ (- (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))) (* 2.0 (- a (/ 5.0 6.0))))))) (* t (* t (* 3.0 (- a (/ 5.0 6.0))))))

rewrite233.0ms

Algorithm

rewrite-expression-head

Rules

1962×	`associate-*r/`
524×	`frac-sub`
500×	`flip3--` `flip--`
368×	`frac-times`
246×	`sqrt-div`
162×	`associate-/l/`
136×	`distribute-rgt-in` `distribute-lft-in`
123×	`flip3-+` `flip-+`
116×	`associate-*l/`
73×	`sub-neg`
48×	`associate--l+`
37×	`add-exp-log` `add-cbrt-cube`
23×	`pow1`
20×	`associate--r+`
19×	`prod-exp` `cbrt-unprod`
13×	`pow-prod-down`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l` `add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`times-frac` `associate-/l*`
2×	`associate-r` `associate-/r/` `*-commutative`
1×	`frac-2neg` `diff-log` `div-sub` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 503

Calls

4 calls:

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

series498.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* t (* (- b c) (- (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))) (* 2.0 (- a (/ 5.0 6.0))))))
22.0ms	(* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0))))))
171.0ms	(- (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))) (* 2.0 (- a (/ 5.0 6.0)))))))
258.0ms	(/ (- (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))) (* 2.0 (- a (/ 5.0 6.0))))))) (* t (* t (* 3.0 (- a (/ 5.0 6.0))))))

simplify237.0ms

Algorithm

egg-herbie

Counts

515 → 515

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5271	45036

prune10.4s

Filtered

456 candidates to 515 candidates (-12.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	514	1	515
Fresh	2	0	2
Picked	0	1	1
Done	0	2	2
Total	516	4	520

Merged error: 0.0b

Counts

520 → 4

regimes702.0ms

Accuracy

0% (3.3b remaining)

Error of 3.7b against oracle of 0.4b and baseline of 3.7b

bsearch0.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	286	31
1	286	31

end0.0ms

sample3.0s

Algorithm

intervals

Results

739.0ms

8000×

body

valid

Details

analyze1.8s

sample112.0ms

simplify32.0ms

prune19.0ms

localize27.0ms

rewrite36.0ms

series86.0ms

simplify55.0ms

prune220.0ms

localize22.0ms

rewrite51.0ms

series97.0ms

simplify61.0ms

prune252.0ms

localize17.0ms

rewrite22.0ms

series38.0ms

simplify43.0ms

prune118.0ms

localize36.0ms

rewrite233.0ms

series498.0ms

simplify237.0ms

prune10.4s

regimes702.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample3.0s

Profiling