Details

sample28.0ms

Algorithm

intervals

Results

14.0ms

268×

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

prune2.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: 16.8b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
4.0b	(/ (* y b) t)
5.1b	(/ (* y z) t)
12.7b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

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

series160.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(+ x (/ (* y z) t))
19.0ms	(/ (* y b) t)
17.0ms	(/ (* y z) t)
96.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

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

prune281.0ms

Filtered

113 candidates to 73 candidates (64.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	101	12	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	12	114

Merged error: 10.5b

Counts

114 → 12

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
2.8b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.0b	(/ (* y b) t)
12.7b	(/ (+ 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)
15.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)))

series546.0ms

Counts

4 → 12

Calls

4 calls:

193.0ms	(cbrt t)
47.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
24.0ms	(/ (* y b) t)
281.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify94.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 2 (79.0ms)

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

prune407.0ms

Filtered

144 candidates to 101 candidates (70.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	141	3	144
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	144	12	156

Merged error: 10.3b

Counts

156 → 12

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
2.8b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.0b	(* y (/ b t))
12.7b	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

rewrite37.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)
15.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
6.0ms	(* y (/ b t))
10.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

series614.0ms

Counts

4 → 12

Calls

4 calls:

190.0ms	(cbrt t)
75.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
28.0ms	(* y (/ b t))
321.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

simplify102.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 2 (89.0ms)

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

prune424.0ms

Filtered

147 candidates to 108 candidates (73.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	147	12	159

Merged error: 10.3b

Counts

159 → 12

localize224.0ms

Local error

Found 4 expressions with local error:

7.0b	(cbrt (/ y (* (cbrt t) (cbrt t))))
7.0b	(cbrt (/ y (* (cbrt t) (cbrt t))))
7.0b	(cbrt (/ y (* (cbrt t) (cbrt t))))
12.7b	(/ (+ x (* (* (cbrt (/ y (* (cbrt t) (cbrt t)))) (cbrt (/ y (* (cbrt t) (cbrt t))))) (* (cbrt (/ y (* (cbrt t) (cbrt t)))) (/ z (cbrt t))))) (+ (+ a 1.0) (* y (/ b t))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
18×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `associate-/r/` `div-inv` `add-log-exp`
3×	`cbrt-div` `flip3-+` `pow1/3` `associate-/r` `flip-+` `associate-/l`
2×	`associate-*r/` `frac-add` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`

Counts

4 → 81

Calls

4 calls:

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

series691.0ms

Counts

4 → 12

Calls

4 calls:

149.0ms	(cbrt (/ y (* (cbrt t) (cbrt t))))
152.0ms	(cbrt (/ y (* (cbrt t) (cbrt t))))
145.0ms	(cbrt (/ y (* (cbrt t) (cbrt t))))
245.0ms	(/ (+ x (* (* (cbrt (/ y (* (cbrt t) (cbrt t)))) (cbrt (/ y (* (cbrt t) (cbrt t))))) (* (cbrt (/ y (* (cbrt t) (cbrt t)))) (/ z (cbrt t))))) (+ (+ a 1.0) (* y (/ b t))))

simplify48.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	338	1752
1	1251	1597
2	5001	1585

prune351.0ms

Filtered

93 candidates to 79 candidates (84.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	93	12	105

Merged error: 10.3b

Counts

105 → 12

regimes357.0ms

Accuracy

52.3% (2.7b remaining)

Error of 13.8b against oracle of 11.1b and baseline of 16.7b

bsearch101.0ms

Steps

Iters	Range		Point
7	2.1408141486357168e+70	9.971159112626265e+71	2.6520941343413175e+70
7	-7.138051140908932e+101	-6.842562440764495e+99	-7.415913029827636e+99

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	22
1	48	22

end0.0ms

sample787.0ms

Algorithm

intervals

Results

491.0ms

8277×

body

valid

Details

sample28.0ms

simplify9.0ms

prune2.0ms

localize12.0ms

rewrite33.0ms

series160.0ms

simplify54.0ms

prune281.0ms

localize17.0ms

rewrite37.0ms

series546.0ms

simplify94.0ms

prune407.0ms

localize21.0ms

rewrite37.0ms

series614.0ms

simplify102.0ms

prune424.0ms

localize224.0ms

rewrite27.0ms

series691.0ms

simplify48.0ms

prune351.0ms

regimes357.0ms

bsearch101.0ms

simplify2.0ms

end0.0ms

sample787.0ms

Profiling