Details

sample136.0ms

Algorithm

intervals

Results

31.0ms	54×	body	5120	exit
28.0ms	44×	body	1280	valid
14.0ms	42×	body	640	valid
8.0ms	5×	body	2560	valid
8.0ms	120×	body	80	valid
7.0ms	27×	body	320	valid
4.0ms	93×	body	80	nan
2.0ms	18×	body	160	valid
2.0ms	10×	body	640	nan
1.0ms	2×	body	1280	nan
1.0ms	4×	body	320	nan
0.0ms	3×	body	160	nan

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	147	13
1	147	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: 12.1b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.1b	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
1.8b	(log (+ 1.0 (- (* y (exp z)) y)))
4.1b	(- (* y (exp z)) y)

rewrite25.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)

series67.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* y (exp z))
41.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
14.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
7.0ms	(- (* y (exp z)) y)

simplify51.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4994	1210
1	4994	1210

prune165.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.0b

Counts

91 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.1b	(* (log (+ 1.0 (- (* y (exp z)) y))) (/ 1 t))
1.8b	(log (+ 1.0 (- (* y (exp z)) y)))
4.1b	(- (* y (exp z)) y)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 82

Calls

4 calls:

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

series66.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* y (exp z))
40.0ms	(* (log (+ 1.0 (- (* y (exp z)) y))) (/ 1 t))
13.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
7.0ms	(- (* y (exp z)) y)

simplify52.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5046	1130

prune158.0ms

Filtered

68 candidates to 94 candidates (-38.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	93	9	102

Merged error: 4.0b

Counts

102 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
2.8b	(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
25.5b	(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

rewrite28.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)
10.0ms	(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
14.0ms	(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

series71.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt y)
23.0ms	(cbrt y)
16.0ms	(log (+ 1.0 (- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)))
10.0ms	(- (* (* (cbrt y) (cbrt y)) (* (exp z) (cbrt y))) y)

simplify63.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4956	530
1	4956	530

prune104.0ms

Filtered

46 candidates to 62 candidates (-34.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	62	9	71

Merged error: 4.0b

Counts

71 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ z (/ t z))
4.5b	(* y (/ z (/ t z)))
4.8b	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))
5.1b	(* y (/ z t))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

154×	`times-frac`
104×	`add-sqr-sqrt`
90×	`add-cube-cbrt` `*-un-lft-identity`
57×	`associate-r`
23×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/r*`
10×	`associate-*r/` `div-inv`
9×	`add-log-exp`
8×	`pow1`
7×	`cbrt-undiv` `div-exp`
6×	`associate-l`
5×	`prod-exp` `cbrt-unprod` `unswap-sqr`
4×	`frac-add`
3×	`sum-log` `associate-/l*`
2×	`flip3-+` `pow-prod-down` `associate-/r/` `*-commutative` `flip-+`
1×	`+-commutative` `associate-+r+` `frac-2neg` `clear-num`

Counts

4 → 184

Calls

4 calls:

6.0ms	(/ z (/ t z))
14.0ms	(* y (/ z (/ t z)))
13.0ms	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))
6.0ms	(* y (/ z t))

series38.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ z (/ t z))
8.0ms	(* y (/ z (/ t z)))
21.0ms	(+ (* 1.0 (* y (/ z t))) (+ (/ (log 1.0) t) (* 0.5 (* y (/ z (/ t z))))))
5.0ms	(* y (/ z t))

simplify57.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4982	2144
1	4982	2144

prune243.0ms

Filtered

148 candidates to 196 candidates (-32.4%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	191	5	196
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	192	13	205

Merged error: 4.0b

Counts

205 → 13

regimes584.0ms

Accuracy

59.6% (4.4b remaining)

Error of 8.3b against oracle of 3.9b and baseline of 14.8b

bsearch117.0ms

Steps

Iters	Range		Point
8	-1.699510576945074e-164	-2.488704115078035e-167	-1.6834174513617077e-164
9	-9420724207418956.0	-799189891.3074948	-811540702.7494895

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	65	71
1	65	71

end0.0ms

sample3.8s

Algorithm

intervals

Results

861.0ms	1520×	body	5120	exit
834.0ms	1426×	body	1280	valid
525.0ms	1568×	body	640	valid
254.0ms	3535×	body	80	valid
197.0ms	912×	body	320	valid
124.0ms	2597×	body	80	nan
114.0ms	86×	body	2560	valid
67.0ms	502×	body	160	valid
58.0ms	241×	body	640	nan
42.0ms	118×	body	1280	nan
28.0ms	171×	body	320	nan
12.0ms	113×	body	160	nan

Details

sample136.0ms

simplify6.0ms

prune10.0ms

localize13.0ms

rewrite25.0ms

series67.0ms

simplify51.0ms

prune165.0ms

localize11.0ms

rewrite25.0ms

series66.0ms

simplify52.0ms

prune158.0ms

localize26.0ms

rewrite28.0ms

series71.0ms

simplify63.0ms

prune104.0ms

localize16.0ms

rewrite51.0ms

series38.0ms

simplify57.0ms

prune243.0ms

regimes584.0ms

bsearch117.0ms

simplify1.0ms

end0.0ms

sample3.8s

Profiling