Details

analyze442.0ms (11.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	10	11
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	62.5%	12.5%	4
25%	56.2%	18.8%	5
28.1%	50%	21.9%	6
29.7%	46.9%	23.5%	7
30.5%	45.3%	24.3%	8
30.8%	44.9%	24.3%	9
31.2%	44.5%	24.3%	10
31.3%	44.4%	24.3%	11
31.4%	44.3%	24.3%	12
31.4%	44.2%	24.3%	13
31.5%	44.2%	24.3%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample30.0ms (0.8%)

Algorithm

1×

intervals

Results

12.0ms	80×	body	1024	valid
3.0ms	38×	body	512	valid
3.0ms	109×	body	128	valid
2.0ms	12×	body	2048	valid
1.0ms	17×	body	256	valid

Compiler

Compiled 15 to 12 computations (20% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	11
1	10	11

prune2.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

Error

40.1b

Counts

2 → 1

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b	(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
4.6b	(-.f64 (exp.f64 x) 1)

rewrite85.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

40.1b

Rules

35×	`add-sqr-sqrt_binary64_1464`
30×	`*-un-lft-identity_binary64_1442`
21×	`times-frac_binary64_1448`
15×	`add-cube-cbrt_binary64_1477`
10×	`difference-of-squares_binary64_1411`
7×	`associate-/r*_binary64_1386`
5×	`difference-of-sqr-1_binary64_1412` `distribute-lft-out--_binary64_1394`
4×	`add-log-exp_binary64_1481` `add-cbrt-cube_binary64_1478`
3×	`add-exp-log_binary64_1480` `cancel-sign-sub-inv_binary64_1408` `associate-/l*_binary64_1387`
2×	`pow1_binary64_1503` `flip3--_binary64_1446` `flip--_binary64_1417` `associate-/r/_binary64_1388`
1×	`diff-log_binary64_1534` `sub-neg_binary64_1435` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439`

Counts

2 → 63

Calls

2 calls:

8.0ms	(-.f64 (exp.f64 x) 1)
7.0ms	(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))

Compiler

Compiled 977 to 489 computations (49.9% saved)

series80.0ms (2.1%)

Error

0.2b

Counts

2 → 11

Calls

2 calls:

46.0ms	(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
18.0ms	(-.f64 (exp.f64 x) 1)

Compiler

Compiled 237 to 172 computations (27.4% saved)

simplify69.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5504	1173

prune61.0ms (1.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	3	75

Error

0.0b

Counts

75 → 3

Compiler

Compiled 983 to 486 computations (50.6% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (+.f64 1/2 (/.f64 1 x)) (*.f64 x 1/12))
0.3b	(*.f64 x 1/12)

rewrite47.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`add-log-exp_binary64_1481`
6×	`add-sqr-sqrt_binary64_1464`
4×	`pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
3×	`associate-l_binary64_1383` `associate-r_binary64_1382` `sum-log_binary64_1533`
1×	`pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410` `*-commutative_binary64_1373` `flip3-+_binary64_1445` `flip-+_binary64_1416` `associate-+l+_binary64_1375` `+-commutative_binary64_1372`

Counts

2 → 31

Calls

2 calls:

9.0ms	(+.f64 (+.f64 1/2 (/.f64 1 x)) (*.f64 x 1/12))
4.0ms	(*.f64 x 1/12)

Compiler

Compiled 486 to 389 computations (20% saved)

series70.0ms (1.9%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

47.0ms	(+.f64 (+.f64 1/2 (/.f64 1 x)) (*.f64 x 1/12))
18.0ms	(*.f64 x 1/12)

Compiler

Compiled 210 to 181 computations (13.8% saved)

simplify65.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4926	453
1	4926	453

prune37.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	41	5	46

Error

Counts

46 → 5

Compiler

Compiled 564 to 452 computations (19.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
4.6b	(-.f64 1 (exp.f64 (neg.f64 x)))

rewrite69.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

29×	`add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
18×	`times-frac_binary64_1448`
14×	`add-cube-cbrt_binary64_1477`
10×	`difference-of-squares_binary64_1411`
6×	`add-exp-log_binary64_1480` `associate-/r*_binary64_1386`
5×	`distribute-lft-out--_binary64_1394`
4×	`add-log-exp_binary64_1481` `add-cbrt-cube_binary64_1478`
3×	`pow1_binary64_1503` `cancel-sign-sub-inv_binary64_1408` `associate-/l*_binary64_1387`
2×	`flip3--_binary64_1446` `flip--_binary64_1417` `div-exp_binary64_1493` `associate-/r/_binary64_1388`
1×	`diff-log_binary64_1534` `sub-neg_binary64_1435` `inv-pow_binary64_1527` `pow-flip_binary64_1516` `1-exp_binary64_1486` `rec-exp_binary64_1492` `cbrt-undiv_binary64_1476` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439`

Counts

2 → 62

Calls

2 calls:

7.0ms	(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
5.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))

Compiler

Compiled 947 to 597 computations (37% saved)

series68.0ms (1.8%)

Error

Counts

2 → 11

Calls

2 calls:

41.0ms	(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
20.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))

Compiler

Compiled 235 to 207 computations (11.9% saved)

simplify64.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5065	1096

prune53.0ms (1.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	73	5	78

Error

Counts

78 → 5

Compiler

Compiled 941 to 608 computations (35.4% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (+.f64 (/.f64 1 x) 1/2) (+.f64 (/.f64 1 x) 1/2))
0.3b	(*.f64 1/12 x)
0.3b	(*.f64 x 1/144)
32.4b	(/.f64 (-.f64 (.f64 (+.f64 (/.f64 1 x) 1/2) (+.f64 (/.f64 1 x) 1/2)) (.f64 x (.f64 x 1/144))) (-.f64 (+.f64 (/.f64 1 x) 1/2) (.f64 1/12 x)))

rewrite297.0ms (7.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

48×	`*-un-lft-identity_binary64_1442`
26×	`add-sqr-sqrt_binary64_1464`
20×	`add-cube-cbrt_binary64_1477`
16×	`distribute-lft-out_binary64_1393`
15×	`pow1_binary64_1503`
12×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
11×	`associate-l_binary64_1383` `associate-r_binary64_1382` `swap-sqr_binary64_1409`
9×	`times-frac_binary64_1448` `div-inv_binary64_1439`
6×	`flip3-+_binary64_1445` `flip-+_binary64_1416`
4×	`add-log-exp_binary64_1481` `frac-times_binary64_1452`
3×	`associate-/l_binary64_1387` `associate-/r_binary64_1386` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410` `*-commutative_binary64_1373`
2×	`flip3--_binary64_1446` `associate-/l/_binary64_1389` `flip--_binary64_1417` `associate-/r/_binary64_1388` `associate-l/_binary64_1385` `associate-r/_binary64_1384`
1×	`div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `frac-2neg_binary64_1453` `div-sub_binary64_1447` `clear-num_binary64_1441` `pow2_binary64_1523` `pow-prod-up_binary64_1512` `pow-plus_binary64_1505` `pow-sqr_binary64_1415` `distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391`

Counts

4 → 115

Calls

4 calls:

31.0ms	(/.f64 (-.f64 (.f64 (+.f64 (/.f64 1 x) 1/2) (+.f64 (/.f64 1 x) 1/2)) (.f64 x (.f64 x 1/144))) (-.f64 (+.f64 (/.f64 1 x) 1/2) (.f64 1/12 x)))
19.0ms	(*.f64 (+.f64 (/.f64 1 x) 1/2) (+.f64 (/.f64 1 x) 1/2))
4.0ms	(*.f64 x 1/144)
4.0ms	(*.f64 1/12 x)

Compiler

Compiled 4505 to 3576 computations (20.6% saved)

series221.0ms (5.8%)

Error

Counts

4 → 24

Calls

4 calls:

112.0ms	(/.f64 (-.f64 (.f64 (+.f64 (/.f64 1 x) 1/2) (+.f64 (/.f64 1 x) 1/2)) (.f64 x (.f64 x 1/144))) (-.f64 (+.f64 (/.f64 1 x) 1/2) (.f64 1/12 x)))
45.0ms	(*.f64 (+.f64 (/.f64 1 x) 1/2) (+.f64 (/.f64 1 x) 1/2))
21.0ms	(*.f64 x 1/144)
21.0ms	(*.f64 1/12 x)

Compiler

Compiled 1102 to 889 computations (19.3% saved)

simplify56.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5613	2734

prune246.0ms (6.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

Counts

144 → 5

Compiler

Compiled 4298 to 3386 computations (21.2% saved)

regimes184.0ms (4.8%)

Accuracy

Total 1.1b remaining (98.5%)

Threshold costs 0b (0%)

Compiler

Compiled 2043 to 1462 computations (28.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	21
1	16	21

end0.0ms (0%)

sample1.5s (39.7%)

Algorithm

1×

intervals

Results

397.0ms	2640×	body	1024	valid
114.0ms	1350×	body	512	valid
79.0ms	3078×	body	128	valid
47.0ms	251×	body	2048	valid
36.0ms	681×	body	256	valid
0.0ms	2×	body	2048	invalid

Compiler

Compiled 585 to 429 computations (26.7% saved)

Details

analyze442.0ms (11.7%)

sample30.0ms (0.8%)

simplify7.0ms (0.2%)

prune2.0ms (0.1%)

localize4.0ms (0.1%)

rewrite85.0ms (2.2%)

series80.0ms (2.1%)

simplify69.0ms (1.8%)

prune61.0ms (1.6%)

localize6.0ms (0.2%)

rewrite47.0ms (1.2%)

series70.0ms (1.9%)

simplify65.0ms (1.7%)

prune37.0ms (1%)

localize5.0ms (0.1%)

rewrite69.0ms (1.8%)

series68.0ms (1.8%)

simplify64.0ms (1.7%)

prune53.0ms (1.4%)

localize14.0ms (0.4%)

rewrite297.0ms (7.8%)

series221.0ms (5.8%)

simplify56.0ms (1.5%)

prune246.0ms (6.5%)

regimes184.0ms (4.8%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.5s (39.7%)

Profiling