Details

analyze549.0ms (9.3%)

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
3.1%	96.7%	0.2%	8
19.9%	79.9%	0.2%	9
22.8%	77%	0.2%	10
35.1%	64.7%	0.2%	11
45%	54.8%	0.2%	12
53.8%	45.1%	1.2%	13
56.2%	42.4%	1.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample22.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
0.0ms	13×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify285.0ms (4.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (121.0ms)

Iter	Nodes	Cost
0	5407	13

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

Merged error: 2.1b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite37.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`add-sqr-sqrt_binary64_12567`
70×	`*-un-lft-identity_binary64_12546`
51×	`times-frac_binary64_12552`
31×	`associate-l_binary64_12489`
26×	`add-cube-cbrt_binary64_12578`
22×	`distribute-lft-out--_binary64_12500` `difference-of-squares_binary64_12515`
9×	`add-cbrt-cube_binary64_12579` `add-exp-log_binary64_12581`
5×	`associate-/l_binary64_12493` `associate-/r_binary64_12492`
4×	`associate-/r/_binary64_12494` `pow1_binary64_12604`
3×	`flip--_binary64_12521` `associate-r_binary64_12488` `flip3--_binary64_12550`
2×	`associate-/l/_binary64_12495` `prod-exp_binary64_12592` `cbrt-undiv_binary64_12577` `unswap-sqr_binary64_12514` `div-inv_binary64_12543` `div-exp_binary64_12594` `add-log-exp_binary64_12582` `cbrt-unprod_binary64_12576`
1×	`associate-l/_binary64_12491` `div-sub_binary64_12551` `pow-prod-down_binary64_12614` `-commutative_binary64_12479` `clear-num_binary64_12545` `frac-2neg_binary64_12557`

Counts

2 → 102

Calls

2 calls:

18.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
9.0ms	(/.f64 (-.f64 x y) (-.f64 z y))

series540.0ms (9.2%)

Counts

2 → 6

Calls

2 calls:

454.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
86.0ms	(/.f64 (-.f64 x y) (-.f64 z y))

simplify67.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4968	1792
1	4968	1792

prune95.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	100	8	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	8	109

Merged error: 0b

Counts

109 → 8

Compiler

Compiled 1908 to 439 computations (77% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite99.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

98×	`*-un-lft-identity_binary64_12546`
80×	`add-sqr-sqrt_binary64_12567`
66×	`times-frac_binary64_12552`
32×	`distribute-lft-out--_binary64_12500`
30×	`add-cube-cbrt_binary64_12578`
20×	`difference-of-squares_binary64_12515`
18×	`associate-l_binary64_12489`
12×	`associate-/r/_binary64_12494`
10×	`add-cbrt-cube_binary64_12579` `add-exp-log_binary64_12581` `associate-/r*_binary64_12492`
8×	`flip--_binary64_12521` `flip3--_binary64_12550`
6×	`associate-/l*_binary64_12493` `div-inv_binary64_12543` `pow1_binary64_12604` `distribute-rgt-out--_binary64_12502` `add-log-exp_binary64_12582`
4×	`associate-*l/_binary64_12491`
3×	`associate-r_binary64_12488`
2×	`sub-div_binary64_12553` `cbrt-undiv_binary64_12577` `frac-sub_binary64_12555` `div-exp_binary64_12594` `clear-num_binary64_12545` `frac-2neg_binary64_12557`
1×	`diff-log_binary64_12635` `prod-exp_binary64_12592` `unswap-sqr_binary64_12514` `sub-neg_binary64_12539` `pow-prod-down_binary64_12614` `*-commutative_binary64_12479` `cbrt-unprod_binary64_12576`

Counts

4 → 139

Calls

4 calls:

40.0ms	(*.f64 (-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y))) t)
31.0ms	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
6.0ms	(/.f64 x (-.f64 z y))
6.0ms	(/.f64 y (-.f64 z y))

series618.0ms (10.5%)

Counts

4 → 12

Calls

4 calls:

356.0ms	(*.f64 (-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y))) t)
142.0ms	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
64.0ms	(/.f64 x (-.f64 z y))
56.0ms	(/.f64 y (-.f64 z y))

simplify107.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4898	2571
1	4898	2571

prune116.0ms (2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	151	8	159

Merged error: 0b

Counts

159 → 8

Compiler

Compiled 3097 to 665 computations (78.5% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 z y) (-.f64 x y))
0.2b	(/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y)))
2.0b	(*.f64 (/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y))) t)

rewrite103.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

392×	`times-frac_binary64_12552`
335×	`add-sqr-sqrt_binary64_12567`
323×	`*-un-lft-identity_binary64_12546`
157×	`add-cube-cbrt_binary64_12578`
98×	`associate-l_binary64_12489`
82×	`distribute-lft-out--_binary64_12500` `difference-of-squares_binary64_12515`
36×	`associate-/r*_binary64_12492`
35×	`add-exp-log_binary64_12581`
19×	`add-cbrt-cube_binary64_12579`
18×	`associate-/r/_binary64_12494`
15×	`div-exp_binary64_12594`
10×	`div-inv_binary64_12543`
9×	`flip--_binary64_12521` `flip3--_binary64_12550`
8×	`associate-/l*_binary64_12493`
7×	`prod-exp_binary64_12592` `cbrt-undiv_binary64_12577`
6×	`pow1_binary64_12604`
5×	`unswap-sqr_binary64_12514`
4×	`1-exp_binary64_12587` `rec-exp_binary64_12593`
3×	`associate-r_binary64_12488` `add-log-exp_binary64_12582` `cbrt-unprod_binary64_12576`
2×	`associate-/l/_binary64_12495` `clear-num_binary64_12545` `frac-2neg_binary64_12557`
1×	`associate-l/_binary64_12491` `inv-pow_binary64_12628` `div-sub_binary64_12551` `pow-prod-down_binary64_12614` `-commutative_binary64_12479` `pow-flip_binary64_12617`

Counts

3 → 326

Calls

3 calls:

30.0ms	(*.f64 (/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y))) t)
14.0ms	(/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y)))
13.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

series644.0ms (11%)

Counts

3 → 9

Calls

3 calls:

333.0ms	(*.f64 (/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y))) t)
215.0ms	(/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y)))
96.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

simplify126.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

335 → 335

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5010	6673

prune281.0ms (4.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	334	1	335
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	336	7	343

Merged error: 0b

Counts

343 → 7

Compiler

Compiled 6930 to 1873 computations (73% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite54.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

218×	`times-frac_binary64_12552`
194×	`*-un-lft-identity_binary64_12546` `add-sqr-sqrt_binary64_12567`
90×	`add-cube-cbrt_binary64_12578`
52×	`distribute-lft-out--_binary64_12500` `difference-of-squares_binary64_12515`
36×	`associate-/r*_binary64_12492`
11×	`associate-/r/_binary64_12494`
9×	`add-cbrt-cube_binary64_12579` `add-exp-log_binary64_12581`
8×	`associate-/l*_binary64_12493`
6×	`flip--_binary64_12521` `div-inv_binary64_12543` `flip3--_binary64_12550`
4×	`cbrt-undiv_binary64_12577` `div-exp_binary64_12594`
2×	`associate-/l/_binary64_12495` `pow1_binary64_12604` `clear-num_binary64_12545` `add-log-exp_binary64_12582` `frac-2neg_binary64_12557`
1×	`div-sub_binary64_12551`

Counts

2 → 194

Calls

2 calls:

14.0ms	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))
9.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

series405.0ms (6.9%)

Counts

2 → 6

Calls

2 calls:

313.0ms	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))
91.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

simplify90.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5028	4887

prune139.0ms (2.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	198	2	200
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	200	7	207

Merged error: 0b

Counts

207 → 7

Compiler

Compiled 3841 to 519 computations (86.5% saved)

regimes384.0ms (6.5%)

Compiler: Compiled 3738 to 2453 computations (34.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	49
1	29	49

end0.0ms (0%)

sample1.1s (18.4%)

Algorithm

1×

intervals

Results

266.0ms	8000×	body	128	valid
20.0ms	629×	body	128	invalid

Compiler

Compiled 620 to 404 computations (34.8% saved)

Details

analyze549.0ms (9.3%)

sample22.0ms (0.4%)

simplify285.0ms (4.9%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite37.0ms (0.6%)

series540.0ms (9.2%)

simplify67.0ms (1.1%)

prune95.0ms (1.6%)

localize8.0ms (0.1%)

rewrite99.0ms (1.7%)

series618.0ms (10.5%)

simplify107.0ms (1.8%)

prune116.0ms (2%)

localize8.0ms (0.1%)

rewrite103.0ms (1.7%)

series644.0ms (11%)

simplify126.0ms (2.1%)

prune281.0ms (4.8%)

localize7.0ms (0.1%)

rewrite54.0ms (0.9%)

series405.0ms (6.9%)

simplify90.0ms (1.5%)

prune139.0ms (2.4%)

regimes384.0ms (6.5%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.1s (18.4%)

Profiling