Details

analyze18.0ms (0%)

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
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
87.4%	12.5%	0.1%	6
87.4%	12.5%	0.1%	7
93.7%	6.2%	0.1%	8
93.7%	6.2%	0.1%	9
96.8%	3.1%	0.1%	10
96.8%	3.1%	0.1%	11
98.3%	1.6%	0.1%	12
98.3%	1.6%	0.1%	13
99.1%	0.8%	0.1%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample11.0ms (0%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

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

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

0.0b

Counts

2 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 y 500))
0.0b	(+.f64 x (/.f64 y 500))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_12052` `*-un-lft-identity_binary64_12013`
1×	`distribute-lft-out_binary64_11964` `add-cbrt-cube_binary64_12049` `+-commutative_binary64_11943` `sum-log_binary64_12104` `flip3-+_binary64_12016` `add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `add-exp-log_binary64_12051` `flip-+_binary64_11987` `pow1_binary64_12074`

Counts

1 → 12

Calls

2 calls:

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

series61.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

61.0ms

(+.f64 x (/.f64 y 500))

Compiler

Compiled 72 to 78 computations (-8.3% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5533	200

prune50.0ms (0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	13	11	24
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	13	12	25

Error

Counts

25 → 12

Compiler

Compiled 231 to 179 computations (22.5% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 y 500))
0.0b	(+.f64 x (/.f64 y 500))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_12052` `*-un-lft-identity_binary64_12013`
1×	`distribute-lft-out_binary64_11964` `add-cbrt-cube_binary64_12049` `+-commutative_binary64_11943` `sum-log_binary64_12104` `flip3-+_binary64_12016` `add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `add-exp-log_binary64_12051` `flip-+_binary64_11987` `pow1_binary64_12074`

Counts

1 → 12

Calls

2 calls:

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

series65.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

65.0ms

(+.f64 x (/.f64 y 500))

Compiler

Compiled 108 to 114 computations (-5.6% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5533	200

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

30.5b	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 x (/.f64 y 500)))
3.6b	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
0.2b	(*.f64 y (/.f64 y 250000))
0.0b	(-.f64 x (/.f64 y 500))
0.0b	(-.f64 x (/.f64 y 500))
0.2b	(*.f64 y (/.f64 y 250000))
3.6b	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
30.5b	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 x (/.f64 y 500)))

rewrite43.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`add-sqr-sqrt_binary64_12035`
42×	`times-frac_binary64_12019`
40×	`*-un-lft-identity_binary64_12013`
30×	`add-cube-cbrt_binary64_12048`
14×	`cancel-sign-sub-inv_binary64_11979`
13×	`associate-r_binary64_11953`
11×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
10×	`difference-of-squares_binary64_11982`
8×	`add-log-exp_binary64_12052`
6×	`associate-/r*_binary64_11957` `pow1_binary64_12074`
5×	`distribute-lft-out--_binary64_11965`
4×	`flip3--_binary64_12017` `flip--_binary64_11988`
3×	`associate-l_binary64_11954` `div-inv_binary64_12010` `associate-/l*_binary64_11958`
2×	`associate-/r/_binary64_11959` `div-exp_binary64_12064` `unswap-sqr_binary64_11981` `cbrt-undiv_binary64_12047` `diff-log_binary64_12105` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062` `associate-/l/_binary64_11960` `sub-neg_binary64_12006`
1×	`div-sub_binary64_12018` `-commutative_binary64_11944` `clear-num_binary64_12012` `pow-prod-down_binary64_12084` `frac-2neg_binary64_12024` `associate-r/_binary64_11955`

Counts

4 → 115

Calls

8 calls:

13.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 x (/.f64 y 500)))
8.0ms	(-.f64 x (/.f64 y 500))
7.0ms	(*.f64 y (/.f64 y 250000))
4.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
0.0ms	(-.f64 x (/.f64 y 500))

series410.0ms (0.4%)

Counts

4 → 39

Calls

4 calls:

187.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 x (/.f64 y 500)))
127.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
68.0ms	(-.f64 x (/.f64 y 500))
27.0ms	(*.f64 y (/.f64 y 250000))

Compiler

Compiled 654 to 546 computations (16.5% saved)

simplify96.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4916	2641
1	4916	2641

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

3.0b	(exp.f64 (log.f64 (+.f64 x (/.f64 y 500))))
0.0b	(+.f64 x (/.f64 y 500))
0.0b	(+.f64 x (/.f64 y 500))
3.0b	(exp.f64 (log.f64 (+.f64 x (/.f64 y 500))))

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`*-un-lft-identity_binary64_12013`
4×	`exp-sum_binary64_12059` `add-log-exp_binary64_12052` `add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `log-prod_binary64_12099` `exp-prod_binary64_12065`
3×	`pow1_binary64_12074`
2×	`distribute-lft-out_binary64_11964` `add-cbrt-cube_binary64_12049` `flip3-+_binary64_12016` `exp-diff_binary64_12061` `add-exp-log_binary64_12051` `flip-+_binary64_11987` `log-div_binary64_12100`
1×	`+-commutative_binary64_11943` `sum-log_binary64_12104` `rem-exp-log_binary64_12053` `log-pow_binary64_12102`

Counts

2 → 30

Calls

4 calls:

11.0ms	(exp.f64 (log.f64 (+.f64 x (/.f64 y 500))))
7.0ms	(+.f64 x (/.f64 y 500))
0.0ms	(+.f64 x (/.f64 y 500))
0.0ms	(exp.f64 (log.f64 (+.f64 x (/.f64 y 500))))

series317.0ms (0.3%)

Counts

2 → 22

Calls

2 calls:

258.0ms	(exp.f64 (log.f64 (+.f64 x (/.f64 y 500))))
58.0ms	(+.f64 x (/.f64 y 500))

Compiler

Compiled 336 to 324 computations (3.6% saved)

simplify82.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4894	452
1	4894	452

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (+.f64 x (/.f64 y 500)))
0.0b	(sqrt.f64 (+.f64 x (/.f64 y 500)))
0.0b	(+.f64 x (/.f64 y 500))
0.0b	(+.f64 x (/.f64 y 500))
0.0b	(+.f64 x (/.f64 y 500))
0.0b	(sqrt.f64 (+.f64 x (/.f64 y 500)))
0.0b	(sqrt.f64 (+.f64 x (/.f64 y 500)))
0.3b	(*.f64 (sqrt.f64 (+.f64 x (/.f64 y 500))) (sqrt.f64 (+.f64 x (/.f64 y 500))))

rewrite48.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`sqrt-prod_binary64_12029` `*-un-lft-identity_binary64_12013`
30×	`add-sqr-sqrt_binary64_12035`
21×	`pow1_binary64_12074`
16×	`sqrt-div_binary64_12030`
14×	`add-cube-cbrt_binary64_12048`
11×	`swap-sqr_binary64_11980`
10×	`pow1/2_binary64_12093` `sqrt-pow1_binary64_12031`
9×	`distribute-lft-out_binary64_11964` `flip3-+_binary64_12016` `flip-+_binary64_11987`
7×	`associate-l_binary64_11954` `associate-r_binary64_11953`
6×	`add-cbrt-cube_binary64_12049` `add-log-exp_binary64_12052` `add-exp-log_binary64_12051`
5×	`pow-prod-up_binary64_12083`
4×	`unswap-sqr_binary64_11981` `rem-sqrt-square_binary64_12026` `frac-times_binary64_12023`
3×	`pow-prod-down_binary64_12084` `pow-sqr_binary64_11986`
2×	`associate-l/_binary64_11956` `associate-r/_binary64_11955`
1×	`+-commutative_binary64_11943` `rem-square-sqrt_binary64_12025` `sum-log_binary64_12104` `sqr-abs_binary64_12028` `*-commutative_binary64_11944` `pow-plus_binary64_12076` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062` `sqrt-unprod_binary64_12033` `pow2_binary64_12094`

Counts

4 → 107

Calls

8 calls:

19.0ms	(*.f64 (sqrt.f64 (+.f64 x (/.f64 y 500))) (sqrt.f64 (+.f64 x (/.f64 y 500))))
6.0ms	(sqrt.f64 (+.f64 x (/.f64 y 500)))
6.0ms	(sqrt.f64 (+.f64 x (/.f64 y 500)))
6.0ms	(+.f64 x (/.f64 y 500))
0.0ms	(+.f64 x (/.f64 y 500))

series242.0ms (0.2%)

Counts

4 → 44

Calls

4 calls:

69.0ms	(*.f64 (sqrt.f64 (+.f64 x (/.f64 y 500))) (sqrt.f64 (+.f64 x (/.f64 y 500))))
61.0ms	(+.f64 x (/.f64 y 500))
59.0ms	(sqrt.f64 (+.f64 x (/.f64 y 500)))
54.0ms	(sqrt.f64 (+.f64 x (/.f64 y 500)))

Compiler

Compiled 880 to 766 computations (13% saved)

simplify129.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	4939	1779
1	4939	1779

prune3.1s (3.1%)

Pruning

138 alts after pruning (134 fresh and 4 done)

	Pruned	Kept	Total
New	252	129	381
Fresh	1	5	6
Picked	0	0	0
Done	2	4	6
Total	255	138	393

Error

Counts

393 → 138

Compiler

Compiled 6717 to 4657 computations (30.7% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 y 500))
0.0b	(+.f64 x (/.f64 y 500))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_12052` `*-un-lft-identity_binary64_12013`
1×	`distribute-lft-out_binary64_11964` `add-cbrt-cube_binary64_12049` `+-commutative_binary64_11943` `sum-log_binary64_12104` `flip3-+_binary64_12016` `add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `add-exp-log_binary64_12051` `flip-+_binary64_11987` `pow1_binary64_12074`

Counts

1 → 12

Calls

2 calls:

6.0ms	(+.f64 x (/.f64 y 500))
0.0ms	(+.f64 x (/.f64 y 500))

series56.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

55.0ms

(+.f64 x (/.f64 y 500))

Compiler

Compiled 108 to 114 computations (-5.6% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5533	200

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(*.f64 y 1/500)
0.1b	(*.f64 y 1/500)

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_12035`
3×	`add-cbrt-cube_binary64_12049` `add-cube-cbrt_binary64_12048` `associate-l_binary64_11954` `add-exp-log_binary64_12051` `pow1_binary64_12074` `associate-r_binary64_11953` `*-un-lft-identity_binary64_12013`
1×	`add-log-exp_binary64_12052` `*-commutative_binary64_11944` `unswap-sqr_binary64_11981` `pow-prod-down_binary64_12084` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`

Counts

1 → 18

Calls

2 calls:

4.0ms	(*.f64 y 1/500)
0.0ms	(*.f64 y 1/500)

series17.0ms (0%)

Counts

1 → 3

Calls

1 calls:

17.0ms

(*.f64 y 1/500)

Compiler

Compiled 18 to 24 computations (-33.3% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4774	130
1	4774	130

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

3.2b	(exp.f64 (log.f64 (-.f64 x (/.f64 y 500))))
0.2b	(*.f64 y (/.f64 y 250000))
0.0b	(log.f64 (-.f64 x (/.f64 y 500)))
0.0b	(-.f64 x (/.f64 y 500))
0.2b	(*.f64 y (/.f64 y 250000))
3.2b	(exp.f64 (log.f64 (-.f64 x (/.f64 y 500))))
3.6b	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
16.0b	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (exp.f64 (log.f64 (-.f64 x (/.f64 y 500)))))

rewrite52.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

62×	`add-sqr-sqrt_binary64_12035`
42×	`times-frac_binary64_12019` `*-un-lft-identity_binary64_12013`
32×	`add-cube-cbrt_binary64_12048`
30×	`exp-sum_binary64_12059` `log-prod_binary64_12099`
13×	`associate-r_binary64_11953`
11×	`add-cbrt-cube_binary64_12049`
10×	`add-exp-log_binary64_12051` `difference-of-squares_binary64_11982`
9×	`associate-/r*_binary64_11957`
7×	`pow1_binary64_12074`
6×	`add-log-exp_binary64_12052`
5×	`distribute-lft-out--_binary64_11965`
4×	`exp-diff_binary64_12061` `flip3--_binary64_12017` `log-div_binary64_12100` `flip--_binary64_11988` `exp-prod_binary64_12065`
3×	`associate-l_binary64_11954` `associate-/l*_binary64_11958`
2×	`associate-/r/_binary64_11959` `div-exp_binary64_12064` `unswap-sqr_binary64_11981` `div-inv_binary64_12010` `cbrt-undiv_binary64_12047` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062` `associate-/l/_binary64_11960`
1×	`rem-exp-log_binary64_12053` `cancel-sign-sub-inv_binary64_11979` `div-sub_binary64_12018` `-commutative_binary64_11944` `clear-num_binary64_12012` `log-pow_binary64_12102` `pow-prod-down_binary64_12084` `diff-log_binary64_12105` `frac-2neg_binary64_12024` `associate-r/_binary64_11955` `sub-neg_binary64_12006`

Counts

4 → 120

Calls

8 calls:

15.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (exp.f64 (log.f64 (-.f64 x (/.f64 y 500)))))
8.0ms	(exp.f64 (log.f64 (-.f64 x (/.f64 y 500))))
8.0ms	(*.f64 y (/.f64 y 250000))
4.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
0.0ms	(-.f64 x (/.f64 y 500))

series812.0ms (0.8%)

Counts

4 → 35

Calls

4 calls:

404.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (exp.f64 (log.f64 (-.f64 x (/.f64 y 500)))))
253.0ms	(exp.f64 (log.f64 (-.f64 x (/.f64 y 500))))
128.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
25.0ms	(*.f64 y (/.f64 y 250000))

Compiler

Compiled 1089 to 925 computations (15.1% saved)

simplify95.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4998	3123
1	4998	3123

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 y)
0.3b	(/.f64 (cbrt.f64 y) (cbrt.f64 500))
0.2b	(*.f64 y (/.f64 y 250000))
0.0b	(+.f64 x (neg.f64 (pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 500)) 3)))
0.6b	(cbrt.f64 y)
0.7b	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 500)) 3)
3.6b	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
30.5b	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (+.f64 x (neg.f64 (pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 500)) 3))))

rewrite92.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

87×	`times-frac_binary64_12019`
82×	`*-un-lft-identity_binary64_12013`
75×	`cbrt-prod_binary64_12044`
66×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048`
40×	`cube-prod_binary64_12041` `unpow-prod-down_binary64_12092`
9×	`add-exp-log_binary64_12051`
8×	`distribute-lft-out_binary64_11964`
7×	`add-cbrt-cube_binary64_12049`
6×	`add-log-exp_binary64_12052`
5×	`associate-/r*_binary64_11957` `pow1_binary64_12074`
4×	`distribute-rgt-neg-in_binary64_11971`
3×	`div-inv_binary64_12010` `associate-/l*_binary64_11958` `pow-unpow_binary64_12090`
2×	`associate-/r/_binary64_11959` `rem-cube-cbrt_binary64_12036` `flip3--_binary64_12017` `div-exp_binary64_12064` `cbrt-undiv_binary64_12047` `flip--_binary64_11988` `pow-exp_binary64_12081` `associate-/l/_binary64_11960`
1×	`cancel-sign-sub-inv_binary64_11979` `flip3-+_binary64_12016` `div-sub_binary64_12018` `cube-mult_binary64_12043` `clear-num_binary64_12012` `sqr-pow_binary64_11985` `pow1/3_binary64_12095` `cube-div_binary64_12042` `flip-+_binary64_11987` `unpow3_binary64_12079` `diff-log_binary64_12105` `frac-2neg_binary64_12024` `pow-to-exp_binary64_12082` `pow-pow_binary64_12085` `sub-neg_binary64_12006`

Counts

4 → 163

Calls

8 calls:

57.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (+.f64 x (neg.f64 (pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 500)) 3))))
10.0ms	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 500)) 3)
4.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
1.0ms	(cbrt.f64 y)
0.0ms	(+.f64 x (neg.f64 (pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 500)) 3)))

series574.0ms (0.6%)

Counts

4 → 30

Calls

4 calls:

186.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (+.f64 x (neg.f64 (pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 500)) 3))))
175.0ms	(pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 500)) 3)
135.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
77.0ms	(cbrt.f64 y)

Compiler

Compiled 935 to 839 computations (10.3% saved)

simplify99.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4823	3223
1	4823	3223

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (/.f64 y 500))
0.1b	(sqrt.f64 (/.f64 y 500))
0.0b	(+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))
0.0b	(-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))
0.2b	(*.f64 y (/.f64 y 250000))
2.3b	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500))))
3.6b	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
5.6b	(.f64 (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))) (/.f64 (-.f64 (.f64 x x) (*.f64 y (/.f64 y 250000))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))))

rewrite110.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

172×	`add-sqr-sqrt_binary64_12035`
112×	`times-frac_binary64_12019`
94×	`*-un-lft-identity_binary64_12013`
69×	`sqrt-prod_binary64_12029`
52×	`add-cube-cbrt_binary64_12048` `associate-r_binary64_11953`
42×	`difference-of-squares_binary64_11982`
33×	`add-exp-log_binary64_12051`
24×	`associate-l_binary64_11954`
23×	`add-cbrt-cube_binary64_12049`
14×	`distribute-lft-out--_binary64_11965`
11×	`associate-/r*_binary64_11957`
10×	`div-exp_binary64_12064` `prod-exp_binary64_12062`
8×	`unswap-sqr_binary64_11981` `pow1_binary64_12074`
6×	`distribute-lft-out_binary64_11964` `associate-/r/_binary64_11959` `add-log-exp_binary64_12052` `cbrt-undiv_binary64_12047` `cbrt-unprod_binary64_12046`
4×	`flip3--_binary64_12017` `div-inv_binary64_12010` `flip--_binary64_11988`
3×	`associate-/l*_binary64_11958`
2×	`rec-exp_binary64_12063` `-commutative_binary64_11944` `pow-prod-down_binary64_12084` `associate-r/_binary64_11955` `associate-/l/_binary64_11960` `1-exp_binary64_12057`
1×	`cancel-sign-sub-inv_binary64_11979` `flip3-+_binary64_12016` `div-sub_binary64_12018` `clear-num_binary64_12012` `flip-+_binary64_11987` `associate-*l/_binary64_11956` `diff-log_binary64_12105` `frac-2neg_binary64_12024` `frac-times_binary64_12023` `sub-neg_binary64_12006`

Counts

4 → 198

Calls

8 calls:

45.0ms	(.f64 (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))) (/.f64 (-.f64 (.f64 x x) (*.f64 y (/.f64 y 250000))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))))
18.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500))))
13.0ms	(*.f64 y (/.f64 y 250000))
4.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
0.0ms	(-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))

series441.0ms (0.4%)

Counts

4 → 27

Calls

4 calls:

183.0ms	(.f64 (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))) (/.f64 (-.f64 (.f64 x x) (*.f64 y (/.f64 y 250000))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))))
129.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
100.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500))))
28.0ms	(*.f64 y (/.f64 y 250000))

Compiler

Compiled 1211 to 1021 computations (15.7% saved)

simplify164.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4939	7180
1	4939	7180

prune9.4s (9.3%)

Pruning

324 alts after pruning (317 fresh and 7 done)

	Pruned	Kept	Total
New	426	192	618
Fresh	4	125	129
Picked	0	0	0
Done	2	7	9
Total	432	324	756

Error

Counts

756 → 324

Compiler

Compiled 17890 to 12176 computations (31.9% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 y 500))
0.0b	(+.f64 x (/.f64 y 500))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_12052` `*-un-lft-identity_binary64_12013`
1×	`distribute-lft-out_binary64_11964` `add-cbrt-cube_binary64_12049` `+-commutative_binary64_11943` `sum-log_binary64_12104` `flip3-+_binary64_12016` `add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `add-exp-log_binary64_12051` `flip-+_binary64_11987` `pow1_binary64_12074`

Counts

1 → 12

Calls

2 calls:

6.0ms	(+.f64 x (/.f64 y 500))
0.0ms	(+.f64 x (/.f64 y 500))

series65.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

65.0ms

(+.f64 x (/.f64 y 500))

Compiler

Compiled 126 to 132 computations (-4.8% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5533	200

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 x (/.f64 y 500))
0.2b	(pow.f64 (/.f64 y 500) 3)
0.2b	(*.f64 (/.f64 y 500) (/.f64 y 500))
0.2b	(*.f64 y (/.f64 y 250000))
3.4b	(-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y 500) 3))
3.6b	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
30.5b	(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y 500) 3))) (+.f64 (.f64 x x) (+.f64 (.f64 (/.f64 y 500) (/.f64 y 500)) (.f64 x (/.f64 y 500)))))
42.2b	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y 500) 3)))

rewrite219.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

468×	`add-sqr-sqrt_binary64_12035`
281×	`times-frac_binary64_12019`
192×	`difference-of-squares_binary64_11982`
175×	`*-un-lft-identity_binary64_12013`
157×	`cube-prod_binary64_12041` `unpow-prod-down_binary64_12092`
105×	`associate-l_binary64_11954`
95×	`add-cube-cbrt_binary64_12048`
81×	`sqr-pow_binary64_11985`
40×	`distribute-lft-out--_binary64_11965`
33×	`cancel-sign-sub-inv_binary64_11979` `associate-/r*_binary64_11957`
11×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
8×	`add-log-exp_binary64_12052` `difference-cubes_binary64_12015`
6×	`pow1_binary64_12074`
5×	`flip3--_binary64_12017` `flip--_binary64_11988`
4×	`associate-/r/_binary64_11959` `div-inv_binary64_12010`
3×	`associate-/l_binary64_11958` `associate-r*_binary64_11953`
2×	`flip3-+_binary64_12016` `div-exp_binary64_12064` `unswap-sqr_binary64_11981` `flip-+_binary64_11987` `cbrt-undiv_binary64_12047` `diff-log_binary64_12105` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062` `associate-*r/_binary64_11955` `frac-times_binary64_12023` `associate-/l/_binary64_11960` `sub-neg_binary64_12006`
1×	`distribute-lft-in_binary64_11962` `div-sub_binary64_12018` `-commutative_binary64_11944` `cube-mult_binary64_12043` `clear-num_binary64_12012` `pow-prod-down_binary64_12084` `associate-l/_binary64_11956` `unpow3_binary64_12079` `frac-2neg_binary64_12024` `distribute-rgt-in_binary64_11963`

Counts

4 → 367

Calls

8 calls:

59.0ms	(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y 500) 3))) (+.f64 (.f64 x x) (+.f64 (.f64 (/.f64 y 500) (/.f64 y 500)) (.f64 x (/.f64 y 500)))))
43.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y 500) 3)))
27.0ms	(-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y 500) 3))
10.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))
0.0ms	(*.f64 y (/.f64 y 250000))

series1.0s (1%)

Counts

4 → 54

Calls

4 calls:

418.0ms	(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y 500) 3))) (+.f64 (.f64 x x) (+.f64 (.f64 (/.f64 y 500) (/.f64 y 500)) (.f64 x (/.f64 y 500)))))
243.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 y (/.f64 y 250000))) (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y 500) 3)))
202.0ms	(-.f64 (pow.f64 x 3) (pow.f64 (/.f64 y 500) 3))
146.0ms	(-.f64 (.f64 x x) (.f64 y (/.f64 y 250000)))

Compiler

Compiled 2226 to 1710 computations (23.2% saved)

simplify208.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

421 → 421

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4939	17321
1	4939	17321

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (/.f64 y 500))
0.1b	(sqrt.f64 (/.f64 y 500))
0.0b	(+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))
0.0b	(-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))
0.2b	(*.f64 (/.f64 y 500) (/.f64 y 500))
2.3b	(/.f64 (-.f64 (.f64 x x) (.f64 (/.f64 y 500) (/.f64 y 500))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500))))
3.6b	(-.f64 (.f64 x x) (.f64 (/.f64 y 500) (/.f64 y 500)))
5.6b	(.f64 (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))) (/.f64 (-.f64 (.f64 x x) (*.f64 (/.f64 y 500) (/.f64 y 500))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))))

rewrite137.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

229×	`add-sqr-sqrt_binary64_12035`
168×	`times-frac_binary64_12019`
124×	`*-un-lft-identity_binary64_12013`
87×	`sqrt-prod_binary64_12029`
78×	`difference-of-squares_binary64_11982`
74×	`add-cube-cbrt_binary64_12048`
63×	`associate-r_binary64_11953`
40×	`add-exp-log_binary64_12051`
34×	`associate-l_binary64_11954`
30×	`add-cbrt-cube_binary64_12049`
18×	`distribute-lft-out--_binary64_11965`
13×	`div-exp_binary64_12064` `swap-sqr_binary64_11980` `pow1_binary64_12074`
12×	`prod-exp_binary64_12062`
11×	`associate-/r*_binary64_11957`
10×	`unswap-sqr_binary64_11981`
9×	`cbrt-undiv_binary64_12047`
8×	`cbrt-unprod_binary64_12046`
7×	`div-inv_binary64_12010`
6×	`distribute-lft-out_binary64_11964` `associate-/r/_binary64_11959` `add-log-exp_binary64_12052`
4×	`flip3--_binary64_12017` `flip--_binary64_11988` `associate-/l*_binary64_11958`
2×	`rec-exp_binary64_12063` `-commutative_binary64_11944` `pow-prod-down_binary64_12084` `associate-l/_binary64_11956` `associate-*r/_binary64_11955` `frac-times_binary64_12023` `associate-/l/_binary64_11960` `1-exp_binary64_12057`
1×	`pow-prod-up_binary64_12083` `cancel-sign-sub-inv_binary64_11979` `flip3-+_binary64_12016` `div-sub_binary64_12018` `pow-plus_binary64_12076` `clear-num_binary64_12012` `flip-+_binary64_11987` `diff-log_binary64_12105` `pow-sqr_binary64_11986` `frac-2neg_binary64_12024` `sub-neg_binary64_12006` `pow2_binary64_12094`

Counts

4 → 257

Calls

8 calls:

56.0ms	(.f64 (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))) (/.f64 (-.f64 (.f64 x x) (*.f64 (/.f64 y 500) (/.f64 y 500))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))))
18.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (/.f64 y 500) (/.f64 y 500))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500))))
12.0ms	(*.f64 (/.f64 y 500) (/.f64 y 500))
5.0ms	(-.f64 (.f64 x x) (.f64 (/.f64 y 500) (/.f64 y 500)))
0.0ms	(-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))

series463.0ms (0.5%)

Counts

4 → 27

Calls

4 calls:

188.0ms	(.f64 (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))) (/.f64 (-.f64 (.f64 x x) (*.f64 (/.f64 y 500) (/.f64 y 500))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500)))))
140.0ms	(-.f64 (.f64 x x) (.f64 (/.f64 y 500) (/.f64 y 500)))
101.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (/.f64 y 500) (/.f64 y 500))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 y 500))))
33.0ms	(*.f64 (/.f64 y 500) (/.f64 y 500))

Compiler

Compiled 1211 to 1021 computations (15.7% saved)

simplify170.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

284 → 284

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4960	7968
1	4960	7968

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (/.f64 (pow.f64 y 3/2) (.f64 (cbrt.f64 250000) (cbrt.f64 250000))) (/.f64 (sqrt.f64 y) (cbrt.f64 250000)))
0.1b	(/.f64 (pow.f64 y 3/2) (*.f64 (cbrt.f64 250000) (cbrt.f64 250000)))
0.0b	(-.f64 x (/.f64 y 500))
0.0b	(log.f64 (-.f64 x (/.f64 y 500)))
0.2b	(/.f64 (sqrt.f64 y) (cbrt.f64 250000))
2.3b	(-.f64 (.f64 x x) (.f64 (/.f64 (pow.f64 y 3/2) (*.f64 (cbrt.f64 250000) (cbrt.f64 250000))) (/.f64 (sqrt.f64 y) (cbrt.f64 250000))))
3.2b	(exp.f64 (log.f64 (-.f64 x (/.f64 y 500))))
3.9b	(/.f64 (-.f64 (.f64 x x) (.f64 (/.f64 (pow.f64 y 3/2) (*.f64 (cbrt.f64 250000) (cbrt.f64 250000))) (/.f64 (sqrt.f64 y) (cbrt.f64 250000)))) (exp.f64 (log.f64 (-.f64 x (/.f64 y 500)))))

rewrite61.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

77×	`add-sqr-sqrt_binary64_12035`
68×	`times-frac_binary64_12019`
62×	`*-un-lft-identity_binary64_12013`
52×	`add-cube-cbrt_binary64_12048`
30×	`exp-sum_binary64_12059` `log-prod_binary64_12099`
21×	`cbrt-prod_binary64_12044` `sqrt-prod_binary64_12029`
15×	`associate-/r*_binary64_11957`
10×	`difference-of-squares_binary64_11982`
9×	`associate-/l*_binary64_11958`
7×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
6×	`add-log-exp_binary64_12052`
5×	`pow1_binary64_12074` `distribute-lft-out--_binary64_11965`
4×	`exp-diff_binary64_12061` `flip3--_binary64_12017` `log-div_binary64_12100` `flip--_binary64_11988` `exp-prod_binary64_12065`
2×	`associate-/r/_binary64_11959` `clear-num_binary64_12012` `div-exp_binary64_12064` `div-inv_binary64_12010` `cbrt-undiv_binary64_12047` `frac-2neg_binary64_12024` `associate-/l/_binary64_11960`
1×	`rem-exp-log_binary64_12053` `cancel-sign-sub-inv_binary64_11979` `div-sub_binary64_12018` `log-pow_binary64_12102` `diff-log_binary64_12105` `sub-neg_binary64_12006`

Counts

4 → 148

Calls

8 calls:

16.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (/.f64 (pow.f64 y 3/2) (*.f64 (cbrt.f64 250000) (cbrt.f64 250000))) (/.f64 (sqrt.f64 y) (cbrt.f64 250000)))) (exp.f64 (log.f64 (-.f64 x (/.f64 y 500)))))
8.0ms	(exp.f64 (log.f64 (-.f64 x (/.f64 y 500))))
6.0ms	(/.f64 (sqrt.f64 y) (cbrt.f64 250000))
5.0ms	(-.f64 (.f64 x x) (.f64 (/.f64 (pow.f64 y 3/2) (*.f64 (cbrt.f64 250000) (cbrt.f64 250000))) (/.f64 (sqrt.f64 y) (cbrt.f64 250000))))
0.0ms	(log.f64 (-.f64 x (/.f64 y 500)))

series664.0ms (0.7%)

Counts

4 → 31

Calls

4 calls:

258.0ms	(-.f64 (.f64 x x) (.f64 (/.f64 (pow.f64 y 3/2) (*.f64 (cbrt.f64 250000) (cbrt.f64 250000))) (/.f64 (sqrt.f64 y) (cbrt.f64 250000))))
194.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (/.f64 (pow.f64 y 3/2) (*.f64 (cbrt.f64 250000) (cbrt.f64 250000))) (/.f64 (sqrt.f64 y) (cbrt.f64 250000)))) (exp.f64 (log.f64 (-.f64 x (/.f64 y 500)))))
180.0ms	(exp.f64 (log.f64 (-.f64 x (/.f64 y 500))))
32.0ms	(/.f64 (sqrt.f64 y) (cbrt.f64 250000))

Compiler

Compiled 1431 to 1255 computations (12.3% saved)

simplify116.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4950	3872
1	4950	3872

prune39.7s (39.6%)

Pruning

631 alts after pruning (620 fresh and 11 done)

	Pruned	Kept	Total
New	565	343	908
Fresh	35	277	312
Picked	0	0	0
Done	1	11	12
Total	601	631	1232

Error

Counts

1232 → 631

Compiler

Compiled 21084 to 13438 computations (36.3% saved)

simplify724.0ms (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5185	49142

regimes13.0s (13%)

Compiler: Compiled 112436 to 81822 computations (27.2% saved)

bsearch0.0ms (0%)

regimes97.0ms (0.1%)

Compiler: Compiled 40 to 73 computations (-82.5% saved)

bsearch16.0ms (0%)

Steps

Iters	Range		Point
4	1.2466244829829931e-99	1.7834768789668795e-99	1.766700241592383e-99
9	-4.726399117702212e+27	-4.0100510404682664e+21	-8.237610870529575e+21

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes19.0ms (0%)

Accuracy

Total 0.0b remaining (89.2%)

Threshold costs 0.0b (89.2%)

Compiler

Compiled 12 to 30 computations (-150% saved)

bsearch2.0ms (0%)

Compiler: Compiled 19 to 17 computations (10.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	26
1	17	26

end0.0ms (0%)

sample26.4s (26.3%)

Algorithm

1×

intervals

Results

171.0ms

8000×

body

128

valid

Compiler

Compiled 28167 to 20508 computations (27.2% saved)

Pareto

0.3133722864589979