Details

analyze1.1s

Algorithm: search

sample89.0ms

Algorithm

intervals

Results

23.0ms	41×	body	1280	valid
13.0ms	39×	body	640	valid
12.0ms	109×	body	80	valid
9.0ms	40×	body	320	valid
6.0ms	4×	body	2560	valid
3.0ms	23×	body	160	valid
2.0ms	40×	body	80	nan
1.0ms	5×	body	640	nan
1.0ms	7×	body	320	nan
1.0ms	22×	body	80	overflowed
1.0ms	2×	body	1280	nan
0.0ms	3×	body	160	nan
0.0ms	1×	body	80	invalid

simplify214.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	7
1	33	7
2	49	7
3	71	7
4	93	7
5	180	7
6	232	7
7	411	7
8	628	7
9	935	7
10	1028	7
11	1354	7
12	3968	7
13	5002	7

prune4.0ms

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
0.1b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.1b	(log (+ (- 1.0 y) (* y (exp z))))
3.4b	(+ (- 1.0 y) (* y (exp z)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
13×	`times-frac`
11×	`add-log-exp`
9×	`pow1`
7×	`add-exp-log`
6×	`log-div` `add-cbrt-cube`
5×	`log-pow`
4×	`flip3-+` `div-sub` `flip-+` `associate-/l*`
3×	`log-prod` `associate-/r*`
2×	`sub-neg` `associate-+l+` `diff-log` `sum-log` `associate--r-` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3--` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `flip--` `div-inv` `distribute-lft-out--`

Counts

4 → 79

Calls

4 calls:

7.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
8.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
5.0ms	(log (+ (- 1.0 y) (* y (exp z))))
6.0ms	(+ (- 1.0 y) (* y (exp z)))

series84.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
38.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
16.0ms	(log (+ (- 1.0 y) (* y (exp z))))
7.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify43.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	473	933
1	1595	875
2	5002	868

prune197.0ms

Filtered

70 candidates to 91 candidates (-30.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	79	12	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	12	92

Merged error: 4.5b

Counts

92 → 12

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
4.9b	(/ (* z y) t)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`add-cube-cbrt`
3×	`times-frac` `associate-/r*`
2×	`pow1` `cbrt-undiv` `diff-log` `div-exp`
1×	`sub-neg` `flip3--` `frac-2neg` `prod-exp` `clear-num` `sum-log` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

9.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
4.0ms	(/ (* z y) t)

series24.0ms

Counts

2 → 6

Calls

2 calls:

19.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
5.0ms	(/ (* z y) t)

simplify80.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	204	286
1	812	256
2	3760	256
3	5001	256

prune131.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	37	6	43
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	37	18	55

Merged error: 3.6b

Counts

55 → 18

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)
3.7b	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
28×	`times-frac`
25×	`add-exp-log`
22×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
20×	`cbrt-prod`
18×	`add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `unswap-sqr`
4×	`add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 92

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)
14.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

series77.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt t)
22.0ms	(cbrt t)
24.0ms	(cbrt t)
10.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

simplify52.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	440	756
1	2120	661
2	5002	598

prune205.0ms

Filtered

77 candidates to 104 candidates (-35.1%)

Pruning

21 alts after pruning (19 fresh and 2 done)

	Pruned	Kept	Total
New	100	4	104
Fresh	1	15	16
Picked	0	1	1
Done	0	1	1
Total	101	21	122

Merged error: 3.6b

Counts

122 → 21

localize19.0ms

Local error

Found 4 expressions with local error:

2.1b	(* (/ z (* (cbrt t) (cbrt t))) (* (cbrt (/ y (cbrt t))) (cbrt (/ y (cbrt t)))))
5.5b	(cbrt (/ y (cbrt t)))
5.5b	(cbrt (/ y (cbrt t)))
5.5b	(cbrt (/ y (cbrt t)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

93×	`cbrt-prod`
58×	`times-frac`
47×	`add-sqr-sqrt`
45×	`add-cube-cbrt` `*-un-lft-identity`
25×	`add-exp-log`
15×	`add-cbrt-cube`
11×	`cbrt-div` `prod-exp` `cbrt-unprod`
9×	`pow1`
7×	`associate-l`
5×	`frac-times` `associate-*r/`
4×	`cbrt-undiv` `div-exp` `div-inv` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `associate-*l/`
2×	`unswap-sqr`
1×	`associate-r` `*-commutative`

Counts

4 → 132

Calls

4 calls:

17.0ms	(* (/ z (* (cbrt t) (cbrt t))) (* (cbrt (/ y (cbrt t))) (cbrt (/ y (cbrt t)))))
3.0ms	(cbrt (/ y (cbrt t)))
3.0ms	(cbrt (/ y (cbrt t)))
3.0ms	(cbrt (/ y (cbrt t)))

series133.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(* (/ z (* (cbrt t) (cbrt t))) (* (cbrt (/ y (cbrt t))) (cbrt (/ y (cbrt t)))))
27.0ms	(cbrt (/ y (cbrt t)))
27.0ms	(cbrt (/ y (cbrt t)))
28.0ms	(cbrt (/ y (cbrt t)))

simplify53.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	527	1473
1	1668	1319
2	5002	1249

prune205.0ms

Filtered

117 candidates to 144 candidates (-23.1%)

Pruning

21 alts after pruning (18 fresh and 3 done)

	Pruned	Kept	Total
New	141	3	144
Fresh	3	15	18
Picked	0	1	1
Done	0	2	2
Total	144	21	165

Merged error: 3.6b

Counts

165 → 21

regimes1.8s

Accuracy

63.8% (4.9b remaining)

Error of 9.0b against oracle of 4.1b and baseline of 17.6b

bsearch2.4s

Steps

Iters	Range		Point
9	-5.271147643626195e-61	-1.6979245621927612e-67	-2.5002365555219685e-64
8	-1530.261291765259	-2.2136024138448303	-2.2502727051956786

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	28
1	51	28

end0.0ms

analyze1.1s

Algorithm: search

sample2.7s

Algorithm

intervals

Results

849.0ms	1416×	body	1280	valid
538.0ms	1551×	body	640	valid
250.0ms	3494×	body	80	valid
206.0ms	932×	body	320	valid
131.0ms	97×	body	2560	valid
72.0ms	1520×	body	80	nan
69.0ms	510×	body	160	valid
64.0ms	258×	body	640	nan
49.0ms	871×	body	80	overflowed
40.0ms	115×	body	1280	nan
31.0ms	189×	body	320	nan
14.0ms	133×	body	160	nan
1.0ms	20×	body	80	invalid
0.0ms	2×	body	320	invalid
0.0ms	1×	body	640	invalid

Details

analyze1.1s

sample89.0ms

simplify214.0ms

prune4.0ms

localize10.0ms

rewrite28.0ms

series84.0ms

simplify43.0ms

prune197.0ms

localize9.0ms

rewrite15.0ms

series24.0ms

simplify80.0ms

prune131.0ms

localize13.0ms

rewrite21.0ms

series77.0ms

simplify52.0ms

prune205.0ms

localize19.0ms

rewrite34.0ms

series133.0ms

simplify53.0ms

prune205.0ms

regimes1.8s

bsearch2.4s

simplify2.0ms

end0.0ms

analyze1.1s

sample2.7s

Profiling