Details

sample29.0ms

Algorithm

intervals

Results

14.0ms

264×

body

valid

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

prune3.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.7b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
3.1b	(/ (* y b) t)
3.4b	(/ (* y z) t)
14.0b	(/ (+ 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:

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

series166.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify49.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 1 (11.0ms)

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

prune282.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: 13.1b

Counts

114 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.9b	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
3.1b	(/ (* y b) t)
3.4b	(/ (* y z) t)
13.5b	(* (+ x (/ (* y z) t)) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

66×	`*-un-lft-identity`
38×	`times-frac`
35×	`add-sqr-sqrt`
28×	`add-cube-cbrt`
27×	`add-exp-log`
23×	`associate-r`
22×	`distribute-lft-out`
21×	`add-cbrt-cube`
11×	`associate-/r*`
8×	`div-exp` `associate-/r/`
7×	`pow1`
6×	`cbrt-undiv` `flip3-+` `prod-exp` `flip-+`
5×	`associate-/l*`
4×	`associate-l` `frac-add` `cbrt-unprod` `div-inv` `add-log-exp`
3×	`frac-2neg` `clear-num` `unswap-sqr`
2×	`frac-times` `rec-exp` `1-exp` `associate-*l/`
1×	`pow-flip` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 136

Calls

4 calls:

8.0ms	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
4.0ms	(/ (* y b) t)
4.0ms	(/ (* y z) t)
17.0ms	(* (+ x (/ (* y z) t)) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

series198.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
22.0ms	(/ (* y b) t)
17.0ms	(/ (* y z) t)
107.0ms	(* (+ x (/ (* y z) t)) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

simplify66.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	575	1087
1	2852	963
2	5001	921

prune286.0ms

Filtered

148 candidates to 82 candidates (55.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	144	4	148
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	147	14	161

Merged error: 13.1b

Counts

161 → 14

localize23.0ms

Local error

Found 4 expressions with local error:

0.9b	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
3.1b	(/ (* y b) t)
3.3b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
13.5b	(* (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

77×	`*-un-lft-identity`
64×	`add-sqr-sqrt`
63×	`times-frac`
45×	`associate-r`
43×	`add-exp-log`
41×	`add-cube-cbrt`
30×	`add-cbrt-cube`
21×	`distribute-lft-out`
13×	`div-exp` `prod-exp`
11×	`cbrt-undiv` `cbrt-prod` `cbrt-unprod`
10×	`associate-l`
9×	`pow1` `unswap-sqr`
8×	`associate-/r*` `associate-/r/`
6×	`flip3-+` `flip-+`
5×	`div-inv`
4×	`frac-add` `associate-/l*` `add-log-exp`
3×	`frac-times` `associate-*l/`
2×	`rec-exp` `frac-2neg` `1-exp` `associate-r/` `pow-prod-down` `clear-num` `-commutative`
1×	`pow-flip` `un-div-inv` `inv-pow`

Counts

4 → 173

Calls

4 calls:

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

series399.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
19.0ms	(/ (* y b) t)
52.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
273.0ms	(* (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

simplify99.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 2 (81.0ms)

Iter	Nodes	Cost
0	856	1900
1	4469	1688
2	5001	1607

prune450.0ms

Filtered

185 candidates to 112 candidates (60.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	182	3	185
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	183	16	199

Merged error: 12.3b

Counts

199 → 16

localize24.0ms

Local error

Found 4 expressions with local error:

0.9b	(/ 1 (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))
2.3b	(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
3.3b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
13.5b	(* (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (/ 1 (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t))))))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

89×	`add-sqr-sqrt`
76×	`times-frac`
65×	`associate-r`
59×	`add-exp-log`
51×	`*-un-lft-identity`
50×	`add-cube-cbrt`
39×	`add-cbrt-cube`
22×	`cbrt-prod`
20×	`prod-exp`
18×	`div-exp` `cbrt-unprod`
17×	`associate-l`
16×	`cbrt-undiv` `associate-/r/`
15×	`unswap-sqr`
12×	`frac-add`
11×	`pow1`
10×	`flip3-+` `flip-+`
8×	`frac-times` `associate-*l/`
7×	`associate-*r/`
6×	`div-inv`
4×	`add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative` `associate-/l*`
2×	`rec-exp` `1-exp`
1×	`pow-flip` `frac-2neg` `clear-num` `un-div-inv` `inv-pow`

Counts

4 → 205

Calls

4 calls:

7.0ms	(/ 1 (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))
14.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
14.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
14.0ms	(* (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (/ 1 (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t))))))

series687.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify51.0ms

Algorithm

egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1086	2961
1	5001	2661

prune597.0ms

Filtered

217 candidates to 157 candidates (72.4%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	214	3	217
Fresh	3	12	15
Picked	0	1	1
Done	0	0	0
Total	217	16	233

Merged error: 12.3b

Counts

233 → 16

regimes447.0ms

Accuracy

0% (4.2b remaining)

Error of 14.7b against oracle of 10.5b and baseline of 14.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	19
1	28	19

end0.0ms

sample743.0ms

Algorithm

intervals

Results

464.0ms

8268×

body

valid

Details

sample29.0ms

simplify8.0ms

prune3.0ms

localize13.0ms

rewrite30.0ms

series166.0ms

simplify49.0ms

prune282.0ms

localize18.0ms

rewrite38.0ms

series198.0ms

simplify66.0ms

prune286.0ms

localize23.0ms

rewrite49.0ms

series399.0ms

simplify99.0ms

prune450.0ms

localize24.0ms

rewrite57.0ms

series687.0ms

simplify51.0ms

prune597.0ms

regimes447.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample743.0ms

Profiling