Details

analyze1.1s (9.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	72
1	38	72
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
6.2%	93.6%	0.1%	6
12.5%	87.4%	0.1%	7
15.6%	84.3%	0.1%	8
18.7%	71.8%	9.5%	9
23.4%	56%	20.6%	10
26.3%	52.2%	21.5%	11
31%	40.1%	28.9%	12
35.6%	28.9%	35.5%	13
36.8%	27.5%	35.7%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample77.0ms (0.6%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
7.0ms	83×	body	128	nan

Compiler

Compiled 29 to 26 computations (10.3% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	38	18
1	38	18

prune14.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

23.5b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize18.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 x (+.f64 y z))
1.2b	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
22.1b	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

rewrite41.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_14763`
8×	`*-un-lft-identity_binary64_14741`
6×	`pow1_binary64_14802` `add-cube-cbrt_binary64_14776`
5×	`add-log-exp_binary64_14780` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
4×	`associate-r_binary64_14681`
3×	`associate-l_binary64_14682` `flip-+_binary64_14715` `sqrt-prod_binary64_14757` `flip3-+_binary64_14744`
2×	`associate-+l+_binary64_14674` `distribute-lft-in_binary64_14690` `associate-*r/_binary64_14683` `sqrt-div_binary64_14758` `distribute-rgt-in_binary64_14691`
1×	`unswap-sqr_binary64_14709` `rem-sqrt-square_binary64_14754` `cbrt-unprod_binary64_14774` `pow-prod-down_binary64_14812` `distribute-lft-out_binary64_14692` `+-commutative_binary64_14671` `pow1/2_binary64_14821` `*-commutative_binary64_14672` `prod-exp_binary64_14790` `sqrt-pow1_binary64_14759` `sum-log_binary64_14832`

Counts

3 → 51

Calls

3 calls:

12.0ms	(*.f64 x (+.f64 y z))
12.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
11.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

series680.0ms (5.6%)

Counts

3 → 47

Calls

3 calls:

274.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
256.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
150.0ms	(*.f64 x (+.f64 y z))

Compiler

Compiled 1352 to 1079 computations (20.2% saved)

simplify115.0ms (1%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5117	1433

prune191.0ms (1.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	88	10	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	10	99

Error

22.8b

Counts

99 → 10

Compiler

Compiled 1744 to 628 computations (64% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.2b	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
1.2b	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
22.1b	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
22.1b	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

rewrite62.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-log-exp_binary64_14780` `add-sqr-sqrt_binary64_14763`
6×	`*-un-lft-identity_binary64_14741` `sqrt-prod_binary64_14757` `pow1_binary64_14802` `add-cube-cbrt_binary64_14776`
4×	`associate-+l+_binary64_14674` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `flip-+_binary64_14715` `flip3-+_binary64_14744` `sqrt-div_binary64_14758`
2×	`rem-sqrt-square_binary64_14754` `distribute-lft-in_binary64_14690` `+-commutative_binary64_14671` `pow1/2_binary64_14821` `sqrt-pow1_binary64_14759` `sum-log_binary64_14832` `distribute-rgt-in_binary64_14691`

Counts

4 → 56

Calls

4 calls:

13.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
13.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
13.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
12.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

series1.1s (9.1%)

Counts

4 → 64

Calls

4 calls:

283.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
278.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
273.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
264.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

Compiler

Compiled 3378 to 2450 computations (27.5% saved)

simplify162.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (111.0ms)

Iter	Nodes	Cost
0	4989	2256
1	4989	2256

prune230.0ms (1.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	118	12	130

Error

22.8b

Counts

130 → 12

Compiler

Compiled 3803 to 867 computations (77.2% saved)

localize35.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.2b	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
22.1b	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
22.8b	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
22.8b	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

rewrite66.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_14763`
7×	`*-un-lft-identity_binary64_14741` `add-cube-cbrt_binary64_14776`
6×	`add-log-exp_binary64_14780` `cbrt-prod_binary64_14772`
5×	`pow1_binary64_14802`
4×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `cbrt-div_binary64_14773` `flip-+_binary64_14715` `flip3-+_binary64_14744`
3×	`sqrt-prod_binary64_14757`
2×	`pow1/3_binary64_14823` `associate-+l+_binary64_14674` `sqrt-div_binary64_14758`
1×	`rem-sqrt-square_binary64_14754` `distribute-lft-in_binary64_14690` `+-commutative_binary64_14671` `pow1/2_binary64_14821` `sqrt-pow1_binary64_14759` `sum-log_binary64_14832` `distribute-rgt-in_binary64_14691`

Counts

4 → 54

Calls

4 calls:

16.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
13.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
12.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
12.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

series1.4s (11.8%)

Counts

4 → 62

Calls

4 calls:

419.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
416.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
307.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 y z))
280.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

Compiler

Compiled 5156 to 3251 computations (36.9% saved)

simplify110.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5009	3340

prune300.0ms (2.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	116	12	128

Error

22.8b

Counts

128 → 12

Compiler

Compiled 5825 to 1399 computations (76% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

22.1b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z))) (cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))) (cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))))
22.8b	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
22.8b	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
22.8b	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

rewrite116.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`cbrt-div_binary64_14773`
30×	`flip-+_binary64_14715` `flip3-+_binary64_14744`
28×	`frac-times_binary64_14751`
26×	`sqrt-div_binary64_14758`
24×	`pow1_binary64_14802`
15×	`sqrt-pow1_binary64_14759`
14×	`associate-*l/_binary64_14684`
12×	`pow1/3_binary64_14823`
9×	`cbrt-prod_binary64_14772` `pow-prod-up_binary64_14811`
8×	`associate-*r/_binary64_14683`
7×	`add-sqr-sqrt_binary64_14763` `*-un-lft-identity_binary64_14741` `add-cube-cbrt_binary64_14776`
6×	`pow-plus_binary64_14804`
5×	`pow-prod-down_binary64_14812`
4×	`add-log-exp_binary64_14780` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
3×	`pow-sqr_binary64_14714`
2×	`pow2_binary64_14822`
1×	`pow3_binary64_14824` `pow1/2_binary64_14821` `sqrt-prod_binary64_14757`

Counts

4 → 89

Calls

4 calls:

51.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z))) (cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))) (cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))))
12.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
11.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))

series1.5s (12.6%)

Counts

4 → 59

Calls

4 calls:

440.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
411.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
392.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))
283.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z))) (cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))) (cbrt.f64 (+.f64 (.f64 x (+.f64 y z)) (.f64 y z)))))

Compiler

Compiled 4781 to 3080 computations (35.6% saved)

simplify224.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	4966	6606
1	4966	6606

prune355.0ms (2.9%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	148	12	160

Error

22.8b

Counts

160 → 12

Compiler

Compiled 7060 to 1599 computations (77.4% saved)

regimes604.0ms (5%)

Accuracy

Total 0.6b remaining (2.8%)

Threshold costs 0.6b (2.8%)

Compiler

Compiled 3710 to 2300 computations (38% saved)

bsearch0.0ms (0%)

simplify27.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	18
1	16	18

Compiler

Compiled 24 to 20 computations (16.7% saved)

end0.0ms (0%)

sample3.5s (28.7%)

Algorithm

1×

intervals

Results

774.0ms	8000×	body	128	valid
194.0ms	2269×	body	128	nan

Compiler

Compiled 697 to 443 computations (36.4% saved)

Details

analyze1.1s (9.1%)

sample77.0ms (0.6%)

simplify14.0ms (0.1%)

prune14.0ms (0.1%)

localize18.0ms (0.2%)

rewrite41.0ms (0.3%)

series680.0ms (5.6%)

simplify115.0ms (1%)

prune191.0ms (1.6%)

localize23.0ms (0.2%)

rewrite62.0ms (0.5%)

series1.1s (9.1%)

simplify162.0ms (1.3%)

prune230.0ms (1.9%)

localize35.0ms (0.3%)

rewrite66.0ms (0.5%)

series1.4s (11.8%)

simplify110.0ms (0.9%)

prune300.0ms (2.5%)

localize25.0ms (0.2%)

rewrite116.0ms (1%)

series1.5s (12.6%)

simplify224.0ms (1.8%)

prune355.0ms (2.9%)

regimes604.0ms (5%)

bsearch0.0ms (0%)

simplify27.0ms (0.2%)

end0.0ms (0%)

sample3.5s (28.7%)

Profiling