Details

analyze450.0ms (9.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

108×	`distribute-rgt-neg-in_binary64_19473`
90×	`cancel-sign-sub-inv_binary64_19481`
78×	`distribute-rgt-in_binary64_19465`
60×	`distribute-lft-in_binary64_19464`
58×	`sub-neg_binary64_19508`
51×	`unsub-neg_binary64_19509` `distribute-lft-neg-in_binary64_19472`
39×	`distribute-neg-in_binary64_19476`
38×	`associate-r_binary64_19455`
36×	`distribute-lft-neg-out_binary64_19474`
30×	`neg-mul-1_binary64_19511`
27×	`associate--r+_binary64_19451`
24×	`neg-sub0_binary64_19510`
18×	`associate-+l-_binary64_19450`
16×	`*-commutative_binary64_19446`
12×	`*-lft-identity_binary64_19504` `remove-double-neg_binary64_19503` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `+-commutative_binary64_19445`
10×	`associate-l_binary64_19456`
9×	`sub0-neg_binary64_19502` `associate-+l+_binary64_19448`
6×	`+-lft-identity_binary64_19499` `distribute-rgt-neg-out_binary64_19475`
3×	`--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `distribute-rgt-out--_binary64_19469` `associate--r-_binary64_19454` `associate--l+_binary64_19452` `associate-+r-_binary64_19449` `associate-+r+_binary64_19447`
1×	`1-exp_binary64_19559` `swap-x-y`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-pow_binary64_19604` `log-rec_binary64_19603` `log-div_binary64_19602` `log-prod_binary64_19601` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow3_binary64_19581` `unpow2_binary64_19580` `unpow1/2_binary64_19579` `pow-plus_binary64_19578` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `exp-prod_binary64_19567` `div-exp_binary64_19566` `rec-exp_binary64_19565` `prod-exp_binary64_19564` `exp-diff_binary64_19563` `exp-neg_binary64_19562` `exp-sum_binary64_19561` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-unmult_binary64_19552` `cube-mult_binary64_19545` `cube-div_binary64_19544` `cube-prod_binary64_19543` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-sqrt-square_binary64_19528` `rem-square-sqrt_binary64_19527` `times-frac_binary64_19521` `div-sub_binary64_19520` `mul-1-neg_binary64_19507` `/-rgt-identity_binary64_19506` `-rgt-identity_binary64_19505` `div0_binary64_19496` `-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `pow-sqr_binary64_19488` `sqr-pow_binary64_19487` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `difference-of-squares_binary64_19484` `unswap-sqr_binary64_19483` `swap-sqr_binary64_19482` `cancel-sign-sub_binary64_19480` `distribute-neg-frac_binary64_19479` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-rgt-out_binary64_19468` `distribute-lft-out--_binary64_19467` `distribute-lft-out_binary64_19466` `count-2_binary64_19463` `associate-/l/_binary64_19462` `associate-/r/_binary64_19461` `associate-/l_binary64_19460` `associate-/r_binary64_19459` `associate-l/_binary64_19458` `associate-r/_binary64_19457` `associate--l-_binary64_19453`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	30	40
2	59	40
3	73	40
4	133	40
5	212	40
6	408	40
7	543	40
8	473	40
9	476	40
10	476	40
11	423	40
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	87.4%	0.1%	6
18.7%	81.1%	0.1%	7
37.4%	62.4%	0.1%	8
46.8%	46.8%	6.4%	9
54.6%	39%	6.4%	10
62.8%	30.8%	6.4%	11
66.9%	23.6%	9.5%	12
71.7%	18.8%	9.5%	13
75.3%	15.2%	9.5%	14

Symmetry

(sort x y)

Compiler

Compiled 8 to 8 computations (0% saved)

sample22.0ms (0.5%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	17×	body	128	invalid

Compiler

Compiled 15 to 18 computations (-20% saved)

simplify17.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

44×	`distribute-rgt-neg-in_binary64_19473`
36×	`cancel-sign-sub-inv_binary64_19481`
27×	`unsub-neg_binary64_19509`
23×	`distribute-lft-neg-in_binary64_19472`
21×	`distribute-neg-in_binary64_19476`
20×	`sub-neg_binary64_19508` `distribute-rgt-in_binary64_19465`
19×	`neg-mul-1_binary64_19511`
18×	`associate--r+_binary64_19451`
16×	`neg-sub0_binary64_19510`
15×	`distribute-lft-neg-out_binary64_19474` `distribute-lft-in_binary64_19464`
14×	`associate-r_binary64_19455`
13×	`*-commutative_binary64_19446`
9×	`*-lft-identity_binary64_19504` `+-commutative_binary64_19445`
8×	`mul0-rgt_binary64_19498` `mul0-lft_binary64_19497`
6×	`remove-double-neg_binary64_19503` `associate--r-_binary64_19454`
4×	`sub0-neg_binary64_19502` `associate-+l-_binary64_19450`
3×	`+-lft-identity_binary64_19499` `distribute-rgt-neg-out_binary64_19475` `associate-l_binary64_19456` `associate-+l+_binary64_19448`
2×	`*-rgt-identity_binary64_19505`
1×	`1-exp_binary64_19559` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `associate--l+_binary64_19452` `associate-+r-_binary64_19449` `associate-+r+_binary64_19447`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-pow_binary64_19604` `log-rec_binary64_19603` `log-div_binary64_19602` `log-prod_binary64_19601` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow3_binary64_19581` `unpow2_binary64_19580` `unpow1/2_binary64_19579` `pow-plus_binary64_19578` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `exp-prod_binary64_19567` `div-exp_binary64_19566` `rec-exp_binary64_19565` `prod-exp_binary64_19564` `exp-diff_binary64_19563` `exp-neg_binary64_19562` `exp-sum_binary64_19561` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-unmult_binary64_19552` `cube-mult_binary64_19545` `cube-div_binary64_19544` `cube-prod_binary64_19543` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-sqrt-square_binary64_19528` `rem-square-sqrt_binary64_19527` `times-frac_binary64_19521` `div-sub_binary64_19520` `mul-1-neg_binary64_19507` `/-rgt-identity_binary64_19506` `div0_binary64_19496` `-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `pow-sqr_binary64_19488` `sqr-pow_binary64_19487` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `difference-of-squares_binary64_19484` `unswap-sqr_binary64_19483` `swap-sqr_binary64_19482` `cancel-sign-sub_binary64_19480` `distribute-neg-frac_binary64_19479` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-rgt-out--_binary64_19469` `distribute-rgt-out_binary64_19468` `distribute-lft-out--_binary64_19467` `distribute-lft-out_binary64_19466` `count-2_binary64_19463` `associate-/l/_binary64_19462` `associate-/r/_binary64_19461` `associate-/l_binary64_19460` `associate-/r_binary64_19459` `associate-l/_binary64_19458` `associate-*r/_binary64_19457` `associate--l-_binary64_19453`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	14	10
2	25	10
3	31	10
4	56	10
5	93	10
6	150	10
7	248	10
8	253	10
9	260	10
10	254	10
11	209	10

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

1 → 1

Compiler

Compiled 7 to 7 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 (.f64 x 3) y) z)
0.2b	(.f64 (.f64 x 3) y)

rewrite43.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`pow1_binary64_19576` `add-exp-log_binary64_19553` `add-cbrt-cube_binary64_19551`
4×	`add-log-exp_binary64_19554` `add-cube-cbrt_binary64_19550` `add-sqr-sqrt_binary64_19537` `*-un-lft-identity_binary64_19515`
3×	`pow-prod-down_binary64_19586` `prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `associate-r_binary64_19455` `cancel-sign-sub-inv_binary64_19481`
1×	`associate-l_binary64_19456` `*-commutative_binary64_19446` `diff-log_binary64_19607` `flip3--_binary64_19519` `sub-neg_binary64_19508` `flip--_binary64_19490`

Counts

2 → 32

Calls

2 calls:

5.0ms	(-.f64 (.f64 (.f64 x 3) y) z)
5.0ms	(.f64 (.f64 x 3) y)

Compiler

Compiled 436 to 279 computations (36% saved)

series235.0ms (4.9%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

147.0ms	(-.f64 (.f64 (.f64 x 3) y) z)
76.0ms	(.f64 (.f64 x 3) y)

Compiler

Compiled 389 to 327 computations (15.9% saved)

simplify90.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

462×	`times-frac_binary64_19521`
376×	`distribute-rgt-neg-in_binary64_19473`
350×	`distribute-rgt-in_binary64_19465`
289×	`*-commutative_binary64_19446`
273×	`distribute-lft-neg-in_binary64_19472`
254×	`distribute-lft-in_binary64_19464`
196×	`unswap-sqr_binary64_19483`
149×	`cancel-sign-sub-inv_binary64_19481`
137×	`distribute-neg-in_binary64_19476`
130×	`unsub-neg_binary64_19509`
123×	`distribute-lft-neg-out_binary64_19474`
120×	`sqr-pow_binary64_19487`
107×	`+-commutative_binary64_19445`
106×	`associate-l_binary64_19456`
90×	`neg-mul-1_binary64_19511`
85×	`neg-sub0_binary64_19510` `associate-/l*_binary64_19460`
71×	`exp-prod_binary64_19567` `associate-r_binary64_19455`
48×	`exp-sum_binary64_19561` `distribute-rgt-out_binary64_19468`
46×	`associate-+r+_binary64_19447`
45×	`associate-+l+_binary64_19448`
43×	`distribute-rgt-neg-out_binary64_19475`
42×	`sub-neg_binary64_19508`
40×	`difference-of-squares_binary64_19484`
39×	`cube-prod_binary64_19543`
34×	`pow-sqr_binary64_19488` `swap-sqr_binary64_19482`
33×	`distribute-neg-out_binary64_19477`
30×	`associate-+l-_binary64_19450`
28×	`distribute-lft-out_binary64_19466`
25×	`unpow3_binary64_19581` `associate-/r*_binary64_19459`
23×	`log-prod_binary64_19601`
22×	`rem-sqrt-square_binary64_19528` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `associate-*r/_binary64_19457`
19×	`exp-diff_binary64_19563` `associate-/l/_binary64_19462` `associate--r+_binary64_19451`
18×	`div-sub_binary64_19520`
16×	`associate-/r/_binary64_19461`
13×	`cube-unmult_binary64_19552`
12×	`div-exp_binary64_19566`
11×	`prod-exp_binary64_19564`
9×	`*-rgt-identity_binary64_19505` `associate-+r-_binary64_19449`
8×	`*-lft-identity_binary64_19504`
7×	`cube-mult_binary64_19545` `sqr-neg_binary64_19529` `sub0-neg_binary64_19502`
5×	`exp-lft-cube_binary64_19571` `+-rgt-identity_binary64_19500`
4×	`unpow1/2_binary64_19579` `distribute-rgt-out--_binary64_19469` `associate--l+_binary64_19452`
3×	`--rgt-identity_binary64_19501` `distribute-frac-neg_binary64_19478`
2×	`pow-plus_binary64_19578` `exp-neg_binary64_19562` `cube-neg_binary64_19542` `distribute-rgt1-in_binary64_19471` `count-2_binary64_19463`
1×	`1-exp_binary64_19559` `exp-1-e_binary64_19558` `rem-3cbrt-lft_binary64_19540` `rem-square-sqrt_binary64_19527` `remove-double-neg_binary64_19503` `+-lft-identity_binary64_19499` `cancel-sign-sub_binary64_19480` `distribute-lft1-in_binary64_19470` `associate-*l/_binary64_19458`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-pow_binary64_19604` `log-rec_binary64_19603` `log-div_binary64_19602` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow2_binary64_19580` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `rec-exp_binary64_19565` `e-exp-1_binary64_19560` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-div_binary64_19544` `rem-3cbrt-rft_binary64_19541` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `mul-1-neg_binary64_19507` `/-rgt-identity_binary64_19506` `div0_binary64_19496` `*-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `distribute-neg-frac_binary64_19479` `distribute-lft-out--_binary64_19467` `associate--r-_binary64_19454` `associate--l-_binary64_19453`

Counts

56 → 29

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	75	554
1	173	533
2	529	530
3	904	530
4	1796	530
5	4041	530
6	4996	530
7	4873	530

prune28.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	25	4	29
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	5	30

Error

0.0b

Counts

30 → 5

Compiler

Compiled 363 to 213 computations (41.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (pow.f64 (.f64 3 (.f64 x y)) 1) z)
0.3b	(.f64 3 (.f64 x y))

rewrite49.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`pow1_binary64_19576` `add-exp-log_binary64_19553` `add-cbrt-cube_binary64_19551` `add-sqr-sqrt_binary64_19537`
6×	`*-un-lft-identity_binary64_19515`
4×	`add-log-exp_binary64_19554` `add-cube-cbrt_binary64_19550`
3×	`pow-prod-down_binary64_19586` `prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `associate-l_binary64_19456` `cancel-sign-sub-inv_binary64_19481`
2×	`difference-of-squares_binary64_19484`
1×	`associate-r_binary64_19455` `*-commutative_binary64_19446` `diff-log_binary64_19607` `flip3--_binary64_19519` `sub-neg_binary64_19508` `flip--_binary64_19490` `sqr-pow_binary64_19487` `distribute-lft-out--_binary64_19467`

Counts

2 → 35

Calls

2 calls:

6.0ms	(-.f64 (pow.f64 (.f64 3 (.f64 x y)) 1) z)
5.0ms	(.f64 3 (.f64 x y))

Compiler

Compiled 579 to 362 computations (37.5% saved)

series259.0ms (5.4%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

166.0ms	(-.f64 (pow.f64 (.f64 3 (.f64 x y)) 1) z)
80.0ms	(.f64 3 (.f64 x y))

Compiler

Compiled 425 to 363 computations (14.6% saved)

simplify90.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

538×	`associate-l_binary64_19456`
425×	`distribute-rgt-in_binary64_19465`
417×	`associate-r_binary64_19455`
389×	`distribute-lft-in_binary64_19464`
354×	`times-frac_binary64_19521`
337×	`unsub-neg_binary64_19509`
164×	`cancel-sign-sub-inv_binary64_19481`
158×	`neg-mul-1_binary64_19511`
157×	`neg-sub0_binary64_19510`
146×	`sqr-pow_binary64_19487`
134×	`unswap-sqr_binary64_19483`
108×	`*-commutative_binary64_19446`
92×	`exp-prod_binary64_19567`
73×	`distribute-rgt-out_binary64_19468`
68×	`mul0-rgt_binary64_19498` `mul0-lft_binary64_19497`
65×	`exp-sum_binary64_19561`
63×	`distribute-lft-out_binary64_19466`
61×	`cube-prod_binary64_19543`
55×	`log-prod_binary64_19601`
47×	`sub-neg_binary64_19508`
44×	`distribute-lft-neg-out_binary64_19474`
43×	`distribute-rgt-neg-out_binary64_19475`
40×	`pow-sqr_binary64_19488`
37×	`unpow3_binary64_19581`
34×	`swap-sqr_binary64_19482` `associate-+r+_binary64_19447`
29×	`associate-+l+_binary64_19448`
28×	`+-commutative_binary64_19445`
26×	`cube-mult_binary64_19545`
25×	`pow-plus_binary64_19578`
18×	`exp-diff_binary64_19563` `cube-unmult_binary64_19552`
15×	`distribute-lft-neg-in_binary64_19472`
14×	`+-rgt-identity_binary64_19500`
13×	`distribute-rgt-neg-in_binary64_19473`
12×	`log-pow_binary64_19604` `difference-of-squares_binary64_19484` `associate-/l*_binary64_19460`
11×	`prod-exp_binary64_19564`
10×	`*-rgt-identity_binary64_19505`
9×	`div-exp_binary64_19566` `*-lft-identity_binary64_19504` `sub0-neg_binary64_19502`
8×	`associate-+l-_binary64_19450`
7×	`+-lft-identity_binary64_19499`
6×	`sqr-neg_binary64_19529` `rem-sqrt-square_binary64_19528` `mul-1-neg_binary64_19507` `associate-+r-_binary64_19449`
5×	`div-sub_binary64_19520`
4×	`unpow2_binary64_19580` `exp-lft-cube_binary64_19571` `associate-*r/_binary64_19457` `associate--r+_binary64_19451`
3×	`cube-neg_binary64_19542` `--rgt-identity_binary64_19501` `associate-/l/_binary64_19462` `associate-/r/_binary64_19461`
2×	`distribute-neg-in_binary64_19476` `count-2_binary64_19463`
1×	`unpow1/2_binary64_19579` `unpow1_binary64_19573` `1-exp_binary64_19559` `rem-3cbrt-lft_binary64_19540` `rem-square-sqrt_binary64_19527` `remove-double-neg_binary64_19503` `associate-/r*_binary64_19459`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-rec_binary64_19603` `log-div_binary64_19602` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow-1_binary64_19572` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `rec-exp_binary64_19565` `exp-neg_binary64_19562` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-div_binary64_19544` `rem-3cbrt-rft_binary64_19541` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `/-rgt-identity_binary64_19506` `div0_binary64_19496` `-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `cancel-sign-sub_binary64_19480` `distribute-neg-frac_binary64_19479` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-rgt-out--_binary64_19469` `distribute-lft-out--_binary64_19467` `associate-l/_binary64_19458` `associate--r-_binary64_19454` `associate--l-_binary64_19453` `associate--l+_binary64_19452`

Counts

59 → 25

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	83	612
1	171	591
2	461	591
3	1690	591
4	3918	591
5	4520	591
6	5002	591

prune23.0ms (0.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	24	1	25
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	26	4	30

Error

0.0b

Counts

30 → 4

Compiler

Compiled 323 to 197 computations (39% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (pow.f64 (.f64 (sqrt.f64 3) (.f64 (*.f64 x y) (sqrt.f64 3))) 1) z)
0.3b	(.f64 (sqrt.f64 3) (.f64 (*.f64 x y) (sqrt.f64 3)))
0.4b	(.f64 (.f64 x y) (sqrt.f64 3))

rewrite112.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

17×	`pow1_binary64_19576` `add-exp-log_binary64_19553` `add-cbrt-cube_binary64_19551`
11×	`add-sqr-sqrt_binary64_19537`
10×	`*-un-lft-identity_binary64_19515`
9×	`pow-prod-down_binary64_19586` `prod-exp_binary64_19564` `cbrt-unprod_binary64_19548`
8×	`add-cube-cbrt_binary64_19550`
7×	`associate-l_binary64_19456` `associate-r_binary64_19455`
6×	`sqrt-prod_binary64_19531`
5×	`add-log-exp_binary64_19554`
3×	`cancel-sign-sub-inv_binary64_19481`
2×	`*-commutative_binary64_19446` `difference-of-squares_binary64_19484`
1×	`diff-log_binary64_19607` `flip3--_binary64_19519` `sub-neg_binary64_19508` `flip--_binary64_19490` `sqr-pow_binary64_19487` `distribute-lft-out--_binary64_19467`

Counts

3 → 62

Calls

3 calls:

10.0ms	(.f64 (sqrt.f64 3) (.f64 (*.f64 x y) (sqrt.f64 3)))
7.0ms	(-.f64 (pow.f64 (.f64 (sqrt.f64 3) (.f64 (*.f64 x y) (sqrt.f64 3))) 1) z)
7.0ms	(.f64 (.f64 x y) (sqrt.f64 3))

Compiler

Compiled 1323 to 958 computations (27.6% saved)

series662.0ms (13.8%)

Error

0.0b

Counts

3 → 30

Calls

3 calls:

325.0ms	(-.f64 (pow.f64 (.f64 (sqrt.f64 3) (.f64 (*.f64 x y) (sqrt.f64 3))) 1) z)
180.0ms	(.f64 (sqrt.f64 3) (.f64 (*.f64 x y) (sqrt.f64 3)))
135.0ms	(.f64 (.f64 x y) (sqrt.f64 3))

Compiler

Compiled 824 to 763 computations (7.4% saved)

simplify120.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

384×	`*-commutative_binary64_19446`
244×	`distribute-rgt-in_binary64_19465`
236×	`sqr-pow_binary64_19487`
218×	`distribute-lft-in_binary64_19464`
190×	`associate-l_binary64_19456`
179×	`associate-r_binary64_19455`
175×	`cancel-sign-sub-inv_binary64_19481`
159×	`distribute-neg-in_binary64_19476`
146×	`exp-prod_binary64_19567`
144×	`unswap-sqr_binary64_19483`
132×	`unsub-neg_binary64_19509`
125×	`difference-of-squares_binary64_19484`
109×	`cube-prod_binary64_19543`
105×	`exp-sum_binary64_19561`
102×	`times-frac_binary64_19521`
100×	`neg-mul-1_binary64_19511`
95×	`swap-sqr_binary64_19482`
94×	`log-prod_binary64_19601` `neg-sub0_binary64_19510`
93×	`associate-+l+_binary64_19448`
81×	`pow-sqr_binary64_19488`
79×	`unpow3_binary64_19581` `associate-+r+_binary64_19447`
47×	`sub-neg_binary64_19508` `distribute-rgt-neg-out_binary64_19475`
39×	`associate-/l*_binary64_19460`
34×	`mul0-rgt_binary64_19498` `mul0-lft_binary64_19497`
33×	`cube-mult_binary64_19545` `distribute-neg-out_binary64_19477` `+-commutative_binary64_19445`
30×	`*-rgt-identity_binary64_19505`
26×	`*-lft-identity_binary64_19504`
23×	`distribute-rgt-out_binary64_19468`
21×	`associate-/r*_binary64_19459`
20×	`log-pow_binary64_19604` `exp-diff_binary64_19563`
16×	`pow-plus_binary64_19578` `cube-unmult_binary64_19552`
15×	`distribute-lft-neg-out_binary64_19474`
14×	`distribute-rgt-neg-in_binary64_19473`
12×	`distribute-lft-neg-in_binary64_19472`
11×	`rem-sqrt-square_binary64_19528`
10×	`associate-/l/_binary64_19462` `associate-*r/_binary64_19457`
9×	`unpow1/2_binary64_19579` `associate-/r/_binary64_19461`
8×	`sub0-neg_binary64_19502` `associate-+l-_binary64_19450`
7×	`distribute-lft-out_binary64_19466` `associate-+r-_binary64_19449`
6×	`sqr-neg_binary64_19529` `+-rgt-identity_binary64_19500`
5×	`prod-exp_binary64_19564` `div-sub_binary64_19520` `count-2_binary64_19463`
4×	`unpow2_binary64_19580` `exp-lft-cube_binary64_19571` `associate--r+_binary64_19451`
3×	`exp-neg_binary64_19562` `--rgt-identity_binary64_19501` `distribute-frac-neg_binary64_19478`
2×	`unpow1_binary64_19573` `cube-neg_binary64_19542` `rem-square-sqrt_binary64_19527` `/-rgt-identity_binary64_19506` `+-lft-identity_binary64_19499`
1×	`div-exp_binary64_19566` `1-exp_binary64_19559` `exp-1-e_binary64_19558` `rem-3cbrt-lft_binary64_19540` `remove-double-neg_binary64_19503` `cancel-sign-sub_binary64_19480`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-rec_binary64_19603` `log-div_binary64_19602` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow-1_binary64_19572` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `rec-exp_binary64_19565` `e-exp-1_binary64_19560` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-div_binary64_19544` `rem-3cbrt-rft_binary64_19541` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `mul-1-neg_binary64_19507` `div0_binary64_19496` `-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `distribute-neg-frac_binary64_19479` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-rgt-out--_binary64_19469` `distribute-lft-out--_binary64_19467` `associate-l/_binary64_19458` `associate--r-_binary64_19454` `associate--l-_binary64_19453` `associate--l+_binary64_19452`

Counts

92 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	113	1242
1	254	949
2	795	949
3	1379	941
4	3010	941
5	4681	941
6	4969	941
7	4902	941

prune65.0ms (1.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	74	4	78

Error

Counts

78 → 4

Compiler

Compiled 924 to 665 computations (28% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 x (.f64 (sqrt.f64 3) y))
0.3b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))) (.f64 (.f64 x (*.f64 (sqrt.f64 3) y)) (cbrt.f64 (sqrt.f64 3))))
0.4b	(*.f64 (sqrt.f64 3) y)
1.0b	(*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))

rewrite333.0ms (6.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

50×	`pow1_binary64_19576`
46×	`add-sqr-sqrt_binary64_19537`
45×	`add-exp-log_binary64_19553`
40×	`cbrt-prod_binary64_19546`
30×	`pow-prod-down_binary64_19586`
29×	`prod-exp_binary64_19564` `add-cbrt-cube_binary64_19551` `cbrt-unprod_binary64_19548`
24×	`sqrt-prod_binary64_19531`
20×	`add-cube-cbrt_binary64_19550` `*-un-lft-identity_binary64_19515`
19×	`associate-l_binary64_19456`
14×	`associate-r_binary64_19455`
11×	`unswap-sqr_binary64_19483` `swap-sqr_binary64_19482`
6×	`pow1/3_binary64_19597`
4×	`add-log-exp_binary64_19554` `*-commutative_binary64_19446`
2×	`pow-prod-up_binary64_19585` `pow-sqr_binary64_19488`
1×	`pow2_binary64_19596` `pow-plus_binary64_19578`

Counts

4 → 130

Calls

4 calls:

18.0ms	(.f64 (.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))) (.f64 (.f64 x (*.f64 (sqrt.f64 3) y)) (cbrt.f64 (sqrt.f64 3))))
9.0ms	(*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))
6.0ms	(.f64 x (.f64 (sqrt.f64 3) y))
6.0ms	(*.f64 (sqrt.f64 3) y)

Compiler

Compiled 3846 to 3350 computations (12.9% saved)

series405.0ms (8.4%)

Error

Counts

4 → 15

Calls

4 calls:

200.0ms	(.f64 (.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))) (.f64 (.f64 x (*.f64 (sqrt.f64 3) y)) (cbrt.f64 (sqrt.f64 3))))
133.0ms	(.f64 x (.f64 (sqrt.f64 3) y))
53.0ms	(*.f64 (sqrt.f64 3) y)
0.0ms	(*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))

Compiler

Compiled 810 to 768 computations (5.2% saved)

simplify122.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

489×	`*-commutative_binary64_19446`
377×	`sqr-pow_binary64_19487`
326×	`unswap-sqr_binary64_19483`
312×	`associate-l_binary64_19456`
304×	`associate-r_binary64_19455`
286×	`associate-/l/_binary64_19462`
219×	`exp-prod_binary64_19567`
207×	`log-prod_binary64_19601`
170×	`swap-sqr_binary64_19482`
155×	`distribute-rgt-in_binary64_19465`
151×	`cube-prod_binary64_19543`
138×	`distribute-lft-in_binary64_19464`
121×	`associate-/l*_binary64_19460`
117×	`pow-sqr_binary64_19488`
93×	`+-commutative_binary64_19445`
79×	`associate-+l+_binary64_19448`
77×	`associate-+r+_binary64_19447`
60×	`associate-/r*_binary64_19459`
52×	`times-frac_binary64_19521`
36×	`distribute-lft-out_binary64_19466`
34×	`unpow3_binary64_19581`
31×	`cube-mult_binary64_19545` `*-rgt-identity_binary64_19505`
25×	`*-lft-identity_binary64_19504`
24×	`rem-sqrt-square_binary64_19528`
22×	`distribute-rgt-out_binary64_19468` `associate-*r/_binary64_19457`
18×	`log-pow_binary64_19604` `associate-/r/_binary64_19461`
12×	`pow-plus_binary64_19578` `cube-unmult_binary64_19552`
11×	`count-2_binary64_19463`
9×	`unpow1/2_binary64_19579`
4×	`unpow2_binary64_19580`
3×	`exp-lft-cube_binary64_19571`
2×	`rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-square-sqrt_binary64_19527` `/-rgt-identity_binary64_19506`
1×	`unpow1_binary64_19573` `prod-exp_binary64_19564` `1-exp_binary64_19559` `exp-1-e_binary64_19558` `rem-cbrt-cube_binary64_19539` `distribute-rgt1-in_binary64_19471`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `log-rec_binary64_19603` `log-div_binary64_19602` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `exp-to-pow_binary64_19577` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow-1_binary64_19572` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `div-exp_binary64_19566` `rec-exp_binary64_19565` `exp-diff_binary64_19563` `exp-neg_binary64_19562` `exp-sum_binary64_19561` `e-exp-1_binary64_19560` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `rem-exp-log_binary64_19555` `cube-div_binary64_19544` `cube-neg_binary64_19542` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `div-sub_binary64_19520` `neg-mul-1_binary64_19511` `neg-sub0_binary64_19510` `unsub-neg_binary64_19509` `sub-neg_binary64_19508` `mul-1-neg_binary64_19507` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `+-lft-identity_binary64_19499` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `div0_binary64_19496` `-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `difference-of-squares_binary64_19484` `cancel-sign-sub-inv_binary64_19481` `cancel-sign-sub_binary64_19480` `distribute-neg-frac_binary64_19479` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-neg-in_binary64_19476` `distribute-rgt-neg-out_binary64_19475` `distribute-lft-neg-out_binary64_19474` `distribute-rgt-neg-in_binary64_19473` `distribute-lft-neg-in_binary64_19472` `distribute-lft1-in_binary64_19470` `distribute-rgt-out--_binary64_19469` `distribute-lft-out--_binary64_19467` `associate-l/_binary64_19458` `associate--r-_binary64_19454` `associate--l-_binary64_19453` `associate--l+_binary64_19452` `associate--r+_binary64_19451` `associate-+l-_binary64_19450` `associate-+r-_binary64_19449`

Counts

145 → 105

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	142	2869
1	310	1793
2	1017	1739
3	1876	1721
4	3364	1615
5	5027	1615

prune152.0ms (3.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	105	4	109

Error

Counts

109 → 4

Compiler

Compiled 2136 to 1806 computations (15.4% saved)

regimes315.0ms (6.6%)

Accuracy

Total 0.2b remaining (98.7%)

Threshold costs 0.2b (98.7%)

Compiler

Compiled 2352 to 2256 computations (4.1% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64_19446`
2×	`sub-neg_binary64_19508` `+-commutative_binary64_19445`
1×	`neg-mul-1_binary64_19511` `neg-sub0_binary64_19510`
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_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `unpow1_binary64_19573` `e-exp-1_binary64_19560` `1-exp_binary64_19559` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `unsub-neg_binary64_19509` `mul-1-neg_binary64_19507` `/-rgt-identity_binary64_19506` `-rgt-identity_binary64_19505` `-lft-identity_binary64_19504` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `+-lft-identity_binary64_19499` `cancel-sign-sub-inv_binary64_19481` `cancel-sign-sub_binary64_19480` `distribute-neg-frac_binary64_19479` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-neg-in_binary64_19476` `distribute-rgt-neg-out_binary64_19475` `distribute-lft-neg-out_binary64_19474` `distribute-rgt-neg-in_binary64_19473` `distribute-lft-neg-in_binary64_19472`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	12	10
2	17	10
3	19	10
4	20	10
5	20	10

Compiler

Compiled 14 to 14 computations (0% saved)

end0.0ms (0%)

sample1.2s (24.3%)

Algorithm

1×

intervals

Results

182.0ms	8000×	body	128	valid
8.0ms	337×	body	128	invalid

Compiler

Compiled 408 to 392 computations (3.9% saved)

Iter	Nodes	Cost
0	16	40
1	30	40
2	59	40
3	73	40
4	133	40
5	212	40
6	408	40
7	543	40
8	473	40
9	476	40
10	476	40
11	423	40
0	3	3
1	3	3

Iter	Nodes	Cost
0	8	10
1	14	10
2	25	10
3	31	10
4	56	10
5	93	10
6	150	10
7	248	10
8	253	10
9	260	10
10	254	10
11	209	10

Iter	Nodes	Cost
0	16	40
1	30	40
2	59	40
3	73	40
4	133	40
5	212	40
6	408	40
7	543	40
8	473	40
9	476	40
10	476	40
11	423	40
0	3	3
1	3	3

Iter	Nodes	Cost
0	8	10
1	14	10
2	25	10
3	31	10
4	56	10
5	93	10
6	150	10
7	248	10
8	253	10
9	260	10
10	254	10
11	209	10

Details

analyze450.0ms (9.4%)

sample22.0ms (0.5%)

simplify17.0ms (0.4%)

prune4.0ms (0.1%)

localize5.0ms (0.1%)

rewrite43.0ms (0.9%)

series235.0ms (4.9%)

simplify90.0ms (1.9%)

prune28.0ms (0.6%)

localize6.0ms (0.1%)

rewrite49.0ms (1%)

series259.0ms (5.4%)

simplify90.0ms (1.9%)

prune23.0ms (0.5%)

localize9.0ms (0.2%)

rewrite112.0ms (2.3%)

series662.0ms (13.8%)

simplify120.0ms (2.5%)

prune65.0ms (1.3%)

localize12.0ms (0.2%)

rewrite333.0ms (6.9%)

series405.0ms (8.4%)

simplify122.0ms (2.5%)

prune152.0ms (3.2%)

regimes315.0ms (6.6%)

bsearch0.0ms (0%)

simplify9.0ms (0.2%)

end0.0ms (0%)

sample1.2s (24.3%)

Profiling

Iter	Nodes	Cost
0	16	40
1	30	40
2	59	40
3	73	40
4	133	40
5	212	40
6	408	40
7	543	40
8	473	40
9	476	40
10	476	40
11	423	40
0	3	3
1	3	3

Iter	Nodes	Cost
0	8	10
1	14	10
2	25	10
3	31	10
4	56	10
5	93	10
6	150	10
7	248	10
8	253	10
9	260	10
10	254	10
11	209	10