Details

sample36.0ms

Algorithm

intervals

Results

14.0ms

256×

body

valid

simplify59.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5284	21

prune13.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 27.7b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ t y) a)
1.5b	(+ (* (+ x y) z) (* (+ t y) a))
1.8b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
26.0b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity`
18×	`add-sqr-sqrt`
16×	`add-cube-cbrt`
15×	`times-frac`
13×	`distribute-lft-out`
11×	`add-log-exp`
10×	`associate-*l/`
8×	`add-exp-log` `add-cbrt-cube`
7×	`flip3-+` `flip-+`
6×	`pow1`
5×	`associate-/r*`
4×	`associate-l` `frac-add`
3×	`associate-r` `associate-/l*`
2×	`flip3--` `diff-log` `sum-log` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `associate--l+` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 90

Calls

4 calls:

6.0ms	(* (+ t y) a)
8.0ms	(+ (* (+ x y) z) (* (+ t y) a))
11.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
16.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series199.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ t y) a)
19.0ms	(+ (* (+ x y) z) (* (+ t y) a))
30.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
144.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify43.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5333	2060

prune171.0ms

Filtered

78 candidates to 102 candidates (-30.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	91	11	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	11	103

Merged error: 5.4b

Counts

103 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ y (+ x (+ y t)))
1.5b	(+ (* (+ x y) z) (* (+ y t) a))
3.5b	(* (/ y (+ x (+ y t))) b)
23.4b	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

89×	`*-un-lft-identity`
46×	`times-frac`
39×	`add-sqr-sqrt`
34×	`add-cube-cbrt`
33×	`distribute-lft-out`
21×	`associate-l`
17×	`associate-*l/`
13×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
10×	`associate-/r*`
8×	`frac-add`
6×	`pow1` `associate-/r/` `associate-/l/` `associate-/l*` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-r` `div-inv`
2×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `pow-prod-down` `sum-log` `*-commutative`

Counts

4 → 135

Calls

4 calls:

7.0ms	(/ y (+ x (+ y t)))
8.0ms	(+ (* (+ x y) z) (* (+ y t) a))
11.0ms	(* (/ y (+ x (+ y t))) b)
14.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series125.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ y (+ x (+ y t)))
17.0ms	(+ (* (+ x y) z) (* (+ y t) a))
31.0ms	(* (/ y (+ x (+ y t))) b)
66.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify47.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4980	2273
1	4980	2273

prune174.0ms

Filtered

101 candidates to 147 candidates (-45.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	142	5	147
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	147	11	158

Merged error: 3.6b

Counts

158 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ b (+ x (+ y t)))
1.5b	(+ (* (+ x y) z) (* (+ y t) a))
10.3b	(* y (/ b (+ x (+ y t))))
23.4b	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

89×	`*-un-lft-identity`
46×	`times-frac`
39×	`add-sqr-sqrt`
34×	`add-cube-cbrt`
33×	`distribute-lft-out`
21×	`associate-r`
16×	`associate-*l/`
13×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
10×	`associate-/r*`
8×	`frac-add`
6×	`pow1` `associate-/r/` `associate-/l/` `associate-/l*` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-l` `div-inv`
2×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-r/` `pow-prod-down` `sum-log` `-commutative`

Counts

4 → 135

Calls

4 calls:

7.0ms	(/ b (+ x (+ y t)))
9.0ms	(+ (* (+ x y) z) (* (+ y t) a))
12.0ms	(* y (/ b (+ x (+ y t))))
14.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series111.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ b (+ x (+ y t)))
17.0ms	(+ (* (+ x y) z) (* (+ y t) a))
21.0ms	(* y (/ b (+ x (+ y t))))
62.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify47.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5085	2247

prune165.0ms

Filtered

100 candidates to 147 candidates (-47.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	147	11	158

Merged error: 3.6b

Counts

158 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
1.4b	(+ (* t a) (* y (- a b)))
2.1b	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
26.0b	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

156×	`*-un-lft-identity`
150×	`times-frac`
76×	`add-sqr-sqrt` `add-cube-cbrt`
48×	`distribute-lft-out`
32×	`flip3-+` `flip-+`
31×	`associate-/r/`
28×	`associate-/r*`
24×	`associate-*l/` `frac-add`
17×	`add-exp-log`
11×	`add-cbrt-cube` `add-log-exp`
8×	`div-exp` `associate-/l*`
6×	`div-inv`
5×	`pow1` `associate-+r+`
4×	`cbrt-undiv` `sum-log`
2×	`+-commutative` `distribute-rgt-in` `sub-neg` `rec-exp` `frac-2neg` `distribute-lft-in` `1-exp` `clear-num` `associate-/l/`
1×	`pow-flip` `inv-pow`

Counts

4 → 199

Calls

4 calls:

21.0ms	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
4.0ms	(+ (* t a) (* y (- a b)))
10.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
15.0ms	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

series220.0ms

Counts

4 → 12

Calls

4 calls:

140.0ms	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
10.0ms	(+ (* t a) (* y (- a b)))
34.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
36.0ms	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

simplify84.0ms

Algorithm

egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5170	7220

prune173.0ms

Filtered

125 candidates to 211 candidates (-68.8%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	210	1	211
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	210	12	222

Merged error: 3.6b

Counts

222 → 12

regimes928.0ms

Accuracy

13.6% (19.0b remaining)

Error of 22.0b against oracle of 3.0b and baseline of 25.0b

bsearch153.0ms

Steps

Iters	Range		Point
9	463159441761.6243	1.8665167550746456e+19	1.7871583142091725e+19
10	4.1539097876861654e-85	2.1267959726339025e-75	4.2757245011570004e-85
10	1.4692311910415118e-142	5.7190073950046516e-126	9.042614339967227e-130
6	5.936195392081649e-171	2.3802373803725074e-170	1.4608526545304822e-170
8	-1.9572759991035048e-200	-1.879757870959777e-203	-1.8141453022121192e-201
8	-9.659083154957343e+35	-1.6580021453832324e+32	-6.91578830349726e+35

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	114	145
1	114	145

end0.0ms

sample945.0ms

Algorithm

intervals

Results

428.0ms	7997×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

sample36.0ms

simplify59.0ms

prune13.0ms

localize14.0ms

rewrite43.0ms

series199.0ms

simplify43.0ms

prune171.0ms

localize14.0ms

rewrite45.0ms

series125.0ms

simplify47.0ms

prune174.0ms

localize14.0ms

rewrite48.0ms

series111.0ms

simplify47.0ms

prune165.0ms

localize15.0ms

rewrite63.0ms

series220.0ms

simplify84.0ms

prune173.0ms

regimes928.0ms

bsearch153.0ms

simplify2.0ms

end0.0ms

sample945.0ms

Profiling