Details

analyze202.0ms (2.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

90×	`cancel-sign-sub-inv_binary64_16412`
62×	`sub-neg_binary64_16439`
52×	`distribute-rgt-in_binary64_16396`
46×	`associate--r+_binary64_16382`
26×	`distribute-rgt-neg-in_binary64_16404`
24×	`neg-mul-1_binary64_16442` `associate-+l-_binary64_16381`
22×	`unsub-neg_binary64_16440` `associate--l-_binary64_16384` `associate--l+_binary64_16383` `+-commutative_binary64_16376`
20×	`div-sub_binary64_16451` `*-commutative_binary64_16377`
18×	`distribute-lft-neg-in_binary64_16403` `associate-/l_binary64_16391` `associate-/r_binary64_16390` `associate-+l+_binary64_16379`
16×	`sub0-neg_binary64_16433` `distribute-rgt-out--_binary64_16400` `associate-+r+_binary64_16378`
14×	`associate-r_binary64_16386`
12×	`neg-sub0_binary64_16441` `associate--r-_binary64_16385` `associate-+r-_binary64_16380`
10×	`distribute-neg-in_binary64_16407` `distribute-rgt-neg-out_binary64_16406`
8×	`distribute-neg-frac_binary64_16410` `distribute-neg-out_binary64_16408` `distribute-lft-neg-out_binary64_16405`
6×	`+-rgt-identity_binary64_16431` `+-lft-identity_binary64_16430`
4×	`-lft-identity_binary64_16435` `remove-double-neg_binary64_16434` `associate-l*_binary64_16387`
2×	`distribute-frac-neg_binary64_16409` `distribute-lft1-in_binary64_16401` `distribute-lft-out--_binary64_16398` `associate-/l/_binary64_16393` `associate-/r/_binary64_16392`
1×	`1-exp_binary64_16490`
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_16709` `erf-erfc_binary64_16708` `erf-odd_binary64_16707` `if-if-and-not_binary64_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `not-gte_binary64_16698` `not-lte_binary64_16697` `not-gt_binary64_16696` `not-lt_binary64_16695` `gte-same_binary64_16694` `lte-same_binary64_16693` `gt-same_binary64_16692` `lt-same_binary64_16691` `sinh---cosh_binary64_16638` `sinh-+-cosh_binary64_16637` `sinh-cosh_binary64_16636` `tanh-def-c_binary64_16635` `tanh-def-b_binary64_16634` `tanh-def-a_binary64_16633` `cosh-def_binary64_16632` `sinh-def_binary64_16631` `tan-neg_binary64_16578` `cos-neg_binary64_16577` `sin-neg_binary64_16576` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `hang-m-tan_binary64_16572` `hang-p-tan_binary64_16571` `hang-m0-tan_binary64_16570` `hang-p0-tan_binary64_16569` `hang-0m-tan_binary64_16568` `hang-0p-tan_binary64_16567` `tan-+PI/2_binary64_16566` `tan-+PI_binary64_16565` `tan-PI_binary64_16564` `tan-PI/3_binary64_16563` `tan-PI/4_binary64_16562` `tan-PI/6_binary64_16561` `cos-+PI/2_binary64_16560` `cos-+PI_binary64_16559` `cos-PI_binary64_16558` `cos-PI/2_binary64_16557` `cos-PI/3_binary64_16556` `cos-PI/4_binary64_16555` `cos-PI/6_binary64_16554` `sin-+PI/2_binary64_16553` `sin-+PI_binary64_16552` `sin-PI_binary64_16551` `sin-PI/2_binary64_16550` `sin-PI/3_binary64_16549` `sin-PI/4_binary64_16548` `sin-PI/6_binary64_16547` `sub-1-sin_binary64_16546` `sub-1-cos_binary64_16545` `-1-add-sin_binary64_16544` `-1-add-cos_binary64_16543` `1-sub-sin_binary64_16542` `1-sub-cos_binary64_16541` `cos-sin-sum_binary64_16540` `log-E_binary64_16536` `log-pow_binary64_16535` `log-rec_binary64_16534` `log-div_binary64_16533` `log-prod_binary64_16532` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow3_binary64_16512` `unpow2_binary64_16511` `unpow1/2_binary64_16510` `pow-plus_binary64_16509` `exp-to-pow_binary64_16508` `pow-base-1_binary64_16506` `unpow0_binary64_16505` `unpow1_binary64_16504` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-lft-sqr_binary64_16501` `exp-cbrt_binary64_16500` `exp-sqrt_binary64_16499` `exp-prod_binary64_16498` `div-exp_binary64_16497` `rec-exp_binary64_16496` `prod-exp_binary64_16495` `exp-diff_binary64_16494` `exp-neg_binary64_16493` `exp-sum_binary64_16492` `e-exp-1_binary64_16491` `exp-1-e_binary64_16489` `exp-0_binary64_16488` `rem-log-exp_binary64_16487` `rem-exp-log_binary64_16486` `cube-unmult_binary64_16483` `cube-mult_binary64_16476` `cube-div_binary64_16475` `cube-prod_binary64_16474` `cube-neg_binary64_16473` `rem-3cbrt-rft_binary64_16472` `rem-3cbrt-lft_binary64_16471` `rem-cbrt-cube_binary64_16470` `rem-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `rem-sqrt-square_binary64_16459` `rem-square-sqrt_binary64_16458` `times-frac_binary64_16452` `mul-1-neg_binary64_16438` `/-rgt-identity_binary64_16437` `-rgt-identity_binary64_16436` `--rgt-identity_binary64_16432` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `div0_binary64_16427` `-inverses_binary64_16426` `+-inverses_binary64_16425` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `pow-sqr_binary64_16419` `sqr-pow_binary64_16418` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `difference-of-squares_binary64_16415` `unswap-sqr_binary64_16414` `swap-sqr_binary64_16413` `cancel-sign-sub_binary64_16411` `distribute-rgt1-in_binary64_16402` `distribute-rgt-out_binary64_16399` `distribute-lft-out_binary64_16397` `distribute-lft-in_binary64_16395` `count-2_binary64_16394` `associate-l/_binary64_16389` `associate-r/_binary64_16388`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	20	20
2	40	20
3	72	20
4	133	20
5	222	20
6	360	20
7	420	20
8	464	20
9	472	20
10	412	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
50%	50%	0.1%	4
50%	50%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
87.4%	12.5%	0.1%	8
87.4%	12.5%	0.1%	9
93.7%	6.2%	0.1%	10
93.7%	6.2%	0.1%	11
96.8%	3.1%	0.1%	12
96.8%	3.1%	0.1%	13
98.3%	1.6%	0.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample16.0ms (0.2%)

Algorithm

1×

intervals

Results

5.0ms	234×	body	128	valid
1.0ms	8×	body	2048	valid
1.0ms	7×	body	1024	valid
0.0ms	6×	body	512	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify22.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

90×	`cancel-sign-sub-inv_binary64_16412`
49×	`sub-neg_binary64_16439`
40×	`distribute-rgt-in_binary64_16396`
29×	`distribute-rgt-neg-in_binary64_16404`
25×	`associate--r+_binary64_16382`
23×	`unsub-neg_binary64_16440`
21×	`div-sub_binary64_16451`
19×	`neg-mul-1_binary64_16442` `associate--r-_binary64_16385`
18×	`associate-/r*_binary64_16390`
17×	`distribute-lft-neg-out_binary64_16405`
16×	`associate-/l*_binary64_16391` `associate-+l-_binary64_16381`
15×	`distribute-neg-in_binary64_16407` `*-commutative_binary64_16377` `+-commutative_binary64_16376`
12×	`neg-sub0_binary64_16441` `sub0-neg_binary64_16433` `distribute-rgt-neg-out_binary64_16406` `associate-+l+_binary64_16379`
10×	`distribute-neg-frac_binary64_16410` `distribute-lft-neg-in_binary64_16403` `associate--l+_binary64_16383`
9×	`associate--l-_binary64_16384`
8×	`associate-+r-_binary64_16380` `associate-+r+_binary64_16378`
7×	`*-lft-identity_binary64_16435`
5×	`+-lft-identity_binary64_16430` `distribute-rgt-out--_binary64_16400` `distribute-lft-in_binary64_16395` `associate-/r/_binary64_16392`
4×	`distribute-neg-out_binary64_16408`
3×	`--rgt-identity_binary64_16432` `+-rgt-identity_binary64_16431`
2×	`-rgt-identity_binary64_16436` `remove-double-neg_binary64_16434` `distribute-lft-out--_binary64_16398` `associate-/l/_binary64_16393` `associate-r*_binary64_16386`
1×	`1-exp_binary64_16490` `distribute-frac-neg_binary64_16409` `distribute-rgt1-in_binary64_16402` `associate-l_binary64_16387`
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_16709` `erf-erfc_binary64_16708` `erf-odd_binary64_16707` `if-if-and-not_binary64_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `not-gte_binary64_16698` `not-lte_binary64_16697` `not-gt_binary64_16696` `not-lt_binary64_16695` `gte-same_binary64_16694` `lte-same_binary64_16693` `gt-same_binary64_16692` `lt-same_binary64_16691` `sinh---cosh_binary64_16638` `sinh-+-cosh_binary64_16637` `sinh-cosh_binary64_16636` `tanh-def-c_binary64_16635` `tanh-def-b_binary64_16634` `tanh-def-a_binary64_16633` `cosh-def_binary64_16632` `sinh-def_binary64_16631` `tan-neg_binary64_16578` `cos-neg_binary64_16577` `sin-neg_binary64_16576` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `hang-m-tan_binary64_16572` `hang-p-tan_binary64_16571` `hang-m0-tan_binary64_16570` `hang-p0-tan_binary64_16569` `hang-0m-tan_binary64_16568` `hang-0p-tan_binary64_16567` `tan-+PI/2_binary64_16566` `tan-+PI_binary64_16565` `tan-PI_binary64_16564` `tan-PI/3_binary64_16563` `tan-PI/4_binary64_16562` `tan-PI/6_binary64_16561` `cos-+PI/2_binary64_16560` `cos-+PI_binary64_16559` `cos-PI_binary64_16558` `cos-PI/2_binary64_16557` `cos-PI/3_binary64_16556` `cos-PI/4_binary64_16555` `cos-PI/6_binary64_16554` `sin-+PI/2_binary64_16553` `sin-+PI_binary64_16552` `sin-PI_binary64_16551` `sin-PI/2_binary64_16550` `sin-PI/3_binary64_16549` `sin-PI/4_binary64_16548` `sin-PI/6_binary64_16547` `sub-1-sin_binary64_16546` `sub-1-cos_binary64_16545` `-1-add-sin_binary64_16544` `-1-add-cos_binary64_16543` `1-sub-sin_binary64_16542` `1-sub-cos_binary64_16541` `cos-sin-sum_binary64_16540` `log-E_binary64_16536` `log-pow_binary64_16535` `log-rec_binary64_16534` `log-div_binary64_16533` `log-prod_binary64_16532` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow3_binary64_16512` `unpow2_binary64_16511` `unpow1/2_binary64_16510` `pow-plus_binary64_16509` `exp-to-pow_binary64_16508` `pow-base-1_binary64_16506` `unpow0_binary64_16505` `unpow1_binary64_16504` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-lft-sqr_binary64_16501` `exp-cbrt_binary64_16500` `exp-sqrt_binary64_16499` `exp-prod_binary64_16498` `div-exp_binary64_16497` `rec-exp_binary64_16496` `prod-exp_binary64_16495` `exp-diff_binary64_16494` `exp-neg_binary64_16493` `exp-sum_binary64_16492` `e-exp-1_binary64_16491` `exp-1-e_binary64_16489` `exp-0_binary64_16488` `rem-log-exp_binary64_16487` `rem-exp-log_binary64_16486` `cube-unmult_binary64_16483` `cube-mult_binary64_16476` `cube-div_binary64_16475` `cube-prod_binary64_16474` `cube-neg_binary64_16473` `rem-3cbrt-rft_binary64_16472` `rem-3cbrt-lft_binary64_16471` `rem-cbrt-cube_binary64_16470` `rem-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `rem-sqrt-square_binary64_16459` `rem-square-sqrt_binary64_16458` `times-frac_binary64_16452` `mul-1-neg_binary64_16438` `/-rgt-identity_binary64_16437` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `div0_binary64_16427` `-inverses_binary64_16426` `+-inverses_binary64_16425` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `pow-sqr_binary64_16419` `sqr-pow_binary64_16418` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `difference-of-squares_binary64_16415` `unswap-sqr_binary64_16414` `swap-sqr_binary64_16413` `cancel-sign-sub_binary64_16411` `distribute-lft1-in_binary64_16401` `distribute-rgt-out_binary64_16399` `distribute-lft-out_binary64_16397` `count-2_binary64_16394` `associate-l/_binary64_16389` `associate-*r/_binary64_16388`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	75	10
5	134	10
6	206	10
7	276	10
8	330	10
9	365	10
10	370	10
11	310	10

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite30.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64_16485` `*-un-lft-identity_binary64_16446`
1×	`sum-log_binary64_16537` `pow1_binary64_16507` `add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482` `add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `flip3-+_binary64_16449` `flip-+_binary64_16420` `distribute-lft-out_binary64_16397` `div-sub_binary64_16451` `associate-+r-_binary64_16380` `+-commutative_binary64_16376`

Counts

1 → 13

Calls

1 calls:

10.0ms

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

Compiler

Compiled 196 to 107 computations (45.4% saved)

series119.0ms (1.7%)

Error

0.1b

Counts

1 → 12

Calls

1 calls:

111.0ms

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

Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify72.0ms (1%)

Algorithm

1×	egg-herbie

Rules

585×	`div-sub_binary64_16451`
455×	`distribute-rgt-in_binary64_16396`
436×	`neg-mul-1_binary64_16442`
427×	`distribute-lft-in_binary64_16395`
379×	`unsub-neg_binary64_16440`
274×	`times-frac_binary64_16452`
245×	`distribute-rgt-neg-out_binary64_16406`
236×	`distribute-rgt-out_binary64_16399`
206×	`distribute-lft-neg-out_binary64_16405`
197×	`cancel-sign-sub-inv_binary64_16412`
133×	`sub-neg_binary64_16439`
132×	`distribute-neg-in_binary64_16407`
130×	`associate-+l+_binary64_16379`
123×	`associate-+r+_binary64_16378`
119×	`associate-*l/_binary64_16389`
107×	`associate-l_binary64_16387`
101×	`associate-*r/_binary64_16388`
100×	`associate-r_binary64_16386`
72×	`neg-sub0_binary64_16441`
59×	`associate-/l*_binary64_16391`
58×	`distribute-rgt-neg-in_binary64_16404`
49×	`distribute-lft-neg-in_binary64_16403`
46×	`*-commutative_binary64_16377`
45×	`exp-sum_binary64_16492`
44×	`distribute-frac-neg_binary64_16409` `+-commutative_binary64_16376`
38×	`distribute-neg-frac_binary64_16410`
36×	`exp-prod_binary64_16498`
34×	`distribute-neg-out_binary64_16408`
30×	`exp-diff_binary64_16494` `associate-+l-_binary64_16381`
28×	`associate-+r-_binary64_16380`
26×	`unswap-sqr_binary64_16414`
25×	`distribute-rgt-out--_binary64_16400`
22×	`sqr-pow_binary64_16418`
21×	`remove-double-neg_binary64_16434` `associate-/r/_binary64_16392` `associate--r+_binary64_16382`
19×	`associate-/l/_binary64_16393`
14×	`cube-prod_binary64_16474` `+-rgt-identity_binary64_16431`
12×	`mul0-rgt_binary64_16429` `mul0-lft_binary64_16428`
11×	`sub0-neg_binary64_16433`
10×	`cube-unmult_binary64_16483` `associate-/r*_binary64_16390` `associate--r-_binary64_16385`
9×	`associate--l+_binary64_16383`
8×	`div0_binary64_16427`
7×	`unpow3_binary64_16512` `prod-exp_binary64_16495`
5×	`exp-sqrt_binary64_16499`
4×	`pow-plus_binary64_16509` `cube-neg_binary64_16473` `sqr-neg_binary64_16460` `--rgt-identity_binary64_16432` `swap-sqr_binary64_16413` `associate--l-_binary64_16384`
3×	`div-exp_binary64_16497` `exp-neg_binary64_16493` `cube-mult_binary64_16476`
2×	`cube-div_binary64_16475` `rem-sqrt-square_binary64_16459` `difference-of-squares_binary64_16415`
1×	`rec-exp_binary64_16496` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `mul-1-neg_binary64_16438` `*-lft-identity_binary64_16435` `pow-sqr_binary64_16419` `distribute-rgt1-in_binary64_16402`
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_16709` `erf-erfc_binary64_16708` `erf-odd_binary64_16707` `if-if-and-not_binary64_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `not-gte_binary64_16698` `not-lte_binary64_16697` `not-gt_binary64_16696` `not-lt_binary64_16695` `gte-same_binary64_16694` `lte-same_binary64_16693` `gt-same_binary64_16692` `lt-same_binary64_16691` `sinh---cosh_binary64_16638` `sinh-+-cosh_binary64_16637` `sinh-cosh_binary64_16636` `tanh-def-c_binary64_16635` `tanh-def-b_binary64_16634` `tanh-def-a_binary64_16633` `cosh-def_binary64_16632` `sinh-def_binary64_16631` `tan-neg_binary64_16578` `cos-neg_binary64_16577` `sin-neg_binary64_16576` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `hang-m-tan_binary64_16572` `hang-p-tan_binary64_16571` `hang-m0-tan_binary64_16570` `hang-p0-tan_binary64_16569` `hang-0m-tan_binary64_16568` `hang-0p-tan_binary64_16567` `tan-+PI/2_binary64_16566` `tan-+PI_binary64_16565` `tan-PI_binary64_16564` `tan-PI/3_binary64_16563` `tan-PI/4_binary64_16562` `tan-PI/6_binary64_16561` `cos-+PI/2_binary64_16560` `cos-+PI_binary64_16559` `cos-PI_binary64_16558` `cos-PI/2_binary64_16557` `cos-PI/3_binary64_16556` `cos-PI/4_binary64_16555` `cos-PI/6_binary64_16554` `sin-+PI/2_binary64_16553` `sin-+PI_binary64_16552` `sin-PI_binary64_16551` `sin-PI/2_binary64_16550` `sin-PI/3_binary64_16549` `sin-PI/4_binary64_16548` `sin-PI/6_binary64_16547` `sub-1-sin_binary64_16546` `sub-1-cos_binary64_16545` `-1-add-sin_binary64_16544` `-1-add-cos_binary64_16543` `1-sub-sin_binary64_16542` `1-sub-cos_binary64_16541` `cos-sin-sum_binary64_16540` `log-E_binary64_16536` `log-pow_binary64_16535` `log-rec_binary64_16534` `log-div_binary64_16533` `log-prod_binary64_16532` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow2_binary64_16511` `unpow1/2_binary64_16510` `exp-to-pow_binary64_16508` `pow-base-1_binary64_16506` `unpow0_binary64_16505` `unpow1_binary64_16504` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-lft-sqr_binary64_16501` `exp-cbrt_binary64_16500` `e-exp-1_binary64_16491` `exp-0_binary64_16488` `rem-log-exp_binary64_16487` `rem-exp-log_binary64_16486` `rem-3cbrt-rft_binary64_16472` `rem-3cbrt-lft_binary64_16471` `rem-cbrt-cube_binary64_16470` `rem-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `rem-square-sqrt_binary64_16458` `/-rgt-identity_binary64_16437` `-rgt-identity_binary64_16436` `+-lft-identity_binary64_16430` `-inverses_binary64_16426` `+-inverses_binary64_16425` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `cancel-sign-sub_binary64_16411` `distribute-lft1-in_binary64_16401` `distribute-lft-out--_binary64_16398` `distribute-lft-out_binary64_16397` `count-2_binary64_16394`

Counts

25 → 10

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	306
1	104	285
2	230	282
3	668	282
4	2467	282
5	4066	282
6	5187	282

prune14.0ms (0.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	6	4	10
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	7	4	11

Error

0.0b

Counts

11 → 4

Compiler

Compiled 178 to 115 computations (35.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite17.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64_16485`
1×	`sum-log_binary64_16537` `pow1_binary64_16507` `add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482` `add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `flip3-+_binary64_16449` `*-un-lft-identity_binary64_16446` `flip-+_binary64_16420` `+-commutative_binary64_16376`

Counts

1 → 11

Calls

1 calls:

4.0ms

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

Compiler

Compiled 178 to 138 computations (22.5% saved)

series114.0ms (1.6%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

108.0ms

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

Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify79.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

425×	`neg-sub0_binary64_16441`
404×	`neg-mul-1_binary64_16442`
364×	`distribute-rgt-out_binary64_16399`
344×	`distribute-rgt-neg-in_binary64_16404`
336×	`times-frac_binary64_16452`
334×	`distribute-rgt-neg-out_binary64_16406`
325×	`distribute-lft-neg-out_binary64_16405`
303×	`distribute-rgt-in_binary64_16396`
271×	`distribute-lft-in_binary64_16395`
261×	`*-commutative_binary64_16377`
241×	`distribute-lft-neg-in_binary64_16403`
222×	`associate-l_binary64_16387`
175×	`associate-r_binary64_16386`
160×	`cancel-sign-sub-inv_binary64_16412`
136×	`distribute-neg-in_binary64_16407`
106×	`unswap-sqr_binary64_16414`
87×	`sub-neg_binary64_16439`
85×	`remove-double-neg_binary64_16434`
82×	`associate-+l+_binary64_16379`
79×	`associate-+r+_binary64_16378`
72×	`distribute-rgt-out--_binary64_16400`
69×	`unsub-neg_binary64_16440` `distribute-lft-out_binary64_16397`
68×	`sqr-pow_binary64_16418`
53×	`exp-prod_binary64_16498`
45×	`cube-prod_binary64_16474`
31×	`mul0-rgt_binary64_16429` `mul0-lft_binary64_16428`
30×	`distribute-neg-out_binary64_16408`
26×	`cancel-sign-sub_binary64_16411` `+-commutative_binary64_16376`
17×	`exp-sum_binary64_16492`
16×	`exp-diff_binary64_16494` `associate-+l-_binary64_16381`
15×	`div-sub_binary64_16451` `pow-sqr_binary64_16419`
13×	`associate-+r-_binary64_16380`
11×	`sub0-neg_binary64_16433` `swap-sqr_binary64_16413`
9×	`unpow3_binary64_16512` `cube-unmult_binary64_16483` `cube-neg_binary64_16473`
7×	`+-rgt-identity_binary64_16431`
6×	`sqr-neg_binary64_16460` `difference-of-squares_binary64_16415`
5×	`cube-mult_binary64_16476` `distribute-frac-neg_binary64_16409`
4×	`pow-plus_binary64_16509` `exp-neg_binary64_16493` `distribute-lft-out--_binary64_16398` `associate-*r/_binary64_16388` `associate--r-_binary64_16385` `associate--r+_binary64_16382`
3×	`associate-/l/_binary64_16393` `associate-/l_binary64_16391` `associate-/r_binary64_16390` `associate--l-_binary64_16384` `associate--l+_binary64_16383`
2×	`unpow1/2_binary64_16510` `-lft-identity_binary64_16435` `distribute-rgt1-in_binary64_16402` `associate-/r/_binary64_16392` `associate-l/_binary64_16389`
1×	`log-prod_binary64_16532` `prod-exp_binary64_16495` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `rem-sqrt-square_binary64_16459` `mul-1-neg_binary64_16438` `*-rgt-identity_binary64_16436` `--rgt-identity_binary64_16432` `distribute-lft1-in_binary64_16401`
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_16709` `erf-erfc_binary64_16708` `erf-odd_binary64_16707` `if-if-and-not_binary64_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `not-gte_binary64_16698` `not-lte_binary64_16697` `not-gt_binary64_16696` `not-lt_binary64_16695` `gte-same_binary64_16694` `lte-same_binary64_16693` `gt-same_binary64_16692` `lt-same_binary64_16691` `sinh---cosh_binary64_16638` `sinh-+-cosh_binary64_16637` `sinh-cosh_binary64_16636` `tanh-def-c_binary64_16635` `tanh-def-b_binary64_16634` `tanh-def-a_binary64_16633` `cosh-def_binary64_16632` `sinh-def_binary64_16631` `tan-neg_binary64_16578` `cos-neg_binary64_16577` `sin-neg_binary64_16576` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `hang-m-tan_binary64_16572` `hang-p-tan_binary64_16571` `hang-m0-tan_binary64_16570` `hang-p0-tan_binary64_16569` `hang-0m-tan_binary64_16568` `hang-0p-tan_binary64_16567` `tan-+PI/2_binary64_16566` `tan-+PI_binary64_16565` `tan-PI_binary64_16564` `tan-PI/3_binary64_16563` `tan-PI/4_binary64_16562` `tan-PI/6_binary64_16561` `cos-+PI/2_binary64_16560` `cos-+PI_binary64_16559` `cos-PI_binary64_16558` `cos-PI/2_binary64_16557` `cos-PI/3_binary64_16556` `cos-PI/4_binary64_16555` `cos-PI/6_binary64_16554` `sin-+PI/2_binary64_16553` `sin-+PI_binary64_16552` `sin-PI_binary64_16551` `sin-PI/2_binary64_16550` `sin-PI/3_binary64_16549` `sin-PI/4_binary64_16548` `sin-PI/6_binary64_16547` `sub-1-sin_binary64_16546` `sub-1-cos_binary64_16545` `-1-add-sin_binary64_16544` `-1-add-cos_binary64_16543` `1-sub-sin_binary64_16542` `1-sub-cos_binary64_16541` `cos-sin-sum_binary64_16540` `log-E_binary64_16536` `log-pow_binary64_16535` `log-rec_binary64_16534` `log-div_binary64_16533` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow2_binary64_16511` `exp-to-pow_binary64_16508` `pow-base-1_binary64_16506` `unpow0_binary64_16505` `unpow1_binary64_16504` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-lft-sqr_binary64_16501` `exp-cbrt_binary64_16500` `exp-sqrt_binary64_16499` `div-exp_binary64_16497` `rec-exp_binary64_16496` `e-exp-1_binary64_16491` `exp-0_binary64_16488` `rem-log-exp_binary64_16487` `rem-exp-log_binary64_16486` `cube-div_binary64_16475` `rem-3cbrt-rft_binary64_16472` `rem-3cbrt-lft_binary64_16471` `rem-cbrt-cube_binary64_16470` `rem-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `rem-square-sqrt_binary64_16458` `/-rgt-identity_binary64_16437` `+-lft-identity_binary64_16430` `div0_binary64_16427` `*-inverses_binary64_16426` `+-inverses_binary64_16425` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `distribute-neg-frac_binary64_16410` `count-2_binary64_16394`

Counts

23 → 11

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	32	283
1	118	259
2	341	259
3	1086	259
4	2664	259
5	4129	259
6	5003	259

prune16.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	9	2	11
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	11	4	15

Error

0.0b

Counts

15 → 4

Compiler

Compiled 190 to 149 computations (21.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite446.0ms (6.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_16477`
23×	`add-sqr-sqrt_binary64_16468`
18×	`cbrt-div_binary64_16478`
15×	`add-cube-cbrt_binary64_16481` `*-un-lft-identity_binary64_16446`
11×	`pow1_binary64_16507`
9×	`pow1/3_binary64_16528` `flip3--_binary64_16450` `flip--_binary64_16421`
6×	`add-exp-log_binary64_16484` `swap-sqr_binary64_16413` `associate-l_binary64_16387` `associate-r_binary64_16386`
4×	`add-log-exp_binary64_16485` `add-cbrt-cube_binary64_16482` `frac-times_binary64_16456` `unswap-sqr_binary64_16414`
2×	`pow-prod-down_binary64_16517` `pow-prod-up_binary64_16516` `pow-sqr_binary64_16419` `associate-l/_binary64_16389` `associate-r/_binary64_16388`
1×	`pow2_binary64_16527` `pow-plus_binary64_16509` `prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `*-commutative_binary64_16377`

Counts

4 → 87

Calls

4 calls:

12.0ms	(.f64 (cbrt.f64 (-.f64 (.f64 3/2 x) (.f64 1/2 y))) (cbrt.f64 (-.f64 (.f64 3/2 x) (*.f64 1/2 y))))
4.0ms	(cbrt.f64 (-.f64 (.f64 3/2 x) (.f64 1/2 y)))
4.0ms	(cbrt.f64 (-.f64 (.f64 3/2 x) (.f64 1/2 y)))
4.0ms	(cbrt.f64 (-.f64 (.f64 3/2 x) (.f64 1/2 y)))

Compiler

Compiled 3392 to 2662 computations (21.5% saved)

series1.0s (15.1%)

Error

0.0b

Counts

4 → 53

Calls

4 calls:

309.0ms	(.f64 (cbrt.f64 (-.f64 (.f64 3/2 x) (.f64 1/2 y))) (cbrt.f64 (-.f64 (.f64 3/2 x) (*.f64 1/2 y))))
209.0ms	(cbrt.f64 (-.f64 (.f64 3/2 x) (.f64 1/2 y)))
202.0ms	(cbrt.f64 (-.f64 (.f64 3/2 x) (.f64 1/2 y)))
195.0ms	(cbrt.f64 (-.f64 (.f64 3/2 x) (.f64 1/2 y)))

Compiler

Compiled 5395 to 4654 computations (13.7% saved)

simplify157.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

585×	`times-frac_binary64_16452`
441×	`associate-/l*_binary64_16391`
211×	`cancel-sign-sub-inv_binary64_16412`
201×	`distribute-rgt-neg-in_binary64_16404`
194×	`distribute-lft-neg-in_binary64_16403`
159×	`associate-r_binary64_16386`
127×	`associate-/r/_binary64_16392`
115×	`exp-prod_binary64_16498`
113×	`associate-l_binary64_16387`
104×	`*-commutative_binary64_16377`
103×	`sub-neg_binary64_16439`
98×	`unswap-sqr_binary64_16414` `distribute-neg-frac_binary64_16410`
90×	`distribute-rgt-in_binary64_16396`
85×	`sqr-pow_binary64_16418`
76×	`neg-mul-1_binary64_16442` `neg-sub0_binary64_16441`
71×	`distribute-lft-in_binary64_16395`
45×	`+-commutative_binary64_16376`
37×	`distribute-neg-in_binary64_16407`
36×	`exp-sum_binary64_16492`
34×	`associate-/r*_binary64_16390`
32×	`associate-*r/_binary64_16388`
31×	`log-prod_binary64_16532`
25×	`distribute-rgt-out_binary64_16399`
24×	`distribute-lft-neg-out_binary64_16405`
23×	`unsub-neg_binary64_16440`
22×	`associate--r+_binary64_16382`
20×	`associate-*l/_binary64_16389`
19×	`exp-to-pow_binary64_16508`
17×	`unpow1/3_binary64_16513`
15×	`distribute-rgt-neg-out_binary64_16406`
13×	`cube-prod_binary64_16474`
12×	`pow-sqr_binary64_16419`
10×	`pow-plus_binary64_16509`
9×	`*-rgt-identity_binary64_16436` `associate-+l+_binary64_16379`
8×	`log-pow_binary64_16535` `unpow3_binary64_16512` `exp-lft-sqr_binary64_16501` `exp-diff_binary64_16494` `div-sub_binary64_16451` `*-lft-identity_binary64_16435` `associate-+r+_binary64_16378`
6×	`swap-sqr_binary64_16413` `distribute-lft-out_binary64_16397`
5×	`cube-unmult_binary64_16483` `difference-of-squares_binary64_16415`
4×	`log-div_binary64_16533` `unpow1/2_binary64_16510` `cube-mult_binary64_16476` `remove-double-neg_binary64_16434` `associate--r-_binary64_16385`
3×	`unpow2_binary64_16511` `unpow1_binary64_16504` `rem-sqrt-square_binary64_16459`
2×	`log-rec_binary64_16534` `rem-3cbrt-lft_binary64_16471` `count-2_binary64_16394`
1×	`1-exp_binary64_16490` `exp-1-e_binary64_16489` `rem-3cbrt-rft_binary64_16472` `rem-square-sqrt_binary64_16458` `associate--l+_binary64_16383`
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_16709` `erf-erfc_binary64_16708` `erf-odd_binary64_16707` `if-if-and-not_binary64_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `not-gte_binary64_16698` `not-lte_binary64_16697` `not-gt_binary64_16696` `not-lt_binary64_16695` `gte-same_binary64_16694` `lte-same_binary64_16693` `gt-same_binary64_16692` `lt-same_binary64_16691` `sinh---cosh_binary64_16638` `sinh-+-cosh_binary64_16637` `sinh-cosh_binary64_16636` `tanh-def-c_binary64_16635` `tanh-def-b_binary64_16634` `tanh-def-a_binary64_16633` `cosh-def_binary64_16632` `sinh-def_binary64_16631` `tan-neg_binary64_16578` `cos-neg_binary64_16577` `sin-neg_binary64_16576` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `hang-m-tan_binary64_16572` `hang-p-tan_binary64_16571` `hang-m0-tan_binary64_16570` `hang-p0-tan_binary64_16569` `hang-0m-tan_binary64_16568` `hang-0p-tan_binary64_16567` `tan-+PI/2_binary64_16566` `tan-+PI_binary64_16565` `tan-PI_binary64_16564` `tan-PI/3_binary64_16563` `tan-PI/4_binary64_16562` `tan-PI/6_binary64_16561` `cos-+PI/2_binary64_16560` `cos-+PI_binary64_16559` `cos-PI_binary64_16558` `cos-PI/2_binary64_16557` `cos-PI/3_binary64_16556` `cos-PI/4_binary64_16555` `cos-PI/6_binary64_16554` `sin-+PI/2_binary64_16553` `sin-+PI_binary64_16552` `sin-PI_binary64_16551` `sin-PI/2_binary64_16550` `sin-PI/3_binary64_16549` `sin-PI/4_binary64_16548` `sin-PI/6_binary64_16547` `sub-1-sin_binary64_16546` `sub-1-cos_binary64_16545` `-1-add-sin_binary64_16544` `-1-add-cos_binary64_16543` `1-sub-sin_binary64_16542` `1-sub-cos_binary64_16541` `cos-sin-sum_binary64_16540` `log-E_binary64_16536` `pow-base-0_binary64_16530` `pow-base-1_binary64_16506` `unpow0_binary64_16505` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-cbrt_binary64_16500` `exp-sqrt_binary64_16499` `div-exp_binary64_16497` `rec-exp_binary64_16496` `prod-exp_binary64_16495` `exp-neg_binary64_16493` `e-exp-1_binary64_16491` `exp-0_binary64_16488` `rem-log-exp_binary64_16487` `rem-exp-log_binary64_16486` `cube-div_binary64_16475` `cube-neg_binary64_16473` `rem-cbrt-cube_binary64_16470` `rem-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `mul-1-neg_binary64_16438` `/-rgt-identity_binary64_16437` `sub0-neg_binary64_16433` `--rgt-identity_binary64_16432` `+-rgt-identity_binary64_16431` `+-lft-identity_binary64_16430` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `div0_binary64_16427` `*-inverses_binary64_16426` `+-inverses_binary64_16425` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `cancel-sign-sub_binary64_16411` `distribute-frac-neg_binary64_16409` `distribute-neg-out_binary64_16408` `distribute-rgt1-in_binary64_16402` `distribute-lft1-in_binary64_16401` `distribute-rgt-out--_binary64_16400` `distribute-lft-out--_binary64_16398` `associate-/l/_binary64_16393` `associate--l-_binary64_16384` `associate-+l-_binary64_16381` `associate-+r-_binary64_16380`

Counts

140 → 127

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	231	4583
1	592	4388
2	1782	4106
3	4860	4022
4	4959	4022

prune318.0ms (4.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	125	6	131

Error

0.0b

Counts

131 → 6

Compiler

Compiled 4706 to 3674 computations (21.9% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))
0.5b	(cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))
0.5b	(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))) 6))
1.2b	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))) 6)

rewrite275.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

37×	`cbrt-prod_binary64_16477`
18×	`unpow-prod-down_binary64_16525`
14×	`add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446`
5×	`pow1_binary64_16507` `add-exp-log_binary64_16484`
4×	`pow1/3_binary64_16528` `add-log-exp_binary64_16485` `add-cbrt-cube_binary64_16482` `cbrt-div_binary64_16478`
3×	`pow-unpow_binary64_16523`
2×	`pow-pow_binary64_16518` `sqr-pow_binary64_16418` `flip3-+_binary64_16449` `flip-+_binary64_16420`
1×	`pow-to-exp_binary64_16515` `pow-exp_binary64_16514`

Counts

4 → 71

Calls

4 calls:

9.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))) 6)
7.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))) 6))
4.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))
4.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))

Compiler

Compiled 3640 to 2956 computations (18.8% saved)

series1.8s (25.7%)

Error

0.0b

Counts

4 → 53

Calls

4 calls:

826.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))) 6)
329.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))) 6))
224.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))
215.0ms	(cbrt.f64 (+.f64 (.f64 -1/2 y) (.f64 3/2 x)))

Compiler

Compiled 7542 to 6475 computations (14.1% saved)

simplify124.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

821×	`times-frac_binary64_16452`
287×	`unswap-sqr_binary64_16414`
208×	`associate-r_binary64_16386`
178×	`sqr-pow_binary64_16418`
148×	`associate-l_binary64_16387`
139×	`*-commutative_binary64_16377`
135×	`sub-neg_binary64_16439`
100×	`neg-mul-1_binary64_16442` `neg-sub0_binary64_16441`
77×	`cancel-sign-sub-inv_binary64_16412` `associate-/l*_binary64_16391`
59×	`exp-prod_binary64_16498`
57×	`+-commutative_binary64_16376`
56×	`associate-*r/_binary64_16388`
52×	`distribute-rgt-neg-in_binary64_16404`
50×	`distribute-lft-neg-in_binary64_16403`
44×	`exp-sum_binary64_16492` `associate-/r*_binary64_16390`
38×	`log-prod_binary64_16532`
35×	`associate-*l/_binary64_16389`
31×	`pow-sqr_binary64_16419`
30×	`associate--r+_binary64_16382`
28×	`unsub-neg_binary64_16440`
27×	`cube-prod_binary64_16474`
22×	`distribute-neg-in_binary64_16407`
18×	`unpow3_binary64_16512` `cube-mult_binary64_16476`
17×	`associate-/r/_binary64_16392`
16×	`log-pow_binary64_16535`
14×	`unpow1/3_binary64_16513`
13×	`distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395`
10×	`distribute-neg-frac_binary64_16410`
9×	`associate-+l+_binary64_16379`
8×	`exp-diff_binary64_16494` `rem-cube-cbrt_binary64_16469` `rem-sqrt-square_binary64_16459` `div-sub_binary64_16451` `associate-+r+_binary64_16378`
7×	`pow-plus_binary64_16509`
6×	`cube-unmult_binary64_16483` `swap-sqr_binary64_16413`
5×	`distribute-rgt-out_binary64_16399`
4×	`log-div_binary64_16533` `unpow1/2_binary64_16510` `unpow1_binary64_16504` `prod-exp_binary64_16495` `remove-double-neg_binary64_16434` `distribute-rgt-neg-out_binary64_16406` `distribute-lft-neg-out_binary64_16405` `distribute-rgt-out--_binary64_16400` `associate--r-_binary64_16385` `associate--l+_binary64_16383`
3×	`unpow2_binary64_16511`
2×	`log-rec_binary64_16534` `rem-3cbrt-lft_binary64_16471` `rem-cbrt-cube_binary64_16470`
1×	`1-exp_binary64_16490` `sqr-abs_binary64_16461` `difference-of-squares_binary64_16415` `associate-+l-_binary64_16381` `associate-+r-_binary64_16380`
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_16709` `erf-erfc_binary64_16708` `erf-odd_binary64_16707` `if-if-and-not_binary64_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `not-gte_binary64_16698` `not-lte_binary64_16697` `not-gt_binary64_16696` `not-lt_binary64_16695` `gte-same_binary64_16694` `lte-same_binary64_16693` `gt-same_binary64_16692` `lt-same_binary64_16691` `sinh---cosh_binary64_16638` `sinh-+-cosh_binary64_16637` `sinh-cosh_binary64_16636` `tanh-def-c_binary64_16635` `tanh-def-b_binary64_16634` `tanh-def-a_binary64_16633` `cosh-def_binary64_16632` `sinh-def_binary64_16631` `tan-neg_binary64_16578` `cos-neg_binary64_16577` `sin-neg_binary64_16576` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `hang-m-tan_binary64_16572` `hang-p-tan_binary64_16571` `hang-m0-tan_binary64_16570` `hang-p0-tan_binary64_16569` `hang-0m-tan_binary64_16568` `hang-0p-tan_binary64_16567` `tan-+PI/2_binary64_16566` `tan-+PI_binary64_16565` `tan-PI_binary64_16564` `tan-PI/3_binary64_16563` `tan-PI/4_binary64_16562` `tan-PI/6_binary64_16561` `cos-+PI/2_binary64_16560` `cos-+PI_binary64_16559` `cos-PI_binary64_16558` `cos-PI/2_binary64_16557` `cos-PI/3_binary64_16556` `cos-PI/4_binary64_16555` `cos-PI/6_binary64_16554` `sin-+PI/2_binary64_16553` `sin-+PI_binary64_16552` `sin-PI_binary64_16551` `sin-PI/2_binary64_16550` `sin-PI/3_binary64_16549` `sin-PI/4_binary64_16548` `sin-PI/6_binary64_16547` `sub-1-sin_binary64_16546` `sub-1-cos_binary64_16545` `-1-add-sin_binary64_16544` `-1-add-cos_binary64_16543` `1-sub-sin_binary64_16542` `1-sub-cos_binary64_16541` `cos-sin-sum_binary64_16540` `log-E_binary64_16536` `pow-base-0_binary64_16530` `exp-to-pow_binary64_16508` `pow-base-1_binary64_16506` `unpow0_binary64_16505` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-lft-sqr_binary64_16501` `exp-cbrt_binary64_16500` `exp-sqrt_binary64_16499` `div-exp_binary64_16497` `rec-exp_binary64_16496` `exp-neg_binary64_16493` `e-exp-1_binary64_16491` `exp-1-e_binary64_16489` `exp-0_binary64_16488` `rem-log-exp_binary64_16487` `rem-exp-log_binary64_16486` `cube-div_binary64_16475` `cube-neg_binary64_16473` `rem-3cbrt-rft_binary64_16472` `sqr-neg_binary64_16460` `rem-square-sqrt_binary64_16458` `mul-1-neg_binary64_16438` `/-rgt-identity_binary64_16437` `-rgt-identity_binary64_16436` `-lft-identity_binary64_16435` `sub0-neg_binary64_16433` `--rgt-identity_binary64_16432` `+-rgt-identity_binary64_16431` `+-lft-identity_binary64_16430` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `div0_binary64_16427` `*-inverses_binary64_16426` `+-inverses_binary64_16425` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `cancel-sign-sub_binary64_16411` `distribute-frac-neg_binary64_16409` `distribute-neg-out_binary64_16408` `distribute-rgt1-in_binary64_16402` `distribute-lft1-in_binary64_16401` `distribute-lft-out--_binary64_16398` `distribute-lft-out_binary64_16397` `count-2_binary64_16394` `associate-/l/_binary64_16393` `associate--l-_binary64_16384`

Counts

124 → 108

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	309	4119
1	811	3876
2	2569	3761
3	4992	3761

prune408.0ms (5.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	107	7	114

Error

0.0b

Counts

114 → 7

Compiler

Compiled 5601 to 4498 computations (19.7% saved)

regimes299.0ms (4.3%)

Accuracy

Total 0.1b remaining (73.4%)

Threshold costs 0.1b (73.4%)

Compiler

Compiled 2951 to 2433 computations (17.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64_16376`
3×	`sub-neg_binary64_16439`
2×	`neg-mul-1_binary64_16442` `neg-sub0_binary64_16441` `*-commutative_binary64_16377`
1×	`distribute-neg-frac_binary64_16410`
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_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `unpow1_binary64_16504` `e-exp-1_binary64_16491` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `exp-0_binary64_16488` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `unsub-neg_binary64_16440` `mul-1-neg_binary64_16438` `/-rgt-identity_binary64_16437` `-rgt-identity_binary64_16436` `-lft-identity_binary64_16435` `remove-double-neg_binary64_16434` `sub0-neg_binary64_16433` `--rgt-identity_binary64_16432` `+-rgt-identity_binary64_16431` `+-lft-identity_binary64_16430` `cancel-sign-sub-inv_binary64_16412` `cancel-sign-sub_binary64_16411` `distribute-frac-neg_binary64_16409` `distribute-neg-out_binary64_16408` `distribute-neg-in_binary64_16407` `distribute-rgt-neg-out_binary64_16406` `distribute-lft-neg-out_binary64_16405` `distribute-rgt-neg-in_binary64_16404` `distribute-lft-neg-in_binary64_16403`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	11	13
2	18	13
3	22	13
4	25	13
5	26	13
6	26	13

end0.0ms (0%)

sample1.4s (19.4%)

Algorithm

1×

intervals

Results

181.0ms	7422×	body	128	valid
17.0ms	175×	body	2048	valid
16.0ms	206×	body	1024	valid
8.0ms	132×	body	512	valid
3.0ms	65×	body	256	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 966 to 802 computations (17% saved)

Iter	Nodes	Cost
0	10	20
1	20	20
2	40	20
3	72	20
4	133	20
5	222	20
6	360	20
7	420	20
8	464	20
9	472	20
10	412	20
0	2	2
1	2	2

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	75	10
5	134	10
6	206	10
7	276	10
8	330	10
9	365	10
10	370	10
11	310	10

Iter	Nodes	Cost
0	10	20
1	20	20
2	40	20
3	72	20
4	133	20
5	222	20
6	360	20
7	420	20
8	464	20
9	472	20
10	412	20
0	2	2
1	2	2

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	75	10
5	134	10
6	206	10
7	276	10
8	330	10
9	365	10
10	370	10
11	310	10

Details

analyze202.0ms (2.9%)

sample16.0ms (0.2%)

simplify22.0ms (0.3%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite30.0ms (0.4%)

series119.0ms (1.7%)

simplify72.0ms (1%)

prune14.0ms (0.2%)

localize5.0ms (0.1%)

rewrite17.0ms (0.3%)

series114.0ms (1.6%)

simplify79.0ms (1.1%)

prune16.0ms (0.2%)

localize11.0ms (0.2%)

rewrite446.0ms (6.4%)

series1.0s (15.1%)

simplify157.0ms (2.3%)

prune318.0ms (4.6%)

localize19.0ms (0.3%)

rewrite275.0ms (3.9%)

series1.8s (25.7%)

simplify124.0ms (1.8%)

prune408.0ms (5.9%)

regimes299.0ms (4.3%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.4s (19.4%)

Profiling

Iter	Nodes	Cost
0	10	20
1	20	20
2	40	20
3	72	20
4	133	20
5	222	20
6	360	20
7	420	20
8	464	20
9	472	20
10	412	20
0	2	2
1	2	2

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	75	10
5	134	10
6	206	10
7	276	10
8	330	10
9	365	10
10	370	10
11	310	10