Details

sample42.0ms

Algorithm

intervals

Results

32.0ms

256×

body

valid

simplify106.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	132	86
1	557	78
2	2622	41
3	5001	41

prune13.0ms

Filtered

1 candidates to 1 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: 29.8b

Counts

2 → 2

localize44.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* x x) 0.0001789971)
0.1b	(* (* x x) 0.0072644182)
14.5b	(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
25.9b	(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

126×	`times-frac`
120×	`associate-*r/` `frac-add`
102×	`flip3-+` `flip-+`
72×	`add-sqr-sqrt`
71×	`associate-/r/`
70×	`add-cube-cbrt` `*-un-lft-identity`
30×	`associate-/r*`
21×	`add-exp-log` `add-cbrt-cube`
14×	`pow1` `associate-/l/`
6×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
2×	`frac-2neg` `associate-l` `clear-num` `*-commutative` `unswap-sqr`

Counts

4 → 219

Calls

4 calls:

6.0ms	(* (* x x) 0.0001789971)
6.0ms	(* (* x x) 0.0072644182)
29.0ms	(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
35.0ms	(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

series47.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* x x) 0.0001789971)
3.0ms	(* (* x x) 0.0072644182)
22.0ms	(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
19.0ms	(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

simplify164.0ms

Algorithm

egg-herbie

Counts

231 → 231

Iterations

Useful iterations: 1 (40.0ms)

Iter	Nodes	Cost
0	1774	14284
1	5001	13786

prune3.5s

Filtered

195 candidates to 231 candidates (-18.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	228	3	231
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	229	4	233

Merged error: 0b

Counts

233 → 4

localize47.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* x x) 0.0001789971)
0.1b	(* (* x x) 0.0072644182)
0.6b	(/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))))
28.6b	(* (/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

94×	`associate-*r/`
80×	`frac-add`
68×	`flip3-+` `flip-+`
29×	`add-sqr-sqrt` `associate-l`
28×	`associate-/r/`
22×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log` `add-cbrt-cube`
19×	`times-frac`
16×	`pow1`
14×	`frac-times`
9×	`associate-r`
8×	`prod-exp` `cbrt-unprod`
7×	`pow-prod-down`
4×	`add-log-exp` `unswap-sqr`
3×	`associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `div-inv`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `associate-*l/` `clear-num`

Counts

4 → 155

Calls

4 calls:

6.0ms	(* (* x x) 0.0001789971)
6.0ms	(* (* x x) 0.0072644182)
22.0ms	(/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))))
37.0ms	(* (/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

series41.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* x x) 0.0001789971)
3.0ms	(* (* x x) 0.0072644182)
13.0ms	(/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))))
22.0ms	(* (/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

simplify109.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 1 (45.0ms)

Iter	Nodes	Cost
0	2160	7425
1	5001	7128

prune1.7s

Filtered

134 candidates to 167 candidates (-24.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	167	4	171

Merged error: 0b

Counts

171 → 4

localize44.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))
0.3b	(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
14.4b	(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
29.3b	(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite223.0ms

Algorithm

rewrite-expression-head

Rules

117×	`add-exp-log` `add-cbrt-cube`
112×	`pow1`
86×	`prod-exp` `cbrt-unprod`
85×	`pow-prod-down`
27×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
21×	`associate-l`
19×	`times-frac`
5×	`associate-r`
4×	`associate-/r/` `add-log-exp`
3×	`flip3-+` `associate-/r` `-commutative` `flip-+` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `div-inv` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `associate-*l/` `clear-num`

Counts

4 → 155

Calls

4 calls:

57.0ms	(* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))
55.0ms	(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
39.0ms	(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
64.0ms	(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series58.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))
4.0ms	(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
24.0ms	(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
25.0ms	(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify166.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (104.0ms)

Iter	Nodes	Cost
0	908	8328
1	4076	6741
2	5001	6540

prune611.0ms

Filtered

89 candidates to 167 candidates (-87.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	167	4	171

Merged error: 0b

Counts

171 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 0.15298196345929327 (/ 1 (pow x 5)))
0.1b	(/ 1 (pow x 5))
0.1b	(* 0.2514179000665375 (/ 1 (pow x 3)))
0.6b	(/ 1 (pow x 3))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

128×	`times-frac`
118×	`add-sqr-sqrt`
90×	`*-un-lft-identity`
83×	`add-cube-cbrt`
65×	`associate-r`
62×	`add-exp-log`
46×	`unpow-prod-down`
24×	`div-exp`
23×	`cube-prod`
20×	`prod-exp`
19×	`associate-/r*`
18×	`add-cbrt-cube` `sqr-pow`
16×	`unswap-sqr`
12×	`pow-to-exp` `rec-exp` `1-exp` `pow-exp`
8×	`pow1`
7×	`cube-mult` `unpow3`
6×	`associate-l` `associate-/l*`
4×	`cbrt-undiv` `cbrt-unprod` `div-inv` `add-log-exp`
2×	`pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 259

Calls

4 calls:

10.0ms	(* 0.15298196345929327 (/ 1 (pow x 5)))
5.0ms	(/ 1 (pow x 5))
16.0ms	(* 0.2514179000665375 (/ 1 (pow x 3)))
6.0ms	(/ 1 (pow x 3))

series15.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 0.15298196345929327 (/ 1 (pow x 5)))
4.0ms	(/ 1 (pow x 5))
4.0ms	(* 0.2514179000665375 (/ 1 (pow x 3)))
3.0ms	(/ 1 (pow x 3))

simplify68.0ms

Algorithm

egg-herbie

Counts

271 → 271

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	631	1184
1	3260	864
2	5001	864

prune278.0ms

Filtered

122 candidates to 271 candidates (-122.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	271	0	271
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	271	4	275

Merged error: 0b

Counts

275 → 4

regimes129.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 28.9b

bsearch63.0ms

Steps

Iters	Range		Point
10	0.0364262917160445	547825979.610153	665.2641831453622
7	-17723757.76356152	-340480.61858828116	-946706.4048587001

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	105	51
1	105	51

end0.0ms

sample1.1s

Algorithm

intervals

Results

936.0ms

8000×

body

valid

Details

sample42.0ms

simplify106.0ms

prune13.0ms

localize44.0ms

rewrite95.0ms

series47.0ms

simplify164.0ms

prune3.5s

localize47.0ms

rewrite83.0ms

series41.0ms

simplify109.0ms

prune1.7s

localize44.0ms

rewrite223.0ms

series58.0ms

simplify166.0ms

prune611.0ms

localize14.0ms

rewrite47.0ms

series15.0ms

simplify68.0ms

prune278.0ms

regimes129.0ms

bsearch63.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling