Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample26.0ms (1.1%)

Algorithm

1×

intervals

Results

7.0ms	50×	body	1024	valid
6.0ms	9×	body	2048	valid
5.0ms	140×	body	128	valid
3.0ms	34×	body	512	valid
1.0ms	23×	body	256	valid

Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify231.0ms (10%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	668	19
1	668	19

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

Merged error: 28.3b

Counts

2 → 1

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 x (+.f64 x 1))
0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
3.0b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite70.0ms (3%)

Algorithm

1×	rewrite-expression-head

Rules

110×	`*-un-lft-identity_binary64_2773`
60×	`times-frac_binary64_2779`
57×	`add-sqr-sqrt_binary64_2794`
25×	`add-cube-cbrt_binary64_2805`
20×	`distribute-lft-out_binary64_2726`
18×	`distribute-lft-out--_binary64_2727`
14×	`difference-of-squares_binary64_2742`
11×	`associate-/r*_binary64_2719`
7×	`add-exp-log_binary64_2808` `add-cbrt-cube_binary64_2806` `associate-/l*_binary64_2720`
5×	`difference-of-sqr-1_binary64_2743` `add-log-exp_binary64_2809`
4×	`associate-/r/_binary64_2721`
3×	`pow1_binary64_2831`
2×	`cbrt-undiv_binary64_2804` `frac-2neg_binary64_2784` `associate-/l/_binary64_2722` `div-inv_binary64_2770` `flip3-+_binary64_2776` `flip3--_binary64_2777` `div-exp_binary64_2821` `flip--_binary64_2748` `clear-num_binary64_2772` `flip-+_binary64_2747`
1×	`diff-log_binary64_2862` `sub-neg_binary64_2766` `frac-sub_binary64_2782`

Counts

3 → 113

Calls

3 calls:

45.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
9.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
6.0ms	(/.f64 x (+.f64 x 1))

series126.0ms (5.4%)

Counts

3 → 9

Calls

3 calls:

77.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
24.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
23.0ms	(/.f64 x (+.f64 x 1))

simplify77.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5940	2299

prune174.0ms (7.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	118	4	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	4	123

Merged error: 0.0b

Counts

123 → 4

Compiler

Compiled 2544 to 1817 computations (28.6% saved)

localize12.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (+.f64 x 1) (+.f64 x 1))
0.0b	(/.f64 (-.f64 (.f64 x (-.f64 x 1)) (.f64 (+.f64 x 1) (+.f64 x 1))) (+.f64 (*.f64 x x) -1))
16.4b	(-.f64 (.f64 x (-.f64 x 1)) (.f64 (+.f64 x 1) (+.f64 x 1)))

rewrite54.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`associate-*r/_binary64_2717`
32×	`frac-sub_binary64_2782`
31×	`flip3-+_binary64_2776` `flip-+_binary64_2747`
30×	`*-un-lft-identity_binary64_2773`
20×	`frac-times_binary64_2783`
18×	`associate-/l/_binary64_2722` `flip3--_binary64_2777` `flip--_binary64_2748` `add-sqr-sqrt_binary64_2794`
16×	`add-cube-cbrt_binary64_2805`
12×	`times-frac_binary64_2779`
10×	`pow1_binary64_2831` `associate-*l/_binary64_2718`
7×	`add-exp-log_binary64_2808` `add-cbrt-cube_binary64_2806`
6×	`swap-sqr_binary64_2740` `distribute-lft-out_binary64_2726`
5×	`add-log-exp_binary64_2809`
4×	`associate-l_binary64_2716` `associate-/r_binary64_2719` `associate-r*_binary64_2715` `difference-of-sqr--1_binary64_2744`
3×	`distribute-rgt-in_binary64_2725` `sub-neg_binary64_2766` `distribute-lft-in_binary64_2724` `associate-/l*_binary64_2720`
2×	`associate-/r/_binary64_2721` `associate--r+_binary64_2711` `associate--l+_binary64_2712`
1×	`cbrt-unprod_binary64_2803` `div-sub_binary64_2778` `cbrt-undiv_binary64_2804` `pow-sqr_binary64_2746` `frac-2neg_binary64_2784` `pow-prod-down_binary64_2841` `unswap-sqr_binary64_2741` `diff-log_binary64_2862` `div-inv_binary64_2770` `div-exp_binary64_2821` `*-commutative_binary64_2706` `pow2_binary64_2851` `clear-num_binary64_2772` `prod-exp_binary64_2819` `pow-plus_binary64_2833` `pow-prod-up_binary64_2840`

Counts

3 → 123

Calls

3 calls:

17.0ms	(/.f64 (-.f64 (.f64 x (-.f64 x 1)) (.f64 (+.f64 x 1) (+.f64 x 1))) (+.f64 (*.f64 x x) -1))
10.0ms	(-.f64 (.f64 x (-.f64 x 1)) (.f64 (+.f64 x 1) (+.f64 x 1)))
10.0ms	(*.f64 (+.f64 x 1) (+.f64 x 1))

series106.0ms (4.6%)

Counts

3 → 9

Calls

3 calls:

47.0ms	(-.f64 (.f64 x (-.f64 x 1)) (.f64 (+.f64 x 1) (+.f64 x 1)))
39.0ms	(/.f64 (-.f64 (.f64 x (-.f64 x 1)) (.f64 (+.f64 x 1) (+.f64 x 1))) (+.f64 (*.f64 x x) -1))
20.0ms	(*.f64 (+.f64 x 1) (+.f64 x 1))

simplify81.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4962	3644
1	4962	3644

prune214.0ms (9.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	133	3	136

Merged error: 0b

Counts

136 → 3

Compiler

Compiled 4353 to 2998 computations (31.1% saved)

localize9.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 -1 (*.f64 x 3))
12.6b	(/.f64 (-.f64 -1 (.f64 x 3)) (+.f64 (.f64 x x) -1))

rewrite16.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`times-frac_binary64_2779`
11×	`add-cube-cbrt_binary64_2805` `add-sqr-sqrt_binary64_2794` `*-un-lft-identity_binary64_2773`
4×	`add-exp-log_binary64_2808` `associate-/r*_binary64_2719` `add-cbrt-cube_binary64_2806` `add-log-exp_binary64_2809` `difference-of-sqr--1_binary64_2744`
3×	`associate-/l*_binary64_2720`
2×	`associate-/r/_binary64_2721` `associate-/l/_binary64_2722` `pow1_binary64_2831` `flip3--_binary64_2777` `flip--_binary64_2748`
1×	`div-sub_binary64_2778` `cbrt-undiv_binary64_2804` `frac-2neg_binary64_2784` `diff-log_binary64_2862` `sub-neg_binary64_2766` `div-inv_binary64_2770` `flip3-+_binary64_2776` `div-exp_binary64_2821` `clear-num_binary64_2772` `flip-+_binary64_2747`

Counts

2 → 47

Calls

2 calls:

9.0ms	(/.f64 (-.f64 -1 (.f64 x 3)) (+.f64 (.f64 x x) -1))
3.0ms	(-.f64 -1 (*.f64 x 3))

series79.0ms (3.4%)

Counts

2 → 6

Calls

2 calls:

45.0ms	(-.f64 -1 (*.f64 x 3))
34.0ms	(/.f64 (-.f64 -1 (.f64 x 3)) (+.f64 (.f64 x x) -1))

simplify48.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4916	1087
1	4916	1087

prune56.0ms (2.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	54	2	56

Merged error: 0b

Counts

56 → 2

Compiler

Compiled 1013 to 717 computations (29.2% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 -1 (*.f64 x 3))
0.3b	(/.f64 (-.f64 -1 (*.f64 x 3)) (+.f64 x 1))

rewrite14.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_2773`
12×	`times-frac_binary64_2779`
11×	`add-cube-cbrt_binary64_2805` `add-sqr-sqrt_binary64_2794`
4×	`add-exp-log_binary64_2808` `associate-/r*_binary64_2719` `distribute-lft-out_binary64_2726` `add-cbrt-cube_binary64_2806` `add-log-exp_binary64_2809`
3×	`associate-/l*_binary64_2720`
2×	`associate-/r/_binary64_2721` `associate-/l/_binary64_2722` `pow1_binary64_2831` `flip3--_binary64_2777` `flip--_binary64_2748`
1×	`div-sub_binary64_2778` `cbrt-undiv_binary64_2804` `frac-2neg_binary64_2784` `diff-log_binary64_2862` `sub-neg_binary64_2766` `div-inv_binary64_2770` `flip3-+_binary64_2776` `div-exp_binary64_2821` `clear-num_binary64_2772` `flip-+_binary64_2747`

Counts

2 → 47

Calls

2 calls:

7.0ms	(/.f64 (-.f64 -1 (*.f64 x 3)) (+.f64 x 1))
3.0ms	(-.f64 -1 (*.f64 x 3))

series75.0ms (3.3%)

Counts

2 → 6

Calls

2 calls:

44.0ms	(-.f64 -1 (*.f64 x 3))
31.0ms	(/.f64 (-.f64 -1 (*.f64 x 3)) (+.f64 x 1))

simplify40.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5024	931

prune52.0ms (2.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

55 → 2

Compiler

Compiled 1047 to 834 computations (20.3% saved)

regimes8.0ms (0.4%)

Compiler: Compiled 30 to 25 computations (16.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	19
1	40	19

end0.0ms (0%)

sample716.0ms (31%)

Algorithm

1×

intervals

Results

229.0ms	1926×	body	1024	valid
144.0ms	4316×	body	128	valid
97.0ms	1024×	body	512	valid
37.0ms	229×	body	2048	valid
31.0ms	505×	body	256	valid

Compiler

Compiled 55 to 46 computations (16.4% saved)

Details

analyze4.0ms (0.2%)

sample26.0ms (1.1%)

simplify231.0ms (10%)

prune2.0ms (0.1%)

localize6.0ms (0.3%)

rewrite70.0ms (3%)

series126.0ms (5.4%)

simplify77.0ms (3.3%)

prune174.0ms (7.5%)

localize12.0ms (0.5%)

rewrite54.0ms (2.3%)

series106.0ms (4.6%)

simplify81.0ms (3.5%)

prune214.0ms (9.3%)

localize9.0ms (0.4%)

rewrite16.0ms (0.7%)

series79.0ms (3.4%)

simplify48.0ms (2.1%)

prune56.0ms (2.4%)

localize8.0ms (0.3%)

rewrite14.0ms (0.6%)

series75.0ms (3.3%)

simplify40.0ms (1.7%)

prune52.0ms (2.3%)

regimes8.0ms (0.4%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample716.0ms (31%)

Profiling