Details

sample34.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.990845%

Results

18.0ms

256×

body

valid

simplify64.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	17
1	44	17
2	126	17
3	328	17
4	602	17
5	780	17
6	1010	17
7	1482	17
8	5001	17

prune3.0ms

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

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
0.0b	(+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-exp-log` `add-cbrt-cube`
56×	`*-un-lft-identity`
49×	`times-frac`
32×	`add-sqr-sqrt`
30×	`prod-exp` `cbrt-unprod`
28×	`add-cube-cbrt`
25×	`cbrt-undiv` `div-exp`
24×	`swap-sqr`
20×	`associate-r` `associate-l`
18×	`pow1` `associate-/r/`
12×	`distribute-lft-out`
11×	`flip3-+` `flip-+`
9×	`div-inv`
6×	`add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow2` `frac-times` `pow-plus` `associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `*-commutative` `pow-prod-up` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `clear-num` `sum-log`

Counts

4 → 176

Calls

4 calls:

7.0ms	(/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
3.0ms	(+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
14.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
14.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

series17.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
4.0ms	(+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
3.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
3.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

simplify91.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	628	2260
1	3153	1815
2	5002	1770

prune330.0ms

Filtered

114 candidates to 188 candidates (-64.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	185	3	188
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	186	3	189

Merged error: 0b

Counts

189 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b	(pow (/ (* 2.0 t) (+ 1.0 t)) 3)
0.1b	(* (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (/ (* 2.0 t) (+ 1.0 t)))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

133×	`add-exp-log`
91×	`add-cbrt-cube`
70×	`*-un-lft-identity`
60×	`times-frac`
54×	`prod-exp`
46×	`associate-l`
43×	`add-sqr-sqrt`
42×	`div-exp`
35×	`cbrt-unprod`
32×	`add-cube-cbrt`
30×	`associate-r`
28×	`cbrt-undiv`
26×	`associate-/r/`
24×	`swap-sqr`
21×	`unpow-prod-down` `cube-prod`
20×	`pow1`
17×	`distribute-lft-out`
13×	`flip3-+` `flip-+` `div-inv`
12×	`pow-exp`
6×	`unswap-sqr`
4×	`pow-to-exp` `add-log-exp`
3×	`cube-div` `frac-times` `pow-unpow` `pow-plus` `associate-r/` `associate-l/` `*-commutative` `pow-prod-up` `rem-cube-cbrt` `sqr-pow`
2×	`pow2` `cube-mult` `unpow3` `pow-prod-down` `pow-sqr`
1×	`pow-pow`

Counts

4 → 247

Calls

4 calls:

14.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
14.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
7.0ms	(pow (/ (* 2.0 t) (+ 1.0 t)) 3)
17.0ms	(* (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (/ (* 2.0 t) (+ 1.0 t)))

series19.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
3.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
3.0ms	(pow (/ (* 2.0 t) (+ 1.0 t)) 3)
9.0ms	(* (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (/ (* 2.0 t) (+ 1.0 t)))

simplify46.0ms

Algorithm

egg-herbie

Counts

259 → 259

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	801	1786
1	5001	1538

prune588.0ms

Filtered

135 candidates to 259 candidates (-91.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	259	0	259
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	259	3	262

Merged error: 0b

Counts

262 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
0.0b	(/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

130×	`times-frac`
100×	`*-un-lft-identity`
89×	`add-exp-log`
83×	`add-cbrt-cube`
76×	`add-sqr-sqrt`
72×	`add-cube-cbrt`
32×	`div-exp`
30×	`prod-exp` `cbrt-unprod`
28×	`cbrt-undiv`
27×	`associate-/r/`
24×	`swap-sqr`
20×	`associate-r` `associate-l`
19×	`pow1`
18×	`associate-/r*`
14×	`flip3-+` `flip-+` `div-inv`
12×	`distribute-lft-out`
6×	`associate-/l*`
4×	`add-log-exp`
2×	`pow2` `frac-times` `rec-exp` `frac-2neg` `pow-plus` `1-exp` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `pow-sqr` `*-commutative` `pow-prod-up` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 249

Calls

4 calls:

8.0ms	(/ 1 (/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
7.0ms	(/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
16.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
14.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

series21.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ 1 (/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
7.0ms	(/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
3.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
3.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

simplify134.0ms

Algorithm

egg-herbie

Counts

261 → 261

Iterations

Useful iterations: 2 (90.0ms)

Iter	Nodes	Cost
0	877	4722
1	4629	4093
2	5002	4064

prune629.0ms

Filtered

156 candidates to 261 candidates (-67.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	261	0	261
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	261	3	264

Merged error: 0b

Counts

264 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
1.0b	(* (cbrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

114×	`add-exp-log`
112×	`add-cbrt-cube`
102×	`*-un-lft-identity` `times-frac`
90×	`add-sqr-sqrt`
72×	`cbrt-prod`
60×	`add-cube-cbrt`
54×	`swap-sqr`
48×	`associate-r` `associate-l`
46×	`prod-exp` `cbrt-unprod`
36×	`cbrt-undiv` `div-exp`
32×	`pow1` `associate-/r/`
18×	`distribute-lft-out`
16×	`flip3-+` `flip-+` `div-inv`
12×	`unswap-sqr`
6×	`pow1/3`
5×	`pow-prod-down` `pow-sqr` `pow-prod-up`
4×	`pow2` `frac-times` `cbrt-div` `pow-plus` `associate-r/` `associate-l/` `*-commutative` `add-log-exp`

Counts

4 → 285

Calls

4 calls:

14.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
14.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
14.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
17.0ms	(* (cbrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))

series24.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
3.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
4.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
14.0ms	(* (cbrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))

simplify122.0ms

Algorithm

egg-herbie

Counts

297 → 297

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	722	5868
1	3466	5200
2	5001	4903

prune2.7s

Filtered

176 candidates to 297 candidates (-68.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	297	0	297
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	297	3	300

Merged error: 0b

Counts

300 → 3

regimes154.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	28
1	21	28

end0.0ms

sample746.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.990845%

Results

606.0ms

8000×

body

valid

Details

sample34.0ms

simplify64.0ms

prune3.0ms

localize12.0ms

rewrite45.0ms

series17.0ms

simplify91.0ms

prune330.0ms

localize17.0ms

rewrite63.0ms

series19.0ms

simplify46.0ms

prune588.0ms

localize10.0ms

rewrite55.0ms

series21.0ms

simplify134.0ms

prune629.0ms

localize17.0ms

rewrite77.0ms

series24.0ms

simplify122.0ms

prune2.7s

regimes154.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample746.0ms

Profiling