Details

sample36.0ms

Algorithm

intervals

Results

14.0ms

267×

body

valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	46	17
1	46	17

prune18.0ms

Filtered

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

Counts

2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (/ z t)))
5.6b	(* y (/ z t))
5.8b	(* y (/ b t))
10.5b	(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (* y (/ b t)))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 110

Calls

4 calls:

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

series61.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5463	1470

prune201.0ms

Filtered

86 candidates to 122 candidates (-41.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	109	13	122
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	110	14	124

Merged error: 9.8b

Counts

124 → 14

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt b)
4.3b	(* (* y (* (cbrt b) (cbrt b))) (/ (cbrt b) t))
5.6b	(* y (/ z t))
10.5b	(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (* (* y (* (cbrt b) (cbrt b))) (/ (cbrt b) t)))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

43×	`*-un-lft-identity`
40×	`add-sqr-sqrt` `times-frac`
35×	`add-cube-cbrt` `associate-r`
32×	`add-exp-log`
25×	`add-cbrt-cube`
15×	`pow1`
14×	`prod-exp` `cbrt-unprod`
12×	`cbrt-prod`
7×	`pow-prod-down`
5×	`cbrt-undiv` `div-exp`
4×	`associate-l` `associate-/r*` `distribute-lft-out` `add-log-exp`
3×	`div-inv` `associate-/l*`
2×	`flip3-+` `associate-r/` `associate-/r/` `-commutative` `flip-+` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `pow1/3` `clear-num`

Counts

4 → 125

Calls

4 calls:

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

series82.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt b)
8.0ms	(* (* y (* (cbrt b) (cbrt b))) (/ (cbrt b) t))
5.0ms	(* y (/ z t))
47.0ms	(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (* (* y (* (cbrt b) (cbrt b))) (/ (cbrt b) t)))))

simplify57.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4923	1604
1	4923	1604

prune176.0ms

Filtered

83 candidates to 137 candidates (-65.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	134	3	137
Fresh	1	12	13
Picked	1	0	1
Done	0	0	0
Total	136	15	151

Merged error: 9.8b

Counts

151 → 15

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (/ z t)))
5.1b	(/ (* y b) t)
5.6b	(* y (/ z t))
10.5b	(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (/ (* y b) t))))

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

Counts

4 → 103

Calls

4 calls:

3.0ms	(+ x (* y (/ z t)))
4.0ms	(/ (* y b) t)
6.0ms	(* y (/ z t))
11.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 b) t)
5.0ms	(* y (/ z t))
39.0ms	(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (/ (* y b) t))))

simplify41.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	4991	1475
1	4991	1475

prune158.0ms

Filtered

77 candidates to 115 candidates (-49.4%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	115	15	130

Merged error: 9.8b

Counts

130 → 15

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (/ z t)))
5.1b	(* (* y b) (/ 1 t))
5.6b	(* y (/ z t))
10.5b	(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (* (* y b) (/ 1 t)))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

36×	`*-un-lft-identity`
33×	`add-exp-log` `add-sqr-sqrt`
31×	`times-frac`
28×	`add-cube-cbrt`
26×	`associate-r`
23×	`add-cbrt-cube`
14×	`prod-exp`
11×	`pow1`
8×	`cbrt-unprod`
6×	`div-exp` `add-log-exp`
4×	`cbrt-undiv` `associate-l` `pow-prod-down` `associate-/r*` `distribute-lft-out`
3×	`flip3-+` `flip-+` `div-inv` `associate-/l*`
2×	`rec-exp` `1-exp` `associate-r/` `associate-/r/` `-commutative` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `clear-num` `sum-log` `un-div-inv`

Counts

4 → 116

Calls

4 calls:

3.0ms	(+ x (* y (/ z t)))
7.0ms	(* (* y b) (/ 1 t))
6.0ms	(* y (/ z t))
8.0ms	(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (* (* y b) (/ 1 t)))))

series59.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(+ x (* y (/ z t)))
5.0ms	(* (* y b) (/ 1 t))
5.0ms	(* y (/ z t))
38.0ms	(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (* (* y b) (/ 1 t)))))

simplify40.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5576	1496

prune110.0ms

Filtered

77 candidates to 128 candidates (-66.2%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	128	15	143

Merged error: 9.8b

Counts

143 → 15

regimes1.2s

Accuracy

76.1% (1.3b remaining)

Error of 12.9b against oracle of 11.6b and baseline of 16.9b

bsearch54.0ms

Steps

Iters	Range		Point
8	2.5005289405529345e+45	2.6739343702823575e+48	4.225386107957482e+45
9	-3.4272042835171015e+56	-1.0895235341291267e+50	-2.5557366500054176e+50

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	63
1	45	63

end0.0ms

sample1.0s

Algorithm

intervals

Results

466.0ms

8294×

body

valid

Details

sample36.0ms

simplify3.0ms

prune18.0ms

localize12.0ms

rewrite28.0ms

series61.0ms

simplify41.0ms

prune201.0ms

localize17.0ms

rewrite35.0ms

series82.0ms

simplify57.0ms

prune176.0ms

localize14.0ms

rewrite28.0ms

series57.0ms

simplify41.0ms

prune158.0ms

localize15.0ms

rewrite29.0ms

series59.0ms

simplify40.0ms

prune110.0ms

regimes1.2s

bsearch54.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling