Details

analyze8.5s (1.4%)

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)

sample301.0ms (0.1%)

Algorithm

1×

intervals

Results

69.0ms	256×	body	128	valid
42.0ms	134×	body	128	invalid

Compiler

Compiled 39 to 44 computations (-12.8% saved)

simplify581.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (219.0ms)

Iter	Nodes	Cost
0	4917	25
1	4917	25

prune23.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: 8.4b

Counts

2 → 2

Compiler

Compiled 53 to 52 computations (1.9% saved)

localize75.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x 9) y)
0.3b	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
3.4b	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
10.1b	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)) c)

rewrite174.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64_19174` `add-cube-cbrt_binary64_19209` `add-sqr-sqrt_binary64_19196`
18×	`times-frac_binary64_19180`
13×	`add-cbrt-cube_binary64_19210` `add-exp-log_binary64_19212`
9×	`pow1_binary64_19235`
6×	`associate-/l_binary64_19119` `add-log-exp_binary64_19213` `associate-/r_binary64_19118`
4×	`associate-/l/_binary64_19121`
3×	`prod-exp_binary64_19223` `cbrt-unprod_binary64_19207` `associate-r_binary64_19114` `pow-prod-down_binary64_19245` `flip3-+_binary64_19177` `flip-+_binary64_19148`
2×	`frac-2neg_binary64_19185` `div-inv_binary64_19171` `div-exp_binary64_19225` `clear-num_binary64_19173` `cbrt-undiv_binary64_19208`
1×	`+-commutative_binary64_19104` `-commutative_binary64_19105` `associate-l*_binary64_19115` `sum-log_binary64_19265`

Counts

4 → 87

Calls

4 calls:

52.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)) c)
46.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
32.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
18.0ms	(.f64 (.f64 x 9) y)

series1.3s (0.2%)

Counts

4 → 12

Calls

4 calls:

588.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4)) c)
587.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 (.f64 t a) -4))
96.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
69.0ms	(.f64 (.f64 x 9) y)

simplify344.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (238.0ms)

Iter	Nodes	Cost
0	5785	2384

prune2.4s (0.4%)

Pruning

56 alts after pruning (55 fresh and 1 done)

	Pruned	Kept	Total
New	45	54	99
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	45	56	101

Merged error: 8.1b

Counts

101 → 56

Compiler

Compiled 4254 to 2835 computations (33.4% saved)

localize81.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
4.6b	(/.f64 b (*.f64 z c))
5.9b	(/.f64 (*.f64 t a) c)
9.5b	(/.f64 (.f64 x y) (.f64 z c))

rewrite138.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-cbrt-cube_binary64_19210` `add-exp-log_binary64_19212`
15×	`prod-exp_binary64_19223` `cbrt-unprod_binary64_19207`
12×	`div-exp_binary64_19225` `add-sqr-sqrt_binary64_19196` `cbrt-undiv_binary64_19208`
10×	`*-un-lft-identity_binary64_19174` `add-cube-cbrt_binary64_19209`
8×	`times-frac_binary64_19180`
6×	`pow1_binary64_19235`
5×	`associate-/l_binary64_19119` `associate-r_binary64_19114` `associate-/r_binary64_19118`
4×	`div-inv_binary64_19171` `add-log-exp_binary64_19213`
3×	`frac-2neg_binary64_19185` `clear-num_binary64_19173` `associate-l_binary64_19115`
1×	`associate-r/_binary64_19116` `-commutative_binary64_19105` `pow-prod-down_binary64_19245` `unswap-sqr_binary64_19142`

Counts

4 → 92

Calls

4 calls:

36.0ms	(/.f64 (.f64 x y) (.f64 z c))
26.0ms	(/.f64 b (*.f64 z c))
22.0ms	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
17.0ms	(/.f64 (*.f64 t a) c)

series575.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

193.0ms	(/.f64 b (*.f64 z c))
193.0ms	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
135.0ms	(/.f64 (.f64 x y) (.f64 z c))
53.0ms	(/.f64 (*.f64 t a) c)

simplify295.0ms (0%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (226.0ms)

Iter	Nodes	Cost
0	4965	1189
1	4965	1189

prune3.9s (0.7%)

Pruning

91 alts after pruning (90 fresh and 1 done)

	Pruned	Kept	Total
New	68	36	104
Fresh	0	54	54
Picked	1	0	1
Done	0	1	1
Total	69	91	160

Merged error: 0.5b

Counts

160 → 91

Compiler

Compiled 5476 to 3031 computations (44.6% saved)

localize76.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
4.6b	(/.f64 b (*.f64 z c))
5.7b	(/.f64 t (/.f64 c a))
9.5b	(/.f64 (.f64 x y) (.f64 z c))

rewrite237.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`times-frac_binary64_19180`
52×	`add-sqr-sqrt_binary64_19196`
50×	`*-un-lft-identity_binary64_19174` `add-cube-cbrt_binary64_19209`
44×	`add-cbrt-cube_binary64_19210` `add-exp-log_binary64_19212`
15×	`associate-/r*_binary64_19118`
14×	`prod-exp_binary64_19223` `cbrt-unprod_binary64_19207`
13×	`div-exp_binary64_19225` `cbrt-undiv_binary64_19208`
8×	`div-inv_binary64_19171`
7×	`associate-/l*_binary64_19119`
6×	`pow1_binary64_19235`
5×	`associate-r_binary64_19114`
4×	`add-log-exp_binary64_19213`
3×	`frac-2neg_binary64_19185` `clear-num_binary64_19173` `associate-l_binary64_19115`
1×	`associate-r/_binary64_19116` `-commutative_binary64_19105` `associate-/r/_binary64_19120` `pow-prod-down_binary64_19245` `unswap-sqr_binary64_19142`

Counts

4 → 141

Calls

4 calls:

88.0ms	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
29.0ms	(/.f64 t (/.f64 c a))
25.0ms	(/.f64 (.f64 x y) (.f64 z c))
16.0ms	(/.f64 b (*.f64 z c))

series471.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

178.0ms	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
125.0ms	(/.f64 (.f64 x y) (.f64 z c))
95.0ms	(/.f64 t (/.f64 c a))
74.0ms	(/.f64 b (*.f64 z c))

simplify177.0ms (0%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	5004	2172

prune7.7s (1.3%)

Pruning

131 alts after pruning (130 fresh and 1 done)

	Pruned	Kept	Total
New	98	55	153
Fresh	14	75	89
Picked	1	0	1
Done	0	1	1
Total	113	131	244

Merged error: 0.0b

Counts

244 → 131

Compiler

Compiled 8443 to 4407 computations (47.8% saved)

localize122.0ms (0%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 a)
0.7b	(.f64 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 t (/.f64 (cbrt.f64 c) (cbrt.f64 a))))
4.6b	(/.f64 b (*.f64 z c))
9.5b	(/.f64 (.f64 x y) (.f64 z c))

rewrite207.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

257×	`times-frac_binary64_19180`
160×	`add-sqr-sqrt_binary64_19196`
125×	`associate-r_binary64_19114`
124×	`*-un-lft-identity_binary64_19174` `add-cube-cbrt_binary64_19209`
119×	`cbrt-prod_binary64_19205`
90×	`add-exp-log_binary64_19212`
56×	`add-cbrt-cube_binary64_19210`
33×	`div-exp_binary64_19225` `cbrt-undiv_binary64_19208`
32×	`prod-exp_binary64_19223` `cbrt-unprod_binary64_19207`
12×	`unswap-sqr_binary64_19142`
7×	`div-inv_binary64_19171`
6×	`pow1_binary64_19235`
5×	`associate-l_binary64_19115`
4×	`associate-/l*_binary64_19119` `add-log-exp_binary64_19213`
2×	`frac-2neg_binary64_19185` `associate-/r*_binary64_19118` `clear-num_binary64_19173`
1×	`associate-r/_binary64_19116` `-commutative_binary64_19105` `associate-/r/_binary64_19120` `frac-times_binary64_19184` `pow1/3_binary64_19256` `associate-*l/_binary64_19117` `pow-prod-down_binary64_19245`

Counts

4 → 237

Calls

4 calls:

95.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 t (/.f64 (cbrt.f64 c) (cbrt.f64 a))))
11.0ms	(/.f64 (.f64 x y) (.f64 z c))
10.0ms	(/.f64 b (*.f64 z c))
2.0ms	(cbrt.f64 a)

series631.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

360.0ms	(cbrt.f64 a)
115.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 t (/.f64 (cbrt.f64 c) (cbrt.f64 a))))
86.0ms	(/.f64 b (*.f64 z c))
70.0ms	(/.f64 (.f64 x y) (.f64 z c))

simplify274.0ms (0%)

Algorithm

1×	egg-herbie

Counts

249 → 249

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5134	6218

prune13.0s (2.2%)

Pruning

219 alts after pruning (218 fresh and 1 done)

	Pruned	Kept	Total
New	160	89	249
Fresh	0	129	129
Picked	1	0	1
Done	0	1	1
Total	161	219	380

Merged error: 0.0b

Counts

380 → 219

Compiler

Compiled 10717 to 2939 computations (72.6% saved)

regimes1.9min (19.1%)

Compiler: Compiled 161582 to 116612 computations (27.8% saved)

bsearch7.4min (74%)

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

Details

analyze8.5s (1.4%)

sample301.0ms (0.1%)

simplify581.0ms (0.1%)

prune23.0ms (0%)

localize75.0ms (0%)

rewrite174.0ms (0%)

series1.3s (0.2%)

simplify344.0ms (0.1%)

prune2.4s (0.4%)

localize81.0ms (0%)

rewrite138.0ms (0%)

series575.0ms (0.1%)

simplify295.0ms (0%)

prune3.9s (0.7%)

localize76.0ms (0%)

rewrite237.0ms (0%)

series471.0ms (0.1%)

simplify177.0ms (0%)

prune7.7s (1.3%)

localize122.0ms (0%)

rewrite207.0ms (0%)

series631.0ms (0.1%)

simplify274.0ms (0%)

prune13.0s (2.2%)

regimes1.9min (19.1%)

bsearch7.4min (74%)

Profiling