Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample27.0ms (0.6%)

Algorithm

1×

intervals

Results

8.0ms	133×	body	128	valid
7.0ms	60×	body	1024	valid
3.0ms	38×	body	512	valid
1.0ms	19×	body	256	valid
1.0ms	6×	body	2048	valid

Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify232.0ms (4.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	668	19
1	668	19

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: 29.8b

Counts

2 → 1

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite77.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

148×	`*-un-lft-identity_binary64_1442`
88×	`times-frac_binary64_1448`
85×	`add-sqr-sqrt_binary64_1464`
37×	`add-cube-cbrt_binary64_1477`
34×	`cancel-sign-sub-inv_binary64_1408`
27×	`distribute-lft-out_binary64_1393`
22×	`difference-of-squares_binary64_1411` `distribute-lft-out--_binary64_1394`
11×	`associate-/r*_binary64_1386`
9×	`difference-of-sqr-1_binary64_1412`
7×	`add-cbrt-cube_binary64_1478` `associate-/l*_binary64_1387` `add-exp-log_binary64_1480`
6×	`associate-/r/_binary64_1388`
5×	`add-log-exp_binary64_1481`
3×	`div-inv_binary64_1439` `flip3--_binary64_1446` `flip--_binary64_1417` `pow1_binary64_1503`
2×	`cbrt-undiv_binary64_1476` `associate-/l/_binary64_1389` `clear-num_binary64_1441` `frac-2neg_binary64_1453` `flip3-+_binary64_1445` `flip-+_binary64_1416` `div-exp_binary64_1493`
1×	`sub-neg_binary64_1435` `frac-sub_binary64_1451` `diff-log_binary64_1534`

Counts

3 → 147

Calls

3 calls:

46.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
9.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
6.0ms	(/.f64 x (+.f64 x 1))

series137.0ms (2.9%)

Counts

3 → 9

Calls

3 calls:

84.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
28.0ms	(/.f64 x (+.f64 x 1))
25.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))

simplify75.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5369	2774

prune199.0ms (4.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	152	4	156
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	153	4	157

Merged error: 0.0b

Counts

157 → 4

Compiler

Compiled 3064 to 2161 computations (29.5% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
0.1b	(exp.f64 (log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))))
2.1b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
2.8b	(log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))

rewrite162.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Rules

227×	`*-un-lft-identity_binary64_1442`
116×	`times-frac_binary64_1448`
104×	`add-sqr-sqrt_binary64_1464`
48×	`distribute-lft-out--_binary64_1394`
39×	`distribute-lft-out_binary64_1393`
34×	`cancel-sign-sub-inv_binary64_1408`
32×	`log-prod_binary64_1528` `add-cube-cbrt_binary64_1477`
30×	`difference-of-squares_binary64_1411`
16×	`exp-sum_binary64_1488`
9×	`difference-of-sqr-1_binary64_1412`
7×	`associate-/r*_binary64_1386` `add-exp-log_binary64_1480`
6×	`add-cbrt-cube_binary64_1478` `add-log-exp_binary64_1481` `pow1_binary64_1503` `log-div_binary64_1529`
5×	`flip3--_binary64_1446` `flip--_binary64_1417`
4×	`associate-/r/_binary64_1388` `associate-/l*_binary64_1387` `exp-prod_binary64_1494`
3×	`frac-sub_binary64_1451` `exp-diff_binary64_1490`
2×	`associate-/l/_binary64_1389` `div-inv_binary64_1439` `log-pow_binary64_1531`
1×	`cbrt-undiv_binary64_1476` `sub-neg_binary64_1435` `clear-num_binary64_1441` `rem-exp-log_binary64_1482` `rem-log-exp_binary64_1483` `frac-2neg_binary64_1453` `diff-log_binary64_1534` `flip3-+_binary64_1445` `flip-+_binary64_1416` `div-exp_binary64_1493`

Counts

4 → 173

Calls

4 calls:

47.0ms	(exp.f64 (log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))))
43.0ms	(log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
42.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
9.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))

series327.0ms (6.9%)

Counts

4 → 12

Calls

4 calls:

114.0ms	(exp.f64 (log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))))
104.0ms	(log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
83.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
25.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))

simplify89.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5141	4213

prune229.0ms (4.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	183	2	185
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	184	5	189

Merged error: 0.0b

Counts

189 → 5

Compiler

Compiled 4136 to 3061 computations (26% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
0.1b	(pow.f64 E.f64 (log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))))
2.1b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
2.8b	(log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))

rewrite164.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Rules

228×	`*-un-lft-identity_binary64_1442`
116×	`times-frac_binary64_1448`
105×	`add-sqr-sqrt_binary64_1464`
48×	`distribute-lft-out--_binary64_1394`
39×	`distribute-lft-out_binary64_1393`
34×	`cancel-sign-sub-inv_binary64_1408`
33×	`add-cube-cbrt_binary64_1477`
32×	`log-prod_binary64_1528`
30×	`difference-of-squares_binary64_1411`
16×	`unpow-prod-up_binary64_1520`
9×	`difference-of-sqr-1_binary64_1412`
8×	`add-exp-log_binary64_1480`
7×	`associate-/r*_binary64_1386` `pow1_binary64_1503`
6×	`add-cbrt-cube_binary64_1478` `add-log-exp_binary64_1481` `log-div_binary64_1529`
5×	`flip3--_binary64_1446` `flip--_binary64_1417`
4×	`associate-/r/_binary64_1388` `associate-/l*_binary64_1387` `pow-unpow_binary64_1519`
3×	`frac-sub_binary64_1451` `pow-sub_binary64_1518` `unpow-prod-down_binary64_1521`
2×	`pow-exp_binary64_1510` `associate-/l/_binary64_1389` `div-inv_binary64_1439` `log-pow_binary64_1531`
1×	`cbrt-undiv_binary64_1476` `sub-neg_binary64_1435` `clear-num_binary64_1441` `rem-log-exp_binary64_1483` `e-exp-1_binary64_1487` `frac-2neg_binary64_1453` `diff-log_binary64_1534` `sqr-pow_binary64_1414` `flip3-+_binary64_1445` `flip-+_binary64_1416` `div-exp_binary64_1493` `pow-to-exp_binary64_1511` `pow-pow_binary64_1514`

Counts

4 → 180

Calls

4 calls:

47.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
42.0ms	(pow.f64 E.f64 (log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))))
40.0ms	(log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
12.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))

series309.0ms (6.5%)

Counts

4 → 12

Calls

4 calls:

120.0ms	(pow.f64 E.f64 (log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))))
99.0ms	(log.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
66.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
23.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))

simplify124.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4923	4743
1	4923	4743

prune248.0ms (5.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	192	5	197

Merged error: 0.0b

Counts

197 → 5

Compiler

Compiled 4585 to 3267 computations (28.7% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 x (-.f64 x 1))
0.0b	(.f64 (-.f64 x 1) (+.f64 1 (.f64 x (-.f64 x 1))))
2.1b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)) (.f64 (-.f64 x 1) (+.f64 1 (.f64 x (-.f64 x 1))))))
19.2b	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)) (.f64 (-.f64 x 1) (+.f64 1 (.f64 x (-.f64 x 1)))))

rewrite105.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`*-un-lft-identity_binary64_1442`
31×	`add-sqr-sqrt_binary64_1464`
28×	`cancel-sign-sub-inv_binary64_1408`
21×	`times-frac_binary64_1448`
18×	`distribute-lft-out_binary64_1393`
16×	`associate-/r/_binary64_1388`
14×	`add-cube-cbrt_binary64_1477`
13×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
12×	`cube-prod_binary64_1470` `frac-times_binary64_1452` `unpow-prod-down_binary64_1521`
11×	`flip3--_binary64_1446` `flip--_binary64_1417`
10×	`associate-r_binary64_1382` `associate-/l_binary64_1387` `associate-l*_binary64_1383` `flip3-+_binary64_1445` `flip-+_binary64_1416`
8×	`associate-*r/_binary64_1384` `pow1_binary64_1503`
6×	`add-log-exp_binary64_1481` `difference-of-squares_binary64_1411` `associate-*l/_binary64_1385`
5×	`distribute-lft-in_binary64_1391` `distribute-rgt-in_binary64_1392`
3×	`cube-mult_binary64_1472` `cbrt-unprod_binary64_1475` `sub-neg_binary64_1435` `prod-exp_binary64_1491` `distribute-lft-out--_binary64_1394` `sum-cubes_binary64_1443`
2×	`cbrt-undiv_binary64_1476` `associate-/l/_binary64_1389` `div-inv_binary64_1439` `pow-prod-down_binary64_1513` `*-commutative_binary64_1373` `difference-of-sqr-1_binary64_1412` `div-exp_binary64_1493` `unswap-sqr_binary64_1410`
1×	`associate-/r*_binary64_1386` `clear-num_binary64_1441` `frac-sub_binary64_1451` `frac-2neg_binary64_1453` `diff-log_binary64_1534`

Counts

4 → 146

Calls

4 calls:

45.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)) (.f64 (-.f64 x 1) (+.f64 1 (.f64 x (-.f64 x 1))))))
23.0ms	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)) (.f64 (-.f64 x 1) (+.f64 1 (.f64 x (-.f64 x 1)))))
11.0ms	(.f64 (-.f64 x 1) (+.f64 1 (.f64 x (-.f64 x 1))))
9.0ms	(*.f64 x (-.f64 x 1))

series229.0ms (4.8%)

Counts

4 → 12

Calls

4 calls:

104.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)) (.f64 (-.f64 x 1) (+.f64 1 (.f64 x (-.f64 x 1))))))
49.0ms	(*.f64 x (-.f64 x 1))
46.0ms	(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)) (.f64 (-.f64 x 1) (+.f64 1 (.f64 x (-.f64 x 1)))))
29.0ms	(.f64 (-.f64 x 1) (+.f64 1 (.f64 x (-.f64 x 1))))

simplify84.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5424	4016

prune282.0ms (5.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	158	5	163

Merged error: 0.0b

Counts

163 → 5

Compiler

Compiled 4969 to 3698 computations (25.6% saved)

regimes185.0ms (3.9%)

Compiler: Compiled 1725 to 1340 computations (22.3% saved)

bsearch2.0ms (0.1%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	85	71
1	85	71

end0.0ms (0%)

sample1.4s (29.6%)

Algorithm

1×

intervals

Results

239.0ms	2006×	body	1024	valid
142.0ms	4238×	body	128	valid
94.0ms	993×	body	512	valid
36.0ms	239×	body	2048	valid
32.0ms	524×	body	256	valid

Compiler

Compiled 859 to 667 computations (22.4% saved)

Details

analyze4.0ms (0.1%)

sample27.0ms (0.6%)

simplify232.0ms (4.9%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite77.0ms (1.6%)

series137.0ms (2.9%)

simplify75.0ms (1.6%)

prune199.0ms (4.2%)

localize9.0ms (0.2%)

rewrite162.0ms (3.4%)

series327.0ms (6.9%)

simplify89.0ms (1.9%)

prune229.0ms (4.8%)

localize10.0ms (0.2%)

rewrite164.0ms (3.5%)

series309.0ms (6.5%)

simplify124.0ms (2.6%)

prune248.0ms (5.2%)

localize14.0ms (0.3%)

rewrite105.0ms (2.2%)

series229.0ms (4.8%)

simplify84.0ms (1.8%)

prune282.0ms (5.9%)

regimes185.0ms (3.9%)

bsearch2.0ms (0.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.4s (29.6%)

Profiling