Details

sample35.0ms

Algorithm

intervals

Results

13.0ms

259×

body

valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	47	8
3	49	8
4	49	8

prune5.0ms

Filtered

1 candidates to 0 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: 17.4b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
6.1b	(/ (* y b) t)
7.1b	(/ (* y z) t)
11.6b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
26×	`times-frac`
22×	`distribute-lft-out`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
6×	`associate-/l*` `add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `flip3-+` `associate-/r/` `flip-+`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`frac-add` `prod-exp` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `sum-log`

Counts

4 → 101

Calls

4 calls:

4.0ms	(+ x (/ (* y z) t))
4.0ms	(/ (* y b) t)
4.0ms	(/ (* y z) t)
14.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series62.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ x (/ (* y z) t))
5.0ms	(/ (* y b) t)
5.0ms	(/ (* y z) t)
43.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify51.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	454	843
1	1942	782
2	5001	782

prune181.0ms

Filtered

113 candidates to 73 candidates (35.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	102	11	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	103	11	114

Merged error: 11.2b

Counts

114 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (/ z t)))
4.3b	(* y (/ z t))
6.1b	(/ (* y b) t)
11.6b	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

44×	`*-un-lft-identity`
29×	`add-sqr-sqrt`
28×	`times-frac`
24×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
12×	`distribute-lft-out`
8×	`associate-/r*`
6×	`pow1` `add-log-exp`
4×	`cbrt-undiv` `flip3-+` `div-exp` `associate-/r/` `flip-+` `associate-/l*`
3×	`associate-l` `prod-exp` `cbrt-unprod` `div-inv`
2×	`frac-2neg` `frac-add` `clear-num` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `associate-r/` `pow-prod-down` `sum-log` `-commutative`

Counts

4 → 105

Calls

4 calls:

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

series60.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ x (* y (/ z t)))
5.0ms	(* y (/ z t))
5.0ms	(/ (* y b) t)
42.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ (* y b) t)))

simplify58.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	517	820
1	2231	759
2	5002	759

prune185.0ms

Filtered

117 candidates to 77 candidates (34.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	111	6	117
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	114	14	128

Merged error: 10.0b

Counts

128 → 14

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
3.5b	(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
4.3b	(* y (/ z t))
11.6b	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

57×	`add-sqr-sqrt`
47×	`times-frac`
36×	`add-cube-cbrt` `*-un-lft-identity`
35×	`associate-r`
32×	`add-exp-log`
25×	`add-cbrt-cube`
14×	`cbrt-prod`
10×	`associate-l` `prod-exp` `cbrt-unprod`
9×	`cbrt-undiv` `div-exp`
8×	`pow1` `associate-/r/` `unswap-sqr`
6×	`frac-add`
5×	`flip3-+` `flip-+`
4×	`associate-*r/` `div-inv` `add-log-exp`
3×	`frac-times` `associate-l/` `associate-/r` `associate-/l*`
2×	`pow-prod-down` `*-commutative` `associate-/l/`
1×	`frac-2neg` `pow1/3` `clear-num`

Counts

4 → 139

Calls

4 calls:

1.0ms	(cbrt t)
17.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
7.0ms	(* y (/ z t))
9.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series86.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt t)
10.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
5.0ms	(* y (/ z t))
46.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify108.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 2 (93.0ms)

Iter	Nodes	Cost
0	853	1540
1	4189	1396
2	5001	1349

prune209.0ms

Filtered

151 candidates to 109 candidates (27.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	150	1	151
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	151	14	165

Merged error: 10.0b

Counts

165 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (/ z t)))
4.3b	(* y (/ z t))
5.5b	(* y (/ b t))
11.6b	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* y (/ b t))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
29×	`times-frac`
28×	`add-cube-cbrt` `*-un-lft-identity`
26×	`associate-r`
16×	`add-exp-log` `add-cbrt-cube`
8×	`pow1`
6×	`associate-l` `add-log-exp`
4×	`flip3-+` `associate-*r/` `prod-exp` `associate-/r/` `cbrt-unprod` `flip-+` `unswap-sqr`
3×	`cbrt-undiv` `div-exp` `associate-/r` `div-inv` `associate-/l`
2×	`pow-prod-down` `frac-add` `*-commutative` `associate-/l/`
1×	`+-commutative` `frac-2neg` `clear-num` `sum-log`

Counts

4 → 108

Calls

4 calls:

2.0ms	(+ x (* y (/ z t)))
6.0ms	(* y (/ z t))
6.0ms	(* y (/ b t))
9.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* y (/ b t))))

series57.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ x (* y (/ z t)))
5.0ms	(* y (/ z t))
5.0ms	(* y (/ b t))
39.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* y (/ b t))))

simplify59.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	553	784
1	2338	723
2	5001	723

prune112.0ms

Filtered

120 candidates to 84 candidates (30.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	2	11	13
Picked	1	0	1
Done	0	0	0
Total	121	13	134

Merged error: 10.0b

Counts

134 → 13

regimes1.1s

Accuracy

54.4% (2.8b remaining)

Error of 13.0b against oracle of 10.3b and baseline of 16.3b

bsearch50.0ms

Steps

Iters	Range		Point
8	0.00011175245771552917	2.0501072009103303	0.40329132199258894
8	-6.303490935406431e+130	-6.263033244824965e+127	-7.697928989104556e+127

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	22
1	48	22

end0.0ms

sample962.0ms

Algorithm

intervals

Results

420.0ms

8284×

body

valid

Details

sample35.0ms

simplify9.0ms

prune5.0ms

localize12.0ms

rewrite29.0ms

series62.0ms

simplify51.0ms

prune181.0ms

localize12.0ms

rewrite27.0ms

series60.0ms

simplify58.0ms

prune185.0ms

localize17.0ms

rewrite39.0ms

series86.0ms

simplify108.0ms

prune209.0ms

localize14.0ms

rewrite27.0ms

series57.0ms

simplify59.0ms

prune112.0ms

regimes1.1s

bsearch50.0ms

simplify2.0ms

end0.0ms

sample962.0ms

Profiling