Details

analyze79.0ms (0.1%)

Algorithm

1×

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
50%	50%	0.1%	5
50%	50%	0.1%	6
62.4%	34.3%	3.2%	7
62.4%	32.8%	4.8%	8
68.7%	21.1%	10.2%	9
68.7%	19.1%	12.2%	10
71.8%	11.5%	16.7%	11
71.8%	10.2%	18%	12
73.4%	6%	20.6%	13
73.4%	5.3%	21.3%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample12.0ms (0%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	13×	body	128	invalid

Compiler

Compiled 11 to 11 computations (0% saved)

simplify105.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	7	7
1	7	7

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

Compiler

Compiled 5 to 4 computations (20% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

8.7b	(/.f64 x (*.f64 y y))
8.7b	(/.f64 x (*.f64 y y))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
3×	`times-frac_binary64_12019` `add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `associate-/l_binary64_11958` `-un-lft-identity_binary64_12013`
2×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047`
1×	`add-log-exp_binary64_12052` `associate-/r*_binary64_11957` `clear-num_binary64_12012` `div-inv_binary64_12010` `pow1_binary64_12074` `frac-2neg_binary64_12024` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`

Counts

1 → 21

Calls

2 calls:

6.0ms	(/.f64 x (*.f64 y y))
0.0ms	(/.f64 x (*.f64 y y))

series69.0ms (0%)

Counts

1 → 6

Calls

1 calls:

69.0ms

(/.f64 x (*.f64 y y))

Compiler

Compiled 60 to 60 computations (0% saved)

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	6109	244

prune51.0ms (0%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	12	15	27
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	12	16	28

Error

0.0b

Counts

28 → 16

Compiler

Compiled 286 to 137 computations (52.1% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (/.f64 x y) y)
0.1b	(/.f64 (/.f64 x y) y)

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`times-frac_binary64_12019`
43×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
13×	`associate-/l*_binary64_11958`
6×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
5×	`div-inv_binary64_12010`
3×	`associate-/r*_binary64_11957` `div-exp_binary64_12064` `cbrt-undiv_binary64_12047`
1×	`add-log-exp_binary64_12052` `clear-num_binary64_12012` `pow1_binary64_12074` `frac-2neg_binary64_12024` `associate-/l/_binary64_11960`

Counts

1 → 70

Calls

2 calls:

7.0ms	(/.f64 (/.f64 x y) y)
0.0ms	(/.f64 (/.f64 x y) y)

series66.0ms (0%)

Counts

1 → 6

Calls

1 calls:

66.0ms

(/.f64 (/.f64 x y) y)

Compiler

Compiled 60 to 60 computations (0% saved)

simplify106.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4763	1090
1	4763	1090

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 y (/.f64 x y)))
0.1b	(/.f64 y (/.f64 x y))
0.1b	(/.f64 y (/.f64 x y))
0.2b	(/.f64 1 (/.f64 y (/.f64 x y)))

rewrite53.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

471×	`times-frac_binary64_12019`
229×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
57×	`associate-/r*_binary64_11957`
28×	`add-exp-log_binary64_12051`
22×	`div-inv_binary64_12010`
18×	`div-exp_binary64_12064`
16×	`add-cbrt-cube_binary64_12049`
9×	`cbrt-undiv_binary64_12047`
6×	`associate-/r/_binary64_11959` `associate-/l*_binary64_11958`
3×	`rec-exp_binary64_12063` `pow1_binary64_12074` `1-exp_binary64_12057`
2×	`add-log-exp_binary64_12052` `clear-num_binary64_12012` `frac-2neg_binary64_12024`
1×	`pow-flip_binary64_12087` `inv-pow_binary64_12098`

Counts

2 → 274

Calls

4 calls:

13.0ms	(/.f64 1 (/.f64 y (/.f64 x y)))
10.0ms	(/.f64 y (/.f64 x y))
0.0ms	(/.f64 y (/.f64 x y))
0.0ms	(/.f64 1 (/.f64 y (/.f64 x y)))

series143.0ms (0.1%)

Counts

2 → 12

Calls

2 calls:

73.0ms	(/.f64 y (/.f64 x y))
69.0ms	(/.f64 1 (/.f64 y (/.f64 x y)))

Compiler

Compiled 144 to 144 computations (0% saved)

simplify158.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

286 → 286

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	5068	5036

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

8.7b	(/.f64 x (*.f64 y y))
8.7b	(/.f64 x (*.f64 y y))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
3×	`times-frac_binary64_12019` `add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `associate-/l_binary64_11958` `-un-lft-identity_binary64_12013`
2×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047`
1×	`add-log-exp_binary64_12052` `associate-/r*_binary64_11957` `clear-num_binary64_12012` `div-inv_binary64_12010` `pow1_binary64_12074` `frac-2neg_binary64_12024` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`

Counts

1 → 21

Calls

2 calls:

4.0ms	(/.f64 x (*.f64 y y))
0.0ms	(/.f64 x (*.f64 y y))

series68.0ms (0%)

Counts

1 → 6

Calls

1 calls:

68.0ms

(/.f64 x (*.f64 y y))

Compiler

Compiled 84 to 84 computations (0% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	6109	244

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

8.7b	(/.f64 x (*.f64 y y))
2.3b	(log.f64 (exp.f64 (/.f64 x (*.f64 y y))))
2.3b	(log.f64 (exp.f64 (/.f64 x (*.f64 y y))))
8.7b	(/.f64 x (*.f64 y y))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`log-pow_binary64_12102`
7×	`add-cbrt-cube_binary64_12049` `add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `add-exp-log_binary64_12051` `exp-prod_binary64_12065` `*-un-lft-identity_binary64_12013`
6×	`times-frac_binary64_12019`
3×	`pow1_binary64_12074` `log-prod_binary64_12099` `associate-/l*_binary64_11958`
2×	`add-log-exp_binary64_12052` `div-exp_binary64_12064` `div-inv_binary64_12010` `cbrt-undiv_binary64_12047`
1×	`rem-log-exp_binary64_12054` `associate-/r*_binary64_11957` `clear-num_binary64_12012` `frac-2neg_binary64_12024` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`

Counts

2 → 40

Calls

4 calls:

5.0ms	(/.f64 x (*.f64 y y))
5.0ms	(log.f64 (exp.f64 (/.f64 x (*.f64 y y))))
0.0ms	(log.f64 (exp.f64 (/.f64 x (*.f64 y y))))
0.0ms	(/.f64 x (*.f64 y y))

series269.0ms (0.2%)

Counts

2 → 12

Calls

2 calls:

201.0ms	(log.f64 (exp.f64 (/.f64 x (*.f64 y y))))
68.0ms	(/.f64 x (*.f64 y y))

Compiler

Compiled 156 to 156 computations (0% saved)

simplify71.0ms (0%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5142	485

localize6.0ms (0%)

Local error

Found 6 expressions with local error:

1.9b	(/.f64 (sqrt.f64 x) (/.f64 y (/.f64 (sqrt.f64 x) y)))
0.1b	(/.f64 y (/.f64 (sqrt.f64 x) y))
0.1b	(/.f64 (sqrt.f64 x) y)
0.1b	(/.f64 y (/.f64 (sqrt.f64 x) y))
0.1b	(/.f64 (sqrt.f64 x) y)
1.9b	(/.f64 (sqrt.f64 x) (/.f64 y (/.f64 (sqrt.f64 x) y)))

rewrite141.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1422×	`times-frac_binary64_12019`
671×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
453×	`sqrt-prod_binary64_12029`
96×	`associate-/r*_binary64_11957`
35×	`div-inv_binary64_12010`
19×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
15×	`associate-/l*_binary64_11958`
10×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047`
9×	`associate-/r/_binary64_11959`
3×	`add-log-exp_binary64_12052` `clear-num_binary64_12012` `pow1_binary64_12074` `frac-2neg_binary64_12024`

Counts

3 → 665

Calls

6 calls:

28.0ms	(/.f64 (sqrt.f64 x) (/.f64 y (/.f64 (sqrt.f64 x) y)))
8.0ms	(/.f64 y (/.f64 (sqrt.f64 x) y))
4.0ms	(/.f64 (sqrt.f64 x) y)
0.0ms	(/.f64 (sqrt.f64 x) y)
0.0ms	(/.f64 y (/.f64 (sqrt.f64 x) y))

series193.0ms (0.1%)

Counts

3 → 18

Calls

3 calls:

75.0ms	(/.f64 y (/.f64 (sqrt.f64 x) y))
62.0ms	(/.f64 (sqrt.f64 x) (/.f64 y (/.f64 (sqrt.f64 x) y)))
56.0ms	(/.f64 (sqrt.f64 x) y)

Compiler

Compiled 368 to 315 computations (14.4% saved)

simplify274.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

683 → 683

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	5003	17632

prune8.1s (5.5%)

Pruning

344 alts after pruning (339 fresh and 5 done)

	Pruned	Kept	Total
New	793	331	1124
Fresh	2	8	10
Picked	0	0	0
Done	1	5	6
Total	796	344	1140

Error

Counts

1140 → 344

Compiler

Compiled 15070 to 5764 computations (61.8% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))
0.1b	(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))

rewrite59.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

498×	`times-frac_binary64_12019`
259×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
236×	`distribute-rgt-neg-in_binary64_11971` `distribute-lft-neg-in_binary64_11970`
42×	`neg-mul-1_binary64_12009`
30×	`associate-/l*_binary64_11958`
23×	`div-inv_binary64_12010`
10×	`associate-/r*_binary64_11957`
3×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
1×	`div-sub_binary64_12018` `distribute-neg-frac_binary64_11977` `add-log-exp_binary64_12052` `clear-num_binary64_12012` `div-exp_binary64_12064` `neg-sub0_binary64_12008` `pow1_binary64_12074` `distribute-frac-neg_binary64_11976` `cbrt-undiv_binary64_12047` `frac-2neg_binary64_12024` `associate-/l/_binary64_11960`

Counts

1 → 355

Calls

2 calls:

14.0ms	(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))
0.0ms	(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))

series65.0ms (0%)

Counts

1 → 6

Calls

1 calls:

65.0ms

(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))

Compiler

Compiled 60 to 60 computations (0% saved)

simplify125.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

361 → 361

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5076	8103

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (*.f64 y (/.f64 y x)))
0.2b	(*.f64 y (/.f64 y x))
0.2b	(*.f64 y (/.f64 y x))
0.2b	(/.f64 1 (*.f64 y (/.f64 y x)))

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-exp-log_binary64_12051`
17×	`add-sqr-sqrt_binary64_12035`
16×	`add-cbrt-cube_binary64_12049`
13×	`times-frac_binary64_12019` `associate-r_binary64_11953`
12×	`add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
10×	`div-exp_binary64_12064`
8×	`prod-exp_binary64_12062`
7×	`pow1_binary64_12074`
5×	`cbrt-undiv_binary64_12047`
4×	`cbrt-unprod_binary64_12046`
3×	`rec-exp_binary64_12063` `associate-l_binary64_11954` `associate-/l*_binary64_11958` `1-exp_binary64_12057`
2×	`add-log-exp_binary64_12052` `pow-flip_binary64_12087` `unswap-sqr_binary64_11981` `div-inv_binary64_12010` `pow-prod-down_binary64_12084` `associate-*r/_binary64_11955`
1×	`associate-/r/_binary64_11959` `-commutative_binary64_11944` `associate-/r_binary64_11957` `clear-num_binary64_12012` `inv-pow_binary64_12098` `frac-2neg_binary64_12024`

Counts

2 → 65

Calls

4 calls:

11.0ms	(/.f64 1 (*.f64 y (/.f64 y x)))
7.0ms	(*.f64 y (/.f64 y x))
0.0ms	(*.f64 y (/.f64 y x))
0.0ms	(/.f64 1 (*.f64 y (/.f64 y x)))

series132.0ms (0.1%)

Counts

2 → 12

Calls

2 calls:

67.0ms	(*.f64 y (/.f64 y x))
65.0ms	(/.f64 1 (*.f64 y (/.f64 y x)))

Compiler

Compiled 144 to 144 computations (0% saved)

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4890	674
1	4890	674

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

8.7b	(/.f64 x (*.f64 y y))
8.7b	(/.f64 x (*.f64 y y))
0.4b	(.f64 (cbrt.f64 (/.f64 x (.f64 y y))) (cbrt.f64 (/.f64 x (*.f64 y y))))
0.2b	(.f64 (.f64 (cbrt.f64 (/.f64 x (.f64 y y))) (cbrt.f64 (/.f64 x (.f64 y y)))) (cbrt.f64 (/.f64 x (*.f64 y y))))
8.7b	(/.f64 x (*.f64 y y))
21.7b	(cbrt.f64 (/.f64 x (*.f64 y y)))
21.7b	(cbrt.f64 (/.f64 x (*.f64 y y)))
21.7b	(cbrt.f64 (/.f64 x (*.f64 y y)))

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`cbrt-prod_binary64_12044`
12×	`times-frac_binary64_12019` `add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
9×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
4×	`add-log-exp_binary64_12052` `div-inv_binary64_12010` `pow1_binary64_12074`
3×	`pow1/3_binary64_12095` `associate-/l*_binary64_11958` `cbrt-div_binary64_12045`
2×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047`
1×	`associate-/r*_binary64_11957` `clear-num_binary64_12012` `frac-2neg_binary64_12024` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`

Counts

4 → 69

Calls

8 calls:

4.0ms	(/.f64 x (*.f64 y y))
4.0ms	(cbrt.f64 (/.f64 x (*.f64 y y)))
4.0ms	(cbrt.f64 (/.f64 x (*.f64 y y)))
4.0ms	(cbrt.f64 (/.f64 x (*.f64 y y)))
0.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 x (.f64 y y))) (cbrt.f64 (/.f64 x (.f64 y y)))) (cbrt.f64 (/.f64 x (*.f64 y y))))

series763.0ms (0.5%)

Counts

4 → 24

Calls

4 calls:

240.0ms	(cbrt.f64 (/.f64 x (*.f64 y y)))
237.0ms	(cbrt.f64 (/.f64 x (*.f64 y y)))
221.0ms	(cbrt.f64 (/.f64 x (*.f64 y y)))
65.0ms	(/.f64 x (*.f64 y y))

Compiler

Compiled 1302 to 870 computations (33.2% saved)

simplify81.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4915	1026
1	4915	1026

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
0.3b	(/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))
0.2b	(/.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 y (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
0.2b	(/.f64 y (/.f64 (cbrt.f64 x) (cbrt.f64 y)))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_12044`
8×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
4×	`add-cbrt-cube_binary64_12049` `add-log-exp_binary64_12052` `pow1/3_binary64_12095` `add-exp-log_binary64_12051` `pow1_binary64_12074`

Counts

4 → 44

Calls

8 calls:

1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 y)
0.0ms	(/.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 y (/.f64 (cbrt.f64 x) (cbrt.f64 y))))

series308.0ms (0.2%)

Counts

4 → 12

Calls

4 calls:

79.0ms	(cbrt.f64 x)
79.0ms	(cbrt.f64 x)
78.0ms	(cbrt.f64 y)
71.0ms	(cbrt.f64 x)

Compiler

Compiled 520 to 328 computations (36.9% saved)

simplify92.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4832	324
1	4832	324

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x))
0.1b	(/.f64 (sqrt.f64 x) (cbrt.f64 y))
0.1b	(.f64 (.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 y)) y)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x))))
0.1b	(/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 y)) y)
0.2b	(/.f64 (cbrt.f64 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)))
0.5b	(pow.f64 (cbrt.f64 y) 2)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite133.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

882×	`times-frac_binary64_12019`
438×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
348×	`cbrt-prod_binary64_12044`
258×	`unpow-prod-down_binary64_12092`
231×	`sqrt-prod_binary64_12029`
70×	`associate-/r*_binary64_11957`
43×	`sqr-pow_binary64_11985` `unpow2_binary64_12078`
15×	`add-exp-log_binary64_12051`
8×	`div-inv_binary64_12010`
7×	`add-cbrt-cube_binary64_12049` `div-exp_binary64_12064`
6×	`associate-/l*_binary64_11958`
5×	`pow1_binary64_12074`
4×	`add-log-exp_binary64_12052`
3×	`pow1/3_binary64_12095` `cbrt-undiv_binary64_12047` `pow-unpow_binary64_12090`
2×	`pow-to-exp_binary64_12082` `pow-pow_binary64_12085` `pow-exp_binary64_12081`
1×	`associate-/r/_binary64_11959` `clear-num_binary64_12012` `frac-2neg_binary64_12024`

Counts

4 → 557

Calls

8 calls:

22.0ms	(/.f64 (cbrt.f64 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)))
5.0ms	(pow.f64 (cbrt.f64 y) 2)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
0.0ms	(/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 y)) y)

series454.0ms (0.3%)

Counts

4 → 15

Calls

4 calls:

189.0ms	(/.f64 (cbrt.f64 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)))
106.0ms	(pow.f64 (cbrt.f64 y) 2)
85.0ms	(cbrt.f64 y)
74.0ms	(cbrt.f64 y)

Compiler

Compiled 824 to 705 computations (14.4% saved)

simplify247.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

572 → 572

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4924	16283
1	4924	16283

prune28.6s (19.2%)

Pruning

703 alts after pruning (693 fresh and 10 done)

	Pruned	Kept	Total
New	779	380	1159
Fresh	21	313	334
Picked	0	0	0
Done	0	10	10
Total	800	703	1503

Error

Counts

1503 → 703

Compiler

Compiled 33411 to 17922 computations (46.4% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))
0.1b	(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))

rewrite56.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

498×	`times-frac_binary64_12019`
259×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
236×	`distribute-rgt-neg-in_binary64_11971` `distribute-lft-neg-in_binary64_11970`
42×	`neg-mul-1_binary64_12009`
30×	`associate-/l*_binary64_11958`
23×	`div-inv_binary64_12010`
10×	`associate-/r*_binary64_11957`
3×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
1×	`div-sub_binary64_12018` `distribute-neg-frac_binary64_11977` `add-log-exp_binary64_12052` `clear-num_binary64_12012` `div-exp_binary64_12064` `neg-sub0_binary64_12008` `pow1_binary64_12074` `distribute-frac-neg_binary64_11976` `cbrt-undiv_binary64_12047` `frac-2neg_binary64_12024` `associate-/l/_binary64_11960`

Counts

1 → 355

Calls

2 calls:

16.0ms	(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))
0.0ms	(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))

series72.0ms (0%)

Counts

1 → 6

Calls

1 calls:

72.0ms

(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 y))

Compiler

Compiled 84 to 84 computations (0% saved)

simplify121.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

361 → 361

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5076	8103

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 (/.f64 1 y) (/.f64 y x))
0.2b	(/.f64 (/.f64 1 y) (/.f64 y x))

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

421×	`times-frac_binary64_12019`
197×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
29×	`div-inv_binary64_12010`
23×	`add-exp-log_binary64_12051`
16×	`div-exp_binary64_12064`
13×	`add-cbrt-cube_binary64_12049` `associate-/r_binary64_11957` `associate-/l_binary64_11958`
8×	`cbrt-undiv_binary64_12047`
2×	`rec-exp_binary64_12063` `1-exp_binary64_12057`
1×	`associate-/r/_binary64_11959` `add-log-exp_binary64_12052` `clear-num_binary64_12012` `pow1_binary64_12074` `frac-2neg_binary64_12024` `associate-/l/_binary64_11960`

Counts

1 → 219

Calls

2 calls:

11.0ms	(/.f64 (/.f64 1 y) (/.f64 y x))
0.0ms	(/.f64 (/.f64 1 y) (/.f64 y x))

series73.0ms (0%)

Counts

1 → 6

Calls

1 calls:

72.0ms

(/.f64 (/.f64 1 y) (/.f64 y x))

Compiler

Compiled 60 to 60 computations (0% saved)

simplify183.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (124.0ms)

Iter	Nodes	Cost
0	4897	4613
1	4897	4613

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 y (/.f64 (sqrt.f64 (sqrt.f64 x)) y))
0.1b	(/.f64 (sqrt.f64 (sqrt.f64 x)) y)
0.0b	(sqrt.f64 (sqrt.f64 x))
0.0b	(sqrt.f64 (sqrt.f64 x))
0.1b	(/.f64 (sqrt.f64 (sqrt.f64 x)) y)
0.1b	(/.f64 y (/.f64 (sqrt.f64 (sqrt.f64 x)) y))
0.3b	(pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
2.9b	(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3) (/.f64 y (/.f64 (sqrt.f64 (sqrt.f64 x)) y)))

rewrite702.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

6930×	`times-frac_binary64_12019`
3969×	`sqrt-prod_binary64_12029`
3059×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
900×	`cube-prod_binary64_12041` `unpow-prod-down_binary64_12092`
132×	`associate-/r*_binary64_11957`
107×	`div-inv_binary64_12010`
100×	`cube-mult_binary64_12043` `sqr-pow_binary64_11985` `unpow3_binary64_12079`
36×	`add-exp-log_binary64_12051` `associate-/l*_binary64_11958`
27×	`associate-/r/_binary64_11959`
22×	`div-exp_binary64_12064`
21×	`add-cbrt-cube_binary64_12049`
10×	`cbrt-undiv_binary64_12047`
7×	`pow1_binary64_12074`
5×	`pow-pow_binary64_12085`
4×	`add-log-exp_binary64_12052` `pow-to-exp_binary64_12082` `sqrt-pow1_binary64_12031` `pow-exp_binary64_12081`
3×	`clear-num_binary64_12012` `frac-2neg_binary64_12024` `pow-unpow_binary64_12090`
2×	`pow1/2_binary64_12093`
1×	`rem-cube-cbrt_binary64_12036` `sqrt-pow2_binary64_12032`

Counts

4 → 1000

Calls

8 calls:

83.0ms	(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3) (/.f64 y (/.f64 (sqrt.f64 (sqrt.f64 x)) y)))
10.0ms	(/.f64 y (/.f64 (sqrt.f64 (sqrt.f64 x)) y))
5.0ms	(/.f64 (sqrt.f64 (sqrt.f64 x)) y)
5.0ms	(pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
0.0ms	(sqrt.f64 (sqrt.f64 x))

series450.0ms (0.3%)

Counts

4 → 21

Calls

4 calls:

169.0ms	(/.f64 y (/.f64 (sqrt.f64 (sqrt.f64 x)) y))
155.0ms	(/.f64 (sqrt.f64 (sqrt.f64 x)) y)
65.0ms	(pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
60.0ms	(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3) (/.f64 y (/.f64 (sqrt.f64 (sqrt.f64 x)) y)))

Compiler

Compiled 545 to 494 computations (9.4% saved)

simplify466.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1021 → 1021

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	5018	39038

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (sqrt.f64 x) y)
0.1b	(/.f64 (sqrt.f64 x) y)
0.1b	(/.f64 (sqrt.f64 x) y)
0.1b	(/.f64 y (cbrt.f64 (/.f64 (sqrt.f64 x) y)))
1.9b	(/.f64 (sqrt.f64 x) (.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 x) y)) (cbrt.f64 (/.f64 (sqrt.f64 x) y)))) (/.f64 y (cbrt.f64 (/.f64 (sqrt.f64 x) y)))))
2.3b	(cbrt.f64 (/.f64 (sqrt.f64 x) y))
2.3b	(cbrt.f64 (/.f64 (sqrt.f64 x) y))
2.3b	(cbrt.f64 (/.f64 (sqrt.f64 x) y))

rewrite63.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`cbrt-prod_binary64_12044`
65×	`add-exp-log_binary64_12051`
60×	`times-frac_binary64_12019`
47×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
33×	`sqrt-prod_binary64_12029`
30×	`div-exp_binary64_12064`
26×	`add-cbrt-cube_binary64_12049`
20×	`prod-exp_binary64_12062`
14×	`cbrt-undiv_binary64_12047`
8×	`cbrt-unprod_binary64_12046`
6×	`associate-/l*_binary64_11958`
4×	`rec-exp_binary64_12063` `add-log-exp_binary64_12052` `div-inv_binary64_12010` `pow1_binary64_12074` `1-exp_binary64_12057`
3×	`associate-/r/_binary64_11959` `pow1/3_binary64_12095` `cbrt-div_binary64_12045`
1×	`associate-/r_binary64_11957` `clear-num_binary64_12012` `associate-l/_binary64_11956` `frac-2neg_binary64_12024` `associate-*r/_binary64_11955` `frac-times_binary64_12023`

Counts

4 → 141

Calls

8 calls:

27.0ms	(/.f64 (sqrt.f64 x) (.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 x) y)) (cbrt.f64 (/.f64 (sqrt.f64 x) y)))) (/.f64 y (cbrt.f64 (/.f64 (sqrt.f64 x) y)))))
4.0ms	(cbrt.f64 (/.f64 (sqrt.f64 x) y))
3.0ms	(cbrt.f64 (/.f64 (sqrt.f64 x) y))
3.0ms	(cbrt.f64 (/.f64 (sqrt.f64 x) y))
0.0ms	(/.f64 y (cbrt.f64 (/.f64 (sqrt.f64 x) y)))

series830.0ms (0.6%)

Counts

4 → 24

Calls

4 calls:

254.0ms	(cbrt.f64 (/.f64 (sqrt.f64 x) y))
250.0ms	(cbrt.f64 (/.f64 (sqrt.f64 x) y))
236.0ms	(cbrt.f64 (/.f64 (sqrt.f64 x) y))
90.0ms	(/.f64 (sqrt.f64 x) (.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 x) y)) (cbrt.f64 (/.f64 (sqrt.f64 x) y)))) (/.f64 y (cbrt.f64 (/.f64 (sqrt.f64 x) y)))))

Compiler

Compiled 1134 to 770 computations (32.1% saved)

simplify111.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5182	2520

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (sqrt.f64 y))
0.1b	(/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 y)))
0.1b	(/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (sqrt.f64 y)))
0.0b	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (sqrt.f64 y))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 y))))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
1.2b	(/.f64 (sqrt.f64 x) (.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (sqrt.f64 y))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 y)))))

rewrite70.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

135×	`add-exp-log_binary64_12051`
91×	`add-cbrt-cube_binary64_12049`
73×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047`
36×	`cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`
11×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
9×	`cbrt-prod_binary64_12044`
6×	`times-frac_binary64_12019` `sqrt-prod_binary64_12029` `associate-/l*_binary64_11958`
4×	`add-log-exp_binary64_12052` `pow1_binary64_12074`
3×	`associate-/r/_binary64_11959` `pow1/3_binary64_12095`
1×	`associate-/r_binary64_11957` `clear-num_binary64_12012` `div-inv_binary64_12010` `associate-l/_binary64_11956` `frac-2neg_binary64_12024` `associate-*r/_binary64_11955` `frac-times_binary64_12023`

Counts

4 → 103

Calls

8 calls:

50.0ms	(/.f64 (sqrt.f64 x) (.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (sqrt.f64 y))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 y)))))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
0.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (sqrt.f64 y))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 y))))

series316.0ms (0.2%)

Counts

4 → 15

Calls

4 calls:

86.0ms	(/.f64 (sqrt.f64 x) (.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (sqrt.f64 y))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 y)))))
84.0ms	(cbrt.f64 y)
78.0ms	(cbrt.f64 y)
68.0ms	(cbrt.f64 y)

Compiler

Compiled 676 to 421 computations (37.7% saved)

simplify133.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	4946	2220
1	4946	2220

prune60.0s (40.3%)

Pruning

1104 alts after pruning (1090 fresh and 14 done)

	Pruned	Kept	Total
New	1435	455	1890
Fresh	53	635	688
Picked	0	0	0
Done	1	14	15
Total	1489	1104	2593

Error

Counts

2593 → 1104

Compiler

Compiled 16937 to 4442 computations (73.8% saved)

simplify1.1s (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	6214	66289

regimes14.6s (9.8%)

Compiler: Compiled 130155 to 83259 computations (36% saved)

bsearch0.0ms (0%)

regimes36.0ms (0%)

Compiler: Compiled 52 to 74 computations (-42.3% saved)

bsearch0.0ms (0%)

regimes17.0ms (0%)

Accuracy

Total 0.2b remaining (100%)

Threshold costs 0.2b (100%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch2.0ms (0%)

Compiler: Compiled 12 to 14 computations (-16.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	16
1	9	16

end0.0ms (0%)

sample27.9s (18.8%)

Algorithm

1×

intervals

Results

178.0ms	8000×	body	128	valid
9.0ms	405×	body	128	invalid

Compiler

Compiled 32144 to 20645 computations (35.8% saved)

Pareto

0.0