Details

analyze394.0ms (12.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1723	40
1	1723	40
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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
18.7%	81.1%	0.1%	6
40.6%	59.3%	0.1%	7
45.2%	54.6%	0.1%	8
65.5%	34.3%	0.1%	9
78%	21.8%	0.1%	10
80%	19.5%	0.5%	11
81.7%	17.7%	0.5%	12
87.9%	11.3%	0.8%	13
88.3%	10.1%	1.6%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample14.0ms (0.5%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify80.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	1003	10
1	1003	10

prune5.0ms (0.2%)

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 1 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 z y))

rewrite12.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`*-un-lft-identity_binary64_15082` `add-sqr-sqrt_binary64_15104`
25×	`times-frac_binary64_15088`
13×	`add-cube-cbrt_binary64_15117`
12×	`distribute-lft-out--_binary64_15034` `difference-of-squares_binary64_15051`
5×	`associate-/r_binary64_15026` `associate-/l_binary64_15027`
3×	`add-cbrt-cube_binary64_15118` `add-exp-log_binary64_15120`
2×	`associate-/l/_binary64_15029` `flip3--_binary64_15086` `flip--_binary64_15057` `associate-/r/_binary64_15028`
1×	`div-exp_binary64_15133` `frac-2neg_binary64_15093` `div-sub_binary64_15087` `clear-num_binary64_15081` `cbrt-undiv_binary64_15116` `pow1_binary64_15143` `add-log-exp_binary64_15121` `div-inv_binary64_15079`

Counts

1 → 52

Calls

1 calls:

8.0ms

(/.f64 (-.f64 x y) (-.f64 z y))

series43.0ms (1.4%)

Counts

1 → 3

Calls

1 calls:

43.0ms

(/.f64 (-.f64 x y) (-.f64 z y))

simplify91.0ms (3%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4865	989
1	4865	989

prune40.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	4	56

Error

Counts

56 → 4

Compiler

Compiled 827 to 186 computations (77.5% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite42.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

218×	`times-frac_binary64_15088`
194×	`*-un-lft-identity_binary64_15082` `add-sqr-sqrt_binary64_15104`
90×	`add-cube-cbrt_binary64_15117`
52×	`distribute-lft-out--_binary64_15034` `difference-of-squares_binary64_15051`
36×	`associate-/r*_binary64_15026`
15×	`add-exp-log_binary64_15120`
11×	`associate-/r/_binary64_15028`
9×	`add-cbrt-cube_binary64_15118`
8×	`div-exp_binary64_15133` `associate-/l*_binary64_15027`
6×	`flip3--_binary64_15086` `div-inv_binary64_15079` `flip--_binary64_15057`
4×	`cbrt-undiv_binary64_15116`
3×	`pow1_binary64_15143`
2×	`associate-/l/_binary64_15029` `frac-2neg_binary64_15093` `clear-num_binary64_15081` `add-log-exp_binary64_15121` `1-exp_binary64_15126` `rec-exp_binary64_15132`
1×	`inv-pow_binary64_15167` `div-sub_binary64_15087` `pow-flip_binary64_15156`

Counts

2 → 200

Calls

2 calls:

13.0ms	(/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y)))
8.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

series139.0ms (4.6%)

Counts

2 → 6

Calls

2 calls:

94.0ms	(/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y)))
45.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

simplify105.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5760	4487

prune144.0ms (4.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	205	1	206
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	207	3	210

Error

Counts

210 → 3

Compiler

Compiled 3646 to 862 computations (76.4% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite103.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Rules

218×	`*-un-lft-identity_binary64_15082`
189×	`times-frac_binary64_15088`
168×	`add-sqr-sqrt_binary64_15104`
71×	`distribute-lft-out--_binary64_15034`
66×	`add-cube-cbrt_binary64_15117`
41×	`difference-of-squares_binary64_15051`
30×	`associate-/r/_binary64_15028`
28×	`associate-/r*_binary64_15026`
21×	`cancel-sign-sub-inv_binary64_15048`
15×	`distribute-rgt-out--_binary64_15036` `flip3--_binary64_15086` `flip--_binary64_15057`
14×	`div-inv_binary64_15079`
12×	`add-exp-log_binary64_15120`
10×	`add-cbrt-cube_binary64_15118`
9×	`associate-/l*_binary64_15027`
6×	`add-log-exp_binary64_15121`
5×	`pow1_binary64_15143`
4×	`div-exp_binary64_15133`
3×	`frac-2neg_binary64_15093` `clear-num_binary64_15081` `cbrt-undiv_binary64_15116`
2×	`sub-div_binary64_15089` `frac-sub_binary64_15091`
1×	`inv-pow_binary64_15167` `sub-neg_binary64_15075` `diff-log_binary64_15174` `1-exp_binary64_15126` `rec-exp_binary64_15132` `pow-flip_binary64_15156`

Counts

4 → 218

Calls

4 calls:

35.0ms	(-.f64 (/.f64 z (-.f64 x y)) (/.f64 y (-.f64 x y)))
32.0ms	(/.f64 1 (-.f64 (/.f64 z (-.f64 x y)) (/.f64 y (-.f64 x y))))
6.0ms	(/.f64 y (-.f64 x y))
6.0ms	(/.f64 z (-.f64 x y))

series208.0ms (6.8%)

Counts

4 → 12

Calls

4 calls:

86.0ms	(/.f64 1 (-.f64 (/.f64 z (-.f64 x y)) (/.f64 y (-.f64 x y))))
64.0ms	(-.f64 (/.f64 z (-.f64 x y)) (/.f64 y (-.f64 x y)))
32.0ms	(/.f64 z (-.f64 x y))
25.0ms	(/.f64 y (-.f64 x y))

simplify94.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

230 → 230

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5446	4429

prune179.0ms (5.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	230	0	230
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	230	3	233

Error

Counts

233 → 3

Compiler

Compiled 4547 to 1471 computations (67.6% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (sqrt.f64 x) (sqrt.f64 y))
0.0b	(+.f64 (sqrt.f64 y) (sqrt.f64 x))
0.1b	(/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 z y))
0.1b	(*.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 x)) (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 z y)))

rewrite77.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Rules

177×	`add-sqr-sqrt_binary64_15104`
132×	`*-un-lft-identity_binary64_15082`
91×	`times-frac_binary64_15088`
79×	`sqrt-prod_binary64_15098`
67×	`difference-of-squares_binary64_15051`
51×	`associate-r_binary64_15022`
43×	`distribute-lft-out--_binary64_15034`
38×	`add-cube-cbrt_binary64_15117`
11×	`add-cbrt-cube_binary64_15118` `add-exp-log_binary64_15120`
9×	`associate-/l*_binary64_15027`
8×	`add-log-exp_binary64_15121`
6×	`cancel-sign-sub-inv_binary64_15048` `pow1_binary64_15143`
5×	`associate-l_binary64_15023` `associate-/r*_binary64_15026`
4×	`flip3--_binary64_15086` `distribute-lft-out_binary64_15033` `flip--_binary64_15057` `associate-/r/_binary64_15028`
3×	`flip-+_binary64_15056` `flip3-+_binary64_15085`
2×	`div-exp_binary64_15133` `associate-/l/_binary64_15029` `unswap-sqr_binary64_15050` `frac-times_binary64_15092` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `cbrt-undiv_binary64_15116` `div-inv_binary64_15079` `associate-*l/_binary64_15025`
1×	`pow-prod-down_binary64_15153` `sum-log_binary64_15173` `frac-2neg_binary64_15093` `div-sub_binary64_15087` `clear-num_binary64_15081` `sub-neg_binary64_15075` `+-commutative_binary64_15012` `-commutative_binary64_15013` `diff-log_binary64_15174` `associate-r/_binary64_15024`

Counts

4 → 188

Calls

4 calls:

31.0ms	(*.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 x)) (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 z y)))
12.0ms	(/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 z y))
7.0ms	(-.f64 (sqrt.f64 x) (sqrt.f64 y))
6.0ms	(+.f64 (sqrt.f64 y) (sqrt.f64 x))

series317.0ms (10.4%)

Counts

4 → 12

Calls

4 calls:

174.0ms	(*.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 x)) (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 z y)))
84.0ms	(/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 z y))
35.0ms	(-.f64 (sqrt.f64 x) (sqrt.f64 y))
24.0ms	(+.f64 (sqrt.f64 y) (sqrt.f64 x))

simplify93.0ms (3%)

Algorithm

1×	egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5939	4337

prune140.0ms (4.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	200	0	200
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	200	3	203

Error

Counts

203 → 3

Compiler

Compiled 4567 to 518 computations (88.7% saved)

regimes97.0ms (3.2%)

Accuracy

Total 0.0b remaining (92%)

Threshold costs 0.0b (92%)

Compiler

Compiled 696 to 502 computations (27.9% 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%)

sample605.0ms (19.8%)

Algorithm

1×

intervals

Results

196.0ms	8000×	body	128	valid
9.0ms	228×	body	128	invalid

Compiler

Compiled 195 to 141 computations (27.7% saved)

Details

analyze394.0ms (12.9%)

sample14.0ms (0.5%)

simplify80.0ms (2.6%)

prune5.0ms (0.2%)

localize5.0ms (0.2%)

rewrite12.0ms (0.4%)

series43.0ms (1.4%)

simplify91.0ms (3%)

prune40.0ms (1.3%)

localize7.0ms (0.2%)

rewrite42.0ms (1.4%)

series139.0ms (4.6%)

simplify105.0ms (3.4%)

prune144.0ms (4.7%)

localize7.0ms (0.2%)

rewrite103.0ms (3.4%)

series208.0ms (6.8%)

simplify94.0ms (3.1%)

prune179.0ms (5.9%)

localize10.0ms (0.3%)

rewrite77.0ms (2.5%)

series317.0ms (10.4%)

simplify93.0ms (3%)

prune140.0ms (4.6%)

regimes97.0ms (3.2%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample605.0ms (19.8%)

Profiling