Details

analyze987.0ms (10.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

55×	`associate-/l*_binary64_6161`
32×	`associate-/r/_binary64_6162`
31×	`associate-/r*_binary64_6160`
30×	`associate-*r/_binary64_6158`
23×	`*-commutative_binary64_6147`
20×	`times-frac_binary64_6222` `associate-*l/_binary64_6159`
18×	`associate-/l/_binary64_6163`
1×	`swap-a1-a2` `swap-b1-b2`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `log-pow_binary64_6305` `log-rec_binary64_6304` `log-div_binary64_6303` `log-prod_binary64_6302` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow3_binary64_6282` `unpow2_binary64_6281` `unpow1/2_binary64_6280` `pow-plus_binary64_6279` `exp-to-pow_binary64_6278` `pow-base-1_binary64_6276` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-lft-sqr_binary64_6271` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `exp-prod_binary64_6268` `div-exp_binary64_6267` `rec-exp_binary64_6266` `prod-exp_binary64_6265` `exp-diff_binary64_6264` `exp-neg_binary64_6263` `exp-sum_binary64_6262` `e-exp-1_binary64_6261` `1-exp_binary64_6260` `exp-1-e_binary64_6259` `exp-0_binary64_6258` `rem-log-exp_binary64_6257` `rem-exp-log_binary64_6256` `cube-unmult_binary64_6253` `cube-mult_binary64_6246` `cube-div_binary64_6245` `cube-prod_binary64_6244` `cube-neg_binary64_6243` `rem-3cbrt-rft_binary64_6242` `rem-3cbrt-lft_binary64_6241` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `rem-sqrt-square_binary64_6229` `rem-square-sqrt_binary64_6228` `div-sub_binary64_6221` `neg-mul-1_binary64_6212` `neg-sub0_binary64_6211` `unsub-neg_binary64_6210` `sub-neg_binary64_6209` `mul-1-neg_binary64_6208` `/-rgt-identity_binary64_6207` `-rgt-identity_binary64_6206` `-lft-identity_binary64_6205` `remove-double-neg_binary64_6204` `sub0-neg_binary64_6203` `--rgt-identity_binary64_6202` `+-rgt-identity_binary64_6201` `+-lft-identity_binary64_6200` `mul0-rgt_binary64_6199` `mul0-lft_binary64_6198` `div0_binary64_6197` `-inverses_binary64_6196` `+-inverses_binary64_6195` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `remove-double-div_binary64_6192` `pow-sqr_binary64_6189` `sqr-pow_binary64_6188` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `difference-of-squares_binary64_6185` `unswap-sqr_binary64_6184` `swap-sqr_binary64_6183` `cancel-sign-sub-inv_binary64_6182` `cancel-sign-sub_binary64_6181` `distribute-neg-frac_binary64_6180` `distribute-frac-neg_binary64_6179` `distribute-neg-out_binary64_6178` `distribute-neg-in_binary64_6177` `distribute-rgt-neg-out_binary64_6176` `distribute-lft-neg-out_binary64_6175` `distribute-rgt-neg-in_binary64_6174` `distribute-lft-neg-in_binary64_6173` `distribute-rgt1-in_binary64_6172` `distribute-lft1-in_binary64_6171` `distribute-rgt-out--_binary64_6170` `distribute-rgt-out_binary64_6169` `distribute-lft-out--_binary64_6168` `distribute-lft-out_binary64_6167` `distribute-rgt-in_binary64_6166` `distribute-lft-in_binary64_6165` `count-2_binary64_6164` `associate-l_binary64_6157` `associate-r*_binary64_6156` `associate--r-_binary64_6155` `associate--l-_binary64_6154` `associate--l+_binary64_6153` `associate--r+_binary64_6152` `associate-+l-_binary64_6151` `associate-+r-_binary64_6150` `associate-+l+_binary64_6149` `associate-+r+_binary64_6148` `+-commutative_binary64_6146`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	70
1	61	70
2	146	70
3	223	70
4	228	70
5	228	70
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
18.7%	81.1%	0.2%	9
21.8%	78%	0.2%	10
25%	74.9%	0.2%	11
34.7%	64.9%	0.4%	12
47.2%	51.9%	0.9%	13
49%	49.2%	1.8%	14

Symmetry

(sort a1 a2)

(sort b1 b2)

Compiler

Compiled 8 to 8 computations (0% saved)

sample33.0ms (0.3%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
2.0ms	61×	body	128	invalid

Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`associate-/l*_binary64_6161`
9×	`associate-/r/_binary64_6162` `associate-*r/_binary64_6158`
7×	`*-commutative_binary64_6147`
6×	`associate-/r*_binary64_6160`
4×	`times-frac_binary64_6222` `associate-/l/_binary64_6163` `associate-*l/_binary64_6159`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `log-pow_binary64_6305` `log-rec_binary64_6304` `log-div_binary64_6303` `log-prod_binary64_6302` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow3_binary64_6282` `unpow2_binary64_6281` `unpow1/2_binary64_6280` `pow-plus_binary64_6279` `exp-to-pow_binary64_6278` `pow-base-1_binary64_6276` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-lft-sqr_binary64_6271` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `exp-prod_binary64_6268` `div-exp_binary64_6267` `rec-exp_binary64_6266` `prod-exp_binary64_6265` `exp-diff_binary64_6264` `exp-neg_binary64_6263` `exp-sum_binary64_6262` `e-exp-1_binary64_6261` `1-exp_binary64_6260` `exp-1-e_binary64_6259` `exp-0_binary64_6258` `rem-log-exp_binary64_6257` `rem-exp-log_binary64_6256` `cube-unmult_binary64_6253` `cube-mult_binary64_6246` `cube-div_binary64_6245` `cube-prod_binary64_6244` `cube-neg_binary64_6243` `rem-3cbrt-rft_binary64_6242` `rem-3cbrt-lft_binary64_6241` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `rem-sqrt-square_binary64_6229` `rem-square-sqrt_binary64_6228` `div-sub_binary64_6221` `neg-mul-1_binary64_6212` `neg-sub0_binary64_6211` `unsub-neg_binary64_6210` `sub-neg_binary64_6209` `mul-1-neg_binary64_6208` `/-rgt-identity_binary64_6207` `-rgt-identity_binary64_6206` `-lft-identity_binary64_6205` `remove-double-neg_binary64_6204` `sub0-neg_binary64_6203` `--rgt-identity_binary64_6202` `+-rgt-identity_binary64_6201` `+-lft-identity_binary64_6200` `mul0-rgt_binary64_6199` `mul0-lft_binary64_6198` `div0_binary64_6197` `-inverses_binary64_6196` `+-inverses_binary64_6195` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `remove-double-div_binary64_6192` `pow-sqr_binary64_6189` `sqr-pow_binary64_6188` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `difference-of-squares_binary64_6185` `unswap-sqr_binary64_6184` `swap-sqr_binary64_6183` `cancel-sign-sub-inv_binary64_6182` `cancel-sign-sub_binary64_6181` `distribute-neg-frac_binary64_6180` `distribute-frac-neg_binary64_6179` `distribute-neg-out_binary64_6178` `distribute-neg-in_binary64_6177` `distribute-rgt-neg-out_binary64_6176` `distribute-lft-neg-out_binary64_6175` `distribute-rgt-neg-in_binary64_6174` `distribute-lft-neg-in_binary64_6173` `distribute-rgt1-in_binary64_6172` `distribute-lft1-in_binary64_6171` `distribute-rgt-out--_binary64_6170` `distribute-rgt-out_binary64_6169` `distribute-lft-out--_binary64_6168` `distribute-lft-out_binary64_6167` `distribute-rgt-in_binary64_6166` `distribute-lft-in_binary64_6165` `count-2_binary64_6164` `associate-l_binary64_6157` `associate-r*_binary64_6156` `associate--r-_binary64_6155` `associate--l-_binary64_6154` `associate--l+_binary64_6153` `associate--r+_binary64_6152` `associate-+l-_binary64_6151` `associate-+r-_binary64_6150` `associate-+l+_binary64_6149` `associate-+r+_binary64_6148` `+-commutative_binary64_6146`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	17	10
2	38	10
3	63	10
4	69	10
5	68	10
6	68	10

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

11.9b

Counts

1 → 1

Compiler

Compiled 7 to 7 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

11.6b

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

rewrite35.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

13×	`add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252`
4×	`prod-exp_binary64_6265` `div-exp_binary64_6267` `cbrt-undiv_binary64_6250` `cbrt-unprod_binary64_6249`
1×	`pow1_binary64_6277` `add-log-exp_binary64_6255` `add-cube-cbrt_binary64_6251` `add-sqr-sqrt_binary64_6238` `frac-2neg_binary64_6227` `times-frac_binary64_6222` `-un-lft-identity_binary64_6216` `clear-num_binary64_6215` `div-inv_binary64_6213` `associate-/l_binary64_6161` `associate-/r*_binary64_6160`

Counts

1 → 21

Calls

1 calls:

6.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

Compiler

Compiled 291 to 77 computations (73.5% saved)

series284.0ms (3%)

Error

11.9b

Counts

1 → 12

Calls

1 calls:

279.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

Compiler

Compiled 252 to 175 computations (30.6% saved)

simplify81.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

579×	`associate-/r*_binary64_6160`
393×	`associate-l_binary64_6157`
381×	`associate-*l/_binary64_6159`
297×	`associate-*r/_binary64_6158`
271×	`associate-r_binary64_6156`
251×	`div-sub_binary64_6221`
204×	`associate-/l/_binary64_6163`
181×	`times-frac_binary64_6222`
141×	`sub-neg_binary64_6209`
132×	`distribute-rgt-in_binary64_6166`
126×	`*-commutative_binary64_6147`
113×	`associate-/r/_binary64_6162`
98×	`sqr-pow_binary64_6188`
97×	`associate--r+_binary64_6152`
89×	`associate--l+_binary64_6153`
87×	`associate-/l*_binary64_6161`
73×	`distribute-lft-in_binary64_6165`
65×	`unswap-sqr_binary64_6184`
55×	`+-commutative_binary64_6146`
47×	`associate-+l-_binary64_6151` `associate-+l+_binary64_6149`
42×	`associate-+r+_binary64_6148`
40×	`distribute-neg-in_binary64_6177`
35×	`neg-mul-1_binary64_6212`
34×	`log-div_binary64_6303` `cube-div_binary64_6245` `swap-sqr_binary64_6183` `cancel-sign-sub-inv_binary64_6182`
31×	`neg-sub0_binary64_6211` `associate--r-_binary64_6155`
24×	`log-prod_binary64_6302`
23×	`unsub-neg_binary64_6210`
21×	`cube-prod_binary64_6244`
17×	`unpow3_binary64_6282` `cube-mult_binary64_6246`
15×	`sub0-neg_binary64_6203` `pow-sqr_binary64_6189`
14×	`associate-+r-_binary64_6150`
12×	`distribute-lft-neg-in_binary64_6173`
11×	`remove-double-neg_binary64_6204` `+-rgt-identity_binary64_6201`
10×	`--rgt-identity_binary64_6202`
8×	`associate--l-_binary64_6154`
7×	`exp-prod_binary64_6268` `cube-unmult_binary64_6253`
5×	`distribute-rgt-neg-in_binary64_6174`
4×	`mul0-rgt_binary64_6199` `mul0-lft_binary64_6198` `distribute-neg-out_binary64_6178` `distribute-lft-neg-out_binary64_6175` `distribute-lft-out--_binary64_6168`
2×	`exp-diff_binary64_6264` `*-lft-identity_binary64_6205` `+-lft-identity_binary64_6200`
1×	`exp-sum_binary64_6262` `1-exp_binary64_6260` `distribute-rgt-neg-out_binary64_6176` `distribute-lft-out_binary64_6167`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `log-pow_binary64_6305` `log-rec_binary64_6304` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow2_binary64_6281` `unpow1/2_binary64_6280` `pow-plus_binary64_6279` `exp-to-pow_binary64_6278` `pow-base-1_binary64_6276` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-lft-sqr_binary64_6271` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `div-exp_binary64_6267` `rec-exp_binary64_6266` `prod-exp_binary64_6265` `exp-neg_binary64_6263` `e-exp-1_binary64_6261` `exp-1-e_binary64_6259` `exp-0_binary64_6258` `rem-log-exp_binary64_6257` `rem-exp-log_binary64_6256` `cube-neg_binary64_6243` `rem-3cbrt-rft_binary64_6242` `rem-3cbrt-lft_binary64_6241` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `rem-sqrt-square_binary64_6229` `rem-square-sqrt_binary64_6228` `mul-1-neg_binary64_6208` `/-rgt-identity_binary64_6207` `-rgt-identity_binary64_6206` `div0_binary64_6197` `-inverses_binary64_6196` `+-inverses_binary64_6195` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `remove-double-div_binary64_6192` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `difference-of-squares_binary64_6185` `cancel-sign-sub_binary64_6181` `distribute-neg-frac_binary64_6180` `distribute-frac-neg_binary64_6179` `distribute-rgt1-in_binary64_6172` `distribute-lft1-in_binary64_6171` `distribute-rgt-out--_binary64_6170` `distribute-rgt-out_binary64_6169` `count-2_binary64_6164`

Counts

33 → 11

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	54	475
1	155	370
2	779	370
3	3457	370
4	3762	370
5	4079	370
6	4763	370
7	5076	370

prune14.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	8	3	11
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	8	4	12

Error

0.1b

Counts

12 → 4

Compiler

Compiled 124 to 54 computations (56.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

4.9b	(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
7.0b	(/.f64 b1 (/.f64 a2 b2))

rewrite335.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

471×	`times-frac_binary64_6222`
229×	`add-cube-cbrt_binary64_6251` `add-sqr-sqrt_binary64_6238` `*-un-lft-identity_binary64_6216`
57×	`associate-/r*_binary64_6160`
22×	`div-inv_binary64_6213`
16×	`add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252`
9×	`div-exp_binary64_6267` `cbrt-undiv_binary64_6250`
6×	`associate-/r/_binary64_6162` `associate-/l*_binary64_6161`
2×	`pow1_binary64_6277` `add-log-exp_binary64_6255` `frac-2neg_binary64_6227` `clear-num_binary64_6215`

Counts

2 → 266

Calls

2 calls:

13.0ms	(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
6.0ms	(/.f64 b1 (/.f64 a2 b2))

Compiler

Compiled 5203 to 1261 computations (75.8% saved)

series425.0ms (4.4%)

Error

0.1b

Counts

2 → 21

Calls

2 calls:

277.0ms	(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
138.0ms	(/.f64 b1 (/.f64 a2 b2))

Compiler

Compiled 441 to 303 computations (31.3% saved)

simplify298.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

563×	`associate-/r/_binary64_6162`
414×	`associate-/l/_binary64_6163`
381×	`associate-*l/_binary64_6159`
332×	`associate-*r/_binary64_6158`
323×	`*-commutative_binary64_6147`
297×	`sub-neg_binary64_6209`
242×	`associate-/r*_binary64_6160`
168×	`associate-/l*_binary64_6161`
164×	`div-sub_binary64_6221`
111×	`associate-r_binary64_6156`
101×	`*-rgt-identity_binary64_6206`
98×	`times-frac_binary64_6222`
97×	`sqr-pow_binary64_6188`
74×	`associate--r+_binary64_6152`
73×	`unsub-neg_binary64_6210`
71×	`associate-+l-_binary64_6151`
68×	`neg-mul-1_binary64_6212` `associate--l-_binary64_6154`
63×	`associate--r-_binary64_6155`
59×	`associate-+r-_binary64_6150`
57×	`associate--l+_binary64_6153`
55×	`neg-sub0_binary64_6211`
54×	`log-div_binary64_6303` `associate-l_binary64_6157`
49×	`cube-prod_binary64_6244`
47×	`log-prod_binary64_6302`
43×	`associate-+r+_binary64_6148`
41×	`cube-div_binary64_6245`
39×	`associate-+l+_binary64_6149`
38×	`swap-sqr_binary64_6183`
35×	`exp-prod_binary64_6268` `cancel-sign-sub-inv_binary64_6182`
28×	`distribute-rgt-in_binary64_6166`
26×	`unswap-sqr_binary64_6184`
23×	`distribute-neg-in_binary64_6177` `distribute-lft-neg-in_binary64_6173` `+-commutative_binary64_6146`
22×	`distribute-rgt-neg-in_binary64_6174`
21×	`*-lft-identity_binary64_6205`
20×	`sub0-neg_binary64_6203` `remove-double-div_binary64_6192`
17×	`unpow3_binary64_6282` `cube-mult_binary64_6246` `distribute-neg-frac_binary64_6180`
15×	`/-rgt-identity_binary64_6207`
13×	`--rgt-identity_binary64_6202` `pow-sqr_binary64_6189`
11×	`+-rgt-identity_binary64_6201`
8×	`log-rec_binary64_6304` `unpow1/2_binary64_6280` `distribute-lft-in_binary64_6165`
7×	`cube-unmult_binary64_6253`
6×	`div0_binary64_6197`
5×	`remove-double-neg_binary64_6204`
4×	`distribute-lft-neg-out_binary64_6175`
3×	`exp-diff_binary64_6264` `exp-sum_binary64_6262`
2×	`+-lft-identity_binary64_6200` `distribute-neg-out_binary64_6178` `distribute-rgt-neg-out_binary64_6176`
1×	`1-exp_binary64_6260` `exp-1-e_binary64_6259` `rem-sqrt-square_binary64_6229` `mul0-rgt_binary64_6199` `mul0-lft_binary64_6198` `+-inverses_binary64_6195` `count-2_binary64_6164`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `log-pow_binary64_6305` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow2_binary64_6281` `pow-plus_binary64_6279` `exp-to-pow_binary64_6278` `pow-base-1_binary64_6276` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-lft-sqr_binary64_6271` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `div-exp_binary64_6267` `rec-exp_binary64_6266` `prod-exp_binary64_6265` `exp-neg_binary64_6263` `e-exp-1_binary64_6261` `exp-0_binary64_6258` `rem-log-exp_binary64_6257` `rem-exp-log_binary64_6256` `cube-neg_binary64_6243` `rem-3cbrt-rft_binary64_6242` `rem-3cbrt-lft_binary64_6241` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `rem-square-sqrt_binary64_6228` `mul-1-neg_binary64_6208` `*-inverses_binary64_6196` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `difference-of-squares_binary64_6185` `cancel-sign-sub_binary64_6181` `distribute-frac-neg_binary64_6179` `distribute-rgt1-in_binary64_6172` `distribute-lft1-in_binary64_6171` `distribute-rgt-out--_binary64_6170` `distribute-rgt-out_binary64_6169` `distribute-lft-out--_binary64_6168` `distribute-lft-out_binary64_6167`

Counts

287 → 219

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	448	6523
1	986	6310
2	3704	6307
3	3637	6307
4	4538	6307
5	4664	6307
6	4977	6307

prune343.0ms (3.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	212	7	219
Fresh	1	1	2
Picked	1	0	1
Done	1	0	1
Total	215	8	223

Error

Counts

223 → 8

Compiler

Compiled 3515 to 669 computations (81% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

5.3b	(.f64 a1 (/.f64 a2 (.f64 b1 b2)))
5.3b	(/.f64 a2 (*.f64 b1 b2))

rewrite47.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252`
9×	`add-sqr-sqrt_binary64_6238`
7×	`add-cube-cbrt_binary64_6251` `-un-lft-identity_binary64_6216` `associate-r*_binary64_6156`
6×	`times-frac_binary64_6222`
5×	`prod-exp_binary64_6265` `cbrt-unprod_binary64_6249`
4×	`pow1_binary64_6277` `div-exp_binary64_6267` `cbrt-undiv_binary64_6250`
3×	`associate-/l_binary64_6161` `associate-l*_binary64_6157`
2×	`add-log-exp_binary64_6255` `div-inv_binary64_6213`
1×	`frac-2neg_binary64_6227` `clear-num_binary64_6215` `associate-/r_binary64_6160` `pow-prod-down_binary64_6287` `unswap-sqr_binary64_6184` `associate-r/_binary64_6158` `*-commutative_binary64_6147`

Counts

2 → 48

Calls

2 calls:

7.0ms	(.f64 a1 (/.f64 a2 (.f64 b1 b2)))
4.0ms	(/.f64 a2 (*.f64 b1 b2))

Compiler

Compiled 629 to 161 computations (74.4% saved)

series437.0ms (4.6%)

Error

Counts

2 → 21

Calls

2 calls:

274.0ms	(.f64 a1 (/.f64 a2 (.f64 b1 b2)))
155.0ms	(/.f64 a2 (*.f64 b1 b2))

Compiler

Compiled 441 to 303 computations (31.3% saved)

simplify117.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

760×	`times-frac_binary64_6222`
492×	`associate-l_binary64_6157`
425×	`associate-*r/_binary64_6158`
417×	`associate-*l/_binary64_6159`
415×	`associate-r_binary64_6156`
387×	`associate-/l*_binary64_6161`
334×	`associate-/r*_binary64_6160`
133×	`sub-neg_binary64_6209`
120×	`sqr-pow_binary64_6188`
110×	`associate-/l/_binary64_6163`
93×	`log-prod_binary64_6302`
91×	`unsub-neg_binary64_6210`
87×	`log-div_binary64_6303`
79×	`cube-div_binary64_6245`
78×	`cube-prod_binary64_6244`
71×	`pow-sqr_binary64_6189`
65×	`associate-/r/_binary64_6162`
64×	`exp-prod_binary64_6268`
58×	`unswap-sqr_binary64_6184`
57×	`swap-sqr_binary64_6183`
50×	`*-lft-identity_binary64_6205`
46×	`*-commutative_binary64_6147`
39×	`neg-mul-1_binary64_6212`
37×	`neg-sub0_binary64_6211`
34×	`associate--r-_binary64_6155`
33×	`associate-+l+_binary64_6149`
31×	`rem-sqrt-square_binary64_6229`
28×	`unpow3_binary64_6282`
25×	`cube-mult_binary64_6246` `distribute-rgt-in_binary64_6166`
24×	`*-rgt-identity_binary64_6206`
23×	`distribute-neg-in_binary64_6177`
22×	`associate-+r+_binary64_6148`
21×	`associate--l-_binary64_6154`
20×	`associate-+r-_binary64_6150` `+-commutative_binary64_6146`
19×	`associate-+l-_binary64_6151`
13×	`remove-double-neg_binary64_6204`
11×	`log-rec_binary64_6304` `/-rgt-identity_binary64_6207` `associate--l+_binary64_6153`
10×	`cancel-sign-sub-inv_binary64_6182` `associate--r+_binary64_6152`
9×	`distribute-lft-in_binary64_6165`
8×	`+-rgt-identity_binary64_6201`
7×	`cube-unmult_binary64_6253`
6×	`--rgt-identity_binary64_6202`
5×	`unpow1/2_binary64_6280` `distribute-neg-out_binary64_6178`
4×	`+-lft-identity_binary64_6200` `distribute-lft-neg-in_binary64_6173`
3×	`distribute-neg-frac_binary64_6180` `distribute-rgt-neg-in_binary64_6174`
2×	`sub0-neg_binary64_6203` `mul0-rgt_binary64_6199` `mul0-lft_binary64_6198` `distribute-rgt-out_binary64_6169`
1×	`1-exp_binary64_6260` `exp-1-e_binary64_6259` `count-2_binary64_6164`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `log-pow_binary64_6305` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow2_binary64_6281` `pow-plus_binary64_6279` `exp-to-pow_binary64_6278` `pow-base-1_binary64_6276` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-lft-sqr_binary64_6271` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `div-exp_binary64_6267` `rec-exp_binary64_6266` `prod-exp_binary64_6265` `exp-diff_binary64_6264` `exp-neg_binary64_6263` `exp-sum_binary64_6262` `e-exp-1_binary64_6261` `exp-0_binary64_6258` `rem-log-exp_binary64_6257` `rem-exp-log_binary64_6256` `cube-neg_binary64_6243` `rem-3cbrt-rft_binary64_6242` `rem-3cbrt-lft_binary64_6241` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `rem-square-sqrt_binary64_6228` `div-sub_binary64_6221` `mul-1-neg_binary64_6208` `div0_binary64_6197` `*-inverses_binary64_6196` `+-inverses_binary64_6195` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `remove-double-div_binary64_6192` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `difference-of-squares_binary64_6185` `cancel-sign-sub_binary64_6181` `distribute-frac-neg_binary64_6179` `distribute-rgt-neg-out_binary64_6176` `distribute-lft-neg-out_binary64_6175` `distribute-rgt1-in_binary64_6172` `distribute-lft1-in_binary64_6171` `distribute-rgt-out--_binary64_6170` `distribute-lft-out--_binary64_6168` `distribute-lft-out_binary64_6167`

Counts

69 → 41

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	79	831
1	190	702
2	734	702
3	3955	702
4	4375	702
5	4852	702
6	4941	702
7	4990	702

prune29.0ms (0.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	40	1	41
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	41	8	49

Error

Counts

49 → 8

Compiler

Compiled 459 to 143 computations (68.8% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

10.3b

(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))

rewrite54.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

27×	`add-sqr-sqrt_binary64_6238`
22×	`times-frac_binary64_6222`
15×	`add-cube-cbrt_binary64_6251` `*-un-lft-identity_binary64_6216`
13×	`add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252` `associate-l_binary64_6157` `associate-r_binary64_6156`
4×	`div-exp_binary64_6267` `prod-exp_binary64_6265` `cbrt-unprod_binary64_6249` `cbrt-undiv_binary64_6250` `unswap-sqr_binary64_6184`
3×	`pow1_binary64_6277`
2×	`div-inv_binary64_6213`
1×	`pow-prod-down_binary64_6287` `add-log-exp_binary64_6255` `frac-times_binary64_6226` `associate-l/_binary64_6159` `associate-r/_binary64_6158` `*-commutative_binary64_6147`

Counts

1 → 50

Calls

1 calls:

13.0ms

(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))

Compiler

Compiled 744 to 196 computations (73.7% saved)

series273.0ms (2.8%)

Error

Counts

1 → 12

Calls

1 calls:

268.0ms

(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))

Compiler

Compiled 252 to 175 computations (30.6% saved)

simplify117.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

669×	`associate-*l/_binary64_6159`
565×	`associate-*r/_binary64_6158`
498×	`associate-l_binary64_6157`
468×	`associate-/l*_binary64_6161`
386×	`associate-r_binary64_6156`
219×	`associate-/l/_binary64_6163`
201×	`times-frac_binary64_6222`
184×	`sqr-pow_binary64_6188`
179×	`unsub-neg_binary64_6210`
165×	`sub-neg_binary64_6209`
158×	`*-commutative_binary64_6147`
138×	`associate-/r/_binary64_6162`
120×	`associate-/r*_binary64_6160`
85×	`associate--r-_binary64_6155`
84×	`log-div_binary64_6303`
81×	`cube-div_binary64_6245`
69×	`distribute-neg-in_binary64_6177`
65×	`log-prod_binary64_6302`
63×	`associate-+l+_binary64_6149`
61×	`distribute-rgt-in_binary64_6166`
59×	`*-lft-identity_binary64_6205`
58×	`cube-prod_binary64_6244` `unswap-sqr_binary64_6184`
54×	`*-rgt-identity_binary64_6206`
52×	`associate-+r+_binary64_6148`
48×	`associate--l-_binary64_6154`
47×	`cancel-sign-sub-inv_binary64_6182`
46×	`associate-+l-_binary64_6151`
45×	`neg-mul-1_binary64_6212` `swap-sqr_binary64_6183`
41×	`pow-sqr_binary64_6189`
40×	`neg-sub0_binary64_6211`
37×	`exp-prod_binary64_6268` `/-rgt-identity_binary64_6207`
34×	`associate--r+_binary64_6152`
29×	`rem-sqrt-square_binary64_6229` `associate-+r-_binary64_6150`
28×	`unpow3_binary64_6282`
27×	`cube-mult_binary64_6246` `associate--l+_binary64_6153`
24×	`distribute-lft-in_binary64_6165`
23×	`+-commutative_binary64_6146`
15×	`log-rec_binary64_6304`
13×	`+-rgt-identity_binary64_6201`
10×	`remove-double-neg_binary64_6204` `sub0-neg_binary64_6203` `--rgt-identity_binary64_6202` `distribute-neg-out_binary64_6178`
9×	`unpow1/2_binary64_6280`
7×	`cube-unmult_binary64_6253` `remove-double-div_binary64_6192`
6×	`distribute-rgt-neg-in_binary64_6174`
5×	`distribute-lft-neg-in_binary64_6173`
4×	`distribute-lft-neg-out_binary64_6175`
3×	`+-lft-identity_binary64_6200` `distribute-lft-out_binary64_6167`
2×	`distribute-rgt-neg-out_binary64_6176` `distribute-lft-out--_binary64_6168`
1×	`1-exp_binary64_6260` `exp-1-e_binary64_6259` `distribute-rgt1-in_binary64_6172` `distribute-lft1-in_binary64_6171` `distribute-rgt-out--_binary64_6170` `distribute-rgt-out_binary64_6169` `count-2_binary64_6164`
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_6479` `erf-erfc_binary64_6478` `erf-odd_binary64_6477` `if-if-and-not_binary64_6476` `if-if-and_binary64_6475` `if-if-or-not_binary64_6474` `if-if-or_binary64_6473` `if-not_binary64_6472` `if-same_binary64_6471` `if-false_binary64_6470` `if-true_binary64_6469` `not-gte_binary64_6468` `not-lte_binary64_6467` `not-gt_binary64_6466` `not-lt_binary64_6465` `gte-same_binary64_6464` `lte-same_binary64_6463` `gt-same_binary64_6462` `lt-same_binary64_6461` `sinh---cosh_binary64_6408` `sinh-+-cosh_binary64_6407` `sinh-cosh_binary64_6406` `tanh-def-c_binary64_6405` `tanh-def-b_binary64_6404` `tanh-def-a_binary64_6403` `cosh-def_binary64_6402` `sinh-def_binary64_6401` `tan-neg_binary64_6348` `cos-neg_binary64_6347` `sin-neg_binary64_6346` `tan-0_binary64_6345` `cos-0_binary64_6344` `sin-0_binary64_6343` `hang-m-tan_binary64_6342` `hang-p-tan_binary64_6341` `hang-m0-tan_binary64_6340` `hang-p0-tan_binary64_6339` `hang-0m-tan_binary64_6338` `hang-0p-tan_binary64_6337` `tan-+PI/2_binary64_6336` `tan-+PI_binary64_6335` `tan-PI_binary64_6334` `tan-PI/3_binary64_6333` `tan-PI/4_binary64_6332` `tan-PI/6_binary64_6331` `cos-+PI/2_binary64_6330` `cos-+PI_binary64_6329` `cos-PI_binary64_6328` `cos-PI/2_binary64_6327` `cos-PI/3_binary64_6326` `cos-PI/4_binary64_6325` `cos-PI/6_binary64_6324` `sin-+PI/2_binary64_6323` `sin-+PI_binary64_6322` `sin-PI_binary64_6321` `sin-PI/2_binary64_6320` `sin-PI/3_binary64_6319` `sin-PI/4_binary64_6318` `sin-PI/6_binary64_6317` `sub-1-sin_binary64_6316` `sub-1-cos_binary64_6315` `-1-add-sin_binary64_6314` `-1-add-cos_binary64_6313` `1-sub-sin_binary64_6312` `1-sub-cos_binary64_6311` `cos-sin-sum_binary64_6310` `log-E_binary64_6306` `log-pow_binary64_6305` `pow-base-0_binary64_6300` `unpow1/3_binary64_6283` `unpow2_binary64_6281` `pow-plus_binary64_6279` `exp-to-pow_binary64_6278` `pow-base-1_binary64_6276` `unpow0_binary64_6275` `unpow1_binary64_6274` `unpow-1_binary64_6273` `exp-lft-cube_binary64_6272` `exp-lft-sqr_binary64_6271` `exp-cbrt_binary64_6270` `exp-sqrt_binary64_6269` `div-exp_binary64_6267` `rec-exp_binary64_6266` `prod-exp_binary64_6265` `exp-diff_binary64_6264` `exp-neg_binary64_6263` `exp-sum_binary64_6262` `e-exp-1_binary64_6261` `exp-0_binary64_6258` `rem-log-exp_binary64_6257` `rem-exp-log_binary64_6256` `cube-neg_binary64_6243` `rem-3cbrt-rft_binary64_6242` `rem-3cbrt-lft_binary64_6241` `rem-cbrt-cube_binary64_6240` `rem-cube-cbrt_binary64_6239` `sqr-abs_binary64_6231` `sqr-neg_binary64_6230` `rem-square-sqrt_binary64_6228` `div-sub_binary64_6221` `mul-1-neg_binary64_6208` `mul0-rgt_binary64_6199` `mul0-lft_binary64_6198` `div0_binary64_6197` `*-inverses_binary64_6196` `+-inverses_binary64_6195` `lft-mult-inverse_binary64_6194` `rgt-mult-inverse_binary64_6193` `difference-of-sqr--1_binary64_6187` `difference-of-sqr-1_binary64_6186` `difference-of-squares_binary64_6185` `cancel-sign-sub_binary64_6181` `distribute-neg-frac_binary64_6180` `distribute-frac-neg_binary64_6179`

Counts

62 → 38

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	111	911
1	306	803
2	959	803
3	3793	803
4	4205	803
5	4706	803
6	4933	803
7	4974	803

prune24.0ms (0.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	38	8	46

Error

Counts

46 → 8

Compiler

Compiled 475 to 121 computations (74.5% saved)

regimes2.5s (26.4%)

Accuracy

Total 2.4b remaining (100%)

Threshold costs 0b (0%)

Compiler

Compiled 17869 to 12481 computations (30.2% saved)

bsearch7.0ms (0.1%)

Compiler: Compiled 7 to 7 computations (0% saved)

simplify46.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

4× *-commutative_binary64_6147

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_6476 if-if-and_binary64_6475 if-if-or-not_binary64_6474 if-if-or_binary64_6473 if-not_binary64_6472 if-same_binary64_6471 if-false_binary64_6470 if-true_binary64_6469 tan-0_binary64_6345 cos-0_binary64_6344 sin-0_binary64_6343 unpow1_binary64_6274 e-exp-1_binary64_6261 1-exp_binary64_6260 exp-1-e_binary64_6259 exp-0_binary64_6258 sqr-abs_binary64_6231 sqr-neg_binary64_6230 neg-mul-1_binary64_6212 neg-sub0_binary64_6211 unsub-neg_binary64_6210 sub-neg_binary64_6209 mul-1-neg_binary64_6208 /-rgt-identity_binary64_6207 *-rgt-identity_binary64_6206 *-lft-identity_binary64_6205 remove-double-neg_binary64_6204 sub0-neg_binary64_6203 --rgt-identity_binary64_6202 +-rgt-identity_binary64_6201 +-lft-identity_binary64_6200 cancel-sign-sub-inv_binary64_6182 cancel-sign-sub_binary64_6181 distribute-neg-frac_binary64_6180 distribute-frac-neg_binary64_6179 distribute-neg-out_binary64_6178 distribute-neg-in_binary64_6177 distribute-rgt-neg-out_binary64_6176 distribute-lft-neg-out_binary64_6175 distribute-rgt-neg-in_binary64_6174 distribute-lft-neg-in_binary64_6173 +-commutative_binary64_6146

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	110
1	34	110
2	34	110

Compiler

Compiled 300 to 112 computations (62.7% saved)

end0.0ms (0%)

sample3.0s (31.7%)

Algorithm

1×

intervals

Results

235.0ms	8000×	body	128	valid
55.0ms	1850×	body	128	invalid

Compiler

Compiled 2548 to 1759 computations (31% saved)

Details

analyze987.0ms (10.3%)

sample33.0ms (0.3%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite35.0ms (0.4%)

series284.0ms (3%)

simplify81.0ms (0.8%)

prune14.0ms (0.1%)

localize6.0ms (0.1%)

rewrite335.0ms (3.5%)

series425.0ms (4.4%)

simplify298.0ms (3.1%)

prune343.0ms (3.6%)

localize5.0ms (0.1%)

rewrite47.0ms (0.5%)

series437.0ms (4.6%)

simplify117.0ms (1.2%)

prune29.0ms (0.3%)

localize6.0ms (0.1%)

rewrite54.0ms (0.6%)

series273.0ms (2.8%)

simplify117.0ms (1.2%)

prune24.0ms (0.3%)

regimes2.5s (26.4%)

bsearch7.0ms (0.1%)

simplify46.0ms (0.5%)

end0.0ms (0%)

sample3.0s (31.7%)

Profiling