Details

analyze723.0ms (11.2%)

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
9.4%	90.4%	0.2%	8
9.4%	90.4%	0.2%	9
10.9%	88.9%	0.2%	10
25.9%	73.9%	0.2%	11
47.1%	52.7%	0.2%	12
55.3%	44.5%	0.2%	13
59.2%	40.6%	0.2%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample25.0ms (0.4%)

Algorithm

1×

intervals

Results

12.0ms

256×

body

128

valid

Compiler

Compiled 35 to 33 computations (5.7% saved)

simplify152.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5059	19

prune5.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.6b

Counts

2 → 2

Compiler

Compiled 43 to 36 computations (16.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
0.0b	(-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))
4.7b	(/.f64 (.f64 y t) (.f64 2 z))
4.9b	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))

rewrite48.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`add-sqr-sqrt_binary64_13058`
42×	`*-un-lft-identity_binary64_13036`
33×	`times-frac_binary64_13042`
26×	`cancel-sign-sub-inv_binary64_13002`
24×	`add-cube-cbrt_binary64_13071`
18×	`add-cbrt-cube_binary64_13072` `add-exp-log_binary64_13074`
10×	`difference-of-squares_binary64_13005`
9×	`distribute-lft-out--_binary64_12988`
8×	`add-log-exp_binary64_13075`
6×	`associate-/r*_binary64_12980`
5×	`cbrt-undiv_binary64_13070` `div-exp_binary64_13087`
4×	`flip--_binary64_13011` `div-inv_binary64_13033` `associate-/r/_binary64_12982` `flip3--_binary64_13040` `pow1_binary64_13097` `prod-exp_binary64_13085` `associate-/l*_binary64_12981` `cbrt-unprod_binary64_13069`
2×	`clear-num_binary64_13035` `sub-neg_binary64_13029` `diff-log_binary64_13128` `frac-2neg_binary64_13047`

Counts

4 → 111

Calls

4 calls:

13.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
9.0ms	(-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))
8.0ms	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))
7.0ms	(/.f64 (.f64 y t) (.f64 2 z))

series693.0ms (10.8%)

Counts

4 → 71

Calls

4 calls:

247.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
177.0ms	(-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))
143.0ms	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))
125.0ms	(/.f64 (.f64 y t) (.f64 2 z))

Compiler

Compiled 1567 to 1413 computations (9.8% saved)

simplify78.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5019	3509

prune197.0ms (3.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	178	4	182
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	179	5	184

Merged error: 0.0b

Counts

184 → 5

Compiler

Compiled 3212 to 1586 computations (50.6% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z)))))
0.0b	(-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z)))
4.4b	(*.f64 (/.f64 y 2) (/.f64 t z))
4.9b	(/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z))))

rewrite40.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-sqr-sqrt_binary64_13058`
41×	`times-frac_binary64_13042`
35×	`*-un-lft-identity_binary64_13036`
33×	`add-cube-cbrt_binary64_13071`
18×	`add-cbrt-cube_binary64_13072` `add-exp-log_binary64_13074`
16×	`cancel-sign-sub-inv_binary64_13002`
13×	`associate-r_binary64_12976` `associate-l_binary64_12977`
8×	`add-log-exp_binary64_13075`
6×	`pow1_binary64_13097`
5×	`cbrt-undiv_binary64_13070` `div-exp_binary64_13087`
4×	`flip--_binary64_13011` `unswap-sqr_binary64_13004` `div-inv_binary64_13033` `associate-/r/_binary64_12982` `flip3--_binary64_13040` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069`
3×	`associate-/r_binary64_12980` `associate-/l_binary64_12981`
2×	`sub-neg_binary64_13029` `difference-of-squares_binary64_13005` `diff-log_binary64_13128`
1×	`clear-num_binary64_13035` `distribute-lft-out--_binary64_12988` `associate-l/_binary64_12979` `associate-r/_binary64_12978` `*-commutative_binary64_12967` `frac-times_binary64_13046` `frac-2neg_binary64_13047` `pow-prod-down_binary64_13107`

Counts

4 → 120

Calls

4 calls:

11.0ms	(*.f64 (/.f64 y 2) (/.f64 t z))
10.0ms	(-.f64 x (/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z)))))
5.0ms	(/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z))))
3.0ms	(-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z)))

series659.0ms (10.2%)

Counts

4 → 71

Calls

4 calls:

236.0ms	(-.f64 x (/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z)))))
163.0ms	(-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z)))
136.0ms	(/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z))))
123.0ms	(*.f64 (/.f64 y 2) (/.f64 t z))

Compiler

Compiled 1567 to 1413 computations (9.8% saved)

simplify80.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4995	3474
1	4995	3474

prune357.0ms (5.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	191	5	196

Merged error: 0.0b

Counts

196 → 5

Compiler

Compiled 3413 to 1690 computations (50.5% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 z (/.f64 (.f64 y t) (.f64 z 2)))
0.7b	(/.f64 1 (/.f64 (-.f64 z (/.f64 (.f64 y t) (.f64 z 2))) y))
4.7b	(/.f64 (.f64 y t) (.f64 z 2))
4.7b	(/.f64 (-.f64 z (/.f64 (.f64 y t) (.f64 z 2))) y)

rewrite48.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

134×	`times-frac_binary64_13042`
105×	`*-un-lft-identity_binary64_13036` `add-sqr-sqrt_binary64_13058`
71×	`add-cube-cbrt_binary64_13071`
29×	`add-exp-log_binary64_13074`
23×	`associate-/r*_binary64_12980` `add-cbrt-cube_binary64_13072`
17×	`distribute-lft-out--_binary64_12988` `difference-of-squares_binary64_13005`
12×	`div-exp_binary64_13087`
9×	`associate-/l*_binary64_12981`
8×	`cbrt-undiv_binary64_13070` `div-inv_binary64_13033`
6×	`add-log-exp_binary64_13075`
5×	`pow1_binary64_13097` `cancel-sign-sub-inv_binary64_13002`
4×	`prod-exp_binary64_13085` `cbrt-unprod_binary64_13069`
3×	`clear-num_binary64_13035` `frac-2neg_binary64_13047`
2×	`flip--_binary64_13011` `flip3--_binary64_13040` `rec-exp_binary64_13086` `1-exp_binary64_13080` `associate-/l/_binary64_12983`
1×	`inv-pow_binary64_13121` `div-sub_binary64_13041` `sub-neg_binary64_13029` `associate-/r/_binary64_12982` `pow-flip_binary64_13110` `diff-log_binary64_13128`

Counts

4 → 177

Calls

4 calls:

10.0ms	(/.f64 1 (/.f64 (-.f64 z (/.f64 (.f64 y t) (.f64 z 2))) y))
8.0ms	(/.f64 (-.f64 z (/.f64 (.f64 y t) (.f64 z 2))) y)
6.0ms	(/.f64 (.f64 y t) (.f64 z 2))
5.0ms	(-.f64 z (/.f64 (.f64 y t) (.f64 z 2)))

series673.0ms (10.5%)

Counts

4 → 62

Calls

4 calls:

249.0ms	(/.f64 (-.f64 z (/.f64 (.f64 y t) (.f64 z 2))) y)
174.0ms	(-.f64 z (/.f64 (.f64 y t) (.f64 z 2)))
133.0ms	(/.f64 1 (/.f64 (-.f64 z (/.f64 (.f64 y t) (.f64 z 2))) y))
118.0ms	(/.f64 (.f64 y t) (.f64 z 2))

Compiler

Compiled 1482 to 1345 computations (9.2% saved)

simplify101.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

239 → 239

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4956	5386
1	4956	5386

prune241.0ms (3.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	238	1	239
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	240	4	244

Merged error: 0.0b

Counts

244 → 4

Compiler

Compiled 5176 to 2756 computations (46.8% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 z y) (*.f64 -1/2 (/.f64 t z)))
0.0b	(*.f64 -1/2 (/.f64 t z))
0.0b	(-.f64 x (/.f64 1 (+.f64 (/.f64 z y) (*.f64 -1/2 (/.f64 t z)))))
0.7b	(/.f64 1 (+.f64 (/.f64 z y) (*.f64 -1/2 (/.f64 t z))))

rewrite46.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`add-sqr-sqrt_binary64_13058`
31×	`*-un-lft-identity_binary64_13036`
30×	`times-frac_binary64_13042`
27×	`add-cube-cbrt_binary64_13071`
16×	`cancel-sign-sub-inv_binary64_13002`
13×	`associate-r_binary64_12976` `add-exp-log_binary64_13074`
11×	`add-cbrt-cube_binary64_13072`
8×	`add-log-exp_binary64_13075`
7×	`pow1_binary64_13097`
6×	`associate-/r/_binary64_12982`
4×	`div-inv_binary64_13033` `associate-*r/_binary64_12978`
3×	`frac-add_binary64_13044` `associate-l_binary64_12977` `div-exp_binary64_13087` `flip3-+_binary64_13039` `associate-/r_binary64_12980` `difference-of-squares_binary64_13005` `flip-+_binary64_13010` `associate-/l_binary64_12981`
2×	`cbrt-undiv_binary64_13070` `unswap-sqr_binary64_13004` `distribute-lft-out--_binary64_12988` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069`
1×	`flip--_binary64_13011` `inv-pow_binary64_13121` `clear-num_binary64_13035` `sub-neg_binary64_13029` `flip3--_binary64_13040` `pow-flip_binary64_13110` `rec-exp_binary64_13086` `diff-log_binary64_13128` `*-commutative_binary64_12967` `1-exp_binary64_13080` `frac-2neg_binary64_13047` `pow-prod-down_binary64_13107` `sum-log_binary64_13127` `+-commutative_binary64_12966`

Counts

4 → 110

Calls

4 calls:

13.0ms	(-.f64 x (/.f64 1 (+.f64 (/.f64 z y) (*.f64 -1/2 (/.f64 t z)))))
9.0ms	(/.f64 1 (+.f64 (/.f64 z y) (*.f64 -1/2 (/.f64 t z))))
7.0ms	(*.f64 -1/2 (/.f64 t z))
6.0ms	(+.f64 (/.f64 z y) (*.f64 -1/2 (/.f64 t z)))

series614.0ms (9.5%)

Counts

4 → 68

Calls

4 calls:

232.0ms	(-.f64 x (/.f64 1 (+.f64 (/.f64 z y) (*.f64 -1/2 (/.f64 t z)))))
181.0ms	(+.f64 (/.f64 z y) (*.f64 -1/2 (/.f64 t z)))
137.0ms	(/.f64 1 (+.f64 (/.f64 z y) (*.f64 -1/2 (/.f64 t z))))
64.0ms	(*.f64 -1/2 (/.f64 t z))

Compiler

Compiled 1495 to 1400 computations (6.4% saved)

simplify76.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5238	3044

prune150.0ms (2.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	177	1	178
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	177	5	182

Merged error: 0b

Counts

182 → 5

Compiler

Compiled 2969 to 1460 computations (50.8% saved)

regimes295.0ms (4.6%)

Compiler: Compiled 2886 to 2206 computations (23.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	19
1	36	19

end0.0ms (0%)

sample1.1s (17.1%)

Algorithm

1×

intervals

Results

397.0ms

8000×

body

128

valid

Compiler

Compiled 505 to 389 computations (23% saved)

Details

analyze723.0ms (11.2%)

sample25.0ms (0.4%)

simplify152.0ms (2.4%)

prune5.0ms (0.1%)

localize9.0ms (0.1%)

rewrite48.0ms (0.7%)

series693.0ms (10.8%)

simplify78.0ms (1.2%)

prune197.0ms (3.1%)

localize9.0ms (0.1%)

rewrite40.0ms (0.6%)

series659.0ms (10.2%)

simplify80.0ms (1.2%)

prune357.0ms (5.5%)

localize11.0ms (0.2%)

rewrite48.0ms (0.8%)

series673.0ms (10.5%)

simplify101.0ms (1.6%)

prune241.0ms (3.7%)

localize10.0ms (0.2%)

rewrite46.0ms (0.7%)

series614.0ms (9.5%)

simplify76.0ms (1.2%)

prune150.0ms (2.3%)

regimes295.0ms (4.6%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.1s (17.1%)

Profiling