Details

sample60.0ms

Algorithm

intervals

Results

25.0ms

416×

body

valid

simplify84.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5480	17

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

Counts

2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (* 9.0 y))
0.2b	(- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a)))
2.5b	(/ (+ (* x (* 9.0 y)) b) z)
9.8b	(/ (- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a))) c)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
13×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
6×	`associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/l/`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip--` `div-inv`
1×	`sub-neg` `flip3-+` `diff-log` `div-sub` `associate-r` `*-commutative` `flip-+`

Counts

4 → 89

Calls

4 calls:

5.0ms	(* x (* 9.0 y))
10.0ms	(- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a)))
8.0ms	(/ (+ (* x (* 9.0 y)) b) z)
12.0ms	(/ (- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a))) c)

series96.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* x (* 9.0 y))
36.0ms	(- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a)))
13.0ms	(/ (+ (* x (* 9.0 y)) b) z)
44.0ms	(/ (- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a))) c)

simplify36.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5151	1630

prune218.0ms

Filtered

75 candidates to 101 candidates (-34.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	88	13	101
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	89	14	103

Merged error: 0.0b

Counts

103 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (+ (* 9.0 (* y (/ x z))) (/ b z)) (* 4.0 (* t a)))
0.2b	(* 9.0 (* y (/ x z)))
5.6b	(* y (/ x z))
9.8b	(/ (- (+ (* 9.0 (* y (/ x z))) (/ b z)) (* 4.0 (* t a))) c)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
20×	`add-exp-log` `add-cbrt-cube`
19×	`times-frac`
14×	`associate-r`
11×	`pow1`
9×	`add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`associate-l`
4×	`pow-prod-down`
3×	`cbrt-undiv` `associate-r/` `div-exp` `associate-/r` `associate-/l*`
2×	`flip3--` `diff-log` `*-commutative` `flip--` `div-inv` `associate-/l/` `unswap-sqr`
1×	`sub-neg` `frac-2neg` `div-sub` `associate--l+` `clear-num` `sum-log`

Counts

4 → 97

Calls

4 calls:

11.0ms	(- (+ (* 9.0 (* y (/ x z))) (/ b z)) (* 4.0 (* t a)))
6.0ms	(* 9.0 (* y (/ x z)))
7.0ms	(* y (/ x z))
12.0ms	(/ (- (+ (* 9.0 (* y (/ x z))) (/ b z)) (* 4.0 (* t a))) c)

series92.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- (+ (* 9.0 (* y (/ x z))) (/ b z)) (* 4.0 (* t a)))
6.0ms	(* 9.0 (* y (/ x z)))
5.0ms	(* y (/ x z))
45.0ms	(/ (- (+ (* 9.0 (* y (/ x z))) (/ b z)) (* 4.0 (* t a))) c)

simplify32.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5299	1624

prune187.0ms

Filtered

76 candidates to 109 candidates (-43.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	6	7	13
Picked	1	0	1
Done	0	0	0
Total	110	13	123

Merged error: 0.0b

Counts

123 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* 9.0 y) (/ x z)) (/ b z))
0.2b	(- (+ (* (* 9.0 y) (/ x z)) (/ b z)) (* 4.0 (* t a)))
5.6b	(* (* 9.0 y) (/ x z))
9.8b	(/ (- (+ (* (* 9.0 y) (/ x z)) (/ b z)) (* 4.0 (* t a))) c)

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`add-exp-log` `times-frac` `add-cbrt-cube`
13×	`associate-r`
11×	`add-log-exp`
9×	`pow1`
6×	`prod-exp` `cbrt-unprod`
3×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/r` `associate-/l`
2×	`flip3--` `diff-log` `associate-*r/` `sum-log` `flip--` `div-inv` `associate-/l/`
1×	`+-commutative` `sub-neg` `frac-2neg` `flip3-+` `div-sub` `associate-l` `frac-add` `associate--l+` `clear-num` `*-commutative` `flip-+`

Counts

4 → 89

Calls

4 calls:

9.0ms	(+ (* (* 9.0 y) (/ x z)) (/ b z))
11.0ms	(- (+ (* (* 9.0 y) (/ x z)) (/ b z)) (* 4.0 (* t a)))
7.0ms	(* (* 9.0 y) (/ x z))
13.0ms	(/ (- (+ (* (* 9.0 y) (/ x z)) (/ b z)) (* 4.0 (* t a))) c)

series97.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(+ (* (* 9.0 y) (/ x z)) (/ b z))
36.0ms	(- (+ (* (* 9.0 y) (/ x z)) (/ b z)) (* 4.0 (* t a)))
6.0ms	(* (* 9.0 y) (/ x z))
44.0ms	(/ (- (+ (* (* 9.0 y) (/ x z)) (/ b z)) (* 4.0 (* t a))) c)

simplify29.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5135	1731

prune160.0ms

Filtered

70 candidates to 101 candidates (-44.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	101	13	114

Merged error: 0.0b

Counts

114 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (/ b z) (* 4.0 (* t a)))
0.3b	(/ 1 (/ c (+ (* 9.0 (* y (/ x z))) (- (/ b z) (* 4.0 (* t a))))))
5.6b	(* y (/ x z))
9.8b	(/ c (+ (* 9.0 (* y (/ x z))) (- (/ b z) (* 4.0 (* t a)))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

106×	`times-frac`
71×	`add-sqr-sqrt`
66×	`add-cube-cbrt` `*-un-lft-identity`
22×	`add-exp-log`
21×	`associate-*r/` `associate-/r/`
20×	`associate-/r*`
16×	`add-cbrt-cube`
13×	`associate-r`
10×	`frac-add`
9×	`div-exp`
7×	`pow1` `div-inv`
6×	`flip3--` `flip--` `associate-/l*` `add-log-exp`
5×	`cbrt-undiv` `flip3-+` `flip-+`
3×	`associate-l`
2×	`rec-exp` `frac-2neg` `1-exp` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `pow-flip` `diff-log` `pow-prod-down` `*-commutative` `inv-pow`

Counts

4 → 167

Calls

4 calls:

6.0ms	(- (/ b z) (* 4.0 (* t a)))
17.0ms	(/ 1 (/ c (+ (* 9.0 (* y (/ x z))) (- (/ b z) (* 4.0 (* t a))))))
7.0ms	(* y (/ x z))
13.0ms	(/ c (+ (* 9.0 (* y (/ x z))) (- (/ b z) (* 4.0 (* t a)))))

series137.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(- (/ b z) (* 4.0 (* t a)))
82.0ms	(/ 1 (/ c (+ (* 9.0 (* y (/ x z))) (- (/ b z) (* 4.0 (* t a))))))
5.0ms	(* y (/ x z))
36.0ms	(/ c (+ (* 9.0 (* y (/ x z))) (- (/ b z) (* 4.0 (* t a)))))

simplify68.0ms

Algorithm

egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4983	4702
1	4983	4702

prune222.0ms

Filtered

120 candidates to 179 candidates (-49.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	178	1	179
Fresh	2	9	11
Picked	0	1	1
Done	0	1	1
Total	180	12	192

Merged error: 0.0b

Counts

192 → 12

regimes1.5s

Accuracy

64.5% (4.6b remaining)

Error of 4.6b against oracle of 0.1b and baseline of 12.9b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	73	187
1	73	187

end0.0ms

sample1.7s

Algorithm

intervals

Results

758.0ms

12762×

body

valid

Details

sample60.0ms

simplify84.0ms

prune18.0ms

localize13.0ms

rewrite37.0ms

series96.0ms

simplify36.0ms

prune218.0ms

localize18.0ms

rewrite39.0ms

series92.0ms

simplify32.0ms

prune187.0ms

localize14.0ms

rewrite43.0ms

series97.0ms

simplify29.0ms

prune160.0ms

localize18.0ms

rewrite50.0ms

series137.0ms

simplify68.0ms

prune222.0ms

regimes1.5s

bsearch1.0ms

simplify2.0ms

end0.0ms

sample1.7s

Profiling