Details

analyze786.0ms (14%)

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
25%	74.9%	0.2%	7
25%	74.9%	0.2%	8
34.3%	65.5%	0.2%	9
39%	60.8%	0.2%	10
48.3%	51.5%	0.2%	11
53.7%	46.1%	0.2%	12
63.1%	36.7%	0.2%	13
64%	35.6%	0.4%	14

Compiler

Compiled 8 to 8 computations (0% saved)

sample27.0ms (0.5%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify178.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (11.0ms)

Iter	Nodes	Cost
0	126	10
1	126	10

prune4.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

Merged error: 2.8b

Counts

2 → 1

Compiler

Compiled 14 to 14 computations (0% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 y (*.f64 z t))
2.8b	(/.f64 x (-.f64 y (*.f64 z t)))

rewrite27.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_20538` `add-cube-cbrt_binary64_20573` `add-sqr-sqrt_binary64_20560`
9×	`times-frac_binary64_20544`
4×	`add-cbrt-cube_binary64_20574` `add-log-exp_binary64_20577` `add-exp-log_binary64_20576`
3×	`associate-/l_binary64_20483` `associate-/r_binary64_20482`
2×	`pow1_binary64_20599` `associate-/r/_binary64_20484` `flip3--_binary64_20542` `flip--_binary64_20513`
1×	`clear-num_binary64_20537` `cancel-sign-sub-inv_binary64_20504` `sub-neg_binary64_20531` `frac-2neg_binary64_20549` `diff-log_binary64_20630` `div-inv_binary64_20535` `div-exp_binary64_20589` `cbrt-undiv_binary64_20572`

Counts

2 → 41

Calls

2 calls:

12.0ms	(-.f64 y (*.f64 z t))
10.0ms	(/.f64 x (-.f64 y (*.f64 z t)))

series138.0ms (2.5%)

Counts

2 → 6

Calls

2 calls:

88.0ms	(/.f64 x (-.f64 y (*.f64 z t)))
50.0ms	(-.f64 y (*.f64 z t))

simplify104.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4965	677
1	4965	677

prune81.0ms (1.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	39	8	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	9	48

Merged error: 2.7b

Counts

48 → 9

Compiler

Compiled 722 to 213 computations (70.5% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 y (*.f64 z t))
0.1b	(/.f64 1 (-.f64 y (*.f64 z t)))
2.9b	(.f64 x (/.f64 1 (-.f64 y (.f64 z t))))

rewrite46.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_20560`
20×	`*-un-lft-identity_binary64_20538` `times-frac_binary64_20544`
19×	`add-cube-cbrt_binary64_20573`
16×	`add-exp-log_binary64_20576`
15×	`associate-r_binary64_20478`
10×	`add-cbrt-cube_binary64_20574`
6×	`pow1_binary64_20599`
5×	`add-log-exp_binary64_20577`
4×	`associate-/r/_binary64_20484` `prod-exp_binary64_20587` `div-exp_binary64_20589`
3×	`associate-/l_binary64_20483` `flip3--_binary64_20542` `flip--_binary64_20513` `associate-/r_binary64_20482` `unswap-sqr_binary64_20506` `associate-l_binary64_20479`
2×	`cbrt-unprod_binary64_20571` `rec-exp_binary64_20588` `div-inv_binary64_20535` `1-exp_binary64_20582` `cbrt-undiv_binary64_20572`
1×	`inv-pow_binary64_20623` `clear-num_binary64_20537` `cancel-sign-sub-inv_binary64_20504` `associate-r/_binary64_20480` `sub-neg_binary64_20531` `pow-prod-down_binary64_20609` `frac-2neg_binary64_20549` `diff-log_binary64_20630` `-commutative_binary64_20469` `un-div-inv_binary64_20536` `pow-flip_binary64_20612`

Counts

3 → 83

Calls

3 calls:

19.0ms	(.f64 x (/.f64 1 (-.f64 y (.f64 z t))))
9.0ms	(/.f64 1 (-.f64 y (*.f64 z t)))
6.0ms	(-.f64 y (*.f64 z t))

series210.0ms (3.7%)

Counts

3 → 9

Calls

3 calls:

89.0ms	(.f64 x (/.f64 1 (-.f64 y (.f64 z t))))
73.0ms	(/.f64 1 (-.f64 y (*.f64 z t)))
47.0ms	(-.f64 y (*.f64 z t))

simplify132.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	4940	1203
1	4940	1203

prune117.0ms (2.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	92	9	101

Merged error: 2.7b

Counts

101 → 9

Compiler

Compiled 1378 to 483 computations (64.9% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 y (*.f64 z t))
0.5b	(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
2.7b	(/.f64 (-.f64 y (*.f64 z t)) x)

rewrite53.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`times-frac_binary64_20544`
53×	`*-un-lft-identity_binary64_20538` `add-cube-cbrt_binary64_20573` `add-sqr-sqrt_binary64_20560`
16×	`associate-/r*_binary64_20482` `add-exp-log_binary64_20576`
10×	`add-cbrt-cube_binary64_20574`
8×	`div-exp_binary64_20589`
6×	`associate-/l*_binary64_20483` `div-inv_binary64_20535`
5×	`add-log-exp_binary64_20577`
4×	`pow1_binary64_20599` `cbrt-undiv_binary64_20572`
2×	`clear-num_binary64_20537` `rec-exp_binary64_20588` `associate-/l/_binary64_20485` `flip3--_binary64_20542` `frac-2neg_binary64_20549` `flip--_binary64_20513` `1-exp_binary64_20582`
1×	`inv-pow_binary64_20623` `cancel-sign-sub-inv_binary64_20504` `sub-neg_binary64_20531` `div-sub_binary64_20543` `associate-/r/_binary64_20484` `diff-log_binary64_20630` `pow-flip_binary64_20612`

Counts

3 → 118

Calls

3 calls:

14.0ms	(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
10.0ms	(/.f64 (-.f64 y (*.f64 z t)) x)
6.0ms	(-.f64 y (*.f64 z t))

series313.0ms (5.6%)

Counts

3 → 9

Calls

3 calls:

190.0ms	(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
80.0ms	(/.f64 (-.f64 y (*.f64 z t)) x)
42.0ms	(-.f64 y (*.f64 z t))

simplify143.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5901	2376

prune154.0ms (2.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	127	9	136

Merged error: 2.7b

Counts

136 → 9

Compiler

Compiled 2122 to 556 computations (73.8% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.4b	(/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t)))
1.7b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t))))

rewrite62.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`add-sqr-sqrt_binary64_20560`
38×	`times-frac_binary64_20544`
34×	`*-un-lft-identity_binary64_20538` `add-cube-cbrt_binary64_20573`
28×	`cbrt-prod_binary64_20569`
24×	`associate-r_binary64_20478`
18×	`add-exp-log_binary64_20576`
11×	`add-cbrt-cube_binary64_20574`
9×	`pow1_binary64_20599`
6×	`cbrt-unprod_binary64_20571` `associate-/l*_binary64_20483` `prod-exp_binary64_20587`
4×	`associate-/r/_binary64_20484` `add-log-exp_binary64_20577`
3×	`pow-prod-down_binary64_20609` `associate-/r*_binary64_20482` `unswap-sqr_binary64_20506` `div-exp_binary64_20589` `cbrt-undiv_binary64_20572`
2×	`pow1/3_binary64_20620` `flip3--_binary64_20542` `flip--_binary64_20513` `div-inv_binary64_20535`
1×	`clear-num_binary64_20537` `associate-r/_binary64_20480` `frac-2neg_binary64_20549` `-commutative_binary64_20469` `associate-l_binary64_20479`

Counts

4 → 110

Calls

4 calls:

26.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t))))
10.0ms	(/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t)))
3.0ms	(cbrt.f64 x)
2.0ms	(cbrt.f64 x)

series672.0ms (12%)

Counts

4 → 12

Calls

4 calls:

218.0ms	(/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t)))
169.0ms	(cbrt.f64 x)
144.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t))))
141.0ms	(cbrt.f64 x)

simplify141.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5190	1913

prune160.0ms (2.9%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	120	11	131

Merged error: 2.7b

Counts

131 → 11

Compiler

Compiled 2318 to 439 computations (81.1% saved)

regimes470.0ms (8.4%)

Compiler: Compiled 2600 to 1727 computations (33.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	10
1	35	10

end0.0ms (0%)

sample1.5s (27.3%)

Algorithm

1×

intervals

Results

431.0ms	8000×	body	128	valid
19.0ms	372×	body	128	invalid

Compiler

Compiled 418 to 277 computations (33.7% saved)

Details

analyze786.0ms (14%)

sample27.0ms (0.5%)

simplify178.0ms (3.2%)

prune4.0ms (0.1%)

localize11.0ms (0.2%)

rewrite27.0ms (0.5%)

series138.0ms (2.5%)

simplify104.0ms (1.9%)

prune81.0ms (1.5%)

localize14.0ms (0.2%)

rewrite46.0ms (0.8%)

series210.0ms (3.7%)

simplify132.0ms (2.3%)

prune117.0ms (2.1%)

localize13.0ms (0.2%)

rewrite53.0ms (0.9%)

series313.0ms (5.6%)

simplify143.0ms (2.6%)

prune154.0ms (2.7%)

localize18.0ms (0.3%)

rewrite62.0ms (1.1%)

series672.0ms (12%)

simplify141.0ms (2.5%)

prune160.0ms (2.9%)

regimes470.0ms (8.4%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.5s (27.3%)

Profiling