Details

analyze1.2s (12.9%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4985	210
1	4985	210
0	4	4
1	4	4

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
6.2%	93.6%	0.2%	8
6.2%	93.6%	0.2%	8
25%	74.9%	0.2%	9
25%	74.9%	0.2%	9
28.1%	71.7%	0.2%	10
28.1%	71.7%	0.2%	10
29.6%	70.2%	0.2%	11
29.6%	70.2%	0.2%	11
53%	46.8%	0.2%	12
53%	46.8%	0.2%	12
71.3%	28.5%	0.2%	13
71.3%	28.5%	0.2%	13
71.7%	28.1%	0.2%	14
71.7%	28.1%	0.2%	14

Compiler

Compiled 32 to 24 computations (25% saved)

sample208.0ms (2.2%)

Algorithm

2×

intervals

Results

21.0ms	512×	body	128	valid
1.0ms	24×	body	128	invalid

Compiler

Compiled 4287 to 4283 computations (0.1% saved)

simplify122.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	5232	30

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

27.5b

Counts

2 → 1

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(-.f64 (.f64 x.im y.re) (.f64 x.re y.im))
27.0b	(/.f64 (-.f64 (.f64 x.im y.re) (.f64 x.re y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))

rewrite81.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

27.4b

Rules

10×	`add-cube-cbrt_binary64_1136` `add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
9×	`times-frac_binary64_1107`
4×	`add-exp-log_binary64_1139` `add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
3×	`associate-/l_binary64_1046` `associate-/r_binary64_1045`
2×	`pow1_binary64_1162` `flip3--_binary64_1105` `associate-/l/_binary64_1048` `flip--_binary64_1076` `associate-/r/_binary64_1047`
1×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `frac-2neg_binary64_1112` `div-sub_binary64_1106` `clear-num_binary64_1100` `div-inv_binary64_1098` `flip3-+_binary64_1104` `flip-+_binary64_1075` `diff-log_binary64_1193` `sub-neg_binary64_1094` `cancel-sign-sub-inv_binary64_1067`

Counts

2 → 44

Calls

2 calls:

9.0ms	(/.f64 (-.f64 (.f64 x.im y.re) (.f64 x.re y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
4.0ms	(-.f64 (.f64 x.im y.re) (.f64 x.re y.im))

Compiler

Compiled 1243 to 168 computations (86.5% saved)

series731.0ms (7.6%)

Error

5.7b

Counts

2 → 54

Calls

2 calls:

479.0ms	(/.f64 (-.f64 (.f64 x.im y.re) (.f64 x.re y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
210.0ms	(-.f64 (.f64 x.im y.re) (.f64 x.re y.im))

Compiler

Compiled 1941 to 1223 computations (37% saved)

simplify78.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4961	2565
1	4961	2565

prune112.0ms (1.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	91	7	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	7	99

Error

5.7b

Counts

99 → 7

Compiler

Compiled 1967 to 698 computations (64.5% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(-.f64 (.f64 y.re x.im) (.f64 y.im x.re))
16.1b	(/.f64 (-.f64 (.f64 y.re x.im) (.f64 y.im x.re)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))
30.8b	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))
30.8b	(sqrt.f64 (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))

rewrite197.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

43×	`*-un-lft-identity_binary64_1101`
28×	`sqrt-prod_binary64_1117`
25×	`add-sqr-sqrt_binary64_1123`
24×	`times-frac_binary64_1107`
23×	`add-cube-cbrt_binary64_1136`
10×	`unpow-prod-down_binary64_1180` `distribute-lft-out_binary64_1052`
8×	`associate-/r*_binary64_1045`
6×	`pow1_binary64_1162` `add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `sqrt-div_binary64_1118`
3×	`flip3-+_binary64_1104` `flip-+_binary64_1075` `associate-/l*_binary64_1046`
2×	`pow1/2_binary64_1181` `sqrt-pow1_binary64_1119` `rem-sqrt-square_binary64_1114` `flip3--_binary64_1105` `associate-/l/_binary64_1048` `flip--_binary64_1076` `associate-/r/_binary64_1047`
1×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `frac-2neg_binary64_1112` `div-sub_binary64_1106` `clear-num_binary64_1100` `div-inv_binary64_1098` `diff-log_binary64_1193` `sub-neg_binary64_1094` `cancel-sign-sub-inv_binary64_1067`

Counts

4 → 96

Calls

4 calls:

15.0ms	(/.f64 (-.f64 (.f64 y.re x.im) (.f64 y.im x.re)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))
8.0ms	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))
6.0ms	(sqrt.f64 (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
4.0ms	(-.f64 (.f64 y.re x.im) (.f64 y.im x.re))

Compiler

Compiled 3624 to 1413 computations (61% saved)

series1.3s (13.9%)

Error

5.7b

Counts

4 → 98

Calls

4 calls:

621.0ms	(/.f64 (-.f64 (.f64 y.re x.im) (.f64 y.im x.re)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))
242.0ms	(-.f64 (.f64 y.re x.im) (.f64 y.im x.re))
194.0ms	(sqrt.f64 (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
167.0ms	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

Compiler

Compiled 6128 to 3870 computations (36.8% saved)

simplify89.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

194 → 194

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5202	5135

prune289.0ms (3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	193	1	194
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	194	7	201

Error

5.7b

Counts

201 → 7

Compiler

Compiled 5881 to 2385 computations (59.4% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b

(-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re))

0.4b

(/.f64 1 (/.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) (-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re))))

26.9b

(/.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) (-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re)))

rewrite331.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

138×	`times-frac_binary64_1107`
135×	`*-un-lft-identity_binary64_1101`
71×	`add-cube-cbrt_binary64_1136` `add-sqr-sqrt_binary64_1123`
32×	`unpow-prod-down_binary64_1180` `distribute-lft-out_binary64_1052`
24×	`associate-/r*_binary64_1045`
16×	`add-exp-log_binary64_1139`
11×	`associate-/r/_binary64_1047`
10×	`add-cbrt-cube_binary64_1137`
8×	`div-exp_binary64_1152` `associate-/l*_binary64_1046`
6×	`div-inv_binary64_1098` `flip3--_binary64_1105` `flip--_binary64_1076`
5×	`add-log-exp_binary64_1140`
4×	`pow1_binary64_1162` `cbrt-undiv_binary64_1135`
2×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `associate-/l/_binary64_1048` `1-exp_binary64_1145` `rec-exp_binary64_1151`
1×	`flip3-+_binary64_1104` `flip-+_binary64_1075` `inv-pow_binary64_1186` `pow-flip_binary64_1175` `diff-log_binary64_1193` `sub-neg_binary64_1094` `cancel-sign-sub-inv_binary64_1067`

Counts

3 → 159

Calls

3 calls:

17.0ms

(/.f64 1 (/.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) (-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re))))

14.0ms

(/.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) (-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re)))

4.0ms

(-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re))

Compiler

Compiled 5318 to 2577 computations (51.5% saved)

series1.2s (12.5%)

Error

5.6b

Counts

3 → 87

Calls

3 calls:

458.0ms

(/.f64 1 (/.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) (-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re))))

434.0ms

(/.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) (-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re)))

227.0ms

(-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re))

Compiler

Compiled 4296 to 3165 computations (26.3% saved)

simplify125.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

246 → 246

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5075	9284

prune534.0ms (5.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	242	4	246
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	243	10	253

Error

3.8b

Counts

253 → 10

Compiler

Compiled 6351 to 3049 computations (52% saved)

localize3.0ms (0%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

3.8b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 3.8b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune1.0ms (0%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	7	7
Picked	1	1
Done	2	2
Total	10	10

Error

3.8b

Counts

10 → 10

Compiler

Compiled 0 to 0 computations (0% saved)

regimes1.1s (11.6%)

Accuracy

Total 11.7b remaining (80.1%)

Threshold costs 0b (0%)

Compiler

Compiled 6894 to 4228 computations (38.7% saved)

bsearch111.0ms (1.1%)

Steps

Iters	Range		Point
9	9.383607370845184e+58	2.3047375546658132e+67	2.1947870567210115e+67
9	3.00570081669915e-174	1.995592047982629e-169	1.974865822132763e-169
7	-4.449678164530753e-127	-2.1954801308115194e-128	-9.882705667882916e-128
9	-8.430385291303887e+111	-4.186896396410684e+105	-2.9072508239655666e+106

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	88	187
1	88	187

end0.0ms (0%)

sample1.7s (17.3%)

Algorithm

1×

intervals

Results

356.0ms	8000×	body	128	valid
21.0ms	512×	body	128	invalid

Compiler

Compiled 1451 to 889 computations (38.7% saved)

Details

analyze1.2s (12.9%)

sample208.0ms (2.2%)

simplify122.0ms (1.3%)

prune3.0ms (0%)

localize11.0ms (0.1%)

rewrite81.0ms (0.8%)

series731.0ms (7.6%)

simplify78.0ms (0.8%)

prune112.0ms (1.2%)

localize18.0ms (0.2%)

rewrite197.0ms (2%)

series1.3s (13.9%)

simplify89.0ms (0.9%)

prune289.0ms (3%)

localize13.0ms (0.1%)

rewrite331.0ms (3.4%)

series1.2s (12.5%)

simplify125.0ms (1.3%)

prune534.0ms (5.5%)

localize3.0ms (0%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify6.0ms (0.1%)

prune1.0ms (0%)

regimes1.1s (11.6%)

bsearch111.0ms (1.1%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.7s (17.3%)

Profiling