Details

analyze209.0ms (6.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

5×	`*-commutative_binary64_19787`
4×	`associate-/r/_binary64_19802` `associate-/l*_binary64_19801`
2×	`+-commutative_binary64_19786`
1×	`1-exp_binary64_19900`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `log-pow_binary64_19945` `log-rec_binary64_19944` `log-div_binary64_19943` `log-prod_binary64_19942` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `unpow3_binary64_19922` `unpow2_binary64_19921` `unpow1/2_binary64_19920` `pow-plus_binary64_19919` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow1_binary64_19914` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `exp-sqrt_binary64_19909` `exp-prod_binary64_19908` `div-exp_binary64_19907` `rec-exp_binary64_19906` `prod-exp_binary64_19905` `exp-diff_binary64_19904` `exp-neg_binary64_19903` `exp-sum_binary64_19902` `e-exp-1_binary64_19901` `exp-1-e_binary64_19899` `exp-0_binary64_19898` `rem-log-exp_binary64_19897` `rem-exp-log_binary64_19896` `cube-unmult_binary64_19893` `cube-mult_binary64_19886` `cube-div_binary64_19885` `cube-prod_binary64_19884` `cube-neg_binary64_19883` `rem-3cbrt-rft_binary64_19882` `rem-3cbrt-lft_binary64_19881` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `sqr-neg_binary64_19870` `rem-sqrt-square_binary64_19869` `rem-square-sqrt_binary64_19868` `times-frac_binary64_19862` `div-sub_binary64_19861` `neg-mul-1_binary64_19852` `neg-sub0_binary64_19851` `unsub-neg_binary64_19850` `sub-neg_binary64_19849` `mul-1-neg_binary64_19848` `/-rgt-identity_binary64_19847` `-rgt-identity_binary64_19846` `-lft-identity_binary64_19845` `remove-double-neg_binary64_19844` `sub0-neg_binary64_19843` `--rgt-identity_binary64_19842` `+-rgt-identity_binary64_19841` `+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `div0_binary64_19837` `-inverses_binary64_19836` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `pow-sqr_binary64_19829` `sqr-pow_binary64_19828` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `difference-of-squares_binary64_19825` `unswap-sqr_binary64_19824` `swap-sqr_binary64_19823` `cancel-sign-sub-inv_binary64_19822` `cancel-sign-sub_binary64_19821` `distribute-neg-frac_binary64_19820` `distribute-frac-neg_binary64_19819` `distribute-neg-out_binary64_19818` `distribute-neg-in_binary64_19817` `distribute-rgt-neg-out_binary64_19816` `distribute-lft-neg-out_binary64_19815` `distribute-rgt-neg-in_binary64_19814` `distribute-lft-neg-in_binary64_19813` `distribute-rgt1-in_binary64_19812` `distribute-lft1-in_binary64_19811` `distribute-rgt-out--_binary64_19810` `distribute-rgt-out_binary64_19809` `distribute-lft-out--_binary64_19808` `distribute-lft-out_binary64_19807` `distribute-rgt-in_binary64_19806` `distribute-lft-in_binary64_19805` `count-2_binary64_19804` `associate-/l/_binary64_19803` `associate-/r_binary64_19800` `associate-l/_binary64_19799` `associate-r/_binary64_19798` `associate-l_binary64_19797` `associate-r_binary64_19796` `associate--r-_binary64_19795` `associate--l-_binary64_19794` `associate--l+_binary64_19793` `associate--r+_binary64_19792` `associate-+l-_binary64_19791` `associate-+r-_binary64_19790` `associate-+l+_binary64_19789` `associate-+r+_binary64_19788`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	18	20
2	26	20
3	32	20
4	34	20
5	33	20
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
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	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 8 to 7 computations (12.5% saved)

sample14.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify14.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64_19787`
2×	`associate-/r/_binary64_19802` `associate-/l*_binary64_19801`
1×	`1-exp_binary64_19900` `+-commutative_binary64_19786`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `log-pow_binary64_19945` `log-rec_binary64_19944` `log-div_binary64_19943` `log-prod_binary64_19942` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `unpow3_binary64_19922` `unpow2_binary64_19921` `unpow1/2_binary64_19920` `pow-plus_binary64_19919` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow1_binary64_19914` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `exp-sqrt_binary64_19909` `exp-prod_binary64_19908` `div-exp_binary64_19907` `rec-exp_binary64_19906` `prod-exp_binary64_19905` `exp-diff_binary64_19904` `exp-neg_binary64_19903` `exp-sum_binary64_19902` `e-exp-1_binary64_19901` `exp-1-e_binary64_19899` `exp-0_binary64_19898` `rem-log-exp_binary64_19897` `rem-exp-log_binary64_19896` `cube-unmult_binary64_19893` `cube-mult_binary64_19886` `cube-div_binary64_19885` `cube-prod_binary64_19884` `cube-neg_binary64_19883` `rem-3cbrt-rft_binary64_19882` `rem-3cbrt-lft_binary64_19881` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `sqr-neg_binary64_19870` `rem-sqrt-square_binary64_19869` `rem-square-sqrt_binary64_19868` `times-frac_binary64_19862` `div-sub_binary64_19861` `neg-mul-1_binary64_19852` `neg-sub0_binary64_19851` `unsub-neg_binary64_19850` `sub-neg_binary64_19849` `mul-1-neg_binary64_19848` `/-rgt-identity_binary64_19847` `-rgt-identity_binary64_19846` `-lft-identity_binary64_19845` `remove-double-neg_binary64_19844` `sub0-neg_binary64_19843` `--rgt-identity_binary64_19842` `+-rgt-identity_binary64_19841` `+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `div0_binary64_19837` `-inverses_binary64_19836` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `pow-sqr_binary64_19829` `sqr-pow_binary64_19828` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `difference-of-squares_binary64_19825` `unswap-sqr_binary64_19824` `swap-sqr_binary64_19823` `cancel-sign-sub-inv_binary64_19822` `cancel-sign-sub_binary64_19821` `distribute-neg-frac_binary64_19820` `distribute-frac-neg_binary64_19819` `distribute-neg-out_binary64_19818` `distribute-neg-in_binary64_19817` `distribute-rgt-neg-out_binary64_19816` `distribute-lft-neg-out_binary64_19815` `distribute-rgt-neg-in_binary64_19814` `distribute-lft-neg-in_binary64_19813` `distribute-rgt1-in_binary64_19812` `distribute-lft1-in_binary64_19811` `distribute-rgt-out--_binary64_19810` `distribute-rgt-out_binary64_19809` `distribute-lft-out--_binary64_19808` `distribute-lft-out_binary64_19807` `distribute-rgt-in_binary64_19806` `distribute-lft-in_binary64_19805` `count-2_binary64_19804` `associate-/l/_binary64_19803` `associate-/r_binary64_19800` `associate-l/_binary64_19799` `associate-r/_binary64_19798` `associate-l_binary64_19797` `associate-r_binary64_19796` `associate--r-_binary64_19795` `associate--l-_binary64_19794` `associate--l+_binary64_19793` `associate--r+_binary64_19792` `associate-+l-_binary64_19791` `associate-+r-_binary64_19790` `associate-+l+_binary64_19789` `associate-+r+_binary64_19788`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	17	10
3	20	10
4	21	10
5	20	10

prune2.0ms (0.1%)

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

7.6b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

7.1b	(/.f64 (*.f64 x y) (+.f64 y 1))

rewrite37.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`*-un-lft-identity_binary64_19856`
6×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
4×	`times-frac_binary64_19862` `associate-/r*_binary64_19800`
3×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878`
2×	`div-exp_binary64_19907` `cbrt-undiv_binary64_19890` `distribute-lft-out_binary64_19807` `associate-/r/_binary64_19802`
1×	`pow1_binary64_19917` `prod-exp_binary64_19905` `add-log-exp_binary64_19895` `cbrt-unprod_binary64_19889` `frac-2neg_binary64_19867` `clear-num_binary64_19855` `div-inv_binary64_19853` `flip3-+_binary64_19859` `flip-+_binary64_19830` `associate-/l*_binary64_19801`

Counts

1 → 25

Calls

1 calls:

6.0ms

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

Compiler

Compiled 324 to 194 computations (40.1% saved)

series125.0ms (3.9%)

Error

0.0b

Counts

1 → 15

Calls

1 calls:

115.0ms

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

Compiler

Compiled 247 to 170 computations (31.2% saved)

simplify70.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

683×	`times-frac_binary64_19862`
439×	`associate-/l*_binary64_19801`
403×	`sub-neg_binary64_19849`
220×	`cancel-sign-sub-inv_binary64_19822`
198×	`distribute-rgt-in_binary64_19806`
174×	`div-sub_binary64_19861`
161×	`associate-/r*_binary64_19800`
157×	`distribute-lft-in_binary64_19805`
151×	`associate-/l/_binary64_19803`
139×	`associate-+l+_binary64_19789`
138×	`associate-l_binary64_19797`
120×	`associate-+l-_binary64_19791`
113×	`associate-r_binary64_19796`
104×	`distribute-rgt-out_binary64_19809` `associate-*l/_binary64_19799`
91×	`unsub-neg_binary64_19850`
84×	`associate--l+_binary64_19793`
83×	`neg-mul-1_binary64_19852`
74×	`distribute-rgt-out--_binary64_19810` `associate-/r/_binary64_19802`
73×	`neg-sub0_binary64_19851`
69×	`associate-*r/_binary64_19798`
66×	`*-commutative_binary64_19787`
64×	`unswap-sqr_binary64_19824`
57×	`distribute-rgt-neg-in_binary64_19814`
53×	`associate-+r-_binary64_19790`
51×	`distribute-lft-out_binary64_19807`
44×	`associate--r+_binary64_19792`
43×	`distribute-lft-neg-in_binary64_19813` `associate--l-_binary64_19794`
41×	`log-prod_binary64_19942` `distribute-neg-frac_binary64_19820`
39×	`cube-prod_binary64_19884`
38×	`log-div_binary64_19943` `+-commutative_binary64_19786`
31×	`cube-div_binary64_19885` `distribute-lft-out--_binary64_19808`
26×	`*-rgt-identity_binary64_19846`
25×	`swap-sqr_binary64_19823`
24×	`sqr-pow_binary64_19828` `associate-+r+_binary64_19788`
19×	`unpow3_binary64_19922`
15×	`exp-prod_binary64_19908`
14×	`*-lft-identity_binary64_19845` `distribute-rgt1-in_binary64_19812`
13×	`cube-mult_binary64_19886` `distribute-neg-in_binary64_19817`
11×	`+-rgt-identity_binary64_19841`
10×	`associate--r-_binary64_19795`
9×	`/-rgt-identity_binary64_19847` `sub0-neg_binary64_19843` `distribute-lft-neg-out_binary64_19815`
8×	`cube-unmult_binary64_19893` `difference-of-squares_binary64_19825` `distribute-lft1-in_binary64_19811`
5×	`log-rec_binary64_19944` `pow-plus_binary64_19919`
3×	`log-pow_binary64_19945`
2×	`rem-sqrt-square_binary64_19869` `div0_binary64_19837` `difference-of-sqr-1_binary64_19826` `count-2_binary64_19804`
1×	`unpow2_binary64_19921` `unpow1/2_binary64_19920` `unpow1_binary64_19914` `exp-sum_binary64_19902` `1-exp_binary64_19900` `remove-double-neg_binary64_19844` `*-inverses_binary64_19836` `pow-sqr_binary64_19829` `difference-of-sqr--1_binary64_19827` `cancel-sign-sub_binary64_19821` `distribute-frac-neg_binary64_19819` `distribute-rgt-neg-out_binary64_19816`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `exp-sqrt_binary64_19909` `div-exp_binary64_19907` `rec-exp_binary64_19906` `prod-exp_binary64_19905` `exp-diff_binary64_19904` `exp-neg_binary64_19903` `e-exp-1_binary64_19901` `exp-1-e_binary64_19899` `exp-0_binary64_19898` `rem-log-exp_binary64_19897` `rem-exp-log_binary64_19896` `cube-neg_binary64_19883` `rem-3cbrt-rft_binary64_19882` `rem-3cbrt-lft_binary64_19881` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `sqr-neg_binary64_19870` `rem-square-sqrt_binary64_19868` `mul-1-neg_binary64_19848` `--rgt-identity_binary64_19842` `+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `distribute-neg-out_binary64_19818`

Counts

40 → 21

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	77	560
1	210	489
2	673	486
3	2816	483
4	4490	483
5	5165	483

prune19.0ms (0.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	18	3	21
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	19	3	22

Error

Counts

22 → 3

Compiler

Compiled 188 to 109 computations (42% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite86.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`*-un-lft-identity_binary64_19856`
25×	`add-sqr-sqrt_binary64_19878` `times-frac_binary64_19862`
20×	`add-cube-cbrt_binary64_19891`
18×	`associate-r_binary64_19796`
9×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
7×	`distribute-lft-out_binary64_19807`
4×	`pow1_binary64_19917` `associate-/r/_binary64_19802` `associate-/r*_binary64_19800`
3×	`associate-l_binary64_19797` `associate-/l*_binary64_19801`
2×	`div-exp_binary64_19907` `prod-exp_binary64_19905` `add-log-exp_binary64_19895` `cbrt-unprod_binary64_19889` `cbrt-undiv_binary64_19890` `unswap-sqr_binary64_19824` `div-inv_binary64_19853` `flip3-+_binary64_19859` `flip-+_binary64_19830`
1×	`pow-prod-down_binary64_19927` `associate-r/_binary64_19798` `-commutative_binary64_19787` `frac-2neg_binary64_19867` `clear-num_binary64_19855`

Counts

2 → 70

Calls

2 calls:

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

Compiler

Compiled 915 to 570 computations (37.7% saved)

series168.0ms (5.2%)

Error

Counts

2 → 27

Calls

2 calls:

114.0ms	(*.f64 x (/.f64 y (+.f64 y 1)))
40.0ms	(/.f64 y (+.f64 y 1))

Compiler

Compiled 442 to 333 computations (24.7% saved)

simplify121.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

519×	`cancel-sign-sub-inv_binary64_19822`
355×	`times-frac_binary64_19862`
325×	`sub-neg_binary64_19849`
301×	`associate-l_binary64_19797`
293×	`associate-/l*_binary64_19801`
254×	`associate-r_binary64_19796`
207×	`associate-*r/_binary64_19798`
206×	`associate-*l/_binary64_19799`
190×	`distribute-rgt-in_binary64_19806`
162×	`distribute-rgt-out--_binary64_19810`
142×	`associate-/r*_binary64_19800`
124×	`distribute-rgt-out_binary64_19809`
118×	`div-sub_binary64_19861`
115×	`neg-mul-1_binary64_19852`
102×	`*-commutative_binary64_19787`
101×	`neg-sub0_binary64_19851`
100×	`unsub-neg_binary64_19850`
94×	`distribute-rgt-neg-in_binary64_19814`
87×	`associate-/l/_binary64_19803`
75×	`distribute-lft-neg-in_binary64_19813`
74×	`unswap-sqr_binary64_19824`
65×	`distribute-lft-out_binary64_19807`
64×	`log-prod_binary64_19942` `+-commutative_binary64_19786`
61×	`associate-/r/_binary64_19802`
60×	`*-lft-identity_binary64_19845`
57×	`log-div_binary64_19943`
56×	`distribute-lft-out--_binary64_19808`
53×	`cube-div_binary64_19885`
52×	`cube-prod_binary64_19884` `distribute-neg-frac_binary64_19820`
45×	`*-rgt-identity_binary64_19846` `associate--l+_binary64_19793`
43×	`exp-prod_binary64_19908` `associate-+l-_binary64_19791`
39×	`associate-+r+_binary64_19788`
37×	`sqr-pow_binary64_19828` `associate-+l+_binary64_19789`
33×	`associate-+r-_binary64_19790`
28×	`/-rgt-identity_binary64_19847` `associate--r+_binary64_19792`
25×	`swap-sqr_binary64_19823`
24×	`distribute-rgt1-in_binary64_19812`
23×	`distribute-lft-in_binary64_19805`
22×	`unpow3_binary64_19922`
19×	`+-rgt-identity_binary64_19841` `difference-of-squares_binary64_19825` `distribute-neg-in_binary64_19817`
17×	`cube-mult_binary64_19886`
16×	`sub0-neg_binary64_19843`
13×	`log-rec_binary64_19944` `distribute-lft-neg-out_binary64_19815`
9×	`cube-unmult_binary64_19893` `rem-sqrt-square_binary64_19869` `distribute-lft1-in_binary64_19811`
8×	`pow-plus_binary64_19919`
5×	`remove-double-div_binary64_19832` `pow-sqr_binary64_19829`
4×	`log-pow_binary64_19945`
3×	`unpow1/2_binary64_19920` `exp-sum_binary64_19902`
2×	`sqr-neg_binary64_19870` `difference-of-sqr-1_binary64_19826` `associate--l-_binary64_19794`
1×	`unpow2_binary64_19921` `unpow1_binary64_19914` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `div0_binary64_19837` `difference-of-sqr--1_binary64_19827` `cancel-sign-sub_binary64_19821` `distribute-frac-neg_binary64_19819` `distribute-rgt-neg-out_binary64_19816`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `exp-sqrt_binary64_19909` `div-exp_binary64_19907` `rec-exp_binary64_19906` `prod-exp_binary64_19905` `exp-diff_binary64_19904` `exp-neg_binary64_19903` `e-exp-1_binary64_19901` `exp-0_binary64_19898` `rem-log-exp_binary64_19897` `rem-exp-log_binary64_19896` `cube-neg_binary64_19883` `rem-3cbrt-rft_binary64_19882` `rem-3cbrt-lft_binary64_19881` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `rem-square-sqrt_binary64_19868` `mul-1-neg_binary64_19848` `remove-double-neg_binary64_19844` `--rgt-identity_binary64_19842` `+-lft-identity_binary64_19840` `*-inverses_binary64_19836` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `distribute-neg-out_binary64_19818` `count-2_binary64_19804` `associate--r-_binary64_19795`

Counts

97 → 52

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1306
1	313	1205
2	983	1199
3	3038	1193
4	4417	1193
5	4970	1193
6	4949	1193

prune33.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	52	3	55

Error

Counts

55 → 3

Compiler

Compiled 416 to 243 computations (41.6% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 x (+.f64 y (/.f64 -1 y)))
7.3b	(*.f64 (/.f64 x (+.f64 y (/.f64 -1 y))) (-.f64 y 1))

rewrite135.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

39×	`*-un-lft-identity_binary64_19856`
31×	`add-sqr-sqrt_binary64_19878`
25×	`times-frac_binary64_19862`
22×	`add-cube-cbrt_binary64_19891`
18×	`associate-l_binary64_19797`
9×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
7×	`distribute-lft-out_binary64_19807` `associate-r_binary64_19796`
6×	`cancel-sign-sub-inv_binary64_19822`
4×	`pow1_binary64_19917` `distribute-rgt-in_binary64_19806` `distribute-lft-in_binary64_19805` `associate-/r/_binary64_19802` `associate-/r*_binary64_19800`
3×	`associate-/l*_binary64_19801`
2×	`div-exp_binary64_19907` `prod-exp_binary64_19905` `add-log-exp_binary64_19895` `cbrt-unprod_binary64_19889` `cbrt-undiv_binary64_19890` `flip3--_binary64_19860` `frac-times_binary64_19866` `flip--_binary64_19831` `unswap-sqr_binary64_19824` `sub-neg_binary64_19849` `associate-*r/_binary64_19798` `div-inv_binary64_19853` `flip3-+_binary64_19859` `flip-+_binary64_19830` `difference-of-squares_binary64_19825`
1×	`pow-prod-down_binary64_19927` `associate-l/_binary64_19799` `difference-of-sqr-1_binary64_19826` `distribute-lft-out--_binary64_19808` `-commutative_binary64_19787` `frac-2neg_binary64_19867` `clear-num_binary64_19855`

Counts

2 → 86

Calls

2 calls:

18.0ms	(*.f64 (/.f64 x (+.f64 y (/.f64 -1 y))) (-.f64 y 1))
8.0ms	(/.f64 x (+.f64 y (/.f64 -1 y)))

Compiler

Compiled 1601 to 1057 computations (34% saved)

series368.0ms (11.4%)

Error

Counts

2 → 30

Calls

2 calls:

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

Compiler

Compiled 682 to 479 computations (29.8% saved)

simplify108.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

414×	`div-sub_binary64_19861`
361×	`times-frac_binary64_19862`
342×	`associate-/l*_binary64_19801`
330×	`distribute-rgt-in_binary64_19806`
306×	`associate-*l/_binary64_19799`
259×	`distribute-lft-in_binary64_19805`
211×	`associate-*r/_binary64_19798`
170×	`associate-/r*_binary64_19800`
104×	`cancel-sign-sub-inv_binary64_19822`
86×	`associate-l_binary64_19797`
85×	`*-commutative_binary64_19787`
74×	`associate-r_binary64_19796`
71×	`sub-neg_binary64_19849`
63×	`distribute-rgt-neg-in_binary64_19814`
60×	`associate-/l/_binary64_19803`
57×	`+-commutative_binary64_19786`
51×	`exp-prod_binary64_19908`
50×	`distribute-lft-neg-in_binary64_19813` `associate-+l-_binary64_19791`
48×	`associate-+r-_binary64_19790`
45×	`distribute-rgt-out_binary64_19809`
41×	`distribute-neg-in_binary64_19817` `associate--r+_binary64_19792`
39×	`cube-prod_binary64_19884`
38×	`neg-sub0_binary64_19851`
36×	`neg-mul-1_binary64_19852`
35×	`distribute-lft-out_binary64_19807` `associate--l+_binary64_19793`
34×	`cube-div_binary64_19885`
33×	`distribute-lft-neg-out_binary64_19815` `associate-/r/_binary64_19802`
32×	`unsub-neg_binary64_19850`
30×	`distribute-rgt-out--_binary64_19810`
28×	`log-prod_binary64_19942`
27×	`log-div_binary64_19943` `sqr-pow_binary64_19828`
26×	`distribute-rgt-neg-out_binary64_19816` `associate-+r+_binary64_19788`
25×	`mul-1-neg_binary64_19848`
24×	`distribute-neg-frac_binary64_19820`
22×	`*-rgt-identity_binary64_19846`
20×	`associate-+l+_binary64_19789`
14×	`*-lft-identity_binary64_19845`
13×	`swap-sqr_binary64_19823`
10×	`distribute-lft-out--_binary64_19808`
9×	`unswap-sqr_binary64_19824`
8×	`distribute-rgt1-in_binary64_19812`
7×	`log-rec_binary64_19944` `unpow3_binary64_19922` `exp-diff_binary64_19904` `exp-sum_binary64_19902` `cube-unmult_binary64_19893` `/-rgt-identity_binary64_19847`
6×	`exp-neg_binary64_19903`
5×	`cube-mult_binary64_19886` `distribute-frac-neg_binary64_19819` `associate--l-_binary64_19794`
4×	`cube-neg_binary64_19883` `associate--r-_binary64_19795`
3×	`sqr-neg_binary64_19870` `difference-of-squares_binary64_19825`
2×	`unpow1/2_binary64_19920` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `distribute-neg-out_binary64_19818` `distribute-lft1-in_binary64_19811`
1×	`unpow2_binary64_19921` `pow-plus_binary64_19919` `unpow1_binary64_19914` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `rem-3cbrt-lft_binary64_19881` `rem-sqrt-square_binary64_19869` `remove-double-neg_binary64_19844` `+-rgt-identity_binary64_19841` `div0_binary64_19837` `*-inverses_binary64_19836` `lft-mult-inverse_binary64_19834` `pow-sqr_binary64_19829`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `log-pow_binary64_19945` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `exp-sqrt_binary64_19909` `div-exp_binary64_19907` `rec-exp_binary64_19906` `prod-exp_binary64_19905` `e-exp-1_binary64_19901` `exp-0_binary64_19898` `rem-log-exp_binary64_19897` `rem-exp-log_binary64_19896` `rem-3cbrt-rft_binary64_19882` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `rem-square-sqrt_binary64_19868` `sub0-neg_binary64_19843` `--rgt-identity_binary64_19842` `+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `+-inverses_binary64_19835` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `cancel-sign-sub_binary64_19821` `count-2_binary64_19804`

Counts

116 → 97

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	181	2203
1	478	2042
2	1440	2033
3	4514	2017
4	5382	2017

prune87.0ms (2.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	97	3	100

Error

Counts

100 → 3

Compiler

Compiled 1353 to 856 computations (36.7% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 y (+.f64 y 1))
0.0b	(*.f64 x (cbrt.f64 (pow.f64 (/.f64 y (+.f64 y 1)) 3)))
0.0b	(pow.f64 (/.f64 y (+.f64 y 1)) 3)
21.8b	(cbrt.f64 (pow.f64 (/.f64 y (+.f64 y 1)) 3))

rewrite263.0ms (8.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

110×	`*-un-lft-identity_binary64_19856`
90×	`cbrt-prod_binary64_19887`
86×	`times-frac_binary64_19862`
81×	`add-sqr-sqrt_binary64_19878`
66×	`add-cube-cbrt_binary64_19891`
56×	`unpow-prod-down_binary64_19935` `cube-prod_binary64_19884`
45×	`associate-r_binary64_19796`
22×	`distribute-lft-out_binary64_19807`
14×	`associate-/r/_binary64_19802`
11×	`add-exp-log_binary64_19894`
10×	`add-cbrt-cube_binary64_19892`
7×	`pow1_binary64_19917` `div-inv_binary64_19853` `flip3-+_binary64_19859` `flip-+_binary64_19830` `unswap-sqr_binary64_19824`
4×	`add-log-exp_binary64_19895` `sqr-pow_binary64_19828` `associate-/r*_binary64_19800`
3×	`cube-div_binary64_19885` `unpow3_binary64_19922` `cube-mult_binary64_19886` `pow-unpow_binary64_19933` `associate-l_binary64_19797` `associate-/l*_binary64_19801`
2×	`cbrt-div_binary64_19888` `div-exp_binary64_19907` `pow-exp_binary64_19924` `rem-cube-cbrt_binary64_19879` `cbrt-undiv_binary64_19890`
1×	`pow1/3_binary64_19938` `rem-cbrt-cube_binary64_19880` `pow-pow_binary64_19928` `pow-to-exp_binary64_19925` `pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889` `associate-r/_binary64_19798` `-commutative_binary64_19787` `frac-2neg_binary64_19867` `clear-num_binary64_19855`

Counts

4 → 208

Calls

4 calls:

22.0ms	(*.f64 x (cbrt.f64 (pow.f64 (/.f64 y (+.f64 y 1)) 3)))
8.0ms	(cbrt.f64 (pow.f64 (/.f64 y (+.f64 y 1)) 3))
8.0ms	(pow.f64 (/.f64 y (+.f64 y 1)) 3)
5.0ms	(/.f64 y (+.f64 y 1))

Compiler

Compiled 2595 to 1867 computations (28.1% saved)

series304.0ms (9.5%)

Error

Counts

4 → 51

Calls

4 calls:

121.0ms	(*.f64 x (cbrt.f64 (pow.f64 (/.f64 y (+.f64 y 1)) 3)))
49.0ms	(pow.f64 (/.f64 y (+.f64 y 1)) 3)
48.0ms	(cbrt.f64 (pow.f64 (/.f64 y (+.f64 y 1)) 3))
42.0ms	(/.f64 y (+.f64 y 1))

Compiler

Compiled 1152 to 951 computations (17.4% saved)

simplify167.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

472×	`unswap-sqr_binary64_19824`
378×	`log-prod_binary64_19942`
281×	`cancel-sign-sub-inv_binary64_19822`
158×	`log-div_binary64_19943`
148×	`associate-l_binary64_19797`
142×	`associate-r_binary64_19796`
129×	`sqr-pow_binary64_19828`
128×	`sub-neg_binary64_19849`
117×	`distribute-rgt-in_binary64_19806`
94×	`associate-/l_binary64_19801` `associate-l/_binary64_19799`
87×	`distribute-lft-in_binary64_19805` `associate-*r/_binary64_19798`
83×	`cube-div_binary64_19885`
76×	`distribute-rgt-neg-in_binary64_19814`
75×	`exp-prod_binary64_19908`
65×	`cube-prod_binary64_19884`
63×	`*-commutative_binary64_19787` `+-commutative_binary64_19786`
60×	`distribute-lft-neg-in_binary64_19813`
57×	`times-frac_binary64_19862`
52×	`swap-sqr_binary64_19823`
51×	`associate-/r*_binary64_19800`
48×	`distribute-rgt-out--_binary64_19810`
46×	`associate--l+_binary64_19793`
43×	`log-pow_binary64_19945`
38×	`unpow3_binary64_19922`
37×	`cube-mult_binary64_19886`
36×	`distribute-neg-frac_binary64_19820` `associate--r+_binary64_19792`
35×	`*-rgt-identity_binary64_19846`
32×	`distribute-rgt-out_binary64_19809`
30×	`*-lft-identity_binary64_19845`
29×	`neg-sub0_binary64_19851`
27×	`neg-mul-1_binary64_19852` `unsub-neg_binary64_19850`
26×	`rem-cbrt-cube_binary64_19880`
23×	`associate-/l/_binary64_19803`
18×	`/-rgt-identity_binary64_19847` `distribute-neg-in_binary64_19817`
15×	`pow-sqr_binary64_19829` `difference-of-squares_binary64_19825` `distribute-lft-out--_binary64_19808` `associate-/r/_binary64_19802`
13×	`rem-sqrt-square_binary64_19869`
12×	`associate-+l+_binary64_19789`
11×	`log-rec_binary64_19944`
9×	`pow-plus_binary64_19919` `cube-unmult_binary64_19893` `distribute-lft-neg-out_binary64_19815`
8×	`distribute-rgt1-in_binary64_19812`
6×	`distribute-lft-out_binary64_19807`
4×	`mul-1-neg_binary64_19848`
3×	`rem-cube-cbrt_binary64_19879` `rem-square-sqrt_binary64_19868` `div-sub_binary64_19861` `difference-of-sqr--1_binary64_19827` `associate-+l-_binary64_19791`
2×	`unpow1/2_binary64_19920` `unpow1_binary64_19914` `associate-+r-_binary64_19790`
1×	`unpow2_binary64_19921` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `rem-3cbrt-lft_binary64_19881` `difference-of-sqr-1_binary64_19826` `distribute-rgt-neg-out_binary64_19816` `associate-+r+_binary64_19788`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `exp-sqrt_binary64_19909` `div-exp_binary64_19907` `rec-exp_binary64_19906` `prod-exp_binary64_19905` `exp-diff_binary64_19904` `exp-neg_binary64_19903` `exp-sum_binary64_19902` `e-exp-1_binary64_19901` `exp-0_binary64_19898` `rem-log-exp_binary64_19897` `rem-exp-log_binary64_19896` `cube-neg_binary64_19883` `rem-3cbrt-rft_binary64_19882` `sqr-abs_binary64_19871` `sqr-neg_binary64_19870` `remove-double-neg_binary64_19844` `sub0-neg_binary64_19843` `--rgt-identity_binary64_19842` `+-rgt-identity_binary64_19841` `+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `div0_binary64_19837` `*-inverses_binary64_19836` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `cancel-sign-sub_binary64_19821` `distribute-frac-neg_binary64_19819` `distribute-neg-out_binary64_19818` `distribute-lft1-in_binary64_19811` `count-2_binary64_19804` `associate--r-_binary64_19795` `associate--l-_binary64_19794`

Counts

259 → 205

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	264	4007
1	662	3678
2	2214	3627
3	4531	3627
4	5018	3627

prune126.0ms (3.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	205	0	205
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	205	3	208

Error

Counts

208 → 3

Compiler

Compiled 1550 to 998 computations (35.6% saved)

regimes204.0ms (6.4%)

Accuracy

Total 0.0b remaining (62.7%)

Threshold costs 0.0b (62.7%)

Compiler

Compiled 1343 to 1136 computations (15.4% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× 1-exp_binary64_19900 *-commutative_binary64_19787 +-commutative_binary64_19786

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_20116 if-if-and_binary64_20115 if-if-or-not_binary64_20114 if-if-or_binary64_20113 if-not_binary64_20112 if-same_binary64_20111 if-false_binary64_20110 if-true_binary64_20109 tan-0_binary64_19985 cos-0_binary64_19984 sin-0_binary64_19983 unpow1_binary64_19914 e-exp-1_binary64_19901 exp-1-e_binary64_19899 exp-0_binary64_19898 sqr-abs_binary64_19871 sqr-neg_binary64_19870 neg-mul-1_binary64_19852 neg-sub0_binary64_19851 unsub-neg_binary64_19850 sub-neg_binary64_19849 mul-1-neg_binary64_19848 /-rgt-identity_binary64_19847 *-rgt-identity_binary64_19846 *-lft-identity_binary64_19845 remove-double-neg_binary64_19844 sub0-neg_binary64_19843 --rgt-identity_binary64_19842 +-rgt-identity_binary64_19841 +-lft-identity_binary64_19840 cancel-sign-sub-inv_binary64_19822 cancel-sign-sub_binary64_19821 distribute-neg-frac_binary64_19820 distribute-frac-neg_binary64_19819 distribute-neg-out_binary64_19818 distribute-neg-in_binary64_19817 distribute-rgt-neg-out_binary64_19816 distribute-lft-neg-out_binary64_19815 distribute-rgt-neg-in_binary64_19814 distribute-lft-neg-in_binary64_19813

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10
2	10	10

end1.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

sample524.0ms (16.3%)

Algorithm

1×

intervals

Results

196.0ms

8000×

body

128

valid

Compiler

Compiled 83 to 65 computations (21.7% saved)

Details

analyze209.0ms (6.5%)

sample14.0ms (0.4%)

simplify14.0ms (0.4%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite37.0ms (1.1%)

series125.0ms (3.9%)

simplify70.0ms (2.2%)

prune19.0ms (0.6%)

localize5.0ms (0.1%)

rewrite86.0ms (2.7%)

series168.0ms (5.2%)

simplify121.0ms (3.8%)

prune33.0ms (1%)

localize9.0ms (0.3%)

rewrite135.0ms (4.2%)

series368.0ms (11.4%)

simplify108.0ms (3.4%)

prune87.0ms (2.7%)

localize8.0ms (0.3%)

rewrite263.0ms (8.2%)

series304.0ms (9.5%)

simplify167.0ms (5.2%)

prune126.0ms (3.9%)

regimes204.0ms (6.4%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample524.0ms (16.3%)

Profiling