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.4%)

Algorithm

1×

intervals

Results

5.0ms	55×	body	1024	valid
3.0ms	141×	body	128	valid
2.0ms	35×	body	512	valid
1.0ms	7×	body	2048	valid
1.0ms	18×	body	256	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify102.0ms (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%)

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.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.2b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
1.9b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite80.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

27.4b

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:

10.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)

series220.0ms (4.3%)

Error

14.7b

Counts

3 → 21

Calls

3 calls:

79.0ms	(cbrt.f64 x)
73.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
41.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 765 to 662 computations (13.5% saved)

simplify77.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4867	957
1	4867	957

prune67.0ms (1.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	6	71

Error

7.3b

Counts

71 → 6

Compiler

Compiled 983 to 660 computations (32.9% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))
0.3b	(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (cbrt.f64 (cbrt.f64 (+.f64 1 x))))
0.6b	(cbrt.f64 x)
20.4b	(-.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))

rewrite254.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Error

7.3b

Rules

87×	`cbrt-prod_binary64_450`
39×	`add-sqr-sqrt_binary64_441`
37×	`*-un-lft-identity_binary64_419`
28×	`cbrt-div_binary64_451`
21×	`add-cube-cbrt_binary64_454`
12×	`swap-sqr_binary64_386`
11×	`pow1_binary64_480`
10×	`associate-l_binary64_360` `associate-r_binary64_359`
9×	`unswap-sqr_binary64_387`
8×	`pow1/3_binary64_501`
7×	`flip3-+_binary64_422` `flip-+_binary64_393` `distribute-lft-out_binary64_370`
6×	`add-log-exp_binary64_458` `add-exp-log_binary64_457` `cancel-sign-sub-inv_binary64_385`
4×	`add-cbrt-cube_binary64_455` `frac-times_binary64_429`
2×	`pow-prod-down_binary64_490` `pow-prod-up_binary64_489` `pow-sqr_binary64_392` `associate-l/_binary64_362` `associate-r/_binary64_361`
1×	`diff-log_binary64_511` `flip3--_binary64_423` `sub-neg_binary64_412` `flip--_binary64_394` `pow2_binary64_500` `pow-plus_binary64_482` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350`

Counts

4 → 112

Calls

4 calls:

25.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))
15.0ms	(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (cbrt.f64 (cbrt.f64 (+.f64 1 x))))
4.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))
1.0ms	(cbrt.f64 x)

Compiler

Compiled 3389 to 2618 computations (22.8% saved)

series327.0ms (6.3%)

Error

7.3b

Counts

4 → 33

Calls

4 calls:

89.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))
74.0ms	(cbrt.f64 x)
70.0ms	(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (cbrt.f64 (cbrt.f64 (+.f64 1 x))))
50.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))

Compiler

Compiled 1714 to 1455 computations (15.1% saved)

simplify89.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4783	2701
1	4783	2701

prune213.0ms (4.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	145	6	151

Error

7.3b

Counts

151 → 6

Compiler

Compiled 3652 to 2803 computations (23.2% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite114.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

7.3b

Rules

60×	`cbrt-prod_binary64_450`
36×	`add-sqr-sqrt_binary64_441`
18×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
11×	`pow1_binary64_480`
9×	`unswap-sqr_binary64_387` `swap-sqr_binary64_386` `associate-l_binary64_360` `associate-r_binary64_359`
8×	`pow1/3_binary64_501`
6×	`add-log-exp_binary64_458` `add-exp-log_binary64_457`
4×	`add-cbrt-cube_binary64_455`
2×	`pow-prod-down_binary64_490` `pow-prod-up_binary64_489` `pow-sqr_binary64_392`
1×	`diff-log_binary64_511` `flip3--_binary64_423` `sub-neg_binary64_412` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_385` `pow2_binary64_500` `pow-plus_binary64_482` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350`

Counts

4 → 88

Calls

4 calls:

9.0ms	(*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))
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))))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2083 to 694 computations (66.7% saved)

series366.0ms (7.1%)

Error

7.3b

Counts

4 → 18

Calls

4 calls:

110.0ms	(*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))
84.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
77.0ms	(cbrt.f64 x)
76.0ms	(cbrt.f64 x)

Compiler

Compiled 847 to 675 computations (20.3% saved)

simplify51.0ms (1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4675	1329
1	4675	1329

prune101.0ms (2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	105	7	112

Error

7.3b

Counts

112 → 7

Compiler

Compiled 2082 to 984 computations (52.7% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
0.6b	(cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
0.9b	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) 4)
23.1b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) 4)) (cbrt.f64 (cbrt.f64 x))))

rewrite106.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

7.3b

Rules

24×	`cbrt-prod_binary64_450`
12×	`unpow-prod-down_binary64_498`
10×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441` `*-un-lft-identity_binary64_419`
6×	`add-log-exp_binary64_458`
5×	`pow1_binary64_480` `add-exp-log_binary64_457`
4×	`add-cbrt-cube_binary64_455`
3×	`pow-unpow_binary64_496` `pow1/3_binary64_501`
2×	`pow-pow_binary64_491`
1×	`diff-log_binary64_511` `flip3--_binary64_423` `sub-neg_binary64_412` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_385` `pow-to-exp_binary64_488` `pow-exp_binary64_487` `sqr-pow_binary64_391`

Counts

4 → 60

Calls

4 calls:

9.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) 4)) (cbrt.f64 (cbrt.f64 x))))
4.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) 4)
4.0ms	(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
2.0ms	(cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))

Compiler

Compiled 1974 to 766 computations (61.2% saved)

series489.0ms (9.5%)

Error

7.3b

Counts

4 → 18

Calls

4 calls:

145.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) 4)
127.0ms	(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
114.0ms	(cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
83.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) 4)) (cbrt.f64 (cbrt.f64 x))))

Compiler

Compiled 1012 to 795 computations (21.4% saved)

simplify59.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4961	1546
1	4961	1546

prune98.0ms (1.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	78	7	85

Error

7.3b

Counts

85 → 7

Compiler

Compiled 2084 to 1089 computations (47.7% saved)

regimes304.0ms (5.9%)

Accuracy

Total 0.5b remaining (5.5%)

Threshold costs 0.5b (5.5%)

Compiler

Compiled 2856 to 2053 computations (28.1% saved)

bsearch35.0ms (0.7%)

Steps

Iters	Range		Point
7	0.021651359695394497	0.6451078847705496	0.05695502117029202
11	-7476314247458.478	-1.4404262414554922e-07	-0.9964351555091795

Compiler

Compiled 1 to 1 computations (0% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	73	78
1	73	78

end0.0ms (0%)

sample1.9s (37.7%)

Algorithm

1×

intervals

Results

179.0ms	1949×	body	1024	valid
108.0ms	4300×	body	128	valid
72.0ms	995×	body	512	valid
25.0ms	210×	body	2048	valid
24.0ms	546×	body	256	valid

Compiler

Compiled 1455 to 1047 computations (28% saved)

Details

analyze1.0ms (0%)

sample19.0ms (0.4%)

simplify102.0ms (2%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite80.0ms (1.5%)

series220.0ms (4.3%)

simplify77.0ms (1.5%)

prune67.0ms (1.3%)

localize10.0ms (0.2%)

rewrite254.0ms (4.9%)

series327.0ms (6.3%)

simplify89.0ms (1.7%)

prune213.0ms (4.1%)

localize10.0ms (0.2%)

rewrite114.0ms (2.2%)

series366.0ms (7.1%)

simplify51.0ms (1%)

prune101.0ms (2%)

localize16.0ms (0.3%)

rewrite106.0ms (2.1%)

series489.0ms (9.5%)

simplify59.0ms (1.1%)

prune98.0ms (1.9%)

regimes304.0ms (5.9%)

bsearch35.0ms (0.7%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.9s (37.7%)

Profiling