Details

analyze2.1s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
31.2%	68.7%	0.1%	7
34.3%	65.6%	0.1%	8
37.5%	59.3%	3.2%	9
42.9%	53.5%	3.6%	10
44.5%	50%	5.6%	11
47.8%	45.8%	6.4%	12
48.7%	43.7%	7.6%	13
50.5%	41.3%	8.2%	14

sample139.0ms

Algorithm

intervals

Results

50.0ms	218×	body	80	valid
43.0ms	174×	body	80	invalid
14.0ms	16×	body	640	valid
7.0ms	6×	body	1280	valid
4.0ms	10×	body	160	valid
4.0ms	6×	body	320	valid

simplify431.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5054	109

prune24.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: 0.5b

Counts

2 → 2

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ x1 (+ (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0))))))
0.2b	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))
3.4b	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))
3.5b	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

rewrite153.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
17×	`add-log-exp`
16×	`*-un-lft-identity`
15×	`associate-l`
12×	`add-cube-cbrt`
11×	`times-frac`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `sum-log`
4×	`flip3-+` `flip-+`
3×	`associate-r`
2×	`distribute-rgt-in` `frac-times` `sub-neg` `flip3--` `distribute-lft-in` `diff-log` `associate-*r/` `prod-exp` `associate--l+` `associate-/r/` `flip--` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `associate--l-` `associate-+r-` `associate-+r+` `div-sub` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `distribute-lft-out` `distribute-lft-out--`

Counts

4 → 83

Calls

4 calls:

58.0ms	(+ x1 (+ (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0))))))
35.0ms	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))
34.0ms	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))
23.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

series249.0ms

Counts

4 → 12

Calls

4 calls:

128.0ms	(+ x1 (+ (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0))))))
30.0ms	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))
69.0ms	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))
22.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

simplify55.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5465	5479

prune583.0ms

Filtered

79 candidates to 95 candidates (-20.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	82	13	95
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	84	13	97

Merged error: 0.1b

Counts

97 → 13

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (+ x1 (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (* x1 (* x1 6.0))))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0)))))
0.2b	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))))
3.4b	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (* x1 (* x1 6.0)))
3.5b	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
18×	`associate-*r/`
16×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
15×	`-un-lft-identity` `associate-l*`
12×	`flip3-+` `frac-add` `flip-+`
11×	`add-cube-cbrt`
10×	`times-frac`
9×	`pow1`
8×	`distribute-rgt-in` `distribute-lft-in` `sum-log`
6×	`prod-exp` `cbrt-unprod`
4×	`associate--l+`
3×	`pow-prod-down`
2×	`cbrt-undiv` `frac-times` `sub-neg` `flip3--` `diff-log` `div-exp` `associate-/r/` `flip--` `difference-of-squares`
1×	`+-commutative` `associate--l-` `associate-+r-` `associate-+l+` `associate-+r+` `div-sub` `associate-r` `associate-l/` `-commutative` `div-inv` `distribute-lft-out` `distribute-lft-out--`

Counts

4 → 98

Calls

4 calls:

26.0ms	(+ (+ x1 (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (* x1 (* x1 6.0))))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0)))))
34.0ms	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))))
33.0ms	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (* x1 (* x1 6.0)))
17.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

series237.0ms

Counts

4 → 12

Calls

4 calls:

127.0ms	(+ (+ x1 (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (* x1 (* x1 6.0))))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0)))))
30.0ms	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))))
66.0ms	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (* x1 (* x1 6.0)))
14.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

simplify75.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5021	9854

prune815.0ms

Filtered

87 candidates to 110 candidates (-26.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	104	6	110
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	110	13	123

Merged error: 0.1b

Counts

123 → 13

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (+ x1 (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0)))) (* x1 (* x1 6.0))))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0)))))
0.2b	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0))))
3.4b	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0)))) (* x1 (* x1 6.0)))
3.5b	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

rewrite149.0ms

Algorithm

rewrite-expression-head

Rules

40×	`associate-*r/`
25×	`add-exp-log` `add-cbrt-cube`
24×	`distribute-rgt-in` `distribute-lft-in`
20×	`add-log-exp`
18×	`sub-neg` `associate-l`
17×	`add-sqr-sqrt`
16×	`frac-times` `*-un-lft-identity`
15×	`flip3-+` `flip-+`
13×	`pow1` `times-frac`
12×	`add-cube-cbrt` `frac-add` `prod-exp` `cbrt-unprod`
9×	`flip3--` `flip--`
8×	`associate--l+` `sum-log`
6×	`pow-prod-down`
5×	`associate-*l/` `difference-of-squares`
3×	`cbrt-undiv` `div-exp`
2×	`diff-log` `associate-/r/`
1×	`+-commutative` `associate--l-` `associate-+r-` `associate-+l+` `associate-+r+` `div-sub` `associate-r` `*-commutative` `div-inv` `distribute-lft-out` `distribute-lft-out--`

Counts

4 → 126

Calls

4 calls:

24.0ms	(+ (+ x1 (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0)))) (* x1 (* x1 6.0))))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0)))))
52.0ms	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0))))
50.0ms	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0)))) (* x1 (* x1 6.0)))
17.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

series370.0ms

Counts

4 → 12

Calls

4 calls:

184.0ms	(+ (+ x1 (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0)))) (* x1 (* x1 6.0))))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0)))))
34.0ms	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0))))
139.0ms	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0)))) (* x1 (* x1 6.0)))
14.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

simplify75.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5395	13078

prune1.3s

Filtered

107 candidates to 138 candidates (-29.0%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	137	1	138
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	138	13	151

Merged error: 0.1b

Counts

151 → 13

localize56.0ms

Local error

Found 4 expressions with local error:

3.4b	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (* x1 (* x1 6.0)))
3.5b	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)
3.5b	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)
3.5b	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
12×	`add-log-exp`
10×	`*-un-lft-identity`
6×	`difference-of-squares`
4×	`pow1` `add-exp-log` `distribute-rgt-in` `add-cube-cbrt` `sub-neg` `flip3--` `distribute-lft-in` `diff-log` `associate--l+` `add-cbrt-cube` `flip--`
3×	`associate--l-` `associate-+r-` `times-frac` `div-sub` `distribute-lft-out--`

Counts

4 → 60

Calls

4 calls:

34.0ms	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (* x1 (* x1 6.0)))
17.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)
17.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)
20.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

series106.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))) (* x1 (* x1 6.0)))
14.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)
16.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)
14.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

simplify53.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5101	2292

prune1.3s

Filtered

61 candidates to 72 candidates (-18.0%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	71	14	85

Merged error: 0.1b

Counts

85 → 14

regimes447.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	165	119
1	165	119

end0.0ms

sample4.0s

Algorithm

intervals

Results

1.5s	6907×	body	80	valid
1.3s	5947×	body	80	invalid
386.0ms	438×	body	640	valid
204.0ms	309×	body	320	valid
189.0ms	169×	body	1280	valid
78.0ms	177×	body	160	valid

Details

analyze2.1s

sample139.0ms

simplify431.0ms

prune24.0ms

localize39.0ms

rewrite153.0ms

series249.0ms

simplify55.0ms

prune583.0ms

localize39.0ms

rewrite113.0ms

series237.0ms

simplify75.0ms

prune815.0ms

localize46.0ms

rewrite149.0ms

series370.0ms

simplify75.0ms

prune1.3s

localize56.0ms

rewrite90.0ms

series106.0ms

simplify53.0ms

prune1.3s

regimes447.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample4.0s

Profiling