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

sample37.0ms

Algorithm

intervals

Results

29.0ms

256×

body

valid

simplify84.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4938	73
1	4938	73

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

Counts

2 → 2

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 0.1049934947 (* x x))
0.1b	(* x (* x 0.7715471019))
16.1b	(* 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)))))))))

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

95×	`*-un-lft-identity`
41×	`times-frac`
38×	`distribute-lft-out`
34×	`add-sqr-sqrt`
28×	`add-cube-cbrt` `associate-r`
21×	`add-exp-log` `add-cbrt-cube`
16×	`pow1`
9×	`associate-l`
8×	`prod-exp` `cbrt-unprod`
7×	`pow-prod-down`
5×	`associate-/r*`
4×	`associate-/r/` `associate-/l*` `add-log-exp`
3×	`flip3-+` `*-commutative` `flip-+` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `div-inv` `associate-/l/`
1×	`frac-2neg` `associate-*r/` `clear-num`

Counts

4 → 127

Calls

4 calls:

6.0ms	(* 0.1049934947 (* x x))
5.0ms	(* x (* x 0.7715471019))
43.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))))))))))
36.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)))))))))

series52.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 0.1049934947 (* x x))
3.0ms	(* x (* x 0.7715471019))
26.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)))))))))

simplify133.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4949	7572
1	4949	7572

prune1.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	134	5	139
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	136	5	141

Merged error: 0.0b

Counts

141 → 5

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (pow x 4) 0.2909738639)
0.1b	(* 0.1049934947 (* x x))
0.1b	(* x (* x 0.7715471019))
28.2b	(/ (* 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)))))))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

5.0ms	(* (pow x 4) 0.2909738639)
5.0ms	(* 0.1049934947 (* x x))
5.0ms	(* x (* x 0.7715471019))
34.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)))))))))

series38.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (pow x 4) 0.2909738639)
3.0ms	(* 0.1049934947 (* x x))
3.0ms	(* x (* x 0.7715471019))
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)))))))) (+ 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)))))))))

simplify44.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5310	2769

prune766.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	103	5	108

Merged error: 0.0b

Counts

108 → 5

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x (* x 0.7715471019))
7.9b	(cbrt (pow (/ (+ 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)))))))))) 3))
16.1b	(* x (cbrt (pow (/ (+ 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)))))))))) 3)))
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))))))))))

rewrite138.0ms

Algorithm

rewrite-expression-head

Rules

139×	`*-un-lft-identity`
106×	`cbrt-prod`
82×	`times-frac`
70×	`add-sqr-sqrt`
55×	`add-cube-cbrt`
54×	`associate-r`
46×	`unpow-prod-down` `cube-prod`
42×	`distribute-lft-out`
13×	`add-exp-log`
12×	`add-cbrt-cube`
11×	`pow1`
10×	`associate-/r/`
7×	`unswap-sqr`
6×	`flip3-+` `associate-l` `flip-+`
5×	`div-inv`
4×	`pow-prod-down` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l` `add-log-exp`
3×	`sqr-pow`
2×	`cube-div` `cube-mult` `cbrt-div` `unpow3` `*-commutative` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `pow1/3` `associate-*r/` `div-exp` `clear-num` `rem-cbrt-cube`

Counts

4 → 193

Calls

4 calls:

5.0ms	(* x (* x 0.7715471019))
36.0ms	(cbrt (pow (/ (+ 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)))))))))) 3))
50.0ms	(* x (cbrt (pow (/ (+ 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)))))))))) 3)))
37.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))))))))))

series69.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* x (* x 0.7715471019))
20.0ms	(cbrt (pow (/ (+ 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)))))))))) 3))
26.0ms	(* x (cbrt (pow (/ (+ 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)))))))))) 3)))
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))))))))))

simplify147.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4955	14887
1	4955	14887

prune3.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	204	1	205
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	206	4	210

Merged error: 0b

Counts

210 → 4

localize58.0ms

Local error

Found 4 expressions with local error:

20.3b	(cbrt (sqrt (pow (/ (+ 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)))))))))) 3)))
20.3b	(cbrt (sqrt (pow (/ (+ 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)))))))))) 3)))
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))))))))))
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))))))))))

rewrite166.0ms

Algorithm

rewrite-expression-head

Rules

168×	`*-un-lft-identity`
106×	`cbrt-prod`
100×	`sqrt-prod`
96×	`times-frac`
64×	`add-sqr-sqrt` `add-cube-cbrt`
52×	`distribute-lft-out`
44×	`unpow-prod-down` `cube-prod`
12×	`associate-/r/`
8×	`add-exp-log` `flip3-+` `associate-/r` `add-cbrt-cube` `flip-+` `associate-/l`
6×	`div-inv`
4×	`pow1` `associate-/l/` `add-log-exp`
2×	`cbrt-undiv` `cube-div` `cube-mult` `cbrt-div` `frac-2neg` `pow1/3` `sqrt-div` `unpow3` `div-exp` `clear-num` `sqr-pow`

Counts

4 → 204

Calls

4 calls:

39.0ms	(cbrt (sqrt (pow (/ (+ 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)))))))))) 3)))
41.0ms	(cbrt (sqrt (pow (/ (+ 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)))))))))) 3)))
38.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))))))))))
37.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))))))))))

series92.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt (sqrt (pow (/ (+ 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)))))))))) 3)))
22.0ms	(cbrt (sqrt (pow (/ (+ 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)))))))))) 3)))
19.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))))))))))
26.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))))))))))

simplify161.0ms

Algorithm

egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5186	22346

prune7.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	216	4	220

Merged error: 0b

Counts

220 → 4

regimes66.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch70.0ms

Steps

Iters	Range		Point
8	3.7695071065429415	2554.1258183152418	567.1332058863363
8	-1092358229754.4426	-126945214.72025765	-14780315067.359564

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	103	177
1	103	177

end0.0ms

sample1.0s

Algorithm

intervals

Results

926.0ms

8000×

body

valid

Details

analyze13.0ms

sample37.0ms

simplify84.0ms

prune16.0ms

localize48.0ms

rewrite94.0ms

series52.0ms

simplify133.0ms

prune1.5s

localize50.0ms

rewrite52.0ms

series38.0ms

simplify44.0ms

prune766.0ms

localize50.0ms

rewrite138.0ms

series69.0ms

simplify147.0ms

prune3.4s

localize58.0ms

rewrite166.0ms

series92.0ms

simplify161.0ms

prune7.7s

regimes66.0ms

bsearch70.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling