Details

analyze197.0ms (4.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

4×	`associate-/r*_binary64_16390`
2×	`*-commutative_binary64_16377`
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` `1-exp_binary64_16490` `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` `div-sub_binary64_16451` `neg-mul-1_binary64_16442` `neg-sub0_binary64_16441` `unsub-neg_binary64_16440` `sub-neg_binary64_16439` `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` `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-inv_binary64_16412` `cancel-sign-sub_binary64_16411` `distribute-neg-frac_binary64_16410` `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` `distribute-rgt1-in_binary64_16402` `distribute-lft1-in_binary64_16401` `distribute-rgt-out--_binary64_16400` `distribute-rgt-out_binary64_16399` `distribute-lft-out--_binary64_16398` `distribute-lft-out_binary64_16397` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `count-2_binary64_16394` `associate-/l/_binary64_16393` `associate-/r/_binary64_16392` `associate-/l_binary64_16391` `associate-l/_binary64_16389` `associate-r/_binary64_16388` `associate-l_binary64_16387` `associate-r_binary64_16386` `associate--r-_binary64_16385` `associate--l-_binary64_16384` `associate--l+_binary64_16383` `associate--r+_binary64_16382` `associate-+l-_binary64_16381` `associate-+r-_binary64_16380` `associate-+l+_binary64_16379` `associate-+r+_binary64_16378` `+-commutative_binary64_16376`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	18	14
3	18	14
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
50%	50%	0.1%	5
56.2%	43.7%	0.1%	6
71.8%	28.1%	0.1%	7
73.4%	25%	1.7%	8
80.4%	16.4%	3.2%	9
80.8%	14%	5.2%	10
84.1%	8.8%	7.1%	11
84.2%	7.4%	8.4%	12
85.8%	4.5%	9.7%	13
85.8%	3.8%	10.4%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample13.0ms (0.3%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	10×	body	128	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64_16390`
1×	`*-commutative_binary64_16377`
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` `1-exp_binary64_16490` `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` `div-sub_binary64_16451` `neg-mul-1_binary64_16442` `neg-sub0_binary64_16441` `unsub-neg_binary64_16440` `sub-neg_binary64_16439` `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` `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-inv_binary64_16412` `cancel-sign-sub_binary64_16411` `distribute-neg-frac_binary64_16410` `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` `distribute-rgt1-in_binary64_16402` `distribute-lft1-in_binary64_16401` `distribute-rgt-out--_binary64_16400` `distribute-rgt-out_binary64_16399` `distribute-lft-out--_binary64_16398` `distribute-lft-out_binary64_16397` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `count-2_binary64_16394` `associate-/l/_binary64_16393` `associate-/r/_binary64_16392` `associate-/l_binary64_16391` `associate-l/_binary64_16389` `associate-r/_binary64_16388` `associate-l_binary64_16387` `associate-r_binary64_16386` `associate--r-_binary64_16385` `associate--l-_binary64_16384` `associate--l+_binary64_16383` `associate--r+_binary64_16382` `associate-+l-_binary64_16381` `associate-+r-_binary64_16380` `associate-+l+_binary64_16379` `associate-+r+_binary64_16378` `+-commutative_binary64_16376`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	11	7
3	11	7

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.2b

Counts

1 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(/.f64 x (*.f64 y 3))

rewrite29.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
3×	`add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `times-frac_binary64_16452` `-un-lft-identity_binary64_16446` `associate-/l_binary64_16391`
2×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480`
1×	`pow1_binary64_16507` `prod-exp_binary64_16495` `add-log-exp_binary64_16485` `cbrt-unprod_binary64_16479` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `div-inv_binary64_16443` `associate-/r*_binary64_16390`

Counts

1 → 21

Calls

1 calls:

5.0ms

(/.f64 x (*.f64 y 3))

Compiler

Compiled 214 to 138 computations (35.5% saved)

series76.0ms (1.9%)

Error

0.1b

Counts

1 → 6

Calls

1 calls:

72.0ms

(/.f64 x (*.f64 y 3))

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify136.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

792×	`associate-/r/_binary64_16392`
735×	`div-sub_binary64_16451`
652×	`associate-/l*_binary64_16391`
613×	`*-commutative_binary64_16377`
418×	`sub-neg_binary64_16439`
385×	`associate-/r*_binary64_16390`
347×	`associate-*l/_binary64_16389`
316×	`sqr-pow_binary64_16418`
254×	`distribute-rgt-in_binary64_16396`
189×	`times-frac_binary64_16452`
176×	`associate-*r/_binary64_16388`
159×	`pow-sqr_binary64_16419`
149×	`+-commutative_binary64_16376`
139×	`unsub-neg_binary64_16440`
122×	`cancel-sign-sub-inv_binary64_16412`
119×	`associate-l_binary64_16387`
114×	`div0_binary64_16427` `distribute-neg-in_binary64_16407`
112×	`associate-r_binary64_16386`
104×	`associate--l-_binary64_16384`
91×	`associate--r+_binary64_16382`
87×	`distribute-lft-in_binary64_16395`
83×	`associate--l+_binary64_16383`
80×	`mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `associate-/l/_binary64_16393`
73×	`associate-+r+_binary64_16378`
61×	`associate-+l-_binary64_16381`
51×	`neg-mul-1_binary64_16442` `associate--r-_binary64_16385`
49×	`unswap-sqr_binary64_16414`
45×	`neg-sub0_binary64_16441`
37×	`distribute-rgt-neg-in_binary64_16404`
35×	`associate-+r-_binary64_16380`
25×	`distribute-lft-neg-in_binary64_16403`
19×	`distribute-lft-neg-out_binary64_16405`
17×	`--rgt-identity_binary64_16432`
16×	`swap-sqr_binary64_16413` `distribute-neg-out_binary64_16408`
15×	`log-div_binary64_16533` `remove-double-neg_binary64_16434` `associate-+l+_binary64_16379`
14×	`sub0-neg_binary64_16433`
13×	`cube-div_binary64_16475`
12×	`log-prod_binary64_16532` `distribute-rgt-out--_binary64_16400` `distribute-lft-out--_binary64_16398`
11×	`cube-prod_binary64_16474`
10×	`exp-sum_binary64_16492` `distribute-rgt-neg-out_binary64_16406`
9×	`distribute-rgt-out_binary64_16399`
8×	`unpow3_binary64_16512` `exp-prod_binary64_16498` `distribute-lft-out_binary64_16397`
7×	`cube-mult_binary64_16476` `rem-sqrt-square_binary64_16459` `+-lft-identity_binary64_16430`
5×	`+-rgt-identity_binary64_16431`
4×	`exp-diff_binary64_16494` `cube-unmult_binary64_16483` `*-lft-identity_binary64_16435`
3×	`exp-cbrt_binary64_16500`
2×	`log-rec_binary64_16534`
1×	`unpow1/2_binary64_16510` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `*-rgt-identity_binary64_16436` `distribute-rgt1-in_binary64_16402` `distribute-lft1-in_binary64_16401` `count-2_binary64_16394`
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` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow2_binary64_16511` `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-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-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-square-sqrt_binary64_16458` `mul-1-neg_binary64_16438` `/-rgt-identity_binary64_16437` `*-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` `difference-of-squares_binary64_16415` `cancel-sign-sub_binary64_16411` `distribute-neg-frac_binary64_16410` `distribute-frac-neg_binary64_16409`

Counts

27 → 15

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	52	287
1	112	238
2	321	238
3	993	238
4	1815	238
5	1939	238
6	2441	238
7	2958	238
8	3224	238
9	3339	238
10	3788	238
11	4085	238
12	4786	238
13	4849	238

prune19.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	10	5	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	10	6	16

Error

0.0b

Counts

16 → 6

Compiler

Compiled 176 to 116 computations (34.1% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 1 (/.f64 y (/.f64 x 3)))
0.2b	(/.f64 y (/.f64 x 3))

rewrite420.0ms (10.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

471×	`times-frac_binary64_16452`
229×	`add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446`
57×	`associate-/r*_binary64_16390`
28×	`add-exp-log_binary64_16484`
22×	`div-inv_binary64_16443`
18×	`div-exp_binary64_16497`
16×	`add-cbrt-cube_binary64_16482`
9×	`cbrt-undiv_binary64_16480`
6×	`associate-/r/_binary64_16392` `associate-/l*_binary64_16391`
3×	`pow1_binary64_16507` `1-exp_binary64_16490` `rec-exp_binary64_16496`
2×	`add-log-exp_binary64_16485` `frac-2neg_binary64_16457` `clear-num_binary64_16445`
1×	`inv-pow_binary64_16531` `pow-flip_binary64_16520`

Counts

2 → 274

Calls

2 calls:

14.0ms	(/.f64 1 (/.f64 y (/.f64 x 3)))
6.0ms	(/.f64 y (/.f64 x 3))

Compiler

Compiled 5275 to 3566 computations (32.4% saved)

series180.0ms (4.5%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

88.0ms	(/.f64 y (/.f64 x 3))
85.0ms	(/.f64 1 (/.f64 y (/.f64 x 3)))

Compiler

Compiled 216 to 184 computations (14.8% saved)

simplify375.0ms (9.4%)

Algorithm

1×	egg-herbie

Rules

414×	`associate-/r/_binary64_16392`
382×	`unsub-neg_binary64_16440`
381×	`distribute-neg-in_binary64_16407`
324×	`distribute-rgt-in_binary64_16396`
263×	`associate-*l/_binary64_16389`
259×	`associate-/l/_binary64_16393`
237×	`sub-neg_binary64_16439`
226×	`distribute-lft-in_binary64_16395`
219×	`*-commutative_binary64_16377`
212×	`associate-*r/_binary64_16388`
183×	`cancel-sign-sub-inv_binary64_16412`
174×	`neg-mul-1_binary64_16442`
167×	`neg-sub0_binary64_16441`
157×	`associate-+r+_binary64_16378`
148×	`associate-/r*_binary64_16390`
143×	`associate-/l*_binary64_16391`
124×	`sqr-pow_binary64_16418`
120×	`associate--r+_binary64_16382`
107×	`associate--r-_binary64_16385`
105×	`associate-+r-_binary64_16380`
104×	`div-sub_binary64_16451`
98×	`*-rgt-identity_binary64_16436`
77×	`associate-r_binary64_16386`
74×	`associate-+l+_binary64_16379`
70×	`times-frac_binary64_16452`
56×	`*-lft-identity_binary64_16435` `unswap-sqr_binary64_16414`
52×	`associate--l+_binary64_16383`
48×	`associate-+l-_binary64_16381`
43×	`associate-l_binary64_16387`
39×	`cube-prod_binary64_16474`
38×	`+-commutative_binary64_16376`
33×	`pow-sqr_binary64_16419`
31×	`associate--l-_binary64_16384`
29×	`exp-prod_binary64_16498`
28×	`log-prod_binary64_16532` `swap-sqr_binary64_16413` `distribute-neg-out_binary64_16408`
27×	`log-div_binary64_16533`
26×	`distribute-rgt-neg-in_binary64_16404`
24×	`cube-div_binary64_16475`
23×	`rem-sqrt-square_binary64_16459`
21×	`distribute-lft-neg-in_binary64_16403`
20×	`remove-double-div_binary64_16422`
19×	`sub0-neg_binary64_16433`
18×	`unpow3_binary64_16512`
17×	`+-rgt-identity_binary64_16431` `+-lft-identity_binary64_16430`
15×	`distribute-neg-frac_binary64_16410` `distribute-lft-neg-out_binary64_16405`
11×	`/-rgt-identity_binary64_16437`
10×	`cube-mult_binary64_16476` `--rgt-identity_binary64_16432`
9×	`cube-unmult_binary64_16483` `remove-double-neg_binary64_16434` `distribute-rgt-out_binary64_16399` `distribute-lft-out_binary64_16397`
8×	`log-rec_binary64_16534`
7×	`unpow1/2_binary64_16510`
6×	`prod-exp_binary64_16495`
5×	`exp-diff_binary64_16494`
4×	`pow-plus_binary64_16509` `distribute-rgt-neg-out_binary64_16406` `distribute-rgt1-in_binary64_16402`
3×	`exp-sum_binary64_16492` `distribute-lft1-in_binary64_16401`
2×	`exp-lft-cube_binary64_16502` `exp-cbrt_binary64_16500` `div0_binary64_16427` `distribute-rgt-out--_binary64_16400` `distribute-lft-out--_binary64_16398`
1×	`1-exp_binary64_16490` `exp-1-e_binary64_16489` `mul-1-neg_binary64_16438` `+-inverses_binary64_16425` `count-2_binary64_16394`
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` `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-sqr_binary64_16501` `exp-sqrt_binary64_16499` `div-exp_binary64_16497` `rec-exp_binary64_16496` `exp-neg_binary64_16493` `e-exp-1_binary64_16491` `exp-0_binary64_16488` `rem-log-exp_binary64_16487` `rem-exp-log_binary64_16486` `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-square-sqrt_binary64_16458` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `*-inverses_binary64_16426` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `difference-of-squares_binary64_16415` `cancel-sign-sub_binary64_16411` `distribute-frac-neg_binary64_16409`

Counts

286 → 234

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	336	6178
1	741	5694
2	2660	5609
3	2768	5609
4	3710	5609
5	4207	5609
6	4704	5609
7	4997	5609
8	4907	5609

prune240.0ms (6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	231	3	234
Fresh	4	0	4
Picked	0	1	1
Done	0	1	1
Total	235	5	240

Error

Counts

240 → 5

Compiler

Compiled 3543 to 2086 computations (41.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(/.f64 (/.f64 x y) 3)

rewrite69.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`times-frac_binary64_16452`
43×	`add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446`
13×	`associate-/l*_binary64_16391`
6×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
5×	`div-inv_binary64_16443`
3×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `associate-/r*_binary64_16390`
1×	`pow1_binary64_16507` `add-log-exp_binary64_16485` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `associate-/l/_binary64_16393`

Counts

1 → 70

Calls

1 calls:

6.0ms

(/.f64 (/.f64 x y) 3)

Compiler

Compiled 1011 to 514 computations (49.2% saved)

series87.0ms (2.2%)

Error

Counts

1 → 6

Calls

1 calls:

84.0ms

(/.f64 (/.f64 x y) 3)

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify146.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

497×	`unsub-neg_binary64_16440`
395×	`associate-*l/_binary64_16389`
383×	`associate-/r/_binary64_16392`
354×	`sub-neg_binary64_16439`
340×	`cancel-sign-sub-inv_binary64_16412`
339×	`distribute-neg-in_binary64_16407`
295×	`div-sub_binary64_16451` `associate-/l/_binary64_16393`
291×	`associate-l_binary64_16387`
267×	`associate-*r/_binary64_16388`
239×	`associate-/r*_binary64_16390`
206×	`associate--l-_binary64_16384`
198×	`times-frac_binary64_16452`
191×	`associate-/l*_binary64_16391`
188×	`associate-r_binary64_16386`
175×	`distribute-rgt-in_binary64_16396`
160×	`*-commutative_binary64_16377`
150×	`associate--l+_binary64_16383`
141×	`associate-+l-_binary64_16381`
125×	`neg-mul-1_binary64_16442`
121×	`neg-sub0_binary64_16441`
112×	`+-commutative_binary64_16376`
98×	`sqr-pow_binary64_16418`
93×	`distribute-lft-in_binary64_16395`
88×	`associate-+l+_binary64_16379`
77×	`distribute-neg-out_binary64_16408`
69×	`associate--r-_binary64_16385`
66×	`associate--r+_binary64_16382`
44×	`*-rgt-identity_binary64_16436`
42×	`mul0-rgt_binary64_16429` `mul0-lft_binary64_16428`
40×	`swap-sqr_binary64_16413`
38×	`associate-+r+_binary64_16378`
36×	`log-div_binary64_16533`
35×	`cube-prod_binary64_16474`
34×	`*-lft-identity_binary64_16435`
32×	`cube-div_binary64_16475`
31×	`log-prod_binary64_16532`
30×	`/-rgt-identity_binary64_16437` `associate-+r-_binary64_16380`
24×	`exp-prod_binary64_16498` `div0_binary64_16427`
20×	`distribute-rgt-neg-in_binary64_16404`
19×	`pow-sqr_binary64_16419`
18×	`unswap-sqr_binary64_16414`
17×	`distribute-lft-neg-in_binary64_16403`
16×	`+-rgt-identity_binary64_16431`
11×	`distribute-rgt-out_binary64_16399`
10×	`sub0-neg_binary64_16433` `--rgt-identity_binary64_16432`
9×	`unpow3_binary64_16512` `cube-mult_binary64_16476`
8×	`remove-double-neg_binary64_16434` `distribute-rgt-out--_binary64_16400` `distribute-lft-out--_binary64_16398`
6×	`distribute-lft-out_binary64_16397`
5×	`exp-cbrt_binary64_16500` `exp-sum_binary64_16492` `rem-sqrt-square_binary64_16459` `+-lft-identity_binary64_16430` `distribute-neg-frac_binary64_16410`
4×	`log-rec_binary64_16534` `exp-diff_binary64_16494` `cube-unmult_binary64_16483` `distribute-lft-neg-out_binary64_16405`
3×	`unpow1/2_binary64_16510` `distribute-rgt-neg-out_binary64_16406` `distribute-rgt1-in_binary64_16402` `distribute-lft1-in_binary64_16401`
1×	`1-exp_binary64_16490` `exp-1-e_binary64_16489` `+-inverses_binary64_16425` `count-2_binary64_16394`
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` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow2_binary64_16511` `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-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-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-square-sqrt_binary64_16458` `mul-1-neg_binary64_16438` `*-inverses_binary64_16426` `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` `difference-of-squares_binary64_16415` `cancel-sign-sub_binary64_16411` `distribute-frac-neg_binary64_16409`

Counts

76 → 34

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	152	1274
1	320	1226
2	715	1226
3	1546	1226
4	2784	1226
5	3401	1226
6	4012	1226
7	4646	1226
8	4990	1226

prune27.0ms (0.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	34	0	34
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	34	5	39

Error

Counts

39 → 5

Compiler

Compiled 387 to 212 computations (45.2% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))

rewrite70.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`add-sqr-sqrt_binary64_16468`
25×	`times-frac_binary64_16452`
23×	`add-exp-log_binary64_16484`
17×	`*-un-lft-identity_binary64_16446`
15×	`add-cube-cbrt_binary64_16481`
13×	`add-cbrt-cube_binary64_16482` `associate-l_binary64_16387` `associate-r_binary64_16386`
8×	`div-exp_binary64_16497` `prod-exp_binary64_16495`
6×	`unswap-sqr_binary64_16414`
4×	`cbrt-unprod_binary64_16479` `cbrt-undiv_binary64_16480`
3×	`pow1_binary64_16507`
2×	`1-exp_binary64_16490` `rec-exp_binary64_16496` `div-inv_binary64_16443`
1×	`pow-prod-down_binary64_16517` `add-log-exp_binary64_16485` `frac-times_binary64_16456` `associate-l/_binary64_16389` `associate-r/_binary64_16388` `*-commutative_binary64_16377`

Counts

1 → 56

Calls

1 calls:

12.0ms

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

Compiler

Compiled 824 to 595 computations (27.8% saved)

series88.0ms (2.2%)

Error

Counts

1 → 6

Calls

1 calls:

85.0ms

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

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify120.0ms (3%)

Algorithm

1×	egg-herbie

Rules

634×	`unsub-neg_binary64_16440`
405×	`sub-neg_binary64_16439`
379×	`cancel-sign-sub-inv_binary64_16412`
375×	`associate--r-_binary64_16385`
327×	`distribute-neg-in_binary64_16407`
318×	`associate-*l/_binary64_16389`
314×	`*-commutative_binary64_16377`
289×	`associate-/l*_binary64_16391`
244×	`associate-*r/_binary64_16388`
235×	`associate-l_binary64_16387`
211×	`associate--l+_binary64_16383`
204×	`sqr-pow_binary64_16418`
193×	`+-commutative_binary64_16376`
187×	`associate-r_binary64_16386`
178×	`associate-+l-_binary64_16381`
172×	`associate-/l/_binary64_16393`
158×	`neg-sub0_binary64_16441`
153×	`neg-mul-1_binary64_16442`
147×	`distribute-rgt-in_binary64_16396`
119×	`times-frac_binary64_16452`
92×	`associate--l-_binary64_16384`
82×	`associate-/r/_binary64_16392`
77×	`associate-/r*_binary64_16390`
75×	`pow-sqr_binary64_16419` `associate-+r+_binary64_16378`
70×	`distribute-lft-in_binary64_16395`
64×	`unswap-sqr_binary64_16414`
60×	`associate-+r-_binary64_16380`
55×	`associate--r+_binary64_16382`
54×	`cancel-sign-sub_binary64_16411` `associate-+l+_binary64_16379`
52×	`*-lft-identity_binary64_16435`
51×	`rem-sqrt-square_binary64_16459`
35×	`distribute-rgt-neg-in_binary64_16404`
34×	`log-div_binary64_16533`
33×	`*-rgt-identity_binary64_16436`
32×	`cube-div_binary64_16475`
30×	`swap-sqr_binary64_16413`
28×	`distribute-lft-neg-out_binary64_16405`
26×	`exp-prod_binary64_16498`
25×	`log-prod_binary64_16532` `distribute-lft-neg-in_binary64_16403`
23×	`distribute-lft-out--_binary64_16398`
18×	`cube-prod_binary64_16474` `--rgt-identity_binary64_16432`
14×	`distribute-neg-out_binary64_16408` `distribute-rgt-out--_binary64_16400`
13×	`/-rgt-identity_binary64_16437` `remove-double-neg_binary64_16434`
11×	`unpow3_binary64_16512` `cube-mult_binary64_16476` `distribute-rgt-neg-out_binary64_16406`
10×	`log-rec_binary64_16534` `remove-double-div_binary64_16422`
9×	`mul-1-neg_binary64_16438` `distribute-lft-out_binary64_16397`
8×	`distribute-rgt-out_binary64_16399`
7×	`+-rgt-identity_binary64_16431`
6×	`unpow1/2_binary64_16510` `sub0-neg_binary64_16433`
5×	`cube-unmult_binary64_16483` `+-lft-identity_binary64_16430`
4×	`distribute-rgt1-in_binary64_16402`
3×	`exp-cbrt_binary64_16500`
2×	`+-inverses_binary64_16425` `distribute-lft1-in_binary64_16401`
1×	`unpow1/3_binary64_16513` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `count-2_binary64_16394`
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` `pow-base-0_binary64_16530` `unpow2_binary64_16511` `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-sqrt_binary64_16499` `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-0_binary64_16488` `rem-log-exp_binary64_16487` `rem-exp-log_binary64_16486` `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-square-sqrt_binary64_16458` `div-sub_binary64_16451` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `div0_binary64_16427` `*-inverses_binary64_16426` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `difference-of-squares_binary64_16415` `distribute-neg-frac_binary64_16410` `distribute-frac-neg_binary64_16409`

Counts

62 → 52

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	111	798
1	266	674
2	805	674
3	1862	674
4	2361	674
5	3477	674
6	4104	674
7	4943	674
8	4988	674

prune40.0ms (1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	1	0	1
Picked	0	1	1
Done	0	3	3
Total	52	5	57

Error

Counts

57 → 5

Compiler

Compiled 576 to 366 computations (36.5% saved)

regimes386.0ms (9.6%)

Accuracy

Total 0.2b remaining (100%)

Threshold costs 0.2b (100%)

Compiler

Compiled 3056 to 2758 computations (9.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64_16377

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 neg-mul-1_binary64_16442 neg-sub0_binary64_16441 unsub-neg_binary64_16440 sub-neg_binary64_16439 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-neg-frac_binary64_16410 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 +-commutative_binary64_16376

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
2	7	7

end0.0ms (0%)

sample1.3s (31.4%)

Algorithm

1×

intervals

Results

164.0ms	8000×	body	128	valid
4.0ms	217×	body	128	invalid

Compiler

Compiled 775 to 701 computations (9.5% saved)

Details

analyze197.0ms (4.9%)

sample13.0ms (0.3%)

simplify9.0ms (0.2%)

prune2.0ms (0%)

localize4.0ms (0.1%)

rewrite29.0ms (0.7%)

series76.0ms (1.9%)

simplify136.0ms (3.4%)

prune19.0ms (0.5%)

localize5.0ms (0.1%)

rewrite420.0ms (10.5%)

series180.0ms (4.5%)

simplify375.0ms (9.4%)

prune240.0ms (6%)

localize3.0ms (0.1%)

rewrite69.0ms (1.7%)

series87.0ms (2.2%)

simplify146.0ms (3.7%)

prune27.0ms (0.7%)

localize5.0ms (0.1%)

rewrite70.0ms (1.7%)

series88.0ms (2.2%)

simplify120.0ms (3%)

prune40.0ms (1%)

regimes386.0ms (9.6%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.3s (31.4%)

Profiling