Details

sample36.0ms

Algorithm

intervals

Results

17.0ms

394×

body

valid

simplify41.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

prune10.0ms

Filtered

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

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 114

Calls

4 calls:

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

series231.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (- y 1.0) z)
148.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
31.0ms	(* (- t 1.0) a)
25.0ms	(* (- (+ y t) 2.0) b)

simplify117.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	944	1336
1	4893	1221
2	5001	1221

prune367.0ms

Filtered

126 candidates to 92 candidates (73.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	122	4	126
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	122	5	127

Merged error: 0b

Counts

127 → 5

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (sqrt (+ y t)) (sqrt 2.0))
0.0b	(+ (sqrt (+ y t)) (sqrt 2.0))
0.1b	(* (- (sqrt (+ y t)) (sqrt 2.0)) b)
0.2b	(* (+ (sqrt (+ y t)) (sqrt 2.0)) (* (- (sqrt (+ y t)) (sqrt 2.0)) b))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

81×	`*-un-lft-identity`
77×	`sqrt-prod`
55×	`add-sqr-sqrt`
42×	`prod-diff`
37×	`add-cube-cbrt`
18×	`distribute-lft-out`
16×	`associate-l`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`associate-*l/`
8×	`add-log-exp` `difference-of-squares`
7×	`fma-def` `fma-neg`
6×	`distribute-lft-out--`
5×	`flip3--` `flip--`
4×	`expm1-log1p-u` `frac-times` `flip3-+` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+` `log1p-expm1-u`
2×	`associate-r/` `-commutative`
1×	`+-commutative` `sub-neg` `diff-log` `sum-log` `unswap-sqr`

Counts

4 → 153

Calls

4 calls:

9.0ms	(- (sqrt (+ y t)) (sqrt 2.0))
8.0ms	(+ (sqrt (+ y t)) (sqrt 2.0))
11.0ms	(* (- (sqrt (+ y t)) (sqrt 2.0)) b)
19.0ms	(* (+ (sqrt (+ y t)) (sqrt 2.0)) (* (- (sqrt (+ y t)) (sqrt 2.0)) b))

series650.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(- (sqrt (+ y t)) (sqrt 2.0))
49.0ms	(+ (sqrt (+ y t)) (sqrt 2.0))
134.0ms	(* (- (sqrt (+ y t)) (sqrt 2.0)) b)
405.0ms	(* (+ (sqrt (+ y t)) (sqrt 2.0)) (* (- (sqrt (+ y t)) (sqrt 2.0)) b))

simplify82.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	602	1938
1	2562	1404
2	5001	1320

prune414.0ms

Filtered

165 candidates to 94 candidates (57.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	164	1	165
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	165	5	170

Merged error: 0b

Counts

170 → 5

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(cbrt (+ (sqrt (+ y t)) (sqrt 2.0)))
0.1b	(* (- (sqrt (+ y t)) (sqrt 2.0)) b)
0.2b	(* (* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (cbrt (+ (sqrt (+ y t)) (sqrt 2.0)))) (* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (* (- (sqrt (+ y t)) (sqrt 2.0)) b)))
0.2b	(* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

176×	`cbrt-div`
140×	`frac-times`
102×	`associate-*l/`
88×	`flip3-+` `flip-+`
73×	`*-un-lft-identity`
46×	`associate-*r/`
42×	`cbrt-prod`
36×	`sqrt-prod`
34×	`pow1`
33×	`add-sqr-sqrt`
29×	`add-exp-log` `distribute-lft-out`
28×	`flip3--` `flip--`
20×	`associate-l`
18×	`pow-prod-down`
17×	`prod-exp` `add-cbrt-cube` `cbrt-unprod`
15×	`add-cube-cbrt`
13×	`swap-sqr` `associate-r`
7×	`pow1/3`
5×	`unswap-sqr`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp` `difference-of-squares`
3×	`*-commutative` `distribute-lft-out--`
2×	`pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 220

Calls

4 calls:

7.0ms	(cbrt (+ (sqrt (+ y t)) (sqrt 2.0)))
14.0ms	(* (- (sqrt (+ y t)) (sqrt 2.0)) b)
42.0ms	(* (* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (cbrt (+ (sqrt (+ y t)) (sqrt 2.0)))) (* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (* (- (sqrt (+ y t)) (sqrt 2.0)) b)))
21.0ms	(* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))))

series7.7s

Counts

4 → 12

Calls

4 calls:

1.0s	(cbrt (+ (sqrt (+ y t)) (sqrt 2.0)))
143.0ms	(* (- (sqrt (+ y t)) (sqrt 2.0)) b)
433.0ms	(* (* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (cbrt (+ (sqrt (+ y t)) (sqrt 2.0)))) (* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (* (- (sqrt (+ y t)) (sqrt 2.0)) b)))
6.1s	(* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))))

simplify82.0ms

Algorithm

egg-herbie

Counts

232 → 232

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1370	6881
1	5001	6188

prune739.0ms

Filtered

232 candidates to 128 candidates (55.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	232	5	237

Merged error: 0b

Counts

237 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
12×	`sqrt-div`
11×	`flip3--` `flip--`
10×	`associate-*l/`
8×	`pow1` `add-cube-cbrt` `frac-sub`
6×	`add-exp-log` `associate-l` `sqrt-prod` `add-cbrt-cube`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-r`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `distribute-lft-out--`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef` `distribute-lft-out` `difference-of-squares` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

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

series18.8s

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (- (+ y t) 2.0) b)
227.0ms	(sqrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
213.0ms	(sqrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
18.4s	(fma (sqrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (sqrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (* (- (+ y t) 2.0) b))

simplify64.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	561	1143
1	2434	1044
2	5001	1035

prune323.0ms

Filtered

89 candidates to 69 candidates (77.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	89	5	94

Merged error: 0b

Counts

94 → 5

regimes230.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	23	10
1	23	10

end0.0ms

sample943.0ms

Algorithm

intervals

Results

541.0ms	12418×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	2×	body	160	valid