Details

analyze450.0ms (6.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

1202×	`div-sub_binary64_17474`
985×	`sub-neg_binary64_17462`
724×	`unsub-neg_binary64_17463`
722×	`times-frac_binary64_17475`
453×	`*-commutative_binary64_17400`
396×	`associate-/l*_binary64_17414`
315×	`cancel-sign-sub-inv_binary64_17435`
299×	`neg-mul-1_binary64_17465`
295×	`distribute-lft-neg-in_binary64_17426`
293×	`neg-sub0_binary64_17464`
283×	`distribute-rgt-in_binary64_17419`
265×	`associate--r+_binary64_17405`
262×	`distribute-neg-in_binary64_17430`
244×	`distribute-lft-in_binary64_17418`
240×	`associate-+r+_binary64_17401`
236×	`associate--l+_binary64_17406`
228×	`associate-+l+_binary64_17402`
202×	`distribute-rgt-neg-in_binary64_17427`
182×	`distribute-frac-neg_binary64_17432`
162×	`associate-/r*_binary64_17413`
160×	`distribute-neg-frac_binary64_17433`
153×	`distribute-rgt-neg-out_binary64_17429`
120×	`associate--r-_binary64_17408`
118×	`distribute-lft-neg-out_binary64_17428`
114×	`+-commutative_binary64_17399`
112×	`+-rgt-identity_binary64_17454`
96×	`associate-+l-_binary64_17404`
90×	`*-lft-identity_binary64_17458` `associate--l-_binary64_17407`
86×	`remove-double-neg_binary64_17457`
85×	`associate-r_binary64_17409`
80×	`/-rgt-identity_binary64_17460`
78×	`--rgt-identity_binary64_17455`
74×	`associate-+r-_binary64_17403`
60×	`associate-l_binary64_17410`
46×	`associate-/l/_binary64_17416` `associate-/r/_binary64_17415`
44×	`mul0-rgt_binary64_17452` `mul0-lft_binary64_17451`
38×	`associate-*l/_binary64_17412`
36×	`*-rgt-identity_binary64_17459`
32×	`sub0-neg_binary64_17456` `div0_binary64_17450`
24×	`cancel-sign-sub_binary64_17434`
20×	`mul-1-neg_binary64_17461` `+-lft-identity_binary64_17453` `distribute-rgt-out--_binary64_17423` `distribute-rgt-out_binary64_17422`
10×	`distribute-rgt1-in_binary64_17425`
8×	`associate-*r/_binary64_17411`
6×	`lft-mult-inverse_binary64_17447` `distribute-lft1-in_binary64_17424`
4×	`*-inverses_binary64_17449`
2×	`remove-double-div_binary64_17445` `distribute-neg-out_binary64_17431` `distribute-lft-out--_binary64_17421`
1×	`1-exp_binary64_17513`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `log-rec_binary64_17557` `log-div_binary64_17556` `log-prod_binary64_17555` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow3_binary64_17535` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `pow-plus_binary64_17532` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `exp-prod_binary64_17521` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `exp-diff_binary64_17517` `exp-neg_binary64_17516` `exp-sum_binary64_17515` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-unmult_binary64_17506` `cube-mult_binary64_17499` `cube-div_binary64_17498` `cube-prod_binary64_17497` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `+-inverses_binary64_17448` `rgt-mult-inverse_binary64_17446` `pow-sqr_binary64_17442` `sqr-pow_binary64_17441` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `difference-of-squares_binary64_17438` `unswap-sqr_binary64_17437` `swap-sqr_binary64_17436` `distribute-lft-out_binary64_17420` `count-2_binary64_17417`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	32
1	32	32
2	79	32
3	172	32
4	485	32
5	1148	32
6	1917	32
7	2433	32
8	2801	32
9	3063	32
10	2737	32
11	2785	32
12	3493	32
13	3569	32
14	4553	32
15	4473	32
16	4569	32
17	4569	32
18	4569	32
19	4569	32
20	5216	32
0	2	2
1	2	2

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
12.5%	87.4%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.7%	0.1%	6
67.1%	32.8%	0.1%	7
71%	28.9%	0.1%	8
82.3%	17.6%	0.1%	9
84.9%	15%	0.1%	10
90.8%	9.1%	0.1%	11
92.2%	7.7%	0.1%	12
95.3%	4.6%	0.1%	13
96%	3.9%	0.1%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample20.0ms (0.3%)

Algorithm

1×

intervals

Results

6.0ms	193×	body	128	valid
2.0ms	29×	body	512	valid
2.0ms	21×	body	1024	valid
1.0ms	13×	body	256	valid

Compiler

Compiled 23 to 23 computations (0% saved)

simplify180.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1574×	`distribute-rgt-in_binary64_17419`
1102×	`div-sub_binary64_17474`
756×	`sub-neg_binary64_17462`
664×	`associate-/l*_binary64_17414`
569×	`unsub-neg_binary64_17463`
509×	`associate-/r*_binary64_17413`
485×	`neg-mul-1_binary64_17465`
454×	`neg-sub0_binary64_17464`
407×	`distribute-lft-in_binary64_17418`
400×	`associate-l_binary64_17410`
385×	`associate-r_binary64_17409`
308×	`associate-*l/_binary64_17412`
302×	`associate-/l/_binary64_17416`
295×	`distribute-neg-in_binary64_17430`
282×	`times-frac_binary64_17475`
262×	`associate-/r/_binary64_17415`
248×	`distribute-lft-neg-out_binary64_17428`
217×	`distribute-frac-neg_binary64_17432`
176×	`distribute-rgt-out--_binary64_17423`
174×	`distribute-lft-neg-in_binary64_17426`
171×	`*-commutative_binary64_17400`
162×	`distribute-neg-out_binary64_17431`
159×	`cancel-sign-sub-inv_binary64_17435`
130×	`associate-+l+_binary64_17402`
129×	`distribute-lft-out--_binary64_17421`
122×	`distribute-rgt-neg-in_binary64_17427`
118×	`associate-+l-_binary64_17404`
106×	`distribute-rgt-out_binary64_17422` `associate--l+_binary64_17406`
104×	`associate-+r-_binary64_17403`
98×	`distribute-rgt-neg-out_binary64_17429`
93×	`associate--r+_binary64_17405`
85×	`associate-*r/_binary64_17411`
83×	`associate--l-_binary64_17407`
73×	`remove-double-neg_binary64_17457`
72×	`/-rgt-identity_binary64_17460` `+-commutative_binary64_17399`
71×	`--rgt-identity_binary64_17455`
64×	`distribute-lft-out_binary64_17420`
63×	`associate--r-_binary64_17408`
52×	`distribute-neg-frac_binary64_17433`
40×	`mul0-rgt_binary64_17452`
39×	`mul0-lft_binary64_17451`
38×	`distribute-rgt1-in_binary64_17425`
30×	`div0_binary64_17450`
29×	`distribute-lft1-in_binary64_17424`
25×	`sub0-neg_binary64_17456`
24×	`*-rgt-identity_binary64_17459`
21×	`mul-1-neg_binary64_17461` `*-lft-identity_binary64_17458`
17×	`remove-double-div_binary64_17445`
15×	`associate-+r+_binary64_17401`
9×	`+-lft-identity_binary64_17453`
4×	`*-inverses_binary64_17449` `swap-sqr_binary64_17436`
3×	`+-rgt-identity_binary64_17454` `lft-mult-inverse_binary64_17447` `cancel-sign-sub_binary64_17434`
2×	`sqr-neg_binary64_17483`
1×	`1-exp_binary64_17513`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `log-rec_binary64_17557` `log-div_binary64_17556` `log-prod_binary64_17555` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow3_binary64_17535` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `pow-plus_binary64_17532` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `exp-prod_binary64_17521` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `exp-diff_binary64_17517` `exp-neg_binary64_17516` `exp-sum_binary64_17515` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-unmult_binary64_17506` `cube-mult_binary64_17499` `cube-div_binary64_17498` `cube-prod_binary64_17497` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `+-inverses_binary64_17448` `rgt-mult-inverse_binary64_17446` `pow-sqr_binary64_17442` `sqr-pow_binary64_17441` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `difference-of-squares_binary64_17438` `unswap-sqr_binary64_17437` `count-2_binary64_17417`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	19	16
2	43	16
3	98	16
4	256	16
5	565	16
6	972	16
7	1231	16
8	1769	16
9	2294	16
10	2639	16
11	2822	16
12	1409	16
13	1425	16
14	1705	16
15	1573	16
16	1509	16
17	1509	16
18	3701	16
19	4209	16
20	4852	16

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

24.9b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) y)
2.6b	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
8.4b	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))

rewrite140.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

15.4b

Rules

21×	`*-un-lft-identity_binary64_17469`
17×	`add-sqr-sqrt_binary64_17491`
10×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505` `cancel-sign-sub-inv_binary64_17435`
9×	`add-cube-cbrt_binary64_17504`
8×	`times-frac_binary64_17475`
6×	`associate-l_binary64_17410`
5×	`pow1_binary64_17530` `add-log-exp_binary64_17508`
4×	`associate-l/_binary64_17412` `associate-/r/_binary64_17415` `associate-/r_binary64_17413` `difference-of-squares_binary64_17438`
3×	`distribute-lft-out_binary64_17420` `flip3--_binary64_17473` `flip--_binary64_17444` `associate-r_binary64_17409`
2×	`prod-exp_binary64_17518` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `cbrt-unprod_binary64_17502` `div-inv_binary64_17466` `associate-/l/_binary64_17416` `flip3-+_binary64_17472` `flip-+_binary64_17443` `distribute-lft-out--_binary64_17421`
1×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `associate-/l_binary64_17414` `diff-log_binary64_17561` `sub-neg_binary64_17462` `pow-prod-down_binary64_17540` `unswap-sqr_binary64_17437` `-commutative_binary64_17400`

Counts

3 → 74

Calls

3 calls:

10.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
9.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
7.0ms	(*.f64 (-.f64 1 x) y)

Compiler

Compiled 1435 to 1072 computations (25.3% saved)

series502.0ms (7.5%)

Error

0.0b

Counts

3 → 45

Calls

3 calls:

194.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
176.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
89.0ms	(*.f64 (-.f64 1 x) y)

Compiler

Compiled 1482 to 1094 computations (26.2% saved)

simplify101.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

387×	`distribute-rgt-in_binary64_17419`
370×	`cancel-sign-sub-inv_binary64_17435`
358×	`div-sub_binary64_17474`
320×	`distribute-lft-in_binary64_17418`
273×	`sub-neg_binary64_17462`
159×	`distribute-rgt-neg-in_binary64_17427`
125×	`distribute-neg-frac_binary64_17433` `distribute-lft-neg-in_binary64_17426`
107×	`exp-prod_binary64_17521` `associate-/l*_binary64_17414` `+-commutative_binary64_17399`
100×	`distribute-neg-in_binary64_17430`
93×	`associate--l+_binary64_17406`
88×	`associate-l_binary64_17410`
83×	`associate-r_binary64_17409`
79×	`neg-sub0_binary64_17464`
78×	`exp-sum_binary64_17515`
77×	`associate--r+_binary64_17405`
75×	`neg-mul-1_binary64_17465`
69×	`associate-+l+_binary64_17402`
65×	`times-frac_binary64_17475` `*-commutative_binary64_17400`
62×	`unsub-neg_binary64_17463`
58×	`distribute-lft-neg-out_binary64_17428`
54×	`associate-+r+_binary64_17401`
53×	`distribute-rgt-out_binary64_17422` `associate-*l/_binary64_17412`
45×	`associate-/r*_binary64_17413`
40×	`log-prod_binary64_17555`
39×	`cube-div_binary64_17498` `cube-prod_binary64_17497`
37×	`log-div_binary64_17556` `associate-*r/_binary64_17411`
35×	`distribute-rgt-neg-out_binary64_17429`
33×	`distribute-rgt-out--_binary64_17423`
32×	`*-rgt-identity_binary64_17459`
30×	`exp-diff_binary64_17517`
29×	`sqr-pow_binary64_17441`
24×	`associate-/l/_binary64_17416`
22×	`*-lft-identity_binary64_17458` `distribute-rgt1-in_binary64_17425`
21×	`unpow3_binary64_17535`
19×	`swap-sqr_binary64_17436`
18×	`unswap-sqr_binary64_17437`
16×	`cube-mult_binary64_17499`
13×	`/-rgt-identity_binary64_17460` `associate-/r/_binary64_17415`
9×	`distribute-lft-out_binary64_17420`
8×	`log-rec_binary64_17557`
6×	`distribute-lft-out--_binary64_17421`
5×	`cube-unmult_binary64_17506` `div0_binary64_17450`
4×	`distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431`
3×	`log-pow_binary64_17558` `unpow1/2_binary64_17533` `sqr-neg_binary64_17483` `mul-1-neg_binary64_17461` `difference-of-squares_binary64_17438` `associate--r-_binary64_17408`
2×	`pow-plus_binary64_17532` `exp-neg_binary64_17516` `rem-sqrt-square_binary64_17482` `sub0-neg_binary64_17456`
1×	`unpow2_binary64_17534` `unpow1_binary64_17527` `div-exp_binary64_17520` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `cube-neg_binary64_17496` `rem-3cbrt-lft_binary64_17494` `rem-square-sqrt_binary64_17481` `remove-double-neg_binary64_17457` `remove-double-div_binary64_17445` `pow-sqr_binary64_17442` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `distribute-lft1-in_binary64_17424` `associate-+l-_binary64_17404` `associate-+r-_binary64_17403`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `--rgt-identity_binary64_17455` `+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `*-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `cancel-sign-sub_binary64_17434` `count-2_binary64_17417` `associate--l-_binary64_17407`

Counts

119 → 94

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	199	2101
1	578	1970
2	2142	1964
3	4571	1940
4	5272	1940

prune96.0ms (1.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	89	5	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	5	95

Error

0.0b

Counts

95 → 5

Compiler

Compiled 1671 to 987 computations (40.9% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 y (+.f64 y 1))
0.0b	(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
2.6b	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))

rewrite155.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

42×	`*-un-lft-identity_binary64_17469`
33×	`add-sqr-sqrt_binary64_17491`
25×	`add-cube-cbrt_binary64_17504` `times-frac_binary64_17475`
18×	`associate-l_binary64_17410`
13×	`cancel-sign-sub-inv_binary64_17435`
10×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
8×	`distribute-rgt-in_binary64_17419` `associate--r+_binary64_17405` `distribute-lft-in_binary64_17418`
7×	`distribute-lft-out_binary64_17420`
6×	`associate-r_binary64_17409`
5×	`add-log-exp_binary64_17508` `pow1_binary64_17530` `sub-neg_binary64_17462`
4×	`associate-/r/_binary64_17415` `associate-/r*_binary64_17413`
3×	`flip3--_binary64_17473` `flip--_binary64_17444` `associate-/l*_binary64_17414`
2×	`div-exp_binary64_17520` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `cbrt-undiv_binary64_17503` `frac-times_binary64_17479` `unswap-sqr_binary64_17437` `associate-*r/_binary64_17411` `div-inv_binary64_17466` `flip3-+_binary64_17472` `flip-+_binary64_17443` `difference-of-squares_binary64_17438`
1×	`diff-log_binary64_17561` `pow-prod-down_binary64_17540` `associate-l/_binary64_17412` `distribute-lft-out--_binary64_17421` `-commutative_binary64_17400` `frac-2neg_binary64_17480` `clear-num_binary64_17468`

Counts

3 → 105

Calls

3 calls:

15.0ms	(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
5.0ms	(/.f64 y (+.f64 y 1))
5.0ms	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))

Compiler

Compiled 2095 to 1479 computations (29.4% saved)

series468.0ms (7%)

Error

0.0b

Counts

3 → 48

Calls

3 calls:

206.0ms	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
178.0ms	(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
41.0ms	(/.f64 y (+.f64 y 1))

Compiler

Compiled 1562 to 1186 computations (24.1% saved)

simplify119.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

664×	`times-frac_binary64_17475`
434×	`distribute-rgt-in_binary64_17419`
396×	`cancel-sign-sub-inv_binary64_17435`
272×	`sub-neg_binary64_17462`
153×	`distribute-rgt-neg-in_binary64_17427`
146×	`exp-prod_binary64_17521`
117×	`distribute-lft-neg-in_binary64_17426`
115×	`+-commutative_binary64_17399`
111×	`associate-l_binary64_17410`
103×	`associate--l+_binary64_17406`
102×	`distribute-neg-in_binary64_17430`
88×	`associate-r_binary64_17409`
84×	`associate--r+_binary64_17405`
78×	`*-commutative_binary64_17400`
72×	`associate-+l+_binary64_17402`
71×	`associate-*l/_binary64_17412`
68×	`neg-sub0_binary64_17464`
67×	`distribute-neg-frac_binary64_17433`
66×	`unsub-neg_binary64_17463`
65×	`neg-mul-1_binary64_17465` `associate-/l*_binary64_17414`
63×	`distribute-lft-in_binary64_17418`
61×	`cube-prod_binary64_17497`
59×	`distribute-rgt-out_binary64_17422`
58×	`distribute-lft-neg-out_binary64_17428`
55×	`associate-+r+_binary64_17401`
51×	`distribute-rgt-neg-out_binary64_17429`
42×	`log-prod_binary64_17555` `associate-*r/_binary64_17411`
41×	`*-lft-identity_binary64_17458`
40×	`unswap-sqr_binary64_17437`
39×	`distribute-rgt-out--_binary64_17423`
37×	`*-rgt-identity_binary64_17459`
35×	`exp-sum_binary64_17515`
28×	`sqr-pow_binary64_17441`
26×	`distribute-rgt1-in_binary64_17425` `associate-/r*_binary64_17413`
16×	`log-div_binary64_17556` `exp-diff_binary64_17517` `cube-div_binary64_17498`
15×	`associate-/l/_binary64_17416`
13×	`distribute-lft-out_binary64_17420`
12×	`unpow3_binary64_17535` `/-rgt-identity_binary64_17460` `swap-sqr_binary64_17436`
11×	`div-sub_binary64_17474`
10×	`exp-neg_binary64_17516` `distribute-lft-out--_binary64_17421`
9×	`associate-/r/_binary64_17415`
6×	`cube-mult_binary64_17499` `difference-of-squares_binary64_17438`
5×	`cube-unmult_binary64_17506`
4×	`associate-+r-_binary64_17403`
3×	`log-rec_binary64_17557` `unpow1/2_binary64_17533` `distribute-lft1-in_binary64_17424` `associate-+l-_binary64_17404`
2×	`log-pow_binary64_17558` `pow-plus_binary64_17532` `rem-sqrt-square_binary64_17482` `mul-1-neg_binary64_17461` `+-rgt-identity_binary64_17454`
1×	`unpow2_binary64_17534` `unpow1_binary64_17527` `div-exp_binary64_17520` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-3cbrt-lft_binary64_17494` `rem-square-sqrt_binary64_17481` `remove-double-neg_binary64_17457` `div0_binary64_17450` `pow-sqr_binary64_17442` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `*-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `count-2_binary64_17417` `associate--r-_binary64_17408` `associate--l-_binary64_17407`

Counts

153 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	2655
1	629	2521
2	2129	2490
3	4645	2490
4	4963	2490

prune144.0ms (2.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	134	5	139

Error

0.0b

Counts

139 → 5

Compiler

Compiled 2492 to 1673 computations (32.9% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 1 (neg.f64 (/.f64 (*.f64 y x) (+.f64 y 1))))
8.4b	(/.f64 (*.f64 y x) (+.f64 y 1))

rewrite106.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

26×	`*-un-lft-identity_binary64_17469`
24×	`cancel-sign-sub-inv_binary64_17435`
20×	`distribute-lft-neg-in_binary64_17426`
16×	`times-frac_binary64_17475`
14×	`add-sqr-sqrt_binary64_17491`
11×	`add-cube-cbrt_binary64_17504` `distribute-rgt-neg-in_binary64_17427`
10×	`cancel-sign-sub_binary64_17434`
8×	`associate-/r/_binary64_17415`
7×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
6×	`add-log-exp_binary64_17508`
5×	`distribute-lft-out_binary64_17420`
4×	`div-inv_binary64_17466` `flip3-+_binary64_17472` `flip-+_binary64_17443` `associate-/r*_binary64_17413`
2×	`pow1_binary64_17530` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `diff-log_binary64_17561` `difference-of-squares_binary64_17438` `distribute-lft-out--_binary64_17421`
1×	`prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `frac-2neg_binary64_17480` `clear-num_binary64_17468` `associate-/l*_binary64_17414` `neg-log_binary64_17562` `flip3--_binary64_17473` `sub-neg_binary64_17462` `flip--_binary64_17444` `neg-mul-1_binary64_17465` `neg-sub0_binary64_17464` `associate--r-_binary64_17408`

Counts

2 → 76

Calls

2 calls:

14.0ms	(-.f64 1 (neg.f64 (/.f64 (*.f64 y x) (+.f64 y 1))))
7.0ms	(/.f64 (*.f64 y x) (+.f64 y 1))

Compiler

Compiled 1379 to 922 computations (33.1% saved)

series256.0ms (3.8%)

Error

0.0b

Counts

2 → 33

Calls

2 calls:

125.0ms	(-.f64 1 (neg.f64 (/.f64 (*.f64 y x) (+.f64 y 1))))
109.0ms	(/.f64 (*.f64 y x) (+.f64 y 1))

Compiler

Compiled 741 to 535 computations (27.8% saved)

simplify95.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

660×	`div-sub_binary64_17474`
337×	`distribute-rgt-neg-out_binary64_17429`
292×	`distribute-lft-neg-out_binary64_17428`
213×	`log-prod_binary64_17555`
194×	`cube-prod_binary64_17497`
189×	`exp-prod_binary64_17521`
160×	`sub-neg_binary64_17462`
158×	`distribute-neg-frac_binary64_17433`
155×	`associate-l_binary64_17410`
143×	`associate-r_binary64_17409`
127×	`log-div_binary64_17556`
126×	`cube-div_binary64_17498`
123×	`cancel-sign-sub_binary64_17434`
119×	`associate-/l*_binary64_17414`
117×	`neg-sub0_binary64_17464`
96×	`distribute-frac-neg_binary64_17432`
93×	`neg-mul-1_binary64_17465`
88×	`associate-*l/_binary64_17412`
86×	`*-commutative_binary64_17400`
85×	`unsub-neg_binary64_17463`
71×	`unswap-sqr_binary64_17437`
68×	`associate-*r/_binary64_17411`
53×	`times-frac_binary64_17475` `cancel-sign-sub-inv_binary64_17435`
52×	`+-commutative_binary64_17399`
51×	`unpow3_binary64_17535` `swap-sqr_binary64_17436`
45×	`sqr-pow_binary64_17441`
43×	`exp-diff_binary64_17517`
41×	`cube-mult_binary64_17499`
35×	`associate--l+_binary64_17406`
34×	`cube-neg_binary64_17496` `distribute-rgt-in_binary64_17419`
33×	`associate-/r*_binary64_17413`
32×	`sqr-neg_binary64_17483` `distribute-neg-in_binary64_17430`
31×	`distribute-rgt-neg-in_binary64_17427`
30×	`remove-double-neg_binary64_17457`
29×	`*-rgt-identity_binary64_17459` `distribute-lft-in_binary64_17418`
27×	`exp-sum_binary64_17515`
25×	`log-rec_binary64_17557` `distribute-lft-neg-in_binary64_17426` `associate-/l/_binary64_17416`
22×	`*-lft-identity_binary64_17458`
19×	`distribute-neg-out_binary64_17431`
16×	`associate--r+_binary64_17405`
15×	`associate-+l-_binary64_17404`
14×	`associate-/r/_binary64_17415`
13×	`/-rgt-identity_binary64_17460` `sub0-neg_binary64_17456`
12×	`cube-unmult_binary64_17506` `div0_binary64_17450` `difference-of-squares_binary64_17438` `associate-+l+_binary64_17402`
11×	`exp-neg_binary64_17516`
9×	`pow-plus_binary64_17532`
6×	`rem-sqrt-square_binary64_17482` `distribute-rgt1-in_binary64_17425` `distribute-rgt-out_binary64_17422` `associate-+r+_binary64_17401`
5×	`log-pow_binary64_17558` `associate-+r-_binary64_17403`
4×	`+-rgt-identity_binary64_17454` `difference-of-sqr--1_binary64_17440` `distribute-lft-out--_binary64_17421`
3×	`unpow1/2_binary64_17533` `pow-sqr_binary64_17442` `associate--l-_binary64_17407`
2×	`rem-3cbrt-lft_binary64_17494` `rem-square-sqrt_binary64_17481` `difference-of-sqr-1_binary64_17439` `distribute-rgt-out--_binary64_17423` `distribute-lft-out_binary64_17420` `associate--r-_binary64_17408`
1×	`unpow2_binary64_17534` `unpow1_binary64_17527` `div-exp_binary64_17520` `rec-exp_binary64_17519` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-cbrt-cube_binary64_17493` `--rgt-identity_binary64_17455` `*-inverses_binary64_17449` `remove-double-div_binary64_17445`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `prod-exp_binary64_17518` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `rem-3cbrt-rft_binary64_17495` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `mul-1-neg_binary64_17461` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `distribute-lft1-in_binary64_17424` `count-2_binary64_17417`

Counts

109 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	181	1628
1	512	1523
2	2088	1516
3	3841	1516
4	5040	1516

prune70.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	84	5	89

Error

0.0b

Counts

89 → 5

Compiler

Compiled 1192 to 706 computations (40.8% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (*.f64 y y))
1.8b	(+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y)))
5.6b	(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y))))
9.3b	(/.f64 x (*.f64 y y))

rewrite402.0ms (6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

57×	`*-un-lft-identity_binary64_17469`
27×	`add-log-exp_binary64_17508` `distribute-lft-out_binary64_17420`
20×	`add-exp-log_binary64_17507`
14×	`add-cbrt-cube_binary64_17505`
13×	`div-inv_binary64_17466`
12×	`pow1_binary64_17530` `distribute-lft-out--_binary64_17421`
11×	`add-sqr-sqrt_binary64_17491`
10×	`sum-log_binary64_17560`
9×	`add-cube-cbrt_binary64_17504`
8×	`times-frac_binary64_17475`
6×	`div-exp_binary64_17520` `associate-/l*_binary64_17414` `diff-log_binary64_17561` `flip3-+_binary64_17472` `frac-sub_binary64_17478` `flip-+_binary64_17443` `cancel-sign-sub-inv_binary64_17435` `pow-flip_binary64_17543`
4×	`prod-exp_binary64_17518` `cbrt-undiv_binary64_17503`
3×	`frac-add_binary64_17477`
2×	`cbrt-unprod_binary64_17502` `frac-2neg_binary64_17480` `clear-num_binary64_17468` `associate-/r*_binary64_17413` `distribute-rgt-out_binary64_17422` `1-exp_binary64_17513` `rec-exp_binary64_17519`
1×	`flip3--_binary64_17473` `sub-neg_binary64_17462` `flip--_binary64_17444` `difference-of-squares_binary64_17438` `associate--l+_binary64_17406` `associate--r+_binary64_17405` `+-commutative_binary64_17399` `inv-pow_binary64_17554` `pow2_binary64_17550` `pow-prod-down_binary64_17540` `pow-prod-up_binary64_17539` `pow-plus_binary64_17532` `pow-sqr_binary64_17442`

Counts

4 → 111

Calls

4 calls:

32.0ms	(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y))))
11.0ms	(+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y)))
5.0ms	(/.f64 x (*.f64 y y))
5.0ms	(/.f64 1 (*.f64 y y))

Compiler

Compiled 3603 to 1529 computations (57.6% saved)

series628.0ms (9.4%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

324.0ms	(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y))))
148.0ms	(+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y)))
93.0ms	(/.f64 x (*.f64 y y))
31.0ms	(/.f64 1 (*.f64 y y))

Compiler

Compiled 1677 to 1114 computations (33.6% saved)

simplify128.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

400×	`associate-/l*_binary64_17414`
375×	`associate-/r*_binary64_17413`
177×	`associate-/r/_binary64_17415`
174×	`distribute-rgt-in_binary64_17419`
165×	`distribute-lft-in_binary64_17418`
159×	`associate--l+_binary64_17406`
153×	`cancel-sign-sub-inv_binary64_17435`
130×	`associate-/l/_binary64_17416`
127×	`sub-neg_binary64_17462`
125×	`div-sub_binary64_17474`
123×	`distribute-neg-in_binary64_17430`
120×	`distribute-rgt-neg-in_binary64_17427`
98×	`distribute-lft-neg-in_binary64_17426`
95×	`exp-prod_binary64_17521`
90×	`*-commutative_binary64_17400`
83×	`exp-sum_binary64_17515`
80×	`associate-r_binary64_17409`
76×	`div-exp_binary64_17520`
74×	`distribute-lft-neg-out_binary64_17428`
71×	`associate-l_binary64_17410`
70×	`associate-l/_binary64_17412` `associate-r/_binary64_17411`
69×	`times-frac_binary64_17475`
60×	`+-commutative_binary64_17399`
59×	`distribute-rgt-neg-out_binary64_17429`
57×	`neg-mul-1_binary64_17465`
55×	`neg-sub0_binary64_17464`
53×	`distribute-neg-frac_binary64_17433`
52×	`distribute-rgt-out_binary64_17422`
40×	`log-div_binary64_17556` `associate-+l+_binary64_17402`
38×	`distribute-rgt-out--_binary64_17423`
36×	`cube-div_binary64_17498` `associate--r+_binary64_17405`
34×	`unswap-sqr_binary64_17437`
32×	`cube-prod_binary64_17497`
31×	`associate-+r+_binary64_17401`
28×	`sqr-pow_binary64_17441`
27×	`unsub-neg_binary64_17463`
25×	`log-prod_binary64_17555` `prod-exp_binary64_17518` `exp-diff_binary64_17517`
20×	`*-rgt-identity_binary64_17459`
18×	`distribute-rgt1-in_binary64_17425`
14×	`swap-sqr_binary64_17436` `associate-+r-_binary64_17403`
12×	`unpow3_binary64_17535` `*-lft-identity_binary64_17458`
9×	`/-rgt-identity_binary64_17460`
7×	`log-rec_binary64_17557` `cube-unmult_binary64_17506` `cube-mult_binary64_17499` `associate--r-_binary64_17408`
6×	`pow-plus_binary64_17532` `+-rgt-identity_binary64_17454` `distribute-lft-out_binary64_17420`
5×	`difference-of-squares_binary64_17438` `distribute-lft-out--_binary64_17421`
3×	`log-pow_binary64_17558` `rem-sqrt-square_binary64_17482` `count-2_binary64_17417`
2×	`+-lft-identity_binary64_17453` `distribute-lft1-in_binary64_17424` `associate--l-_binary64_17407` `associate-+l-_binary64_17404`
1×	`unpow2_binary64_17534` `unpow1/2_binary64_17533` `unpow1_binary64_17527` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `cube-neg_binary64_17496` `rem-3cbrt-lft_binary64_17494` `sqr-neg_binary64_17483` `rem-square-sqrt_binary64_17481` `mul-1-neg_binary64_17461` `remove-double-neg_binary64_17457` `pow-sqr_binary64_17442`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `exp-neg_binary64_17516` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `div0_binary64_17450` `*-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431`

Counts

147 → 112

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	197	3413
1	578	2992
2	2164	2798
3	4586	2791
4	5108	2791

prune131.0ms (1.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	112	5	117

Error

0.0b

Counts

117 → 5

Compiler

Compiled 2814 to 1338 computations (52.5% saved)

regimes780.0ms (11.6%)

Accuracy

Total 0.5b remaining (93.4%)

Threshold costs 0.5b (93.4%)

Compiler

Compiled 6579 to 5560 computations (15.5% saved)

bsearch48.0ms (0.7%)

Steps

Iters	Range		Point
9	407.01645312046884	6291700971.578575	270704.0980663581
9	-9.38001743439792e+38	-1.4296675768577087e+33	-1.4541039429164083e+33

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

47×	`neg-mul-1_binary64_17465` `neg-sub0_binary64_17464`
44×	`unsub-neg_binary64_17463`
29×	`cancel-sign-sub-inv_binary64_17435`
26×	`distribute-rgt-neg-in_binary64_17427`
19×	`distribute-rgt-neg-out_binary64_17429`
18×	`sub-neg_binary64_17462` `distribute-lft-neg-in_binary64_17426` `+-commutative_binary64_17399`
16×	`distribute-neg-out_binary64_17431`
14×	`distribute-neg-in_binary64_17430` `distribute-lft-neg-out_binary64_17428` `*-commutative_binary64_17400`
8×	`*-rgt-identity_binary64_17459` `+-rgt-identity_binary64_17454`
7×	`*-lft-identity_binary64_17458` `+-lft-identity_binary64_17453`
4×	`remove-double-neg_binary64_17457`
3×	`distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432`
1×	`if-if-or-not_binary64_17727` `1-exp_binary64_17513` `sqr-neg_binary64_17483` `--rgt-identity_binary64_17455`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `unpow1_binary64_17527` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `sqr-abs_binary64_17484` `mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460` `sub0-neg_binary64_17456` `cancel-sign-sub_binary64_17434`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	61
1	49	61
2	74	61
3	100	61
4	126	61
5	151	61
6	191	61
7	240	61
8	238	61
9	241	61
10	242	61
11	233	61

end0.0ms (0%)

sample1.7s (24.6%)

Algorithm

1×

intervals

Results

191.0ms	6299×	body	128	valid
65.0ms	567×	body	1024	valid
64.0ms	697×	body	512	valid
24.0ms	433×	body	256	valid
1.0ms	4×	body	2048	valid

Compiler

Compiled 1165 to 968 computations (16.9% saved)

Iter	Nodes	Cost
0	29	61
1	49	61
2	74	61
3	100	61
4	126	61
5	151	61
6	191	61
7	240	61
8	238	61
9	241	61
10	242	61
11	233	61

Iter	Nodes	Cost
0	29	61
1	49	61
2	74	61
3	100	61
4	126	61
5	151	61
6	191	61
7	240	61
8	238	61
9	241	61
10	242	61
11	233	61

Details

analyze450.0ms (6.7%)

sample20.0ms (0.3%)

simplify180.0ms (2.7%)

prune3.0ms (0%)

localize10.0ms (0.2%)

rewrite140.0ms (2.1%)

series502.0ms (7.5%)

simplify101.0ms (1.5%)

prune96.0ms (1.4%)

localize9.0ms (0.1%)

rewrite155.0ms (2.3%)

series468.0ms (7%)

simplify119.0ms (1.8%)

prune144.0ms (2.1%)

localize6.0ms (0.1%)

rewrite106.0ms (1.6%)

series256.0ms (3.8%)

simplify95.0ms (1.4%)

prune70.0ms (1%)

localize11.0ms (0.2%)

rewrite402.0ms (6%)

series628.0ms (9.4%)

simplify128.0ms (1.9%)

prune131.0ms (1.9%)

regimes780.0ms (11.6%)

bsearch48.0ms (0.7%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample1.7s (24.6%)

Profiling

Iter	Nodes	Cost
0	29	61
1	49	61
2	74	61
3	100	61
4	126	61
5	151	61
6	191	61
7	240	61
8	238	61
9	241	61
10	242	61
11	233	61