Details

analyze708.0ms

Algorithm: search

sample56.0ms

Algorithm

intervals

Results

14.0ms	256×	body	80	valid
13.0ms	233×	body	80	invalid
8.0ms	145×	body	80	nan

simplify76.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	9
1	41	9
2	88	9
3	165	9
4	287	9
5	625	9
6	2014	9
7	5002	9

prune7.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.3b

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (* t t) 2.0)
0.0b	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.3b	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-cbrt-cube`
13×	`add-exp-log`
10×	`pow1` `add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`associate-r`
6×	`associate-*l/`
5×	`prod-exp` `cbrt-unprod`
4×	`associate-l` `pow-prod-down`
3×	`times-frac` `associate-/r*` `add-log-exp`
2×	`cbrt-undiv` `flip3--` `div-exp` `*-commutative` `flip--`
1×	`frac-2neg` `clear-num` `sqrt-prod` `div-inv` `associate-/l*` `unswap-sqr`

Counts

3 → 62

Calls

3 calls:

4.0ms	(/ (* t t) 2.0)
12.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
8.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series60.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ (* t t) 2.0)
43.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
14.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify45.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	386	539
1	1657	466
2	5001	466

prune148.0ms

Filtered

53 candidates to 71 candidates (-34.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	63	8	71
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	63	9	72

Merged error: 0.0b

Counts

72 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* t t) 2.0)
0.0b	(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0)))
0.3b	(* (- (* x 0.5) y) (sqrt z))
0.4b	(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-cbrt-cube`
22×	`add-exp-log`
20×	`pow1`
16×	`add-sqr-sqrt`
15×	`associate-r`
12×	`add-cube-cbrt` `-un-lft-identity` `associate-l/`
11×	`prod-exp` `cbrt-unprod`
10×	`pow-prod-down`
7×	`sqrt-prod`
5×	`associate-l`
4×	`add-log-exp`
3×	`flip3--` `times-frac` `associate-/r` `-commutative` `flip--`
2×	`cbrt-undiv` `div-exp` `unswap-sqr`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 91

Calls

4 calls:

4.0ms	(/ (* t t) 2.0)
14.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0)))
7.0ms	(* (- (* x 0.5) y) (sqrt z))
10.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

series78.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (* t t) 2.0)
47.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0)))
11.0ms	(* (- (* x 0.5) y) (sqrt z))
16.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

simplify60.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	479	808
1	2307	701
2	5001	697

prune171.0ms

Filtered

70 candidates to 103 candidates (-47.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	98	5	103
Fresh	6	1	7
Picked	1	0	1
Done	0	1	1
Total	105	7	112

Merged error: 0.0b

Counts

112 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* t t) 2.0)
0.2b	(* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))
0.2b	(* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
0.3b	(* (- (* x 0.5) y) (sqrt z))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-exp-log`
36×	`pow1`
28×	`add-cbrt-cube`
23×	`prod-exp` `cbrt-unprod`
22×	`pow-prod-down`
16×	`add-sqr-sqrt` `associate-r`
12×	`add-cube-cbrt` `-un-lft-identity` `associate-l/`
7×	`sqrt-prod`
6×	`cbrt-prod`
5×	`associate-l`
4×	`add-log-exp`
3×	`flip3--` `times-frac` `associate-/r` `-commutative` `flip--`
2×	`cbrt-undiv` `div-exp` `unswap-sqr`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 104

Calls

4 calls:

4.0ms	(/ (* t t) 2.0)
17.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))
16.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
7.0ms	(* (- (* x 0.5) y) (sqrt z))

series71.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (* t t) 2.0)
19.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))
38.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
11.0ms	(* (- (* x 0.5) y) (sqrt z))

simplify67.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	516	1180
1	2512	923
2	5003	864

prune248.0ms

Filtered

73 candidates to 116 candidates (-58.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	116	7	123

Merged error: 0.0b

Counts

123 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* t t) 2.0)
0.0b	(* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0)))
0.3b	(* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
0.5b	(* (sqrt z) (sqrt 2.0))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-cbrt-cube`
22×	`pow1` `add-exp-log`
20×	`add-sqr-sqrt`
12×	`add-cube-cbrt` `*-un-lft-identity` `pow-prod-down`
11×	`prod-exp` `cbrt-unprod`
10×	`associate-r` `associate-l` `sqrt-prod`
6×	`associate-*l/`
4×	`add-log-exp` `unswap-sqr`
3×	`times-frac` `associate-/r` `-commutative`
2×	`cbrt-undiv` `flip3--` `sqrt-pow1` `pow1/2` `div-exp` `flip--`
1×	`frac-2neg` `sqrt-unprod` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 94

Calls

4 calls:

5.0ms	(/ (* t t) 2.0)
16.0ms	(* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0)))
9.0ms	(* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
6.0ms	(* (sqrt z) (sqrt 2.0))

series69.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (* t t) 2.0)
45.0ms	(* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0)))
16.0ms	(* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
5.0ms	(* (sqrt z) (sqrt 2.0))

simplify69.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	509	800
1	2306	703
2	5002	701

prune152.0ms

Filtered

71 candidates to 106 candidates (-49.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	106	7	113

Merged error: 0b

Counts

113 → 7

regimes1.0s

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	9
1	19	9

end0.0ms

analyze713.0ms

Algorithm: search

sample1.6s

Algorithm

intervals

Results

469.0ms	8000×	body	80	valid
362.0ms	6115×	body	80	invalid
263.0ms	4515×	body	80	nan

Details

analyze708.0ms

sample56.0ms

simplify76.0ms

prune7.0ms

localize12.0ms

rewrite26.0ms

series60.0ms

simplify45.0ms

prune148.0ms

localize16.0ms

rewrite38.0ms

series78.0ms

simplify60.0ms

prune171.0ms

localize16.0ms

rewrite48.0ms

series71.0ms

simplify67.0ms

prune248.0ms

localize13.0ms

rewrite39.0ms

series69.0ms

simplify69.0ms

prune152.0ms

regimes1.0s

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze713.0ms

sample1.6s

Profiling