Details

analyze312.0ms (5%)

Algorithm

1×	search
2×	egg-herbie

Rules

960×	`div-sub_binary64_19861`
896×	`distribute-frac-neg_binary64_19819`
520×	`sub-neg_binary64_19849`
456×	`neg-mul-1_binary64_19852`
420×	`neg-sub0_binary64_19851`
392×	`cancel-sign-sub-inv_binary64_19822`
354×	`associate-/r/_binary64_19802`
336×	`distribute-rgt-in_binary64_19806`
284×	`unsub-neg_binary64_19850`
242×	`distribute-lft-neg-in_binary64_19813`
232×	`associate-/l*_binary64_19801`
200×	`*-commutative_binary64_19787`
198×	`remove-double-neg_binary64_19844` `distribute-rgt-neg-in_binary64_19814`
152×	`distribute-lft-in_binary64_19805`
150×	`+-commutative_binary64_19786`
148×	`/-rgt-identity_binary64_19847`
134×	`distribute-rgt-neg-out_binary64_19816`
132×	`distribute-lft-neg-out_binary64_19815`
124×	`associate--r+_binary64_19792`
112×	`associate-+l-_binary64_19791`
108×	`associate-/l/_binary64_19803`
106×	`associate-/r*_binary64_19800`
100×	`associate-r_binary64_19796`
94×	`associate--l+_binary64_19793`
90×	`associate--l-_binary64_19794`
86×	`+-rgt-identity_binary64_19841`
82×	`associate-+r-_binary64_19790`
74×	`distribute-neg-in_binary64_19817`
68×	`distribute-neg-frac_binary64_19820`
66×	`associate-l_binary64_19797`
62×	`cancel-sign-sub_binary64_19821` `associate-+l+_binary64_19789` `associate-+r+_binary64_19788`
54×	`distribute-neg-out_binary64_19818` `associate--r-_binary64_19795`
50×	`sub0-neg_binary64_19843`
42×	`*-lft-identity_binary64_19845`
40×	`mul0-rgt_binary64_19839` `div0_binary64_19837`
38×	`mul0-lft_binary64_19838`
34×	`associate-*l/_binary64_19799`
30×	`--rgt-identity_binary64_19842`
28×	`*-rgt-identity_binary64_19846`
18×	`distribute-lft-out--_binary64_19808`
14×	`distribute-rgt-out--_binary64_19810`
10×	`associate-*r/_binary64_19798`
8×	`*-inverses_binary64_19836` `distribute-rgt-out_binary64_19809`
6×	`mul-1-neg_binary64_19848` `+-lft-identity_binary64_19840`
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` `+-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` `distribute-rgt1-in_binary64_19812` `distribute-lft1-in_binary64_19811` `distribute-lft-out_binary64_19807` `count-2_binary64_19804`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	56
1	38	56
2	86	56
3	177	56
4	331	56
5	529	56
6	667	56
7	1052	56
8	1585	56
9	2006	56
10	3019	56
11	3537	56
12	3625	56
13	3505	56
14	4773	56
15	4715	56
16	5028	56
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
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
93.7%	6.2%	0.1%	7
96.8%	3.1%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Compiler

Compiled 20 to 13 computations (35% saved)

sample19.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms

256×

body

128

valid

Compiler

Compiled 39 to 27 computations (30.8% saved)

simplify112.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

494×	`sub-neg_binary64_19849`
455×	`cancel-sign-sub-inv_binary64_19822`
430×	`times-frac_binary64_19862` `distribute-rgt-neg-in_binary64_19814`
410×	`unswap-sqr_binary64_19824`
364×	`div-sub_binary64_19861`
315×	`distribute-lft-neg-in_binary64_19813`
304×	`neg-mul-1_binary64_19852`
280×	`associate-*l/_binary64_19799`
272×	`associate-/l/_binary64_19803`
256×	`neg-sub0_binary64_19851`
250×	`distribute-frac-neg_binary64_19819`
234×	`associate-/l*_binary64_19801`
183×	`associate-*r/_binary64_19798`
178×	`associate-/r/_binary64_19802`
162×	`swap-sqr_binary64_19823`
160×	`associate-/r*_binary64_19800`
132×	`+-commutative_binary64_19786`
126×	`distribute-neg-in_binary64_19817`
121×	`distribute-neg-frac_binary64_19820`
102×	`distribute-rgt-in_binary64_19806`
101×	`unsub-neg_binary64_19850`
86×	`remove-double-neg_binary64_19844`
74×	`distribute-lft-in_binary64_19805`
67×	`distribute-lft-neg-out_binary64_19815`
61×	`associate--l-_binary64_19794`
60×	`distribute-rgt-neg-out_binary64_19816`
56×	`associate-r_binary64_19796`
50×	`*-lft-identity_binary64_19845`
48×	`associate-+l-_binary64_19791`
47×	`associate--r+_binary64_19792`
42×	`associate-+l+_binary64_19789`
37×	`sub0-neg_binary64_19843`
36×	`+-lft-identity_binary64_19840` `associate--l+_binary64_19793`
32×	`*-commutative_binary64_19787`
29×	`*-rgt-identity_binary64_19846`
28×	`associate-l_binary64_19797`
24×	`--rgt-identity_binary64_19842`
22×	`/-rgt-identity_binary64_19847` `div0_binary64_19837`
21×	`sqr-neg_binary64_19870`
20×	`cancel-sign-sub_binary64_19821`
17×	`mul0-rgt_binary64_19839` `mul0-lft_binary64_19838`
13×	`distribute-neg-out_binary64_19818`
12×	`remove-double-div_binary64_19832`
9×	`*-inverses_binary64_19836`
6×	`associate--r-_binary64_19795`
5×	`+-rgt-identity_binary64_19841` `distribute-rgt-out--_binary64_19810`
4×	`mul-1-neg_binary64_19848` `associate-+r+_binary64_19788`
3×	`distribute-rgt1-in_binary64_19812` `associate-+r-_binary64_19790`
2×	`distribute-rgt-out_binary64_19809`
1×	`1-exp_binary64_19900` `distribute-lft1-in_binary64_19811` `distribute-lft-out--_binary64_19808`
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` `rem-sqrt-square_binary64_19869` `rem-square-sqrt_binary64_19868` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `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` `distribute-lft-out_binary64_19807` `count-2_binary64_19804`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	28
1	21	28
2	48	28
3	94	28
4	176	28
5	274	28
6	339	28
7	448	28
8	687	28
9	2046	28
10	3379	28
11	3727	28
12	4065	28
13	4286	28
14	4787	28

prune3.0ms (0.1%)

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

32.1b

Counts

2 → 1

Compiler

Compiled 38 to 24 computations (36.8% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
3.6b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
31.6b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

rewrite109.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

32.1b

Rules

11×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
9×	`times-frac_binary64_19862`
7×	`add-log-exp_binary64_19895`
5×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
3×	`pow1_binary64_19917` `associate-/l_binary64_19801` `associate-/r_binary64_19800`
2×	`flip3--_binary64_19860` `associate-/l/_binary64_19803` `flip--_binary64_19831` `flip3-+_binary64_19859` `associate-/r/_binary64_19802` `flip-+_binary64_19830`
1×	`div-exp_binary64_19907` `cbrt-undiv_binary64_19890` `frac-2neg_binary64_19867` `div-sub_binary64_19861` `clear-num_binary64_19855` `div-inv_binary64_19853` `diff-log_binary64_19948` `sub-neg_binary64_19849` `cancel-sign-sub-inv_binary64_19822` `sum-log_binary64_19947` `+-commutative_binary64_19786`

Counts

3 → 55

Calls

3 calls:

10.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
5.0ms	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
4.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y 4) y))

Compiler

Compiled 1867 to 967 computations (48.2% saved)

series608.0ms (9.7%)

Error

0.2b

Counts

3 → 39

Calls

3 calls:

226.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
185.0ms	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
161.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y 4) y))

Compiler

Compiled 1446 to 1125 computations (22.2% saved)

simplify93.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

451×	`associate-l_binary64_19797`
450×	`cancel-sign-sub-inv_binary64_19822`
366×	`associate-r_binary64_19796`
223×	`div-sub_binary64_19861`
212×	`unswap-sqr_binary64_19824`
184×	`associate-/l*_binary64_19801`
160×	`associate-*l/_binary64_19799`
138×	`distribute-rgt-in_binary64_19806`
133×	`times-frac_binary64_19862`
126×	`associate-/r*_binary64_19800`
123×	`distribute-lft-in_binary64_19805`
119×	`*-commutative_binary64_19787`
106×	`associate-*r/_binary64_19798`
100×	`sub-neg_binary64_19849`
94×	`distribute-rgt-neg-in_binary64_19814`
91×	`exp-prod_binary64_19908`
85×	`associate-/l/_binary64_19803`
82×	`distribute-lft-neg-in_binary64_19813`
73×	`associate-/r/_binary64_19802`
72×	`neg-sub0_binary64_19851`
69×	`sqr-pow_binary64_19828`
66×	`neg-mul-1_binary64_19852`
48×	`unsub-neg_binary64_19850`
45×	`cube-prod_binary64_19884`
40×	`+-commutative_binary64_19786`
34×	`distribute-neg-frac_binary64_19820`
31×	`associate-+l+_binary64_19789`
29×	`swap-sqr_binary64_19823`
22×	`difference-of-squares_binary64_19825`
21×	`cube-div_binary64_19885`
19×	`distribute-rgt-out_binary64_19809` `associate-+r+_binary64_19788`
16×	`exp-sum_binary64_19902`
15×	`distribute-lft-neg-out_binary64_19815` `associate-+l-_binary64_19791`
14×	`associate-+r-_binary64_19790`
12×	`*-rgt-identity_binary64_19846`
11×	`unpow3_binary64_19922` `exp-diff_binary64_19904`
10×	`cube-unmult_binary64_19893` `+-rgt-identity_binary64_19841` `pow-sqr_binary64_19829`
9×	`/-rgt-identity_binary64_19847` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `distribute-rgt-out--_binary64_19810`
8×	`cube-mult_binary64_19886` `sub0-neg_binary64_19843` `distribute-lft-out_binary64_19807`
7×	`*-lft-identity_binary64_19845`
6×	`distribute-rgt-neg-out_binary64_19816`
5×	`pow-plus_binary64_19919` `distribute-neg-in_binary64_19817`
4×	`remove-double-neg_binary64_19844` `associate--r+_binary64_19792`
3×	`log-div_binary64_19943` `unpow2_binary64_19921` `mul-1-neg_binary64_19848` `distribute-lft-out--_binary64_19808` `associate--l+_binary64_19793`
2×	`log-prod_binary64_19942` `unpow1/2_binary64_19920` `unpow1_binary64_19914` `rem-sqrt-square_binary64_19869` `associate--r-_binary64_19795` `associate--l-_binary64_19794`
1×	`div-exp_binary64_19907` `prod-exp_binary64_19905` `1-exp_binary64_19900` `cube-neg_binary64_19883` `sqr-neg_binary64_19870` `*-inverses_binary64_19836`
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` `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` `rec-exp_binary64_19906` `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` `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` `--rgt-identity_binary64_19842` `+-lft-identity_binary64_19840` `div0_binary64_19837` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `cancel-sign-sub_binary64_19821` `distribute-frac-neg_binary64_19819` `distribute-neg-out_binary64_19818` `distribute-rgt1-in_binary64_19812` `distribute-lft1-in_binary64_19811` `count-2_binary64_19804`

Counts

94 → 81

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	107	2330
1	291	2145
2	872	2131
3	3484	2122
4	5063	2122

prune99.0ms (1.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	78	3	81
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	78	4	82

Error

7.0b

Counts

82 → 4

Compiler

Compiled 2084 to 962 computations (53.8% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 1/2 (/.f64 (.f64 x x) (*.f64 y y)))
14.6b	(/.f64 (.f64 x x) (.f64 y y))

rewrite71.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

3.3b

Rules

32×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
13×	`prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
8×	`div-exp_binary64_19907` `cbrt-undiv_binary64_19890`
7×	`add-sqr-sqrt_binary64_19878`
5×	`associate-r_binary64_19796`
4×	`pow1_binary64_19917` `add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
3×	`times-frac_binary64_19862` `associate-l_binary64_19797`
2×	`add-log-exp_binary64_19895` `div-inv_binary64_19853` `unswap-sqr_binary64_19824`
1×	`frac-2neg_binary64_19867` `clear-num_binary64_19855` `associate-/l_binary64_19801` `associate-/r_binary64_19800` `pow-prod-down_binary64_19927` `associate-r/_binary64_19798` `-commutative_binary64_19787`

Counts

2 → 51

Calls

2 calls:

9.0ms	(.f64 1/2 (/.f64 (.f64 x x) (*.f64 y y)))
7.0ms	(/.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 963 to 368 computations (61.8% saved)

series294.0ms (4.7%)

Error

7.0b

Counts

2 → 12

Calls

2 calls:

156.0ms	(.f64 1/2 (/.f64 (.f64 x x) (*.f64 y y)))
128.0ms	(/.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 396 to 374 computations (5.6% saved)

simplify120.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

720×	`times-frac_binary64_19862`
468×	`associate-*l/_binary64_19799`
415×	`associate-*r/_binary64_19798`
414×	`associate-/l*_binary64_19801`
389×	`associate-l_binary64_19797`
368×	`associate-r_binary64_19796`
352×	`unswap-sqr_binary64_19824`
268×	`associate-/r*_binary64_19800`
138×	`log-prod_binary64_19942`
119×	`associate-/r/_binary64_19802`
100×	`associate-/l/_binary64_19803`
91×	`log-div_binary64_19943`
89×	`*-commutative_binary64_19787`
63×	`cube-prod_binary64_19884`
60×	`associate-+l+_binary64_19789`
58×	`unpow3_binary64_19922`
48×	`cube-div_binary64_19885` `sqr-pow_binary64_19828`
46×	`swap-sqr_binary64_19823`
44×	`sub-neg_binary64_19849`
35×	`exp-prod_binary64_19908` `associate-+l-_binary64_19791`
32×	`associate--l+_binary64_19793`
21×	`associate--r+_binary64_19792` `associate-+r-_binary64_19790`
19×	`pow-plus_binary64_19919`
18×	`log-pow_binary64_19945` `cancel-sign-sub-inv_binary64_19822` `+-commutative_binary64_19786`
12×	`neg-mul-1_binary64_19852` `neg-sub0_binary64_19851` `distribute-lft-neg-in_binary64_19813`
11×	`distribute-rgt-neg-in_binary64_19814` `distribute-rgt-in_binary64_19806`
10×	`cube-unmult_binary64_19893` `pow-sqr_binary64_19829` `distribute-lft-in_binary64_19805`
6×	`distribute-neg-in_binary64_19817` `associate-+r+_binary64_19788`
5×	`cube-mult_binary64_19886` `count-2_binary64_19804`
4×	`unpow1/2_binary64_19920` `rem-sqrt-square_binary64_19869` `associate--l-_binary64_19794`
3×	`+-rgt-identity_binary64_19841` `distribute-lft-out--_binary64_19808` `distribute-lft-out_binary64_19807` `associate--r-_binary64_19795`
2×	`unpow2_binary64_19921` `unpow1_binary64_19914` `unsub-neg_binary64_19850` `distribute-rgt-neg-out_binary64_19816` `distribute-lft-neg-out_binary64_19815` `distribute-rgt-out--_binary64_19810`
1×	`1-exp_binary64_19900` `sub0-neg_binary64_19843`
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-rec_binary64_19944` `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-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` `div-sub_binary64_19861` `mul-1-neg_binary64_19848` `/-rgt-identity_binary64_19847` `-rgt-identity_binary64_19846` `-lft-identity_binary64_19845` `remove-double-neg_binary64_19844` `--rgt-identity_binary64_19842` `+-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` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `difference-of-squares_binary64_19825` `cancel-sign-sub_binary64_19821` `distribute-neg-frac_binary64_19820` `distribute-frac-neg_binary64_19819` `distribute-neg-out_binary64_19818` `distribute-rgt1-in_binary64_19812` `distribute-lft1-in_binary64_19811` `distribute-rgt-out_binary64_19809`

Counts

63 → 50

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	83	1089
1	186	805
2	683	755
3	3580	722
4	4886	722
5	4976	722
6	4999	722
7	4973	722

prune47.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	46	4	50
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	47	7	54

Error

3.3b

Counts

54 → 7

Compiler

Compiled 696 to 395 computations (43.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 1/2 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))))
0.2b	(*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))

rewrite63.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

3.3b

Rules

14×	`pow1_binary64_19917`
10×	`add-sqr-sqrt_binary64_19878`
9×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
7×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
6×	`associate-l_binary64_19797`
4×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889` `associate-r_binary64_19796`
3×	`swap-sqr_binary64_19823`
2×	`add-log-exp_binary64_19895` `unswap-sqr_binary64_19824` `*-commutative_binary64_19787`
1×	`pow2_binary64_19937` `pow-prod-up_binary64_19926` `pow-plus_binary64_19919` `sqr-abs_binary64_19871` `pow-sqr_binary64_19829`

Counts

2 → 45

Calls

2 calls:

8.0ms	(.f64 1/2 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))))
4.0ms	(*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))

Compiler

Compiled 921 to 314 computations (65.9% saved)

series223.0ms (3.6%)

Error

3.3b

Counts

2 → 12

Calls

2 calls:

134.0ms	(.f64 1/2 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))))
78.0ms	(*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))

Compiler

Compiled 360 to 316 computations (12.2% saved)

simplify67.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

904×	`associate-/l*_binary64_19801`
546×	`associate-l_binary64_19797`
422×	`associate-r_binary64_19796`
328×	`associate-/l/_binary64_19803`
246×	`unswap-sqr_binary64_19824`
207×	`associate-/r/_binary64_19802`
190×	`sqr-pow_binary64_19828`
157×	`log-prod_binary64_19942`
146×	`swap-sqr_binary64_19823`
138×	`exp-prod_binary64_19908`
123×	`distribute-rgt-in_binary64_19806`
121×	`cube-prod_binary64_19884`
112×	`distribute-lft-in_binary64_19805`
95×	`*-commutative_binary64_19787`
74×	`associate-+l+_binary64_19789`
70×	`pow-sqr_binary64_19829`
64×	`cube-div_binary64_19885`
62×	`associate-+r+_binary64_19788`
60×	`log-div_binary64_19943`
58×	`associate-*r/_binary64_19798`
57×	`times-frac_binary64_19862`
53×	`associate-*l/_binary64_19799`
35×	`unpow3_binary64_19922`
28×	`associate-/r*_binary64_19800`
26×	`cube-mult_binary64_19886` `distribute-rgt-out_binary64_19809`
25×	`sub-neg_binary64_19849`
22×	`*-rgt-identity_binary64_19846`
21×	`pow-plus_binary64_19919`
18×	`rem-sqrt-square_binary64_19869`
16×	`*-lft-identity_binary64_19845`
15×	`distribute-lft-out_binary64_19807`
12×	`log-pow_binary64_19945` `cube-unmult_binary64_19893`
10×	`count-2_binary64_19804`
7×	`unpow1/2_binary64_19920` `associate-+l-_binary64_19791`
6×	`associate-+r-_binary64_19790`
5×	`+-commutative_binary64_19786`
3×	`log-rec_binary64_19944` `unpow2_binary64_19921`
2×	`prod-exp_binary64_19905` `cancel-sign-sub-inv_binary64_19822` `distribute-rgt1-in_binary64_19812`
1×	`unpow1_binary64_19914` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `rem-3cbrt-rft_binary64_19882` `rem-3cbrt-lft_binary64_19881` `rem-cbrt-cube_binary64_19880` `sqr-abs_binary64_19871` `rem-square-sqrt_binary64_19868` `neg-mul-1_binary64_19852` `neg-sub0_binary64_19851` `/-rgt-identity_binary64_19847` `distribute-lft1-in_binary64_19811`
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` `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-cube-cbrt_binary64_19879` `sqr-neg_binary64_19870` `div-sub_binary64_19861` `unsub-neg_binary64_19850` `mul-1-neg_binary64_19848` `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` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `difference-of-squares_binary64_19825` `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-rgt-out--_binary64_19810` `distribute-lft-out--_binary64_19808` `associate--r-_binary64_19795` `associate--l-_binary64_19794` `associate--l+_binary64_19793` `associate--r+_binary64_19792`

Counts

57 → 43

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	794
1	108	666
2	353	641
3	1554	617
4	2687	578
5	5520	578

prune53.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	42	8	50

Error

3.3b

Counts

50 → 8

Compiler

Compiled 699 to 431 computations (38.3% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (pow.f64 (fabs.f64 (/.f64 x y)) 2) 1/2)
0.2b	(pow.f64 (fabs.f64 (/.f64 x y)) 2)
2.5b	(exp.f64 (log.f64 (*.f64 (pow.f64 (fabs.f64 (/.f64 x y)) 2) 1/2)))
34.0b	(log.f64 (*.f64 (pow.f64 (fabs.f64 (/.f64 x y)) 2) 1/2))

rewrite108.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

3.3b

Rules

16×	`add-exp-log_binary64_19894` `add-sqr-sqrt_binary64_19878`
10×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
8×	`associate-l_binary64_19797`
7×	`pow1_binary64_19917` `unpow-prod-down_binary64_19935`
6×	`prod-exp_binary64_19905` `add-cbrt-cube_binary64_19892`
4×	`rem-log-exp_binary64_19897` `add-log-exp_binary64_19895` `exp-prod_binary64_19908` `unswap-sqr_binary64_19824`
3×	`pow-to-exp_binary64_19925` `pow-exp_binary64_19924` `pow-unpow_binary64_19933` `unpow2_binary64_19921` `sqr-pow_binary64_19828` `associate-r_binary64_19796`
2×	`log-pow_binary64_19945` `log-prod_binary64_19942`
1×	`exp-sum_binary64_19902` `rem-exp-log_binary64_19896` `pow-pow_binary64_19928` `cbrt-unprod_binary64_19889` `*-commutative_binary64_19787`

Counts

4 → 71

Calls

4 calls:

6.0ms	(*.f64 (pow.f64 (fabs.f64 (/.f64 x y)) 2) 1/2)
4.0ms	(exp.f64 (log.f64 (*.f64 (pow.f64 (fabs.f64 (/.f64 x y)) 2) 1/2)))
4.0ms	(log.f64 (*.f64 (pow.f64 (fabs.f64 (/.f64 x y)) 2) 1/2))
2.0ms	(pow.f64 (fabs.f64 (/.f64 x y)) 2)

Compiler

Compiled 1358 to 894 computations (34.2% saved)

series886.0ms (14.2%)

Error

3.3b

Counts

4 → 24

Calls

4 calls:

351.0ms	(exp.f64 (log.f64 (*.f64 (pow.f64 (fabs.f64 (/.f64 x y)) 2) 1/2)))
334.0ms	(log.f64 (*.f64 (pow.f64 (fabs.f64 (/.f64 x y)) 2) 1/2))
108.0ms	(*.f64 (pow.f64 (fabs.f64 (/.f64 x y)) 2) 1/2)
74.0ms	(pow.f64 (fabs.f64 (/.f64 x y)) 2)

Compiler

Compiled 864 to 772 computations (10.6% saved)

simplify119.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

697×	`unswap-sqr_binary64_19824`
415×	`log-prod_binary64_19942`
394×	`*-commutative_binary64_19787`
335×	`exp-sum_binary64_19902`
324×	`associate-+l+_binary64_19789`
276×	`associate-l_binary64_19797`
260×	`exp-prod_binary64_19908`
229×	`distribute-rgt-in_binary64_19806`
221×	`distribute-lft-in_binary64_19805`
219×	`associate-+r+_binary64_19788`
195×	`associate-r_binary64_19796`
190×	`cube-prod_binary64_19884`
83×	`associate-*r/_binary64_19798`
79×	`associate-*l/_binary64_19799`
76×	`pow-sqr_binary64_19829`
68×	`sqr-pow_binary64_19828`
65×	`log-pow_binary64_19945`
63×	`prod-exp_binary64_19905`
42×	`associate-/l*_binary64_19801`
40×	`rem-sqrt-square_binary64_19869`
28×	`pow-plus_binary64_19919` `swap-sqr_binary64_19823`
26×	`unpow3_binary64_19922`
25×	`cube-unmult_binary64_19893`
23×	`*-rgt-identity_binary64_19846`
20×	`log-div_binary64_19943` `cube-mult_binary64_19886`
19×	`*-lft-identity_binary64_19845`
16×	`cube-div_binary64_19885`
14×	`associate-/l/_binary64_19803`
11×	`distribute-rgt-out_binary64_19809`
10×	`rem-exp-log_binary64_19896` `distribute-lft-out_binary64_19807`
8×	`count-2_binary64_19804`
7×	`unpow1/2_binary64_19920`
6×	`exp-to-pow_binary64_19918` `times-frac_binary64_19862`
4×	`unpow2_binary64_19921` `unpow1_binary64_19914` `+-commutative_binary64_19786`
3×	`distribute-rgt1-in_binary64_19812` `distribute-lft1-in_binary64_19811`
2×	`exp-diff_binary64_19904` `rem-log-exp_binary64_19897` `sub-neg_binary64_19849` `/-rgt-identity_binary64_19847` `associate-/r/_binary64_19802`
1×	`log-E_binary64_19946` `exp-lft-sqr_binary64_19911` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `rem-3cbrt-rft_binary64_19882` `sqr-abs_binary64_19871` `rem-square-sqrt_binary64_19868` `div-sub_binary64_19861`
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-rec_binary64_19944` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-cbrt_binary64_19910` `exp-sqrt_binary64_19909` `div-exp_binary64_19907` `rec-exp_binary64_19906` `exp-neg_binary64_19903` `e-exp-1_binary64_19901` `exp-0_binary64_19898` `cube-neg_binary64_19883` `rem-3cbrt-lft_binary64_19881` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-neg_binary64_19870` `neg-mul-1_binary64_19852` `neg-sub0_binary64_19851` `unsub-neg_binary64_19850` `mul-1-neg_binary64_19848` `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` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `difference-of-squares_binary64_19825` `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-rgt-out--_binary64_19810` `distribute-lft-out--_binary64_19808` `associate-/r_binary64_19800` `associate--r-_binary64_19795` `associate--l-_binary64_19794` `associate--l+_binary64_19793` `associate--r+_binary64_19792` `associate-+l-_binary64_19791` `associate-+r-_binary64_19790`

Counts

95 → 56

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	87	1371
1	132	1201
2	339	1201
3	1132	1173
4	3605	1173
5	4806	1173
6	4979	1173

prune61.0ms (1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	51	5	56
Fresh	4	2	6
Picked	1	0	1
Done	0	1	1
Total	56	8	64

Error

3.3b

Counts

64 → 8

Compiler

Compiled 920 to 584 computations (36.5% saved)

regimes1.0s (16.8%)

Accuracy

Total 12.5b remaining (97.9%)

Threshold costs 0b (0%)

Compiler

Compiled 6544 to 4594 computations (29.8% saved)

bsearch3.0ms (0%)

Compiler: Compiled 5 to 5 computations (0% saved)

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64_19787`
15×	`+-commutative_binary64_19786`
11×	`sub-neg_binary64_19849`
9×	`neg-mul-1_binary64_19852` `neg-sub0_binary64_19851`
7×	`distribute-rgt-neg-in_binary64_19814`
6×	`distribute-lft-neg-in_binary64_19813`
2×	`cancel-sign-sub-inv_binary64_19822` `distribute-neg-frac_binary64_19820`
1×	`1-exp_binary64_19900` `distribute-lft-neg-out_binary64_19815`
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` `unsub-neg_binary64_19850` `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_binary64_19821` `distribute-frac-neg_binary64_19819` `distribute-neg-out_binary64_19818` `distribute-neg-in_binary64_19817` `distribute-rgt-neg-out_binary64_19816`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	248
1	76	248
2	89	248
3	107	248
4	127	248
5	137	248
6	142	248
7	143	248
8	142	248

end0.0ms (0%)

sample1.7s (27%)

Algorithm

1×

intervals

Results

337.0ms

8000×

body

128

valid

Compiler

Compiled 1407 to 967 computations (31.3% saved)

Iter	Nodes	Cost
0	56	248
1	76	248
2	89	248
3	107	248
4	127	248
5	137	248
6	142	248
7	143	248
8	142	248

Iter	Nodes	Cost
0	56	248
1	76	248
2	89	248
3	107	248
4	127	248
5	137	248
6	142	248
7	143	248
8	142	248

Details

analyze312.0ms (5%)

sample19.0ms (0.3%)

simplify112.0ms (1.8%)

prune3.0ms (0.1%)

localize8.0ms (0.1%)

rewrite109.0ms (1.7%)

series608.0ms (9.7%)

simplify93.0ms (1.5%)

prune99.0ms (1.6%)

localize7.0ms (0.1%)

rewrite71.0ms (1.1%)

series294.0ms (4.7%)

simplify120.0ms (1.9%)

prune47.0ms (0.8%)

localize6.0ms (0.1%)

rewrite63.0ms (1%)

series223.0ms (3.6%)

simplify67.0ms (1.1%)

prune53.0ms (0.8%)

localize10.0ms (0.2%)

rewrite108.0ms (1.7%)

series886.0ms (14.2%)

simplify119.0ms (1.9%)

prune61.0ms (1%)

regimes1.0s (16.8%)

bsearch3.0ms (0%)

simplify14.0ms (0.2%)

end0.0ms (0%)

sample1.7s (27%)

Profiling

Iter	Nodes	Cost
0	56	248
1	76	248
2	89	248
3	107	248
4	127	248
5	137	248
6	142	248
7	143	248
8	142	248