Details

analyze1.2s (7.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3819	52
1	3819	52
0	3	3
1	3	3

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
12.5%	87.4%	0.1%	5
15.6%	84.3%	0.1%	6
32.8%	67.1%	0.1%	7
38.2%	61.6%	0.1%	8
46%	53.8%	0.1%	9
62.6%	37.3%	0.1%	10
67.2%	32.7%	0.1%	11
71.1%	28.8%	0.1%	12
81.6%	18.2%	0.1%	13
84.1%	15.7%	0.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample29.0ms (0.2%)

Algorithm

1×

intervals

Results

13.0ms

256×

body

128

valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify361.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (351.0ms)

Iter	Nodes	Cost
0	3019	13
1	3019	13

prune4.0ms (0%)

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

5.7b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 1 (/.f64 y z))
5.7b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

rewrite216.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

4.0b

Rules

71×	`add-sqr-sqrt_binary64_16468`
65×	`*-un-lft-identity_binary64_16446`
53×	`times-frac_binary64_16452`
24×	`difference-of-squares_binary64_16415`
23×	`add-cube-cbrt_binary64_16481`
13×	`cancel-sign-sub-inv_binary64_16412`
9×	`distribute-lft-out_binary64_16397`
8×	`associate-/r*_binary64_16390`
6×	`distribute-lft-out--_binary64_16398`
4×	`add-exp-log_binary64_16484` `add-log-exp_binary64_16485` `add-cbrt-cube_binary64_16482` `associate-/l*_binary64_16391`
2×	`pow1_binary64_16507` `div-inv_binary64_16443` `associate-/l/_binary64_16393` `flip3--_binary64_16450` `associate-/r/_binary64_16392` `flip--_binary64_16421`
1×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `flip3-+_binary64_16449` `flip-+_binary64_16420` `diff-log_binary64_16538` `sub-neg_binary64_16439`

Counts

2 → 89

Calls

2 calls:

20.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
14.0ms	(-.f64 1 (/.f64 y z))

Compiler

Compiled 1713 to 711 computations (58.5% saved)

series522.0ms (3.3%)

Error

0.0b

Counts

2 → 38

Calls

2 calls:

342.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
111.0ms	(-.f64 1 (/.f64 y z))

Compiler

Compiled 1391 to 945 computations (32.1% saved)

simplify140.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5061	2426

prune213.0ms (1.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	120	7	127
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	120	8	128

Error

1.4b

Counts

128 → 8

Compiler

Compiled 2150 to 814 computations (62.1% saved)

localize15.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 1 (/.f64 y z))
0.2b	(/.f64 1 (-.f64 1 (/.f64 y z)))
5.6b	(*.f64 (+.f64 x y) (/.f64 1 (-.f64 1 (/.f64 y z))))

rewrite361.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

1.4b

Rules

107×	`add-sqr-sqrt_binary64_16468`
75×	`times-frac_binary64_16452`
71×	`*-un-lft-identity_binary64_16446`
36×	`add-cube-cbrt_binary64_16481`
32×	`difference-of-squares_binary64_16415`
30×	`associate-r_binary64_16386`
16×	`add-exp-log_binary64_16484`
13×	`cancel-sign-sub-inv_binary64_16412`
10×	`add-cbrt-cube_binary64_16482`
8×	`distribute-lft-out--_binary64_16398` `associate-/r*_binary64_16390`
6×	`pow1_binary64_16507`
5×	`add-log-exp_binary64_16485`
4×	`div-exp_binary64_16497` `prod-exp_binary64_16495` `associate-l_binary64_16387` `associate-/r/_binary64_16392`
3×	`unswap-sqr_binary64_16414` `div-inv_binary64_16443` `flip3--_binary64_16450` `flip--_binary64_16421` `associate-/l*_binary64_16391`
2×	`1-exp_binary64_16490` `rec-exp_binary64_16496` `cbrt-unprod_binary64_16479` `cbrt-undiv_binary64_16480` `flip3-+_binary64_16449` `frac-times_binary64_16456` `flip-+_binary64_16420` `associate-*l/_binary64_16389`
1×	`pow-prod-down_binary64_16517` `un-div-inv_binary64_16444` `associate-r/_binary64_16388` `distribute-lft-out_binary64_16397` `-commutative_binary64_16377` `inv-pow_binary64_16531` `pow-flip_binary64_16520` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `diff-log_binary64_16538` `sub-neg_binary64_16439`

Counts

3 → 140

Calls

3 calls:

42.0ms	(*.f64 (+.f64 x y) (/.f64 1 (-.f64 1 (/.f64 y z))))
19.0ms	(/.f64 1 (-.f64 1 (/.f64 y z)))
15.0ms	(-.f64 1 (/.f64 y z))

Compiler

Compiled 2906 to 1547 computations (46.8% saved)

series707.0ms (4.4%)

Error

0.0b

Counts

3 → 56

Calls

3 calls:

382.0ms	(*.f64 (+.f64 x y) (/.f64 1 (-.f64 1 (/.f64 y z))))
120.0ms	(/.f64 1 (-.f64 1 (/.f64 y z)))
118.0ms	(-.f64 1 (/.f64 y z))

Compiler

Compiled 2009 to 1390 computations (30.8% saved)

simplify158.0ms (1%)

Algorithm

1×	egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5018	3143

prune316.0ms (2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	194	2	196
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	197	7	204

Error

1.3b

Counts

204 → 7

Compiler

Compiled 3351 to 1560 computations (53.4% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))))
5.7b	(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))
5.7b	(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))
5.7b	(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))

rewrite935.0ms (5.8%)

Algorithm

1×	rewrite-expression-head

Error

1.3b

Rules

211×	`add-sqr-sqrt_binary64_16468`
205×	`*-un-lft-identity_binary64_16446`
166×	`times-frac_binary64_16452`
76×	`difference-of-squares_binary64_16415`
59×	`add-cube-cbrt_binary64_16481`
38×	`cbrt-prod_binary64_16477`
35×	`distribute-lft-out_binary64_16397`
24×	`associate-/r*_binary64_16390`
19×	`distribute-lft-out--_binary64_16398`
12×	`associate-/l*_binary64_16391`
10×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
8×	`associate-/r/_binary64_16392`
6×	`associate-/l/_binary64_16393`
4×	`pow1_binary64_16507` `add-log-exp_binary64_16485` `div-inv_binary64_16443` `flip3--_binary64_16450` `flip--_binary64_16421`
3×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `flip3-+_binary64_16449` `flip-+_binary64_16420`
1×	`pow1/3_binary64_16528` `cbrt-div_binary64_16478`

Counts

4 → 227

Calls

4 calls:

27.0ms	(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))
26.0ms	(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))
25.0ms	(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))
24.0ms	(cbrt.f64 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))))

Compiler

Compiled 9910 to 4389 computations (55.7% saved)

series2.2s (13.6%)

Error

1.3b

Counts

4 → 98

Calls

4 calls:

638.0ms	(cbrt.f64 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))))
412.0ms	(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))
404.0ms	(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))
404.0ms	(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))

Compiler

Compiled 10485 to 6509 computations (37.9% saved)

simplify203.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

325 → 325

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5221	8231

prune1.0s (6.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	325	0	325
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	325	7	332

Error

1.3b

Counts

332 → 7

Compiler

Compiled 13542 to 5901 computations (56.4% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 y x))
0.6b	(cbrt.f64 (+.f64 y x))
1.5b	(/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z)))
4.4b	(.f64 (.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) (/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z))))

rewrite571.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

1.3b

Rules

181×	`add-sqr-sqrt_binary64_16468`
154×	`*-un-lft-identity_binary64_16446`
144×	`times-frac_binary64_16452`
77×	`cbrt-prod_binary64_16477`
62×	`associate-r_binary64_16386`
60×	`difference-of-squares_binary64_16415`
56×	`add-cube-cbrt_binary64_16481`
30×	`cbrt-div_binary64_16478`
19×	`distribute-lft-out_binary64_16397`
18×	`add-exp-log_binary64_16484`
16×	`frac-times_binary64_16456`
15×	`flip3-+_binary64_16449` `flip-+_binary64_16420` `distribute-lft-out--_binary64_16398`
12×	`associate-*l/_binary64_16389`
11×	`add-cbrt-cube_binary64_16482`
9×	`pow1_binary64_16507`
8×	`associate-/r*_binary64_16390`
7×	`associate-/l*_binary64_16391`
6×	`prod-exp_binary64_16495` `cbrt-unprod_binary64_16479`
5×	`associate-*r/_binary64_16388`
4×	`add-log-exp_binary64_16485` `associate-/r/_binary64_16392`
3×	`pow-prod-down_binary64_16517` `div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `unswap-sqr_binary64_16414`
2×	`div-inv_binary64_16443` `flip3--_binary64_16450` `flip--_binary64_16421` `associate-/l/_binary64_16393` `pow1/3_binary64_16528`
1×	`associate-l_binary64_16387` `*-commutative_binary64_16377` `frac-2neg_binary64_16457` `clear-num_binary64_16445`

Counts

4 → 216

Calls

4 calls:

71.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) (/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z))))
23.0ms	(/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z)))
6.0ms	(cbrt.f64 (+.f64 y x))
5.0ms	(cbrt.f64 (+.f64 y x))

Compiler

Compiled 7132 to 1994 computations (72% saved)

series1.2s (7.6%)

Error

0.0b

Counts

4 → 61

Calls

4 calls:

411.0ms	(/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z)))
363.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) (/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z))))
162.0ms	(cbrt.f64 (+.f64 y x))
160.0ms	(cbrt.f64 (+.f64 y x))

Compiler

Compiled 4129 to 2760 computations (33.2% saved)

simplify242.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

277 → 277

Iterations

Useful iterations: 0 (119.0ms)

Iter	Nodes	Cost
0	4946	6819
1	4946	6819

prune527.0ms (3.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	276	1	277
Fresh	0	3	3
Picked	0	1	1
Done	1	2	3
Total	277	7	284

Error

0.0b

Counts

284 → 7

Compiler

Compiled 7508 to 2383 computations (68.3% saved)

regimes1.4s (9%)

Accuracy

Total 0.2b remaining (96.2%)

Threshold costs 0.2b (96.2%)

Compiler

Compiled 5974 to 4196 computations (29.8% saved)

bsearch6.0ms (0%)

Compiler: Compiled 9 to 8 computations (11.1% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	110	92
1	110	92

end0.0ms (0%)

sample3.4s (21.2%)

Algorithm

1×

intervals

Results

471.0ms	7995×	body	128	valid
1.0ms	3×	body	1024	valid
0.0ms	1×	body	2048	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 1565 to 1086 computations (30.6% saved)

Details

analyze1.2s (7.3%)

sample29.0ms (0.2%)

simplify361.0ms (2.3%)

prune4.0ms (0%)

localize13.0ms (0.1%)

rewrite216.0ms (1.4%)

series522.0ms (3.3%)

simplify140.0ms (0.9%)

prune213.0ms (1.3%)

localize15.0ms (0.1%)

rewrite361.0ms (2.3%)

series707.0ms (4.4%)

simplify158.0ms (1%)

prune316.0ms (2%)

localize25.0ms (0.2%)

rewrite935.0ms (5.8%)

series2.2s (13.6%)

simplify203.0ms (1.3%)

prune1.0s (6.4%)

localize21.0ms (0.1%)

rewrite571.0ms (3.6%)

series1.2s (7.6%)

simplify242.0ms (1.5%)

prune527.0ms (3.3%)

regimes1.4s (9%)

bsearch6.0ms (0%)

simplify7.0ms (0%)

end0.0ms (0%)

sample3.4s (21.2%)

Profiling