Details

sample37.0ms

Algorithm

intervals

Results

13.0ms

265×

body

valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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: 14.7b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
2.8b	(/ (* y b) t)
5.9b	(/ (* y z) t)
9.9b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite30.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:

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

series189.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(+ x (/ (* y z) t))
24.0ms	(/ (* y b) t)
21.0ms	(/ (* y z) t)
109.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

prune497.0ms

Filtered

113 candidates to 73 candidates (35.4%)

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: 8.2b

Counts

114 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt t)
2.8b	(/ (* y b) t)
3.9b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
9.9b	(/ (+ 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)
6.0ms	(/ (* y b) t)
14.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
11.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

series632.0ms

Counts

4 → 12

Calls

4 calls:

202.0ms	(cbrt t)
27.0ms	(/ (* y b) t)
58.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
344.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify83.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 2 (69.0ms)

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

prune1.1s

Filtered

144 candidates to 101 candidates (29.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	140	4	144
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	143	14	157

Merged error: 7.9b

Counts

157 → 14

localize25.0ms

Local error

Found 4 expressions with local error:

5.8b	(* (/ 1 (* (cbrt (+ (+ a 1.0) (/ (* y b) t))) (cbrt (+ (+ a 1.0) (/ (* y b) t))))) (/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (cbrt (+ (+ a 1.0) (/ (* y b) t)))))
9.2b	(cbrt (+ (+ a 1.0) (/ (* y b) t)))
9.2b	(cbrt (+ (+ a 1.0) (/ (* y b) t)))
9.2b	(cbrt (+ (+ a 1.0) (/ (* y b) t)))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

57×	`*-un-lft-identity`
56×	`cbrt-div`
49×	`add-exp-log`
45×	`add-sqr-sqrt`
39×	`times-frac`
33×	`cbrt-prod`
32×	`associate-r`
31×	`associate-l`
28×	`flip3-+` `frac-add` `associate-/r/` `flip-+`
24×	`add-cube-cbrt`
20×	`prod-exp`
18×	`add-cbrt-cube` `distribute-lft-out`
17×	`frac-times`
15×	`div-exp`
9×	`unswap-sqr`
8×	`cbrt-unprod`
7×	`cbrt-undiv`
6×	`pow1`
5×	`associate-r/` `associate-l/`
4×	`rec-exp` `1-exp` `add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 155

Calls

4 calls:

49.0ms	(* (/ 1 (* (cbrt (+ (+ a 1.0) (/ (* y b) t))) (cbrt (+ (+ a 1.0) (/ (* y b) t))))) (/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (cbrt (+ (+ a 1.0) (/ (* y b) t)))))
6.0ms	(cbrt (+ (+ a 1.0) (/ (* y b) t)))
6.0ms	(cbrt (+ (+ a 1.0) (/ (* y b) t)))
6.0ms	(cbrt (+ (+ a 1.0) (/ (* y b) t)))

series1.0s

Counts

4 → 12

Calls

4 calls:

467.0ms	(* (/ 1 (* (cbrt (+ (+ a 1.0) (/ (* y b) t))) (cbrt (+ (+ a 1.0) (/ (* y b) t))))) (/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (cbrt (+ (+ a 1.0) (/ (* y b) t)))))
188.0ms	(cbrt (+ (+ a 1.0) (/ (* y b) t)))
185.0ms	(cbrt (+ (+ a 1.0) (/ (* y b) t)))
183.0ms	(cbrt (+ (+ a 1.0) (/ (* y b) t)))

simplify113.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	832	3971
1	4164	3539
2	5001	3320

prune1.0s

Filtered

167 candidates to 117 candidates (29.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	166	1	167
Fresh	1	12	13
Picked	0	1	1
Done	0	0	0
Total	167	14	181

Merged error: 7.9b

Counts

181 → 14

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ y (/ t z)))
2.8b	(/ (* y b) t)
5.1b	(/ y (/ t z))
9.9b	(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 150

Calls

4 calls:

15.0ms	(+ x (/ y (/ t z)))
4.0ms	(/ (* y b) t)
6.0ms	(/ y (/ t z))
35.0ms	(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

series375.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(+ x (/ y (/ t z)))
24.0ms	(/ (* y b) t)
26.0ms	(/ y (/ t z))
284.0ms	(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

simplify70.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	661	1208
1	2716	1142
2	5001	1141

prune1.0s

Filtered

162 candidates to 113 candidates (30.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	159	3	162
Fresh	5	7	12
Picked	1	0	1
Done	0	1	1
Total	165	11	176

Merged error: 7.9b

Counts

176 → 11

regimes913.0ms

Accuracy

52.8% (3.0b remaining)

Error of 13.5b against oracle of 10.5b and baseline of 17.0b

bsearch133.0ms

Steps

Iters	Range		Point
8	1.0438574361459112e-107	1.220063346597708e-104	1.20614265375815e-104
8	-6.856527875648579e+102	-2.4758254467052483e+100	-2.6145062122651243e+100

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	17
1	43	17

end0.0ms

sample940.0ms

Algorithm

intervals

Results

437.0ms

8281×

body

valid

Details

sample37.0ms

simplify7.0ms

prune5.0ms

localize12.0ms

rewrite30.0ms

series189.0ms

simplify51.0ms

prune497.0ms

localize16.0ms

rewrite37.0ms

series632.0ms

simplify83.0ms

prune1.1s

localize25.0ms

rewrite76.0ms

series1.0s

simplify113.0ms

prune1.0s

localize21.0ms

rewrite67.0ms

series375.0ms

simplify70.0ms

prune1.0s

regimes913.0ms

bsearch133.0ms

simplify1.0ms

end0.0ms

sample940.0ms

Profiling