Details

sample37.0ms

Algorithm

intervals

Results

17.0ms

378×

body

valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (40.0ms)

Iter	Nodes	Cost
0	38	10
1	118	9
2	428	9
3	1763	9
4	5002	8

prune9.0ms

Filtered

1 candidates to 1 candidates (100.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: 0.0b

Counts

2 → 2

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
3×	`associate-r`
2×	`expm1-log1p-u` `associate-*l/` `log1p-expm1-u` `add-log-exp`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `fma-udef` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 34

Calls

2 calls:

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

series211.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(* (- t 1.0) a)
178.0ms	(fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))

simplify50.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	167	221
1	530	189
2	2257	186
3	5001	186

prune111.0ms

Filtered

40 candidates to 30 candidates (75.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

42 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

28×	`associate-*l/`
23×	`flip3--` `flip--`
22×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
18×	`add-log-exp`
14×	`add-cube-cbrt`
12×	`prod-diff` `frac-add` `frac-sub`
11×	`associate-l`
10×	`associate-+l+` `associate--l+`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`diff-log` `associate-r`
4×	`expm1-log1p-u` `sub-neg` `log1p-expm1-u`
3×	`fma-def` `fma-neg` `sum-log` `distribute-lft-out--`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `associate--l-` `associate-+l-` `flip3-+` `flip-+` `distribute-lft-out`

Counts

4 → 121

Calls

4 calls:

13.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
7.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
9.0ms	(* (- (+ y t) 2.0) b)
7.0ms	(* (- y 1.0) z)

series462.0ms

Counts

4 → 12

Calls

4 calls:

161.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
98.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
29.0ms	(* (- (+ y t) 2.0) b)
173.0ms	(* (- y 1.0) z)

simplify116.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (99.0ms)

Iter	Nodes	Cost
0	925	1612
1	4778	1472
2	5001	1470

prune426.0ms

Filtered

133 candidates to 102 candidates (76.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	131	2	133
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	132	3	135

Merged error: 0b

Counts

135 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
12×	`associate-*l/`
11×	`add-cube-cbrt`
10×	`associate-l` `add-log-exp`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`flip3--` `flip--`
6×	`fma-neg` `associate-r` `prod-diff`
4×	`expm1-log1p-u` `frac-sub` `log1p-expm1-u` `distribute-neg-frac`
3×	`fma-def`
2×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `associate--l-` `neg-sub0` `sub-neg` `associate-+r+` `flip3-+` `neg-log` `sum-log` `flip-+` `fma-udef` `distribute-lft-out`

Counts

4 → 98

Calls

4 calls:

7.0ms	(* (- t 1.0) a)
3.0ms	(+ x (fma b (- (+ y t) 2.0) (- (- (* (- y 1.0) z)) (* (- t 1.0) a))))
7.0ms	(- (- (* (- y 1.0) z)) (* (- t 1.0) a))
6.0ms	(* (- y 1.0) z)

series287.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (- t 1.0) a)
162.0ms	(+ x (fma b (- (+ y t) 2.0) (- (- (* (- y 1.0) z)) (* (- t 1.0) a))))
60.0ms	(- (- (* (- y 1.0) z)) (* (- t 1.0) a))
33.0ms	(* (- y 1.0) z)

simplify70.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	547	775
1	2241	697
2	5002	685

prune310.0ms

Filtered

110 candidates to 83 candidates (75.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	110	3	113

Merged error: 0b

Counts

113 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- x (/ (* (- (pow y 3) (pow 1.0 3)) z) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (* (- t 1.0) a))
0.0b	(+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))
2.9b	(* (- (pow y 3) (pow 1.0 3)) z)
12.5b	(/ (* (- (pow y 3) (pow 1.0 3)) z) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

55×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
32×	`prod-diff`
29×	`associate--l+`
25×	`add-cube-cbrt` `associate-l`
18×	`difference-of-squares`
14×	`add-log-exp`
12×	`unpow-prod-down` `times-frac` `cube-prod`
11×	`add-exp-log` `add-cbrt-cube`
8×	`associate-*l/` `associate-/r/` `sqr-pow`
7×	`flip3--` `flip--` `distribute-lft-out--`
6×	`pow1`
5×	`flip3-+` `fma-neg` `flip-+`
4×	`expm1-log1p-u` `frac-sub` `log1p-expm1-u` `div-inv`
3×	`diff-log` `associate-r` `associate-/r*` `sum-log`
2×	`cbrt-undiv` `sub-neg` `div-exp` `prod-exp` `cbrt-unprod` `associate-/l/`
1×	`difference-cubes` `+-commutative` `associate--l-` `associate-+r+` `fma-def` `frac-2neg` `pow-prod-down` `clear-num` `-commutative` `associate-/l` `unswap-sqr`

Counts

4 → 146

Calls

4 calls:

20.0ms	(- (- x (/ (* (- (pow y 3) (pow 1.0 3)) z) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (* (- t 1.0) a))
6.0ms	(+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))
17.0ms	(* (- (pow y 3) (pow 1.0 3)) z)
21.0ms	(/ (* (- (pow y 3) (pow 1.0 3)) z) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))

series382.0ms

Counts

4 → 12

Calls

4 calls:

228.0ms	(- (- x (/ (* (- (pow y 3) (pow 1.0 3)) z) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (* (- t 1.0) a))
21.0ms	(+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))
43.0ms	(* (- (pow y 3) (pow 1.0 3)) z)
90.0ms	(/ (* (- (pow y 3) (pow 1.0 3)) z) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))

simplify120.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 2 (95.0ms)

Iter	Nodes	Cost
0	831	2776
1	3968	2031
2	5001	2008

prune720.0ms

Filtered

158 candidates to 123 candidates (77.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	158	3	161

Merged error: 0b

Counts

161 → 3

regimes148.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	8
1	18	8

end0.0ms

sample1.0s

Algorithm

intervals

Results

572.0ms	12472×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	3×	body	160	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample37.0ms

simplify42.0ms

prune9.0ms

localize17.0ms

rewrite8.0ms

series211.0ms

simplify50.0ms

prune111.0ms

localize15.0ms

rewrite40.0ms

series462.0ms

simplify116.0ms

prune426.0ms

localize15.0ms

rewrite27.0ms

series287.0ms

simplify70.0ms

prune310.0ms

localize25.0ms

rewrite71.0ms

series382.0ms

simplify120.0ms

prune720.0ms

regimes148.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling