Details

analyze459.0ms (4.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

357×	`associate-+l+_binary64_7172`
171×	`associate-+r+_binary64_7171`
25×	`+-commutative_binary64_7169`
9×	`*-commutative_binary64_7170`
6×	`distribute-rgt-in_binary64_7189` `count-2_binary64_7187`
3×	`distribute-rgt1-in_binary64_7195`
2×	`distribute-lft1-in_binary64_7194` `distribute-lft-in_binary64_7188`
1×	`1-exp_binary64_7283`
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_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `log-pow_binary64_7328` `log-rec_binary64_7327` `log-div_binary64_7326` `log-prod_binary64_7325` `pow-base-0_binary64_7323` `unpow1/3_binary64_7306` `unpow3_binary64_7305` `unpow2_binary64_7304` `unpow1/2_binary64_7303` `pow-plus_binary64_7302` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow1_binary64_7297` `unpow-1_binary64_7296` `exp-lft-cube_binary64_7295` `exp-lft-sqr_binary64_7294` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `exp-prod_binary64_7291` `div-exp_binary64_7290` `rec-exp_binary64_7289` `prod-exp_binary64_7288` `exp-diff_binary64_7287` `exp-neg_binary64_7286` `exp-sum_binary64_7285` `e-exp-1_binary64_7284` `exp-1-e_binary64_7282` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `cube-unmult_binary64_7276` `cube-mult_binary64_7269` `cube-div_binary64_7268` `cube-prod_binary64_7267` `cube-neg_binary64_7266` `rem-3cbrt-rft_binary64_7265` `rem-3cbrt-lft_binary64_7264` `rem-cbrt-cube_binary64_7263` `rem-cube-cbrt_binary64_7262` `sqr-abs_binary64_7254` `sqr-neg_binary64_7253` `rem-sqrt-square_binary64_7252` `rem-square-sqrt_binary64_7251` `times-frac_binary64_7245` `div-sub_binary64_7244` `neg-mul-1_binary64_7235` `neg-sub0_binary64_7234` `unsub-neg_binary64_7233` `sub-neg_binary64_7232` `mul-1-neg_binary64_7231` `/-rgt-identity_binary64_7230` `-rgt-identity_binary64_7229` `-lft-identity_binary64_7228` `remove-double-neg_binary64_7227` `sub0-neg_binary64_7226` `--rgt-identity_binary64_7225` `+-rgt-identity_binary64_7224` `+-lft-identity_binary64_7223` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `div0_binary64_7220` `-inverses_binary64_7219` `+-inverses_binary64_7218` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `remove-double-div_binary64_7215` `pow-sqr_binary64_7212` `sqr-pow_binary64_7211` `difference-of-sqr--1_binary64_7210` `difference-of-sqr-1_binary64_7209` `difference-of-squares_binary64_7208` `unswap-sqr_binary64_7207` `swap-sqr_binary64_7206` `cancel-sign-sub-inv_binary64_7205` `cancel-sign-sub_binary64_7204` `distribute-neg-frac_binary64_7203` `distribute-frac-neg_binary64_7202` `distribute-neg-out_binary64_7201` `distribute-neg-in_binary64_7200` `distribute-rgt-neg-out_binary64_7199` `distribute-lft-neg-out_binary64_7198` `distribute-rgt-neg-in_binary64_7197` `distribute-lft-neg-in_binary64_7196` `distribute-rgt-out--_binary64_7193` `distribute-rgt-out_binary64_7192` `distribute-lft-out--_binary64_7191` `distribute-lft-out_binary64_7190` `associate-/l/_binary64_7186` `associate-/r/_binary64_7185` `associate-/l_binary64_7184` `associate-/r_binary64_7183` `associate-l/_binary64_7182` `associate-r/_binary64_7181` `associate-l_binary64_7180` `associate-r*_binary64_7179` `associate--r-_binary64_7178` `associate--l-_binary64_7177` `associate--l+_binary64_7176` `associate--r+_binary64_7175` `associate-+l-_binary64_7174` `associate-+r-_binary64_7173`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	64
1	58	52
2	185	52
3	321	52
4	373	52
5	378	52
6	378	52
7	376	52
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
6.2%	93.6%	0.1%	6
15.6%	84.3%	0.1%	7
25%	74.9%	0.1%	8
37.4%	62.4%	0.1%	9
46.8%	53%	0.1%	10
55%	44.9%	0.1%	11
64.2%	35.7%	0.1%	12
70.3%	29.5%	0.1%	13
75.4%	24.4%	0.1%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample17.0ms (0.2%)

Algorithm

1×

intervals

Results

6.0ms	245×	body	128	valid
0.0ms	4×	body	2048	valid
0.0ms	4×	body	256	valid
0.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 23 to 20 computations (13% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

141×	`associate-+l+_binary64_7172`
75×	`associate-+r+_binary64_7171`
17×	`+-commutative_binary64_7169`
4×	`*-commutative_binary64_7170`
3×	`count-2_binary64_7187`
2×	`distribute-rgt-in_binary64_7189` `distribute-lft-in_binary64_7188`
1×	`1-exp_binary64_7283` `distribute-rgt1-in_binary64_7195`
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_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `log-pow_binary64_7328` `log-rec_binary64_7327` `log-div_binary64_7326` `log-prod_binary64_7325` `pow-base-0_binary64_7323` `unpow1/3_binary64_7306` `unpow3_binary64_7305` `unpow2_binary64_7304` `unpow1/2_binary64_7303` `pow-plus_binary64_7302` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow1_binary64_7297` `unpow-1_binary64_7296` `exp-lft-cube_binary64_7295` `exp-lft-sqr_binary64_7294` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `exp-prod_binary64_7291` `div-exp_binary64_7290` `rec-exp_binary64_7289` `prod-exp_binary64_7288` `exp-diff_binary64_7287` `exp-neg_binary64_7286` `exp-sum_binary64_7285` `e-exp-1_binary64_7284` `exp-1-e_binary64_7282` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `cube-unmult_binary64_7276` `cube-mult_binary64_7269` `cube-div_binary64_7268` `cube-prod_binary64_7267` `cube-neg_binary64_7266` `rem-3cbrt-rft_binary64_7265` `rem-3cbrt-lft_binary64_7264` `rem-cbrt-cube_binary64_7263` `rem-cube-cbrt_binary64_7262` `sqr-abs_binary64_7254` `sqr-neg_binary64_7253` `rem-sqrt-square_binary64_7252` `rem-square-sqrt_binary64_7251` `times-frac_binary64_7245` `div-sub_binary64_7244` `neg-mul-1_binary64_7235` `neg-sub0_binary64_7234` `unsub-neg_binary64_7233` `sub-neg_binary64_7232` `mul-1-neg_binary64_7231` `/-rgt-identity_binary64_7230` `-rgt-identity_binary64_7229` `-lft-identity_binary64_7228` `remove-double-neg_binary64_7227` `sub0-neg_binary64_7226` `--rgt-identity_binary64_7225` `+-rgt-identity_binary64_7224` `+-lft-identity_binary64_7223` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `div0_binary64_7220` `-inverses_binary64_7219` `+-inverses_binary64_7218` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `remove-double-div_binary64_7215` `pow-sqr_binary64_7212` `sqr-pow_binary64_7211` `difference-of-sqr--1_binary64_7210` `difference-of-sqr-1_binary64_7209` `difference-of-squares_binary64_7208` `unswap-sqr_binary64_7207` `swap-sqr_binary64_7206` `cancel-sign-sub-inv_binary64_7205` `cancel-sign-sub_binary64_7204` `distribute-neg-frac_binary64_7203` `distribute-frac-neg_binary64_7202` `distribute-neg-out_binary64_7201` `distribute-neg-in_binary64_7200` `distribute-rgt-neg-out_binary64_7199` `distribute-lft-neg-out_binary64_7198` `distribute-rgt-neg-in_binary64_7197` `distribute-lft-neg-in_binary64_7196` `distribute-lft1-in_binary64_7194` `distribute-rgt-out--_binary64_7193` `distribute-rgt-out_binary64_7192` `distribute-lft-out--_binary64_7191` `distribute-lft-out_binary64_7190` `associate-/l/_binary64_7186` `associate-/r/_binary64_7185` `associate-/l_binary64_7184` `associate-/r_binary64_7183` `associate-l/_binary64_7182` `associate-r/_binary64_7181` `associate-l_binary64_7180` `associate-r*_binary64_7179` `associate--r-_binary64_7178` `associate--l-_binary64_7177` `associate--l+_binary64_7176` `associate--r+_binary64_7175` `associate-+l-_binary64_7174` `associate-+r-_binary64_7173`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	21	13
2	58	13
3	123	13
4	148	13
5	153	13
6	149	13

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

rewrite27.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-log-exp_binary64_7278`
3×	`sum-log_binary64_7330` `*-un-lft-identity_binary64_7239`
1×	`pow1_binary64_7300` `add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275` `add-cube-cbrt_binary64_7274` `add-sqr-sqrt_binary64_7261` `flip3-+_binary64_7242` `flip-+_binary64_7213` `distribute-lft-out_binary64_7190` `associate-+r+_binary64_7171` `+-commutative_binary64_7169`

Counts

1 → 14

Calls

1 calls:

8.0ms

(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

Compiler

Compiled 253 to 135 computations (46.6% saved)

series191.0ms (1.9%)

Error

0.0b

Counts

1 → 18

Calls

1 calls:

178.0ms

(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

Compiler

Compiled 305 to 284 computations (6.9% saved)

simplify70.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

515×	`prod-exp_binary64_7288`
478×	`sub-neg_binary64_7232`
374×	`associate-l_binary64_7180`
281×	`associate--l-_binary64_7177`
261×	`distribute-rgt-in_binary64_7189`
255×	`associate-r_binary64_7179`
239×	`distribute-lft-in_binary64_7188`
206×	`+-commutative_binary64_7169`
195×	`associate--r+_binary64_7175`
192×	`associate--r-_binary64_7178`
178×	`distribute-neg-in_binary64_7200`
165×	`distribute-rgt-out_binary64_7192`
161×	`associate--l+_binary64_7176`
116×	`*-commutative_binary64_7170`
105×	`distribute-lft-neg-in_binary64_7196`
103×	`distribute-rgt-neg-in_binary64_7197`
98×	`cancel-sign-sub-inv_binary64_7205`
88×	`associate-+l+_binary64_7172`
85×	`unsub-neg_binary64_7233`
78×	`distribute-rgt-out--_binary64_7193` `distribute-lft-out_binary64_7190`
76×	`associate-+r+_binary64_7171`
70×	`associate-+l-_binary64_7174`
60×	`neg-sub0_binary64_7234`
58×	`associate-+r-_binary64_7173`
54×	`neg-mul-1_binary64_7235`
39×	`distribute-lft-neg-out_binary64_7198`
37×	`distribute-rgt-neg-out_binary64_7199`
33×	`sub0-neg_binary64_7226`
30×	`+-rgt-identity_binary64_7224`
28×	`exp-sum_binary64_7285` `unswap-sqr_binary64_7207`
27×	`sqr-pow_binary64_7211`
16×	`distribute-lft-out--_binary64_7191`
15×	`cancel-sign-sub_binary64_7204`
11×	`exp-prod_binary64_7291`
6×	`pow-plus_binary64_7302` `cube-unmult_binary64_7276` `difference-of-squares_binary64_7208` `distribute-neg-out_binary64_7201`
5×	`unpow3_binary64_7305`
4×	`swap-sqr_binary64_7206` `count-2_binary64_7187`
3×	`unpow1_binary64_7297` `exp-lft-sqr_binary64_7294`
2×	`cube-mult_binary64_7269` `mul-1-neg_binary64_7231` `remove-double-neg_binary64_7227` `pow-sqr_binary64_7212` `distribute-rgt1-in_binary64_7195`
1×	`unpow1/2_binary64_7303` `exp-lft-cube_binary64_7295` `1-exp_binary64_7283` `rem-sqrt-square_binary64_7252` `-lft-identity_binary64_7228` `--rgt-identity_binary64_7225` `+-inverses_binary64_7218` `distribute-lft1-in_binary64_7194` `associate-/l/_binary64_7186` `associate-r/_binary64_7181`
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_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `log-pow_binary64_7328` `log-rec_binary64_7327` `log-div_binary64_7326` `log-prod_binary64_7325` `pow-base-0_binary64_7323` `unpow1/3_binary64_7306` `unpow2_binary64_7304` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow-1_binary64_7296` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `div-exp_binary64_7290` `rec-exp_binary64_7289` `exp-diff_binary64_7287` `exp-neg_binary64_7286` `e-exp-1_binary64_7284` `exp-1-e_binary64_7282` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `cube-div_binary64_7268` `cube-prod_binary64_7267` `cube-neg_binary64_7266` `rem-3cbrt-rft_binary64_7265` `rem-3cbrt-lft_binary64_7264` `rem-cbrt-cube_binary64_7263` `rem-cube-cbrt_binary64_7262` `sqr-abs_binary64_7254` `sqr-neg_binary64_7253` `rem-square-sqrt_binary64_7251` `times-frac_binary64_7245` `div-sub_binary64_7244` `/-rgt-identity_binary64_7230` `-rgt-identity_binary64_7229` `+-lft-identity_binary64_7223` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `div0_binary64_7220` `-inverses_binary64_7219` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `remove-double-div_binary64_7215` `difference-of-sqr--1_binary64_7210` `difference-of-sqr-1_binary64_7209` `distribute-neg-frac_binary64_7203` `distribute-frac-neg_binary64_7202` `associate-/r/_binary64_7185` `associate-/l_binary64_7184` `associate-/r_binary64_7183` `associate-*l/_binary64_7182`

Counts

32 → 25

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	41	453
1	116	426
2	342	426
3	1316	426
4	2644	419
5	4693	419
6	5241	419

prune27.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	22	3	25
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	23	3	26

Error

0.0b

Counts

26 → 3

Compiler

Compiled 366 to 173 computations (52.7% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`add-log-exp_binary64_7278`
6×	`sum-log_binary64_7330`
1×	`pow1_binary64_7300` `add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275` `add-cube-cbrt_binary64_7274` `add-sqr-sqrt_binary64_7261` `flip3-+_binary64_7242` `*-un-lft-identity_binary64_7239` `flip-+_binary64_7213` `associate-+l+_binary64_7172` `+-commutative_binary64_7169`

Counts

1 → 14

Calls

1 calls:

10.0ms

(+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x))

Compiler

Compiled 256 to 118 computations (53.9% saved)

series192.0ms (1.9%)

Error

0.0b

Counts

1 → 18

Calls

1 calls:

182.0ms

(+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x))

Compiler

Compiled 305 to 284 computations (6.9% saved)

simplify74.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

553×	`sub-neg_binary64_7232`
455×	`distribute-rgt-in_binary64_7189`
437×	`distribute-lft-in_binary64_7188`
386×	`*-commutative_binary64_7170`
336×	`+-commutative_binary64_7169`
264×	`associate--r-_binary64_7178`
209×	`distribute-rgt-out_binary64_7192`
204×	`neg-mul-1_binary64_7235` `cancel-sign-sub-inv_binary64_7205`
201×	`associate--r+_binary64_7175`
200×	`distribute-neg-in_binary64_7200`
167×	`distribute-rgt-neg-in_binary64_7197`
156×	`associate-+l+_binary64_7172`
155×	`associate-l_binary64_7180`
153×	`distribute-lft-neg-in_binary64_7196`
137×	`associate--l+_binary64_7176`
121×	`associate-r_binary64_7179`
113×	`associate-+r+_binary64_7171`
104×	`associate-+l-_binary64_7174`
101×	`distribute-rgt-out--_binary64_7193`
94×	`unsub-neg_binary64_7233`
80×	`associate-+r-_binary64_7173`
63×	`neg-sub0_binary64_7234`
58×	`unswap-sqr_binary64_7207`
50×	`distribute-lft-out_binary64_7190`
42×	`distribute-lft-neg-out_binary64_7198`
36×	`sqr-pow_binary64_7211`
34×	`prod-exp_binary64_7288` `sub0-neg_binary64_7226` `distribute-lft-out--_binary64_7191`
28×	`exp-sum_binary64_7285`
25×	`+-rgt-identity_binary64_7224` `distribute-rgt-neg-out_binary64_7199`
13×	`count-2_binary64_7187`
9×	`distribute-neg-out_binary64_7201`
7×	`cube-unmult_binary64_7276` `pow-sqr_binary64_7212` `difference-of-squares_binary64_7208`
6×	`unpow3_binary64_7305` `cancel-sign-sub_binary64_7204`
5×	`associate-/l/_binary64_7186`
4×	`pow-plus_binary64_7302` `exp-prod_binary64_7291` `cube-mult_binary64_7269` `swap-sqr_binary64_7206` `associate-*r/_binary64_7181`
3×	`sqr-neg_binary64_7253` `associate-/l*_binary64_7184`
2×	`exp-diff_binary64_7287` `cube-prod_binary64_7267`
1×	`unpow1/2_binary64_7303` `unpow1_binary64_7297` `exp-lft-cube_binary64_7295` `1-exp_binary64_7283` `cube-neg_binary64_7266` `rem-sqrt-square_binary64_7252` `remove-double-neg_binary64_7227` `associate-*l/_binary64_7182`
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_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `log-pow_binary64_7328` `log-rec_binary64_7327` `log-div_binary64_7326` `log-prod_binary64_7325` `pow-base-0_binary64_7323` `unpow1/3_binary64_7306` `unpow2_binary64_7304` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow-1_binary64_7296` `exp-lft-sqr_binary64_7294` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `div-exp_binary64_7290` `rec-exp_binary64_7289` `exp-neg_binary64_7286` `e-exp-1_binary64_7284` `exp-1-e_binary64_7282` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `cube-div_binary64_7268` `rem-3cbrt-rft_binary64_7265` `rem-3cbrt-lft_binary64_7264` `rem-cbrt-cube_binary64_7263` `rem-cube-cbrt_binary64_7262` `sqr-abs_binary64_7254` `rem-square-sqrt_binary64_7251` `times-frac_binary64_7245` `div-sub_binary64_7244` `mul-1-neg_binary64_7231` `/-rgt-identity_binary64_7230` `-rgt-identity_binary64_7229` `-lft-identity_binary64_7228` `--rgt-identity_binary64_7225` `+-lft-identity_binary64_7223` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `div0_binary64_7220` `-inverses_binary64_7219` `+-inverses_binary64_7218` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `remove-double-div_binary64_7215` `difference-of-sqr--1_binary64_7210` `difference-of-sqr-1_binary64_7209` `distribute-neg-frac_binary64_7203` `distribute-frac-neg_binary64_7202` `distribute-rgt1-in_binary64_7195` `distribute-lft1-in_binary64_7194` `associate-/r/_binary64_7185` `associate-/r_binary64_7183` `associate--l-_binary64_7177`

Counts

32 → 24

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	44	458
1	126	431
2	477	425
3	2135	425
4	3208	425
5	4919	425
6	5060	425

prune21.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	24	3	27

Error

0.0b

Counts

27 → 3

Compiler

Compiled 349 to 151 computations (56.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (.f64 3 x))) (cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x))))
0.6b	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))
0.6b	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))
0.6b	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))

rewrite237.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_7270`
23×	`add-sqr-sqrt_binary64_7261`
18×	`cbrt-div_binary64_7271`
15×	`add-cube-cbrt_binary64_7274` `*-un-lft-identity_binary64_7239`
11×	`pow1_binary64_7300`
9×	`pow1/3_binary64_7321` `flip3-+_binary64_7242` `flip-+_binary64_7213`
6×	`add-exp-log_binary64_7277` `swap-sqr_binary64_7206` `associate-l_binary64_7180` `associate-r_binary64_7179`
4×	`add-log-exp_binary64_7278` `add-cbrt-cube_binary64_7275` `frac-times_binary64_7249` `unswap-sqr_binary64_7207`
2×	`pow-prod-down_binary64_7310` `pow-prod-up_binary64_7309` `pow-sqr_binary64_7212` `associate-l/_binary64_7182` `associate-r/_binary64_7181`
1×	`pow2_binary64_7320` `pow-plus_binary64_7302` `prod-exp_binary64_7288` `cbrt-unprod_binary64_7272` `*-commutative_binary64_7170`

Counts

4 → 87

Calls

4 calls:

26.0ms	(.f64 (cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (.f64 3 x))) (cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x))))
9.0ms	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))
9.0ms	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))
9.0ms	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))

Compiler

Compiled 4124 to 1916 computations (53.5% saved)

series2.5s (24.3%)

Error

0.0b

Counts

4 → 84

Calls

4 calls:

734.0ms	(.f64 (cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (.f64 3 x))) (cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x))))
500.0ms	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))
487.0ms	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))
481.0ms	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))

Compiler

Compiled 13220 to 10131 computations (23.4% saved)

simplify184.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

429×	`cancel-sign-sub-inv_binary64_7205`
289×	`associate-r_binary64_7179`
213×	`unswap-sqr_binary64_7207`
212×	`*-commutative_binary64_7170`
203×	`sub-neg_binary64_7232`
181×	`associate-l_binary64_7180`
162×	`times-frac_binary64_7245`
142×	`+-commutative_binary64_7169`
136×	`sqr-pow_binary64_7211`
120×	`associate-/l*_binary64_7184`
100×	`associate-/r*_binary64_7183`
93×	`associate-+l+_binary64_7172`
91×	`associate-+r+_binary64_7171`
69×	`associate--l+_binary64_7176`
64×	`neg-mul-1_binary64_7235` `neg-sub0_binary64_7234`
60×	`associate-l/_binary64_7182` `associate-r/_binary64_7181`
59×	`associate--r+_binary64_7175`
50×	`distribute-rgt-in_binary64_7189`
46×	`distribute-lft-in_binary64_7188`
42×	`unsub-neg_binary64_7233`
41×	`exp-sum_binary64_7285`
32×	`associate-/r/_binary64_7185`
30×	`exp-prod_binary64_7291`
28×	`unpow1/3_binary64_7306`
20×	`distribute-rgt-neg-in_binary64_7197`
18×	`distribute-neg-in_binary64_7200` `distribute-lft-neg-in_binary64_7196`
15×	`log-prod_binary64_7325`
13×	`cube-prod_binary64_7267` `pow-sqr_binary64_7212`
9×	`exp-diff_binary64_7287` `cube-unmult_binary64_7276` `div-sub_binary64_7244` `*-rgt-identity_binary64_7229` `swap-sqr_binary64_7206`
8×	`*-lft-identity_binary64_7228`
7×	`distribute-rgt-out_binary64_7192`
6×	`unpow2_binary64_7304` `unpow1/2_binary64_7303` `unpow1_binary64_7297`
5×	`log-div_binary64_7326` `unpow3_binary64_7305` `pow-plus_binary64_7302` `cube-mult_binary64_7269` `associate--r-_binary64_7178`
4×	`log-pow_binary64_7328` `remove-double-neg_binary64_7227` `distribute-rgt-neg-out_binary64_7199` `distribute-lft-neg-out_binary64_7198`
3×	`rem-sqrt-square_binary64_7252`
2×	`log-rec_binary64_7327` `rem-3cbrt-lft_binary64_7264` `distribute-rgt-out--_binary64_7193` `count-2_binary64_7187`
1×	`1-exp_binary64_7283` `exp-1-e_binary64_7282` `rem-3cbrt-rft_binary64_7265` `rem-square-sqrt_binary64_7251` `+-inverses_binary64_7218` `difference-of-squares_binary64_7208` `distribute-lft-out_binary64_7190` `associate-+l-_binary64_7174` `associate-+r-_binary64_7173`
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_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `pow-base-0_binary64_7323` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow-1_binary64_7296` `exp-lft-cube_binary64_7295` `exp-lft-sqr_binary64_7294` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `div-exp_binary64_7290` `rec-exp_binary64_7289` `prod-exp_binary64_7288` `exp-neg_binary64_7286` `e-exp-1_binary64_7284` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `cube-div_binary64_7268` `cube-neg_binary64_7266` `rem-cbrt-cube_binary64_7263` `rem-cube-cbrt_binary64_7262` `sqr-abs_binary64_7254` `sqr-neg_binary64_7253` `mul-1-neg_binary64_7231` `/-rgt-identity_binary64_7230` `sub0-neg_binary64_7226` `--rgt-identity_binary64_7225` `+-rgt-identity_binary64_7224` `+-lft-identity_binary64_7223` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `div0_binary64_7220` `*-inverses_binary64_7219` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `remove-double-div_binary64_7215` `difference-of-sqr--1_binary64_7210` `difference-of-sqr-1_binary64_7209` `cancel-sign-sub_binary64_7204` `distribute-neg-frac_binary64_7203` `distribute-frac-neg_binary64_7202` `distribute-neg-out_binary64_7201` `distribute-rgt1-in_binary64_7195` `distribute-lft1-in_binary64_7194` `distribute-lft-out--_binary64_7191` `associate-/l/_binary64_7186` `associate--l-_binary64_7177`

Counts

171 → 158

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	393	8052
1	1048	7588
2	3547	7146
3	4986	7146

prune392.0ms (3.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	156	2	158
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	156	5	161

Error

0.0b

Counts

161 → 5

Compiler

Compiled 7742 to 4166 computations (46.2% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))
0.6b	(cbrt.f64 (+.f64 (*.f64 3 x) (+.f64 (+.f64 y y) z)))
0.6b	(cbrt.f64 (+.f64 (*.f64 3 x) (+.f64 (+.f64 y y) z)))
1.2b	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 3 x) (+.f64 (+.f64 y y) z)))) 6)

rewrite229.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`cbrt-prod_binary64_7270`
11×	`add-cube-cbrt_binary64_7274` `add-sqr-sqrt_binary64_7261` `*-un-lft-identity_binary64_7239`
9×	`unpow-prod-down_binary64_7318`
6×	`cbrt-div_binary64_7271`
5×	`pow1_binary64_7300` `add-exp-log_binary64_7277`
4×	`pow1/3_binary64_7321` `add-log-exp_binary64_7278` `add-cbrt-cube_binary64_7275`
3×	`pow-unpow_binary64_7316` `flip3-+_binary64_7242` `flip-+_binary64_7213`
2×	`pow-pow_binary64_7311`
1×	`pow-to-exp_binary64_7308` `pow-exp_binary64_7307` `sqr-pow_binary64_7211`

Counts

4 → 63

Calls

4 calls:

14.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 3 x) (+.f64 (+.f64 y y) z)))) 6)
10.0ms	(cbrt.f64 (+.f64 (*.f64 3 x) (+.f64 (+.f64 y y) z)))
10.0ms	(cbrt.f64 (+.f64 (*.f64 3 x) (+.f64 (+.f64 y y) z)))
9.0ms	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))

Compiler

Compiled 3791 to 1957 computations (48.4% saved)

series3.4s (33.5%)

Error

0.0b

Counts

4 → 81

Calls

4 calls:

1.7s	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 3 x) (+.f64 (+.f64 y y) z)))) 6)
493.0ms	(cbrt.f64 (+.f64 (*.f64 3 x) (+.f64 (+.f64 y y) z)))
476.0ms	(cbrt.f64 (+.f64 (+.f64 z (+.f64 y y)) (*.f64 3 x)))
454.0ms	(cbrt.f64 (+.f64 (*.f64 3 x) (+.f64 (+.f64 y y) z)))

Compiler

Compiled 15365 to 11215 computations (27% saved)

simplify161.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

514×	`cancel-sign-sub-inv_binary64_7205`
286×	`unswap-sqr_binary64_7207`
228×	`associate-r_binary64_7179`
210×	`sqr-pow_binary64_7211`
208×	`sub-neg_binary64_7232`
168×	`*-commutative_binary64_7170`
152×	`times-frac_binary64_7245`
144×	`associate-l_binary64_7180`
132×	`+-commutative_binary64_7169`
109×	`associate-/l*_binary64_7184`
96×	`associate-+l+_binary64_7172`
94×	`associate-/r*_binary64_7183`
88×	`associate-+r+_binary64_7171`
75×	`associate--l+_binary64_7176`
69×	`associate--r+_binary64_7175`
61×	`neg-mul-1_binary64_7235` `neg-sub0_binary64_7234`
56×	`distribute-rgt-in_binary64_7189` `distribute-lft-in_binary64_7188`
49×	`exp-prod_binary64_7291`
48×	`associate-l/_binary64_7182` `associate-r/_binary64_7181`
45×	`unsub-neg_binary64_7233`
41×	`swap-sqr_binary64_7206`
35×	`exp-sum_binary64_7285`
33×	`log-prod_binary64_7325`
29×	`pow-sqr_binary64_7212`
26×	`unpow1/3_binary64_7306`
25×	`cube-prod_binary64_7267` `associate-/r/_binary64_7185`
23×	`distribute-neg-in_binary64_7200`
21×	`unpow3_binary64_7305` `cube-mult_binary64_7269`
17×	`distribute-rgt-neg-in_binary64_7197`
14×	`log-pow_binary64_7328`
13×	`distribute-lft-neg-in_binary64_7196`
8×	`cube-unmult_binary64_7276` `rem-cube-cbrt_binary64_7262`
7×	`unpow1/2_binary64_7303` `pow-plus_binary64_7302` `unpow1_binary64_7297` `rem-sqrt-square_binary64_7252`
6×	`unpow2_binary64_7304`
5×	`log-div_binary64_7326` `prod-exp_binary64_7288` `exp-diff_binary64_7287` `div-sub_binary64_7244` `associate--r-_binary64_7178`
4×	`distribute-lft-neg-out_binary64_7198` `distribute-rgt-out_binary64_7192`
3×	`distribute-rgt-out--_binary64_7193`
2×	`log-rec_binary64_7327` `rem-3cbrt-lft_binary64_7264` `remove-double-neg_binary64_7227` `difference-of-squares_binary64_7208` `associate-+l-_binary64_7174` `associate-+r-_binary64_7173`
1×	`1-exp_binary64_7283` `rem-cbrt-cube_binary64_7263` `sqr-abs_binary64_7254` `+-inverses_binary64_7218` `distribute-lft-out--_binary64_7191` `count-2_binary64_7187`
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_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `pow-base-0_binary64_7323` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow-1_binary64_7296` `exp-lft-cube_binary64_7295` `exp-lft-sqr_binary64_7294` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `div-exp_binary64_7290` `rec-exp_binary64_7289` `exp-neg_binary64_7286` `e-exp-1_binary64_7284` `exp-1-e_binary64_7282` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `cube-div_binary64_7268` `cube-neg_binary64_7266` `rem-3cbrt-rft_binary64_7265` `sqr-neg_binary64_7253` `rem-square-sqrt_binary64_7251` `mul-1-neg_binary64_7231` `/-rgt-identity_binary64_7230` `-rgt-identity_binary64_7229` `-lft-identity_binary64_7228` `sub0-neg_binary64_7226` `--rgt-identity_binary64_7225` `+-rgt-identity_binary64_7224` `+-lft-identity_binary64_7223` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `div0_binary64_7220` `*-inverses_binary64_7219` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `remove-double-div_binary64_7215` `difference-of-sqr--1_binary64_7210` `difference-of-sqr-1_binary64_7209` `cancel-sign-sub_binary64_7204` `distribute-neg-frac_binary64_7203` `distribute-frac-neg_binary64_7202` `distribute-neg-out_binary64_7201` `distribute-rgt-neg-out_binary64_7199` `distribute-rgt1-in_binary64_7195` `distribute-lft1-in_binary64_7194` `distribute-lft-out_binary64_7190` `associate-/l/_binary64_7186` `associate--l-_binary64_7177`

Counts

144 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	389	6334
1	1006	5973
2	3456	5752
3	5246	5752

prune483.0ms (4.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	131	5	136

Error

0.0b

Counts

136 → 5

Compiler

Compiled 8568 to 4824 computations (43.7% saved)

regimes311.0ms (3%)

Accuracy

Total 0.0b remaining (66.6%)

Threshold costs 0.0b (66.6%)

Compiler

Compiled 3592 to 2382 computations (33.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64_7169`
1×	`*-commutative_binary64_7170`
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_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `unpow1_binary64_7297` `e-exp-1_binary64_7284` `1-exp_binary64_7283` `exp-1-e_binary64_7282` `exp-0_binary64_7281` `sqr-abs_binary64_7254` `sqr-neg_binary64_7253` `neg-mul-1_binary64_7235` `neg-sub0_binary64_7234` `unsub-neg_binary64_7233` `sub-neg_binary64_7232` `mul-1-neg_binary64_7231` `/-rgt-identity_binary64_7230` `-rgt-identity_binary64_7229` `-lft-identity_binary64_7228` `remove-double-neg_binary64_7227` `sub0-neg_binary64_7226` `--rgt-identity_binary64_7225` `+-rgt-identity_binary64_7224` `+-lft-identity_binary64_7223` `cancel-sign-sub-inv_binary64_7205` `cancel-sign-sub_binary64_7204` `distribute-neg-frac_binary64_7203` `distribute-frac-neg_binary64_7202` `distribute-neg-out_binary64_7201` `distribute-neg-in_binary64_7200` `distribute-rgt-neg-out_binary64_7199` `distribute-lft-neg-out_binary64_7198` `distribute-rgt-neg-in_binary64_7197` `distribute-lft-neg-in_binary64_7196`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	13	13
2	13	13

end0.0ms (0%)

sample1.2s (11.4%)

Algorithm

1×

intervals

Results

209.0ms	7445×	body	128	valid
18.0ms	195×	body	1024	valid
15.0ms	160×	body	512	valid
10.0ms	85×	body	2048	valid
6.0ms	115×	body	256	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 912 to 607 computations (33.4% saved)

Details

analyze459.0ms (4.5%)

sample17.0ms (0.2%)

simplify10.0ms (0.1%)

prune4.0ms (0%)

localize6.0ms (0.1%)

rewrite27.0ms (0.3%)

series191.0ms (1.9%)

simplify70.0ms (0.7%)

prune27.0ms (0.3%)

localize6.0ms (0.1%)

rewrite24.0ms (0.2%)

series192.0ms (1.9%)

simplify74.0ms (0.7%)

prune21.0ms (0.2%)

localize10.0ms (0.1%)

rewrite237.0ms (2.3%)

series2.5s (24.3%)

simplify184.0ms (1.8%)

prune392.0ms (3.8%)

localize22.0ms (0.2%)

rewrite229.0ms (2.2%)

series3.4s (33.5%)

simplify161.0ms (1.6%)

prune483.0ms (4.7%)

regimes311.0ms (3%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.2s (11.4%)

Profiling