Details

analyze687.0ms (12.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5177	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
0%	99.9%	0.1%	6
14%	85.8%	0.1%	7
22.6%	77.2%	0.1%	8
23.8%	74.5%	1.7%	9
40%	56%	4%	10
47.3%	48.7%	4%	11
48.4%	45.8%	5.8%	12
58.6%	32.4%	9%	13
63.4%	27.5%	9%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample18.0ms (0.3%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
1.0ms	25×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify161.0ms (3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (155.0ms)

Iter	Nodes	Cost
0	4907	10
1	4907	10

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

11.0b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (+.f64 y z))
10.4b	(/.f64 (*.f64 x (+.f64 y z)) z)

rewrite52.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685`
8×	`add-sqr-sqrt_binary64_10671` `*-un-lft-identity_binary64_10649`
6×	`add-cube-cbrt_binary64_10684`
4×	`pow1_binary64_10710` `associate-r/_binary64_10591` `associate-r*_binary64_10589`
3×	`times-frac_binary64_10655` `associate-/r_binary64_10593` `associate-l*_binary64_10590`
2×	`prod-exp_binary64_10698` `div-exp_binary64_10700` `add-log-exp_binary64_10688` `cbrt-undiv_binary64_10683` `cbrt-unprod_binary64_10682` `flip3-+_binary64_10652` `associate-/l/_binary64_10596` `flip-+_binary64_10623`
1×	`frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646` `associate-/l_binary64_10594` `pow-prod-down_binary64_10720` `unswap-sqr_binary64_10617` `distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598` `distribute-lft-out_binary64_10600` `-commutative_binary64_10580`

Counts

2 → 46

Calls

2 calls:

9.0ms	(/.f64 (*.f64 x (+.f64 y z)) z)
6.0ms	(*.f64 x (+.f64 y z))

Compiler

Compiled 607 to 171 computations (71.8% saved)

series241.0ms (4.5%)

Error

1.8b

Counts

2 → 30

Calls

2 calls:

142.0ms	(/.f64 (*.f64 x (+.f64 y z)) z)
87.0ms	(*.f64 x (+.f64 y z))

Compiler

Compiled 510 to 295 computations (42.2% saved)

simplify77.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4981	703
1	4981	703

prune51.0ms (1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	68	8	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	8	77

Error

Counts

77 → 8

Compiler

Compiled 805 to 224 computations (72.2% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 z (+.f64 z y))
2.7b	(/.f64 x (/.f64 z (+.f64 z y)))

rewrite102.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

114×	`times-frac_binary64_10655`
94×	`*-un-lft-identity_binary64_10649`
62×	`add-cube-cbrt_binary64_10684` `add-sqr-sqrt_binary64_10671`
22×	`associate-/r*_binary64_10593`
16×	`distribute-lft-out_binary64_10600`
11×	`associate-/r/_binary64_10595`
9×	`add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685`
6×	`div-inv_binary64_10646` `associate-/l*_binary64_10594`
5×	`flip3-+_binary64_10652` `flip-+_binary64_10623`
4×	`div-exp_binary64_10700` `cbrt-undiv_binary64_10683`
2×	`pow1_binary64_10710` `add-log-exp_binary64_10688` `frac-2neg_binary64_10660` `clear-num_binary64_10648`

Counts

2 → 123

Calls

2 calls:

8.0ms	(/.f64 x (/.f64 z (+.f64 z y)))
5.0ms	(/.f64 z (+.f64 z y))

Compiler

Compiled 2112 to 504 computations (76.1% saved)

series229.0ms (4.3%)

Error

Counts

2 → 36

Calls

2 calls:

132.0ms	(/.f64 x (/.f64 z (+.f64 z y)))
75.0ms	(/.f64 z (+.f64 z y))

Compiler

Compiled 852 to 603 computations (29.2% saved)

simplify87.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4959	2774
1	4959	2774

prune100.0ms (1.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	157	2	159
Fresh	4	3	7
Picked	0	1	1
Done	0	0	0
Total	161	6	167

Error

Counts

167 → 6

Compiler

Compiled 2320 to 475 computations (79.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite100.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

42×	`times-frac_binary64_10655`
31×	`add-exp-log_binary64_10687`
27×	`add-sqr-sqrt_binary64_10671` `*-un-lft-identity_binary64_10649`
25×	`add-cube-cbrt_binary64_10684`
19×	`add-cbrt-cube_binary64_10685`
14×	`div-exp_binary64_10700`
12×	`associate-*r/_binary64_10591`
11×	`associate-/r/_binary64_10595`
10×	`associate-/r*_binary64_10593`
7×	`cbrt-undiv_binary64_10683`
6×	`pow1_binary64_10710` `div-inv_binary64_10646` `flip3-+_binary64_10652` `flip-+_binary64_10623` `associate-/l*_binary64_10594`
5×	`prod-exp_binary64_10698`
4×	`associate-r_binary64_10589`
3×	`add-log-exp_binary64_10688` `cbrt-unprod_binary64_10682` `1-exp_binary64_10693` `rec-exp_binary64_10699` `associate-l_binary64_10590`
2×	`frac-2neg_binary64_10660` `clear-num_binary64_10648`
1×	`inv-pow_binary64_10734` `pow-flip_binary64_10723` `pow-prod-down_binary64_10720` `unswap-sqr_binary64_10617` `distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598` `distribute-lft-out_binary64_10600` `*-commutative_binary64_10580`

Counts

3 → 110

Calls

3 calls:

8.0ms	(/.f64 1 (/.f64 z (*.f64 x (+.f64 z y))))
6.0ms	(/.f64 z (*.f64 x (+.f64 z y)))
6.0ms	(*.f64 x (+.f64 z y))

Compiler

Compiled 1846 to 665 computations (64% saved)

series393.0ms (7.3%)

Error

Counts

3 → 54

Calls

3 calls:

138.0ms	(/.f64 z (*.f64 x (+.f64 z y)))
134.0ms	(/.f64 1 (/.f64 z (*.f64 x (+.f64 z y))))
88.0ms	(*.f64 x (+.f64 z y))

Compiler

Compiled 1512 to 1027 computations (32.1% saved)

simplify96.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4959	2328
1	4959	2328

prune98.0ms (1.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	163	1	164
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	164	6	170

Error

Counts

170 → 6

Compiler

Compiled 2195 to 689 computations (68.6% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

10.4b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (+.f64 z y))) (cbrt.f64 (.f64 x (+.f64 z y)))) (cbrt.f64 (*.f64 x (+.f64 z y)))) z)
10.9b	(cbrt.f64 (*.f64 x (+.f64 z y)))
10.9b	(cbrt.f64 (*.f64 x (+.f64 z y)))
10.9b	(cbrt.f64 (*.f64 x (+.f64 z y)))

rewrite122.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

68×	`associate-*r/_binary64_10591`
60×	`cbrt-div_binary64_10681`
30×	`flip3-+_binary64_10652` `flip-+_binary64_10623`
28×	`frac-times_binary64_10659`
26×	`associate-/l/_binary64_10596`
14×	`associate-*l/_binary64_10592`
13×	`add-exp-log_binary64_10687`
9×	`add-cbrt-cube_binary64_10685`
6×	`add-cube-cbrt_binary64_10684` `add-sqr-sqrt_binary64_10671` `*-un-lft-identity_binary64_10649`
4×	`pow1_binary64_10710` `add-log-exp_binary64_10688`
3×	`pow1/3_binary64_10731` `cbrt-prod_binary64_10680` `prod-exp_binary64_10698` `div-exp_binary64_10700` `cbrt-undiv_binary64_10683` `cbrt-unprod_binary64_10682` `times-frac_binary64_10655` `associate-/r*_binary64_10593`
1×	`frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646` `associate-/l*_binary64_10594`

Counts

4 → 82

Calls

4 calls:

14.0ms	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (+.f64 z y))) (cbrt.f64 (.f64 x (+.f64 z y)))) (cbrt.f64 (*.f64 x (+.f64 z y)))) z)
4.0ms	(cbrt.f64 (*.f64 x (+.f64 z y)))
4.0ms	(cbrt.f64 (*.f64 x (+.f64 z y)))
4.0ms	(cbrt.f64 (*.f64 x (+.f64 z y)))

Compiler

Compiled 2991 to 522 computations (82.5% saved)

series1.0s (18.8%)

Error

Counts

4 → 69

Calls

4 calls:

261.0ms	(cbrt.f64 (*.f64 x (+.f64 z y)))
254.0ms	(cbrt.f64 (*.f64 x (+.f64 z y)))
244.0ms	(cbrt.f64 (*.f64 x (+.f64 z y)))
167.0ms	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (+.f64 z y))) (cbrt.f64 (.f64 x (+.f64 z y)))) (cbrt.f64 (*.f64 x (+.f64 z y)))) z)

Compiler

Compiled 5664 to 3491 computations (38.4% saved)

simplify76.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4981	3221
1	4981	3221

prune130.0ms (2.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	151	6	157

Error

Counts

157 → 6

Compiler

Compiled 4400 to 988 computations (77.5% saved)

regimes385.0ms (7.2%)

Accuracy

Total 1.8b remaining (100%)

Threshold costs 0b (0%)

Compiler

Compiled 2240 to 1462 computations (34.7% saved)

bsearch32.0ms (0.6%)

Steps

Iters	Range		Point
6	2.646592989159236e-45	1.5382723839944886e-44	1.386016132827874e-44
8	-3.02225920035289e+147	-1.0225808830308453e+145	-1.0527729931731066e+145

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	42
1	26	42

end0.0ms (0%)

sample1.1s (20.2%)

Algorithm

1×

intervals

Results

223.0ms	8000×	body	128	valid
19.0ms	756×	body	128	invalid

Compiler

Compiled 577 to 380 computations (34.1% saved)

Details

analyze687.0ms (12.8%)

sample18.0ms (0.3%)

simplify161.0ms (3%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite52.0ms (1%)

series241.0ms (4.5%)

simplify77.0ms (1.4%)

prune51.0ms (1%)

localize5.0ms (0.1%)

rewrite102.0ms (1.9%)

series229.0ms (4.3%)

simplify87.0ms (1.6%)

prune100.0ms (1.9%)

localize6.0ms (0.1%)

rewrite100.0ms (1.9%)

series393.0ms (7.3%)

simplify96.0ms (1.8%)

prune98.0ms (1.8%)

localize12.0ms (0.2%)

rewrite122.0ms (2.3%)

series1.0s (18.8%)

simplify76.0ms (1.4%)

prune130.0ms (2.4%)

regimes385.0ms (7.2%)

bsearch32.0ms (0.6%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.1s (20.2%)

Profiling