Details

analyze310.0ms (16.6%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	504	20
1	504	20
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	5
37.5%	50%	12.6%	6
37.5%	50%	12.6%	6
43.7%	40.6%	15.7%	7
43.7%	40.6%	15.7%	7
56.2%	23.4%	20.4%	8
56.2%	23.4%	20.4%	8
57.8%	21.1%	21.2%	9
57.8%	21.1%	21.2%	9
64%	12.5%	23.5%	10
64%	12.5%	23.5%	10
64.8%	10.7%	24.5%	11
64.8%	10.7%	24.5%	11
67.9%	6.4%	25.7%	12
67.9%	6.4%	25.7%	12
68.3%	5.4%	26.3%	13
68.3%	5.4%	26.3%	13
69.9%	3.3%	26.9%	14
69.9%	3.3%	26.9%	14

Compiler

Compiled 20 to 16 computations (20% saved)

sample227.0ms (12.1%)

Algorithm

2×

intervals

Results

13.0ms	512×	body	128	valid
8.0ms	203×	body	128	invalid

Compiler

Compiled 3539 to 3537 computations (0.1% saved)

simplify20.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	364	10
1	364	10

prune5.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 16 to 13 computations (18.8% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(.f64 2 (-.f64 (.f64 x x) (*.f64 x y)))

rewrite29.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

5×	`add-sqr-sqrt_binary64_15104`
4×	`associate-r_binary64_15022`
3×	`pow1_binary64_15143` `add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118` `add-cube-cbrt_binary64_15117` `-un-lft-identity_binary64_15082` `associate-l*_binary64_15023`
2×	`sub-neg_binary64_15075` `distribute-rgt-in_binary64_15032` `cancel-sign-sub-inv_binary64_15048` `distribute-lft-in_binary64_15031` `associate-*r/_binary64_15024`
1×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `add-log-exp_binary64_15121` `cbrt-unprod_binary64_15115` `unswap-sqr_binary64_15050` `flip3--_binary64_15086` `flip--_binary64_15057` `distribute-lft-out--_binary64_15034` `*-commutative_binary64_15013`

Counts

1 → 25

Calls

1 calls:

7.0ms

(*.f64 2 (-.f64 (*.f64 x x) (*.f64 x y)))

Compiler

Compiled 427 to 152 computations (64.4% saved)

series153.0ms (8.2%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

145.0ms

(*.f64 2 (-.f64 (*.f64 x x) (*.f64 x y)))

Compiler

Compiled 258 to 216 computations (16.3% saved)

simplify51.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4989	429
1	4989	429

prune26.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	36	1	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	2	38

Error

Counts

38 → 2

Compiler

Compiled 419 to 192 computations (54.2% saved)

localize7.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.0b	(.f64 x (.f64 2 (-.f64 x y)))

rewrite39.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`distribute-rgt-in_binary64_15032` `distribute-lft-in_binary64_15031`
12×	`cancel-sign-sub-inv_binary64_15048`
6×	`pow1_binary64_15143` `add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118` `add-cube-cbrt_binary64_15117` `add-sqr-sqrt_binary64_15104` `*-un-lft-identity_binary64_15082`
4×	`sub-neg_binary64_15075` `associate-*r/_binary64_15024`
3×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `associate-l_binary64_15023`
1×	`add-log-exp_binary64_15121` `flip3--_binary64_15086` `flip--_binary64_15057` `associate-r_binary64_15022` `*-commutative_binary64_15013`

Counts

1 → 36

Calls

1 calls:

8.0ms

(*.f64 x (*.f64 2 (-.f64 x y)))

Compiler

Compiled 520 to 275 computations (47.1% saved)

series156.0ms (8.3%)

Error

Counts

1 → 12

Calls

1 calls:

148.0ms

(*.f64 x (*.f64 2 (-.f64 x y)))

Compiler

Compiled 258 to 216 computations (16.3% saved)

simplify55.0ms (3%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5291	565

prune29.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

50 → 2

Compiler

Compiled 479 to 234 computations (51.1% saved)

regimes54.0ms (2.9%)

Accuracy

Total 0.0b remaining (63.2%)

Threshold costs 0.0b (63.2%)

Compiler

Compiled 216 to 196 computations (9.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	10
1	19	10

end0.0ms (0%)

sample699.0ms (37.4%)

Algorithm

1×

intervals

Results

217.0ms	8000×	body	128	valid
83.0ms	3171×	body	128	invalid

Compiler

Compiled 69 to 63 computations (8.7% saved)

Details

analyze310.0ms (16.6%)

sample227.0ms (12.1%)

simplify20.0ms (1.1%)

prune5.0ms (0.3%)

localize6.0ms (0.3%)

rewrite29.0ms (1.6%)

series153.0ms (8.2%)

simplify51.0ms (2.7%)

prune26.0ms (1.4%)

localize7.0ms (0.4%)

rewrite39.0ms (2.1%)

series156.0ms (8.3%)

simplify55.0ms (3%)

prune29.0ms (1.5%)

regimes54.0ms (2.9%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample699.0ms (37.4%)

Profiling