Details

analyze73.0ms (2.4%)

Algorithm

1×

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
12.5%	87.4%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.7%	0.1%	6
67.1%	32.8%	0.1%	7
71%	28.9%	0.1%	8
82.3%	17.6%	0.1%	9
84.9%	15%	0.1%	10
90.8%	9.1%	0.1%	11
92.2%	7.7%	0.1%	12
95.3%	4.6%	0.1%	13
96%	3.9%	0.1%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample16.0ms (0.6%)

Algorithm

1×

intervals

Results

6.0ms	202×	body	128	valid
2.0ms	28×	body	512	valid
2.0ms	16×	body	1024	valid
1.0ms	10×	body	256	valid

Compiler

Compiled 23 to 23 computations (0% saved)

simplify284.0ms (9.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (187.0ms)

Iter	Nodes	Cost
0	4852	16
1	4852	16

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 22.9b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) y)
1.6b	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
8.5b	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))

rewrite31.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64_20197`
17×	`add-sqr-sqrt_binary64_20219`
10×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `cancel-sign-sub-inv_binary64_20163`
9×	`add-cube-cbrt_binary64_20232`
8×	`times-frac_binary64_20203`
6×	`associate-l_binary64_20138`
5×	`add-log-exp_binary64_20236` `pow1_binary64_20258`
4×	`difference-of-squares_binary64_20166` `associate-/r_binary64_20141` `associate-/r/_binary64_20143` `associate-l/_binary64_20140`
3×	`flip3--_binary64_20201` `distribute-lft-out_binary64_20148` `associate-r_binary64_20137` `flip--_binary64_20172`
2×	`cbrt-unprod_binary64_20230` `div-inv_binary64_20194` `div-exp_binary64_20248` `prod-exp_binary64_20246` `distribute-lft-out--_binary64_20149` `associate-/l/_binary64_20144` `cbrt-undiv_binary64_20231` `flip3-+_binary64_20200` `flip-+_binary64_20171`
1×	`sub-neg_binary64_20190` `frac-2neg_binary64_20208` `clear-num_binary64_20196` `unswap-sqr_binary64_20165` `associate-/l_binary64_20142` `-commutative_binary64_20128` `pow-prod-down_binary64_20268` `diff-log_binary64_20289`

Counts

3 → 74

Calls

3 calls:

10.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
9.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
7.0ms	(*.f64 (-.f64 1 x) y)

series95.0ms (3.2%)

Counts

3 → 9

Calls

3 calls:

48.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
28.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
19.0ms	(*.f64 (-.f64 1 x) y)

simplify64.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5643	1232

prune96.0ms (3.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	78	5	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	5	84

Merged error: 0.1b

Counts

84 → 5

Compiler

Compiled 1373 to 985 computations (28.3% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y)))
0.0b	(/.f64 y (+.f64 1 y))
1.6b	(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y))))

rewrite30.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64_20197`
29×	`add-sqr-sqrt_binary64_20219`
25×	`times-frac_binary64_20203`
21×	`add-cube-cbrt_binary64_20232`
18×	`associate-r_binary64_20137`
10×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
7×	`distribute-lft-out_binary64_20148`
6×	`associate-l_binary64_20138`
5×	`add-log-exp_binary64_20236` `pow1_binary64_20258`
4×	`associate-/r*_binary64_20141` `associate-/r/_binary64_20143`
3×	`flip3--_binary64_20201` `associate-/l*_binary64_20142` `flip--_binary64_20172`
2×	`frac-times_binary64_20207` `cbrt-unprod_binary64_20230` `difference-of-squares_binary64_20166` `unswap-sqr_binary64_20165` `div-inv_binary64_20194` `div-exp_binary64_20248` `prod-exp_binary64_20246` `associate-*l/_binary64_20140` `cbrt-undiv_binary64_20231` `flip3-+_binary64_20200` `flip-+_binary64_20171`
1×	`sub-neg_binary64_20190` `frac-2neg_binary64_20208` `clear-num_binary64_20196` `distribute-lft-out--_binary64_20149` `-commutative_binary64_20128` `pow-prod-down_binary64_20268` `associate-r/_binary64_20139` `cancel-sign-sub-inv_binary64_20163` `diff-log_binary64_20289`

Counts

3 → 89

Calls

3 calls:

14.0ms	(*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y)))
6.0ms	(/.f64 y (+.f64 1 y))
4.0ms	(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y))))

series83.0ms (2.8%)

Counts

3 → 9

Calls

3 calls:

44.0ms	(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y))))
26.0ms	(*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y)))
12.0ms	(/.f64 y (+.f64 1 y))

simplify88.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4974	1527
1	4974	1527

prune88.0ms (3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	98	5	103

Merged error: 0.1b

Counts

103 → 5

Compiler

Compiled 1742 to 1245 computations (28.5% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) y)
0.1b	(.f64 (/.f64 (.f64 (-.f64 1 x) y) (-.f64 (*.f64 y y) 1)) (-.f64 y 1))
3.8b	(-.f64 1 (.f64 (/.f64 (.f64 (-.f64 1 x) y) (-.f64 (*.f64 y y) 1)) (-.f64 y 1)))
17.3b	(/.f64 (.f64 (-.f64 1 x) y) (-.f64 (.f64 y y) 1))

rewrite54.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_20219`
24×	`*-un-lft-identity_binary64_20197`
20×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
18×	`associate-l_binary64_20138`
15×	`add-cube-cbrt_binary64_20232`
13×	`cancel-sign-sub-inv_binary64_20163`
12×	`times-frac_binary64_20203`
10×	`difference-of-squares_binary64_20166` `associate-r_binary64_20137`
8×	`associate--r+_binary64_20133` `distribute-lft-in_binary64_20146` `distribute-rgt-in_binary64_20147` `pow1_binary64_20258`
7×	`flip3--_binary64_20201` `flip--_binary64_20172`
6×	`cbrt-unprod_binary64_20230` `add-log-exp_binary64_20236` `associate-/r*_binary64_20141` `prod-exp_binary64_20246`
5×	`sub-neg_binary64_20190` `associate-*l/_binary64_20140`
4×	`associate-/r/_binary64_20143` `div-exp_binary64_20248` `difference-of-sqr-1_binary64_20167` `cbrt-undiv_binary64_20231`
2×	`frac-times_binary64_20207` `unswap-sqr_binary64_20165` `div-inv_binary64_20194` `distribute-lft-out--_binary64_20149` `associate-/l/_binary64_20144` `-commutative_binary64_20128` `pow-prod-down_binary64_20268` `associate-r/_binary64_20139`
1×	`frac-2neg_binary64_20208` `clear-num_binary64_20196` `associate-/l*_binary64_20142` `diff-log_binary64_20289`

Counts

4 → 122

Calls

4 calls:

18.0ms	(.f64 (/.f64 (.f64 (-.f64 1 x) y) (-.f64 (*.f64 y y) 1)) (-.f64 y 1))
11.0ms	(/.f64 (.f64 (-.f64 1 x) y) (-.f64 (.f64 y y) 1))
7.0ms	(*.f64 (-.f64 1 x) y)
7.0ms	(-.f64 1 (.f64 (/.f64 (.f64 (-.f64 1 x) y) (-.f64 (*.f64 y y) 1)) (-.f64 y 1)))

series232.0ms (7.8%)

Counts

4 → 12

Calls

4 calls:

123.0ms	(-.f64 1 (.f64 (/.f64 (.f64 (-.f64 1 x) y) (-.f64 (*.f64 y y) 1)) (-.f64 y 1)))
48.0ms	(/.f64 (.f64 (-.f64 1 x) y) (-.f64 (.f64 y y) 1))
43.0ms	(.f64 (/.f64 (.f64 (-.f64 1 x) y) (-.f64 (*.f64 y y) 1)) (-.f64 y 1))
18.0ms	(*.f64 (-.f64 1 x) y)

simplify56.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5328	2208

prune133.0ms (4.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	134	5	139

Merged error: 0.1b

Counts

139 → 5

Compiler

Compiled 2846 to 1992 computations (30% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 1 y))
0.0b	(-.f64 (+.f64 x (/.f64 1 y)) (/.f64 x y))

rewrite24.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_20197`
14×	`add-sqr-sqrt_binary64_20219`
13×	`cancel-sign-sub-inv_binary64_20163`
10×	`times-frac_binary64_20203`
9×	`add-log-exp_binary64_20236` `add-cube-cbrt_binary64_20232`
4×	`distribute-lft-out_binary64_20148`
3×	`div-inv_binary64_20194` `distribute-lft-out--_binary64_20149`
2×	`frac-sub_binary64_20206` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `difference-of-squares_binary64_20166` `sum-log_binary64_20288` `flip3-+_binary64_20200` `diff-log_binary64_20289` `pow1_binary64_20258` `flip-+_binary64_20171`
1×	`sub-neg_binary64_20190` `flip3--_binary64_20201` `associate--l+_binary64_20134` `+-commutative_binary64_20127` `flip--_binary64_20172`

Counts

2 → 46

Calls

2 calls:

14.0ms	(-.f64 (+.f64 x (/.f64 1 y)) (/.f64 x y))
6.0ms	(+.f64 x (/.f64 1 y))

series28.0ms (0.9%)

Counts

2 → 6

Calls

2 calls:

16.0ms	(-.f64 (+.f64 x (/.f64 1 y)) (/.f64 x y))
11.0ms	(+.f64 x (/.f64 1 y))

simplify88.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4918	736
1	4918	736

prune33.0ms (1.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	51	6	57

Merged error: 0.1b

Counts

57 → 6

Compiler

Compiled 718 to 374 computations (47.9% saved)

regimes381.0ms (12.8%)

Compiler: Compiled 2075 to 1767 computations (14.8% saved)

bsearch1.0ms (0%)

Compiler: Compiled 9 to 8 computations (11.1% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	154	67
1	154	67

end0.0ms (0%)

sample969.0ms (32.5%)

Algorithm

1×

intervals

Results

191.0ms	6248×	body	128	valid
71.0ms	632×	body	1024	valid
58.0ms	677×	body	512	valid
24.0ms	437×	body	256	valid
1.0ms	6×	body	2048	valid

Compiler

Compiled 499 to 414 computations (17% saved)

Details

analyze73.0ms (2.4%)

sample16.0ms (0.6%)

simplify284.0ms (9.5%)

prune2.0ms (0.1%)

localize7.0ms (0.2%)

rewrite31.0ms (1%)

series95.0ms (3.2%)

simplify64.0ms (2.1%)

prune96.0ms (3.2%)

localize7.0ms (0.2%)

rewrite30.0ms (1%)

series83.0ms (2.8%)

simplify88.0ms (2.9%)

prune88.0ms (3%)

localize10.0ms (0.3%)

rewrite54.0ms (1.8%)

series232.0ms (7.8%)

simplify56.0ms (1.9%)

prune133.0ms (4.5%)

localize5.0ms (0.2%)

rewrite24.0ms (0.8%)

series28.0ms (0.9%)

simplify88.0ms (2.9%)

prune33.0ms (1.1%)

regimes381.0ms (12.8%)

bsearch1.0ms (0%)

simplify5.0ms (0.2%)

end0.0ms (0%)

sample969.0ms (32.5%)

Profiling