Details

analyze2.6s (10.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5046	1591
0	9	9
1	9	9

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 30 to 24 computations (20% saved)

sample112.0ms (0.5%)

Algorithm

1×

intervals

Results

38.0ms	334×	body	128	invalid
24.0ms	256×	body	128	valid

Compiler

Compiled 59 to 56 computations (5.1% saved)

simplify712.0ms (3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (706.0ms)

Iter	Nodes	Cost
0	4635	43
1	4635	43

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

12.3b

Counts

2 → 1

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize45.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))
4.9b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.0b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
5.2b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

rewrite200.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

12.1b

Rules

16×	`add-sqr-sqrt_binary64_16468`
14×	`associate-*r/_binary64_16388`
11×	`sub-neg_binary64_16439` `cancel-sign-sub-inv_binary64_16412`
10×	`pow1_binary64_16507` `add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482` `add-cube-cbrt_binary64_16481` `*-un-lft-identity_binary64_16446` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395`
9×	`associate-l_binary64_16387` `associate-r_binary64_16386`
8×	`flip3--_binary64_16450` `flip--_binary64_16421`
6×	`add-log-exp_binary64_16485`
4×	`frac-sub_binary64_16455` `associate--l+_binary64_16383` `associate--r+_binary64_16382`
3×	`pow-prod-down_binary64_16517` `prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `unswap-sqr_binary64_16414` `*-commutative_binary64_16377`
1×	`diff-log_binary64_16538`

Counts

4 → 96

Calls

4 calls:

10.0ms	(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))
9.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
7.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

Compiler

Compiled 3947 to 495 computations (87.5% saved)

series2.3s (9.4%)

Error

1.6b

Counts

4 → 129

Calls

4 calls:

1.1s	(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))
372.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
338.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
325.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

Compiler

Compiled 9339 to 4788 computations (48.7% saved)

simplify100.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4986	4224
1	4986	4224

prune269.0ms (1.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	209	16	225
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	210	16	226

Error

1.5b

Counts

226 → 16

Compiler

Compiled 7676 to 875 computations (88.6% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.6b	(.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b))
2.9b	(.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b)))
4.9b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.0b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

rewrite193.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

1.5b

Rules

22×	`pow1_binary64_16507` `add-exp-log_binary64_16484`
19×	`add-sqr-sqrt_binary64_16468`
15×	`add-cbrt-cube_binary64_16482`
13×	`associate-r_binary64_16386`
11×	`pow-prod-down_binary64_16517` `prod-exp_binary64_16495` `add-cube-cbrt_binary64_16481` `cbrt-unprod_binary64_16479` `*-un-lft-identity_binary64_16446`
10×	`associate-l_binary64_16387`
6×	`associate-*r/_binary64_16388`
4×	`add-log-exp_binary64_16485` `unswap-sqr_binary64_16414` `sub-neg_binary64_16439` `distribute-rgt-in_binary64_16396` `cancel-sign-sub-inv_binary64_16412` `distribute-lft-in_binary64_16395` `flip3--_binary64_16450` `flip--_binary64_16421` `-commutative_binary64_16377` `associate-l/_binary64_16389` `cbrt-prod_binary64_16477`

Counts

4 → 96

Calls

4 calls:

21.0ms	(.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b)))
9.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b))
9.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

Compiler

Compiled 4356 to 512 computations (88.2% saved)

series1.9s (7.7%)

Error

1.5b

Counts

4 → 108

Calls

4 calls:

732.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b))
337.0ms	(.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b)))
329.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
313.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

Compiler

Compiled 9630 to 4819 computations (50% saved)

simplify83.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5844	2853

prune225.0ms (0.9%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	203	1	204
Fresh	1	14	15
Picked	0	1	1
Done	0	0	0
Total	204	16	220

Error

1.5b

Counts

220 → 16

Compiler

Compiled 8019 to 857 computations (89.3% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.0b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
6.5b	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))
6.5b	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))
6.5b	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))

rewrite141.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

1.5b

Rules

11×	`add-sqr-sqrt_binary64_16468`
9×	`add-cube-cbrt_binary64_16481` `cbrt-prod_binary64_16477` `*-un-lft-identity_binary64_16446`
6×	`pow1_binary64_16507` `add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482` `cbrt-div_binary64_16478`
4×	`add-log-exp_binary64_16485` `flip3--_binary64_16450` `flip--_binary64_16421`
3×	`pow1/3_binary64_16528` `associate-l_binary64_16387` `associate-r_binary64_16386`
2×	`sub-neg_binary64_16439` `distribute-rgt-in_binary64_16396` `cancel-sign-sub-inv_binary64_16412` `distribute-lft-in_binary64_16395` `associate-*r/_binary64_16388`
1×	`pow-prod-down_binary64_16517` `prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `unswap-sqr_binary64_16414` `*-commutative_binary64_16377`

Counts

4 → 63

Calls

4 calls:

9.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
7.0ms	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))
4.0ms	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))
4.0ms	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))

Compiler

Compiled 3648 to 404 computations (88.9% saved)

series1.5s (6.2%)

Error

1.5b

Counts

4 → 84

Calls

4 calls:

365.0ms	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))
341.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
331.0ms	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))
326.0ms	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))

Compiler

Compiled 13050 to 6816 computations (47.8% saved)

simplify115.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4992	2872
1	4992	2872

prune474.0ms (2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	147	16	163

Error

1.5b

Counts

163 → 16

Compiler

Compiled 8417 to 1407 computations (83.3% saved)

localize35.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.2b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
5.7b	(cbrt.f64 (.f64 (-.f64 (.f64 c t) (*.f64 i y)) j))
5.7b	(cbrt.f64 (.f64 (-.f64 (.f64 c t) (*.f64 i y)) j))
5.7b	(cbrt.f64 (.f64 (-.f64 (.f64 c t) (*.f64 i y)) j))

rewrite113.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

1.5b

Rules

8×	`add-sqr-sqrt_binary64_16468`
6×	`pow1_binary64_16507` `add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482` `add-cube-cbrt_binary64_16481` `associate-l/_binary64_16389` `cbrt-div_binary64_16478` `-un-lft-identity_binary64_16446`
4×	`add-log-exp_binary64_16485` `flip3--_binary64_16450` `flip--_binary64_16421`
3×	`pow1/3_binary64_16528` `cbrt-prod_binary64_16477` `associate-l_binary64_16387` `associate-r_binary64_16386`
2×	`sub-neg_binary64_16439` `distribute-rgt-in_binary64_16396` `cancel-sign-sub-inv_binary64_16412` `distribute-lft-in_binary64_16395` `associate-*r/_binary64_16388`
1×	`pow-prod-down_binary64_16517` `prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `unswap-sqr_binary64_16414` `*-commutative_binary64_16377`

Counts

4 → 57

Calls

4 calls:

10.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
8.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c t) (*.f64 i y)) j))
5.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c t) (*.f64 i y)) j))
5.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c t) (*.f64 i y)) j))

Compiler

Compiled 3519 to 307 computations (91.3% saved)

series2.5s (10.6%)

Error

1.5b

Counts

4 → 105

Calls

4 calls:

716.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c t) (*.f64 i y)) j))
654.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c t) (*.f64 i y)) j))
638.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c t) (*.f64 i y)) j))
331.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

Compiler

Compiled 17673 to 8319 computations (52.9% saved)

simplify102.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5072	3619

prune288.0ms (1.2%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	162	16	178

Error

1.5b

Counts

178 → 16

Compiler

Compiled 9462 to 1053 computations (88.9% saved)

regimes3.8s (15.6%)

Accuracy

Total 12.1b remaining (90.8%)

Threshold costs 0b (0%)

Compiler

Compiled 36256 to 24098 computations (33.5% saved)

bsearch420.0ms (1.8%)

Steps

Iters	Range		Point
10	5.969949913340844e+207	2.3350143285379784e+225	1.0829620754418446e+211
8	2.6195309945849808e-117	3.417879383157077e-114	2.6517530757461472e-117
8	2.5777202549092805e-197	8.825979117510834e-195	2.023688622277787e-195
8	-4.027237026604403e-117	-3.5947087169918754e-121	-1.670422829548643e-118
7	-3.765221548154765e+125	-4.545154897370439e+123	-3.1099992861909773e+125

Compiler

Compiled 1 to 9 computations (-800% saved)

simplify46.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	1191	279
1	1191	279

end0.0ms (0%)

sample5.8s (24.2%)

Algorithm

1×

intervals

Results

1.1s	11296×	body	128	invalid
771.0ms	8000×	body	128	valid

Compiler

Compiled 4021 to 2546 computations (36.7% saved)

Details

analyze2.6s (10.7%)

sample112.0ms (0.5%)

simplify712.0ms (3%)

prune4.0ms (0%)

localize45.0ms (0.2%)

rewrite200.0ms (0.8%)

series2.3s (9.4%)

simplify100.0ms (0.4%)

prune269.0ms (1.1%)

localize26.0ms (0.1%)

rewrite193.0ms (0.8%)

series1.9s (7.7%)

simplify83.0ms (0.3%)

prune225.0ms (0.9%)

localize42.0ms (0.2%)

rewrite141.0ms (0.6%)

series1.5s (6.2%)

simplify115.0ms (0.5%)

prune474.0ms (2%)

localize35.0ms (0.1%)

rewrite113.0ms (0.5%)

series2.5s (10.6%)

simplify102.0ms (0.4%)

prune288.0ms (1.2%)

regimes3.8s (15.6%)

bsearch420.0ms (1.8%)

simplify46.0ms (0.2%)

end0.0ms (0%)

sample5.8s (24.2%)

Profiling