Details

analyze1.6s (0.8%)

Algorithm

1×

Search

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

Compiler

Compiled 20 to 19 computations (5% saved)

sample48.0ms (0%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
9.0ms	160×	body	128	invalid

Compiler

Compiled 39 to 44 computations (-12.8% saved)

simplify161.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4917	25
1	4917	25

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

Merged error: 6.4b

Counts

2 → 2

Compiler

Compiled 53 to 52 computations (1.9% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (.f64 t a) -4)
0.2b	(.f64 (.f64 x 9) y)
2.5b	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
9.8b	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)) c)

rewrite41.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-cube-cbrt_binary64_8638` `add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603`
18×	`add-exp-log_binary64_8641` `times-frac_binary64_8609` `add-cbrt-cube_binary64_8639`
14×	`pow1_binary64_8664`
6×	`associate-/l_binary64_8548` `cbrt-unprod_binary64_8636` `associate-/r_binary64_8547` `prod-exp_binary64_8652` `associate-r_binary64_8543` `pow-prod-down_binary64_8674`
4×	`add-log-exp_binary64_8642` `associate-/l/_binary64_8550`
2×	`div-exp_binary64_8654` `flip3-+_binary64_8606` `associate-l_binary64_8544` `flip-+_binary64_8577` `clear-num_binary64_8602` `cbrt-undiv_binary64_8637` `*-commutative_binary64_8534` `div-inv_binary64_8600` `frac-2neg_binary64_8614`

Counts

4 → 94

Calls

4 calls:

14.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)) c)
9.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
6.0ms	(.f64 (.f64 t a) -4)
5.0ms	(.f64 (.f64 x 9) y)

series251.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

162.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)) c)
55.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
19.0ms	(.f64 (.f64 t a) -4)
15.0ms	(.f64 (.f64 x 9) y)

simplify79.0ms (0%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5041	2145

prune513.0ms (0.3%)

Pruning

54 alts after pruning (53 fresh and 1 done)

	Pruned	Kept	Total
New	54	52	106
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	54	54	108

Merged error: 6.2b

Counts

108 → 54

Compiler

Compiled 3607 to 2472 computations (31.5% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
3.8b	(/.f64 (*.f64 t a) c)
4.5b	(/.f64 b (*.f64 z c))
9.9b	(/.f64 (.f64 x y) (.f64 z c))

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
15×	`cbrt-unprod_binary64_8636` `prod-exp_binary64_8652`
12×	`div-exp_binary64_8654` `add-sqr-sqrt_binary64_8625` `cbrt-undiv_binary64_8637`
10×	`add-cube-cbrt_binary64_8638` `*-un-lft-identity_binary64_8603`
8×	`times-frac_binary64_8609`
6×	`pow1_binary64_8664`
5×	`associate-/l_binary64_8548` `associate-/r_binary64_8547` `associate-r_binary64_8543`
4×	`add-log-exp_binary64_8642` `div-inv_binary64_8600`
3×	`associate-l_binary64_8544` `clear-num_binary64_8602` `frac-2neg_binary64_8614`
1×	`associate-r/_binary64_8545` `-commutative_binary64_8534` `pow-prod-down_binary64_8674` `unswap-sqr_binary64_8571`

Counts

4 → 92

Calls

4 calls:

9.0ms	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
6.0ms	(/.f64 (.f64 x y) (.f64 z c))
4.0ms	(/.f64 (*.f64 t a) c)
4.0ms	(/.f64 b (*.f64 z c))

series115.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

39.0ms	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
32.0ms	(/.f64 (.f64 x y) (.f64 z c))
24.0ms	(/.f64 (*.f64 t a) c)
21.0ms	(/.f64 b (*.f64 z c))

simplify78.0ms (0%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4965	1189
1	4965	1189

prune594.0ms (0.3%)

Pruning

89 alts after pruning (88 fresh and 1 done)

	Pruned	Kept	Total
New	68	36	104
Fresh	0	52	52
Picked	1	0	1
Done	0	1	1
Total	69	89	158

Merged error: 0.0b

Counts

158 → 89

Compiler

Compiled 4371 to 2663 computations (39.1% saved)

localize20.0ms (0%)

Local error

Found 4 expressions with local error:

0.8b	(/.f64 (.f64 a (/.f64 t (.f64 (cbrt.f64 c) (cbrt.f64 c)))) (cbrt.f64 c))
3.5b	(.f64 a (/.f64 t (.f64 (cbrt.f64 c) (cbrt.f64 c))))
4.5b	(/.f64 b (*.f64 z c))
9.9b	(/.f64 (.f64 x y) (.f64 z c))

rewrite43.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-exp-log_binary64_8641`
36×	`add-cbrt-cube_binary64_8639`
17×	`add-sqr-sqrt_binary64_8625`
14×	`div-exp_binary64_8654` `times-frac_binary64_8609` `cbrt-undiv_binary64_8637`
13×	`add-cube-cbrt_binary64_8638` `cbrt-unprod_binary64_8636` `*-un-lft-identity_binary64_8603` `prod-exp_binary64_8652`
8×	`associate-/r*_binary64_8547`
7×	`associate-r_binary64_8543`
6×	`cbrt-prod_binary64_8634` `pow1_binary64_8664`
5×	`associate-/l*_binary64_8548`
4×	`add-log-exp_binary64_8642` `div-inv_binary64_8600`
3×	`associate-l_binary64_8544` `clear-num_binary64_8602` `frac-2neg_binary64_8614`
2×	`associate-*r/_binary64_8545` `unswap-sqr_binary64_8571`
1×	`associate-/l/_binary64_8550` `*-commutative_binary64_8534` `pow-prod-down_binary64_8674`

Counts

4 → 102

Calls

4 calls:

11.0ms	(.f64 a (/.f64 t (.f64 (cbrt.f64 c) (cbrt.f64 c))))
11.0ms	(/.f64 (.f64 a (/.f64 t (.f64 (cbrt.f64 c) (cbrt.f64 c)))) (cbrt.f64 c))
6.0ms	(/.f64 (.f64 x y) (.f64 z c))
4.0ms	(/.f64 b (*.f64 z c))

series196.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

94.0ms	(.f64 a (/.f64 t (.f64 (cbrt.f64 c) (cbrt.f64 c))))
49.0ms	(/.f64 (.f64 a (/.f64 t (.f64 (cbrt.f64 c) (cbrt.f64 c)))) (cbrt.f64 c))
32.0ms	(/.f64 (.f64 x y) (.f64 z c))
20.0ms	(/.f64 b (*.f64 z c))

simplify78.0ms (0%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4976	1388
1	4976	1388

prune864.0ms (0.4%)

Pruning

128 alts after pruning (127 fresh and 1 done)

	Pruned	Kept	Total
New	70	44	114
Fresh	4	83	87
Picked	1	0	1
Done	0	1	1
Total	75	128	203

Merged error: 0.0b

Counts

203 → 128

Compiler

Compiled 6555 to 3923 computations (40.2% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 t)
0.8b	(/.f64 (.f64 (.f64 a (/.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (cbrt.f64 c))) (/.f64 (cbrt.f64 t) (cbrt.f64 c))) (cbrt.f64 c))
4.5b	(/.f64 b (*.f64 z c))
9.9b	(/.f64 (.f64 x y) (.f64 z c))

rewrite42.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

63×	`add-exp-log_binary64_8641`
38×	`add-cbrt-cube_binary64_8639`
23×	`div-exp_binary64_8654` `cbrt-undiv_binary64_8637`
21×	`cbrt-unprod_binary64_8636` `prod-exp_binary64_8652`
11×	`add-cube-cbrt_binary64_8638` `add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603`
10×	`times-frac_binary64_8609`
9×	`cbrt-prod_binary64_8634`
8×	`associate-/r*_binary64_8547`
5×	`associate-/l*_binary64_8548`
4×	`add-log-exp_binary64_8642` `pow1_binary64_8664`
3×	`associate-*r/_binary64_8545` `clear-num_binary64_8602` `associate-/l/_binary64_8550` `div-inv_binary64_8600` `frac-2neg_binary64_8614`
1×	`pow1/3_binary64_8685` `frac-times_binary64_8613` `associate-*l/_binary64_8546`

Counts

4 → 97

Calls

4 calls:

18.0ms	(/.f64 (.f64 (.f64 a (/.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (cbrt.f64 c))) (/.f64 (cbrt.f64 t) (cbrt.f64 c))) (cbrt.f64 c))
6.0ms	(/.f64 (.f64 x y) (.f64 z c))
4.0ms	(/.f64 b (*.f64 z c))
1.0ms	(cbrt.f64 t)

series170.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

89.0ms	(cbrt.f64 t)
35.0ms	(/.f64 (.f64 x y) (.f64 z c))
24.0ms	(/.f64 (.f64 (.f64 a (/.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (cbrt.f64 c))) (/.f64 (cbrt.f64 t) (cbrt.f64 c))) (cbrt.f64 c))
22.0ms	(/.f64 b (*.f64 z c))

simplify100.0ms (0%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4982	1263
1	4982	1263

prune696.0ms (0.3%)

Pruning

167 alts after pruning (166 fresh and 1 done)

	Pruned	Kept	Total
New	66	43	109
Fresh	3	123	126
Picked	1	0	1
Done	0	1	1
Total	70	167	237

Merged error: 0.0b

Counts

237 → 167

Compiler

Compiled 2648 to 681 computations (74.3% saved)

regimes11.1s (5.5%)

Compiler: Compiled 92218 to 70680 computations (23.4% saved)

bsearch2.9min (86.9%)

Compiler: Compiled 19 to 18 computations (5.3% saved)

simplify99.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	239	308
1	239	308

end0.0ms (0%)

sample9.5s (4.7%)

Algorithm

1×

intervals

Results

507.0ms	8000×	body	128	valid
283.0ms	4748×	body	128	invalid

Compiler

Compiled 13527 to 9419 computations (30.4% saved)

Pareto

0.10249725227162412

Details

analyze1.6s (0.8%)

sample48.0ms (0%)

simplify161.0ms (0.1%)

prune13.0ms (0%)

localize13.0ms (0%)

rewrite41.0ms (0%)

series251.0ms (0.1%)

simplify79.0ms (0%)

prune513.0ms (0.3%)

localize16.0ms (0%)

rewrite31.0ms (0%)

series115.0ms (0.1%)

simplify78.0ms (0%)

prune594.0ms (0.3%)

localize20.0ms (0%)

rewrite43.0ms (0%)

series196.0ms (0.1%)

simplify78.0ms (0%)

prune864.0ms (0.4%)

localize24.0ms (0%)

rewrite42.0ms (0%)

series170.0ms (0.1%)

simplify100.0ms (0%)

prune696.0ms (0.3%)

regimes11.1s (5.5%)

bsearch2.9min (86.9%)

simplify99.0ms (0%)

end0.0ms (0%)

sample9.5s (4.7%)

Profiling