Details

analyze100.0ms (1.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	11
1	71	11
0	1	1
1	1	1

Search

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

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample27.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	60×	body	1024	valid
5.0ms	142×	body	128	valid
4.0ms	38×	body	512	valid
1.0ms	11×	body	256	valid
1.0ms	5×	body	2048	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	71	11
1	71	11

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

27.5b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite93.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

27.0b

Rules

18×	`cbrt-prod_binary64_450`
16×	`*-un-lft-identity_binary64_419`
15×	`add-sqr-sqrt_binary64_441`
7×	`add-cube-cbrt_binary64_454`
6×	`cancel-sign-sub-inv_binary64_385`
5×	`add-log-exp_binary64_458`
4×	`difference-of-squares_binary64_388`
3×	`pow1_binary64_480` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `distribute-lft-out--_binary64_371`
2×	`distribute-lft-out_binary64_370` `pow1/3_binary64_501` `cbrt-div_binary64_451`
1×	`diff-log_binary64_511` `flip3--_binary64_423` `sub-neg_binary64_412` `flip--_binary64_394` `flip3-+_binary64_422` `flip-+_binary64_393`

Counts

3 → 49

Calls

3 calls:

17.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
5.0ms	(cbrt.f64 (+.f64 x 1))
2.0ms	(cbrt.f64 x)

Compiler

Compiled 676 to 421 computations (37.7% saved)

series297.0ms (4.7%)

Error

15.2b

Counts

3 → 21

Calls

3 calls:

115.0ms	(cbrt.f64 x)
98.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
48.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 765 to 662 computations (13.5% saved)

simplify96.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4867	957
1	4867	957

prune84.0ms (1.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	63	7	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	7	71

Error

7.5b

Counts

71 → 7

Compiler

Compiled 976 to 657 computations (32.7% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 1 x))
0.6b	(cbrt.f64 x)
0.7b	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))))
0.8b	(-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))

rewrite120.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

7.5b

Rules

29×	`cbrt-prod_binary64_450`
28×	`add-sqr-sqrt_binary64_441` `*-un-lft-identity_binary64_419`
12×	`add-cube-cbrt_binary64_454` `cancel-sign-sub-inv_binary64_385`
11×	`log-pow_binary64_508`
10×	`exp-prod_binary64_471` `log-prod_binary64_505`
8×	`difference-of-squares_binary64_388`
7×	`exp-sum_binary64_465`
6×	`add-log-exp_binary64_458` `distribute-lft-out--_binary64_371`
5×	`pow1_binary64_480`
4×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`
3×	`distribute-lft-out_binary64_370`
2×	`sub-neg_binary64_412` `pow1/3_binary64_501` `cbrt-div_binary64_451`
1×	`diff-log_binary64_511` `flip3--_binary64_423` `flip--_binary64_394` `exp-diff_binary64_467` `log-div_binary64_506` `rem-log-exp_binary64_460` `flip3-+_binary64_422` `flip-+_binary64_393`

Counts

4 → 79

Calls

4 calls:

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

Compiler

Compiled 1287 to 855 computations (33.6% saved)

series397.0ms (6.2%)

Error

7.5b

Counts

4 → 30

Calls

4 calls:

129.0ms	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))))
97.0ms	(-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))
82.0ms	(cbrt.f64 x)
47.0ms	(cbrt.f64 (+.f64 1 x))

Compiler

Compiled 1245 to 1104 computations (11.3% saved)

simplify112.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4963	1610
1	4963	1610

prune111.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	109	7	116

Error

7.5b

Counts

116 → 7

Compiler

Compiled 1653 to 1142 computations (30.9% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite187.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

7.5b

Rules

24×	`cbrt-div_binary64_451`
18×	`cbrt-prod_binary64_450`
11×	`*-un-lft-identity_binary64_419`
9×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
7×	`flip3-+_binary64_422` `flip-+_binary64_393`
6×	`add-log-exp_binary64_458` `cancel-sign-sub-inv_binary64_385`
4×	`pow1_binary64_480` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `frac-times_binary64_429`
3×	`pow1/3_binary64_501`
2×	`associate-l/_binary64_362` `associate-r/_binary64_361`
1×	`diff-log_binary64_511` `flip3--_binary64_423` `sub-neg_binary64_412` `flip--_binary64_394` `distribute-lft-out_binary64_370`

Counts

4 → 62

Calls

4 calls:

18.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))
9.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))))
4.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1846 to 1373 computations (25.6% saved)

series381.0ms (6%)

Error

7.5b

Counts

4 → 33

Calls

4 calls:

103.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))
83.0ms	(cbrt.f64 x)
78.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))))
57.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))

Compiler

Compiled 1686 to 1427 computations (15.4% saved)

simplify129.0ms (2%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	4880	1609
1	4880	1609

prune158.0ms (2.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	92	3	95
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	93	9	102

Error

7.5b

Counts

102 → 9

Compiler

Compiled 2319 to 1720 computations (25.8% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 2))
0.3b	(cbrt.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))))
0.6b	(cbrt.f64 x)
11.3b	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 2)) (cbrt.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x)))))) (cbrt.f64 x))

rewrite218.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

7.5b

Rules

53×	`cbrt-prod_binary64_450`
18×	`*-un-lft-identity_binary64_419`
14×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
10×	`unpow-prod-down_binary64_498`
6×	`add-log-exp_binary64_458` `cancel-sign-sub-inv_binary64_385` `cbrt-div_binary64_451`
4×	`pow1_binary64_480` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`
3×	`pow1/3_binary64_501`
2×	`distribute-lft-out_binary64_370`
1×	`diff-log_binary64_511` `flip3--_binary64_423` `sub-neg_binary64_412` `flip--_binary64_394` `flip3-+_binary64_422` `flip-+_binary64_393` `unpow2_binary64_484` `sqr-pow_binary64_391`

Counts

4 → 71

Calls

4 calls:

25.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 2)) (cbrt.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x)))))) (cbrt.f64 x))
8.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 2))
5.0ms	(cbrt.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))))
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2855 to 2286 computations (19.9% saved)

series407.0ms (6.4%)

Error

7.5b

Counts

4 → 33

Calls

4 calls:

101.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 2)) (cbrt.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x)))))) (cbrt.f64 x))
97.0ms	(cbrt.f64 x)
82.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 2))
70.0ms	(cbrt.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))))

Compiler

Compiled 2235 to 1900 computations (15% saved)

simplify120.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4841	2039
1	4841	2039

prune212.0ms (3.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	104	9	113

Error

7.5b

Counts

113 → 9

Compiler

Compiled 3419 to 2723 computations (20.4% saved)

regimes401.0ms (6.3%)

Accuracy

Total 0.5b remaining (5.3%)

Threshold costs 0.5b (5.3%)

Compiler

Compiled 3065 to 2463 computations (19.6% saved)

bsearch46.0ms (0.7%)

Steps

Iters	Range		Point
9	0.0077511590572641315	1404.0234713248096	0.06609706123779828
10	-470773766.41681796	-2.2743678054842526e-08	-1.0248621069677921

Compiler

Compiled 1 to 1 computations (0% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	123	106
1	123	106

end0.0ms (0%)

sample2.6s (40.7%)

Algorithm

1×

intervals

Results

250.0ms	1982×	body	1024	valid
142.0ms	4298×	body	128	valid
95.0ms	1019×	body	512	valid
36.0ms	220×	body	2048	valid
28.0ms	481×	body	256	valid

Compiler

Compiled 1548 to 1246 computations (19.5% saved)

Details

analyze100.0ms (1.6%)

sample27.0ms (0.4%)

simplify11.0ms (0.2%)

prune8.0ms (0.1%)

localize11.0ms (0.2%)

rewrite93.0ms (1.5%)

series297.0ms (4.7%)

simplify96.0ms (1.5%)

prune84.0ms (1.3%)

localize16.0ms (0.3%)

rewrite120.0ms (1.9%)

series397.0ms (6.2%)

simplify112.0ms (1.8%)

prune111.0ms (1.7%)

localize20.0ms (0.3%)

rewrite187.0ms (2.9%)

series381.0ms (6%)

simplify129.0ms (2%)

prune158.0ms (2.5%)

localize19.0ms (0.3%)

rewrite218.0ms (3.4%)

series407.0ms (6.4%)

simplify120.0ms (1.9%)

prune212.0ms (3.3%)

regimes401.0ms (6.3%)

bsearch46.0ms (0.7%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample2.6s (40.7%)

Profiling