Details

analyze2.1s (23.5%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4789	143
1	4789	143
0	5	5
1	5	5

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	10
13.2%	86.5%	0.2%	11
13.2%	86.5%	0.2%	11
16.8%	83%	0.2%	12
16.8%	83%	0.2%	12
22.7%	77.1%	0.2%	13
22.7%	77.1%	0.2%	13
24.1%	74.7%	1.3%	14
24.1%	74.7%	1.3%	14

Compiler

Compiled 20 to 20 computations (0% saved)

sample869.0ms (9.7%)

Algorithm

2×

intervals

Results

17.0ms	512×	body	128	valid
8.0ms	166×	body	128	invalid

Compiler

Compiled 3409 to 5109 computations (-49.9% saved)

simplify52.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	719	13
1	719	13

prune3.0ms (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

Error

6.4b

Counts

2 → 1

Compiler

Compiled 18 to 18 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 y (-.f64 z t))
7.0b	(/.f64 (*.f64 y (-.f64 z t)) a)

rewrite73.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`add-sqr-sqrt_binary64_8966`
10×	`*-un-lft-identity_binary64_8944`
9×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980`
8×	`add-cube-cbrt_binary64_8979`
6×	`cancel-sign-sub-inv_binary64_8910`
5×	`associate-r_binary64_8884`
4×	`pow1_binary64_9005` `associate-*r/_binary64_8886` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893`
3×	`times-frac_binary64_8950` `associate-/r_binary64_8888` `associate-l*_binary64_8885`
2×	`prod-exp_binary64_8993` `div-exp_binary64_8995` `add-log-exp_binary64_8983` `cbrt-undiv_binary64_8978` `cbrt-unprod_binary64_8977` `flip3--_binary64_8948` `associate-/l/_binary64_8891` `flip--_binary64_8919` `sub-neg_binary64_8937`
1×	`frac-2neg_binary64_8955` `clear-num_binary64_8943` `div-inv_binary64_8941` `associate-/l_binary64_8889` `pow-prod-down_binary64_9015` `unswap-sqr_binary64_8912` `difference-of-squares_binary64_8913` `distribute-lft-out--_binary64_8896` `-commutative_binary64_8875`

Counts

2 → 53

Calls

2 calls:

10.0ms	(*.f64 y (-.f64 z t))
7.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)

Compiler

Compiled 816 to 265 computations (67.5% saved)

series477.0ms (5.3%)

Error

5.3b

Counts

2 → 33

Calls

2 calls:

306.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
151.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 885 to 575 computations (35% saved)

simplify54.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5376	836

prune74.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	81	5	86
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	81	6	87

Error

0.0b

Counts

87 → 6

Compiler

Compiled 1066 to 257 computations (75.9% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 a (-.f64 z t))
5.8b	(/.f64 y (/.f64 a (-.f64 z t)))

rewrite163.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

138×	`times-frac_binary64_8950`
102×	`add-sqr-sqrt_binary64_8966` `*-un-lft-identity_binary64_8944`
70×	`add-cube-cbrt_binary64_8979`
26×	`associate-/r*_binary64_8888`
16×	`difference-of-squares_binary64_8913` `distribute-lft-out--_binary64_8896`
11×	`associate-/r/_binary64_8890`
9×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980`
6×	`div-inv_binary64_8941` `associate-/l*_binary64_8889`
5×	`flip3--_binary64_8948` `flip--_binary64_8919`
4×	`div-exp_binary64_8995` `cbrt-undiv_binary64_8978`
2×	`pow1_binary64_9005` `add-log-exp_binary64_8983` `frac-2neg_binary64_8955` `clear-num_binary64_8943`

Counts

2 → 139

Calls

2 calls:

11.0ms	(/.f64 y (/.f64 a (-.f64 z t)))
6.0ms	(/.f64 a (-.f64 z t))

Compiler

Compiled 2734 to 710 computations (74% saved)

series504.0ms (5.6%)

Error

0.0b

Counts

2 → 36

Calls

2 calls:

325.0ms	(/.f64 y (/.f64 a (-.f64 z t)))
154.0ms	(/.f64 a (-.f64 z t))

Compiler

Compiled 1206 to 827 computations (31.4% saved)

simplify77.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5015	3176

prune154.0ms (1.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	175	6	181

Error

Counts

181 → 6

Compiler

Compiled 2943 to 614 computations (79.1% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

7.0b	(*.f64 (/.f64 y a) (-.f64 z t))

rewrite52.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`add-sqr-sqrt_binary64_8966`
13×	`-un-lft-identity_binary64_8944` `associate-l*_binary64_8885`
11×	`add-cube-cbrt_binary64_8979`
10×	`times-frac_binary64_8950`
6×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `cancel-sign-sub-inv_binary64_8910`
5×	`associate-r_binary64_8884`
4×	`distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893`
3×	`pow1_binary64_9005`
2×	`prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `flip3--_binary64_8948` `frac-times_binary64_8954` `flip--_binary64_8919` `unswap-sqr_binary64_8912` `sub-neg_binary64_8937` `associate-*r/_binary64_8886`
1×	`pow-prod-down_binary64_9015` `div-exp_binary64_8995` `add-log-exp_binary64_8983` `cbrt-undiv_binary64_8978` `associate-l/_binary64_8887` `div-inv_binary64_8941` `difference-of-squares_binary64_8913` `distribute-lft-out--_binary64_8896` `-commutative_binary64_8875`

Counts

1 → 46

Calls

1 calls:

10.0ms

(*.f64 (/.f64 y a) (-.f64 z t))

Compiler

Compiled 779 to 236 computations (69.7% saved)

series298.0ms (3.3%)

Error

Counts

1 → 18

Calls

1 calls:

288.0ms

(*.f64 (/.f64 y a) (-.f64 z t))

Compiler

Compiled 510 to 335 computations (34.3% saved)

simplify64.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4917	812
1	4917	812

prune48.0ms (0.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	64	6	70

Error

Counts

70 → 6

Compiler

Compiled 901 to 213 computations (76.4% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (-.f64 z t))
7.1b	(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))

rewrite583.0ms (6.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

696×	`times-frac_binary64_8950`
384×	`add-sqr-sqrt_binary64_8966` `*-un-lft-identity_binary64_8944`
292×	`add-cube-cbrt_binary64_8979`
46×	`difference-of-squares_binary64_8913` `distribute-lft-out--_binary64_8896`
38×	`div-inv_binary64_8941`
31×	`associate-/r/_binary64_8890`
28×	`add-exp-log_binary64_8982`
26×	`associate-/r*_binary64_8888`
18×	`div-exp_binary64_8995`
16×	`add-cbrt-cube_binary64_8980` `associate-/l*_binary64_8889`
15×	`flip3--_binary64_8948` `flip--_binary64_8919`
9×	`cbrt-undiv_binary64_8978`
3×	`pow1_binary64_9005` `1-exp_binary64_8988` `rec-exp_binary64_8994`
2×	`add-log-exp_binary64_8983` `frac-2neg_binary64_8955` `clear-num_binary64_8943`
1×	`associate-/l/_binary64_8891` `inv-pow_binary64_9029` `pow-flip_binary64_9018`

Counts

2 → 372

Calls

2 calls:

16.0ms	(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))
6.0ms	(/.f64 1 (-.f64 z t))

Compiler

Compiled 9582 to 3919 computations (59.1% saved)

series454.0ms (5.1%)

Error

Counts

2 → 42

Calls

2 calls:

316.0ms	(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))
100.0ms	(/.f64 1 (-.f64 z t))

Compiler

Compiled 1464 to 1050 computations (28.3% saved)

simplify162.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

414 → 414

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4967	10778
1	4967	10778

prune407.0ms (4.5%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	414	0	414
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	414	6	420

Error

Counts

420 → 6

Compiler

Compiled 8685 to 2333 computations (73.1% saved)

regimes855.0ms (9.5%)

Accuracy

Total 1.6b remaining (100%)

Threshold costs 0b (0%)

Compiler

Compiled 6131 to 4745 computations (22.6% saved)

bsearch2.0ms (0%)

Compiler: Compiled 5 to 7 computations (-40% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	63
1	41	63

end0.0ms (0%)

sample1.4s (15.8%)

Algorithm

1×

intervals

Results

284.0ms	8000×	body	128	valid
99.0ms	2799×	body	128	invalid

Compiler

Compiled 739 to 555 computations (24.9% saved)

Details

analyze2.1s (23.5%)

sample869.0ms (9.7%)

simplify52.0ms (0.6%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite73.0ms (0.8%)

series477.0ms (5.3%)

simplify54.0ms (0.6%)

prune74.0ms (0.8%)

localize8.0ms (0.1%)

rewrite163.0ms (1.8%)

series504.0ms (5.6%)

simplify77.0ms (0.9%)

prune154.0ms (1.7%)

localize8.0ms (0.1%)

rewrite52.0ms (0.6%)

series298.0ms (3.3%)

simplify64.0ms (0.7%)

prune48.0ms (0.5%)

localize9.0ms (0.1%)

rewrite583.0ms (6.5%)

series454.0ms (5.1%)

simplify162.0ms (1.8%)

prune407.0ms (4.5%)

regimes855.0ms (9.5%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.4s (15.8%)

Profiling