Details

analyze557.0ms

Algorithm: search

sample65.0ms

Algorithm

intervals

Results

25.0ms	51×	body	1280	valid
13.0ms	45×	body	640	valid
7.0ms	129×	body	80	valid
4.0ms	22×	body	320	valid
2.0ms	6×	body	640	invalid
1.0ms	9×	body	160	valid
1.0ms	5×	body	320	invalid
1.0ms	2×	body	1280	invalid
0.0ms	5×	body	80	invalid
0.0ms	1×	body	160	invalid
0.0ms	2×	body	80	nan

simplify111.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (7.0ms)

Iter	Nodes	Cost
0	15	6
1	24	6
2	51	6
3	106	6
4	304	4
5	774	4
6	4142	4
7	5001	4

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 12.1b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* x (log (/ x (+ x y)))))
0.0b	(/ x (+ x y))
0.1b	(* x (log (/ x (+ x y))))
7.7b	(log (/ x (+ x y)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

93×	`*-un-lft-identity`
90×	`log-prod`
72×	`times-frac`
57×	`add-sqr-sqrt`
55×	`add-cube-cbrt`
36×	`distribute-rgt-in` `distribute-lft-in` `exp-sum`
19×	`distribute-lft-out`
12×	`associate-/r/`
11×	`add-exp-log`
8×	`pow1` `add-cbrt-cube`
6×	`flip3-+` `flip-+` `div-inv` `add-log-exp`
4×	`associate-r` `associate-/r*`
3×	`associate-l` `associate-/l*`
2×	`div-exp` `rem-log-exp` `log-pow`
1×	`cbrt-undiv` `log-div` `exp-prod` `exp-to-pow` `frac-2neg` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `rem-exp-log` `unswap-sqr`

Counts

4 → 163

Calls

4 calls:

10.0ms	(exp (* x (log (/ x (+ x y)))))
5.0ms	(/ x (+ x y))
8.0ms	(* x (log (/ x (+ x y))))
4.0ms	(log (/ x (+ x y)))

series46.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(exp (* x (log (/ x (+ x y)))))
5.0ms	(/ x (+ x y))
13.0ms	(* x (log (/ x (+ x y))))
11.0ms	(log (/ x (+ x y)))

simplify76.0ms

Algorithm

egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	666	1354
1	2764	1249
2	5002	1238

prune192.0ms

Filtered

100 candidates to 175 candidates (-75.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	169	6	175
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	170	6	176

Merged error: 1.2b

Counts

176 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (+ x y))
0.1b	(pow (exp x) (log (/ x (+ x y))))
7.7b	(log (/ x (+ x y)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

51×	`*-un-lft-identity`
36×	`log-prod` `times-frac`
31×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`unpow-prod-up`
10×	`distribute-lft-out`
8×	`add-exp-log`
6×	`pow1` `associate-/r/`
5×	`add-cbrt-cube`
4×	`pow-unpow` `pow-pow` `associate-/r*`
3×	`unpow-prod-down` `exp-prod` `flip3-+` `flip-+` `div-inv` `associate-/l*` `add-log-exp`
2×	`log-div` `div-exp` `rem-log-exp` `log-pow`
1×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `pow-exp` `clear-num` `pow-sub` `sqr-pow`

Counts

3 → 102

Calls

3 calls:

5.0ms	(/ x (+ x y))
7.0ms	(pow (exp x) (log (/ x (+ x y))))
4.0ms	(log (/ x (+ x y)))

series68.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ x (+ x y))
50.0ms	(pow (exp x) (log (/ x (+ x y))))
14.0ms	(log (/ x (+ x y)))

simplify54.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	491	851
1	1848	760
2	5001	759

prune137.0ms

Filtered

79 candidates to 111 candidates (-40.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	111	6	117

Merged error: 1.2b

Counts

117 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

1.1b	(pow (sqrt (/ x (+ x y))) x)
1.1b	(pow (sqrt (/ x (+ x y))) x)
4.8b	(sqrt (/ x (+ x y)))
4.8b	(sqrt (/ x (+ x y)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

72×	`sqrt-prod`
64×	`*-un-lft-identity`
50×	`times-frac`
46×	`add-sqr-sqrt`
42×	`unpow-prod-down`
40×	`add-cube-cbrt`
12×	`distribute-lft-out`
10×	`pow1`
8×	`associate-/r/`
6×	`add-exp-log` `pow-unpow` `pow-pow`
4×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `add-cbrt-cube` `flip-+` `div-inv` `add-log-exp`
2×	`pow-to-exp` `sqrt-div` `pow-exp` `sqrt-pow2` `sqr-pow`

Counts

4 → 136

Calls

4 calls:

7.0ms	(pow (sqrt (/ x (+ x y))) x)
7.0ms	(pow (sqrt (/ x (+ x y))) x)
5.0ms	(sqrt (/ x (+ x y)))
5.0ms	(sqrt (/ x (+ x y)))

series82.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(pow (sqrt (/ x (+ x y))) x)
34.0ms	(pow (sqrt (/ x (+ x y))) x)
8.0ms	(sqrt (/ x (+ x y)))
8.0ms	(sqrt (/ x (+ x y)))

simplify71.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	594	1556
1	2597	1474
2	5001	1446

prune207.0ms

Filtered

106 candidates to 148 candidates (-39.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	147	1	148
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	148	6	154

Merged error: 1.2b

Counts

154 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x y))
1.1b	(pow (sqrt (/ x (+ x y))) x)
4.8b	(sqrt (/ x (+ x y)))
6.0b	(pow (/ x (+ x y)) (* 1/2 x))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

65×	`*-un-lft-identity`
49×	`times-frac`
42×	`add-sqr-sqrt`
39×	`add-cube-cbrt` `unpow-prod-down`
36×	`sqrt-prod`
13×	`distribute-lft-out`
10×	`add-exp-log`
8×	`pow1` `associate-/r/`
6×	`add-cbrt-cube`
4×	`pow-unpow` `pow-pow` `flip3-+` `associate-/r*` `flip-+` `div-inv` `add-log-exp`
3×	`pow-exp` `associate-/l*`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `div-exp` `sqr-pow`
1×	`cbrt-undiv` `frac-2neg` `sqrt-div` `clear-num` `sqrt-pow2`

Counts

4 → 132

Calls

4 calls:

5.0ms	(/ x (+ x y))
7.0ms	(pow (sqrt (/ x (+ x y))) x)
5.0ms	(sqrt (/ x (+ x y)))
6.0ms	(pow (/ x (+ x y)) (* 1/2 x))

series63.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ x (+ x y))
32.0ms	(pow (sqrt (/ x (+ x y))) x)
8.0ms	(sqrt (/ x (+ x y)))
18.0ms	(pow (/ x (+ x y)) (* 1/2 x))

simplify113.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 2 (94.0ms)

Iter	Nodes	Cost
0	947	1334
1	4374	1272
2	5001	1269

prune211.0ms

Filtered

104 candidates to 144 candidates (-38.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	143	1	144
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	144	6	150

Merged error: 1.2b

Counts

150 → 6

regimes120.0ms

Accuracy

23.8% (3.4b remaining)

Error of 4.9b against oracle of 1.5b and baseline of 6.0b

bsearch213.0ms

Steps

Iters	Range		Point
10	4.865431950521696e+137	1.0818305119250587e+154	6.542989163601907e+137
4	6.5753885038795925	11.59579856544534	11.394391641767648

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	20
1	32	20

end0.0ms

analyze551.0ms

Algorithm: search

sample1.9s

Algorithm

intervals

Results

723.0ms	1452×	body	1280	valid
350.0ms	1167×	body	640	valid
233.0ms	4331×	body	80	valid
133.0ms	678×	body	320	valid
66.0ms	226×	body	640	invalid
49.0ms	108×	body	1280	invalid
46.0ms	372×	body	160	valid
34.0ms	182×	body	320	invalid
13.0ms	107×	body	160	invalid
10.0ms	195×	body	80	nan
8.0ms	141×	body	80	invalid

Details

analyze557.0ms

sample65.0ms

simplify111.0ms

prune7.0ms

localize8.0ms

rewrite35.0ms

series46.0ms

simplify76.0ms

prune192.0ms

localize8.0ms

rewrite19.0ms

series68.0ms

simplify54.0ms

prune137.0ms

localize8.0ms

rewrite29.0ms

series82.0ms

simplify71.0ms

prune207.0ms

localize11.0ms

rewrite30.0ms

series63.0ms

simplify113.0ms

prune211.0ms

regimes120.0ms

bsearch213.0ms

simplify2.0ms

end0.0ms

analyze551.0ms

sample1.9s

Profiling