Details

analyze172.0ms (6.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	418	20
1	418	20
0	2	2
1	2	2

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
12.5%	87.4%	0.1%	4
31.2%	68.7%	0.1%	5
43.7%	56.2%	0.1%	6
56.2%	40.6%	3.2%	7
64%	29.7%	6.3%	8
71%	20.3%	8.7%	9
75.3%	15.2%	9.5%	10
79%	10.1%	10.8%	11
81.3%	7.7%	11%	12
83.2%	5%	11.8%	13
84.4%	3.8%	11.8%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample13.0ms (0.5%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 15 to 15 computations (0% saved)

simplify18.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	256	10
1	256	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 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite42.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`add-sqr-sqrt_binary64_10330` `*-un-lft-identity_binary64_10308`
5×	`add-cube-cbrt_binary64_10343`
4×	`pow1_binary64_10369` `add-exp-log_binary64_10346` `add-log-exp_binary64_10347` `add-cbrt-cube_binary64_10344` `associate-l_binary64_10249`
3×	`associate-r_binary64_10248` `cancel-sign-sub-inv_binary64_10274`
2×	`associate-*l/_binary64_10251`
1×	`pow-prod-down_binary64_10379` `prod-exp_binary64_10357` `cbrt-unprod_binary64_10341` `unswap-sqr_binary64_10276` `flip3-+_binary64_10311` `flip-+_binary64_10282` `distribute-lft-out_binary64_10259` `*-commutative_binary64_10239` `diff-log_binary64_10400` `flip3--_binary64_10312` `sub-neg_binary64_10301` `flip--_binary64_10283`

Counts

2 → 35

Calls

2 calls:

6.0ms	(-.f64 (*.f64 (+.f64 x 1) y) x)
6.0ms	(*.f64 (+.f64 x 1) y)

Compiler

Compiled 493 to 319 computations (35.3% saved)

series131.0ms (5.2%)

Error

0.0b

Counts

2 → 21

Calls

2 calls:

68.0ms	(-.f64 (*.f64 (+.f64 x 1) y) x)
53.0ms	(*.f64 (+.f64 x 1) y)

Compiler

Compiled 330 to 200 computations (39.4% saved)

simplify90.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4937	541
1	4937	541

prune36.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

57 → 2

Compiler

Compiled 573 to 194 computations (66.1% saved)

localize12.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 (.f64 y (+.f64 1 (pow.f64 x 3))) (+.f64 (.f64 x x) (-.f64 (.f64 1 1) (.f64 x 1)))) x)
0.0b	(+.f64 (.f64 x x) (-.f64 (.f64 1 1) (*.f64 x 1)))
3.3b	(*.f64 y (+.f64 1 (pow.f64 x 3)))
15.1b	(/.f64 (.f64 y (+.f64 1 (pow.f64 x 3))) (+.f64 (.f64 x x) (-.f64 (.f64 1 1) (.f64 x 1))))

rewrite179.0ms (7.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-sqr-sqrt_binary64_10330` `*-un-lft-identity_binary64_10308`
11×	`add-exp-log_binary64_10346` `add-log-exp_binary64_10347` `add-cbrt-cube_binary64_10344`
9×	`add-cube-cbrt_binary64_10343`
6×	`pow1_binary64_10369`
4×	`flip3-+_binary64_10311` `associate-r/_binary64_10250` `flip-+_binary64_10282` `associate-r*_binary64_10248` `cancel-sign-sub-inv_binary64_10274`
3×	`times-frac_binary64_10314` `associate-/r_binary64_10252` `associate-l*_binary64_10249`
2×	`prod-exp_binary64_10357` `div-exp_binary64_10359` `cbrt-undiv_binary64_10342` `cbrt-unprod_binary64_10341` `associate-/l/_binary64_10255` `associate-/r/_binary64_10254` `diff-log_binary64_10400` `sum-log_binary64_10399` `sub-neg_binary64_10301` `associate-+r+_binary64_10240`
1×	`frac-2neg_binary64_10319` `clear-num_binary64_10307` `div-inv_binary64_10305` `associate-/l_binary64_10253` `pow-prod-down_binary64_10379` `unswap-sqr_binary64_10276` `distribute-rgt-in_binary64_10258` `distribute-lft-in_binary64_10257` `distribute-lft-out_binary64_10259` `-commutative_binary64_10239` `associate-+r-_binary64_10242` `+-commutative_binary64_10238` `flip3--_binary64_10312` `flip--_binary64_10283` `difference-of-squares_binary64_10277` `distribute-lft-out--_binary64_10260`

Counts

4 → 79

Calls

4 calls:

21.0ms	(-.f64 (/.f64 (.f64 y (+.f64 1 (pow.f64 x 3))) (+.f64 (.f64 x x) (-.f64 (.f64 1 1) (.f64 x 1)))) x)
15.0ms	(/.f64 (.f64 y (+.f64 1 (pow.f64 x 3))) (+.f64 (.f64 x x) (-.f64 (.f64 1 1) (.f64 x 1))))
8.0ms	(*.f64 y (+.f64 1 (pow.f64 x 3)))
8.0ms	(+.f64 (.f64 x x) (-.f64 (.f64 1 1) (*.f64 x 1)))

Compiler

Compiled 2651 to 1829 computations (31% saved)

series674.0ms (26.9%)

Error

Counts

4 → 39

Calls

4 calls:

287.0ms	(-.f64 (/.f64 (.f64 y (+.f64 1 (pow.f64 x 3))) (+.f64 (.f64 x x) (-.f64 (.f64 1 1) (.f64 x 1)))) x)
186.0ms	(/.f64 (.f64 y (+.f64 1 (pow.f64 x 3))) (+.f64 (.f64 x x) (-.f64 (.f64 1 1) (.f64 x 1))))
116.0ms	(*.f64 y (+.f64 1 (pow.f64 x 3)))
53.0ms	(+.f64 (.f64 x x) (-.f64 (.f64 1 1) (*.f64 x 1)))

Compiler

Compiled 1451 to 1060 computations (26.9% saved)

simplify71.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5482	2080

prune127.0ms (5.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	117	1	118
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	117	3	120

Error

Counts

120 → 3

Compiler

Compiled 2645 to 1671 computations (36.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 (neg.f64 x) (-.f64 1 y))

rewrite38.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`add-sqr-sqrt_binary64_10330`
10×	`-un-lft-identity_binary64_10308` `associate-l*_binary64_10249`
7×	`add-cube-cbrt_binary64_10343`
6×	`cancel-sign-sub-inv_binary64_10274` `associate-r_binary64_10248`
4×	`distribute-rgt-in_binary64_10258` `distribute-lft-in_binary64_10257`
3×	`pow1_binary64_10369` `add-exp-log_binary64_10346` `add-cbrt-cube_binary64_10344` `distribute-rgt-neg-in_binary64_10266` `distribute-lft-neg-in_binary64_10265`
2×	`sub-neg_binary64_10301` `associate-*r/_binary64_10250` `difference-of-squares_binary64_10277`
1×	`pow-prod-down_binary64_10379` `prod-exp_binary64_10357` `add-log-exp_binary64_10347` `cbrt-unprod_binary64_10341` `unswap-sqr_binary64_10276` `distribute-lft-neg-out_binary64_10267` `flip3--_binary64_10312` `flip--_binary64_10283` `neg-mul-1_binary64_10304` `distribute-lft-out--_binary64_10260` `*-commutative_binary64_10239`

Counts

1 → 39

Calls

1 calls:

9.0ms

(*.f64 (neg.f64 x) (-.f64 1 y))

Compiler

Compiled 474 to 265 computations (44.1% saved)

series81.0ms (3.2%)

Error

Counts

1 → 9

Calls

1 calls:

76.0ms

(*.f64 (neg.f64 x) (-.f64 1 y))

Compiler

Compiled 120 to 91 computations (24.2% saved)

simplify71.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	6030	403

prune26.0ms (1.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	48	3	51

Error

Counts

51 → 3

Compiler

Compiled 401 to 215 computations (46.4% saved)

regimes86.0ms (3.4%)

Accuracy

Total 0.0b remaining (94.8%)

Threshold costs 0.0b (94.8%)

Compiler

Compiled 501 to 437 computations (12.8% 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%)

sample624.0ms (24.9%)

Algorithm

1×

intervals

Results

175.0ms	7999×	body	128	valid
2.0ms	92×	body	128	invalid
0.0ms	1×	body	1024	valid

Compiler

Compiled 176 to 154 computations (12.5% saved)

Details

analyze172.0ms (6.9%)

sample13.0ms (0.5%)

simplify18.0ms (0.7%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite42.0ms (1.7%)

series131.0ms (5.2%)

simplify90.0ms (3.6%)

prune36.0ms (1.4%)

localize12.0ms (0.5%)

rewrite179.0ms (7.2%)

series674.0ms (26.9%)

simplify71.0ms (2.8%)

prune127.0ms (5.1%)

localize5.0ms (0.2%)

rewrite38.0ms (1.5%)

series81.0ms (3.2%)

simplify71.0ms (2.8%)

prune26.0ms (1.1%)

regimes86.0ms (3.4%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample624.0ms (24.9%)

Profiling