Details

sample44.0ms

Algorithm

intervals

Results

13.0ms

264×

body

valid

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

prune6.0ms

Filtered

1 candidates to 0 candidates (0.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: 18.2b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
4.6b	(/ (* y b) t)
5.0b	(/ (* y z) t)
13.6b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite28.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)
12.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series161.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(+ x (/ (* y z) t))
19.0ms	(/ (* y b) t)
21.0ms	(/ (* y z) t)
94.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify56.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 1 (14.0ms)

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

prune528.0ms

Filtered

113 candidates to 73 candidates (64.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	100	13	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	13	114

Merged error: 12.1b

Counts

114 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
4.0b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.6b	(/ (* y b) t)
13.6b	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity`
48×	`add-sqr-sqrt`
46×	`times-frac`
32×	`add-exp-log` `add-cube-cbrt`
25×	`add-cbrt-cube`
22×	`associate-r`
14×	`cbrt-prod`
12×	`distribute-lft-out`
10×	`cbrt-undiv` `div-exp`
9×	`prod-exp` `cbrt-unprod`
8×	`associate-/r*`
7×	`associate-l`
6×	`pow1` `unswap-sqr`
4×	`associate-/r/` `div-inv` `associate-/l*` `add-log-exp`
3×	`flip3-+` `flip-+`
2×	`frac-2neg` `frac-add` `clear-num` `associate-/l/`
1×	`frac-times` `pow1/3` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 132

Calls

4 calls:

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

series499.0ms

Counts

4 → 12

Calls

4 calls:

173.0ms	(cbrt t)
45.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
18.0ms	(/ (* y b) t)
262.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify95.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 2 (81.0ms)

Iter	Nodes	Cost
0	735	1561
1	3708	1358
2	5002	1310

prune795.0ms

Filtered

144 candidates to 101 candidates (70.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	139	5	144
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	142	15	157

Merged error: 10.8b

Counts

157 → 15

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
3.5b	(* y (/ b t))
4.0b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
13.6b	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

rewrite35.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` `unswap-sqr`
4×	`associate-*r/` `associate-/r/` `div-inv` `add-log-exp`
3×	`flip3-+` `associate-/r` `flip-+` `associate-/l`
2×	`pow-prod-down` `frac-add` `*-commutative` `associate-/l/`
1×	`frac-times` `frac-2neg` `pow1/3` `associate-*l/` `clear-num`

Counts

4 → 135

Calls

4 calls:

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

series511.0ms

Counts

4 → 12

Calls

4 calls:

179.0ms	(cbrt t)
19.0ms	(* y (/ b t))
50.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
263.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

simplify115.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 2 (96.0ms)

Iter	Nodes	Cost
0	787	1455
1	4103	1250
2	5001	1202

prune852.0ms

Filtered

147 candidates to 107 candidates (72.8%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	145	2	147
Fresh	1	13	14
Picked	0	1	1
Done	0	0	0
Total	146	16	162

Merged error: 10.8b

Counts

162 → 16

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
95×	`times-frac`
65×	`cbrt-prod`
59×	`add-cube-cbrt` `*-un-lft-identity`
43×	`associate-l`
35×	`associate-r`
23×	`add-exp-log`
17×	`add-cbrt-cube` `unswap-sqr`
8×	`pow1`
6×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
4×	`associate-*r/` `associate-/r/` `div-inv` `add-log-exp`
3×	`flip3-+` `associate-/r` `flip-+` `associate-/l`
2×	`pow-prod-down` `frac-add` `*-commutative` `associate-/l/`
1×	`frac-times` `frac-2neg` `pow1/3` `associate-*l/` `clear-num`

Counts

4 → 173

Calls

4 calls:

1.0ms	(cbrt t)
24.0ms	(* (/ (cbrt y) (cbrt t)) (/ z (cbrt t)))
6.0ms	(* y (/ b t))
10.0ms	(/ (+ x (* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (cbrt y) (cbrt t)) (/ z (cbrt t))))) (+ (+ a 1.0) (* y (/ b t))))

series590.0ms

Counts

4 → 12

Calls

4 calls:

183.0ms	(cbrt t)
155.0ms	(* (/ (cbrt y) (cbrt t)) (/ z (cbrt t)))
22.0ms	(* y (/ b t))
229.0ms	(/ (+ x (* (/ (* (cbrt y) (cbrt y)) (cbrt t)) (* (/ (cbrt y) (cbrt t)) (/ z (cbrt t))))) (+ (+ a 1.0) (* y (/ b t))))

simplify98.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	919	2026
1	3979	1877
2	5002	1855

prune1.1s

Filtered

185 candidates to 148 candidates (80.0%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	182	3	185
Fresh	1	13	14
Picked	1	0	1
Done	0	1	1
Total	184	17	201

Merged error: 10.8b

Counts

201 → 17

regimes1.2s

Accuracy

53.4% (2.6b remaining)

Error of 12.8b against oracle of 10.2b and baseline of 15.8b

bsearch156.0ms

Steps

Iters	Range		Point
7	4.511969200372648e-95	3.6233391732450946e-93	3.575521334595492e-93
10	-1.4341264409015986e+45	-6.61103703497379e+27	-1.3117327327530673e+39

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	35
1	57	35

end0.0ms

sample924.0ms

Algorithm

intervals

Results

408.0ms

8271×

body

valid

Details

sample44.0ms

simplify10.0ms

prune6.0ms

localize12.0ms

rewrite28.0ms

series161.0ms

simplify56.0ms

prune528.0ms

localize18.0ms

rewrite37.0ms

series499.0ms

simplify95.0ms

prune795.0ms

localize21.0ms

rewrite35.0ms

series511.0ms

simplify115.0ms

prune852.0ms

localize21.0ms

rewrite49.0ms

series590.0ms

simplify98.0ms

prune1.1s

regimes1.2s

bsearch156.0ms

simplify2.0ms

end0.0ms

sample924.0ms

Profiling