Details

analyze59.0ms (3.1%)

Algorithm

1×

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
25%	74.9%	0.1%	5
25%	56.2%	18.8%	6
25%	40.6%	34.4%	7
31.2%	31.2%	37.6%	8
39%	21.1%	39.9%	9
42.9%	16%	41.1%	10
47.2%	10.7%	42%	11
49.4%	8.1%	42.5%	12
51.6%	5.4%	43%	13
52.7%	4.1%	43.2%	14

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample12.0ms (0.6%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify100.0ms (5.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	70	10
1	70	10

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.0b

Counts

2 → 1

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize3.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (+.f64 x y) (+.f64 x y))
0.0b	(*.f64 (+.f64 x y) (+.f64 x y))

rewrite13.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_18833`
8×	`pow1_binary64_18894`
7×	`add-sqr-sqrt_binary64_18855`
6×	`swap-sqr_binary64_18800` `flip3-+_binary64_18836` `flip-+_binary64_18807` `distribute-lft-out_binary64_18784`
5×	`add-cube-cbrt_binary64_18868`
4×	`associate-r_binary64_18773` `associate-l_binary64_18774` `frac-times_binary64_18843`
3×	`add-cbrt-cube_binary64_18869` `add-exp-log_binary64_18871`
2×	`associate-r/_binary64_18775` `associate-l/_binary64_18776`
1×	`pow-prod-down_binary64_18904` `distribute-lft-in_binary64_18782` `*-commutative_binary64_18764` `add-log-exp_binary64_18872` `pow2_binary64_18914` `cbrt-unprod_binary64_18866` `distribute-rgt-in_binary64_18783` `prod-exp_binary64_18882` `pow-sqr_binary64_18806` `pow-plus_binary64_18896` `pow-prod-up_binary64_18903` `unswap-sqr_binary64_18801`

Counts

1 → 40

Calls

2 calls:

10.0ms	(*.f64 (+.f64 x y) (+.f64 x y))
0.0ms	(*.f64 (+.f64 x y) (+.f64 x y))

series95.0ms (4.9%)

Counts

1 → 18

Calls

1 calls:

95.0ms

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

Compiler

Compiled 228 to 204 computations (10.5% saved)

simplify64.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4976	634
1	4976	634

prune41.0ms (2.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	2	59

Error

Counts

59 → 2

Compiler

Compiled 584 to 208 computations (64.4% saved)

localize6.0ms (0.3%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 x y)))
0.0b	(*.f64 y (+.f64 x y))
0.0b	(*.f64 x (+.f64 x y))
0.0b	(*.f64 y (+.f64 x y))
0.0b	(*.f64 x (+.f64 x y))
0.0b	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 x y)))

rewrite27.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`associate-*r/_binary64_18775`
11×	`*-un-lft-identity_binary64_18833` `add-sqr-sqrt_binary64_18855`
8×	`associate-r_binary64_18773`
7×	`add-cbrt-cube_binary64_18869` `pow1_binary64_18894` `add-cube-cbrt_binary64_18868` `flip3-+_binary64_18836` `flip-+_binary64_18807` `add-exp-log_binary64_18871`
6×	`associate-l_binary64_18774`
5×	`add-log-exp_binary64_18872`
4×	`distribute-lft-in_binary64_18782` `frac-add_binary64_18841` `distribute-rgt-in_binary64_18783`
2×	`pow-prod-down_binary64_18904` `*-commutative_binary64_18764` `cbrt-unprod_binary64_18866` `associate-+r+_binary64_18765` `associate-+l+_binary64_18766` `prod-exp_binary64_18882` `distribute-lft-out_binary64_18784` `unswap-sqr_binary64_18801`
1×	`+-commutative_binary64_18763` `sum-log_binary64_18924` `distribute-rgt-out_binary64_18786`

Counts

3 → 66

Calls

6 calls:

8.0ms	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 x y)))
7.0ms	(*.f64 x (+.f64 x y))
6.0ms	(*.f64 y (+.f64 x y))
0.0ms	(*.f64 x (+.f64 x y))
0.0ms	(*.f64 y (+.f64 x y))

series291.0ms (15.1%)

Counts

3 → 42

Calls

3 calls:

156.0ms	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 x y)))
68.0ms	(*.f64 y (+.f64 x y))
67.0ms	(*.f64 x (+.f64 x y))

Compiler

Compiled 648 to 498 computations (23.1% saved)

simplify75.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4737	1104
1	4737	1104

prune59.0ms (3.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	108	2	110

Error

Counts

110 → 2

Compiler

Compiled 1413 to 269 computations (81% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (+.f64 x y))
0.0b	(+.f64 x (+.f64 x y))

rewrite7.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_18872` `*-un-lft-identity_binary64_18833`
3×	`sum-log_binary64_18924` `distribute-lft-out_binary64_18784`
1×	`+-commutative_binary64_18763` `add-cbrt-cube_binary64_18869` `pow1_binary64_18894` `associate-+r+_binary64_18765` `add-cube-cbrt_binary64_18868` `flip3-+_binary64_18836` `flip-+_binary64_18807` `add-exp-log_binary64_18871` `add-sqr-sqrt_binary64_18855`

Counts

1 → 15

Calls

2 calls:

6.0ms	(+.f64 x (+.f64 x y))
0.0ms	(+.f64 x (+.f64 x y))

series61.0ms (3.2%)

Counts

1 → 12

Calls

1 calls:

61.0ms

(+.f64 x (+.f64 x y))

Compiler

Compiled 180 to 132 computations (26.7% saved)

simplify64.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4888	207
1	4888	207

prune14.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

29 → 2

Compiler

Compiled 340 to 74 computations (78.2% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	75	112
1	75	112

regimes92.0ms (4.8%)

Compiler: Compiled 390 to 312 computations (20% saved)

bsearch0.0ms (0%)

regimes73.0ms (3.8%)

Compiler: Compiled 200 to 190 computations (5% saved)

bsearch0.0ms (0%)

regimes51.0ms (2.6%)

Compiler: Compiled 116 to 122 computations (-5.2% saved)

bsearch0.0ms (0%)

regimes62.0ms (3.2%)

Compiler: Compiled 22 to 38 computations (-72.7% saved)

bsearch40.0ms (2.1%)

Steps

Iters	Range		Point
7	52778.24941677163	3575721.5253420603	59798.966583764915
7	9.5073239863988e-47	1.749473162359546e-44	4.468379801304094e-46
7	5.693922185198127e-86	2.9349279517531317e-84	2.120345883241027e-85
8	-1.5220632575770704e-58	-5.654739092078065e-61	-1.4427194837061562e-59

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes18.0ms (0.9%)

Compiler: Compiled 16 to 32 computations (-100% saved)

bsearch0.0ms (0%)

regimes17.0ms (0.9%)

Accuracy

Total 0.0b remaining (66.4%)

Threshold costs 0.0b (66.4%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch4.0ms (0.2%)

Compiler: Compiled 65 to 42 computations (35.4% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	54	84
1	54	84

end0.0ms (0%)

sample561.0ms (29.1%)

Algorithm

1×

intervals

Results

154.0ms	8000×	body	128	valid
2.0ms	82×	body	128	invalid

Compiler

Compiled 159 to 121 computations (23.9% saved)

Pareto

0.5489651174358724

Details

analyze59.0ms (3.1%)

sample12.0ms (0.6%)

simplify100.0ms (5.2%)

prune2.0ms (0.1%)

localize3.0ms (0.2%)

rewrite13.0ms (0.7%)

series95.0ms (4.9%)

simplify64.0ms (3.3%)

prune41.0ms (2.1%)

localize6.0ms (0.3%)

rewrite27.0ms (1.4%)

series291.0ms (15.1%)

simplify75.0ms (3.9%)

prune59.0ms (3.1%)

localize7.0ms (0.3%)

rewrite7.0ms (0.4%)

series61.0ms (3.2%)

simplify64.0ms (3.3%)

prune14.0ms (0.7%)

simplify4.0ms (0.2%)

regimes92.0ms (4.8%)

bsearch0.0ms (0%)

regimes73.0ms (3.8%)

bsearch0.0ms (0%)

regimes51.0ms (2.6%)

bsearch0.0ms (0%)

regimes62.0ms (3.2%)

bsearch40.0ms (2.1%)

regimes18.0ms (0.9%)

bsearch0.0ms (0%)

regimes17.0ms (0.9%)

bsearch4.0ms (0.2%)

simplify4.0ms (0.2%)

end0.0ms (0%)

sample561.0ms (29.1%)

Profiling