Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample19.0ms (0.5%)

Algorithm

1×

intervals

Results

7.0ms	74×	body	1024	valid
4.0ms	139×	body	128	valid
2.0ms	24×	body	512	valid
1.0ms	16×	body	256	valid
0.0ms	3×	body	2048	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify171.0ms (4.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	71	11
1	71	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

Merged error: 29.9b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
3.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite21.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_798`
16×	`*-un-lft-identity_binary64_767`
15×	`add-sqr-sqrt_binary64_789`
7×	`add-cube-cbrt_binary64_802`
6×	`cancel-sign-sub-inv_binary64_733`
5×	`add-log-exp_binary64_806`
4×	`difference-of-squares_binary64_736`
3×	`add-exp-log_binary64_805` `pow1_binary64_828` `distribute-lft-out--_binary64_719` `add-cbrt-cube_binary64_803`
2×	`pow1/3_binary64_849` `distribute-lft-out_binary64_718` `cbrt-div_binary64_799`
1×	`sub-neg_binary64_760` `flip-+_binary64_741` `diff-log_binary64_859` `flip3-+_binary64_770` `flip--_binary64_742` `flip3--_binary64_771`

Counts

3 → 49

Calls

3 calls:

14.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

series301.0ms (7.6%)

Counts

3 → 9

Calls

3 calls:

148.0ms	(cbrt.f64 x)
110.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
43.0ms	(cbrt.f64 (+.f64 x 1))

simplify72.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5137	758

prune142.0ms (3.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	53	5	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	53	6	59

Merged error: 0.3b

Counts

59 → 6

Compiler

Compiled 1841 to 1403 computations (23.8% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
2.6b	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
3.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite33.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`cbrt-prod_binary64_798`
28×	`add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767`
12×	`cancel-sign-sub-inv_binary64_733` `add-cube-cbrt_binary64_802`
11×	`log-pow_binary64_856`
10×	`exp-prod_binary64_819` `log-prod_binary64_853`
8×	`difference-of-squares_binary64_736`
7×	`exp-sum_binary64_813`
6×	`add-log-exp_binary64_806` `distribute-lft-out--_binary64_719`
5×	`pow1_binary64_828`
4×	`add-exp-log_binary64_805` `add-cbrt-cube_binary64_803`
3×	`distribute-lft-out_binary64_718`
2×	`pow1/3_binary64_849` `sub-neg_binary64_760` `cbrt-div_binary64_799`
1×	`log-div_binary64_854` `exp-diff_binary64_815` `flip-+_binary64_741` `diff-log_binary64_859` `rem-log-exp_binary64_808` `flip3-+_binary64_770` `flip--_binary64_742` `flip3--_binary64_771`

Counts

4 → 79

Calls

4 calls:

12.0ms	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
10.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

series473.0ms (11.9%)

Counts

4 → 12

Calls

4 calls:

187.0ms	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
141.0ms	(cbrt.f64 x)
104.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
41.0ms	(cbrt.f64 (+.f64 x 1))

simplify65.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4856	1279
1	4856	1279

prune91.0ms (2.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	90	7	97

Merged error: 0.3b

Counts

97 → 7

Compiler

Compiled 1501 to 1039 computations (30.8% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

2.7b	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
2.7b	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
3.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
3.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite65.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-sqr-sqrt_binary64_789`
46×	`*-un-lft-identity_binary64_767`
44×	`cbrt-prod_binary64_798`
26×	`log-pow_binary64_856` `log-prod_binary64_853`
24×	`cancel-sign-sub-inv_binary64_733`
22×	`sqrt-pow1_binary64_785`
20×	`exp-prod_binary64_819` `sqrt-prod_binary64_783`
18×	`add-cube-cbrt_binary64_802`
16×	`difference-of-squares_binary64_736`
14×	`exp-sum_binary64_813`
12×	`distribute-lft-out--_binary64_719`
8×	`pow1_binary64_828` `add-log-exp_binary64_806`
6×	`add-exp-log_binary64_805`
4×	`distribute-lft-out_binary64_718` `sub-neg_binary64_760` `add-cbrt-cube_binary64_803`
2×	`log-div_binary64_854` `exp-diff_binary64_815` `diff-log_binary64_859` `pow1/2_binary64_847` `rem-log-exp_binary64_808` `flip--_binary64_742` `flip3--_binary64_771` `sqrt-div_binary64_784`

Counts

4 → 118

Calls

4 calls:

16.0ms	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
14.0ms	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
10.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
10.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series681.0ms (17.2%)

Counts

4 → 12

Calls

4 calls:

243.0ms	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
237.0ms	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
101.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
100.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

simplify95.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4861	2494
1	4861	2494

prune226.0ms (5.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	129	8	137

Merged error: 0.3b

Counts

137 → 8

Compiler

Compiled 3970 to 2836 computations (28.6% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x -1))
0.6b	(cbrt.f64 x)
15.6b	(-.f64 (/.f64 (cbrt.f64 (+.f64 -1 (*.f64 x x))) (cbrt.f64 (+.f64 x -1))) (cbrt.f64 x))
16.1b	(cbrt.f64 (+.f64 -1 (*.f64 x x)))

rewrite50.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_789`
27×	`cbrt-prod_binary64_798`
13×	`*-un-lft-identity_binary64_767`
10×	`difference-of-squares_binary64_736`
9×	`add-cube-cbrt_binary64_802`
8×	`times-frac_binary64_773`
6×	`add-log-exp_binary64_806` `cancel-sign-sub-inv_binary64_733`
4×	`add-exp-log_binary64_805` `pow1_binary64_828` `cbrt-div_binary64_799` `add-cbrt-cube_binary64_803`
3×	`pow1/3_binary64_849`
2×	`flip-+_binary64_741` `flip3-+_binary64_770`
1×	`distribute-lft-out_binary64_718` `sub-neg_binary64_760` `difference-of-sqr--1_binary64_738` `diff-log_binary64_859` `distribute-lft-out--_binary64_719` `flip--_binary64_742` `flip3--_binary64_771`

Counts

4 → 67

Calls

4 calls:

35.0ms	(-.f64 (/.f64 (cbrt.f64 (+.f64 -1 (*.f64 x x))) (cbrt.f64 (+.f64 x -1))) (cbrt.f64 x))
4.0ms	(cbrt.f64 (+.f64 x -1))
3.0ms	(cbrt.f64 (+.f64 -1 (*.f64 x x)))
1.0ms	(cbrt.f64 x)

series430.0ms (10.9%)

Counts

4 → 12

Calls

4 calls:

151.0ms	(cbrt.f64 x)
137.0ms	(-.f64 (/.f64 (cbrt.f64 (+.f64 -1 (*.f64 x x))) (cbrt.f64 (+.f64 x -1))) (cbrt.f64 x))
91.0ms	(cbrt.f64 (+.f64 -1 (*.f64 x x)))
51.0ms	(cbrt.f64 (+.f64 x -1))

simplify59.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4984	1737
1	4984	1737

prune111.0ms (2.8%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	79	8	87

Merged error: 0.3b

Counts

87 → 8

Compiler

Compiled 2111 to 1388 computations (34.2% saved)

regimes65.0ms (1.6%)

Compiler: Compiled 397 to 324 computations (18.4% saved)

bsearch2.0ms (0.1%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	52
1	35	52

end0.0ms (0%)

sample748.0ms (18.9%)

Algorithm

1×

intervals

Results

192.0ms	2017×	body	1024	valid
116.0ms	4342×	body	128	valid
70.0ms	941×	body	512	valid
27.0ms	221×	body	2048	valid
25.0ms	479×	body	256	valid

Compiler

Compiled 188 to 148 computations (21.3% saved)

Details

analyze1.0ms (0%)

sample19.0ms (0.5%)

simplify171.0ms (4.3%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite21.0ms (0.5%)

series301.0ms (7.6%)

simplify72.0ms (1.8%)

prune142.0ms (3.6%)

localize9.0ms (0.2%)

rewrite33.0ms (0.8%)

series473.0ms (11.9%)

simplify65.0ms (1.7%)

prune91.0ms (2.3%)

localize12.0ms (0.3%)

rewrite65.0ms (1.6%)

series681.0ms (17.2%)

simplify95.0ms (2.4%)

prune226.0ms (5.7%)

localize12.0ms (0.3%)

rewrite50.0ms (1.3%)

series430.0ms (10.9%)

simplify59.0ms (1.5%)

prune111.0ms (2.8%)

regimes65.0ms (1.6%)

bsearch2.0ms (0.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample748.0ms (18.9%)

Profiling