Details

analyze208.0ms (7.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	182	14
1	182	14
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
87.4%	12.5%	0.1%	6
87.4%	12.5%	0.1%	7
93.7%	6.2%	0.1%	8
93.7%	6.2%	0.1%	9
96.8%	3.1%	0.1%	10
96.8%	3.1%	0.1%	11
98.3%	1.6%	0.1%	12
98.3%	1.6%	0.1%	13
99.1%	0.8%	0.1%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample20.0ms (0.7%)

Algorithm

1×

intervals

Results

9.0ms

256×

body

128

valid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify21.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	114	7
1	114	7

prune4.0ms (0.1%)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 x (/.f64 y 200))

rewrite24.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`cancel-sign-sub-inv_binary64_8910` `add-sqr-sqrt_binary64_8966`
10×	`times-frac_binary64_8950` `*-un-lft-identity_binary64_8944`
8×	`add-cube-cbrt_binary64_8979`
3×	`add-log-exp_binary64_8983`
2×	`difference-of-squares_binary64_8913`
1×	`flip3--_binary64_8948` `flip--_binary64_8919` `pow1_binary64_9005` `distribute-lft-out--_binary64_8896` `diff-log_binary64_9036` `add-cbrt-cube_binary64_8980` `sub-neg_binary64_8937` `div-inv_binary64_8941` `add-exp-log_binary64_8982`

Counts

1 → 27

Calls

1 calls:

21.0ms

(-.f64 x (/.f64 y 200))

series109.0ms (3.9%)

Counts

1 → 12

Calls

1 calls:

109.0ms

(-.f64 x (/.f64 y 200))

Compiler

Compiled 72 to 78 computations (-8.3% saved)

simplify92.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4916	304
1	4916	304

prune52.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	37	2	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	3	40

Error

Counts

40 → 3

Compiler

Compiled 285 to 187 computations (34.4% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 y -1/200))
0.1b	(*.f64 y -1/200)

rewrite15.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_8966`
4×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944` `pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `add-log-exp_binary64_8983` `add-exp-log_binary64_8982`
3×	`associate-l_binary64_8885` `associate-r_binary64_8884`
1×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `prod-exp_binary64_8993` `*-commutative_binary64_8875` `sum-log_binary64_9035` `unswap-sqr_binary64_8912` `pow-prod-down_binary64_9015` `flip-+_binary64_8918` `cbrt-unprod_binary64_8977`

Counts

2 → 29

Calls

2 calls:

7.0ms	(*.f64 y -1/200)
6.0ms	(+.f64 x (*.f64 y -1/200))

series125.0ms (4.5%)

Counts

2 → 15

Calls

2 calls:

96.0ms	(+.f64 x (*.f64 y -1/200))
29.0ms	(*.f64 y -1/200)

Compiler

Compiled 102 to 108 computations (-5.9% saved)

simplify155.0ms (5.5%)

Algorithm

1×	egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (138.0ms)

Iter	Nodes	Cost
0	4883	323
1	4883	323

prune49.0ms (1.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	44	3	47

Error

Counts

47 → 3

Compiler

Compiled 348 to 237 computations (31.9% saved)

localize19.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 y 200))
0.1b	(*.f64 y (/.f64 y 40000))
3.9b	(-.f64 (.f64 x x) (.f64 y (/.f64 y 40000)))
31.0b	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 40000))) (+.f64 x (/.f64 y 200)))

rewrite69.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`*-un-lft-identity_binary64_8944`
26×	`add-sqr-sqrt_binary64_8966`
22×	`times-frac_binary64_8950`
21×	`add-cube-cbrt_binary64_8979`
13×	`associate-r_binary64_8884`
11×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
8×	`add-log-exp_binary64_8983`
6×	`pow1_binary64_9005`
5×	`distribute-lft-out_binary64_8895`
4×	`associate-/r*_binary64_8888`
3×	`associate-l_binary64_8885` `associate-/l*_binary64_8889`
2×	`flip3-+_binary64_8947` `associate-/r/_binary64_8890` `flip3--_binary64_8948` `flip--_binary64_8919` `div-exp_binary64_8995` `prod-exp_binary64_8993` `associate-/l/_binary64_8891` `unswap-sqr_binary64_8912` `div-inv_binary64_8941` `flip-+_binary64_8918` `cbrt-undiv_binary64_8978` `cbrt-unprod_binary64_8977`
1×	`associate-r/_binary64_8886` `+-commutative_binary64_8874` `div-sub_binary64_8949` `clear-num_binary64_8943` `frac-2neg_binary64_8955` `-commutative_binary64_8875` `diff-log_binary64_9036` `sum-log_binary64_9035` `sub-neg_binary64_8937` `cancel-sign-sub-inv_binary64_8910` `pow-prod-down_binary64_9015`

Counts

4 → 92

Calls

4 calls:

22.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 40000))) (+.f64 x (/.f64 y 200)))
13.0ms	(*.f64 y (/.f64 y 40000))
12.0ms	(+.f64 x (/.f64 y 200))
7.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 40000)))

series620.0ms (22.1%)

Counts

4 → 39

Calls

4 calls:

268.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 40000))) (+.f64 x (/.f64 y 200)))
207.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 40000)))
100.0ms	(+.f64 x (/.f64 y 200))
44.0ms	(*.f64 y (/.f64 y 40000))

Compiler

Compiled 654 to 546 computations (16.5% saved)

simplify146.0ms (5.2%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	4916	2039
1	4916	2039

prune194.0ms (6.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	131	3	134

Error

Counts

134 → 3

Compiler

Compiled 2476 to 1436 computations (42% saved)

regimes113.0ms (4%)

Accuracy

Total 0.0b remaining (36.1%)

Threshold costs 0.0b (36.1%)

Compiler

Compiled 180 to 170 computations (5.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	7
1	23	7

end0.0ms (0%)

sample746.0ms (26.7%)

Algorithm

1×

intervals

Results

300.0ms

8000×

body

128

valid

Compiler

Compiled 51 to 49 computations (3.9% saved)

Details

analyze208.0ms (7.4%)

sample20.0ms (0.7%)

simplify21.0ms (0.8%)

prune4.0ms (0.1%)

localize7.0ms (0.2%)

rewrite24.0ms (0.9%)

series109.0ms (3.9%)

simplify92.0ms (3.3%)

prune52.0ms (1.8%)

localize8.0ms (0.3%)

rewrite15.0ms (0.5%)

series125.0ms (4.5%)

simplify155.0ms (5.5%)

prune49.0ms (1.8%)

localize19.0ms (0.7%)

rewrite69.0ms (2.5%)

series620.0ms (22.1%)

simplify146.0ms (5.2%)

prune194.0ms (6.9%)

regimes113.0ms (4%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample746.0ms (26.7%)

Profiling