Details

analyze1.3s

Algorithm: search

sample99.0ms

Algorithm

intervals

Results

29.0ms	48×	body	1280	valid
15.0ms	46×	body	640	valid
12.0ms	108×	body	80	valid
9.0ms	6×	body	2560	valid
7.0ms	33×	body	320	valid
3.0ms	13×	body	640	nan
3.0ms	53×	body	80	nan
2.0ms	15×	body	160	valid
2.0ms	39×	body	80	overflowed
1.0ms	5×	body	320	nan
0.0ms	1×	body	1280	nan
0.0ms	2×	body	160	nan

simplify213.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: 24.5b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
1.0b	(log (+ (- 1.0 y) (* y (exp z))))
2.4b	(+ (- 1.0 y) (* y (exp z)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 80

Calls

4 calls:

5.0ms	(* y (exp z))
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)))

series67.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* y (exp z))
39.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)))

simplify49.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	452	795
1	1740	733
2	5002	726

prune154.0ms

Filtered

68 candidates to 92 candidates (-35.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	87	5	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	5	93

Merged error: 4.9b

Counts

93 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

4.1b	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.4b	(* (pow z 2) y)
6.4b	(/ (* z y) t)
6.9b	(/ (* (pow z 2) y) t)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-exp-log`
17×	`add-sqr-sqrt`
16×	`add-cbrt-cube`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`add-log-exp`
8×	`associate-l`
7×	`prod-exp`
6×	`times-frac` `div-exp` `associate-/r*`
4×	`pow1` `cbrt-undiv` `unpow-prod-down` `associate-*r/` `frac-add` `unswap-sqr`
3×	`associate-r` `sum-log` `cbrt-unprod`
2×	`pow-to-exp` `frac-2neg` `flip3-+` `pow-exp` `clear-num` `flip-+` `div-inv` `associate-/l*` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `*-commutative`

Counts

4 → 87

Calls

4 calls:

14.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.0ms	(* (pow z 2) y)
4.0ms	(/ (* z y) t)
6.0ms	(/ (* (pow z 2) y) t)

series31.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
4.0ms	(* (pow z 2) y)
5.0ms	(/ (* z y) t)
6.0ms	(/ (* (pow z 2) y) t)

simplify64.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	493	659
1	2291	586
2	5001	586

prune191.0ms

Filtered

66 candidates to 99 candidates (-50.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	93	6	99
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	94	10	104

Merged error: 2.9b

Counts

104 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

3.6b	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))
4.1b	(+ (* 1.0 (* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.4b	(* (pow z 2) y)
6.9b	(/ (* (pow z 2) y) t)

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
40×	`add-exp-log`
31×	`times-frac`
25×	`associate-r` `add-cbrt-cube`
24×	`add-cube-cbrt` `*-un-lft-identity`
16×	`associate-*r/`
15×	`associate-l`
14×	`prod-exp`
12×	`frac-add`
11×	`cbrt-prod` `div-exp`
10×	`cbrt-unprod` `unswap-sqr`
9×	`cbrt-undiv` `add-log-exp`
6×	`pow1`
4×	`frac-times` `unpow-prod-down` `flip3-+` `associate-*l/` `flip-+`
3×	`associate-/r*` `sum-log` `div-inv`
2×	`pow-to-exp` `pow-exp` `*-commutative` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `frac-2neg` `pow-prod-down` `clear-num` `associate-/l*`

Counts

4 → 131

Calls

4 calls:

14.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))
19.0ms	(+ (* 1.0 (* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.0ms	(* (pow z 2) y)
6.0ms	(/ (* (pow z 2) y) t)

series47.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))
27.0ms	(+ (* 1.0 (* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
4.0ms	(* (pow z 2) y)
6.0ms	(/ (* (pow z 2) y) t)

simplify128.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (113.0ms)

Iter	Nodes	Cost
0	930	1557
1	4803	1399
2	5001	1385

prune282.0ms

Filtered

106 candidates to 143 candidates (-34.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	143	10	153

Merged error: 2.9b

Counts

153 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

4.1b	(+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
4.3b	(/ z (/ t y))
6.4b	(* (pow z 2) y)
6.9b	(/ (* (pow z 2) y) t)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
57×	`add-sqr-sqrt`
51×	`add-cube-cbrt` `*-un-lft-identity`
24×	`add-exp-log`
16×	`associate-/r*` `add-cbrt-cube`
9×	`add-log-exp`
8×	`associate-l`
7×	`div-exp`
6×	`prod-exp` `div-inv`
5×	`cbrt-undiv`
4×	`pow1` `unpow-prod-down` `associate-r/` `frac-add` `associate-/l` `unswap-sqr`
3×	`associate-r` `sum-log`
2×	`pow-to-exp` `frac-2neg` `flip3-+` `pow-exp` `clear-num` `cbrt-unprod` `flip-+` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `associate-/r/` `*-commutative`

Counts

4 → 136

Calls

4 calls:

16.0ms	(+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.0ms	(/ z (/ t y))
5.0ms	(* (pow z 2) y)
6.0ms	(/ (* (pow z 2) y) t)

series33.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.0ms	(/ z (/ t y))
4.0ms	(* (pow z 2) y)
6.0ms	(/ (* (pow z 2) y) t)

simplify91.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	724	1020
1	3523	933
2	5001	933

prune231.0ms

Filtered

113 candidates to 148 candidates (-31.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	147	1	148
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	149	9	158

Merged error: 2.9b

Counts

158 → 9

regimes888.0ms

Accuracy

71.8% (4.7b remaining)

Error of 8.4b against oracle of 3.7b and baseline of 20.3b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	34
1	45	34

end0.0ms

analyze1.1s

Algorithm: search

sample2.7s

Algorithm

intervals

Results

872.0ms	1469×	body	1280	valid
542.0ms	1563×	body	640	valid
257.0ms	3460×	body	80	valid
202.0ms	884×	body	320	valid
142.0ms	104×	body	2560	valid
75.0ms	520×	body	160	valid
72.0ms	1475×	body	80	nan
66.0ms	260×	body	640	nan
46.0ms	849×	body	80	overflowed
38.0ms	107×	body	1280	nan
34.0ms	201×	body	320	nan
11.0ms	98×	body	160	nan
1.0ms	15×	body	80	invalid
0.0ms	1×	body	640	invalid

Details

analyze1.3s

sample99.0ms

simplify213.0ms

prune4.0ms

localize10.0ms

rewrite26.0ms

series67.0ms

simplify49.0ms

prune154.0ms

localize16.0ms

rewrite31.0ms

series31.0ms

simplify64.0ms

prune191.0ms

localize21.0ms

rewrite49.0ms

series47.0ms

simplify128.0ms

prune282.0ms

localize16.0ms

rewrite37.0ms

series33.0ms

simplify91.0ms

prune231.0ms

regimes888.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

analyze1.1s

sample2.7s

Profiling