Details

analyze767.0ms (23.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
5.8%	94%	0.2%	9
7.6%	92.2%	0.2%	10
11.6%	88.2%	0.2%	11
18.5%	81.3%	0.2%	12
32.3%	66.9%	0.8%	13
37%	62.2%	0.8%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample21.0ms (0.6%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
2.0ms	54×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify274.0ms (8.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (178.0ms)

Iter	Nodes	Cost
0	4367	7
1	4367	7

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

6.0b

Counts

2 → 2

Compiler

Compiled 19 to 20 computations (-5.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

5.8b	(*.f64 x (/.f64 y z))

rewrite9.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_13740`
13×	`associate-r_binary64_13658`
10×	`times-frac_binary64_13724`
9×	`*-un-lft-identity_binary64_13718` `add-cube-cbrt_binary64_13753`
6×	`add-cbrt-cube_binary64_13754` `add-exp-log_binary64_13756`
3×	`pow1_binary64_13779` `associate-l_binary64_13659`
2×	`prod-exp_binary64_13767` `unswap-sqr_binary64_13686` `cbrt-unprod_binary64_13751`
1×	`associate-r/_binary64_13660` `-commutative_binary64_13649` `add-log-exp_binary64_13757` `pow-prod-down_binary64_13789` `div-exp_binary64_13769` `cbrt-undiv_binary64_13752` `div-inv_binary64_13715`

Counts

1 → 32

Calls

1 calls:

7.0ms

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

series20.0ms (0.6%)

Counts

1 → 3

Calls

1 calls:

20.0ms

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

simplify93.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4985	348
1	4985	348

prune36.0ms (1.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	27	8	35
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	28	9	37

Error

0.0b

Counts

37 → 9

Compiler

Compiled 415 to 153 computations (63.1% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
3.8b	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))

rewrite27.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_13740`
28×	`times-frac_binary64_13724`
25×	`add-exp-log_binary64_13756`
22×	`associate-r_binary64_13658` `*-un-lft-identity_binary64_13718` `add-cube-cbrt_binary64_13753`
20×	`cbrt-prod_binary64_13749`
18×	`add-cbrt-cube_binary64_13754`
8×	`prod-exp_binary64_13767` `cbrt-unprod_binary64_13751`
7×	`associate-l_binary64_13659` `div-exp_binary64_13769` `cbrt-undiv_binary64_13752`
6×	`pow1_binary64_13779` `unswap-sqr_binary64_13686`
4×	`add-log-exp_binary64_13757`
3×	`pow1/3_binary64_13800`
2×	`div-inv_binary64_13715`
1×	`associate-r/_binary64_13660` `-commutative_binary64_13649` `frac-times_binary64_13728` `associate-*l/_binary64_13661` `pow-prod-down_binary64_13789`

Counts

4 → 92

Calls

4 calls:

16.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

series319.0ms (9.9%)

Counts

4 → 12

Calls

4 calls:

91.0ms	(cbrt.f64 z)
81.0ms	(cbrt.f64 z)
79.0ms	(cbrt.f64 z)
68.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))

simplify85.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4953	1221
1	4953	1221

prune74.0ms (2.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	105	8	113

Error

0.0b

Counts

113 → 8

Compiler

Compiled 1572 to 499 computations (68.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

5.8b	(*.f64 y (/.f64 x z))

rewrite9.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_13740`
13×	`associate-r_binary64_13658`
10×	`times-frac_binary64_13724`
9×	`*-un-lft-identity_binary64_13718` `add-cube-cbrt_binary64_13753`
6×	`add-cbrt-cube_binary64_13754` `add-exp-log_binary64_13756`
3×	`pow1_binary64_13779` `associate-l_binary64_13659`
2×	`prod-exp_binary64_13767` `unswap-sqr_binary64_13686` `cbrt-unprod_binary64_13751`
1×	`associate-r/_binary64_13660` `-commutative_binary64_13649` `add-log-exp_binary64_13757` `pow-prod-down_binary64_13789` `div-exp_binary64_13769` `cbrt-undiv_binary64_13752` `div-inv_binary64_13715`

Counts

1 → 32

Calls

1 calls:

7.0ms

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

series21.0ms (0.7%)

Counts

1 → 3

Calls

1 calls:

21.0ms

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

simplify96.0ms (3%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	5386	348

prune23.0ms (0.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	33	2	35
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	34	9	43

Error

Counts

43 → 9

Compiler

Compiled 400 to 138 computations (65.5% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

6.4b	(.f64 (.f64 x y) (/.f64 1 z))

rewrite11.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-exp-log_binary64_13756`
13×	`add-cbrt-cube_binary64_13754` `associate-r_binary64_13658`
12×	`prod-exp_binary64_13767`
9×	`times-frac_binary64_13724`
8×	`add-sqr-sqrt_binary64_13740` `*-un-lft-identity_binary64_13718` `add-cube-cbrt_binary64_13753`
6×	`pow1_binary64_13779` `cbrt-unprod_binary64_13751`
4×	`div-exp_binary64_13769`
3×	`pow-prod-down_binary64_13789`
2×	`rec-exp_binary64_13768` `1-exp_binary64_13762` `cbrt-undiv_binary64_13752`
1×	`associate-r/_binary64_13660` `-commutative_binary64_13649` `add-log-exp_binary64_13757` `un-div-inv_binary64_13716` `associate-l_binary64_13659` `div-inv_binary64_13715`

Counts

1 → 38

Calls

1 calls:

9.0ms

(*.f64 (*.f64 x y) (/.f64 1 z))

series21.0ms (0.6%)

Counts

1 → 3

Calls

1 calls:

21.0ms

(*.f64 (*.f64 x y) (/.f64 1 z))

simplify84.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4964	381
1	4964	381

prune22.0ms (0.7%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	41	9	50

Error

Counts

50 → 9

Compiler

Compiled 377 to 133 computations (64.7% saved)

regimes257.0ms (8%)

Accuracy

Total 2.1b remaining (99.7%)

Threshold costs 0b (0%)

Compiler

Compiled 2066 to 1584 computations (23.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	31
1	14	31

end0.0ms (0%)

sample935.0ms (28.9%)

Algorithm

1×

intervals

Results

280.0ms	8000×	body	128	valid
53.0ms	1504×	body	128	invalid

Compiler

Compiled 367 to 253 computations (31.1% saved)

Details

analyze767.0ms (23.7%)

sample21.0ms (0.6%)

simplify274.0ms (8.5%)

prune3.0ms (0.1%)

localize4.0ms (0.1%)

rewrite9.0ms (0.3%)

series20.0ms (0.6%)

simplify93.0ms (2.9%)

prune36.0ms (1.1%)

localize7.0ms (0.2%)

rewrite27.0ms (0.8%)

series319.0ms (9.9%)

simplify85.0ms (2.6%)

prune74.0ms (2.3%)

localize4.0ms (0.1%)

rewrite9.0ms (0.3%)

series21.0ms (0.7%)

simplify96.0ms (3%)

prune23.0ms (0.7%)

localize5.0ms (0.2%)

rewrite11.0ms (0.3%)

series21.0ms (0.6%)

simplify84.0ms (2.6%)

prune22.0ms (0.7%)

regimes257.0ms (8%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample935.0ms (28.9%)

Profiling