Details

analyze600.0ms (7.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

856×	`div-sub_binary64_17474`
737×	`times-frac_binary64_17475`
632×	`unsub-neg_binary64_17463`
468×	`sub-neg_binary64_17462`
458×	`neg-mul-1_binary64_17465`
436×	`distribute-rgt-in_binary64_17419`
405×	`neg-sub0_binary64_17464`
337×	`associate-/l*_binary64_17414`
313×	`distribute-lft-in_binary64_17418`
206×	`distribute-rgt-neg-out_binary64_17429`
199×	`associate-/r*_binary64_17413`
196×	`distribute-lft-neg-out_binary64_17428`
187×	`associate-*l/_binary64_17412`
168×	`associate-/r/_binary64_17415`
153×	`distribute-frac-neg_binary64_17432`
136×	`distribute-rgt-out_binary64_17422`
125×	`associate-l_binary64_17410`
123×	`associate-r_binary64_17409`
98×	`distribute-neg-frac_binary64_17433`
76×	`associate-/l/_binary64_17416`
71×	`cancel-sign-sub-inv_binary64_17435`
63×	`associate-*r/_binary64_17411`
62×	`associate--r+_binary64_17405`
60×	`remove-double-div_binary64_17445`
58×	`mul0-rgt_binary64_17452` `mul0-lft_binary64_17451`
54×	`*-commutative_binary64_17400`
52×	`associate-+r+_binary64_17401`
51×	`associate--l+_binary64_17406`
46×	`+-commutative_binary64_17399`
43×	`associate-+l-_binary64_17404`
38×	`distribute-rgt-out--_binary64_17423`
37×	`distribute-neg-out_binary64_17431`
35×	`distribute-neg-in_binary64_17430`
34×	`sub0-neg_binary64_17456`
33×	`distribute-rgt-neg-in_binary64_17427`
31×	`*-lft-identity_binary64_17458`
26×	`associate-+l+_binary64_17402`
24×	`distribute-lft-out_binary64_17420`
23×	`*-rgt-identity_binary64_17459` `distribute-lft-neg-in_binary64_17426`
22×	`cancel-sign-sub_binary64_17434`
18×	`/-rgt-identity_binary64_17460` `associate--l-_binary64_17407`
16×	`associate-+r-_binary64_17403`
14×	`+-rgt-identity_binary64_17454`
10×	`distribute-rgt1-in_binary64_17425` `associate--r-_binary64_17408`
4×	`mul-1-neg_binary64_17461` `distribute-lft1-in_binary64_17424` `distribute-lft-out--_binary64_17421`
3×	`*-inverses_binary64_17449`
2×	`remove-double-neg_binary64_17457` `+-lft-identity_binary64_17453`
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` `--rgt-identity_binary64_17455` `div0_binary64_17450` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `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` `count-2_binary64_17417`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	75	52
2	151	52
3	549	52
4	1349	52
5	2980	52
6	3911	52
7	5176	52
0	3	3
1	3	3

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
14%	85.8%	0.1%	7
22.6%	77.2%	0.1%	8
23.8%	74.5%	1.7%	9
40%	56.4%	3.7%	10
46.9%	48.7%	4.4%	11
48%	45.8%	6.2%	12
58.1%	32.2%	9.7%	13
62.1%	27.2%	10.6%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample21.0ms (0.3%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
1.0ms	48×	body	128	invalid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify390.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1012×	`div-sub_binary64_17474`
942×	`associate-/l/_binary64_17416`
633×	`neg-mul-1_binary64_17465`
604×	`sub-neg_binary64_17462`
568×	`neg-sub0_binary64_17464`
475×	`distribute-rgt-in_binary64_17419`
426×	`distribute-rgt-neg-in_binary64_17427`
410×	`*-commutative_binary64_17400`
380×	`distribute-lft-in_binary64_17418`
361×	`distribute-lft-neg-in_binary64_17426`
304×	`remove-double-neg_binary64_17457`
301×	`distribute-rgt-neg-out_binary64_17429`
282×	`distribute-lft-neg-out_binary64_17428`
280×	`cancel-sign-sub-inv_binary64_17435`
247×	`times-frac_binary64_17475`
237×	`distribute-rgt-out--_binary64_17423`
212×	`distribute-neg-in_binary64_17430`
178×	`distribute-neg-frac_binary64_17433`
156×	`distribute-rgt-out_binary64_17422`
152×	`distribute-frac-neg_binary64_17432`
148×	`associate-/l*_binary64_17414`
136×	`distribute-lft-out--_binary64_17421`
130×	`associate--r+_binary64_17405`
122×	`associate-r_binary64_17409`
119×	`distribute-neg-out_binary64_17431`
115×	`+-commutative_binary64_17399`
113×	`associate-l_binary64_17410`
106×	`associate--r-_binary64_17408`
100×	`distribute-lft-out_binary64_17420`
89×	`unsub-neg_binary64_17463`
85×	`mul0-lft_binary64_17451`
84×	`mul0-rgt_binary64_17452`
81×	`associate-*l/_binary64_17412`
80×	`associate-*r/_binary64_17411`
74×	`div0_binary64_17450` `associate-/r*_binary64_17413`
68×	`associate--l-_binary64_17407`
52×	`associate-/r/_binary64_17415`
51×	`associate-+l-_binary64_17404`
38×	`*-lft-identity_binary64_17458`
34×	`sub0-neg_binary64_17456`
29×	`*-rgt-identity_binary64_17459`
25×	`associate--l+_binary64_17406`
24×	`--rgt-identity_binary64_17455`
23×	`associate-+r+_binary64_17401`
20×	`associate-+l+_binary64_17402`
19×	`/-rgt-identity_binary64_17460`
17×	`distribute-rgt1-in_binary64_17425`
11×	`+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453`
10×	`associate-+r-_binary64_17403`
9×	`mul-1-neg_binary64_17461`
8×	`distribute-lft1-in_binary64_17424`
4×	`swap-sqr_binary64_17436`
2×	`sqr-neg_binary64_17483`
1×	`1-exp_binary64_17513` `*-inverses_binary64_17449` `rgt-mult-inverse_binary64_17446` `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` `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` `lft-mult-inverse_binary64_17447` `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` `cancel-sign-sub_binary64_17434` `count-2_binary64_17417`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	25	13
2	48	13
3	148	13
4	286	13
5	523	13
6	1428	13
7	3183	13
8	2963	13
9	3619	13
10	3647	13
11	3663	13
12	3712	13
13	4265	13
14	4242	13
15	4544	13
16	4576	13
17	4596	13
18	4597	13
19	4609	13
20	4609	13
21	4621	13
22	5152	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

9.6b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite74.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`*-un-lft-identity_binary64_17469`
9×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
8×	`add-sqr-sqrt_binary64_17491`
6×	`add-cube-cbrt_binary64_17504`
5×	`associate-r_binary64_17409`
4×	`pow1_binary64_17530` `associate-*r/_binary64_17411`
3×	`times-frac_binary64_17475` `associate-/r_binary64_17413` `associate-l*_binary64_17410`
2×	`prod-exp_binary64_17518` `div-exp_binary64_17520` `add-log-exp_binary64_17508` `cbrt-undiv_binary64_17503` `cbrt-unprod_binary64_17502` `flip3-+_binary64_17472` `associate-/l/_binary64_17416` `flip-+_binary64_17443` `distribute-lft-out_binary64_17420`
1×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `div-inv_binary64_17466` `associate-/l_binary64_17414` `pow-prod-down_binary64_17540` `unswap-sqr_binary64_17437` `distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418` `distribute-lft-out--_binary64_17421` `-commutative_binary64_17400`

Counts

2 → 47

Calls

2 calls:

14.0ms	(/.f64 (*.f64 x (+.f64 (-.f64 y z) 1)) z)
9.0ms	(*.f64 x (+.f64 (-.f64 y z) 1))

Compiler

Compiled 770 to 389 computations (49.5% saved)

series435.0ms (5.3%)

Error

1.5b

Counts

2 → 30

Calls

2 calls:

255.0ms	(/.f64 (*.f64 x (+.f64 (-.f64 y z) 1)) z)
162.0ms	(*.f64 x (+.f64 (-.f64 y z) 1))

Compiler

Compiled 694 to 431 computations (37.9% saved)

simplify76.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

511×	`associate-/l*_binary64_17414`
493×	`distribute-rgt-in_binary64_17419`
477×	`distribute-lft-in_binary64_17418`
465×	`times-frac_binary64_17475`
367×	`div-sub_binary64_17474`
298×	`associate-l_binary64_17410`
207×	`associate-*l/_binary64_17412`
191×	`associate-/l/_binary64_17416`
150×	`associate-*r/_binary64_17411`
145×	`associate-/r*_binary64_17413`
114×	`associate-/r/_binary64_17415`
64×	`exp-prod_binary64_17521`
59×	`*-commutative_binary64_17400`
56×	`associate-r_binary64_17409`
45×	`exp-sum_binary64_17515` `sub-neg_binary64_17462`
41×	`log-div_binary64_17556`
37×	`log-prod_binary64_17555`
34×	`cube-prod_binary64_17497`
31×	`cube-div_binary64_17498`
26×	`*-rgt-identity_binary64_17459`
24×	`+-commutative_binary64_17399`
23×	`cancel-sign-sub-inv_binary64_17435`
21×	`distribute-neg-in_binary64_17430`
20×	`*-lft-identity_binary64_17458`
17×	`exp-diff_binary64_17517`
13×	`unsub-neg_binary64_17463` `sqr-pow_binary64_17441`
12×	`neg-sub0_binary64_17464` `/-rgt-identity_binary64_17460` `distribute-rgt-neg-in_binary64_17427`
11×	`associate--l+_binary64_17406`
10×	`neg-mul-1_binary64_17465` `distribute-lft-neg-in_binary64_17426`
9×	`log-rec_binary64_17557`
8×	`unpow3_binary64_17535` `distribute-neg-frac_binary64_17433` `distribute-rgt-neg-out_binary64_17429` `distribute-lft-neg-out_binary64_17428`
7×	`swap-sqr_binary64_17436`
6×	`cube-unmult_binary64_17506`
5×	`cube-mult_binary64_17499` `distribute-rgt-out_binary64_17422` `associate-+l+_binary64_17402`
4×	`distribute-rgt-out--_binary64_17423` `associate-+r-_binary64_17403`
3×	`distribute-rgt1-in_binary64_17425` `associate--r+_binary64_17405` `associate-+l-_binary64_17404`
2×	`mul-1-neg_binary64_17461` `+-rgt-identity_binary64_17454` `associate--r-_binary64_17408`
1×	`unpow1/2_binary64_17533` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `cube-neg_binary64_17496` `sqr-neg_binary64_17483` `remove-double-neg_binary64_17457` `pow-sqr_binary64_17442` `difference-of-sqr-1_binary64_17439` `distribute-lft1-in_binary64_17424` `associate--l-_binary64_17407`
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` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow2_binary64_17534` `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` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `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-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` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `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-squares_binary64_17438` `unswap-sqr_binary64_17437` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-lft-out--_binary64_17421` `distribute-lft-out_binary64_17420` `count-2_binary64_17417` `associate-+r+_binary64_17401`

Counts

77 → 61

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1057
1	273	934
2	934	929
3	4096	929
4	5150	929

prune53.0ms (0.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	58	3	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	3	62

Error

0.0b

Counts

62 → 3

Compiler

Compiled 782 to 397 computations (49.2% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 x z) (*.f64 (/.f64 x z) y))
0.0b	(-.f64 (+.f64 (/.f64 x z) (*.f64 (/.f64 x z) y)) x)
4.2b	(*.f64 (/.f64 x z) y)

rewrite74.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-sqr-sqrt_binary64_17491`
14×	`*-un-lft-identity_binary64_17469`
13×	`associate-l_binary64_17410`
12×	`add-cube-cbrt_binary64_17504`
10×	`add-log-exp_binary64_17508` `times-frac_binary64_17475`
8×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
5×	`pow1_binary64_17530`
3×	`associate-r_binary64_17409` `cancel-sign-sub-inv_binary64_17435`
2×	`prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `unswap-sqr_binary64_17437` `associate-*l/_binary64_17412` `sum-log_binary64_17560` `diff-log_binary64_17561`
1×	`pow-prod-down_binary64_17540` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `div-inv_binary64_17466` `*-commutative_binary64_17400` `flip3--_binary64_17473` `sub-neg_binary64_17462` `flip--_binary64_17444` `difference-of-squares_binary64_17438` `distribute-lft-out--_binary64_17421` `associate--l+_binary64_17406` `frac-add_binary64_17477` `flip3-+_binary64_17472` `flip-+_binary64_17443` `+-commutative_binary64_17399`

Counts

3 → 62

Calls

3 calls:

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

Compiler

Compiled 1200 to 286 computations (76.2% saved)

series592.0ms (7.2%)

Error

0.0b

Counts

3 → 36

Calls

3 calls:

244.0ms	(-.f64 (+.f64 (/.f64 x z) (*.f64 (/.f64 x z) y)) x)
199.0ms	(+.f64 (/.f64 x z) (*.f64 (/.f64 x z) y))
131.0ms	(*.f64 (/.f64 x z) y)

Compiler

Compiled 973 to 552 computations (43.3% saved)

simplify99.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

694×	`associate-/l/_binary64_17416`
291×	`associate-*l/_binary64_17412`
258×	`associate-/l*_binary64_17414`
214×	`associate-*r/_binary64_17411`
207×	`distribute-rgt-out_binary64_17422`
198×	`distribute-rgt-in_binary64_17419`
191×	`*-commutative_binary64_17400`
173×	`distribute-lft-in_binary64_17418`
157×	`cancel-sign-sub-inv_binary64_17435`
104×	`unswap-sqr_binary64_17437`
102×	`sub-neg_binary64_17462`
99×	`distribute-rgt-neg-in_binary64_17427`
97×	`times-frac_binary64_17475`
89×	`distribute-lft-out_binary64_17420`
83×	`distribute-neg-frac_binary64_17433`
80×	`distribute-lft-neg-in_binary64_17426`
76×	`unsub-neg_binary64_17463`
75×	`sqr-pow_binary64_17441`
71×	`associate-/r*_binary64_17413` `associate-+l+_binary64_17402`
65×	`associate-l_binary64_17410` `+-commutative_binary64_17399`
59×	`distribute-rgt-out--_binary64_17423`
56×	`exp-prod_binary64_17521`
55×	`distribute-lft-neg-out_binary64_17428`
54×	`log-div_binary64_17556`
51×	`associate-r_binary64_17409`
49×	`associate-+r+_binary64_17401`
47×	`neg-mul-1_binary64_17465`
46×	`neg-sub0_binary64_17464` `distribute-rgt-neg-out_binary64_17429`
43×	`exp-sum_binary64_17515`
40×	`distribute-neg-in_binary64_17430`
38×	`distribute-rgt1-in_binary64_17425`
34×	`div-sub_binary64_17474`
33×	`swap-sqr_binary64_17436`
31×	`cube-div_binary64_17498` `cube-prod_binary64_17497`
30×	`log-prod_binary64_17555` `associate-/r/_binary64_17415`
26×	`*-rgt-identity_binary64_17459`
24×	`*-lft-identity_binary64_17458`
19×	`associate-+l-_binary64_17404`
17×	`associate-+r-_binary64_17403`
16×	`unpow3_binary64_17535` `associate--l+_binary64_17406`
15×	`distribute-lft1-in_binary64_17424`
13×	`exp-diff_binary64_17517` `+-rgt-identity_binary64_17454`
12×	`cube-mult_binary64_17499` `distribute-lft-out--_binary64_17421`
11×	`difference-of-squares_binary64_17438`
9×	`sub0-neg_binary64_17456` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451`
8×	`/-rgt-identity_binary64_17460`
7×	`pow-sqr_binary64_17442`
5×	`log-rec_binary64_17557` `div-exp_binary64_17520`
4×	`remove-double-neg_binary64_17457` `associate--r+_binary64_17405`
3×	`cube-unmult_binary64_17506` `distribute-neg-out_binary64_17431`
2×	`pow-plus_binary64_17532` `div0_binary64_17450` `count-2_binary64_17417`
1×	`log-pow_binary64_17558` `unpow1/2_binary64_17533` `prod-exp_binary64_17518` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-3cbrt-lft_binary64_17494` `sqr-neg_binary64_17483` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `mul-1-neg_binary64_17461`
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` `unpow2_binary64_17534` `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` `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` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `*-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` `associate--r-_binary64_17408` `associate--l-_binary64_17407`

Counts

98 → 68

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	136	1334
1	332	1169
2	915	1145
3	3066	1145
4	4994	1145
5	4979	1145

prune49.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	68	3	71

Error

0.0b

Counts

71 → 3

Compiler

Compiled 1010 to 227 computations (77.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 z (-.f64 (+.f64 y 1) z))
2.4b	(/.f64 x (/.f64 z (-.f64 (+.f64 y 1) z)))

rewrite213.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

162×	`times-frac_binary64_17475`
158×	`*-un-lft-identity_binary64_17469`
110×	`add-sqr-sqrt_binary64_17491`
78×	`add-cube-cbrt_binary64_17504`
32×	`distribute-lft-out--_binary64_17421`
30×	`associate-/r*_binary64_17413`
16×	`difference-of-squares_binary64_17438` `distribute-lft-out_binary64_17420`
11×	`associate-/r/_binary64_17415`
9×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
6×	`div-inv_binary64_17466` `associate-/l*_binary64_17414`
5×	`flip3--_binary64_17473` `flip--_binary64_17444`
4×	`div-exp_binary64_17520` `cbrt-undiv_binary64_17503`
2×	`pow1_binary64_17530` `add-log-exp_binary64_17508` `frac-2neg_binary64_17480` `clear-num_binary64_17468`

Counts

2 → 155

Calls

2 calls:

13.0ms	(/.f64 x (/.f64 z (-.f64 (+.f64 y 1) z)))
8.0ms	(/.f64 z (-.f64 (+.f64 y 1) z))

Compiler

Compiled 3248 to 1813 computations (44.2% saved)

series425.0ms (5.2%)

Error

0.0b

Counts

2 → 35

Calls

2 calls:

233.0ms	(/.f64 x (/.f64 z (-.f64 (+.f64 y 1) z)))
159.0ms	(/.f64 z (-.f64 (+.f64 y 1) z))

Compiler

Compiled 1345 to 980 computations (27.1% saved)

simplify129.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

716×	`distribute-rgt-in_binary64_17419`
706×	`times-frac_binary64_17475`
196×	`associate-/r/_binary64_17415`
170×	`associate-/l/_binary64_17416`
135×	`associate-*l/_binary64_17412`
118×	`*-commutative_binary64_17400`
115×	`distribute-neg-in_binary64_17430`
98×	`distribute-lft-in_binary64_17418`
94×	`associate-/l*_binary64_17414`
78×	`associate-+r+_binary64_17401`
77×	`+-commutative_binary64_17399`
71×	`associate-/r*_binary64_17413`
63×	`associate-*r/_binary64_17411`
61×	`associate-+l+_binary64_17402`
59×	`*-rgt-identity_binary64_17459`
58×	`sub-neg_binary64_17462`
54×	`cancel-sign-sub-inv_binary64_17435`
42×	`neg-mul-1_binary64_17465` `neg-sub0_binary64_17464`
40×	`unswap-sqr_binary64_17437`
39×	`associate-r_binary64_17409`
37×	`distribute-lft-neg-out_binary64_17428`
35×	`distribute-rgt-neg-out_binary64_17429`
34×	`sqr-pow_binary64_17441`
30×	`distribute-rgt-neg-in_binary64_17427`
29×	`distribute-lft-neg-in_binary64_17426`
28×	`distribute-neg-frac_binary64_17433`
25×	`associate-l_binary64_17410`
23×	`unsub-neg_binary64_17463`
19×	`div-sub_binary64_17474`
16×	`*-lft-identity_binary64_17458`
14×	`log-div_binary64_17556` `distribute-rgt-out_binary64_17422` `associate--l+_binary64_17406`
13×	`associate--r+_binary64_17405`
11×	`distribute-rgt1-in_binary64_17425`
9×	`cube-prod_binary64_17497`
8×	`/-rgt-identity_binary64_17460`
6×	`log-prod_binary64_17555` `cube-unmult_binary64_17506` `cube-div_binary64_17498` `difference-of-squares_binary64_17438`
5×	`swap-sqr_binary64_17436`
4×	`unpow3_binary64_17535` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `unpow1_binary64_17527` `exp-prod_binary64_17521` `exp-sum_binary64_17515` `cube-mult_binary64_17499` `remove-double-div_binary64_17445`
3×	`distribute-lft1-in_binary64_17424` `distribute-lft-out_binary64_17420`
2×	`rem-sqrt-square_binary64_17482` `remove-double-neg_binary64_17457` `+-rgt-identity_binary64_17454` `distribute-rgt-out--_binary64_17423` `associate--r-_binary64_17408` `associate-+r-_binary64_17403`
1×	`log-pow_binary64_17558` `1-exp_binary64_17513` `div0_binary64_17450` `*-inverses_binary64_17449` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `distribute-lft-out--_binary64_17421`
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-rec_binary64_17557` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `pow-plus_binary64_17532` `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` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `exp-diff_binary64_17517` `exp-neg_binary64_17516` `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-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-square-sqrt_binary64_17481` `mul-1-neg_binary64_17461` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `+-inverses_binary64_17448` `pow-sqr_binary64_17442` `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` `count-2_binary64_17417` `associate--l-_binary64_17407` `associate-+l-_binary64_17404`

Counts

190 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	291	4651
1	672	4507
2	2607	4413
3	4983	4413

prune127.0ms (1.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	133	4	137

Error

Counts

137 → 4

Compiler

Compiled 2418 to 1231 computations (49.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (-.f64 (+.f64 y 1) z))
0.4b	(*.f64 (cbrt.f64 (-.f64 (+.f64 y 1) z)) (cbrt.f64 (-.f64 (+.f64 y 1) z)))
3.3b	(*.f64 (/.f64 x z) (cbrt.f64 (-.f64 (+.f64 y 1) z)))
7.0b	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 y 1) z)) (cbrt.f64 (-.f64 (+.f64 y 1) z))) (*.f64 (/.f64 x z) (cbrt.f64 (-.f64 (+.f64 y 1) z))))

rewrite629.0ms (7.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

126×	`cbrt-div_binary64_17501`
88×	`frac-times_binary64_17479`
76×	`*-un-lft-identity_binary64_17469`
63×	`flip3--_binary64_17473` `flip--_binary64_17444`
54×	`cbrt-prod_binary64_17500`
52×	`add-sqr-sqrt_binary64_17491`
39×	`associate-*r/_binary64_17411`
32×	`add-exp-log_binary64_17507` `associate-*l/_binary64_17412`
25×	`pow1_binary64_17530`
23×	`associate-l_binary64_17410`
22×	`add-cube-cbrt_binary64_17504`
20×	`distribute-lft-out--_binary64_17421`
19×	`associate-r_binary64_17409`
18×	`add-cbrt-cube_binary64_17505`
16×	`prod-exp_binary64_17518` `cbrt-unprod_binary64_17502`
15×	`swap-sqr_binary64_17436`
11×	`pow-prod-down_binary64_17540` `times-frac_binary64_17475`
10×	`distribute-lft-out_binary64_17420`
8×	`unswap-sqr_binary64_17437`
7×	`pow1/3_binary64_17551`
6×	`difference-of-squares_binary64_17438`
4×	`add-log-exp_binary64_17508`
3×	`div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `*-commutative_binary64_17400`
2×	`pow-prod-up_binary64_17539` `pow-sqr_binary64_17442`
1×	`div-inv_binary64_17466` `pow2_binary64_17550` `pow-plus_binary64_17532`

Counts

4 → 202

Calls

4 calls:

31.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 y 1) z)) (cbrt.f64 (-.f64 (+.f64 y 1) z))) (*.f64 (/.f64 x z) (cbrt.f64 (-.f64 (+.f64 y 1) z))))
18.0ms	(*.f64 (cbrt.f64 (-.f64 (+.f64 y 1) z)) (cbrt.f64 (-.f64 (+.f64 y 1) z)))
16.0ms	(*.f64 (/.f64 x z) (cbrt.f64 (-.f64 (+.f64 y 1) z)))
6.0ms	(cbrt.f64 (-.f64 (+.f64 y 1) z))

Compiler

Compiled 8337 to 5429 computations (34.9% saved)

series1.8s (21.7%)

Error

Counts

4 → 62

Calls

4 calls:

661.0ms	(*.f64 (cbrt.f64 (-.f64 (+.f64 y 1) z)) (cbrt.f64 (-.f64 (+.f64 y 1) z)))
529.0ms	(*.f64 (/.f64 x z) (cbrt.f64 (-.f64 (+.f64 y 1) z)))
264.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 y 1) z)) (cbrt.f64 (-.f64 (+.f64 y 1) z))) (*.f64 (/.f64 x z) (cbrt.f64 (-.f64 (+.f64 y 1) z))))
210.0ms	(cbrt.f64 (-.f64 (+.f64 y 1) z))

Compiler

Compiled 5809 to 4629 computations (20.3% saved)

simplify224.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

746×	`associate-l_binary64_17410`
445×	`times-frac_binary64_17475`
435×	`*-commutative_binary64_17400`
201×	`sub-neg_binary64_17462`
153×	`+-commutative_binary64_17399`
138×	`associate-+r+_binary64_17401`
130×	`associate-r_binary64_17409`
110×	`associate-+l+_binary64_17402`
96×	`neg-sub0_binary64_17464`
94×	`neg-mul-1_binary64_17465`
92×	`cancel-sign-sub-inv_binary64_17435`
85×	`sqr-pow_binary64_17441`
79×	`associate-*l/_binary64_17412`
78×	`associate-*r/_binary64_17411`
67×	`associate-/l*_binary64_17414`
56×	`associate--r+_binary64_17405`
51×	`log-prod_binary64_17555`
47×	`associate--l+_binary64_17406`
45×	`unsub-neg_binary64_17463` `unswap-sqr_binary64_17437`
43×	`exp-prod_binary64_17521`
42×	`distribute-rgt-in_binary64_17419`
41×	`distribute-lft-in_binary64_17418`
30×	`distribute-rgt-neg-in_binary64_17427`
29×	`distribute-neg-in_binary64_17430` `distribute-lft-neg-in_binary64_17426` `associate-/r*_binary64_17413`
28×	`unpow1/3_binary64_17536` `cube-prod_binary64_17497`
20×	`cube-unmult_binary64_17506`
14×	`exp-sum_binary64_17515`
13×	`log-div_binary64_17556`
10×	`rem-sqrt-square_binary64_17482` `swap-sqr_binary64_17436` `distribute-rgt-out_binary64_17422`
9×	`associate-/r/_binary64_17415`
7×	`log-pow_binary64_17558` `cube-div_binary64_17498` `div-sub_binary64_17474`
6×	`distribute-rgt-out--_binary64_17423`
5×	`pow-plus_binary64_17532` `distribute-lft-out_binary64_17420` `associate-+r-_binary64_17403`
4×	`unpow2_binary64_17534` `unpow1/2_binary64_17533` `unpow1_binary64_17527` `rem-3cbrt-lft_binary64_17494` `*-rgt-identity_binary64_17459`
3×	`unpow3_binary64_17535` `cube-mult_binary64_17499` `rem-3cbrt-rft_binary64_17495`
2×	`exp-diff_binary64_17517` `mul-1-neg_binary64_17461` `difference-of-squares_binary64_17438` `associate--r-_binary64_17408` `associate-+l-_binary64_17404`
1×	`log-rec_binary64_17557` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-square-sqrt_binary64_17481` `*-lft-identity_binary64_17458` `remove-double-neg_binary64_17457` `pow-sqr_binary64_17442` `distribute-lft-neg-out_binary64_17428` `distribute-rgt1-in_binary64_17425` `distribute-lft1-in_binary64_17424` `count-2_binary64_17417`
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` `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` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `exp-neg_binary64_17516` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-neg_binary64_17496` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `/-rgt-identity_binary64_17460` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453` `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-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-rgt-neg-out_binary64_17429` `distribute-lft-out--_binary64_17421` `associate-/l/_binary64_17416` `associate--l-_binary64_17407`

Counts

264 → 247

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	523	10518
1	1424	8934
2	3858	8754
3	5026	8754

prune613.0ms (7.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	247	0	247
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	247	4	251

Error

Counts

251 → 4

Compiler

Compiled 8515 to 5639 computations (33.8% saved)

regimes361.0ms (4.4%)

Accuracy

Total 0.1b remaining (98.5%)

Threshold costs 0.1b (98.5%)

Compiler

Compiled 2334 to 1873 computations (19.8% saved)

bsearch43.0ms (0.5%)

Steps

Iters	Range		Point
10	2.247206204973038e+39	1.266270948730365e+49	2.2687609899480165e+39
6	-5.629782511351815e+43	-9.282696516337402e+42	-1.1713797307054126e+43

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_17399`
3×	`sub-neg_binary64_17462` `*-commutative_binary64_17400`
1×	`if-if-or-not_binary64_17727` `neg-mul-1_binary64_17465` `neg-sub0_binary64_17464`
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` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `unsub-neg_binary64_17463` `mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460` `-rgt-identity_binary64_17459` `-lft-identity_binary64_17458` `remove-double-neg_binary64_17457` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453` `cancel-sign-sub-inv_binary64_17435` `cancel-sign-sub_binary64_17434` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-neg-in_binary64_17430` `distribute-rgt-neg-out_binary64_17429` `distribute-lft-neg-out_binary64_17428` `distribute-rgt-neg-in_binary64_17427` `distribute-lft-neg-in_binary64_17426`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	46
1	29	46
2	35	46
3	37	46
4	38	46
5	38	46

end0.0ms (0%)

sample1.2s (14.5%)

Algorithm

1×

intervals

Results

256.0ms	8000×	body	128	valid
31.0ms	1077×	body	128	invalid

Compiler

Compiled 628 to 495 computations (21.2% saved)

Details

analyze600.0ms (7.3%)

sample21.0ms (0.3%)

simplify390.0ms (4.7%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite74.0ms (0.9%)

series435.0ms (5.3%)

simplify76.0ms (0.9%)

prune53.0ms (0.6%)

localize6.0ms (0.1%)

rewrite74.0ms (0.9%)

series592.0ms (7.2%)

simplify99.0ms (1.2%)

prune49.0ms (0.6%)

localize6.0ms (0.1%)

rewrite213.0ms (2.6%)

series425.0ms (5.2%)

simplify129.0ms (1.6%)

prune127.0ms (1.5%)

localize12.0ms (0.1%)

rewrite629.0ms (7.6%)

series1.8s (21.7%)

simplify224.0ms (2.7%)

prune613.0ms (7.4%)

regimes361.0ms (4.4%)

bsearch43.0ms (0.5%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.2s (14.5%)

Profiling