Details

analyze172.0ms (2.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	150	14
1	150	14
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
87.4%	12.5%	0.1%	6
87.4%	12.5%	0.1%	7
93.7%	6.2%	0.1%	8
93.7%	6.2%	0.1%	9
96.8%	3.1%	0.1%	10
96.8%	3.1%	0.1%	11
98.3%	1.6%	0.1%	12
98.3%	1.6%	0.1%	13
99.1%	0.8%	0.1%	14

Compiler

Compiled 8 to 8 computations (0% saved)

sample68.0ms (1%)

Algorithm

1×

intervals

Results

5.0ms	234×	body	128	valid
1.0ms	8×	body	1024	valid
0.0ms	7×	body	512	valid
0.0ms	3×	body	2048	valid
0.0ms	4×	body	256	valid

Compiler

Compiled 2063 to 2577 computations (-24.9% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	98	7
1	98	7

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.1b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 x (*.f64 3/8 y))

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

3×	`add-log-exp_binary64_3527`
1×	`diff-log_binary64_3580` `pow1_binary64_3549` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `add-cube-cbrt_binary64_3523` `add-sqr-sqrt_binary64_3510` `flip3--_binary64_3492` `*-un-lft-identity_binary64_3488` `sub-neg_binary64_3481` `flip--_binary64_3463` `cancel-sign-sub-inv_binary64_3454`

Counts

1 → 12

Calls

1 calls:

3.0ms

(-.f64 x (*.f64 3/8 y))

Compiler

Compiled 143 to 100 computations (30.1% saved)

series92.0ms (1.3%)

Error

0.1b

Counts

1 → 12

Calls

1 calls:

86.0ms

(-.f64 x (*.f64 3/8 y))

Compiler

Compiled 114 to 104 computations (8.8% saved)

simplify82.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5770	201

prune20.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	4	25

Error

0.0b

Counts

25 → 4

Compiler

Compiled 214 to 148 computations (30.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 -3/8 y) x)) (cbrt.f64 (+.f64 (*.f64 -3/8 y) x)))
0.5b	(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
0.5b	(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
0.5b	(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))

rewrite189.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_3519`
23×	`add-sqr-sqrt_binary64_3510`
18×	`cbrt-div_binary64_3520`
15×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
11×	`pow1_binary64_3549`
9×	`pow1/3_binary64_3570` `flip3-+_binary64_3491` `flip-+_binary64_3462`
6×	`add-exp-log_binary64_3526` `swap-sqr_binary64_3455` `associate-l_binary64_3429` `associate-r_binary64_3428`
4×	`add-log-exp_binary64_3527` `add-cbrt-cube_binary64_3524` `frac-times_binary64_3498` `unswap-sqr_binary64_3456`
2×	`pow-prod-down_binary64_3559` `pow-prod-up_binary64_3558` `pow-sqr_binary64_3461` `associate-l/_binary64_3431` `associate-r/_binary64_3430`
1×	`pow2_binary64_3569` `pow-plus_binary64_3551` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `*-commutative_binary64_3419`

Counts

4 → 87

Calls

4 calls:

13.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 -3/8 y) x)) (cbrt.f64 (+.f64 (*.f64 -3/8 y) x)))
4.0ms	(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
4.0ms	(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
4.0ms	(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))

Compiler

Compiled 2660 to 1913 computations (28.1% saved)

series854.0ms (12.3%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

280.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 -3/8 y) x)) (cbrt.f64 (+.f64 (*.f64 -3/8 y) x)))
175.0ms	(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
164.0ms	(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
159.0ms	(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))

Compiler

Compiled 3817 to 3184 computations (16.6% saved)

simplify105.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4908	2424
1	4908	2424

prune203.0ms (2.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	133	6	139

Error

0.0b

Counts

139 → 6

Compiler

Compiled 3458 to 2430 computations (29.7% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
0.5b	(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
0.5b	(cbrt.f64 (cbrt.f64 (+.f64 x (*.f64 y -3/8))))
0.5b	(cbrt.f64 (cbrt.f64 (+.f64 x (*.f64 y -3/8))))

rewrite144.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

24×	`cbrt-prod_binary64_3519`
12×	`cbrt-div_binary64_3520`
10×	`add-cube-cbrt_binary64_3523` `add-sqr-sqrt_binary64_3510` `*-un-lft-identity_binary64_3488`
4×	`pow1/3_binary64_3570` `pow1_binary64_3549` `add-log-exp_binary64_3527` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `flip3-+_binary64_3491` `flip-+_binary64_3462`

Counts

4 → 58

Calls

4 calls:

3.0ms	(cbrt.f64 (cbrt.f64 (+.f64 x (*.f64 y -3/8))))
3.0ms	(cbrt.f64 (cbrt.f64 (+.f64 x (*.f64 y -3/8))))
2.0ms	(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
2.0ms	(cbrt.f64 (+.f64 x (*.f64 y -3/8)))

Compiler

Compiled 2336 to 1751 computations (25% saved)

series724.0ms (10.5%)

Error

0.0b

Counts

4 → 40

Calls

4 calls:

179.0ms	(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
168.0ms	(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
149.0ms	(cbrt.f64 (cbrt.f64 (+.f64 x (*.f64 y -3/8))))
144.0ms	(cbrt.f64 (cbrt.f64 (+.f64 x (*.f64 y -3/8))))

Compiler

Compiled 4316 to 3538 computations (18% saved)

simplify63.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4927	1552
1	4927	1552

prune224.0ms (3.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	97	7	104

Error

0.0b

Counts

104 → 7

Compiler

Compiled 3624 to 2707 computations (25.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 y 3/8))
0.1b	(.f64 y (.f64 y 9/64))
4.6b	(-.f64 (.f64 x x) (.f64 y (*.f64 y 9/64)))
29.7b	(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 9/64))) (+.f64 x (.f64 y 3/8)))

rewrite117.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-cube-cbrt_binary64_3523` `add-sqr-sqrt_binary64_3510` `*-un-lft-identity_binary64_3488`
11×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524`
9×	`pow1_binary64_3549` `times-frac_binary64_3494`
8×	`add-log-exp_binary64_3527`
3×	`associate-/l_binary64_3433` `associate-/r_binary64_3432` `pow-prod-down_binary64_3559` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `associate-l_binary64_3429`
2×	`flip3--_binary64_3492` `associate-/l/_binary64_3435` `flip--_binary64_3463` `flip3-+_binary64_3491` `associate-/r/_binary64_3434` `flip-+_binary64_3462`
1×	`div-exp_binary64_3539` `cbrt-undiv_binary64_3522` `frac-2neg_binary64_3499` `div-sub_binary64_3493` `clear-num_binary64_3487` `div-inv_binary64_3485` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454` `associate-r_binary64_3428` `*-commutative_binary64_3419` `sum-log_binary64_3579` `+-commutative_binary64_3418`

Counts

4 → 73

Calls

4 calls:

7.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 9/64))) (+.f64 x (.f64 y 3/8)))
5.0ms	(.f64 y (.f64 y 9/64))
4.0ms	(-.f64 (.f64 x x) (.f64 y (*.f64 y 9/64)))
3.0ms	(+.f64 x (*.f64 y 3/8))

Compiler

Compiled 1871 to 1085 computations (42% saved)

series569.0ms (8.2%)

Error

0.0b

Counts

4 → 39

Calls

4 calls:

253.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 9/64))) (+.f64 x (.f64 y 3/8)))
161.0ms	(-.f64 (.f64 x x) (.f64 y (*.f64 y 9/64)))
85.0ms	(+.f64 x (*.f64 y 3/8))
44.0ms	(.f64 y (.f64 y 9/64))

Compiler

Compiled 1053 to 792 computations (24.8% saved)

simplify57.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4987	1604
1	4987	1604

prune112.0ms (1.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	112	7	119

Error

0.0b

Counts

119 → 7

Compiler

Compiled 1959 to 1098 computations (44% saved)

regimes286.0ms (4.1%)

Accuracy

Total 0.1b remaining (72.6%)

Threshold costs 0.1b (72.6%)

Compiler

Compiled 2852 to 2338 computations (18% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	7
1	35	7

end0.0ms (0%)

sample2.8s (40%)

Algorithm

1×

intervals

Results

164.0ms	7417×	body	128	valid
16.0ms	172×	body	2048	valid
14.0ms	188×	body	1024	valid
8.0ms	135×	body	512	valid
3.0ms	88×	body	256	valid

Compiler

Compiled 64719 to 80591 computations (-24.5% saved)

Details

analyze172.0ms (2.5%)

sample68.0ms (1%)

simplify10.0ms (0.1%)

prune3.0ms (0%)

localize4.0ms (0.1%)

rewrite14.0ms (0.2%)

series92.0ms (1.3%)

simplify82.0ms (1.2%)

prune20.0ms (0.3%)

localize10.0ms (0.1%)

rewrite189.0ms (2.7%)

series854.0ms (12.3%)

simplify105.0ms (1.5%)

prune203.0ms (2.9%)

localize18.0ms (0.3%)

rewrite144.0ms (2.1%)

series724.0ms (10.5%)

simplify63.0ms (0.9%)

prune224.0ms (3.2%)

localize9.0ms (0.1%)

rewrite117.0ms (1.7%)

series569.0ms (8.2%)

simplify57.0ms (0.8%)

prune112.0ms (1.6%)

regimes286.0ms (4.1%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.8s (40%)

Profiling