Details

analyze1.1s (8.6%)

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
2.3%	97.4%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
33.2%	66.5%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample27.0ms (0.2%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
1.0ms	24×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify474.0ms (3.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (383.0ms)

Iter	Nodes	Cost
0	4977	16
1	4977	16

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

10.3b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

10.6b	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
0.0b	(*.f64 y (-.f64 z t))
0.0b	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
0.0b	(*.f64 y (-.f64 z t))
0.0b	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
10.6b	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))

rewrite37.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_16809` `*-un-lft-identity_binary64_16787`
10×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
9×	`add-cube-cbrt_binary64_16822`
6×	`cancel-sign-sub-inv_binary64_16753`
5×	`associate-r_binary64_16727` `add-log-exp_binary64_16826` `times-frac_binary64_16793` `pow1_binary64_16848` `associate-/r*_binary64_16731`
4×	`associate-*r/_binary64_16729` `distribute-rgt-in_binary64_16737` `distribute-lft-in_binary64_16736`
3×	`difference-of-squares_binary64_16756` `flip3--_binary64_16791` `distribute-lft-out--_binary64_16739` `associate-l_binary64_16728` `flip--_binary64_16762`
2×	`cbrt-undiv_binary64_16821` `cbrt-unprod_binary64_16820` `sub-neg_binary64_16780` `prod-exp_binary64_16836` `div-exp_binary64_16838` `associate-/l/_binary64_16734` `associate-/r/_binary64_16733`
1×	`associate-/l_binary64_16732` `sum-log_binary64_16878` `clear-num_binary64_16786` `-commutative_binary64_16718` `flip-+_binary64_16761` `distribute-lft-out_binary64_16738` `unswap-sqr_binary64_16755` `+-commutative_binary64_16717` `frac-2neg_binary64_16798` `div-inv_binary64_16784` `pow-prod-down_binary64_16858` `flip3-+_binary64_16790`

Counts

3 → 71

Calls

6 calls:

11.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
8.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
8.0ms	(*.f64 y (-.f64 z t))
0.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
0.0ms	(*.f64 y (-.f64 z t))

series764.0ms (6%)

Counts

3 → 76

Calls

3 calls:

434.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
233.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
97.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 1932 to 1508 computations (21.9% saved)

simplify77.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5039	2495

prune138.0ms (1.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	140	7	147
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	141	7	148

Error

0.0b

Counts

148 → 7

Compiler

Compiled 2442 to 499 computations (79.6% saved)

localize12.0ms (0.1%)

Local error

Found 6 expressions with local error:

3.0b	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
0.0b	(/.f64 (-.f64 z a) (-.f64 z t))
0.0b	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
0.0b	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
0.0b	(/.f64 (-.f64 z a) (-.f64 z t))
3.0b	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))

rewrite80.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

218×	`times-frac_binary64_16793`
197×	`*-un-lft-identity_binary64_16787`
195×	`add-sqr-sqrt_binary64_16809`
91×	`add-cube-cbrt_binary64_16822`
52×	`difference-of-squares_binary64_16756` `distribute-lft-out--_binary64_16739`
36×	`associate-/r*_binary64_16731`
11×	`associate-/r/_binary64_16733`
10×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
8×	`associate-/l*_binary64_16732`
6×	`flip3--_binary64_16791` `flip--_binary64_16762` `div-inv_binary64_16784`
5×	`add-log-exp_binary64_16826`
4×	`cbrt-undiv_binary64_16821` `div-exp_binary64_16838`
3×	`pow1_binary64_16848`
2×	`clear-num_binary64_16786` `associate-/l/_binary64_16734` `frac-2neg_binary64_16798`
1×	`div-sub_binary64_16792` `sum-log_binary64_16878` `flip-+_binary64_16761` `distribute-lft-out_binary64_16738` `+-commutative_binary64_16717` `flip3-+_binary64_16790`

Counts

3 → 206

Calls

6 calls:

30.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
14.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
8.0ms	(/.f64 (-.f64 z a) (-.f64 z t))
0.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
0.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

series836.0ms (6.5%)

Counts

3 → 79

Calls

3 calls:

446.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
262.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
128.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

Compiler

Compiled 2163 to 1678 computations (22.4% saved)

simplify96.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

285 → 285

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5039	6946

prune230.0ms (1.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	283	2	285
Fresh	4	2	6
Picked	0	1	1
Done	0	0	0
Total	287	5	292

Error

Counts

292 → 5

Compiler

Compiled 5843 to 961 computations (83.6% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

3.2b	(.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))
0.2b	(*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))
0.0b	(/.f64 1 (-.f64 z a))
0.0b	(+.f64 x (.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))))
0.0b	(+.f64 x (.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))))
0.0b	(/.f64 1 (-.f64 z a))
0.2b	(*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))
3.2b	(.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))

rewrite54.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64_16809`
42×	`*-un-lft-identity_binary64_16787`
32×	`times-frac_binary64_16793` `add-exp-log_binary64_16825`
25×	`add-cube-cbrt_binary64_16822`
22×	`associate-r_binary64_16727`
20×	`add-cbrt-cube_binary64_16823`
13×	`prod-exp_binary64_16836`
12×	`pow1_binary64_16848`
8×	`difference-of-squares_binary64_16756` `associate-r/_binary64_16729` `distribute-lft-out--_binary64_16739` `associate-l*_binary64_16728`
7×	`cbrt-unprod_binary64_16820`
6×	`add-log-exp_binary64_16826` `div-exp_binary64_16838` `flip3--_binary64_16791` `flip--_binary64_16762`
5×	`associate-/r*_binary64_16731`
4×	`frac-times_binary64_16797` `associate-/r/_binary64_16733` `associate-*l/_binary64_16730` `pow-prod-down_binary64_16858`
3×	`cbrt-undiv_binary64_16821` `associate-/l*_binary64_16732` `rec-exp_binary64_16837` `1-exp_binary64_16831` `unswap-sqr_binary64_16755`
2×	`un-div-inv_binary64_16785` `*-commutative_binary64_16718` `div-inv_binary64_16784`
1×	`sum-log_binary64_16878` `clear-num_binary64_16786` `flip-+_binary64_16761` `pow-flip_binary64_16861` `+-commutative_binary64_16717` `inv-pow_binary64_16872` `frac-2neg_binary64_16798` `flip3-+_binary64_16790`

Counts

4 → 130

Calls

8 calls:

15.0ms	(*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))
13.0ms	(.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))
6.0ms	(/.f64 1 (-.f64 z a))
4.0ms	(+.f64 x (.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))))
0.0ms	(+.f64 x (.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))))

series908.0ms (7.1%)

Counts

4 → 104

Calls

4 calls:

451.0ms	(+.f64 x (.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))))
237.0ms	(.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))
160.0ms	(*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))
60.0ms	(/.f64 1 (-.f64 z a))

Compiler

Compiled 2792 to 2203 computations (21.1% saved)

simplify70.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

234 → 234

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5061	4304

prune181.0ms (1.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	234	0	234
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	234	5	239

Error

Counts

239 → 5

Compiler

Compiled 4352 to 1226 computations (71.8% saved)

localize8.0ms (0.1%)

Local error

Found 6 expressions with local error:

13.7b	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))
0.0b	(+.f64 x (*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t)))
0.0b	(/.f64 y (-.f64 z a))
0.0b	(+.f64 x (*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t)))
0.0b	(/.f64 y (-.f64 z a))
13.7b	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))

rewrite33.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64_16809`
43×	`*-un-lft-identity_binary64_16787`
31×	`times-frac_binary64_16793`
27×	`add-cube-cbrt_binary64_16822`
21×	`associate-l_binary64_16728`
12×	`cancel-sign-sub-inv_binary64_16753`
10×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
8×	`difference-of-squares_binary64_16756` `distribute-lft-out--_binary64_16739` `associate-+r+_binary64_16719` `distribute-rgt-in_binary64_16737` `distribute-lft-in_binary64_16736`
5×	`associate-r_binary64_16727` `add-log-exp_binary64_16826` `pow1_binary64_16848` `associate-/r*_binary64_16731`
4×	`sub-neg_binary64_16780` `flip3--_binary64_16791` `associate-/r/_binary64_16733` `flip--_binary64_16762`
3×	`associate-/l*_binary64_16732`
2×	`cbrt-undiv_binary64_16821` `cbrt-unprod_binary64_16820` `prod-exp_binary64_16836` `div-exp_binary64_16838` `associate-*r/_binary64_16729` `frac-times_binary64_16797` `unswap-sqr_binary64_16755` `div-inv_binary64_16784`
1×	`sum-log_binary64_16878` `clear-num_binary64_16786` `-commutative_binary64_16718` `flip-+_binary64_16761` `+-commutative_binary64_16717` `frac-2neg_binary64_16798` `associate-l/_binary64_16730` `pow-prod-down_binary64_16858` `flip3-+_binary64_16790`

Counts

3 → 110

Calls

6 calls:

14.0ms	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))
5.0ms	(/.f64 y (-.f64 z a))
4.0ms	(+.f64 x (*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t)))
0.0ms	(/.f64 y (-.f64 z a))
0.0ms	(+.f64 x (*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t)))

series785.0ms (6.1%)

Counts

3 → 79

Calls

3 calls:

448.0ms	(+.f64 x (*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t)))
233.0ms	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))
103.0ms	(/.f64 y (-.f64 z a))

Compiler

Compiled 2073 to 1610 computations (22.3% saved)

simplify116.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4973	3713
1	4973	3713

prune134.0ms (1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	189	0	189
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	189	5	194

Error

Counts

194 → 5

Compiler

Compiled 3496 to 652 computations (81.4% saved)

simplify73.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	2130	995
1	2130	995

regimes528.0ms (4.1%)

Compiler: Compiled 4840 to 3959 computations (18.2% saved)

bsearch0.0ms (0%)

regimes516.0ms (4%)

Compiler: Compiled 4560 to 3826 computations (16.1% saved)

bsearch0.0ms (0%)

regimes663.0ms (5.2%)

Compiler: Compiled 4357 to 3714 computations (14.8% saved)

bsearch2.0ms (0%)

Compiler: Compiled 9 to 9 computations (0% saved)

regimes432.0ms (3.4%)

Compiler: Compiled 1808 to 2044 computations (-13.1% saved)

bsearch1.0ms (0%)

Compiler: Compiled 9 to 9 computations (0% saved)

regimes405.0ms (3.2%)

Compiler: Compiled 1563 to 1813 computations (-16% saved)

bsearch1.0ms (0%)

Compiler: Compiled 9 to 9 computations (0% saved)

regimes300.0ms (2.3%)

Compiler: Compiled 1157 to 1378 computations (-19.1% saved)

bsearch31.0ms (0.2%)

Steps

Iters	Range		Point
8	6.273157616223841e-222	2.2792225827744106e-218	1.1020012389785992e-221
5	-1.6721557174632853e-63	-4.501782499975379e-64	-4.591716408584272e-64

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes532.0ms (4.1%)

Compiler: Compiled 1025 to 1258 computations (-22.7% saved)

bsearch46.0ms (0.4%)

Steps

Iters	Range		Point
7	28274632842.873096	4996758953797.059	2316768892041.1904
10	-1.4842821463996705e+62	-3.0925213387912426e+45	-1.367391352156437e+55

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes281.0ms (2.2%)

Compiler: Compiled 500 to 685 computations (-37% saved)

bsearch42.0ms (0.3%)

Steps

Iters	Range		Point
7	28274632842.873096	4996758953797.059	70161090145.47116
10	-1.4842821463996705e+62	-3.0925213387912426e+45	-1.1208769394479888e+56

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes206.0ms (1.6%)

Compiler: Compiled 320 to 500 computations (-56.3% saved)

bsearch46.0ms (0.4%)

Steps

Iters	Range		Point
10	1.7222723234911053e+61	8.306764498753377e+79	5.002842356276485e+61
10	-9.043380608352302e+108	-1.6493332552575742e+98	-9.097515045328543e+103

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes263.0ms (2%)

Compiler: Compiled 275 to 455 computations (-65.5% saved)

bsearch90.0ms (0.7%)

Steps

Iters	Range		Point
8	7.249129112412243e+139	5.679483248420485e+143	7.369457564098547e+139
8	6.480138036536399e-40	4.202247274978895e-35	3.3569483171766777e-37
9	1.2439114402876419e-113	4.3124886410429444e-106	4.2591287773618582e-106
11	-7.542117439682405e-35	-6.917411115697481e-56	-1.9727090101242836e-35

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes235.0ms (1.8%)

Compiler: Compiled 230 to 405 computations (-76.1% saved)

bsearch64.0ms (0.5%)

Steps

Iters	Range		Point
5	5.5396160011771485e+184	1.905673975208809e+185	5.633727489378703e+184
8	2.2781683066191304e+73	3.8406830758443493e+76	2.313510324046897e+74
6	5.0654496233882586e+17	4.569209295081391e+18	1.7241342036448077e+18
8	-4.0923668939234545e-69	-1.922799497664314e-73	-4.0271371946744994e-69

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes108.0ms (0.8%)

Compiler: Compiled 45 to 195 computations (-333.3% saved)

bsearch34.0ms (0.3%)

Steps

Iters	Range		Point
6	1.0548429950276533e-113	4.292397630446138e-113	2.933537414866347e-113
8	-1.7837878960644965e-70	-3.0487888082162626e-74	-8.635899568710024e-72

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes49.0ms (0.4%)

Compiler: Compiled 30 to 165 computations (-450% saved)

bsearch0.0ms (0%)

regimes47.0ms (0.4%)

Accuracy

Total 0.4b remaining (99.6%)

Threshold costs 0.4b (99.6%)

Compiler

Compiled 25 to 140 computations (-460% saved)

bsearch16.0ms (0.1%)

Compiler: Compiled 501 to 268 computations (46.5% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	288	682
1	288	682

end0.0ms (0%)

sample1.6s (12.7%)

Algorithm

1×

intervals

Results

313.0ms	7999×	body	128	valid
25.0ms	692×	body	128	invalid
0.0ms	1×	body	1024	valid

Compiler

Compiled 1146 to 830 computations (27.6% saved)

Pareto

0.9603057612748336

Details

analyze1.1s (8.6%)

sample27.0ms (0.2%)

simplify474.0ms (3.7%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite37.0ms (0.3%)

series764.0ms (6%)

simplify77.0ms (0.6%)

prune138.0ms (1.1%)

localize12.0ms (0.1%)

rewrite80.0ms (0.6%)

series836.0ms (6.5%)

simplify96.0ms (0.7%)

prune230.0ms (1.8%)

localize10.0ms (0.1%)

rewrite54.0ms (0.4%)

series908.0ms (7.1%)

simplify70.0ms (0.5%)

prune181.0ms (1.4%)

localize8.0ms (0.1%)

rewrite33.0ms (0.3%)

series785.0ms (6.1%)

simplify116.0ms (0.9%)

prune134.0ms (1%)

simplify73.0ms (0.6%)

regimes528.0ms (4.1%)

bsearch0.0ms (0%)

regimes516.0ms (4%)

bsearch0.0ms (0%)

regimes663.0ms (5.2%)

bsearch2.0ms (0%)

regimes432.0ms (3.4%)

bsearch1.0ms (0%)

regimes405.0ms (3.2%)

bsearch1.0ms (0%)

regimes300.0ms (2.3%)

bsearch31.0ms (0.2%)

regimes532.0ms (4.1%)

bsearch46.0ms (0.4%)

regimes281.0ms (2.2%)

bsearch42.0ms (0.3%)

regimes206.0ms (1.6%)

bsearch46.0ms (0.4%)

regimes263.0ms (2%)

bsearch90.0ms (0.7%)

regimes235.0ms (1.8%)

bsearch64.0ms (0.5%)

regimes108.0ms (0.8%)

bsearch34.0ms (0.3%)

regimes49.0ms (0.4%)

bsearch0.0ms (0%)

regimes47.0ms (0.4%)

bsearch16.0ms (0.1%)

simplify13.0ms (0.1%)

end0.0ms (0%)

sample1.6s (12.7%)

Profiling