Details

analyze99.0ms (2.2%)

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)

sample20.0ms (0.5%)

Algorithm

1×

intervals

Results

7.0ms	72×	body	1024	valid
3.0ms	138×	body	128	valid
2.0ms	31×	body	512	valid
1.0ms	6×	body	2048	valid
0.0ms	9×	body	256	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

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

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

29.2b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite80.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

28.7b

Rules

18×	`cbrt-prod_binary64_791`
16×	`*-un-lft-identity_binary64_760`
15×	`add-sqr-sqrt_binary64_782`
7×	`add-cube-cbrt_binary64_795`
6×	`cancel-sign-sub-inv_binary64_726`
5×	`add-log-exp_binary64_799`
4×	`difference-of-squares_binary64_729`
3×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712`
2×	`distribute-lft-out_binary64_711` `pow1/3_binary64_842` `cbrt-div_binary64_792`
1×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `flip3-+_binary64_763` `flip-+_binary64_734`

Counts

3 → 49

Calls

3 calls:

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

Compiler

Compiled 676 to 421 computations (37.7% saved)

series215.0ms (4.7%)

Error

17.2b

Counts

3 → 20

Calls

3 calls:

79.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
75.0ms	(cbrt.f64 x)
38.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 744 to 645 computations (13.3% saved)

simplify77.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4820	951
1	4820	951

prune66.0ms (1.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	63	6	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	6	70

Error

7.9b

Counts

70 → 6

Compiler

Compiled 977 to 655 computations (33% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
21.7b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

rewrite72.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

7.9b

Rules

27×	`cbrt-prod_binary64_791`
10×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
6×	`add-log-exp_binary64_799`
4×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
3×	`pow1/3_binary64_842`
1×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `cancel-sign-sub-inv_binary64_726`

Counts

4 → 54

Calls

4 calls:

8.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
1.0ms	(cbrt.f64 (cbrt.f64 x))

Compiler

Compiled 1276 to 426 computations (66.6% saved)

series385.0ms (8.5%)

Error

7.9b

Counts

4 → 17

Calls

4 calls:

99.0ms	(cbrt.f64 (cbrt.f64 x))
95.0ms	(cbrt.f64 (cbrt.f64 x))
87.0ms	(cbrt.f64 (cbrt.f64 x))
86.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

Compiler

Compiled 838 to 643 computations (23.3% saved)

simplify63.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4603	823
1	4603	823

prune70.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	70	7	77

Error

7.9b

Counts

77 → 7

Compiler

Compiled 1425 to 692 computations (51.4% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
21.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x))))) (cbrt.f64 (cbrt.f64 x))))

rewrite92.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

7.9b

Rules

27×	`cbrt-prod_binary64_791`
10×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
6×	`add-log-exp_binary64_799`
4×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
3×	`pow1/3_binary64_842`
1×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `cancel-sign-sub-inv_binary64_726`

Counts

4 → 54

Calls

4 calls:

11.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x))))) (cbrt.f64 (cbrt.f64 x))))
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))

Compiler

Compiled 1980 to 489 computations (75.3% saved)

series403.0ms (8.9%)

Error

7.9b

Counts

4 → 17

Calls

4 calls:

101.0ms	(cbrt.f64 (cbrt.f64 x))
99.0ms	(cbrt.f64 (cbrt.f64 x))
92.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x))))) (cbrt.f64 (cbrt.f64 x))))
92.0ms	(cbrt.f64 (cbrt.f64 x))

Compiler

Compiled 1135 to 727 computations (35.9% saved)

simplify82.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5052	799

prune81.0ms (1.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	71	7	78

Error

7.9b

Counts

78 → 7

Compiler

Compiled 1969 to 770 computations (60.9% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite134.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

7.9b

Rules

28×	`cbrt-prod_binary64_791`
15×	`*-un-lft-identity_binary64_760`
11×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
8×	`cbrt-div_binary64_792`
6×	`add-log-exp_binary64_799` `cancel-sign-sub-inv_binary64_726`
4×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
3×	`pow1/3_binary64_842`
2×	`flip3-+_binary64_763` `flip-+_binary64_734` `distribute-lft-out_binary64_711`
1×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735`

Counts

4 → 62

Calls

4 calls:

23.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))
4.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))
4.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1810 to 1371 computations (24.3% saved)

series290.0ms (6.4%)

Error

7.9b

Counts

4 → 27

Calls

4 calls:

87.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))
77.0ms	(cbrt.f64 x)
47.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))
46.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))

Compiler

Compiled 1567 to 1333 computations (14.9% saved)

simplify71.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4761	1249
1	4761	1249

prune115.0ms (2.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	89	7	96

Error

7.9b

Counts

96 → 7

Compiler

Compiled 2060 to 1568 computations (23.9% saved)

regimes262.0ms (5.8%)

Accuracy

Total 0.4b remaining (4.5%)

Threshold costs 0.4b (4.5%)

Compiler

Compiled 2392 to 1743 computations (27.1% saved)

bsearch46.0ms (1%)

Steps

Iters	Range		Point
10	6.29583377212483e-08	20604.435697253615	3.839761141078324e-06
10	-29881740.516216006	-1.8618048224536113e-05	-692.6756517869045

Compiler

Compiled 1 to 1 computations (0% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	146	125
1	146	125

end0.0ms (0%)

sample1.8s (38.6%)

Algorithm

1×

intervals

Results

187.0ms	1992×	body	1024	valid
108.0ms	4246×	body	128	valid
72.0ms	1026×	body	512	valid
27.0ms	532×	body	256	valid
24.0ms	204×	body	2048	valid

Compiler

Compiled 1222 to 891 computations (27.1% saved)

Details

analyze99.0ms (2.2%)

sample20.0ms (0.5%)

simplify10.0ms (0.2%)

prune2.0ms (0.1%)

localize6.0ms (0.1%)

rewrite80.0ms (1.8%)

series215.0ms (4.7%)

simplify77.0ms (1.7%)

prune66.0ms (1.4%)

localize10.0ms (0.2%)

rewrite72.0ms (1.6%)

series385.0ms (8.5%)

simplify63.0ms (1.4%)

prune70.0ms (1.6%)

localize15.0ms (0.3%)

rewrite92.0ms (2%)

series403.0ms (8.9%)

simplify82.0ms (1.8%)

prune81.0ms (1.8%)

localize10.0ms (0.2%)

rewrite134.0ms (3%)

series290.0ms (6.4%)

simplify71.0ms (1.6%)

prune115.0ms (2.5%)

regimes262.0ms (5.8%)

bsearch46.0ms (1%)

simplify7.0ms (0.2%)

end0.0ms (0%)

sample1.8s (38.6%)

Profiling