Details

analyze65.0ms (3.1%)

Algorithm

1×

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
50%	50%	0.1%	6
56.2%	40.6%	3.2%	7
68.7%	25%	6.3%	8
71.8%	19.5%	8.7%	9
78%	12.5%	9.5%	10
79.6%	9.6%	10.8%	11
82.7%	6.2%	11%	12
83.5%	4.7%	11.8%	13
85.1%	3.1%	11.8%	14

sample19.0ms (0.9%)

Algorithm

1×

intervals

Results

7.0ms	248×	body	80	valid
0.0ms	3×	body	640	valid
0.0ms	2×	body	1280	valid
0.0ms	2×	body	320	valid
0.0ms	4×	body	80	invalid
0.0ms	1×	body	160	valid

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	42	7
1	42	7

prune6.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.0b

Counts

2 → 1

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(* d1 (+ 10.0 (+ d2 20.0)))

rewrite8.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`*-un-lft-identity`
5×	`add-sqr-sqrt` `associate-r`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube` `distribute-lft-out`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `add-log-exp` `unswap-sqr`

Counts

1 → 24

Calls

1 calls:

8.0ms

(* d1 (+ 10.0 (+ d2 20.0)))

series5.0ms (0.3%)

Counts

1 → 3

Calls

1 calls:

5.0ms

(* d1 (+ 10.0 (+ d2 20.0)))

simplify51.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5342	212

prune253.0ms (12%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	24	3	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	24	4	28

Merged error: 0.0b

Counts

28 → 4

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(cbrt (+ 10.0 (+ d2 20.0)))
0.2b	(cbrt (+ 10.0 (+ d2 20.0)))
0.4b	(* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))))
0.4b	(* (* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (+ 10.0 (+ d2 20.0))))

rewrite57.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`cbrt-div`
42×	`associate-*r/`
35×	`flip3-+` `flip-+`
32×	`frac-times`
24×	`*-un-lft-identity`
18×	`pow1` `add-exp-log`
16×	`associate-*l/`
15×	`cbrt-prod`
11×	`add-cbrt-cube`
10×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out`
4×	`associate-l` `add-log-exp`
2×	`pow1/3` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 109

Calls

4 calls:

23.0ms	(* (* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (+ 10.0 (+ d2 20.0))))
18.0ms	(* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))))
5.0ms	(cbrt (+ 10.0 (+ d2 20.0)))
5.0ms	(cbrt (+ 10.0 (+ d2 20.0)))

series35.0ms (1.6%)

Counts

4 → 12

Calls

4 calls:

17.0ms	(* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))))
6.0ms	(cbrt (+ 10.0 (+ d2 20.0)))
6.0ms	(cbrt (+ 10.0 (+ d2 20.0)))
5.0ms	(* (* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (+ 10.0 (+ d2 20.0))))

simplify52.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5219	2448

prune338.0ms (16%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	120	5	125

Merged error: 0b

Counts

125 → 5

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(* (+ d2 20.0) (+ d2 20.0))
0.0b	(- 10.0 (+ d2 20.0))
4.5b	(* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
7.7b	(/ (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (- 10.0 (+ d2 20.0)))

rewrite40.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`*-un-lft-identity`
22×	`add-sqr-sqrt`
13×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt`
9×	`distribute-lft-out` `add-log-exp`
8×	`associate-r`
7×	`associate-l`
6×	`flip3-+` `times-frac` `associate-r/` `swap-sqr` `associate-/r` `flip-+` `distribute-lft-out--`
4×	`frac-times` `flip3--` `flip--` `difference-of-squares`
3×	`sub-neg` `prod-exp` `cbrt-unprod`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `associate-/r/` `-commutative` `associate-/l/` `unswap-sqr`
1×	`pow2` `frac-2neg` `pow-plus` `clear-num` `sum-log` `pow-sqr` `pow-prod-up` `div-inv` `associate-/l*` `associate--r+`

Counts

4 → 110

Calls

4 calls:

12.0ms	(/ (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (- 10.0 (+ d2 20.0)))
12.0ms	(* (+ d2 20.0) (+ d2 20.0))
7.0ms	(* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
6.0ms	(- 10.0 (+ d2 20.0))

series33.0ms (1.6%)

Counts

4 → 12

Calls

4 calls:

18.0ms	(/ (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (- 10.0 (+ d2 20.0)))
10.0ms	(* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
2.0ms	(- 10.0 (+ d2 20.0))
2.0ms	(* (+ d2 20.0) (+ d2 20.0))

simplify64.0ms (3%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4978	1276
1	4978	1276

prune218.0ms (10.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	1	2
Picked	1	0	1
Done	1	1	2
Total	124	3	127

Merged error: 0b

Counts

127 → 3

localize12.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.0b	(- 10.0 (+ d2 20.0))
0.2b	(+ (* d1 (* 10.0 10.0)) (* d1 (neg (pow (+ d2 20.0) 2))))
4.5b	(* d1 (neg (pow (+ d2 20.0) 2)))
7.7b	(/ (+ (* d1 (* 10.0 10.0)) (* d1 (neg (pow (+ d2 20.0) 2)))) (- 10.0 (+ d2 20.0)))

rewrite41.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 118

Calls

4 calls:

13.0ms	(/ (+ (* d1 (* 10.0 10.0)) (* d1 (neg (pow (+ d2 20.0) 2)))) (- 10.0 (+ d2 20.0)))
10.0ms	(* d1 (neg (pow (+ d2 20.0) 2)))
9.0ms	(+ (* d1 (* 10.0 10.0)) (* d1 (neg (pow (+ d2 20.0) 2))))
5.0ms	(- 10.0 (+ d2 20.0))

series42.0ms (2%)

Counts

4 → 12

Calls

4 calls:

19.0ms	(/ (+ (* d1 (* 10.0 10.0)) (* d1 (neg (pow (+ d2 20.0) 2)))) (- 10.0 (+ d2 20.0)))
10.0ms	(+ (* d1 (* 10.0 10.0)) (* d1 (neg (pow (+ d2 20.0) 2))))
10.0ms	(* d1 (neg (pow (+ d2 20.0) 2)))
2.0ms	(- 10.0 (+ d2 20.0))

simplify57.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5094	1852

prune263.0ms (12.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	130	3	133

Merged error: 0b

Counts

133 → 3

regimes73.0ms (3.5%)

Accuracy

Total 0.0b remaining (74.4%)

Threshold costs 0.0b (74.4%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7

end0.0ms (0%)

sample357.0ms (16.9%)

Algorithm

1×

intervals

Results

216.0ms	7837×	body	80	valid
9.0ms	74×	body	1280	valid
5.0ms	48×	body	640	valid
3.0ms	99×	body	80	invalid
2.0ms	29×	body	320	valid
1.0ms	12×	body	160	valid

Details

analyze65.0ms (3.1%)

sample19.0ms (0.9%)

simplify4.0ms (0.2%)

prune6.0ms (0.3%)

localize5.0ms (0.2%)

rewrite8.0ms (0.4%)

series5.0ms (0.3%)

simplify51.0ms (2.4%)

prune253.0ms (12%)

localize9.0ms (0.4%)

rewrite57.0ms (2.7%)

series35.0ms (1.6%)

simplify52.0ms (2.5%)

prune338.0ms (16%)

localize9.0ms (0.4%)

rewrite40.0ms (1.9%)

series33.0ms (1.6%)

simplify64.0ms (3%)

prune218.0ms (10.3%)

localize12.0ms (0.6%)

rewrite41.0ms (1.9%)

series42.0ms (2%)

simplify57.0ms (2.7%)

prune263.0ms (12.4%)

regimes73.0ms (3.5%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

end0.0ms (0%)

sample357.0ms (16.9%)

Profiling