Details

analyze219.0ms (7.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	461	10
1	461	10
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	3
87.5%	12.5%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample18.0ms (0.6%)

Algorithm

1×

intervals

Results

9.0ms

256×

body

128

valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify66.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	461	10
1	461	10

prune3.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)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite23.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`*-un-lft-identity_binary64_419`
28×	`add-sqr-sqrt_binary64_441`
24×	`times-frac_binary64_425`
13×	`add-cube-cbrt_binary64_454`
10×	`difference-of-squares_binary64_388`
7×	`distribute-lft-out_binary64_370`
6×	`associate-/r*_binary64_363`
5×	`distribute-lft-out--_binary64_371`
4×	`associate-/l*_binary64_364`
3×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
2×	`associate-/r/_binary64_365` `associate-/l/_binary64_366`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `add-log-exp_binary64_458` `div-inv_binary64_416` `flip3--_binary64_423` `frac-2neg_binary64_430` `flip-+_binary64_393` `flip--_binary64_394` `pow1_binary64_480` `div-exp_binary64_470` `cbrt-undiv_binary64_453`

Counts

1 → 50

Calls

1 calls:

16.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

series61.0ms (2.1%)

Counts

1 → 10

Calls

1 calls:

61.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 132 to 126 computations (4.5% saved)

simplify143.0ms (4.9%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4924	985
1	4924	985

prune103.0ms (3.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	2	61

Error

Counts

61 → 2

Compiler

Compiled 817 to 615 computations (24.7% saved)

localize13.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)) 3))
0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0b	(pow.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)) 3)

rewrite107.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Rules

186×	`*-un-lft-identity_binary64_419`
124×	`add-sqr-sqrt_binary64_441`
120×	`times-frac_binary64_425`
66×	`cbrt-prod_binary64_450`
61×	`add-cube-cbrt_binary64_454`
60×	`unpow-prod-down_binary64_498` `cube-prod_binary64_447`
42×	`difference-of-squares_binary64_388`
31×	`distribute-lft-out_binary64_370`
21×	`distribute-lft-out--_binary64_371`
10×	`associate-/r/_binary64_365`
8×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
6×	`associate-/r*_binary64_363`
5×	`div-inv_binary64_416` `flip3--_binary64_423` `flip--_binary64_394`
4×	`pow1_binary64_480` `associate-/l*_binary64_364`
3×	`add-log-exp_binary64_458` `pow-unpow_binary64_496`
2×	`unpow3_binary64_485` `cube-mult_binary64_449` `rem-cube-cbrt_binary64_442` `pow-exp_binary64_487` `sqr-pow_binary64_391` `cube-div_binary64_448` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `associate-/l/_binary64_366`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `pow1/3_binary64_501` `cbrt-div_binary64_451` `rem-cbrt-cube_binary64_443` `pow-to-exp_binary64_488` `frac-2neg_binary64_430` `flip-+_binary64_393` `pow-pow_binary64_491`

Counts

3 → 206

Calls

3 calls:

28.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)) 3))
23.0ms	(pow.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)) 3)
15.0ms	(/.f64 (+.f64 x 1) (-.f64 1 x))

series182.0ms (6.2%)

Counts

3 → 32

Calls

3 calls:

67.0ms	(pow.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)) 3)
61.0ms	(/.f64 (+.f64 x 1) (-.f64 1 x))
54.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)) 3))

Compiler

Compiled 444 to 426 computations (4.1% saved)

simplify140.0ms (4.8%)

Algorithm

1×	egg-herbie

Counts

238 → 238

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5870	4529

prune410.0ms (14%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

240 → 2

Compiler

Compiled 3742 to 2935 computations (21.6% saved)

localize15.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 (+.f64 x 1) (.f64 x 2))
0.1b	(.f64 x (+.f64 2 (.f64 (+.f64 x 1) (*.f64 x 2))))

rewrite31.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
7×	`-un-lft-identity_binary64_419` `add-sqr-sqrt_binary64_441` `associate-l*_binary64_360`
5×	`add-cube-cbrt_binary64_454`
4×	`pow-prod-down_binary64_490` `associate-r_binary64_359` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
2×	`flip3-+_binary64_422` `associate-l/_binary64_362` `add-log-exp_binary64_458` `associate-r/_binary64_361` `*-commutative_binary64_350` `flip-+_binary64_393`
1×	`distribute-rgt-in_binary64_369` `unswap-sqr_binary64_387` `distribute-lft-out_binary64_370` `distribute-lft-in_binary64_368`

Counts

2 → 43

Calls

2 calls:

14.0ms	(.f64 (+.f64 x 1) (.f64 x 2))
11.0ms	(.f64 x (+.f64 2 (.f64 (+.f64 x 1) (*.f64 x 2))))

series153.0ms (5.2%)

Counts

2 → 11

Calls

2 calls:

88.0ms	(.f64 (+.f64 x 1) (.f64 x 2))
64.0ms	(.f64 x (+.f64 2 (.f64 (+.f64 x 1) (*.f64 x 2))))

Compiler

Compiled 211 to 189 computations (10.4% saved)

simplify129.0ms (4.4%)

Algorithm

1×	egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (107.0ms)

Iter	Nodes	Cost
0	4939	756
1	4939	756

prune88.0ms (3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

56 → 2

Compiler

Compiled 936 to 719 computations (23.2% saved)

regimes76.0ms (2.6%)

Accuracy

Total 0.0b remaining (96.7%)

Threshold costs 0.0b (96.7%)

Compiler

Compiled 282 to 246 computations (12.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	15
1	20	15

end0.0ms (0%)

sample932.0ms (31.9%)

Algorithm

1×

intervals

Results

320.0ms

8000×

body

128

valid

Compiler

Compiled 151 to 133 computations (11.9% saved)

Details

analyze219.0ms (7.5%)

sample18.0ms (0.6%)

simplify66.0ms (2.3%)

prune3.0ms (0.1%)

localize8.0ms (0.3%)

rewrite23.0ms (0.8%)

series61.0ms (2.1%)

simplify143.0ms (4.9%)

prune103.0ms (3.5%)

localize13.0ms (0.4%)

rewrite107.0ms (3.7%)

series182.0ms (6.2%)

simplify140.0ms (4.8%)

prune410.0ms (14%)

localize15.0ms (0.5%)

rewrite31.0ms (1%)

series153.0ms (5.2%)

simplify129.0ms (4.4%)

prune88.0ms (3%)

regimes76.0ms (2.6%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample932.0ms (31.9%)

Profiling