Details

analyze64.0ms (4.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)

sample11.0ms (0.7%)

Algorithm

1×

intervals

Results

4.0ms	256×	body	128	valid
0.0ms	5×	body	128	invalid

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify172.0ms (11.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite13.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_19687`
8×	`pow1_binary64_19748`
7×	`add-sqr-sqrt_binary64_19709`
6×	`swap-sqr_binary64_19654` `flip-+_binary64_19661` `distribute-lft-out_binary64_19638` `flip3-+_binary64_19690`
5×	`add-cube-cbrt_binary64_19722`
4×	`frac-times_binary64_19697` `associate-r_binary64_19627` `associate-l_binary64_19628`
3×	`add-cbrt-cube_binary64_19723` `add-exp-log_binary64_19725`
2×	`associate-r/_binary64_19629` `associate-l/_binary64_19630`
1×	`pow-plus_binary64_19750` `distribute-rgt-in_binary64_19637` `pow-sqr_binary64_19660` `distribute-lft-in_binary64_19636` `cbrt-unprod_binary64_19720` `add-log-exp_binary64_19726` `pow2_binary64_19768` `prod-exp_binary64_19736` `*-commutative_binary64_19618` `unswap-sqr_binary64_19655` `pow-prod-up_binary64_19757` `pow-prod-down_binary64_19758`

Counts

1 → 40

Calls

1 calls:

10.0ms

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

series28.0ms (1.8%)

Counts

1 → 3

Calls

1 calls:

28.0ms

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

simplify40.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5464	523

prune61.0ms (3.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	2	44

Merged error: 0.0b

Counts

44 → 2

Compiler

Compiled 948 to 465 computations (50.9% saved)

localize6.0ms (0.4%)

Local error

Found 3 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))

rewrite30.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`associate-*r/_binary64_19629`
11×	`add-sqr-sqrt_binary64_19709` `*-un-lft-identity_binary64_19687`
8×	`associate-r_binary64_19627`
7×	`add-cube-cbrt_binary64_19722` `add-cbrt-cube_binary64_19723` `flip-+_binary64_19661` `add-exp-log_binary64_19725` `flip3-+_binary64_19690` `pow1_binary64_19748`
6×	`associate-l_binary64_19628`
5×	`add-log-exp_binary64_19726`
4×	`distribute-rgt-in_binary64_19637` `distribute-lft-in_binary64_19636` `frac-add_binary64_19695`
2×	`distribute-lft-out_binary64_19638` `cbrt-unprod_binary64_19720` `prod-exp_binary64_19736` `*-commutative_binary64_19618` `unswap-sqr_binary64_19655` `associate-+l+_binary64_19620` `associate-+r+_binary64_19619` `pow-prod-down_binary64_19758`
1×	`+-commutative_binary64_19617` `distribute-rgt-out_binary64_19640` `sum-log_binary64_19778`

Counts

3 → 66

Calls

3 calls:

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

series114.0ms (7.3%)

Counts

3 → 9

Calls

3 calls:

39.0ms	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 x y)))
38.0ms	(*.f64 y (+.f64 x y))
37.0ms	(*.f64 x (+.f64 x y))

simplify78.0ms (5%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4745	903
1	4745	903

prune53.0ms (3.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	74	3	77

Merged error: 0b

Counts

77 → 3

Compiler

Compiled 1263 to 311 computations (75.4% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

rewrite23.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_19687`
10×	`add-log-exp_binary64_19726`
7×	`add-sqr-sqrt_binary64_19709`
6×	`distribute-lft-out_binary64_19638`
5×	`add-cube-cbrt_binary64_19722` `add-cbrt-cube_binary64_19723` `add-exp-log_binary64_19725` `associate-r_binary64_19627` `pow1_binary64_19748`
4×	`sum-log_binary64_19778`
3×	`flip-+_binary64_19661` `associate-+r+_binary64_19619` `flip3-+_binary64_19690` `associate-l_binary64_19628`
2×	`associate-*r/_binary64_19629` `distribute-rgt-in_binary64_19637` `+-commutative_binary64_19617` `distribute-lft-in_binary64_19636`
1×	`cbrt-unprod_binary64_19720` `prod-exp_binary64_19736` `*-commutative_binary64_19618` `unswap-sqr_binary64_19655` `pow-prod-down_binary64_19758`

Counts

3 → 52

Calls

3 calls:

9.0ms	(*.f64 y (+.f64 x (+.f64 x y)))
6.0ms	(+.f64 x (+.f64 x y))
5.0ms	(+.f64 (.f64 x x) (.f64 y (+.f64 x (+.f64 x y))))

series121.0ms (7.8%)

Counts

3 → 9

Calls

3 calls:

47.0ms	(*.f64 y (+.f64 x (+.f64 x y)))
37.0ms	(+.f64 (.f64 x x) (.f64 y (+.f64 x (+.f64 x y))))
37.0ms	(+.f64 x (+.f64 x y))

simplify50.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5116	724

prune37.0ms (2.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	61	3	64

Merged error: 0b

Counts

64 → 3

Compiler

Compiled 909 to 185 computations (79.6% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(sqrt.f64 (+.f64 x y))
0.4b	(pow.f64 (sqrt.f64 (+.f64 x y)) 4)

rewrite12.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_19687`
8×	`sqrt-prod_binary64_19703`
7×	`add-sqr-sqrt_binary64_19709` `unpow-prod-down_binary64_19766`
6×	`add-cube-cbrt_binary64_19722`
5×	`pow1_binary64_19748`
3×	`pow-pow_binary64_19759` `add-exp-log_binary64_19725` `pow-unpow_binary64_19764`
2×	`add-cbrt-cube_binary64_19723` `sqrt-div_binary64_19704` `distribute-lft-out_binary64_19638` `add-log-exp_binary64_19726` `pow1/2_binary64_19767` `sqrt-pow1_binary64_19705`
1×	`rem-sqrt-square_binary64_19700` `flip-+_binary64_19661` `pow-to-exp_binary64_19756` `pow-exp_binary64_19755` `sqrt-pow2_binary64_19706` `flip3-+_binary64_19690` `sqr-pow_binary64_19659`

Counts

2 → 40

Calls

2 calls:

6.0ms	(pow.f64 (sqrt.f64 (+.f64 x y)) 4)
4.0ms	(sqrt.f64 (+.f64 x y))

series125.0ms (8.1%)

Counts

2 → 6

Calls

2 calls:

84.0ms	(pow.f64 (sqrt.f64 (+.f64 x y)) 4)
41.0ms	(sqrt.f64 (+.f64 x y))

simplify74.0ms (4.7%)

Algorithm

1×	egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4956	533
1	4956	533

prune27.0ms (1.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	46	0	46
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	46	3	49

Merged error: 0b

Counts

49 → 3

Compiler

Compiled 478 to 234 computations (51% saved)

regimes27.0ms (1.8%)

Compiler: Compiled 94 to 71 computations (24.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	16
1	11	16

end0.0ms (0%)

sample364.0ms (23.5%)

Algorithm

1×

intervals

Results

146.0ms	8000×	body	128	valid
2.0ms	91×	body	128	invalid

Compiler

Compiled 60 to 41 computations (31.7% saved)

Details

analyze64.0ms (4.1%)

sample11.0ms (0.7%)

simplify172.0ms (11.1%)

prune2.0ms (0.1%)

localize3.0ms (0.2%)

rewrite13.0ms (0.8%)

series28.0ms (1.8%)

simplify40.0ms (2.6%)

prune61.0ms (3.9%)

localize6.0ms (0.4%)

rewrite30.0ms (2%)

series114.0ms (7.3%)

simplify78.0ms (5%)

prune53.0ms (3.5%)

localize7.0ms (0.4%)

rewrite23.0ms (1.5%)

series121.0ms (7.8%)

simplify50.0ms (3.2%)

prune37.0ms (2.4%)

localize5.0ms (0.3%)

rewrite12.0ms (0.8%)

series125.0ms (8.1%)

simplify74.0ms (4.7%)

prune27.0ms (1.7%)

regimes27.0ms (1.8%)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

end0.0ms (0%)

sample364.0ms (23.5%)

Profiling