Details

sample20.0ms

Algorithm

intervals

Results

10.0ms

306×

body

valid

simplify87.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	11	3
1	22	3
2	44	3
3	70	3
4	100	3
5	117	3
6	420	3
7	2976	3
8	5001	3

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (- y z))
10.4b	(/ (* x (- y z)) y)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
18×	`add-cube-cbrt` `prod-diff`
11×	`distribute-rgt-in` `distribute-lft-in`
9×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`pow1` `associate-*r/`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `expm1-log1p-u` `sub-neg` `flip3--` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `log1p-expm1-u` `associate-/l/` `add-log-exp`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 71

Calls

2 calls:

8.0ms	(* x (- y z))
10.0ms	(/ (* x (- y z)) y)

series97.0ms

Counts

2 → 6

Calls

2 calls:

43.0ms	(* x (- y z))
54.0ms	(/ (* x (- y z)) y)

simplify54.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	299	483
1	1416	328
2	5001	328

prune117.0ms

Filtered

77 candidates to 41 candidates (53.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	72	5	77
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	6	78

Merged error: 0.0b

Counts

78 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (- y z))
3.0b	(/ x (/ y (- y z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
102×	`add-sqr-sqrt` `*-un-lft-identity`
70×	`add-cube-cbrt`
26×	`associate-/r*`
16×	`distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3--` `flip--`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `add-log-exp`

Counts

2 → 143

Calls

2 calls:

6.0ms	(/ y (- y z))
10.0ms	(/ x (/ y (- y z)))

series107.0ms

Counts

2 → 6

Calls

2 calls:

53.0ms	(/ y (- y z))
54.0ms	(/ x (/ y (- y z)))

simplify74.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	479	1057
1	2239	1019
2	5002	1016

prune307.0ms

Filtered

149 candidates to 112 candidates (75.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	146	3	149
Fresh	2	2	4
Picked	1	0	1
Done	1	0	1
Total	150	5	155

Merged error: 0.0b

Counts

155 → 5

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- y z) y)
3.2b	(* x (/ (- y z) y))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
31×	`times-frac`
22×	`add-cube-cbrt`
19×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/l*`
4×	`pow1`
3×	`associate-l` `associate-/r*`
2×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`flip3--` `frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip--`

Counts

2 → 80

Calls

2 calls:

7.0ms	(/ (- y z) y)
10.0ms	(* x (/ (- y z) y))

series88.0ms

Counts

2 → 6

Calls

2 calls:

34.0ms	(/ (- y z) y)
54.0ms	(* x (/ (- y z) y))

simplify56.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	270	409
1	1205	378
2	5001	377

prune161.0ms

Filtered

86 candidates to 61 candidates (70.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	86	5	91

Merged error: 0b

Counts

91 → 5

localize5.0ms

Local error

Found 1 expressions with local error:

3.2b	(* x (- 1 (/ z y)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

81×	`add-sqr-sqrt`
78×	`prod-diff`
75×	`*-un-lft-identity`
71×	`add-cube-cbrt`
56×	`times-frac`
41×	`distribute-rgt-in` `distribute-lft-in`
8×	`associate-r`
6×	`div-inv`
4×	`difference-of-squares`
3×	`pow1` `add-exp-log` `associate-l` `add-cbrt-cube`
2×	`sub-neg` `associate-*r/`
1×	`expm1-log1p-u` `flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `log1p-expm1-u` `distribute-lft-out--` `add-log-exp` `unswap-sqr`

Counts

1 → 109

Calls

1 calls:

15.0ms

(* x (- 1 (/ z y)))

series34.0ms

Counts

1 → 3

Calls

1 calls:

34.0ms

(* x (- 1 (/ z y)))

simplify77.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	533	2051
1	2260	1357
2	5002	1071

prune58.0ms

Filtered

112 candidates to 25 candidates (22.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	112	5	117

Merged error: 0b

Counts

117 → 5

regimes94.0ms

Accuracy

15.5% (2.8b remaining)

Error of 2.8b against oracle of 0.0b and baseline of 3.3b

bsearch83.0ms

Steps

Iters	Range		Point
11	2.695775082118271e-191	1.375169157641957e-170	1.6466713287575296e-176
8	-2.286053767533532e-210	-7.727194503473757e-215	-4.39403416583893e-211

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	6
1	23	6

end0.0ms

sample425.0ms

Algorithm

intervals

Results

219.0ms

9599×

body

valid

Details

sample20.0ms

simplify87.0ms

prune2.0ms

localize5.0ms

rewrite20.0ms

series97.0ms

simplify54.0ms

prune117.0ms

localize5.0ms

rewrite23.0ms

series107.0ms

simplify74.0ms

prune307.0ms

localize5.0ms

rewrite24.0ms

series88.0ms

simplify56.0ms

prune161.0ms

localize5.0ms

rewrite23.0ms

series34.0ms

simplify77.0ms

prune58.0ms

regimes94.0ms

bsearch83.0ms

simplify2.0ms

end0.0ms

sample425.0ms

Profiling