Details

analyze97.0ms (2.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	12
1	10	12
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
62.5%	12.5%	25%	4
68.7%	6.2%	25%	5
71.8%	3.1%	25%	6
73.4%	1.6%	25%	7
74.2%	0.8%	25%	8
74.6%	0.4%	25%	9
74.8%	0.2%	25%	10
74.9%	0.1%	25%	11
74.9%	0%	25%	12
74.9%	0%	25%	13
74.9%	0%	25%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample14.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	12
1	10	12

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

0.1b

Counts

2 → 1

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(sqrt.f64 (+.f64 x 1))
0.0b	(+.f64 1 (sqrt.f64 (+.f64 x 1)))
0.1b	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))

rewrite96.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

42×	`*-un-lft-identity_binary64_2806`
26×	`add-sqr-sqrt_binary64_2828`
21×	`distribute-lft-out_binary64_2757`
18×	`times-frac_binary64_2812`
15×	`add-cube-cbrt_binary64_2841`
14×	`sqrt-prod_binary64_2822`
6×	`associate-/r*_binary64_2750`
5×	`add-exp-log_binary64_2844` `add-log-exp_binary64_2845` `add-cbrt-cube_binary64_2842`
4×	`pow1_binary64_2867`
3×	`flip3-+_binary64_2809` `flip-+_binary64_2780` `associate-/l*_binary64_2751`
2×	`associate-/r/_binary64_2752` `sqrt-div_binary64_2823`
1×	`div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `frac-2neg_binary64_2817` `clear-num_binary64_2805` `div-inv_binary64_2803` `sum-log_binary64_2897` `+-commutative_binary64_2736` `pow1/2_binary64_2886` `sqrt-pow1_binary64_2824` `rem-sqrt-square_binary64_2819`

Counts

3 → 71

Calls

3 calls:

8.0ms	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
6.0ms	(+.f64 1 (sqrt.f64 (+.f64 x 1)))
3.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 1133 to 876 computations (22.7% saved)

series80.0ms (2%)

Error

0.1b

Counts

3 → 18

Calls

3 calls:

35.0ms	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
16.0ms	(+.f64 1 (sqrt.f64 (+.f64 x 1)))
14.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 446 to 364 computations (18.4% saved)

simplify61.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4923	1202
1	4923	1202

prune80.0ms (2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	85	4	89
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	85	5	90

Error

Counts

90 → 5

Compiler

Compiled 1212 to 914 computations (24.6% saved)

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.8b	(cbrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))
0.8b	(cbrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))
0.8b	(cbrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))

rewrite138.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

23×	`*-un-lft-identity_binary64_2806`
21×	`cbrt-prod_binary64_2837`
14×	`add-sqr-sqrt_binary64_2828`
12×	`distribute-lft-out_binary64_2757`
8×	`add-cube-cbrt_binary64_2841`
6×	`cbrt-div_binary64_2838` `sqrt-prod_binary64_2822`
4×	`pow1/3_binary64_2888` `pow1_binary64_2867` `add-log-exp_binary64_2845` `add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
3×	`flip3-+_binary64_2809` `flip-+_binary64_2780`

Counts

4 → 59

Calls

4 calls:

6.0ms	(cbrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))
6.0ms	(cbrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))
6.0ms	(cbrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2354 to 1707 computations (27.5% saved)

series271.0ms (6.7%)

Error

Counts

4 → 21

Calls

4 calls:

82.0ms	(cbrt.f64 x)
52.0ms	(cbrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))
52.0ms	(cbrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))
50.0ms	(cbrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))

Compiler

Compiled 2052 to 1609 computations (21.6% saved)

simplify62.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4903	1104
1	4903	1104

prune137.0ms (3.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	80	5	85

Error

Counts

85 → 5

Compiler

Compiled 2961 to 2104 computations (28.9% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 x 1))
0.0b	(/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1))))
0.0b	(+.f64 1 (sqrt.f64 (+.f64 x 1)))
0.2b	(*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1)))))

rewrite230.0ms (5.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

119×	`*-un-lft-identity_binary64_2806`
92×	`add-sqr-sqrt_binary64_2828`
79×	`sqrt-prod_binary64_2822`
76×	`times-frac_binary64_2812`
57×	`distribute-lft-out_binary64_2757`
47×	`add-cube-cbrt_binary64_2841`
42×	`associate-r_binary64_2746`
11×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
7×	`pow1_binary64_2867`
6×	`add-log-exp_binary64_2845` `unswap-sqr_binary64_2774` `associate-l_binary64_2747` `associate-/l_binary64_2751` `associate-/r_binary64_2750`
4×	`flip3-+_binary64_2809` `associate-/r/_binary64_2752` `flip-+_binary64_2780`
2×	`div-exp_binary64_2857` `prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `cbrt-undiv_binary64_2840` `div-inv_binary64_2803` `sqrt-div_binary64_2823`
1×	`pow-prod-down_binary64_2877` `associate-r/_binary64_2748` `-commutative_binary64_2737` `sum-log_binary64_2897` `+-commutative_binary64_2736` `frac-2neg_binary64_2817` `clear-num_binary64_2805` `pow1/2_binary64_2886` `sqrt-pow1_binary64_2824` `rem-sqrt-square_binary64_2819`

Counts

4 → 160

Calls

4 calls:

22.0ms	(*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
9.0ms	(/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1))))
6.0ms	(+.f64 1 (sqrt.f64 (+.f64 x 1)))
3.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 3521 to 2199 computations (37.5% saved)

series131.0ms (3.2%)

Error

Counts

4 → 21

Calls

4 calls:

43.0ms	(/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1))))
39.0ms	(*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 x) (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
18.0ms	(+.f64 1 (sqrt.f64 (+.f64 x 1)))
15.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 740 to 546 computations (26.2% saved)

simplify85.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5028	3000

prune167.0ms (4.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	181	5	186

Error

Counts

186 → 5

Compiler

Compiled 3245 to 2039 computations (37.2% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
0.1b	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
0.1b	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
0.3b	(*.f64 (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))) (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))))

rewrite602.0ms (14.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

239×	`*-un-lft-identity_binary64_2806`
216×	`sqrt-prod_binary64_2822`
183×	`add-sqr-sqrt_binary64_2828`
159×	`times-frac_binary64_2812`
116×	`distribute-lft-out_binary64_2757`
88×	`add-cube-cbrt_binary64_2841`
41×	`swap-sqr_binary64_2773`
27×	`associate-l_binary64_2747` `associate-r_binary64_2746`
20×	`pow1_binary64_2867`
14×	`associate-/r/_binary64_2752`
12×	`associate-/r*_binary64_2750`
10×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
9×	`pow1/2_binary64_2886` `sqrt-pow1_binary64_2824` `unswap-sqr_binary64_2774`
7×	`div-inv_binary64_2803` `flip3-+_binary64_2809` `flip-+_binary64_2780`
6×	`rem-sqrt-square_binary64_2819` `associate-/l*_binary64_2751`
5×	`pow-prod-up_binary64_2876` `sqrt-div_binary64_2823`
4×	`add-log-exp_binary64_2845`
3×	`pow-prod-down_binary64_2877` `pow-sqr_binary64_2779`
2×	`sqr-abs_binary64_2821` `div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `frac-2neg_binary64_2817` `clear-num_binary64_2805`
1×	`pow2_binary64_2887` `pow-plus_binary64_2869` `prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `sqrt-unprod_binary64_2826` `rem-square-sqrt_binary64_2818` `frac-times_binary64_2816` `associate-l/_binary64_2749` `associate-r/_binary64_2748` `*-commutative_binary64_2737`

Counts

4 → 252

Calls

4 calls:

34.0ms	(*.f64 (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))) (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))))
11.0ms	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
8.0ms	(sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
8.0ms	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))

Compiler

Compiled 7775 to 6027 computations (22.5% saved)

series183.0ms (4.5%)

Error

Counts

4 → 21

Calls

4 calls:

49.0ms	(*.f64 (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))) (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))))
44.0ms	(sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
36.0ms	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
35.0ms	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))

Compiler

Compiled 1047 to 858 computations (18.1% saved)

simplify123.0ms (3%)

Algorithm

1×	egg-herbie

Counts

273 → 273

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4896	5301
1	4896	5301

prune391.0ms (9.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	273	0	273
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	273	5	278

Error

Counts

278 → 5

Compiler

Compiled 6055 to 4618 computations (23.7% saved)

regimes105.0ms (2.6%)

Accuracy

Total 0.2b remaining (99.8%)

Threshold costs 0.2b (99.8%)

Compiler

Compiled 1002 to 824 computations (17.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	10	12

end0.0ms (0%)

sample935.0ms (23.2%)

Algorithm

1×

intervals

Results

233.0ms	7999×	body	128	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 509 to 420 computations (17.5% saved)

Details

analyze97.0ms (2.4%)

sample14.0ms (0.4%)

simplify7.0ms (0.2%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite96.0ms (2.4%)

series80.0ms (2%)

simplify61.0ms (1.5%)

prune80.0ms (2%)

localize16.0ms (0.4%)

rewrite138.0ms (3.4%)

series271.0ms (6.7%)

simplify62.0ms (1.5%)

prune137.0ms (3.4%)

localize7.0ms (0.2%)

rewrite230.0ms (5.7%)

series131.0ms (3.2%)

simplify85.0ms (2.1%)

prune167.0ms (4.1%)

localize8.0ms (0.2%)

rewrite602.0ms (14.9%)

series183.0ms (4.5%)

simplify123.0ms (3%)

prune391.0ms (9.7%)

regimes105.0ms (2.6%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample935.0ms (23.2%)

Profiling