Details

analyze1.5s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.7%	98%	0.3%	13
2.5%	97.2%	0.3%	14

sample43.0ms

Algorithm

intervals

Results

13.0ms	256×	body	80	valid
7.0ms	141×	body	80	invalid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4977	21
1	4977	21

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 74

Calls

4 calls:

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

series43.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (- y 1.0) z)
7.0ms	(- x (* (- y 1.0) z))
26.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
7.0ms	(* (- (+ y t) 2.0) b)

simplify46.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5011	1051

prune127.0ms

Filtered

63 candidates to 86 candidates (-36.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	83	3	86
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	3	87

Merged error: 0.0b

Counts

87 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (cbrt (- (+ y t) 2.0)) (cbrt (- (+ y t) 2.0))) (* b (cbrt (+ y (- t 2.0)))))
0.7b	(cbrt (- (+ y t) 2.0))
0.7b	(cbrt (- (+ y t) 2.0))
0.7b	(cbrt (+ y (- t 2.0)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
28×	`frac-times`
26×	`associate-*r/`
22×	`*-un-lft-identity`
20×	`flip3--` `flip--`
17×	`cbrt-prod`
16×	`pow1` `add-exp-log`
14×	`associate-*l/`
11×	`add-sqr-sqrt`
10×	`flip3-+` `add-cbrt-cube` `flip-+`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-cube-cbrt`
5×	`distribute-lft-out--`
4×	`distribute-lft-out` `add-log-exp`
3×	`pow1/3`
2×	`difference-of-squares`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 95

Calls

4 calls:

24.0ms	(* (* (cbrt (- (+ y t) 2.0)) (cbrt (- (+ y t) 2.0))) (* b (cbrt (+ y (- t 2.0)))))
5.0ms	(cbrt (- (+ y t) 2.0))
5.0ms	(cbrt (- (+ y t) 2.0))
5.0ms	(cbrt (+ y (- t 2.0)))

series78.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (* (cbrt (- (+ y t) 2.0)) (cbrt (- (+ y t) 2.0))) (* b (cbrt (+ y (- t 2.0)))))
22.0ms	(cbrt (- (+ y t) 2.0))
22.0ms	(cbrt (- (+ y t) 2.0))
24.0ms	(cbrt (+ y (- t 2.0)))

simplify53.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4927	2068
1	4927	2068

prune230.0ms

Filtered

78 candidates to 107 candidates (-37.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	107	3	110

Merged error: 0.0b

Counts

110 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y))))) (cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y))))))
0.6b	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
0.6b	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
0.6b	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

19.0ms	(* (cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y))))) (cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y))))))
6.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
6.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
6.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))

series688.0ms

Counts

4 → 12

Calls

4 calls:

289.0ms	(* (cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y))))) (cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y))))))
132.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
134.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
133.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))

simplify54.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4957	2443
1	4957	2443

prune274.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	107	3	110

Merged error: 0b

Counts

110 → 3

localize41.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
0.6b	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
0.6b	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
0.6b	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

16×	`cbrt-prod` `*-un-lft-identity`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

4 → 56

Calls

4 calls:

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

series539.0ms

Counts

4 → 12

Calls

4 calls:

135.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
135.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
132.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))
136.0ms	(cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y)))))

simplify40.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5009	1364

prune264.0ms

Filtered

56 candidates to 68 candidates (-21.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	68	3	71

Merged error: 0b

Counts

71 → 3

regimes446.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify8.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	362	36
1	362	36

end0.0ms

sample1.1s

Algorithm

intervals

Results

424.0ms	7994×	body	80	valid
243.0ms	4472×	body	80	invalid
0.0ms	3×	body	320	valid
0.0ms	2×	body	160	valid
0.0ms	1×	body	640	valid

Details

analyze1.5s

sample43.0ms

simplify54.0ms

prune9.0ms

localize15.0ms

rewrite25.0ms

series43.0ms

simplify46.0ms

prune127.0ms

localize24.0ms

rewrite43.0ms

series78.0ms

simplify53.0ms

prune230.0ms

localize20.0ms

rewrite41.0ms

series688.0ms

simplify54.0ms

prune274.0ms

localize41.0ms

rewrite29.0ms

series539.0ms

simplify40.0ms

prune264.0ms

regimes446.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample1.1s

Profiling