Details

sample109.0ms

Algorithm

intervals

Results

35.0ms	49×	body	1280	valid
22.0ms	63×	body	640	valid
7.0ms	109×	body	80	valid
6.0ms	25×	body	320	valid
4.0ms	88×	body	80	nan
3.0ms	53×	body	80	overflowed
3.0ms	1×	body	2560	valid
2.0ms	11×	body	640	nan
1.0ms	11×	body	160	valid
1.0ms	3×	body	1280	nan
1.0ms	4×	body	320	nan
0.0ms	3×	body	160	nan

simplify221.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (220.0ms)

Iter	Nodes	Cost
0	3730	13
1	3730	13

prune10.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: 15.7b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

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

series68.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* y (exp z))
39.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
16.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
8.0ms	(- (* y (exp z)) y)

simplify52.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5135	1210

prune222.0ms

Filtered

69 candidates to 90 candidates (-30.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	82	8	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	8	91

Merged error: 4.7b

Counts

91 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
2.3b	(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
25.6b	(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity`
8×	`add-cube-cbrt`
7×	`add-sqr-sqrt`
6×	`cbrt-prod` `add-log-exp`
5×	`pow1` `add-exp-log`
4×	`log-prod` `add-cbrt-cube`
2×	`log-div` `pow1/3`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `rem-log-exp` `log-pow` `flip--` `flip-+` `distribute-lft-out` `distribute-lft-out--`

Counts

4 → 50

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
11.0ms	(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
11.0ms	(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

series73.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt y)
22.0ms	(cbrt y)
16.0ms	(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
11.0ms	(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

simplify49.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4934	529
1	4934	529

prune106.0ms

Filtered

46 candidates to 62 candidates (-34.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	62	8	70

Merged error: 4.7b

Counts

70 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

3.3b	(- (* y (exp z)) y)
3.3b	(- (* y (exp z)) y)
4.7b	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
5.3b	(log (+ (pow (- (* y (exp z)) y) 3) (pow 1.0 3)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity`
12×	`log-prod`
8×	`add-log-exp`
6×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt`
5×	`distribute-lft-out`
4×	`unpow-prod-down` `log-div` `cube-prod` `add-cbrt-cube`
2×	`sub-neg` `flip3--` `flip3-+` `diff-log` `rem-log-exp` `log-pow` `flip--` `flip-+`
1×	`sum-cubes`

Counts

4 → 58

Calls

4 calls:

5.0ms	(- (* y (exp z)) y)
5.0ms	(- (* y (exp z)) y)
4.0ms	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
15.0ms	(log (+ (pow (- (* y (exp z)) y) 3) (pow 1.0 3)))

series141.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- (* y (exp z)) y)
7.0ms	(- (* y (exp z)) y)
61.0ms	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
66.0ms	(log (+ (pow (- (* y (exp z)) y) 3) (pow 1.0 3)))

simplify26.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	4989	1373
1	4989	1373

prune198.0ms

Filtered

53 candidates to 70 candidates (-32.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	69	9	78

Merged error: 4.7b

Counts

78 → 9

localize32.0ms

Local error

Found 4 expressions with local error:

4.7b	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
4.7b	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
4.7b	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
5.3b	(log (+ (pow (- (* y (exp z)) y) 3) (pow 1.0 3)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

18×	`log-prod` `*-un-lft-identity`
8×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `log-div`
5×	`distribute-lft-out`
4×	`unpow-prod-down` `flip3-+` `cube-prod` `rem-log-exp` `log-pow` `add-cbrt-cube` `flip-+` `add-log-exp`
1×	`sum-cubes`

Counts

4 → 62

Calls

4 calls:

4.0ms	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
4.0ms	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
4.0ms	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
16.0ms	(log (+ (pow (- (* y (exp z)) y) 3) (pow 1.0 3)))

series254.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
63.0ms	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
61.0ms	(log (+ (* 1.0 1.0) (* (- (* y (exp z)) y) (- (* y (exp z)) (+ y 1.0)))))
66.0ms	(log (+ (pow (- (* y (exp z)) y) 3) (pow 1.0 3)))

simplify63.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4976	2373
1	4976	2373

prune321.0ms

Filtered

57 candidates to 74 candidates (-29.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	74	9	83

Merged error: 4.7b

Counts

83 → 9

regimes590.0ms

Accuracy

72.5% (4.4b remaining)

Error of 8.5b against oracle of 4.1b and baseline of 20.1b

bsearch60.0ms

Steps

Iters	Range		Point
10	-6.518225443590484e+17	-489.21074936897315	-495.4882184164917

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	172	48
1	172	48

end0.0ms

sample3.0s

Algorithm

intervals

Results

863.0ms	1491×	body	1280	valid
542.0ms	1606×	body	640	valid
238.0ms	3450×	body	80	valid
195.0ms	920×	body	320	valid
117.0ms	2547×	body	80	nan
111.0ms	86×	body	2560	valid
84.0ms	1593×	body	80	overflowed
64.0ms	275×	body	640	nan
63.0ms	480×	body	160	valid
37.0ms	110×	body	1280	nan
26.0ms	165×	body	320	nan
11.0ms	104×	body	160	nan

Details

sample109.0ms

simplify221.0ms

prune10.0ms

localize10.0ms

rewrite26.0ms

series68.0ms

simplify52.0ms

prune222.0ms

localize17.0ms

rewrite26.0ms

series73.0ms

simplify49.0ms

prune106.0ms

localize21.0ms

rewrite30.0ms

series141.0ms

simplify26.0ms

prune198.0ms

localize32.0ms

rewrite29.0ms

series254.0ms

simplify63.0ms

prune321.0ms

regimes590.0ms

bsearch60.0ms

simplify3.0ms

end0.0ms

sample3.0s

Profiling