Details

analyze507.0ms (3.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

Compiler

Compiled 38 to 24 computations (36.8% saved)

sample58.0ms (0.4%)

Algorithm

1×

intervals

Results

37.0ms	240×	body	256	valid
4.0ms	16×	body	128	valid
3.0ms	40×	body	128	nan

Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify438.0ms (3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (289.0ms)

Iter	Nodes	Cost
0	4834	48
1	4834	48

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

35.2b

Counts

2 → 2

Compiler

Compiled 99 to 59 computations (40.4% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.5b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
10.6b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite163.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

30.4b

Rules

14×	`add-sqr-sqrt_binary64_3510`
11×	`cbrt-prod_binary64_3519`
10×	`*-un-lft-identity_binary64_3488`
9×	`sqrt-prod_binary64_3504`
8×	`add-cube-cbrt_binary64_3523`
6×	`pow1_binary64_3549` `times-frac_binary64_3494`
4×	`add-log-exp_binary64_3527` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505` `difference-of-squares_binary64_3457`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `flip3--_binary64_3492` `flip--_binary64_3463` `rem-sqrt-square_binary64_3501` `pow1/3_binary64_3570` `cbrt-div_binary64_3520`
1×	`associate-*l/_binary64_3431` `distribute-lft-out--_binary64_3440` `div-inv_binary64_3485`

Counts

4 → 61

Calls

4 calls:

8.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
8.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2510 to 735 computations (70.7% saved)

series1.2s (8.4%)

Error

29.6b

Counts

4 → 36

Calls

4 calls:

614.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
415.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
70.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
66.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3766 to 2726 computations (27.6% saved)

simplify79.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5000	1986

prune208.0ms (1.4%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	79	18	97
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	81	18	99

Error

29.9b

Counts

99 → 18

Compiler

Compiled 4100 to 1547 computations (62.3% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.2b	(-.f64 (.f64 g g) (.f64 h h))
6.5b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite142.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

29.1b

Rules

14×	`add-sqr-sqrt_binary64_3510`
10×	`*-un-lft-identity_binary64_3488` `cbrt-prod_binary64_3519`
9×	`sqrt-prod_binary64_3504`
8×	`add-cube-cbrt_binary64_3523`
6×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `times-frac_binary64_3494`
5×	`difference-of-squares_binary64_3457`
4×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505`
3×	`flip3--_binary64_3492` `flip--_binary64_3463`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501`
1×	`pow1/3_binary64_3570` `cbrt-div_binary64_3520` `distribute-lft-out--_binary64_3440` `div-inv_binary64_3485` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

4 → 64

Calls

4 calls:

12.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
6.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2673 to 825 computations (69.1% saved)

series979.0ms (6.6%)

Error

28.4b

Counts

4 → 39

Calls

4 calls:

575.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
147.0ms	(-.f64 (.f64 g g) (.f64 h h))
102.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
93.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3729 to 2628 computations (29.5% saved)

simplify90.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4944	1833
1	4944	1833

prune199.0ms (1.3%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	96	7	103
Fresh	2	15	17
Picked	1	0	1
Done	0	0	0
Total	99	22	121

Error

28.6b

Counts

121 → 22

Compiler

Compiled 4547 to 1766 computations (61.2% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.2b	(-.f64 (.f64 g g) (.f64 h h))
10.6b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite124.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

28.6b

Rules

8×	`add-sqr-sqrt_binary64_3510` `sqrt-prod_binary64_3504`
6×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
4×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505`
3×	`flip3--_binary64_3492` `flip--_binary64_3463` `difference-of-squares_binary64_3457`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501`
1×	`pow1/3_binary64_3570` `associate-*l/_binary64_3431` `cbrt-div_binary64_3520` `cbrt-prod_binary64_3519` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

4 → 55

Calls

4 calls:

15.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
7.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
5.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2250 to 691 computations (69.3% saved)

series815.0ms (5.5%)

Error

28.6b

Counts

4 → 37

Calls

4 calls:

455.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
139.0ms	(-.f64 (.f64 g g) (.f64 h h))
94.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
63.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3385 to 2370 computations (30% saved)

simplify98.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5107	1318

prune203.0ms (1.4%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	89	3	92
Fresh	0	21	21
Picked	1	0	1
Done	0	0	0
Total	90	24	114

Error

28.6b

Counts

114 → 24

Compiler

Compiled 4084 to 1616 computations (60.4% saved)

localize34.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b	(-.f64 (.f64 g g) (.f64 h h))
10.6b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite116.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

28.6b

Rules

8×	`add-sqr-sqrt_binary64_3510` `sqrt-prod_binary64_3504`
6×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
4×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505`
3×	`flip3--_binary64_3492` `flip--_binary64_3463` `difference-of-squares_binary64_3457`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501`
1×	`pow1/3_binary64_3570` `associate-*l/_binary64_3431` `cbrt-div_binary64_3520` `cbrt-prod_binary64_3519` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

4 → 55

Calls

4 calls:

8.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2250 to 691 computations (69.3% saved)

series796.0ms (5.4%)

Error

28.6b

Counts

4 → 37

Calls

4 calls:

452.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
140.0ms	(-.f64 (.f64 g g) (.f64 h h))
74.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
67.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3385 to 2370 computations (30% saved)

simplify73.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5107	1318

prune127.0ms (0.9%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	90	2	92
Fresh	0	23	23
Picked	1	0	1
Done	0	0	0
Total	91	25	116

Error

28.6b

Counts

116 → 25

Compiler

Compiled 3173 to 1085 computations (65.8% saved)

regimes2.6s (17.4%)

Accuracy

Total 1.3b remaining (4.2%)

Threshold costs 0b (0%)

Compiler

Compiled 27486 to 17596 computations (36% saved)

bsearch110.0ms (0.7%)

Steps

Iters	Range		Point
9	1.911158306559279e-183	5.609501025967249e-176	3.1238534360467275e-176

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	72	86
1	72	86

end0.0ms (0%)

sample5.6s (37.5%)

Algorithm

1×

intervals

Results

1.5s	7545×	body	256	valid
126.0ms	1231×	body	128	nan
46.0ms	455×	body	128	valid

Compiler

Compiled 4005 to 2561 computations (36.1% saved)

Details

analyze507.0ms (3.4%)

sample58.0ms (0.4%)

simplify438.0ms (3%)

prune16.0ms (0.1%)

localize22.0ms (0.1%)

rewrite163.0ms (1.1%)

series1.2s (8.4%)

simplify79.0ms (0.5%)

prune208.0ms (1.4%)

localize21.0ms (0.1%)

rewrite142.0ms (1%)

series979.0ms (6.6%)

simplify90.0ms (0.6%)

prune199.0ms (1.3%)

localize18.0ms (0.1%)

rewrite124.0ms (0.8%)

series815.0ms (5.5%)

simplify98.0ms (0.7%)

prune203.0ms (1.4%)

localize34.0ms (0.2%)

rewrite116.0ms (0.8%)

series796.0ms (5.4%)

simplify73.0ms (0.5%)

prune127.0ms (0.9%)

regimes2.6s (17.4%)

bsearch110.0ms (0.7%)

simplify4.0ms (0%)

end0.0ms (0%)

sample5.6s (37.5%)

Profiling