Details

sample24.0ms

Algorithm

intervals

Results

9.0ms

312×

body

valid

simplify65.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	5002	4

prune3.0ms

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.4b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.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:

8.0ms	(* x (+ (- y z) 1.0))
9.0ms	(/ (* x (+ (- y z) 1.0)) z)

series17.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* x (+ (- y z) 1.0))
9.0ms	(/ (* x (+ (- y z) 1.0)) z)

simplify35.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 1 (7.0ms)

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

prune68.0ms

Filtered

35 candidates to 53 candidates (-51.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	47	6	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	6	54

Merged error: 0b

Counts

54 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.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:

9.0ms	(/ z (+ (- y z) 1.0))
10.0ms	(/ x (/ z (+ (- y z) 1.0)))

series16.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ z (+ (- y z) 1.0))
9.0ms	(/ x (/ z (+ (- y z) 1.0)))

simplify57.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (43.0ms)

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

prune137.0ms

Filtered

93 candidates to 145 candidates (-55.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	143	2	145
Fresh	3	2	5
Picked	1	0	1
Done	0	0	0
Total	147	4	151

Merged error: 0b

Counts

151 → 4

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite12.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:

11.0ms

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

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

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

simplify88.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 1 (6.0ms)

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

prune43.0ms

Filtered

25 candidates to 41 candidates (-64.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	41	4	45

Merged error: 0b

Counts

45 → 4

localize6.0ms

Local error

Found 1 expressions with local error:

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

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

series16.0ms

Counts

1 → 3

Calls

1 calls:

16.0ms

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

simplify51.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 2 (44.0ms)

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

prune67.0ms

Filtered

30 candidates to 43 candidates (-43.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	43	4	47

Merged error: 0b

Counts

47 → 4

regimes202.0ms

Accuracy

97.8% (0.1b remaining)

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

bsearch41.0ms

Steps

Iters	Range		Point
10	1.6848505674742818e-07	188714837.7033442	9514356.322974142
10	-4.8290960210692066e-05	-8.238548835991853e-22	-1.6182857674366932e-12

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	8
1	22	8

end0.0ms

sample619.0ms

Algorithm

intervals

Results

310.0ms

10135×

body

valid

Details

sample24.0ms

simplify65.0ms

prune3.0ms

localize10.0ms

rewrite18.0ms

series17.0ms

simplify35.0ms

prune68.0ms

localize6.0ms

rewrite26.0ms

series16.0ms

simplify57.0ms

prune137.0ms

localize6.0ms

rewrite12.0ms

series9.0ms

simplify88.0ms

prune43.0ms

localize6.0ms

rewrite15.0ms

series16.0ms

simplify51.0ms

prune67.0ms

regimes202.0ms

bsearch41.0ms

simplify2.0ms

end0.0ms

sample619.0ms

Profiling