Details

analyze1.0s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	74.7%	25.3%	8
0%	74.7%	25.3%	9
0%	65.4%	34.6%	10
0%	51.4%	48.6%	11
0%	51.4%	48.6%	12
0%	51.4%	48.6%	13
0%	51.4%	48.6%	14

sample82.0ms

Algorithm

intervals

Results

25.0ms	256×	body	80	valid
20.0ms	290×	body	80	nan
3.0ms	38×	body	80	invalid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5178	21

prune18.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x (log y)) (+ z (+ t (+ a (+ (* (- b 0.5) (log c)) (* y i))))))
0.0b	(+ (* (- b 0.5) (log c)) (* y i))
0.1b	(* (- b 0.5) (log c))
0.3b	(* x (log y))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-log-exp`
24×	`log-prod`
22×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
16×	`add-cube-cbrt` `sum-log`
12×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
10×	`pow1`
8×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
2×	`+-commutative` `flip3-+` `pow-prod-down` `associate-l/` `prod-exp` `log-pow` `-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`associate-+r+` `flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 93

Calls

4 calls:

16.0ms	(+ (* x (log y)) (+ z (+ t (+ a (+ (* (- b 0.5) (log c)) (* y i))))))
8.0ms	(+ (* (- b 0.5) (log c)) (* y i))
7.0ms	(* (- b 0.5) (log c))
4.0ms	(* x (log y))

series215.0ms

Counts

4 → 12

Calls

4 calls:

171.0ms	(+ (* x (log y)) (+ z (+ t (+ a (+ (* (- b 0.5) (log c)) (* y i))))))
27.0ms	(+ (* (- b 0.5) (log c)) (* y i))
9.0ms	(* (- b 0.5) (log c))
7.0ms	(* x (log y))

simplify48.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5410	1314

prune195.0ms

Filtered

74 candidates to 105 candidates (-41.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	98	7	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	7	106

Merged error: 0.0b

Counts

106 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log y))
0.3b	(+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (cbrt c))))
0.6b	(cbrt c)
0.6b	(cbrt c)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

18×	`log-prod`
16×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`cbrt-prod` `associate-+r+`
9×	`distribute-rgt-in` `distribute-lft-in`
8×	`associate-*l/`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`flip3--` `associate-r` `frac-add` `flip--`
3×	`associate-l`
2×	`pow1/3`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 75

Calls

4 calls:

4.0ms	(* x (log y))
12.0ms	(+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (cbrt c))))
1.0ms	(cbrt c)
1.0ms	(cbrt c)

series86.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* x (log y))
35.0ms	(+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (cbrt c))))
21.0ms	(cbrt c)
23.0ms	(cbrt c)

simplify57.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4926	736
1	4926	736

prune173.0ms

Filtered

61 candidates to 87 candidates (-42.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	87	7	94

Merged error: 0.0b

Counts

94 → 7

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log y))
0.3b	(+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (pow c 1/3))))
0.6b	(cbrt c)
5.0b	(pow c 1/3)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

20×	`log-prod`
17×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
14×	`associate-+r+`
10×	`distribute-rgt-in` `distribute-lft-in`
9×	`unpow-prod-down`
8×	`pow1` `associate-*l/`
7×	`add-exp-log`
6×	`add-cbrt-cube` `add-log-exp`
4×	`flip3--` `associate-r` `frac-add` `flip--`
3×	`cbrt-prod` `pow-unpow` `associate-l` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `flip3-+` `unpow1/3` `pow1/3` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 84

Calls

4 calls:

4.0ms	(* x (log y))
12.0ms	(+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (pow c 1/3))))
1.0ms	(cbrt c)
2.0ms	(pow c 1/3)

series95.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* x (log y))
46.0ms	(+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (pow c 1/3))))
21.0ms	(cbrt c)
22.0ms	(pow c 1/3)

simplify35.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	4961	760
1	4961	760

prune198.0ms

Filtered

68 candidates to 96 candidates (-41.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	96	7	103

Merged error: 0.0b

Counts

103 → 7

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (/ -1 c))
0.3b	(* x (log y))
0.3b	(* (log (* (cbrt (/ 1 (/ -1 c))) (cbrt -1))) (- (* b 3) 1.5))
0.6b	(cbrt (/ 1 (/ -1 c)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

141×	`times-frac`
91×	`add-sqr-sqrt`
87×	`add-cube-cbrt` `*-un-lft-identity`
44×	`cbrt-prod`
19×	`add-exp-log`
13×	`pow1` `associate-/r*` `add-cbrt-cube`
9×	`associate-l` `div-inv`
7×	`div-exp` `associate-r`
6×	`log-prod`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `log-pow` `add-log-exp`
3×	`cbrt-undiv` `pow1/3` `associate-/l*`
2×	`sub-neg` `rec-exp` `1-exp` `associate-r/` `prod-exp` `associate-/r/` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-div` `flip3--` `pow-flip` `frac-2neg` `clear-num` `flip--` `inv-pow`

Counts

4 → 179

Calls

4 calls:

6.0ms	(/ 1 (/ -1 c))
4.0ms	(* x (log y))
16.0ms	(* (log (* (cbrt (/ 1 (/ -1 c))) (cbrt -1))) (- (* b 3) 1.5))
6.0ms	(cbrt (/ 1 (/ -1 c)))

series86.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 1 (/ -1 c))
7.0ms	(* x (log y))
53.0ms	(* (log (* (cbrt (/ 1 (/ -1 c))) (cbrt -1))) (- (* b 3) 1.5))
23.0ms	(cbrt (/ 1 (/ -1 c)))

simplify119.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	4938	1312
1	4938	1312

prune237.0ms

Filtered

88 candidates to 191 candidates (-117.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	191	7	198

Merged error: 0.0b

Counts

198 → 7

regimes1.5s

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	114	33
1	114	33

end0.0ms

sample2.3s

Algorithm

intervals

Results

706.0ms	9775×	body	80	nan
671.0ms	7993×	body	80	valid
99.0ms	1202×	body	80	invalid
1.0ms	3×	body	640	valid
1.0ms	3×	body	320	valid
0.0ms	1×	body	160	valid

Details

analyze1.0s

sample82.0ms

simplify41.0ms

prune18.0ms

localize17.0ms

rewrite38.0ms

series215.0ms

simplify48.0ms

prune195.0ms

localize24.0ms

rewrite21.0ms

series86.0ms

simplify57.0ms

prune173.0ms

localize31.0ms

rewrite22.0ms

series95.0ms

simplify35.0ms

prune198.0ms

localize29.0ms

rewrite40.0ms

series86.0ms

simplify119.0ms

prune237.0ms

regimes1.5s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.3s

Profiling