Details

analyze1.2s (9.1%)

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

15.0ms

256×

body

128

valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify350.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

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

7.6b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite57.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

71×	`add-sqr-sqrt_binary64_17491`
65×	`*-un-lft-identity_binary64_17469`
53×	`times-frac_binary64_17475`
24×	`difference-of-squares_binary64_17438`
23×	`add-cube-cbrt_binary64_17504`
13×	`cancel-sign-sub-inv_binary64_17435`
9×	`distribute-lft-out_binary64_17420`
8×	`associate-/r*_binary64_17413`
6×	`distribute-lft-out--_binary64_17421`
4×	`associate-/l*_binary64_17414` `add-exp-log_binary64_17507` `add-log-exp_binary64_17508` `add-cbrt-cube_binary64_17505`
2×	`associate-/l/_binary64_17416` `associate-/r/_binary64_17415` `pow1_binary64_17530` `div-inv_binary64_17466` `flip3--_binary64_17473` `flip--_binary64_17444`
1×	`sub-neg_binary64_17462` `frac-2neg_binary64_17480` `flip3-+_binary64_17472` `flip-+_binary64_17443` `clear-num_binary64_17468` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `diff-log_binary64_17561`

Counts

2 → 89

Calls

2 calls:

24.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
16.0ms	(-.f64 1 (/.f64 y z))

series504.0ms (4%)

Counts

2 → 39

Calls

2 calls:

391.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
112.0ms	(-.f64 1 (/.f64 y z))

Compiler

Compiled 876 to 691 computations (21.1% saved)

simplify129.0ms (1%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5147	2480

prune218.0ms (1.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	119	9	128
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	120	9	129

Error

1.4b

Counts

129 → 9

Compiler

Compiled 2234 to 854 computations (61.8% 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 (-.f64 1 (/.f64 y z)) (+.f64 x y)))
7.7b	(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y))

rewrite151.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

327×	`times-frac_binary64_17475`
291×	`add-sqr-sqrt_binary64_17491`
285×	`*-un-lft-identity_binary64_17469`
115×	`add-cube-cbrt_binary64_17504`
88×	`difference-of-squares_binary64_17438`
42×	`associate-/r*_binary64_17413`
41×	`distribute-lft-out_binary64_17420`
22×	`distribute-lft-out--_binary64_17421`
16×	`add-exp-log_binary64_17507`
13×	`cancel-sign-sub-inv_binary64_17435`
11×	`associate-/l*_binary64_17414` `associate-/r/_binary64_17415`
10×	`add-cbrt-cube_binary64_17505`
8×	`div-exp_binary64_17520`
7×	`div-inv_binary64_17466`
5×	`flip3-+_binary64_17472` `flip-+_binary64_17443` `add-log-exp_binary64_17508`
4×	`cbrt-undiv_binary64_17503` `pow1_binary64_17530`
2×	`associate-/l/_binary64_17416` `frac-2neg_binary64_17480` `clear-num_binary64_17468` `rec-exp_binary64_17519` `1-exp_binary64_17513` `flip3--_binary64_17473` `flip--_binary64_17444`
1×	`sub-neg_binary64_17462` `div-sub_binary64_17474` `diff-log_binary64_17561` `pow-flip_binary64_17543` `inv-pow_binary64_17554`

Counts

3 → 266

Calls

3 calls:

36.0ms	(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y)))
26.0ms	(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y))
16.0ms	(-.f64 1 (/.f64 y z))

series806.0ms (6.3%)

Counts

3 → 64

Calls

3 calls:

363.0ms	(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y)))
336.0ms	(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y))
107.0ms	(-.f64 1 (/.f64 y z))

Compiler

Compiled 1625 to 1296 computations (20.2% saved)

simplify237.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

330 → 330

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5004	8140

prune579.0ms (4.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	327	3	330
Fresh	3	5	8
Picked	0	1	1
Done	0	0	0
Total	330	9	339

Error

1.4b

Counts

339 → 9

Compiler

Compiled 6759 to 2927 computations (56.7% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite332.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Rules

1537×	`times-frac_binary64_17475`
1005×	`add-sqr-sqrt_binary64_17491`
951×	`*-un-lft-identity_binary64_17469`
509×	`add-cube-cbrt_binary64_17504`
248×	`difference-of-squares_binary64_17438`
105×	`associate-/r/_binary64_17415`
97×	`distribute-lft-out_binary64_17420`
62×	`distribute-lft-out--_binary64_17421`
54×	`div-inv_binary64_17466`
52×	`add-exp-log_binary64_17507`
36×	`associate-/l*_binary64_17414` `div-exp_binary64_17520`
32×	`flip3-+_binary64_17472` `flip-+_binary64_17443`
30×	`associate-/r*_binary64_17413`
21×	`flip3--_binary64_17473` `flip--_binary64_17444`
20×	`add-cbrt-cube_binary64_17505`
13×	`cancel-sign-sub-inv_binary64_17435`
10×	`cbrt-undiv_binary64_17503` `rec-exp_binary64_17519` `1-exp_binary64_17513`
6×	`add-log-exp_binary64_17508` `pow1_binary64_17530`
3×	`frac-2neg_binary64_17480` `clear-num_binary64_17468`
2×	`pow-flip_binary64_17543` `inv-pow_binary64_17554`
1×	`sub-neg_binary64_17462` `associate-/l/_binary64_17416` `diff-log_binary64_17561`

Counts

4 → 739

Calls

4 calls:

57.0ms	(/.f64 (/.f64 1 (-.f64 1 (/.f64 y z))) (/.f64 1 (+.f64 x y)))
28.0ms	(/.f64 1 (-.f64 1 (/.f64 y z)))
17.0ms	(-.f64 1 (/.f64 y z))
11.0ms	(/.f64 1 (+.f64 x y))

series805.0ms (6.3%)

Counts

4 → 78

Calls

4 calls:

406.0ms	(/.f64 (/.f64 1 (-.f64 1 (/.f64 y z))) (/.f64 1 (+.f64 x y)))
159.0ms	(/.f64 1 (-.f64 1 (/.f64 y z)))
120.0ms	(-.f64 1 (/.f64 y z))
120.0ms	(/.f64 1 (+.f64 x y))

Compiler

Compiled 1824 to 1513 computations (17.1% saved)

simplify439.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

817 → 817

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5029	26477

prune2.1s (16.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	816	1	817
Fresh	3	4	7
Picked	1	0	1
Done	0	1	1
Total	820	6	826

Error

1.0b

Counts

826 → 6

Compiler

Compiled 19917 to 9865 computations (50.5% saved)

localize19.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b	(*.f64 (/.f64 y z) (/.f64 y z))
5.8b	(/.f64 (+.f64 x y) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z))))
14.3b	(.f64 (/.f64 (+.f64 x y) (-.f64 1 (.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))

rewrite102.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

86×	`*-un-lft-identity_binary64_17469`
81×	`times-frac_binary64_17475`
79×	`add-sqr-sqrt_binary64_17491`
53×	`add-cube-cbrt_binary64_17504`
39×	`associate-l_binary64_17410`
22×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
18×	`difference-of-squares_binary64_17438`
17×	`associate-r_binary64_17409`
13×	`swap-sqr_binary64_17436`
12×	`distribute-lft-out_binary64_17420` `pow1_binary64_17530`
6×	`prod-exp_binary64_17518` `unswap-sqr_binary64_17437` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `cbrt-unprod_binary64_17502` `div-inv_binary64_17466`
5×	`associate-/r*_binary64_17413`
4×	`associate-/l*_binary64_17414` `associate-/r/_binary64_17415`
3×	`associate-*r/_binary64_17411` `flip3-+_binary64_17472` `flip-+_binary64_17443` `frac-times_binary64_17479` `add-log-exp_binary64_17508`
2×	`-commutative_binary64_17400` `associate-/l/_binary64_17416` `associate-l/_binary64_17412` `pow-prod-down_binary64_17540` `flip3--_binary64_17473` `flip--_binary64_17444`
1×	`pow-plus_binary64_17532` `distribute-rgt-in_binary64_17419` `pow-prod-up_binary64_17539` `frac-2neg_binary64_17480` `pow-sqr_binary64_17442` `clear-num_binary64_17468` `pow2_binary64_17550` `distribute-lft-in_binary64_17418`

Counts

3 → 164

Calls

3 calls:

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

series1.3s (10.1%)

Counts

3 → 55

Calls

3 calls:

685.0ms	(.f64 (/.f64 (+.f64 x y) (-.f64 1 (.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))
465.0ms	(/.f64 (+.f64 x y) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z))))
139.0ms	(*.f64 (/.f64 y z) (/.f64 y z))

Compiler

Compiled 2000 to 1588 computations (20.6% saved)

simplify147.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5437	4817

prune384.0ms (3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	219	0	219
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	219	6	225

Error

1.0b

Counts

225 → 6

Compiler

Compiled 5393 to 2232 computations (58.6% saved)

regimes765.0ms (6%)

Accuracy

Total 0.9b remaining (48.1%)

Threshold costs 0.9b (48.1%)

Compiler

Compiled 2635 to 1928 computations (26.8% saved)

bsearch4.0ms (0%)

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

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	92	81
1	92	81

end0.0ms (0%)

sample2.0s (15.8%)

Algorithm

1×

intervals

Results

461.0ms	7996×	body	128	valid
1.0ms	4×	body	1024	valid

Compiler

Compiled 732 to 520 computations (29% saved)

Details

analyze1.2s (9.1%)

sample29.0ms (0.2%)

simplify350.0ms (2.8%)

prune4.0ms (0%)

localize12.0ms (0.1%)

rewrite57.0ms (0.4%)

series504.0ms (4%)

simplify129.0ms (1%)

prune218.0ms (1.7%)

localize15.0ms (0.1%)

rewrite151.0ms (1.2%)

series806.0ms (6.3%)

simplify237.0ms (1.9%)

prune579.0ms (4.6%)

localize16.0ms (0.1%)

rewrite332.0ms (2.6%)

series805.0ms (6.3%)

simplify439.0ms (3.5%)

prune2.1s (16.9%)

localize19.0ms (0.1%)

rewrite102.0ms (0.8%)

series1.3s (10.1%)

simplify147.0ms (1.2%)

prune384.0ms (3%)

regimes765.0ms (6%)

bsearch4.0ms (0%)

simplify7.0ms (0.1%)

end0.0ms (0%)

sample2.0s (15.8%)

Profiling