Details

analyze646.0ms (8.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
3.1%	96.7%	0.2%	8
17.2%	82.7%	0.2%	9
21.8%	78%	0.2%	10
30%	68.8%	1.2%	11
31.8%	65.3%	2.9%	12
40.1%	55.3%	4.6%	13
44.5%	50.1%	5.4%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample22.0ms (0.3%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
2.0ms	49×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify158.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	734	13
1	734	13

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

2.3b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

7.0b	(*.f64 (/.f64 x y) (-.f64 z t))
7.0b	(*.f64 (/.f64 x y) (-.f64 z t))

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_14422`
13×	`-un-lft-identity_binary64_14400` `associate-l*_binary64_14341`
11×	`add-cube-cbrt_binary64_14435`
10×	`times-frac_binary64_14406`
6×	`cancel-sign-sub-inv_binary64_14366` `add-exp-log_binary64_14438` `add-cbrt-cube_binary64_14436`
5×	`associate-r_binary64_14340`
4×	`distribute-rgt-in_binary64_14350` `distribute-lft-in_binary64_14349`
3×	`pow1_binary64_14461`
2×	`sub-neg_binary64_14393` `cbrt-unprod_binary64_14433` `prod-exp_binary64_14449` `frac-times_binary64_14410` `flip--_binary64_14375` `flip3--_binary64_14404` `associate-*r/_binary64_14342` `unswap-sqr_binary64_14368`
1×	`associate-l/_binary64_14343` `pow-prod-down_binary64_14471` `cbrt-undiv_binary64_14434` `difference-of-squares_binary64_14369` `div-exp_binary64_14451` `div-inv_binary64_14397` `add-log-exp_binary64_14439` `distribute-lft-out--_binary64_14352` `-commutative_binary64_14331`

Counts

1 → 46

Calls

2 calls:

11.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
0.0ms	(*.f64 (/.f64 x y) (-.f64 z t))

series201.0ms (2.6%)

Counts

1 → 18

Calls

1 calls:

201.0ms

(*.f64 (/.f64 x y) (-.f64 z t))

Compiler

Compiled 324 to 272 computations (16% saved)

simplify58.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5575	812

prune74.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	58	6	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	7	65

Error

Counts

65 → 7

Compiler

Compiled 957 to 244 computations (74.5% saved)

localize16.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.4b	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
0.4b	(/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))
0.2b	(*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.1b	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))

rewrite36.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

73×	`add-exp-log_binary64_14438`
39×	`add-cbrt-cube_binary64_14436`
37×	`cbrt-unprod_binary64_14433` `prod-exp_binary64_14449`
17×	`cbrt-undiv_binary64_14434` `div-exp_binary64_14451`
9×	`frac-times_binary64_14410` `cbrt-prod_binary64_14431` `pow1_binary64_14461`
8×	`add-cube-cbrt_binary64_14435` `add-sqr-sqrt_binary64_14422` `*-un-lft-identity_binary64_14400`
7×	`associate-*r/_binary64_14342`
5×	`associate-l/_binary64_14343` `associate-l*_binary64_14341`
4×	`flip--_binary64_14375` `flip3--_binary64_14404` `add-log-exp_binary64_14439`
3×	`pow1/3_binary64_14482` `pow-prod-down_binary64_14471`
1×	`div-inv_binary64_14397` `-commutative_binary64_14331` `times-frac_binary64_14406` `associate-r*_binary64_14340`

Counts

4 → 90

Calls

8 calls:

22.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
0.0ms	(*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))

series480.0ms (6.2%)

Counts

4 → 27

Calls

4 calls:

260.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
79.0ms	(cbrt.f64 x)
74.0ms	(cbrt.f64 x)
66.0ms	(cbrt.f64 x)

Compiler

Compiled 810 to 614 computations (24.2% saved)

simplify52.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	4988	1274
1	4988	1274

prune85.0ms (1.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	117	7	124

Error

Counts

124 → 7

Compiler

Compiled 2232 to 465 computations (79.2% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

5.6b	(cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
5.6b	(cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
0.4b	(.f64 (cbrt.f64 (.f64 (/.f64 x y) (-.f64 z t))) (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))))
0.3b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 x y) (-.f64 z t))) (cbrt.f64 (.f64 (/.f64 x y) (-.f64 z t)))) (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))))
5.6b	(cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
7.0b	(*.f64 (/.f64 x y) (-.f64 z t))
7.0b	(*.f64 (/.f64 x y) (-.f64 z t))
7.0b	(*.f64 (/.f64 x y) (-.f64 z t))

rewrite61.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`add-sqr-sqrt_binary64_14422`
40×	`*-un-lft-identity_binary64_14400`
39×	`associate-l_binary64_14341`
34×	`add-cube-cbrt_binary64_14435`
30×	`times-frac_binary64_14406`
19×	`add-exp-log_binary64_14438` `add-cbrt-cube_binary64_14436`
18×	`cancel-sign-sub-inv_binary64_14366`
15×	`associate-r_binary64_14340`
12×	`distribute-rgt-in_binary64_14350` `distribute-lft-in_binary64_14349`
10×	`pow1_binary64_14461`
8×	`frac-times_binary64_14410` `flip--_binary64_14375` `flip3--_binary64_14404` `associate-*r/_binary64_14342`
6×	`sub-neg_binary64_14393` `cbrt-unprod_binary64_14433` `prod-exp_binary64_14449` `unswap-sqr_binary64_14368`
5×	`cbrt-div_binary64_14432`
4×	`associate-*l/_binary64_14343` `add-log-exp_binary64_14439`
3×	`pow-prod-down_binary64_14471` `cbrt-undiv_binary64_14434` `difference-of-squares_binary64_14369` `div-exp_binary64_14451` `div-inv_binary64_14397` `distribute-lft-out--_binary64_14352` `*-commutative_binary64_14331`
1×	`pow1/3_binary64_14482` `cbrt-prod_binary64_14431`

Counts

4 → 152

Calls

8 calls:

15.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
11.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
10.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
6.0ms	(cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
0.0ms	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 x y) (-.f64 z t))) (cbrt.f64 (.f64 (/.f64 x y) (-.f64 z t)))) (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))))

series1.1s (13.9%)

Counts

4 → 71

Calls

4 calls:

461.0ms	(cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))
211.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
204.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
194.0ms	(*.f64 (/.f64 x y) (-.f64 z t))

Compiler

Compiled 3965 to 2224 computations (43.9% saved)

simplify97.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

223 → 223

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4971	3084
1	4971	3084

prune192.0ms (2.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	223	0	223
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	223	7	230

Error

Counts

230 → 7

Compiler

Compiled 7339 to 848 computations (88.4% saved)

localize13.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.3b	(/.f64 (cbrt.f64 x) y)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
2.5b	(*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y))
2.9b	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y)))

rewrite44.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`add-exp-log_binary64_14438`
35×	`add-cbrt-cube_binary64_14436`
33×	`prod-exp_binary64_14449`
32×	`add-sqr-sqrt_binary64_14422`
24×	`*-un-lft-identity_binary64_14400`
23×	`times-frac_binary64_14406` `associate-r_binary64_14340`
22×	`add-cube-cbrt_binary64_14435`
20×	`cbrt-unprod_binary64_14433`
18×	`div-exp_binary64_14451`
16×	`cbrt-prod_binary64_14431`
12×	`associate-l_binary64_14341`
11×	`frac-times_binary64_14410` `pow1_binary64_14461`
10×	`cbrt-undiv_binary64_14434`
8×	`associate-*r/_binary64_14342`
7×	`associate-*l/_binary64_14343`
6×	`1-exp_binary64_14444` `flip--_binary64_14375` `flip3--_binary64_14404`
4×	`pow-prod-down_binary64_14471` `add-log-exp_binary64_14439`
3×	`unswap-sqr_binary64_14368`
2×	`pow1/3_binary64_14482` `div-inv_binary64_14397` `*-commutative_binary64_14331`
1×	`difference-of-squares_binary64_14369` `distribute-lft-out--_binary64_14352`

Counts

4 → 123

Calls

8 calls:

16.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y)))
13.0ms	(*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
0.0ms	(/.f64 (cbrt.f64 x) y)

series875.0ms (11.3%)

Counts

4 → 42

Calls

4 calls:

504.0ms	(*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y))
229.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) y)))
74.0ms	(cbrt.f64 x)
67.0ms	(cbrt.f64 x)

Compiler

Compiled 1252 to 1010 computations (19.3% saved)

simplify63.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5493	2042

prune123.0ms (1.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	165	7	172

Error

Counts

172 → 7

Compiler

Compiled 3046 to 838 computations (72.5% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	241	541
1	241	541

regimes222.0ms (2.9%)

Compiler: Compiled 1992 to 1487 computations (25.4% saved)

bsearch0.0ms (0%)

regimes313.0ms (4.1%)

Compiler: Compiled 1877 to 1417 computations (24.5% saved)

bsearch36.0ms (0.5%)

Steps

Iters	Range		Point
7	8.738347903038562e-144	2.8983853779356175e-142	2.865953165408925e-142
6	-1.0768665945383706e+54	-1.1191337050224898e+53	-1.1433554134386932e+53

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes192.0ms (2.5%)

Compiler: Compiled 595 to 622 computations (-4.5% saved)

bsearch29.0ms (0.4%)

Steps

Iters	Range		Point
9	59.49450843832652	15658310.038237646	65.11818647907415
4	-7.872891397078708e-237	-4.64057194142708e-237	-6.667719697891982e-237

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes115.0ms (1.5%)

Compiler: Compiled 291 to 384 computations (-32% saved)

bsearch34.0ms (0.4%)

Steps

Iters	Range		Point
9	1.8228673852709753e-40	6.936201608721887e-33	2.755990980513582e-40
5	-3.542214167281113e-231	-9.63484970918141e-232	-1.0202177048941519e-231

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes357.0ms (4.6%)

Compiler: Compiled 237 to 336 computations (-41.8% saved)

bsearch50.0ms (0.6%)

Steps

Iters	Range	Point
10	1.0204043158794492e+283	5.9891898971880534e+293	2.4907670670592365e+291
8	5.928490020639887e+132	1.1261679293269925e+137	1.3383586845609138e+133
8	-7.074291126477639e+163	-5.914986304053412e+159	-1.1955743337116705e+162

Iters

Range

Point

1.0204043158794492e+283

5.9891898971880534e+293

2.4907670670592365e+291

5.928490020639887e+132

1.1261679293269925e+137

1.3383586845609138e+133

-7.074291126477639e+163

-5.914986304053412e+159

-1.1955743337116705e+162

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes239.0ms (3.1%)

Compiler: Compiled 192 to 296 computations (-54.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes190.0ms (2.5%)

Compiler: Compiled 150 to 254 computations (-69.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes104.0ms (1.4%)

Compiler: Compiled 76 to 148 computations (-94.7% saved)

bsearch35.0ms (0.4%)

Steps

Iters	Range		Point
8	1.4633951944324156e-97	2.2272865266707882e-94	5.743968257821221e-96
8	-7.750398627192034e-42	-1.484710574606544e-45	-2.9559857728639686e-42

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes40.0ms (0.5%)

Compiler: Compiled 48 to 120 computations (-150% saved)

bsearch0.0ms (0%)

regimes35.0ms (0.5%)

Accuracy

Total 1.7b remaining (99.7%)

Threshold costs 0b (0%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch15.0ms (0.2%)

Compiler: Compiled 433 to 194 computations (55.2% saved)

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	248	497
1	248	497

end0.0ms (0%)

sample1.3s (16.5%)

Algorithm

1×

intervals

Results

280.0ms	8000×	body	128	valid
72.0ms	2065×	body	128	invalid

Compiler

Compiled 737 to 494 computations (33% saved)

Pareto

0.9044023035792924

Details

analyze646.0ms (8.4%)

sample22.0ms (0.3%)

simplify158.0ms (2.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite15.0ms (0.2%)

series201.0ms (2.6%)

simplify58.0ms (0.8%)

prune74.0ms (1%)

localize16.0ms (0.2%)

rewrite36.0ms (0.5%)

series480.0ms (6.2%)

simplify52.0ms (0.7%)

prune85.0ms (1.1%)

localize11.0ms (0.1%)

rewrite61.0ms (0.8%)

series1.1s (13.9%)

simplify97.0ms (1.3%)

prune192.0ms (2.5%)

localize13.0ms (0.2%)

rewrite44.0ms (0.6%)

series875.0ms (11.3%)

simplify63.0ms (0.8%)

prune123.0ms (1.6%)

simplify11.0ms (0.1%)

regimes222.0ms (2.9%)

bsearch0.0ms (0%)

regimes313.0ms (4.1%)

bsearch36.0ms (0.5%)

regimes192.0ms (2.5%)

bsearch29.0ms (0.4%)

regimes115.0ms (1.5%)

bsearch34.0ms (0.4%)

regimes357.0ms (4.6%)

bsearch50.0ms (0.6%)

regimes239.0ms (3.1%)

bsearch1.0ms (0%)

regimes190.0ms (2.5%)

bsearch1.0ms (0%)

regimes104.0ms (1.4%)

bsearch35.0ms (0.4%)

regimes40.0ms (0.5%)

bsearch0.0ms (0%)

regimes35.0ms (0.5%)

bsearch15.0ms (0.2%)

simplify14.0ms (0.2%)

end0.0ms (0%)

sample1.3s (16.5%)

Profiling