Details

sample20.0ms

Algorithm

intervals

Results

9.0ms

340×

body

valid

simplify69.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	4
1	44	4
2	114	4
3	220	4
4	354	4
5	550	4
6	1669	4
7	5001	4

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

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ (- y z) 1.0))
9.0b	(/ (* x (+ (- y z) 1.0)) z)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 47

Calls

2 calls:

12.0ms	(* x (+ (- y z) 1.0))
10.0ms	(/ (* x (+ (- y z) 1.0)) z)

series69.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(* x (+ (- y z) 1.0))
39.0ms	(/ (* x (+ (- y z) 1.0)) z)

simplify35.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	254	285
1	1225	238
2	5001	238

prune81.0ms

Filtered

53 candidates to 35 candidates (66.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	48	5	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	5	54

Merged error: 0b

Counts

54 → 5

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ z (+ (- y z) 1.0))
3.5b	(/ x (/ z (+ (- y z) 1.0)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

150×	`*-un-lft-identity`
138×	`times-frac`
70×	`add-sqr-sqrt` `add-cube-cbrt`
32×	`distribute-lft-out`
26×	`associate-/r*`
16×	`distribute-lft-out--`
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` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 139

Calls

2 calls:

8.0ms	(/ z (+ (- y z) 1.0))
21.0ms	(/ x (/ z (+ (- y z) 1.0)))

series87.0ms

Counts

2 → 6

Calls

2 calls:

44.0ms	(/ z (+ (- y z) 1.0))
43.0ms	(/ x (/ z (+ (- y z) 1.0)))

simplify62.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	455	1177
1	2110	1129
2	5002	1126

prune199.0ms

Filtered

145 candidates to 93 candidates (64.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	3	1	4
Picked	0	1	1
Done	0	0	0
Total	147	3	150

Merged error: 0b

Counts

150 → 3

localize6.0ms

Local error

Found 1 expressions with local error:

3.7b	(* x (/ (+ (- y z) 1.0) z))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

26×	`*-un-lft-identity`
19×	`associate-r`
16×	`add-sqr-sqrt` `times-frac`
11×	`add-cube-cbrt`
6×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
3×	`pow1` `associate-l` `distribute-lft-out--`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv` `add-log-exp`

Counts

1 → 38

Calls

1 calls:

13.0ms

(* x (/ (+ (- y z) 1.0) z))

series41.0ms

Counts

1 → 3

Calls

1 calls:

41.0ms

(* x (/ (+ (- y z) 1.0) z))

simplify95.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	206	237
1	967	210
2	4357	210
3	5002	210

prune49.0ms

Filtered

41 candidates to 25 candidates (61.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	41	3	44

Merged error: 0b

Counts

44 → 3

localize9.0ms

Local error

Found 1 expressions with local error:

9.7b	(* (/ x z) (+ (- y z) 1.0))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`associate-l`
10×	`times-frac`
9×	`add-cube-cbrt`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
3×	`pow1`
2×	`frac-times` `flip3-+` `associate-*r/` `prod-exp` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`
1×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `distribute-lft-out--` `add-log-exp`

Counts

1 → 40

Calls

1 calls:

12.0ms

(* (/ x z) (+ (- y z) 1.0))

series42.0ms

Counts

1 → 3

Calls

1 calls:

42.0ms

(* (/ x z) (+ (- y z) 1.0))

simplify38.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	334	267
1	1328	239
2	5001	233

prune60.0ms

Filtered

43 candidates to 30 candidates (69.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	43	3	46

Merged error: 0b

Counts

46 → 3

regimes60.0ms

Accuracy

97.4% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 3.0b

bsearch79.0ms

Steps

Iters	Range		Point
8	5.4473845196175054e-12	1.055652560645475e-08	1.472063299110298e-11
11	-1.971746604603823e-16	-1.8762599644922694e-41	-5.982337265658843e-29

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	8
1	22	8

end0.0ms

sample486.0ms

Algorithm

intervals

Results

287.0ms

10088×

body

valid

Details

sample20.0ms

simplify69.0ms

prune2.0ms

localize6.0ms

rewrite24.0ms

series69.0ms

simplify35.0ms

prune81.0ms

localize10.0ms

rewrite36.0ms

series87.0ms

simplify62.0ms

prune199.0ms

localize6.0ms

rewrite14.0ms

series41.0ms

simplify95.0ms

prune49.0ms

localize9.0ms

rewrite14.0ms

series42.0ms

simplify38.0ms

prune60.0ms

regimes60.0ms

bsearch79.0ms

simplify1.0ms

end0.0ms

sample486.0ms

Profiling