Details

analyze370.0ms (5.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

644×	`sub-neg_binary64_14393` `distribute-rgt-out--_binary64_14354`
602×	`cancel-sign-sub-inv_binary64_14366`
586×	`neg-mul-1_binary64_14396`
568×	`neg-sub0_binary64_14395`
418×	`distribute-neg-frac_binary64_14364`
414×	`associate-*l/_binary64_14343`
308×	`associate-*r/_binary64_14342`
288×	`distribute-frac-neg_binary64_14363`
274×	`unsub-neg_binary64_14394`
248×	`associate-l_binary64_14341`
241×	`remove-double-neg_binary64_14388`
226×	`distribute-rgt-neg-in_binary64_14358`
206×	`div-sub_binary64_14405`
199×	`associate-/r*_binary64_14344`
192×	`associate-r_binary64_14340`
172×	`associate-/l*_binary64_14345`
165×	`distribute-lft-neg-in_binary64_14357`
142×	`distribute-lft-out--_binary64_14352`
122×	`associate-/r/_binary64_14346`
110×	`times-frac_binary64_14406`
78×	`distribute-rgt-in_binary64_14350`
76×	`distribute-rgt-neg-out_binary64_14360`
70×	`distribute-lft-neg-out_binary64_14359`
61×	`distribute-lft-in_binary64_14349`
58×	`swap-sqr_binary64_14367`
50×	`cancel-sign-sub_binary64_14365` `associate-/l/_binary64_14347`
44×	`+-lft-identity_binary64_14384`
40×	`distribute-rgt-out_binary64_14353`
38×	`distribute-rgt1-in_binary64_14356`
33×	`*-commutative_binary64_14331`
32×	`associate--r-_binary64_14339`
30×	`unswap-sqr_binary64_14368` `distribute-neg-in_binary64_14361` `+-commutative_binary64_14330`
26×	`*-lft-identity_binary64_14389`
25×	`*-rgt-identity_binary64_14390`
24×	`associate--r+_binary64_14336`
20×	`mul0-rgt_binary64_14383` `mul0-lft_binary64_14382`
19×	`/-rgt-identity_binary64_14391`
18×	`div0_binary64_14381`
17×	`sqr-neg_binary64_14414`
14×	`distribute-neg-out_binary64_14362` `associate-+r-_binary64_14334`
13×	`sub0-neg_binary64_14387`
10×	`distribute-lft1-in_binary64_14355` `associate-+r+_binary64_14332`
8×	`mul-1-neg_binary64_14392`
6×	`associate-+l-_binary64_14335`
4×	`+-rgt-identity_binary64_14385` `*-inverses_binary64_14380`
2×	`lft-mult-inverse_binary64_14378` `rgt-mult-inverse_binary64_14377`
1×	`1-exp_binary64_14444`
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_14663` `erf-erfc_binary64_14662` `erf-odd_binary64_14661` `if-if-and-not_binary64_14660` `if-if-and_binary64_14659` `if-if-or-not_binary64_14658` `if-if-or_binary64_14657` `if-not_binary64_14656` `if-same_binary64_14655` `if-false_binary64_14654` `if-true_binary64_14653` `not-gte_binary64_14652` `not-lte_binary64_14651` `not-gt_binary64_14650` `not-lt_binary64_14649` `gte-same_binary64_14648` `lte-same_binary64_14647` `gt-same_binary64_14646` `lt-same_binary64_14645` `sinh---cosh_binary64_14592` `sinh-+-cosh_binary64_14591` `sinh-cosh_binary64_14590` `tanh-def-c_binary64_14589` `tanh-def-b_binary64_14588` `tanh-def-a_binary64_14587` `cosh-def_binary64_14586` `sinh-def_binary64_14585` `tan-neg_binary64_14532` `cos-neg_binary64_14531` `sin-neg_binary64_14530` `tan-0_binary64_14529` `cos-0_binary64_14528` `sin-0_binary64_14527` `hang-m-tan_binary64_14526` `hang-p-tan_binary64_14525` `hang-m0-tan_binary64_14524` `hang-p0-tan_binary64_14523` `hang-0m-tan_binary64_14522` `hang-0p-tan_binary64_14521` `tan-+PI/2_binary64_14520` `tan-+PI_binary64_14519` `tan-PI_binary64_14518` `tan-PI/3_binary64_14517` `tan-PI/4_binary64_14516` `tan-PI/6_binary64_14515` `cos-+PI/2_binary64_14514` `cos-+PI_binary64_14513` `cos-PI_binary64_14512` `cos-PI/2_binary64_14511` `cos-PI/3_binary64_14510` `cos-PI/4_binary64_14509` `cos-PI/6_binary64_14508` `sin-+PI/2_binary64_14507` `sin-+PI_binary64_14506` `sin-PI_binary64_14505` `sin-PI/2_binary64_14504` `sin-PI/3_binary64_14503` `sin-PI/4_binary64_14502` `sin-PI/6_binary64_14501` `sub-1-sin_binary64_14500` `sub-1-cos_binary64_14499` `-1-add-sin_binary64_14498` `-1-add-cos_binary64_14497` `1-sub-sin_binary64_14496` `1-sub-cos_binary64_14495` `cos-sin-sum_binary64_14494` `log-E_binary64_14490` `log-pow_binary64_14489` `log-rec_binary64_14488` `log-div_binary64_14487` `log-prod_binary64_14486` `pow-base-0_binary64_14484` `unpow1/3_binary64_14467` `unpow3_binary64_14466` `unpow2_binary64_14465` `unpow1/2_binary64_14464` `pow-plus_binary64_14463` `exp-to-pow_binary64_14462` `pow-base-1_binary64_14460` `unpow0_binary64_14459` `unpow1_binary64_14458` `unpow-1_binary64_14457` `exp-lft-cube_binary64_14456` `exp-lft-sqr_binary64_14455` `exp-cbrt_binary64_14454` `exp-sqrt_binary64_14453` `exp-prod_binary64_14452` `div-exp_binary64_14451` `rec-exp_binary64_14450` `prod-exp_binary64_14449` `exp-diff_binary64_14448` `exp-neg_binary64_14447` `exp-sum_binary64_14446` `e-exp-1_binary64_14445` `exp-1-e_binary64_14443` `exp-0_binary64_14442` `rem-log-exp_binary64_14441` `rem-exp-log_binary64_14440` `cube-unmult_binary64_14437` `cube-mult_binary64_14430` `cube-div_binary64_14429` `cube-prod_binary64_14428` `cube-neg_binary64_14427` `rem-3cbrt-rft_binary64_14426` `rem-3cbrt-lft_binary64_14425` `rem-cbrt-cube_binary64_14424` `rem-cube-cbrt_binary64_14423` `sqr-abs_binary64_14415` `rem-sqrt-square_binary64_14413` `rem-square-sqrt_binary64_14412` `--rgt-identity_binary64_14386` `+-inverses_binary64_14379` `remove-double-div_binary64_14376` `pow-sqr_binary64_14373` `sqr-pow_binary64_14372` `difference-of-sqr--1_binary64_14371` `difference-of-sqr-1_binary64_14370` `difference-of-squares_binary64_14369` `distribute-lft-out_binary64_14351` `count-2_binary64_14348` `associate--l-_binary64_14338` `associate--l+_binary64_14337` `associate-+l+_binary64_14333`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	28	26
2	82	20
3	166	20
4	309	20
5	785	20
6	2306	20
7	3560	20
8	4466	20
9	4777	20
10	5000	20
11	4754	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
25%	74.9%	0.1%	6
56.2%	43.7%	0.1%	7
56.2%	43.7%	0.1%	8
76.5%	23.4%	0.1%	9
76.5%	23.4%	0.1%	10
87.8%	12.1%	0.1%	11
87.8%	12.1%	0.1%	12
93.8%	6.1%	0.1%	13
93.8%	6.1%	0.1%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample17.0ms (0.2%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify151.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

761×	`div-sub_binary64_14405`
595×	`times-frac_binary64_14406`
506×	`neg-mul-1_binary64_14396`
502×	`neg-sub0_binary64_14395`
378×	`sub-neg_binary64_14393`
372×	`distribute-neg-frac_binary64_14364`
319×	`*-commutative_binary64_14331`
315×	`unsub-neg_binary64_14394`
301×	`associate-/l*_binary64_14345`
281×	`distribute-lft-neg-out_binary64_14359`
280×	`distribute-rgt-neg-out_binary64_14360`
273×	`remove-double-neg_binary64_14388`
245×	`cancel-sign-sub-inv_binary64_14366`
237×	`associate-/r/_binary64_14346`
231×	`associate-/r*_binary64_14344`
218×	`distribute-frac-neg_binary64_14363`
195×	`associate-*l/_binary64_14343`
172×	`+-commutative_binary64_14330`
171×	`associate-/l/_binary64_14347`
163×	`associate--r+_binary64_14336`
140×	`unswap-sqr_binary64_14368`
129×	`associate-l_binary64_14341`
127×	`distribute-rgt-neg-in_binary64_14358`
110×	`associate-*r/_binary64_14342`
107×	`swap-sqr_binary64_14367`
101×	`associate-+l-_binary64_14335`
79×	`cancel-sign-sub_binary64_14365`
76×	`distribute-rgt-out--_binary64_14354` `distribute-rgt-in_binary64_14350` `associate-r_binary64_14340`
74×	`distribute-lft-neg-in_binary64_14357`
67×	`distribute-rgt-out_binary64_14353`
63×	`+-lft-identity_binary64_14384`
54×	`associate--r-_binary64_14339`
53×	`associate--l-_binary64_14338`
51×	`distribute-neg-in_binary64_14361`
49×	`distribute-lft-in_binary64_14349`
43×	`distribute-neg-out_binary64_14362`
35×	`/-rgt-identity_binary64_14391` `*-lft-identity_binary64_14389`
31×	`div0_binary64_14381`
30×	`mul0-rgt_binary64_14383` `mul0-lft_binary64_14382` `distribute-lft-out--_binary64_14352` `associate-+r-_binary64_14334`
28×	`*-rgt-identity_binary64_14390`
27×	`associate--l+_binary64_14337`
26×	`associate-+r+_binary64_14332`
25×	`remove-double-div_binary64_14376`
23×	`sqr-neg_binary64_14414`
22×	`sub0-neg_binary64_14387`
20×	`associate-+l+_binary64_14333`
18×	`--rgt-identity_binary64_14386`
13×	`distribute-lft-out_binary64_14351`
11×	`mul-1-neg_binary64_14392`
9×	`+-rgt-identity_binary64_14385`
6×	`lft-mult-inverse_binary64_14378`
4×	`distribute-rgt1-in_binary64_14356`
2×	`*-inverses_binary64_14380`
1×	`1-exp_binary64_14444`
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_14663` `erf-erfc_binary64_14662` `erf-odd_binary64_14661` `if-if-and-not_binary64_14660` `if-if-and_binary64_14659` `if-if-or-not_binary64_14658` `if-if-or_binary64_14657` `if-not_binary64_14656` `if-same_binary64_14655` `if-false_binary64_14654` `if-true_binary64_14653` `not-gte_binary64_14652` `not-lte_binary64_14651` `not-gt_binary64_14650` `not-lt_binary64_14649` `gte-same_binary64_14648` `lte-same_binary64_14647` `gt-same_binary64_14646` `lt-same_binary64_14645` `sinh---cosh_binary64_14592` `sinh-+-cosh_binary64_14591` `sinh-cosh_binary64_14590` `tanh-def-c_binary64_14589` `tanh-def-b_binary64_14588` `tanh-def-a_binary64_14587` `cosh-def_binary64_14586` `sinh-def_binary64_14585` `tan-neg_binary64_14532` `cos-neg_binary64_14531` `sin-neg_binary64_14530` `tan-0_binary64_14529` `cos-0_binary64_14528` `sin-0_binary64_14527` `hang-m-tan_binary64_14526` `hang-p-tan_binary64_14525` `hang-m0-tan_binary64_14524` `hang-p0-tan_binary64_14523` `hang-0m-tan_binary64_14522` `hang-0p-tan_binary64_14521` `tan-+PI/2_binary64_14520` `tan-+PI_binary64_14519` `tan-PI_binary64_14518` `tan-PI/3_binary64_14517` `tan-PI/4_binary64_14516` `tan-PI/6_binary64_14515` `cos-+PI/2_binary64_14514` `cos-+PI_binary64_14513` `cos-PI_binary64_14512` `cos-PI/2_binary64_14511` `cos-PI/3_binary64_14510` `cos-PI/4_binary64_14509` `cos-PI/6_binary64_14508` `sin-+PI/2_binary64_14507` `sin-+PI_binary64_14506` `sin-PI_binary64_14505` `sin-PI/2_binary64_14504` `sin-PI/3_binary64_14503` `sin-PI/4_binary64_14502` `sin-PI/6_binary64_14501` `sub-1-sin_binary64_14500` `sub-1-cos_binary64_14499` `-1-add-sin_binary64_14498` `-1-add-cos_binary64_14497` `1-sub-sin_binary64_14496` `1-sub-cos_binary64_14495` `cos-sin-sum_binary64_14494` `log-E_binary64_14490` `log-pow_binary64_14489` `log-rec_binary64_14488` `log-div_binary64_14487` `log-prod_binary64_14486` `pow-base-0_binary64_14484` `unpow1/3_binary64_14467` `unpow3_binary64_14466` `unpow2_binary64_14465` `unpow1/2_binary64_14464` `pow-plus_binary64_14463` `exp-to-pow_binary64_14462` `pow-base-1_binary64_14460` `unpow0_binary64_14459` `unpow1_binary64_14458` `unpow-1_binary64_14457` `exp-lft-cube_binary64_14456` `exp-lft-sqr_binary64_14455` `exp-cbrt_binary64_14454` `exp-sqrt_binary64_14453` `exp-prod_binary64_14452` `div-exp_binary64_14451` `rec-exp_binary64_14450` `prod-exp_binary64_14449` `exp-diff_binary64_14448` `exp-neg_binary64_14447` `exp-sum_binary64_14446` `e-exp-1_binary64_14445` `exp-1-e_binary64_14443` `exp-0_binary64_14442` `rem-log-exp_binary64_14441` `rem-exp-log_binary64_14440` `cube-unmult_binary64_14437` `cube-mult_binary64_14430` `cube-div_binary64_14429` `cube-prod_binary64_14428` `cube-neg_binary64_14427` `rem-3cbrt-rft_binary64_14426` `rem-3cbrt-lft_binary64_14425` `rem-cbrt-cube_binary64_14424` `rem-cube-cbrt_binary64_14423` `sqr-abs_binary64_14415` `rem-sqrt-square_binary64_14413` `rem-square-sqrt_binary64_14412` `+-inverses_binary64_14379` `rgt-mult-inverse_binary64_14377` `pow-sqr_binary64_14373` `sqr-pow_binary64_14372` `difference-of-sqr--1_binary64_14371` `difference-of-sqr-1_binary64_14370` `difference-of-squares_binary64_14369` `distribute-lft1-in_binary64_14355` `count-2_binary64_14348`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	52	10
3	112	10
4	200	10
5	417	10
6	697	10
7	2421	10
8	3775	10
9	3836	10
10	4261	10
11	4709	10
12	4977	10
13	5248	10

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite32.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`*-un-lft-identity_binary64_14400`
3×	`add-log-exp_binary64_14439`
2×	`times-frac_binary64_14406` `distribute-lft-out_binary64_14351`
1×	`sum-log_binary64_14491` `pow1_binary64_14461` `add-exp-log_binary64_14438` `add-cbrt-cube_binary64_14436` `add-cube-cbrt_binary64_14435` `add-sqr-sqrt_binary64_14422` `frac-add_binary64_14408` `flip3-+_binary64_14403` `flip-+_binary64_14374` `+-commutative_binary64_14330`

Counts

1 → 14

Calls

1 calls:

18.0ms

(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

Compiler

Compiled 209 to 161 computations (23% saved)

series171.0ms (2.4%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

163.0ms

(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

Compiler

Compiled 234 to 224 computations (4.3% saved)

simplify94.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

884×	`div-sub_binary64_14405`
324×	`distribute-rgt-in_binary64_14350`
310×	`associate-*l/_binary64_14343`
292×	`distribute-lft-in_binary64_14349`
267×	`neg-mul-1_binary64_14396`
265×	`associate-/l*_binary64_14345`
213×	`distribute-neg-frac_binary64_14364`
206×	`associate-*r/_binary64_14342`
188×	`distribute-rgt-out_binary64_14353`
162×	`neg-sub0_binary64_14395`
157×	`associate-l_binary64_14341`
152×	`*-commutative_binary64_14331`
148×	`associate-r_binary64_14340`
134×	`associate-/r*_binary64_14344`
125×	`distribute-lft-out_binary64_14351`
124×	`sub-neg_binary64_14393`
112×	`cancel-sign-sub-inv_binary64_14366` `distribute-rgt-neg-out_binary64_14360`
110×	`distribute-frac-neg_binary64_14363`
107×	`distribute-lft-neg-out_binary64_14359`
91×	`associate-/r/_binary64_14346`
78×	`distribute-rgt-neg-in_binary64_14358`
65×	`sqr-pow_binary64_14372`
62×	`exp-prod_binary64_14452` `cube-prod_binary64_14428`
61×	`distribute-lft-neg-in_binary64_14357` `associate-/l/_binary64_14347`
56×	`unsub-neg_binary64_14394`
54×	`remove-double-neg_binary64_14388`
50×	`associate-+l+_binary64_14333`
48×	`associate-+r+_binary64_14332`
37×	`distribute-rgt-out--_binary64_14354`
36×	`*-rgt-identity_binary64_14390` `unswap-sqr_binary64_14368`
33×	`*-lft-identity_binary64_14389`
29×	`+-commutative_binary64_14330`
28×	`mul0-rgt_binary64_14383` `mul0-lft_binary64_14382`
24×	`associate-+l-_binary64_14335`
23×	`distribute-neg-out_binary64_14362`
22×	`exp-sum_binary64_14446` `associate-+r-_binary64_14334`
21×	`exp-diff_binary64_14448`
18×	`times-frac_binary64_14406`
15×	`sub0-neg_binary64_14387`
14×	`unpow3_binary64_14466` `swap-sqr_binary64_14367`
13×	`log-prod_binary64_14486` `distribute-lft-out--_binary64_14352`
12×	`+-rgt-identity_binary64_14385`
11×	`cube-mult_binary64_14430` `cube-neg_binary64_14427`
10×	`cube-div_binary64_14429`
9×	`distribute-neg-in_binary64_14361`
8×	`cube-unmult_binary64_14437` `div0_binary64_14381` `difference-of-squares_binary64_14369`
7×	`/-rgt-identity_binary64_14391` `associate--r-_binary64_14339`
6×	`sqr-neg_binary64_14414` `pow-sqr_binary64_14373` `associate--l-_binary64_14338`
4×	`unpow1/2_binary64_14464` `pow-plus_binary64_14463` `mul-1-neg_binary64_14392`
3×	`--rgt-identity_binary64_14386` `associate--r+_binary64_14336`
2×	`associate--l+_binary64_14337`
1×	`prod-exp_binary64_14449` `1-exp_binary64_14444` `exp-1-e_binary64_14443` `rem-sqrt-square_binary64_14413`
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_14663` `erf-erfc_binary64_14662` `erf-odd_binary64_14661` `if-if-and-not_binary64_14660` `if-if-and_binary64_14659` `if-if-or-not_binary64_14658` `if-if-or_binary64_14657` `if-not_binary64_14656` `if-same_binary64_14655` `if-false_binary64_14654` `if-true_binary64_14653` `not-gte_binary64_14652` `not-lte_binary64_14651` `not-gt_binary64_14650` `not-lt_binary64_14649` `gte-same_binary64_14648` `lte-same_binary64_14647` `gt-same_binary64_14646` `lt-same_binary64_14645` `sinh---cosh_binary64_14592` `sinh-+-cosh_binary64_14591` `sinh-cosh_binary64_14590` `tanh-def-c_binary64_14589` `tanh-def-b_binary64_14588` `tanh-def-a_binary64_14587` `cosh-def_binary64_14586` `sinh-def_binary64_14585` `tan-neg_binary64_14532` `cos-neg_binary64_14531` `sin-neg_binary64_14530` `tan-0_binary64_14529` `cos-0_binary64_14528` `sin-0_binary64_14527` `hang-m-tan_binary64_14526` `hang-p-tan_binary64_14525` `hang-m0-tan_binary64_14524` `hang-p0-tan_binary64_14523` `hang-0m-tan_binary64_14522` `hang-0p-tan_binary64_14521` `tan-+PI/2_binary64_14520` `tan-+PI_binary64_14519` `tan-PI_binary64_14518` `tan-PI/3_binary64_14517` `tan-PI/4_binary64_14516` `tan-PI/6_binary64_14515` `cos-+PI/2_binary64_14514` `cos-+PI_binary64_14513` `cos-PI_binary64_14512` `cos-PI/2_binary64_14511` `cos-PI/3_binary64_14510` `cos-PI/4_binary64_14509` `cos-PI/6_binary64_14508` `sin-+PI/2_binary64_14507` `sin-+PI_binary64_14506` `sin-PI_binary64_14505` `sin-PI/2_binary64_14504` `sin-PI/3_binary64_14503` `sin-PI/4_binary64_14502` `sin-PI/6_binary64_14501` `sub-1-sin_binary64_14500` `sub-1-cos_binary64_14499` `-1-add-sin_binary64_14498` `-1-add-cos_binary64_14497` `1-sub-sin_binary64_14496` `1-sub-cos_binary64_14495` `cos-sin-sum_binary64_14494` `log-E_binary64_14490` `log-pow_binary64_14489` `log-rec_binary64_14488` `log-div_binary64_14487` `pow-base-0_binary64_14484` `unpow1/3_binary64_14467` `unpow2_binary64_14465` `exp-to-pow_binary64_14462` `pow-base-1_binary64_14460` `unpow0_binary64_14459` `unpow1_binary64_14458` `unpow-1_binary64_14457` `exp-lft-cube_binary64_14456` `exp-lft-sqr_binary64_14455` `exp-cbrt_binary64_14454` `exp-sqrt_binary64_14453` `div-exp_binary64_14451` `rec-exp_binary64_14450` `exp-neg_binary64_14447` `e-exp-1_binary64_14445` `exp-0_binary64_14442` `rem-log-exp_binary64_14441` `rem-exp-log_binary64_14440` `rem-3cbrt-rft_binary64_14426` `rem-3cbrt-lft_binary64_14425` `rem-cbrt-cube_binary64_14424` `rem-cube-cbrt_binary64_14423` `sqr-abs_binary64_14415` `rem-square-sqrt_binary64_14412` `+-lft-identity_binary64_14384` `*-inverses_binary64_14380` `+-inverses_binary64_14379` `lft-mult-inverse_binary64_14378` `rgt-mult-inverse_binary64_14377` `remove-double-div_binary64_14376` `difference-of-sqr--1_binary64_14371` `difference-of-sqr-1_binary64_14370` `cancel-sign-sub_binary64_14365` `distribute-rgt1-in_binary64_14356` `distribute-lft1-in_binary64_14355` `count-2_binary64_14348`

Counts

26 → 16

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	39	326
1	121	296
2	311	293
3	1160	293
4	3527	293
5	4260	293
6	4996	293
7	4854	293

prune17.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	14	2	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	3	17

Error

0.0b

Counts

17 → 3

Compiler

Compiled 233 to 179 computations (23.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

rewrite538.0ms (7.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

121×	`add-sqr-sqrt_binary64_14422`
92×	`cbrt-prod_binary64_14431`
91×	`*-un-lft-identity_binary64_14400`
70×	`times-frac_binary64_14406`
37×	`distribute-lft-out--_binary64_14352`
33×	`cbrt-div_binary64_14432`
29×	`add-cube-cbrt_binary64_14435`
28×	`difference-of-squares_binary64_14369`
17×	`swap-sqr_binary64_14367`
15×	`associate-l_binary64_14341` `associate-r_binary64_14340`
14×	`div-inv_binary64_14397`
11×	`pow1_binary64_14461` `frac-sub_binary64_14409` `flip3--_binary64_14404` `flip--_binary64_14375`
9×	`pow1/3_binary64_14482` `frac-times_binary64_14410`
6×	`add-exp-log_binary64_14438`
4×	`add-log-exp_binary64_14439` `add-cbrt-cube_binary64_14436` `unswap-sqr_binary64_14368`
3×	`associate-l/_binary64_14343` `associate-r/_binary64_14342`
2×	`pow-prod-down_binary64_14471` `pow-prod-up_binary64_14470` `pow-sqr_binary64_14373`
1×	`pow2_binary64_14481` `pow-plus_binary64_14463` `prod-exp_binary64_14449` `cbrt-unprod_binary64_14433` `*-commutative_binary64_14331`

Counts

4 → 153

Calls

4 calls:

41.0ms	(*.f64 (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
16.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
13.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
13.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

Compiler

Compiled 5897 to 4599 computations (22% saved)

series1.1s (15.9%)

Error

0.0b

Counts

4 → 58

Calls

4 calls:

327.0ms	(*.f64 (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
230.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
222.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
212.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

Compiler

Compiled 5379 to 4534 computations (15.7% saved)

simplify204.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

501×	`times-frac_binary64_14406`
393×	`associate-/l*_binary64_14345`
264×	`neg-mul-1_binary64_14396`
244×	`cancel-sign-sub-inv_binary64_14366`
182×	`distribute-rgt-neg-in_binary64_14358`
171×	`associate-r_binary64_14340`
169×	`distribute-lft-neg-in_binary64_14357`
147×	`associate-l_binary64_14341`
128×	`*-commutative_binary64_14331`
115×	`distribute-neg-frac_binary64_14364`
113×	`sub-neg_binary64_14393`
91×	`sqr-pow_binary64_14372`
88×	`associate-/r/_binary64_14346`
79×	`unswap-sqr_binary64_14368`
78×	`neg-sub0_binary64_14395`
77×	`distribute-rgt-in_binary64_14350`
76×	`associate-*r/_binary64_14342`
67×	`exp-prod_binary64_14452`
59×	`+-commutative_binary64_14330`
49×	`associate-/r_binary64_14344` `associate-l/_binary64_14343`
48×	`distribute-neg-in_binary64_14361` `distribute-lft-in_binary64_14349`
43×	`*-rgt-identity_binary64_14390`
35×	`log-prod_binary64_14486`
32×	`exp-sum_binary64_14446`
30×	`associate--r+_binary64_14336`
25×	`unsub-neg_binary64_14394`
24×	`*-lft-identity_binary64_14389`
23×	`div-sub_binary64_14405`
22×	`cube-prod_binary64_14428`
21×	`distribute-lft-neg-out_binary64_14359`
17×	`unpow1/3_binary64_14467`
12×	`associate-/l/_binary64_14347` `associate-+l+_binary64_14333`
11×	`pow-plus_binary64_14463`
10×	`exp-diff_binary64_14448` `associate-+r+_binary64_14332`
8×	`log-pow_binary64_14489` `unpow3_binary64_14466` `exp-neg_binary64_14447` `cube-unmult_binary64_14437` `rem-sqrt-square_binary64_14413` `pow-sqr_binary64_14373`
7×	`exp-to-pow_binary64_14462` `/-rgt-identity_binary64_14391` `distribute-rgt-neg-out_binary64_14360` `associate--l+_binary64_14337`
6×	`cube-div_binary64_14429`
5×	`rem-exp-log_binary64_14440` `cube-mult_binary64_14430` `swap-sqr_binary64_14367` `distribute-rgt-out_binary64_14353`
4×	`log-div_binary64_14487` `unpow1/2_binary64_14464` `exp-lft-sqr_binary64_14455` `difference-of-squares_binary64_14369`
3×	`unpow2_binary64_14465` `unpow1_binary64_14458`
2×	`rem-3cbrt-lft_binary64_14425` `count-2_binary64_14348`
1×	`1-exp_binary64_14444` `exp-1-e_binary64_14443` `rem-3cbrt-rft_binary64_14426` `sqr-neg_binary64_14414` `rem-square-sqrt_binary64_14412` `distribute-rgt-out--_binary64_14354`
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_14663` `erf-erfc_binary64_14662` `erf-odd_binary64_14661` `if-if-and-not_binary64_14660` `if-if-and_binary64_14659` `if-if-or-not_binary64_14658` `if-if-or_binary64_14657` `if-not_binary64_14656` `if-same_binary64_14655` `if-false_binary64_14654` `if-true_binary64_14653` `not-gte_binary64_14652` `not-lte_binary64_14651` `not-gt_binary64_14650` `not-lt_binary64_14649` `gte-same_binary64_14648` `lte-same_binary64_14647` `gt-same_binary64_14646` `lt-same_binary64_14645` `sinh---cosh_binary64_14592` `sinh-+-cosh_binary64_14591` `sinh-cosh_binary64_14590` `tanh-def-c_binary64_14589` `tanh-def-b_binary64_14588` `tanh-def-a_binary64_14587` `cosh-def_binary64_14586` `sinh-def_binary64_14585` `tan-neg_binary64_14532` `cos-neg_binary64_14531` `sin-neg_binary64_14530` `tan-0_binary64_14529` `cos-0_binary64_14528` `sin-0_binary64_14527` `hang-m-tan_binary64_14526` `hang-p-tan_binary64_14525` `hang-m0-tan_binary64_14524` `hang-p0-tan_binary64_14523` `hang-0m-tan_binary64_14522` `hang-0p-tan_binary64_14521` `tan-+PI/2_binary64_14520` `tan-+PI_binary64_14519` `tan-PI_binary64_14518` `tan-PI/3_binary64_14517` `tan-PI/4_binary64_14516` `tan-PI/6_binary64_14515` `cos-+PI/2_binary64_14514` `cos-+PI_binary64_14513` `cos-PI_binary64_14512` `cos-PI/2_binary64_14511` `cos-PI/3_binary64_14510` `cos-PI/4_binary64_14509` `cos-PI/6_binary64_14508` `sin-+PI/2_binary64_14507` `sin-+PI_binary64_14506` `sin-PI_binary64_14505` `sin-PI/2_binary64_14504` `sin-PI/3_binary64_14503` `sin-PI/4_binary64_14502` `sin-PI/6_binary64_14501` `sub-1-sin_binary64_14500` `sub-1-cos_binary64_14499` `-1-add-sin_binary64_14498` `-1-add-cos_binary64_14497` `1-sub-sin_binary64_14496` `1-sub-cos_binary64_14495` `cos-sin-sum_binary64_14494` `log-E_binary64_14490` `log-rec_binary64_14488` `pow-base-0_binary64_14484` `pow-base-1_binary64_14460` `unpow0_binary64_14459` `unpow-1_binary64_14457` `exp-lft-cube_binary64_14456` `exp-cbrt_binary64_14454` `exp-sqrt_binary64_14453` `div-exp_binary64_14451` `rec-exp_binary64_14450` `prod-exp_binary64_14449` `e-exp-1_binary64_14445` `exp-0_binary64_14442` `rem-log-exp_binary64_14441` `cube-neg_binary64_14427` `rem-cbrt-cube_binary64_14424` `rem-cube-cbrt_binary64_14423` `sqr-abs_binary64_14415` `mul-1-neg_binary64_14392` `remove-double-neg_binary64_14388` `sub0-neg_binary64_14387` `--rgt-identity_binary64_14386` `+-rgt-identity_binary64_14385` `+-lft-identity_binary64_14384` `mul0-rgt_binary64_14383` `mul0-lft_binary64_14382` `div0_binary64_14381` `*-inverses_binary64_14380` `+-inverses_binary64_14379` `lft-mult-inverse_binary64_14378` `rgt-mult-inverse_binary64_14377` `remove-double-div_binary64_14376` `difference-of-sqr--1_binary64_14371` `difference-of-sqr-1_binary64_14370` `cancel-sign-sub_binary64_14365` `distribute-frac-neg_binary64_14363` `distribute-neg-out_binary64_14362` `distribute-rgt1-in_binary64_14356` `distribute-lft1-in_binary64_14355` `distribute-lft-out--_binary64_14352` `distribute-lft-out_binary64_14351` `associate--r-_binary64_14339` `associate--l-_binary64_14338` `associate-+l-_binary64_14335` `associate-+r-_binary64_14334`

Counts

211 → 186

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	312	6714
1	709	6422
2	2092	6097
3	4684	5835
4	4964	5835

prune507.0ms (7.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	182	4	186
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	182	7	189

Error

0.0b

Counts

189 → 7

Compiler

Compiled 6664 to 5070 computations (23.9% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
1.0b	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
1.0b	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))

rewrite344.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

50×	`add-sqr-sqrt_binary64_14422`
41×	`cbrt-prod_binary64_14431`
34×	`*-un-lft-identity_binary64_14400`
20×	`times-frac_binary64_14406`
18×	`add-cube-cbrt_binary64_14435`
11×	`pow1_binary64_14461`
10×	`distribute-lft-out--_binary64_14352`
9×	`pow1/3_binary64_14482`
8×	`difference-of-squares_binary64_14369`
6×	`add-exp-log_binary64_14438` `swap-sqr_binary64_14367` `associate-l_binary64_14341` `associate-r_binary64_14340` `cbrt-div_binary64_14432`
4×	`add-log-exp_binary64_14439` `add-cbrt-cube_binary64_14436` `unswap-sqr_binary64_14368` `div-inv_binary64_14397`
2×	`pow-prod-down_binary64_14471` `pow-prod-up_binary64_14470` `pow-sqr_binary64_14373` `frac-sub_binary64_14409` `flip3--_binary64_14404` `flip--_binary64_14375`
1×	`pow2_binary64_14481` `pow-plus_binary64_14463` `prod-exp_binary64_14449` `cbrt-unprod_binary64_14433` `*-commutative_binary64_14331`

Counts

4 → 95

Calls

4 calls:

14.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
13.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
7.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
4.0ms	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))

Compiler

Compiled 4064 to 3408 computations (16.1% saved)

series531.0ms (7.5%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

231.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
230.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.0ms	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))
0.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))

Compiler

Compiled 3068 to 2662 computations (13.2% saved)

simplify107.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

709×	`cancel-sign-sub-inv_binary64_14366`
303×	`associate-l_binary64_14341`
281×	`associate-r_binary64_14340`
166×	`sub-neg_binary64_14393`
162×	`*-commutative_binary64_14331`
157×	`associate-/l*_binary64_14345`
148×	`times-frac_binary64_14406`
143×	`unswap-sqr_binary64_14368`
137×	`associate-/r*_binary64_14344`
135×	`associate-*r/_binary64_14342`
127×	`associate-*l/_binary64_14343`
106×	`neg-sub0_binary64_14395` `sqr-pow_binary64_14372`
103×	`neg-mul-1_binary64_14396`
84×	`distribute-rgt-neg-in_binary64_14358`
76×	`distribute-lft-neg-in_binary64_14357`
71×	`exp-prod_binary64_14452`
63×	`log-prod_binary64_14486`
56×	`distribute-neg-frac_binary64_14364`
45×	`log-div_binary64_14487`
39×	`associate-/r/_binary64_14346`
37×	`+-commutative_binary64_14330`
30×	`swap-sqr_binary64_14367`
27×	`div-sub_binary64_14405` `unsub-neg_binary64_14394`
25×	`*-rgt-identity_binary64_14390` `distribute-rgt-in_binary64_14350` `associate-+l-_binary64_14335`
24×	`associate-+r-_binary64_14334`
23×	`cube-unmult_binary64_14437`
22×	`sub0-neg_binary64_14387`
21×	`*-lft-identity_binary64_14389`
19×	`+-rgt-identity_binary64_14385` `associate-/l/_binary64_14347`
17×	`pow-sqr_binary64_14373` `associate-+l+_binary64_14333`
16×	`distribute-lft-in_binary64_14349`
14×	`exp-sum_binary64_14446`
13×	`associate--l+_binary64_14337` `associate--r+_binary64_14336`
12×	`cube-prod_binary64_14428` `/-rgt-identity_binary64_14391` `distribute-neg-in_binary64_14361`
11×	`distribute-lft-neg-out_binary64_14359`
10×	`pow-plus_binary64_14463` `difference-of-squares_binary64_14369` `associate-+r+_binary64_14332`
9×	`log-pow_binary64_14489` `log-rec_binary64_14488` `unpow1/3_binary64_14467`
8×	`exp-diff_binary64_14448` `cube-div_binary64_14429`
7×	`rem-sqrt-square_binary64_14413`
6×	`unpow3_binary64_14466` `associate--l-_binary64_14338`
5×	`distribute-rgt-out_binary64_14353`
4×	`exp-to-pow_binary64_14462` `exp-neg_binary64_14447` `rem-exp-log_binary64_14440` `cube-mult_binary64_14430` `rem-3cbrt-lft_binary64_14425`
3×	`unpow1/2_binary64_14464` `distribute-rgt-neg-out_binary64_14360`
2×	`unpow2_binary64_14465` `unpow1_binary64_14458` `rem-3cbrt-rft_binary64_14426` `count-2_binary64_14348`
1×	`1-exp_binary64_14444` `exp-1-e_binary64_14443` `rem-square-sqrt_binary64_14412` `remove-double-div_binary64_14376` `distribute-rgt-out--_binary64_14354`
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_14663` `erf-erfc_binary64_14662` `erf-odd_binary64_14661` `if-if-and-not_binary64_14660` `if-if-and_binary64_14659` `if-if-or-not_binary64_14658` `if-if-or_binary64_14657` `if-not_binary64_14656` `if-same_binary64_14655` `if-false_binary64_14654` `if-true_binary64_14653` `not-gte_binary64_14652` `not-lte_binary64_14651` `not-gt_binary64_14650` `not-lt_binary64_14649` `gte-same_binary64_14648` `lte-same_binary64_14647` `gt-same_binary64_14646` `lt-same_binary64_14645` `sinh---cosh_binary64_14592` `sinh-+-cosh_binary64_14591` `sinh-cosh_binary64_14590` `tanh-def-c_binary64_14589` `tanh-def-b_binary64_14588` `tanh-def-a_binary64_14587` `cosh-def_binary64_14586` `sinh-def_binary64_14585` `tan-neg_binary64_14532` `cos-neg_binary64_14531` `sin-neg_binary64_14530` `tan-0_binary64_14529` `cos-0_binary64_14528` `sin-0_binary64_14527` `hang-m-tan_binary64_14526` `hang-p-tan_binary64_14525` `hang-m0-tan_binary64_14524` `hang-p0-tan_binary64_14523` `hang-0m-tan_binary64_14522` `hang-0p-tan_binary64_14521` `tan-+PI/2_binary64_14520` `tan-+PI_binary64_14519` `tan-PI_binary64_14518` `tan-PI/3_binary64_14517` `tan-PI/4_binary64_14516` `tan-PI/6_binary64_14515` `cos-+PI/2_binary64_14514` `cos-+PI_binary64_14513` `cos-PI_binary64_14512` `cos-PI/2_binary64_14511` `cos-PI/3_binary64_14510` `cos-PI/4_binary64_14509` `cos-PI/6_binary64_14508` `sin-+PI/2_binary64_14507` `sin-+PI_binary64_14506` `sin-PI_binary64_14505` `sin-PI/2_binary64_14504` `sin-PI/3_binary64_14503` `sin-PI/4_binary64_14502` `sin-PI/6_binary64_14501` `sub-1-sin_binary64_14500` `sub-1-cos_binary64_14499` `-1-add-sin_binary64_14498` `-1-add-cos_binary64_14497` `1-sub-sin_binary64_14496` `1-sub-cos_binary64_14495` `cos-sin-sum_binary64_14494` `log-E_binary64_14490` `pow-base-0_binary64_14484` `pow-base-1_binary64_14460` `unpow0_binary64_14459` `unpow-1_binary64_14457` `exp-lft-cube_binary64_14456` `exp-lft-sqr_binary64_14455` `exp-cbrt_binary64_14454` `exp-sqrt_binary64_14453` `div-exp_binary64_14451` `rec-exp_binary64_14450` `prod-exp_binary64_14449` `e-exp-1_binary64_14445` `exp-0_binary64_14442` `rem-log-exp_binary64_14441` `cube-neg_binary64_14427` `rem-cbrt-cube_binary64_14424` `rem-cube-cbrt_binary64_14423` `sqr-abs_binary64_14415` `sqr-neg_binary64_14414` `mul-1-neg_binary64_14392` `remove-double-neg_binary64_14388` `--rgt-identity_binary64_14386` `+-lft-identity_binary64_14384` `mul0-rgt_binary64_14383` `mul0-lft_binary64_14382` `div0_binary64_14381` `*-inverses_binary64_14380` `+-inverses_binary64_14379` `lft-mult-inverse_binary64_14378` `rgt-mult-inverse_binary64_14377` `difference-of-sqr--1_binary64_14371` `difference-of-sqr-1_binary64_14370` `cancel-sign-sub_binary64_14365` `distribute-frac-neg_binary64_14363` `distribute-neg-out_binary64_14362` `distribute-rgt1-in_binary64_14356` `distribute-lft1-in_binary64_14355` `distribute-lft-out--_binary64_14352` `distribute-lft-out_binary64_14351` `associate--r-_binary64_14339`

Counts

121 → 84

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	2394
1	400	2306
2	1045	2276
3	3286	2173
4	4992	2173

prune237.0ms (3.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	83	8	91

Error

Counts

91 → 8

Compiler

Compiled 3729 to 3065 computations (17.8% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
1.0b	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
1.0b	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))
1.0b	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))

rewrite372.0ms (5.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

36×	`add-sqr-sqrt_binary64_14422`
34×	`cbrt-prod_binary64_14431`
20×	`add-cube-cbrt_binary64_14435` `*-un-lft-identity_binary64_14400`
18×	`pow1_binary64_14461`
14×	`pow1/3_binary64_14482`
12×	`swap-sqr_binary64_14367` `associate-l_binary64_14341` `associate-r_binary64_14340`
8×	`add-exp-log_binary64_14438` `unswap-sqr_binary64_14368`
4×	`add-log-exp_binary64_14439` `add-cbrt-cube_binary64_14436` `pow-prod-down_binary64_14471` `pow-prod-up_binary64_14470` `pow-sqr_binary64_14373`
2×	`pow2_binary64_14481` `pow-plus_binary64_14463` `prod-exp_binary64_14449` `cbrt-unprod_binary64_14433` `*-commutative_binary64_14331`

Counts

4 → 98

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
7.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
4.0ms	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))
4.0ms	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))

Compiler

Compiled 4850 to 4264 computations (12.1% saved)

series1.0ms (0%)

Error

Counts

4 → 0

Calls

4 calls:

0.0ms	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))
0.0ms	(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))
0.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
0.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))

Compiler

Compiled 0 to 0 computations (0% saved)

simplify118.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

531×	`associate-/l*_binary64_14345`
363×	`associate-*r/_binary64_14342`
352×	`associate-*l/_binary64_14343`
293×	`*-commutative_binary64_14331`
284×	`sqr-pow_binary64_14372`
282×	`unswap-sqr_binary64_14368`
247×	`log-div_binary64_14487`
240×	`associate-+l+_binary64_14333`
182×	`associate-/l/_binary64_14347`
178×	`log-prod_binary64_14486`
171×	`associate-/r/_binary64_14346`
160×	`exp-prod_binary64_14452`
154×	`associate-l_binary64_14341`
145×	`associate-/r*_binary64_14344`
140×	`associate-+r+_binary64_14332`
121×	`distribute-rgt-in_binary64_14350`
110×	`pow-sqr_binary64_14373`
107×	`associate-r_binary64_14340`
104×	`distribute-lft-in_binary64_14349`
69×	`+-commutative_binary64_14330`
57×	`swap-sqr_binary64_14367`
52×	`log-pow_binary64_14489`
44×	`rem-sqrt-square_binary64_14413`
42×	`cube-div_binary64_14429`
36×	`*-lft-identity_binary64_14389`
34×	`cube-prod_binary64_14428`
33×	`log-rec_binary64_14488`
29×	`times-frac_binary64_14406`
27×	`*-rgt-identity_binary64_14390`
25×	`exp-sqrt_binary64_14453`
20×	`pow-plus_binary64_14463` `distribute-rgt-out_binary64_14353`
18×	`distribute-lft-out_binary64_14351`
13×	`unpow1/2_binary64_14464` `count-2_binary64_14348`
11×	`cube-unmult_binary64_14437`
9×	`exp-lft-sqr_binary64_14455`
5×	`sub-neg_binary64_14393` `distribute-rgt1-in_binary64_14356`
4×	`unpow2_binary64_14465` `unpow1_binary64_14458` `distribute-lft1-in_binary64_14355`
3×	`unpow3_binary64_14466` `cube-mult_binary64_14430` `rem-3cbrt-lft_binary64_14425` `remove-double-div_binary64_14376`
2×	`rem-3cbrt-rft_binary64_14426` `/-rgt-identity_binary64_14391`
1×	`prod-exp_binary64_14449` `1-exp_binary64_14444` `exp-1-e_binary64_14443` `rem-cbrt-cube_binary64_14424` `rem-square-sqrt_binary64_14412`
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_14663` `erf-erfc_binary64_14662` `erf-odd_binary64_14661` `if-if-and-not_binary64_14660` `if-if-and_binary64_14659` `if-if-or-not_binary64_14658` `if-if-or_binary64_14657` `if-not_binary64_14656` `if-same_binary64_14655` `if-false_binary64_14654` `if-true_binary64_14653` `not-gte_binary64_14652` `not-lte_binary64_14651` `not-gt_binary64_14650` `not-lt_binary64_14649` `gte-same_binary64_14648` `lte-same_binary64_14647` `gt-same_binary64_14646` `lt-same_binary64_14645` `sinh---cosh_binary64_14592` `sinh-+-cosh_binary64_14591` `sinh-cosh_binary64_14590` `tanh-def-c_binary64_14589` `tanh-def-b_binary64_14588` `tanh-def-a_binary64_14587` `cosh-def_binary64_14586` `sinh-def_binary64_14585` `tan-neg_binary64_14532` `cos-neg_binary64_14531` `sin-neg_binary64_14530` `tan-0_binary64_14529` `cos-0_binary64_14528` `sin-0_binary64_14527` `hang-m-tan_binary64_14526` `hang-p-tan_binary64_14525` `hang-m0-tan_binary64_14524` `hang-p0-tan_binary64_14523` `hang-0m-tan_binary64_14522` `hang-0p-tan_binary64_14521` `tan-+PI/2_binary64_14520` `tan-+PI_binary64_14519` `tan-PI_binary64_14518` `tan-PI/3_binary64_14517` `tan-PI/4_binary64_14516` `tan-PI/6_binary64_14515` `cos-+PI/2_binary64_14514` `cos-+PI_binary64_14513` `cos-PI_binary64_14512` `cos-PI/2_binary64_14511` `cos-PI/3_binary64_14510` `cos-PI/4_binary64_14509` `cos-PI/6_binary64_14508` `sin-+PI/2_binary64_14507` `sin-+PI_binary64_14506` `sin-PI_binary64_14505` `sin-PI/2_binary64_14504` `sin-PI/3_binary64_14503` `sin-PI/4_binary64_14502` `sin-PI/6_binary64_14501` `sub-1-sin_binary64_14500` `sub-1-cos_binary64_14499` `-1-add-sin_binary64_14498` `-1-add-cos_binary64_14497` `1-sub-sin_binary64_14496` `1-sub-cos_binary64_14495` `cos-sin-sum_binary64_14494` `log-E_binary64_14490` `pow-base-0_binary64_14484` `unpow1/3_binary64_14467` `exp-to-pow_binary64_14462` `pow-base-1_binary64_14460` `unpow0_binary64_14459` `unpow-1_binary64_14457` `exp-lft-cube_binary64_14456` `exp-cbrt_binary64_14454` `div-exp_binary64_14451` `rec-exp_binary64_14450` `exp-diff_binary64_14448` `exp-neg_binary64_14447` `exp-sum_binary64_14446` `e-exp-1_binary64_14445` `exp-0_binary64_14442` `rem-log-exp_binary64_14441` `rem-exp-log_binary64_14440` `cube-neg_binary64_14427` `rem-cube-cbrt_binary64_14423` `sqr-abs_binary64_14415` `sqr-neg_binary64_14414` `div-sub_binary64_14405` `neg-mul-1_binary64_14396` `neg-sub0_binary64_14395` `unsub-neg_binary64_14394` `mul-1-neg_binary64_14392` `remove-double-neg_binary64_14388` `sub0-neg_binary64_14387` `--rgt-identity_binary64_14386` `+-rgt-identity_binary64_14385` `+-lft-identity_binary64_14384` `mul0-rgt_binary64_14383` `mul0-lft_binary64_14382` `div0_binary64_14381` `*-inverses_binary64_14380` `+-inverses_binary64_14379` `lft-mult-inverse_binary64_14378` `rgt-mult-inverse_binary64_14377` `difference-of-sqr--1_binary64_14371` `difference-of-sqr-1_binary64_14370` `difference-of-squares_binary64_14369` `cancel-sign-sub-inv_binary64_14366` `cancel-sign-sub_binary64_14365` `distribute-neg-frac_binary64_14364` `distribute-frac-neg_binary64_14363` `distribute-neg-out_binary64_14362` `distribute-neg-in_binary64_14361` `distribute-rgt-neg-out_binary64_14360` `distribute-lft-neg-out_binary64_14359` `distribute-rgt-neg-in_binary64_14358` `distribute-lft-neg-in_binary64_14357` `distribute-rgt-out--_binary64_14354` `distribute-lft-out--_binary64_14352` `associate--r-_binary64_14339` `associate--l-_binary64_14338` `associate--l+_binary64_14337` `associate--r+_binary64_14336` `associate-+l-_binary64_14335` `associate-+r-_binary64_14334`

Counts

98 → 62

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	51	1060
1	76	1052
2	212	1044
3	507	1016
4	849	836
5	1569	824
6	3912	824
7	4955	824
8	4836	824

prune194.0ms (2.7%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	62	8	70

Error

Counts

70 → 8

Compiler

Compiled 2876 to 2506 computations (12.9% saved)

regimes275.0ms (3.9%)

Accuracy

Total 0.0b remaining (89.2%)

Threshold costs 0.0b (89.2%)

Compiler

Compiled 3112 to 2713 computations (12.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_14330

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_14660 if-if-and_binary64_14659 if-if-or-not_binary64_14658 if-if-or_binary64_14657 if-not_binary64_14656 if-same_binary64_14655 if-false_binary64_14654 if-true_binary64_14653 tan-0_binary64_14529 cos-0_binary64_14528 sin-0_binary64_14527 unpow1_binary64_14458 e-exp-1_binary64_14445 1-exp_binary64_14444 exp-1-e_binary64_14443 exp-0_binary64_14442 sqr-abs_binary64_14415 sqr-neg_binary64_14414 neg-mul-1_binary64_14396 neg-sub0_binary64_14395 unsub-neg_binary64_14394 sub-neg_binary64_14393 mul-1-neg_binary64_14392 /-rgt-identity_binary64_14391 *-rgt-identity_binary64_14390 *-lft-identity_binary64_14389 remove-double-neg_binary64_14388 sub0-neg_binary64_14387 --rgt-identity_binary64_14386 +-rgt-identity_binary64_14385 +-lft-identity_binary64_14384 cancel-sign-sub-inv_binary64_14366 cancel-sign-sub_binary64_14365 distribute-neg-frac_binary64_14364 distribute-frac-neg_binary64_14363 distribute-neg-out_binary64_14362 distribute-neg-in_binary64_14361 distribute-rgt-neg-out_binary64_14360 distribute-lft-neg-out_binary64_14359 distribute-rgt-neg-in_binary64_14358 distribute-lft-neg-in_binary64_14357 *-commutative_binary64_14331

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	9	10
2	9	10

end0.0ms (0%)

sample1.6s (22.8%)

Algorithm

1×

intervals

Results

425.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 1054 to 921 computations (12.6% saved)

Details

analyze370.0ms (5.2%)

sample17.0ms (0.2%)

simplify151.0ms (2.1%)

prune4.0ms (0.1%)

localize5.0ms (0.1%)

rewrite32.0ms (0.5%)

series171.0ms (2.4%)

simplify94.0ms (1.3%)

prune17.0ms (0.2%)

localize9.0ms (0.1%)

rewrite538.0ms (7.6%)

series1.1s (15.9%)

simplify204.0ms (2.9%)

prune507.0ms (7.2%)

localize20.0ms (0.3%)

rewrite344.0ms (4.9%)

series531.0ms (7.5%)

simplify107.0ms (1.5%)

prune237.0ms (3.3%)

localize22.0ms (0.3%)

rewrite372.0ms (5.3%)

series1.0ms (0%)

simplify118.0ms (1.7%)

prune194.0ms (2.7%)

regimes275.0ms (3.9%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.6s (22.8%)

Profiling