Details

analyze1.2s (5.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5367	148
0	3	3
1	3	3

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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	96.7%	3.3%	9
16.4%	74.9%	8.7%	10
17.6%	71.8%	10.7%	11
26.3%	59.5%	14.2%	12
30.7%	45.7%	23.5%	13
31.7%	43.5%	24.7%	14

Compiler

Compiled 30 to 25 computations (16.7% saved)

sample53.0ms (0.2%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
11.0ms	163×	body	128	invalid

Compiler

Compiled 59 to 52 computations (11.9% saved)

simplify51.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4999	37
1	4999	37

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

9.0b

Counts

2 → 2

Compiler

Compiled 79 to 64 computations (19% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.6b	(/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))
3.3b	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
6.6b	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
10.8b	(.f64 r (.f64 w w))

rewrite404.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

3.8b

Rules

109×	`times-frac_binary64`
77×	`add-sqr-sqrt_binary64`
71×	`*-un-lft-identity_binary64`
52×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
44×	`add-cube-cbrt_binary64`
36×	`associate-r_binary64`
18×	`difference-of-squares_binary64`
17×	`prod-exp_binary64` `cbrt-unprod_binary64` `div-exp_binary64` `cbrt-undiv_binary64`
11×	`pow1_binary64` `associate-/r*_binary64`
10×	`div-inv_binary64`
9×	`distribute-lft-out--_binary64` `associate-/l*_binary64`
6×	`associate-l_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64`
3×	`unswap-sqr_binary64`
2×	`-commutative_binary64` `frac-2neg_binary64` `clear-num_binary64` `associate-/r/_binary64` `flip3-+_binary64` `frac-times_binary64` `flip-+_binary64` `associate-l/_binary64` `associate-/l/_binary64`
1×	`associate-*r/_binary64` `div-sub_binary64` `flip3--_binary64` `flip--_binary64`

Counts

4 → 177

Calls

4 calls:

22.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
15.0ms	(/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))
12.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
8.0ms	(.f64 r (.f64 w w))

Compiler

Compiled 6257 to 3523 computations (43.7% saved)

series767.0ms (3.4%)

Error

9.0b

Counts

4 → 42

Calls

4 calls:

248.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
209.0ms	(/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))
182.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
71.0ms	(.f64 r (.f64 w w))

Compiler

Compiled 3115 to 2491 computations (20% saved)

simplify94.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5005	4486

prune375.0ms (1.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	209	10	219
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	210	11	221

Error

3.3b

Counts

221 → 11

Compiler

Compiled 7061 to 3995 computations (43.4% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 2 (*.f64 r r))
1.6b	(/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))
3.3b	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))))
6.6b	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))

rewrite396.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

112×	`times-frac_binary64`
77×	`add-sqr-sqrt_binary64`
72×	`*-un-lft-identity_binary64`
52×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
45×	`add-cube-cbrt_binary64`
35×	`associate-r_binary64`
19×	`div-exp_binary64` `cbrt-undiv_binary64`
18×	`difference-of-squares_binary64`
15×	`prod-exp_binary64` `cbrt-unprod_binary64`
12×	`associate-/l_binary64` `associate-/r_binary64`
11×	`div-inv_binary64`
9×	`distribute-lft-out--_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64`
3×	`frac-2neg_binary64` `clear-num_binary64` `associate-l_binary64`
2×	`associate-/r/_binary64` `flip3-+_binary64` `frac-times_binary64` `flip-+_binary64` `unswap-sqr_binary64` `associate-*l/_binary64` `associate-/l/_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `-commutative_binary64` `div-sub_binary64` `flip3--_binary64` `flip--_binary64`

Counts

4 → 179

Calls

4 calls:

22.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))))
11.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))
9.0ms	(/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))
4.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 6318 to 3604 computations (43% saved)

series721.0ms (3.2%)

Error

3.3b

Counts

4 → 39

Calls

4 calls:

251.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))))
207.0ms	(/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))
183.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))
29.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 2890 to 2313 computations (20% saved)

simplify110.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

218 → 218

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4974	4593
1	4974	4593

prune395.0ms (1.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	208	10	218
Fresh	8	1	9
Picked	1	0	1
Done	0	1	1
Total	217	12	229

Error

0.0b

Counts

229 → 12

Compiler

Compiled 7055 to 4032 computations (42.8% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.8b	(/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 w r)))
1.5b	(.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (.f64 w r)))) (/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
2.8b	(/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w))
3.3b	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 w r))))

rewrite3.1s (13.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

737×	`times-frac_binary64`
465×	`add-sqr-sqrt_binary64`
461×	`*-un-lft-identity_binary64`
423×	`cbrt-prod_binary64`
344×	`add-cube-cbrt_binary64`
337×	`add-exp-log_binary64`
208×	`add-cbrt-cube_binary64`
201×	`associate-r_binary64`
145×	`prod-exp_binary64` `cbrt-unprod_binary64`
129×	`div-exp_binary64` `cbrt-undiv_binary64`
78×	`difference-of-squares_binary64`
39×	`distribute-lft-out--_binary64`
36×	`associate-/r*_binary64`
20×	`div-inv_binary64`
11×	`pow1_binary64` `frac-times_binary64` `associate-*l/_binary64`
7×	`associate-/l*_binary64`
6×	`flip3--_binary64` `flip--_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `associate-r/_binary64` `associate-l*_binary64` `associate-/r/_binary64`
2×	`unswap-sqr_binary64` `*-commutative_binary64` `frac-2neg_binary64` `clear-num_binary64`

Counts

4 → 616

Calls

4 calls:

69.0ms	(.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (.f64 w r)))) (/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
25.0ms	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 w r))))
16.0ms	(/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 w r)))
14.0ms	(/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w))

Compiler

Compiled 36890 to 21132 computations (42.7% saved)

series2.0s (8.8%)

Error

0.0b

Counts

4 → 43

Calls

4 calls:

676.0ms	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 w r))))
574.0ms	(/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 w r)))
367.0ms	(/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w))
299.0ms	(.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (.f64 w r)))) (/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))

Compiler

Compiled 4898 to 3843 computations (21.5% saved)

simplify285.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

659 → 659

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4986	27251
1	4986	27251

prune2.9s (12.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	658	1	659
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	658	13	671

Error

0.0b

Counts

671 → 13

Compiler

Compiled 34370 to 21080 computations (38.7% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 2 (*.f64 r r))
0.3b	(.f64 (.f64 w r) (/.f64 r (/.f64 (-.f64 1 v) w)))
3.3b	(.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 (.f64 w r) (/.f64 r (/.f64 (-.f64 1 v) w))))
5.0b	(/.f64 r (/.f64 (-.f64 1 v) w))

rewrite597.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

261×	`times-frac_binary64`
186×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
123×	`add-cube-cbrt_binary64`
72×	`associate-r_binary64`
64×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
42×	`difference-of-squares_binary64`
26×	`prod-exp_binary64` `cbrt-unprod_binary64`
23×	`associate-/r*_binary64`
21×	`distribute-lft-out--_binary64`
18×	`pow1_binary64`
17×	`div-exp_binary64` `cbrt-undiv_binary64`
10×	`div-inv_binary64`
9×	`pow-prod-down_binary64`
6×	`associate-/l*_binary64`
5×	`associate-*r/_binary64`
4×	`add-log-exp_binary64` `associate-l_binary64`
2×	`frac-2neg_binary64` `clear-num_binary64` `associate-/r/_binary64` `flip3-+_binary64` `frac-times_binary64` `flip-+_binary64` `associate-l/_binary64` `-commutative_binary64`

Counts

4 → 256

Calls

4 calls:

22.0ms	(.f64 (.f64 w r) (/.f64 r (/.f64 (-.f64 1 v) w)))
22.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 (.f64 w r) (/.f64 r (/.f64 (-.f64 1 v) w))))
9.0ms	(/.f64 r (/.f64 (-.f64 1 v) w))
4.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 9451 to 5500 computations (41.8% saved)

series683.0ms (3%)

Error

0.0b

Counts

4 → 45

Calls

4 calls:

263.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 (.f64 w r) (/.f64 r (/.f64 (-.f64 1 v) w))))
182.0ms	(.f64 (.f64 w r) (/.f64 r (/.f64 (-.f64 1 v) w)))
160.0ms	(/.f64 r (/.f64 (-.f64 1 v) w))
24.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 3297 to 2443 computations (25.9% saved)

simplify127.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

301 → 301

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4964	6196
1	4964	6196

prune527.0ms (2.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	297	4	301
Fresh	5	5	10
Picked	1	0	1
Done	0	2	2
Total	303	11	314

Error

0.0b

Counts

314 → 11

Compiler

Compiled 9852 to 5490 computations (44.3% saved)

regimes2.4s (10.6%)

Accuracy

Total 0.3b remaining (95.8%)

Threshold costs 0.3b (95.8%)

Compiler

Compiled 36514 to 27643 computations (24.3% saved)

bsearch0.0ms (0%)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	194	43
1	194	43

end0.0ms (0%)

sample5.3s (23.4%)

Algorithm

1×

intervals

Results

553.0ms	8000×	body	128	valid
343.0ms	4878×	body	128	invalid

Compiler

Compiled 5808 to 4403 computations (24.2% saved)

Details

analyze1.2s (5.5%)

sample53.0ms (0.2%)

simplify51.0ms (0.2%)

prune8.0ms (0%)

localize18.0ms (0.1%)

rewrite404.0ms (1.8%)

series767.0ms (3.4%)

simplify94.0ms (0.4%)

prune375.0ms (1.6%)

localize20.0ms (0.1%)

rewrite396.0ms (1.7%)

series721.0ms (3.2%)

simplify110.0ms (0.5%)

prune395.0ms (1.7%)

localize24.0ms (0.1%)

rewrite3.1s (13.8%)

series2.0s (8.8%)

simplify285.0ms (1.3%)

prune2.9s (12.9%)

localize16.0ms (0.1%)

rewrite597.0ms (2.6%)

series683.0ms (3%)

simplify127.0ms (0.6%)

prune527.0ms (2.3%)

regimes2.4s (10.6%)

bsearch0.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample5.3s (23.4%)

Profiling