Details

analyze1.3s (8.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
5.8%	93.9%	0.3%	11
8.4%	91.3%	0.3%	12
9.7%	90%	0.3%	13
10.7%	89%	0.3%	14

Compiler

Compiled 18 to 16 computations (11.1% saved)

sample28.0ms (0.2%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 35 to 37 computations (-5.7% saved)

simplify104.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	48	25
1	48	25

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

16.3b

Counts

2 → 1

Compiler

Compiled 34 to 30 computations (11.8% saved)

localize12.0ms (0.1%)

Local error

Found 8 expressions with local error:

12.5b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
5.9b	(/.f64 (*.f64 y z) t)
4.2b	(/.f64 (*.f64 y b) t)
0.0b	(+.f64 x (/.f64 (*.f64 y z) t))
0.0b	(+.f64 x (/.f64 (*.f64 y z) t))
4.2b	(/.f64 (*.f64 y b) t)
5.9b	(/.f64 (*.f64 y z) t)
12.5b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

rewrite42.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64_19515`
26×	`times-frac_binary64_19521`
22×	`distribute-lft-out_binary64_19466`
19×	`add-cube-cbrt_binary64_19550` `add-sqr-sqrt_binary64_19537`
16×	`add-cbrt-cube_binary64_19551` `add-exp-log_binary64_19553`
11×	`associate-/r*_binary64_19459`
6×	`add-log-exp_binary64_19554` `associate-/l*_binary64_19460`
5×	`div-exp_binary64_19566` `cbrt-undiv_binary64_19549`
4×	`flip-+_binary64_19489` `associate-/r/_binary64_19461` `pow1_binary64_19576` `flip3-+_binary64_19518`
3×	`div-inv_binary64_19512` `clear-num_binary64_19514` `frac-2neg_binary64_19526`
2×	`cbrt-unprod_binary64_19548` `associate-/l/_binary64_19462` `frac-add_binary64_19523` `prod-exp_binary64_19564`
1×	`+-commutative_binary64_19445` `sum-log_binary64_19606`

Counts

4 → 101

Calls

8 calls:

14.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
6.0ms	(+.f64 x (/.f64 (*.f64 y z) t))
5.0ms	(/.f64 (*.f64 y b) t)
5.0ms	(/.f64 (*.f64 y z) t)
0.0ms	(+.f64 x (/.f64 (*.f64 y z) t))

series1.3s (8.6%)

Counts

4 → 84

Calls

4 calls:

900.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
169.0ms	(+.f64 x (/.f64 (*.f64 y z) t))
101.0ms	(/.f64 (*.f64 y b) t)
98.0ms	(/.f64 (*.f64 y z) t)

Compiler

Compiled 4562 to 3508 computations (23.1% saved)

simplify76.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5020	4691

prune263.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	173	12	185
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	174	12	186

Error

1.1b

Counts

186 → 12

Compiler

Compiled 4848 to 1577 computations (67.5% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

5.8b	(/.f64 t (*.f64 y z))
4.2b	(/.f64 (*.f64 y b) t)
0.7b	(/.f64 1 (/.f64 t (*.f64 y z)))
0.0b	(+.f64 x (/.f64 1 (/.f64 t (*.f64 y z))))
0.7b	(/.f64 1 (/.f64 t (*.f64 y z)))
4.2b	(/.f64 (*.f64 y b) t)
5.8b	(/.f64 t (*.f64 y z))
12.5b	(/.f64 (+.f64 x (/.f64 1 (/.f64 t (.f64 y z)))) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

rewrite52.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`*-un-lft-identity_binary64_19515`
64×	`times-frac_binary64_19521`
37×	`add-exp-log_binary64_19553`
36×	`add-cube-cbrt_binary64_19550` `add-sqr-sqrt_binary64_19537`
30×	`distribute-lft-out_binary64_19466`
25×	`add-cbrt-cube_binary64_19551`
17×	`div-exp_binary64_19566`
16×	`associate-/r*_binary64_19459`
14×	`div-inv_binary64_19512`
12×	`associate-/l*_binary64_19460`
10×	`cbrt-undiv_binary64_19549`
5×	`associate-/r/_binary64_19461` `pow1_binary64_19576` `prod-exp_binary64_19564`
4×	`add-log-exp_binary64_19554` `clear-num_binary64_19514` `frac-2neg_binary64_19526`
3×	`cbrt-unprod_binary64_19548` `flip-+_binary64_19489` `rec-exp_binary64_19565` `1-exp_binary64_19559` `flip3-+_binary64_19518`
2×	`associate-/l/_binary64_19462` `frac-add_binary64_19523`
1×	`inv-pow_binary64_19600` `pow-flip_binary64_19589`

Counts

4 → 151

Calls

8 calls:

19.0ms	(/.f64 (+.f64 x (/.f64 1 (/.f64 t (.f64 y z)))) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
6.0ms	(/.f64 1 (/.f64 t (*.f64 y z)))
4.0ms	(/.f64 t (*.f64 y z))
4.0ms	(/.f64 (*.f64 y b) t)
0.0ms	(+.f64 x (/.f64 1 (/.f64 t (*.f64 y z))))

series1.2s (8.3%)

Counts

4 → 69

Calls

4 calls:

921.0ms	(/.f64 (+.f64 x (/.f64 1 (/.f64 t (.f64 y z)))) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
107.0ms	(/.f64 t (*.f64 y z))
102.0ms	(/.f64 (*.f64 y b) t)
98.0ms	(/.f64 1 (/.f64 t (*.f64 y z)))

Compiler

Compiled 4376 to 3334 computations (23.8% saved)

simplify121.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4972	5319
1	4972	5319

prune226.0ms (1.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	219	1	220
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	220	12	232

Error

1.1b

Counts

232 → 12

Compiler

Compiled 5923 to 2142 computations (63.8% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

12.5b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 (*.f64 y b) (/.f64 1 t))))
5.9b	(/.f64 (*.f64 y z) t)
4.3b	(.f64 (.f64 y b) (/.f64 1 t))
0.0b	(+.f64 x (/.f64 (*.f64 y z) t))
0.0b	(+.f64 x (/.f64 (*.f64 y z) t))
4.3b	(.f64 (.f64 y b) (/.f64 1 t))
5.9b	(/.f64 (*.f64 y z) t)
12.5b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 (*.f64 y b) (/.f64 1 t))))

rewrite44.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-exp-log_binary64_19553`
32×	`*-un-lft-identity_binary64_19515`
24×	`times-frac_binary64_19521`
23×	`add-cbrt-cube_binary64_19551`
22×	`add-cube-cbrt_binary64_19550` `add-sqr-sqrt_binary64_19537`
13×	`prod-exp_binary64_19564` `associate-r_binary64_19455`
9×	`pow1_binary64_19576`
7×	`cbrt-unprod_binary64_19548` `div-exp_binary64_19566`
6×	`associate-/r*_binary64_19459` `associate-/r/_binary64_19461` `add-log-exp_binary64_19554`
5×	`distribute-lft-out_binary64_19466` `flip-+_binary64_19489` `associate-/l*_binary64_19460` `cbrt-undiv_binary64_19549` `flip3-+_binary64_19518`
4×	`frac-add_binary64_19523`
3×	`associate-*r/_binary64_19457` `div-inv_binary64_19512` `un-div-inv_binary64_19513` `pow-prod-down_binary64_19586`
2×	`associate-/l/_binary64_19462` `rec-exp_binary64_19565` `clear-num_binary64_19514` `1-exp_binary64_19559` `frac-2neg_binary64_19526`
1×	`associate-l_binary64_19456` `*-commutative_binary64_19446` `+-commutative_binary64_19445` `sum-log_binary64_19606`

Counts

4 → 110

Calls

8 calls:

12.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 (*.f64 y b) (/.f64 1 t))))
8.0ms	(.f64 (.f64 y b) (/.f64 1 t))
5.0ms	(+.f64 x (/.f64 (*.f64 y z) t))
4.0ms	(/.f64 (*.f64 y z) t)
0.0ms	(+.f64 x (/.f64 (*.f64 y z) t))

series1.3s (8.6%)

Counts

4 → 84

Calls

4 calls:

903.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 (*.f64 y b) (/.f64 1 t))))
162.0ms	(+.f64 x (/.f64 (*.f64 y z) t))
104.0ms	(/.f64 (*.f64 y z) t)
104.0ms	(.f64 (.f64 y b) (/.f64 1 t))

Compiler

Compiled 4670 to 3616 computations (22.6% saved)

simplify111.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

194 → 194

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4975	4580
1	4975	4580

prune199.0ms (1.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	193	1	194
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	194	12	206

Error

1.1b

Counts

206 → 12

Compiler

Compiled 5174 to 1909 computations (63.1% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

12.5b	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
6.0b	(.f64 (.f64 y z) (/.f64 1 t))
4.2b	(/.f64 (*.f64 y b) t)
0.0b	(+.f64 x (.f64 (.f64 y z) (/.f64 1 t)))
0.0b	(+.f64 x (.f64 (.f64 y z) (/.f64 1 t)))
4.2b	(/.f64 (*.f64 y b) t)
6.0b	(.f64 (.f64 y z) (/.f64 1 t))
12.5b	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

rewrite41.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64_19515`
33×	`add-exp-log_binary64_19553`
27×	`times-frac_binary64_19521`
23×	`add-cube-cbrt_binary64_19550` `add-sqr-sqrt_binary64_19537` `add-cbrt-cube_binary64_19551`
13×	`prod-exp_binary64_19564` `associate-r_binary64_19455`
12×	`distribute-lft-out_binary64_19466`
9×	`pow1_binary64_19576`
8×	`associate-/r*_binary64_19459`
7×	`cbrt-unprod_binary64_19548` `div-exp_binary64_19566`
6×	`add-log-exp_binary64_19554`
5×	`cbrt-undiv_binary64_19549`
4×	`flip-+_binary64_19489` `associate-/r/_binary64_19461` `associate-/l*_binary64_19460` `flip3-+_binary64_19518`
3×	`div-inv_binary64_19512` `pow-prod-down_binary64_19586`
2×	`associate-/l/_binary64_19462` `rec-exp_binary64_19565` `frac-add_binary64_19523` `clear-num_binary64_19514` `1-exp_binary64_19559` `frac-2neg_binary64_19526`
1×	`associate-r/_binary64_19457` `associate-l_binary64_19456` `-commutative_binary64_19446` `un-div-inv_binary64_19513` `+-commutative_binary64_19445` `sum-log_binary64_19606`

Counts

4 → 111

Calls

8 calls:

13.0ms	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
9.0ms	(.f64 (.f64 y z) (/.f64 1 t))
4.0ms	(/.f64 (*.f64 y b) t)
4.0ms	(+.f64 x (.f64 (.f64 y z) (/.f64 1 t)))
0.0ms	(+.f64 x (.f64 (.f64 y z) (/.f64 1 t)))

series1.3s (8.6%)

Counts

4 → 84

Calls

4 calls:

902.0ms	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
164.0ms	(+.f64 x (.f64 (.f64 y z) (/.f64 1 t)))
105.0ms	(/.f64 (*.f64 y b) t)
103.0ms	(.f64 (.f64 y z) (/.f64 1 t))

Compiler

Compiled 4598 to 3544 computations (22.9% saved)

simplify113.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4984	4633
1	4984	4633

prune175.0ms (1.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	195	12	207

Error

1.1b

Counts

207 → 12

Compiler

Compiled 4917 to 1647 computations (66.5% saved)

simplify23.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	318	1567
1	318	1567

regimes1.2s (7.9%)

Compiler: Compiled 8622 to 6661 computations (22.7% saved)

bsearch5.0ms (0%)

Compiler: Compiled 17 to 15 computations (11.8% saved)

regimes496.0ms (3.4%)

Compiler: Compiled 2250 to 2408 computations (-7% saved)

bsearch1.0ms (0%)

Compiler: Compiled 17 to 15 computations (11.8% saved)

regimes487.0ms (3.3%)

Compiler: Compiled 2098 to 2272 computations (-8.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 17 to 15 computations (11.8% saved)

regimes267.0ms (1.8%)

Compiler: Compiled 1019 to 1257 computations (-23.4% saved)

bsearch38.0ms (0.3%)

Steps

Iters	Range		Point
5	1.5326912659848348e-256	3.1060360293410826e-256	2.9792555516960034e-256
8	-1.0050443692552141e-162	-1.6013618906672632e-165	-5.169302189694269e-164

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes500.0ms (3.4%)

Compiler: Compiled 1023 to 1310 computations (-28.1% saved)

bsearch166.0ms (1.1%)

Steps

Iters	Range		Point
9	8.089945522846315e+113	3.7561902345392905e+121	4.9909939410880975e+115
7	1.115540711714828e-18	2.0055808889036705e-16	5.371074682355507e-18
7	3.1060360293410826e-256	1.610475185258001e-254	8.407808272563171e-255
9	-7.873973619133987e-113	-1.568953314425117e-121	-6.743397496958266e-116
9	-3.3826222140681862e-28	-7.013336403687104e-37	-1.0101836680066091e-36
9	-2.807179985511663e+95	-1.8263652542030277e+87	-2.736218936347212e+95
8	-9.988318830748052e+111	-2.3102376041888365e+107	-2.354572144667007e+107

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes393.0ms (2.7%)

Compiler: Compiled 783 to 1086 computations (-38.7% saved)

bsearch91.0ms (0.6%)

Steps

Iters	Range		Point
6	4.1074208625451265e-76	3.783070853327056e-75	2.1336014860058193e-75
9	-4.953842602555258e-23	-3.3826222140681862e-28	-2.0284365573852146e-25
9	-2.807179985511663e+95	-1.8263652542030277e+87	-2.736218936347212e+95
8	-9.988318830748052e+111	-2.3102376041888365e+107	-2.354572144667007e+107

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes341.0ms (2.3%)

Compiler: Compiled 455 to 774 computations (-70.1% saved)

bsearch90.0ms (0.6%)

Steps

Iters	Range		Point
6	4.1074208625451265e-76	3.783070853327056e-75	5.1518122121940744e-76
9	-3.3826222140681862e-28	-7.013336403687104e-37	-2.547731395923243e-36
9	-2.807179985511663e+95	-1.8263652542030277e+87	-2.736218936347212e+95
8	-9.988318830748052e+111	-2.3102376041888365e+107	-2.354572144667007e+107

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes319.0ms (2.2%)

Compiler: Compiled 175 to 470 computations (-168.6% saved)

bsearch84.0ms (0.6%)

Steps

Iters	Range		Point
6	4.1074208625451265e-76	3.783070853327056e-75	2.390549053795124e-75
9	-3.3826222140681862e-28	-7.013336403687104e-37	-5.472858635345685e-36
9	-2.807179985511663e+95	-1.8263652542030277e+87	-2.736218936347212e+95
8	-9.988318830748052e+111	-2.3102376041888365e+107	-2.354572144667007e+107

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes61.0ms (0.4%)

Compiler: Compiled 48 to 240 computations (-400% saved)

bsearch0.0ms (0%)

regimes54.0ms (0.4%)

Accuracy

Total 6.0b remaining (82.2%)

Threshold costs 0b (0%)

Compiler

Compiled 30 to 198 computations (-560% saved)

bsearch19.0ms (0.1%)

Compiler: Compiled 711 to 372 computations (47.7% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	165	962
1	165	962

end0.0ms (0%)

sample2.2s (14.7%)

Algorithm

1×

intervals

Results

447.0ms	8000×	body	128	valid
14.0ms	255×	body	128	invalid

Compiler

Compiled 1770 to 1213 computations (31.5% saved)

Pareto

0.6323465275939816

Details

analyze1.3s (8.8%)

sample28.0ms (0.2%)

simplify104.0ms (0.7%)

prune3.0ms (0%)

localize12.0ms (0.1%)

rewrite42.0ms (0.3%)

series1.3s (8.6%)

simplify76.0ms (0.5%)

prune263.0ms (1.8%)

localize14.0ms (0.1%)

rewrite52.0ms (0.4%)

series1.2s (8.3%)

simplify121.0ms (0.8%)

prune226.0ms (1.5%)

localize14.0ms (0.1%)

rewrite44.0ms (0.3%)

series1.3s (8.6%)

simplify111.0ms (0.7%)

prune199.0ms (1.3%)

localize14.0ms (0.1%)

rewrite41.0ms (0.3%)

series1.3s (8.6%)

simplify113.0ms (0.8%)

prune175.0ms (1.2%)

simplify23.0ms (0.2%)

regimes1.2s (7.9%)

bsearch5.0ms (0%)

regimes496.0ms (3.4%)

bsearch1.0ms (0%)

regimes487.0ms (3.3%)

bsearch1.0ms (0%)

regimes267.0ms (1.8%)

bsearch38.0ms (0.3%)

regimes500.0ms (3.4%)

bsearch166.0ms (1.1%)

regimes393.0ms (2.7%)

bsearch91.0ms (0.6%)

regimes341.0ms (2.3%)

bsearch90.0ms (0.6%)

regimes319.0ms (2.2%)

bsearch84.0ms (0.6%)

regimes61.0ms (0.4%)

bsearch0.0ms (0%)

regimes54.0ms (0.4%)

bsearch19.0ms (0.1%)

simplify14.0ms (0.1%)

end0.0ms (0%)

sample2.2s (14.7%)

Profiling