Details

analyze13.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
81.2%	18.7%	0%	6
100%	0%	0%	7

sample40.0ms

Algorithm

intervals

Results

32.0ms

256×

body

valid

simplify82.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4938	73
1	4938	73

prune16.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: 28.6b

Counts

2 → 2

localize48.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (pow x 10) 0.0008327945)
0.3b	(* 0.0001789971 (pow x 10))
13.8b	(* x (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))
28.1b	(/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

99×	`*-un-lft-identity`
47×	`add-sqr-sqrt`
41×	`times-frac`
38×	`distribute-lft-out`
36×	`associate-r`
32×	`add-cube-cbrt`
21×	`add-exp-log`
15×	`add-cbrt-cube`
13×	`associate-l`
8×	`unpow-prod-down` `prod-exp` `unswap-sqr`
6×	`pow1`
5×	`associate-/r*`
4×	`associate-/r/` `cbrt-unprod` `associate-/l*` `add-log-exp` `sqr-pow`
3×	`flip3-+` `*-commutative` `flip-+`
2×	`cbrt-undiv` `pow-to-exp` `div-exp` `pow-exp` `div-inv` `associate-/l/`
1×	`frac-2neg` `associate-*r/` `pow-prod-down` `clear-num`

Counts

4 → 140

Calls

4 calls:

5.0ms	(* (pow x 10) 0.0008327945)
5.0ms	(* 0.0001789971 (pow x 10))
38.0ms	(* x (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))
30.0ms	(/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))

series58.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (pow x 10) 0.0008327945)
9.0ms	(* 0.0001789971 (pow x 10))
23.0ms	(* x (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))
20.0ms	(/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))

simplify106.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4954	7696
1	4954	7696

prune1.0s

Filtered

96 candidates to 152 candidates (-58.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	149	3	152
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	151	3	154

Merged error: 0b

Counts

154 → 3

localize58.0ms

Local error

Found 4 expressions with local error:

1.9b	(sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))
13.8b	(* x (/ (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))) (sqrt (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))))
23.1b	(/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))))
26.1b	(/ (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))) (sqrt (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))

rewrite283.0ms

Algorithm

rewrite-expression-head

Rules

1182×	`*-un-lft-identity`
1058×	`times-frac`
646×	`sqrt-prod`
460×	`add-sqr-sqrt`
435×	`add-cube-cbrt`
408×	`distribute-lft-out`
278×	`associate-r`
42×	`sqrt-div`
40×	`associate-/r/`
38×	`associate-/l*`
22×	`flip3-+` `flip-+`
20×	`add-exp-log` `add-cbrt-cube` `div-inv`
15×	`associate-/r*`
7×	`pow1` `cbrt-undiv` `div-exp` `unswap-sqr`
4×	`add-log-exp`
3×	`associate-l` `prod-exp` `cbrt-unprod` `associate-/l/`
2×	`frac-2neg` `clear-num`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `-commutative`

Counts

4 → 706

Calls

4 calls:

19.0ms	(sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))
104.0ms	(* x (/ (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))) (sqrt (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))))
33.0ms	(/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))))
63.0ms	(/ (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))) (sqrt (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))

series89.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))
28.0ms	(* x (/ (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))) (sqrt (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))))
24.0ms	(/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))))
23.0ms	(/ (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (pow x 10))))))) (sqrt (+ 1.0 (+ (* x (* x 0.7715471019)) (+ (* (pow x 4) 0.2909738639) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))) (sqrt (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))

simplify802.0ms

Algorithm

egg-herbie

Counts

718 → 718

Iterations

Useful iterations: 0 (460.0ms)

Iter	Nodes	Cost
0	4961	82498
1	4961	82498

prune7.6s

Filtered

222 candidates to 718 candidates (-223.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	718	0	718
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	718	3	721

Merged error: 0b

Counts

721 → 3

localize54.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (* x 0.7715471019))
0.3b	(* (pow x 10) 0.0008327945)
13.8b	(* x (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* (* (sqrt 0.0001789971) (pow x 5)) (* (sqrt 0.0001789971) (pow x 5)))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))
28.1b	(/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* (* (sqrt 0.0001789971) (pow x 5)) (* (sqrt 0.0001789971) (pow x 5)))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

97×	`*-un-lft-identity`
41×	`times-frac`
40×	`add-sqr-sqrt`
38×	`distribute-lft-out`
30×	`add-cube-cbrt` `associate-r`
21×	`add-exp-log`
18×	`add-cbrt-cube`
13×	`associate-l`
11×	`pow1`
8×	`prod-exp`
6×	`cbrt-unprod`
5×	`associate-/r*` `unswap-sqr`
4×	`unpow-prod-down` `pow-prod-down` `associate-/r/` `associate-/l*` `add-log-exp`
3×	`flip3-+` `*-commutative` `flip-+`
2×	`cbrt-undiv` `div-exp` `div-inv` `associate-/l/` `sqr-pow`
1×	`pow-to-exp` `frac-2neg` `associate-*r/` `pow-exp` `clear-num`

Counts

4 → 133

Calls

4 calls:

5.0ms	(* x (* x 0.7715471019))
5.0ms	(* (pow x 10) 0.0008327945)
39.0ms	(* x (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* (* (sqrt 0.0001789971) (pow x 5)) (* (sqrt 0.0001789971) (pow x 5)))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))
32.0ms	(/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* (* (sqrt 0.0001789971) (pow x 5)) (* (sqrt 0.0001789971) (pow x 5)))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))

series67.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* x (* x 0.7715471019))
5.0ms	(* (pow x 10) 0.0008327945)
34.0ms	(* x (/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* (* (sqrt 0.0001789971) (pow x 5)) (* (sqrt 0.0001789971) (pow x 5)))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12))))))))))
25.0ms	(/ (+ 1.0 (+ (* 0.1049934947 (* x x)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* (* (sqrt 0.0001789971) (pow x 5)) (* (sqrt 0.0001789971) (pow x 5)))))))) (+ 1.0 (+ (+ (* x (* x 0.7715471019)) (* (pow x 4) 0.2909738639)) (+ (* (pow x 6) 0.0694555761) (+ (* (pow x 8) 0.0140005442) (+ (* (pow x 10) 0.0008327945) (* 0.0001789971 (* 2.0 (pow x 12)))))))))

simplify141.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4984	7698
1	4984	7698

prune1.1s

Filtered

89 candidates to 145 candidates (-62.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	145	3	148

Merged error: 0b

Counts

148 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ 0.2514179000665375 (pow x 3)) (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x)))
0.0b	(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x))
0.1b	(/ 0.15298196345929327 (pow x 5))
0.3b	(/ 0.2514179000665375 (pow x 3))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

62×	`*-un-lft-identity` `times-frac`
45×	`add-sqr-sqrt` `add-cube-cbrt`
24×	`unpow-prod-down`
19×	`associate-/r*`
14×	`add-exp-log`
12×	`cube-prod`
11×	`add-log-exp`
8×	`add-cbrt-cube` `sqr-pow`
7×	`distribute-lft-out`
6×	`div-exp` `associate-/l*`
5×	`frac-add`
4×	`pow1` `cube-mult` `unpow3` `sum-log`
3×	`flip3-+` `flip-+`
2×	`cbrt-undiv` `+-commutative` `pow-to-exp` `frac-2neg` `pow-exp` `clear-num` `div-inv`
1×	`associate-+r+`

Counts

4 → 143

Calls

4 calls:

36.0ms	(+ (/ 0.2514179000665375 (pow x 3)) (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x)))
18.0ms	(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x))
4.0ms	(/ 0.15298196345929327 (pow x 5))
5.0ms	(/ 0.2514179000665375 (pow x 3))

series23.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ (/ 0.2514179000665375 (pow x 3)) (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x)))
9.0ms	(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x))
4.0ms	(/ 0.15298196345929327 (pow x 5))
4.0ms	(/ 0.2514179000665375 (pow x 3))

simplify37.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5029	1705

prune223.0ms

Filtered

97 candidates to 155 candidates (-59.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	155	0	155
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	155	3	158

Merged error: 0b

Counts

158 → 3

regimes57.0ms

Accuracy

100% (0.0b remaining)

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

bsearch90.0ms

Steps

Iters	Range		Point
10	2.2947810024786993e-06	7928797038.248834	13983.011996064055
6	-1796444.4325379347	-126474.40703048688	-787145.0806359365

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	107	139
1	107	139

end0.0ms

analyze8.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
81.2%	18.7%	0%	6
100%	0%	0%	7

sample1.1s

Algorithm

intervals

Results

987.0ms

8000×

body

valid

Details

analyze13.0ms

sample40.0ms

simplify82.0ms

prune16.0ms

localize48.0ms

rewrite84.0ms

series58.0ms

simplify106.0ms

prune1.0s

localize58.0ms

rewrite283.0ms

series89.0ms

simplify802.0ms

prune7.6s

localize54.0ms

rewrite87.0ms

series67.0ms

simplify141.0ms

prune1.1s

localize14.0ms

rewrite69.0ms

series23.0ms

simplify37.0ms

prune223.0ms

regimes57.0ms

bsearch90.0ms

simplify2.0ms

end0.0ms

analyze8.0ms

sample1.1s

Profiling