Details

analyze13.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	18.7%	81.3%	0
0%	18.7%	81.3%	1
0%	18.7%	81.3%	2
0%	18.7%	81.3%	3
0%	18.7%	81.3%	4
4.7%	14%	81.3%	5
5.3%	13.5%	81.3%	6
18.1%	0.6%	81.3%	7
18.1%	0.6%	81.3%	8
18.6%	0.1%	81.3%	9
18.6%	0.1%	81.3%	10
18.7%	0%	81.3%	11
18.7%	0%	81.3%	12
18.7%	0%	81.3%	13
18.7%	0%	81.3%	14

Compiler

Compiled 23 to 15 computations (34.8% saved)

sample27.0ms (0.8%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
5.0ms	256×	pre	128	true

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify261.0ms (8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (169.0ms)

Iter	Nodes	Cost
0	4979	22
1	4979	22

prune2.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

21.1b

Counts

2 → 1

Compiler

Compiled 30 to 18 computations (40% saved)

localize12.0ms (0.4%)

Local error

Found 1 expressions with local error:

20.9b

(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))

rewrite46.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

20.7b

Rules

8×	`associate-/l/_binary64_2753`
6×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
4×	`flip3-+_binary64_2809` `frac-times_binary64_2816` `flip-+_binary64_2780`
3×	`add-cube-cbrt_binary64_2841` `add-sqr-sqrt_binary64_2828` `times-frac_binary64_2812` `-un-lft-identity_binary64_2806` `flip3--_binary64_2810` `flip--_binary64_2781` `associate-/r_binary64_2750`
2×	`div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `associate-l/_binary64_2749` `associate-r/_binary64_2748` `associate-/r/_binary64_2752`
1×	`pow1_binary64_2867` `prod-exp_binary64_2855` `add-log-exp_binary64_2845` `cbrt-unprod_binary64_2839` `frac-2neg_binary64_2817` `clear-num_binary64_2805` `div-inv_binary64_2803` `associate-/l*_binary64_2751`

Counts

1 → 31

Calls

1 calls:

12.0ms

(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))

Compiler

Compiled 888 to 157 computations (82.3% saved)

series111.0ms (3.4%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

103.0ms

(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))

Compiler

Compiled 270 to 260 computations (3.7% saved)

simplify31.0ms (1%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5037	884

prune34.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	5	44

Error

Counts

44 → 5

Compiler

Compiled 867 to 201 computations (76.8% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 x x) (.f64 y y))
0.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y))) 3))
0.0b	(pow.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y))) 3)
20.9b	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y)))

rewrite220.0ms (6.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

60×	`times-frac_binary64_2812`
47×	`add-cube-cbrt_binary64_2841` `add-sqr-sqrt_binary64_2828` `*-un-lft-identity_binary64_2806`
42×	`cbrt-prod_binary64_2837`
36×	`unpow-prod-down_binary64_2885` `cube-prod_binary64_2834`
17×	`difference-of-squares_binary64_2775`
10×	`associate-/r/_binary64_2752`
9×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
6×	`add-log-exp_binary64_2845`
5×	`pow1_binary64_2867` `div-inv_binary64_2803` `flip3-+_binary64_2809` `flip-+_binary64_2780`
4×	`associate-/l*_binary64_2751`
3×	`associate-/r*_binary64_2750` `pow-unpow_binary64_2883`
2×	`div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `flip3--_binary64_2810` `associate-/l/_binary64_2753` `flip--_binary64_2781` `pow-exp_binary64_2874` `unpow3_binary64_2872` `cube-mult_binary64_2836` `cube-div_binary64_2835` `rem-cube-cbrt_binary64_2829` `sqr-pow_binary64_2778`
1×	`frac-2neg_binary64_2817` `div-sub_binary64_2811` `clear-num_binary64_2805` `pow-pow_binary64_2878` `pow-to-exp_binary64_2875` `pow1/3_binary64_2888` `cbrt-div_binary64_2838` `rem-cbrt-cube_binary64_2830` `diff-log_binary64_2898` `sub-neg_binary64_2799` `cancel-sign-sub-inv_binary64_2772`

Counts

4 → 157

Calls

4 calls:

11.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y))) 3))
10.0ms	(pow.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y))) 3)
9.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y)))
4.0ms	(-.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 5421 to 1091 computations (79.9% saved)

series469.0ms (14.4%)

Error

Counts

4 → 48

Calls

4 calls:

137.0ms	(pow.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y))) 3)
103.0ms	(-.f64 (.f64 x x) (.f64 y y))
101.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y))) 3))
98.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y)))

Compiler

Compiled 1434 to 1235 computations (13.9% saved)

simplify79.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5328	5578

prune160.0ms (4.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	205	0	205
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	205	5	210

Error

Counts

210 → 5

Compiler

Compiled 4833 to 1083 computations (77.6% saved)

localize10.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 x x) (.f64 y y))
0.0b	(log.f64 (exp.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y)))))
20.9b	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y)))

rewrite102.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`times-frac_binary64_2812`
21×	`add-cube-cbrt_binary64_2841` `add-sqr-sqrt_binary64_2828` `*-un-lft-identity_binary64_2806`
19×	`log-pow_binary64_2895`
18×	`exp-prod_binary64_2858`
8×	`difference-of-squares_binary64_2775`
5×	`add-exp-log_binary64_2844` `add-log-exp_binary64_2845` `add-cbrt-cube_binary64_2842`
4×	`pow1_binary64_2867` `associate-/r/_binary64_2752` `associate-/l*_binary64_2751`
3×	`associate-/r*_binary64_2750` `log-prod_binary64_2892`
2×	`div-sub_binary64_2811` `div-inv_binary64_2803` `flip3--_binary64_2810` `associate-/l/_binary64_2753` `flip--_binary64_2781` `flip3-+_binary64_2809` `flip-+_binary64_2780`
1×	`div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `frac-2neg_binary64_2817` `clear-num_binary64_2805` `exp-diff_binary64_2854` `log-div_binary64_2893` `rem-log-exp_binary64_2847` `diff-log_binary64_2898` `sub-neg_binary64_2799` `cancel-sign-sub-inv_binary64_2772`

Counts

3 → 80

Calls

3 calls:

10.0ms	(log.f64 (exp.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y)))))
9.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y)))
4.0ms	(-.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 2467 to 377 computations (84.7% saved)

series360.0ms (11.1%)

Error

Counts

3 → 36

Calls

3 calls:

135.0ms	(log.f64 (exp.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y)))))
108.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y)))
96.0ms	(-.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 1104 to 917 computations (16.9% saved)

simplify79.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4957	2436
1	4957	2436

prune81.0ms (2.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	116	5	121

Error

Counts

121 → 5

Compiler

Compiled 2551 to 401 computations (84.3% saved)

localize0.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

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

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune1.0ms (0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	3	3
Total	5	5

Error

Counts

5 → 5

Compiler

Compiled 0 to 0 computations (0% saved)

regimes112.0ms (3.4%)

Accuracy

Total 4.5b remaining (90%)

Threshold costs 0b (0%)

Compiler

Compiled 793 to 416 computations (47.5% saved)

bsearch1.0ms (0%)

Compiler: Compiled 15 to 9 computations (40% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	50
1	27	50

end0.0ms (0%)

sample1.0s (31.4%)

Algorithm

1×

intervals

Results

309.0ms	8000×	body	128	valid
163.0ms	8000×	pre	128	true

Compiler

Compiled 346 to 182 computations (47.4% saved)

Details

analyze13.0ms (0.4%)

sample27.0ms (0.8%)

simplify261.0ms (8%)

prune2.0ms (0.1%)

localize12.0ms (0.4%)

rewrite46.0ms (1.4%)

series111.0ms (3.4%)

simplify31.0ms (1%)

prune34.0ms (1%)

localize10.0ms (0.3%)

rewrite220.0ms (6.7%)

series469.0ms (14.4%)

simplify79.0ms (2.4%)

prune160.0ms (4.9%)

localize10.0ms (0.3%)

rewrite102.0ms (3.1%)

series360.0ms (11.1%)

simplify79.0ms (2.4%)

prune81.0ms (2.5%)

localize0.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify9.0ms (0.3%)

prune1.0ms (0%)

regimes112.0ms (3.4%)

bsearch1.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.0s (31.4%)

Profiling