Details

sample79.0ms

Algorithm

intervals

Results

34.0ms

399×

body

valid

simplify36.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	10
1	112	10
2	384	10
3	1568	10
4	5001	10

prune8.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: 0.0b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- y 1.0) z)
0.0b	(* (- t 1.0) a)
0.0b	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
0.0b	(* (- (+ y t) 2.0) b)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
16×	`associate-l`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-*l/` `add-cbrt-cube`
9×	`associate-r` `add-log-exp`
8×	`flip3--` `flip--`
4×	`frac-sub` `distribute-lft-out--`
3×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
2×	`sub-neg` `associate--l+`
1×	`associate--l-` `distribute-lft-out`

Counts

4 → 87

Calls

4 calls:

6.0ms	(* (- y 1.0) z)
6.0ms	(* (- t 1.0) a)
6.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
8.0ms	(* (- (+ y t) 2.0) b)

series37.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (- y 1.0) z)
4.0ms	(* (- t 1.0) a)
23.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
6.0ms	(* (- (+ y t) 2.0) b)

simplify55.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	520	593
1	2119	539
2	5002	539

prune147.0ms

Filtered

66 candidates to 99 candidates (-50.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	5	100

Merged error: 0b

Counts

100 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt b) (cbrt b))
0.6b	(cbrt b)
0.6b	(cbrt b)
0.6b	(cbrt b)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt b) (cbrt b))
1.0ms	(cbrt b)
1.0ms	(cbrt b)
1.0ms	(cbrt b)

series90.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (cbrt b) (cbrt b))
23.0ms	(cbrt b)
20.0ms	(cbrt b)
23.0ms	(cbrt b)

simplify71.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (66.0ms)

Iter	Nodes	Cost
0	148	349
1	471	322
2	2276	265
3	5002	252

prune103.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	85	5	90

Merged error: 0b

Counts

90 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
0.0b	(- (* (+ y t) (+ y t)) (* 2.0 2.0))
5.5b	(* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
10.0b	(/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

6.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
8.0ms	(- (* (+ y t) (+ y t)) (* 2.0 2.0))
11.0ms	(* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
17.0ms	(/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))

series63.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
7.0ms	(- (* (+ y t) (+ y t)) (* 2.0 2.0))
12.0ms	(* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
18.0ms	(/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))

simplify72.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	643	985
1	2925	860
2	5001	860

prune154.0ms

Filtered

73 candidates to 97 candidates (-32.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	97	5	102

Merged error: 0b

Counts

102 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* z y) (* a t))
0.0b	(+ (- (* 1.0 a) (+ (* z y) (* a t))) (* (- (+ y t) 2.0) b))
0.0b	(- (* 1.0 a) (+ (* z y) (* a t)))
0.0b	(* (- (+ y t) 2.0) b)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
11×	`*-un-lft-identity`
10×	`add-sqr-sqrt`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `flip3--` `associate-l` `associate-*l/` `sum-log` `add-cbrt-cube` `flip--`
4×	`diff-log` `frac-add`
3×	`associate-r`
2×	`+-commutative` `sub-neg` `associate-+l+` `flip3-+` `flip-+` `distribute-lft-out--`
1×	`associate-+l-` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `associate--r+` `difference-of-squares` `unswap-sqr`

Counts

4 → 68

Calls

4 calls:

3.0ms	(+ (* z y) (* a t))
10.0ms	(+ (- (* 1.0 a) (+ (* z y) (* a t))) (* (- (+ y t) 2.0) b))
5.0ms	(- (* 1.0 a) (+ (* z y) (* a t)))
8.0ms	(* (- (+ y t) 2.0) b)

series53.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ (* z y) (* a t))
27.0ms	(+ (- (* 1.0 a) (+ (* z y) (* a t))) (* (- (+ y t) 2.0) b))
11.0ms	(- (* 1.0 a) (+ (* z y) (* a t)))
6.0ms	(* (- (+ y t) 2.0) b)

simplify57.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	473	731
1	2204	695
2	5001	695

prune91.0ms

Filtered

58 candidates to 80 candidates (-37.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	80	5	85

Merged error: 0b

Counts

85 → 5

regimes484.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	15
1	27	15

end0.0ms

sample1.4s

Algorithm

intervals

Results

664.0ms	12544×	body	80	valid
1.0ms	3×	body	640	valid
0.0ms	3×	body	320	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	160	valid

Details

sample79.0ms

simplify36.0ms

prune8.0ms

localize14.0ms

rewrite28.0ms

series37.0ms

simplify55.0ms

prune147.0ms

localize19.0ms

rewrite10.0ms

series90.0ms

simplify71.0ms

prune103.0ms

localize19.0ms

rewrite44.0ms

series63.0ms

simplify72.0ms

prune154.0ms

localize12.0ms

rewrite28.0ms

series53.0ms

simplify57.0ms

prune91.0ms

regimes484.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling