Details

analyze233.0ms (5.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

24×	`associate-+l+_binary64_13992`
18×	`associate-+r+_binary64_13991`
10×	`distribute-rgt-in_binary64_14009`
8×	`*-commutative_binary64_13990`
6×	`distribute-rgt-out_binary64_14012` `distribute-lft-in_binary64_14008`
4×	`associate-r_binary64_13999`
3×	`count-2_binary64_14007` `+-commutative_binary64_13989`
2×	`associate-l_binary64_14000`
1×	`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_14322` `erf-erfc_binary64_14321` `erf-odd_binary64_14320` `if-if-and-not_binary64_14319` `if-if-and_binary64_14318` `if-if-or-not_binary64_14317` `if-if-or_binary64_14316` `if-not_binary64_14315` `if-same_binary64_14314` `if-false_binary64_14313` `if-true_binary64_14312` `not-gte_binary64_14311` `not-lte_binary64_14310` `not-gt_binary64_14309` `not-lt_binary64_14308` `gte-same_binary64_14307` `lte-same_binary64_14306` `gt-same_binary64_14305` `lt-same_binary64_14304` `sinh---cosh_binary64_14251` `sinh-+-cosh_binary64_14250` `sinh-cosh_binary64_14249` `tanh-def-c_binary64_14248` `tanh-def-b_binary64_14247` `tanh-def-a_binary64_14246` `cosh-def_binary64_14245` `sinh-def_binary64_14244` `tan-neg_binary64_14191` `cos-neg_binary64_14190` `sin-neg_binary64_14189` `tan-0_binary64_14188` `cos-0_binary64_14187` `sin-0_binary64_14186` `hang-m-tan_binary64_14185` `hang-p-tan_binary64_14184` `hang-m0-tan_binary64_14183` `hang-p0-tan_binary64_14182` `hang-0m-tan_binary64_14181` `hang-0p-tan_binary64_14180` `tan-+PI/2_binary64_14179` `tan-+PI_binary64_14178` `tan-PI_binary64_14177` `tan-PI/3_binary64_14176` `tan-PI/4_binary64_14175` `tan-PI/6_binary64_14174` `cos-+PI/2_binary64_14173` `cos-+PI_binary64_14172` `cos-PI_binary64_14171` `cos-PI/2_binary64_14170` `cos-PI/3_binary64_14169` `cos-PI/4_binary64_14168` `cos-PI/6_binary64_14167` `sin-+PI/2_binary64_14166` `sin-+PI_binary64_14165` `sin-PI_binary64_14164` `sin-PI/2_binary64_14163` `sin-PI/3_binary64_14162` `sin-PI/4_binary64_14161` `sin-PI/6_binary64_14160` `sub-1-sin_binary64_14159` `sub-1-cos_binary64_14158` `-1-add-sin_binary64_14157` `-1-add-cos_binary64_14156` `1-sub-sin_binary64_14155` `1-sub-cos_binary64_14154` `cos-sin-sum_binary64_14153` `log-E_binary64_14149` `log-pow_binary64_14148` `log-rec_binary64_14147` `log-div_binary64_14146` `log-prod_binary64_14145` `pow-base-0_binary64_14143` `unpow1/3_binary64_14126` `unpow3_binary64_14125` `unpow2_binary64_14124` `unpow1/2_binary64_14123` `pow-plus_binary64_14122` `exp-to-pow_binary64_14121` `pow-base-1_binary64_14119` `unpow0_binary64_14118` `unpow1_binary64_14117` `unpow-1_binary64_14116` `exp-lft-cube_binary64_14115` `exp-lft-sqr_binary64_14114` `exp-cbrt_binary64_14113` `exp-sqrt_binary64_14112` `exp-prod_binary64_14111` `div-exp_binary64_14110` `rec-exp_binary64_14109` `prod-exp_binary64_14108` `exp-diff_binary64_14107` `exp-neg_binary64_14106` `exp-sum_binary64_14105` `e-exp-1_binary64_14104` `1-exp_binary64_14103` `exp-1-e_binary64_14102` `exp-0_binary64_14101` `rem-log-exp_binary64_14100` `rem-exp-log_binary64_14099` `cube-unmult_binary64_14096` `cube-mult_binary64_14089` `cube-div_binary64_14088` `cube-prod_binary64_14087` `cube-neg_binary64_14086` `rem-3cbrt-rft_binary64_14085` `rem-3cbrt-lft_binary64_14084` `rem-cbrt-cube_binary64_14083` `rem-cube-cbrt_binary64_14082` `sqr-abs_binary64_14074` `sqr-neg_binary64_14073` `rem-sqrt-square_binary64_14072` `rem-square-sqrt_binary64_14071` `times-frac_binary64_14065` `div-sub_binary64_14064` `neg-mul-1_binary64_14055` `neg-sub0_binary64_14054` `unsub-neg_binary64_14053` `sub-neg_binary64_14052` `mul-1-neg_binary64_14051` `/-rgt-identity_binary64_14050` `-rgt-identity_binary64_14049` `-lft-identity_binary64_14048` `remove-double-neg_binary64_14047` `sub0-neg_binary64_14046` `--rgt-identity_binary64_14045` `+-rgt-identity_binary64_14044` `+-lft-identity_binary64_14043` `mul0-rgt_binary64_14042` `mul0-lft_binary64_14041` `div0_binary64_14040` `-inverses_binary64_14039` `+-inverses_binary64_14038` `lft-mult-inverse_binary64_14037` `rgt-mult-inverse_binary64_14036` `remove-double-div_binary64_14035` `pow-sqr_binary64_14032` `sqr-pow_binary64_14031` `difference-of-sqr--1_binary64_14030` `difference-of-sqr-1_binary64_14029` `difference-of-squares_binary64_14028` `unswap-sqr_binary64_14027` `swap-sqr_binary64_14026` `cancel-sign-sub-inv_binary64_14025` `cancel-sign-sub_binary64_14024` `distribute-neg-frac_binary64_14023` `distribute-frac-neg_binary64_14022` `distribute-neg-out_binary64_14021` `distribute-neg-in_binary64_14020` `distribute-rgt-neg-out_binary64_14019` `distribute-lft-neg-out_binary64_14018` `distribute-rgt-neg-in_binary64_14017` `distribute-lft-neg-in_binary64_14016` `distribute-rgt1-in_binary64_14015` `distribute-lft1-in_binary64_14014` `distribute-rgt-out--_binary64_14013` `distribute-lft-out--_binary64_14011` `distribute-lft-out_binary64_14010` `associate-/l/_binary64_14006` `associate-/r/_binary64_14005` `associate-/l_binary64_14004` `associate-/r_binary64_14003` `associate-l/_binary64_14002` `associate-*r/_binary64_14001` `associate--r-_binary64_13998` `associate--l-_binary64_13997` `associate--l+_binary64_13996` `associate--r+_binary64_13995` `associate-+l-_binary64_13994` `associate-+r-_binary64_13993`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	14	20
2	24	20
3	36	20
4	53	20
5	63	20
6	68	20
7	70	20
8	70	20
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	56.2%	18.8%	6
25%	40.6%	34.4%	7
31.2%	31.2%	37.6%	8
39%	21.1%	39.9%	9
42.9%	16%	41.1%	10
47.2%	10.7%	42%	11
49.4%	8.1%	42.5%	12
51.6%	5.4%	43%	13
52.7%	4.1%	43.2%	14

Symmetry

(sort x y)

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample18.0ms (0.5%)

Algorithm

1×

intervals

Results

4.0ms	256×	body	128	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

24×	`associate-+l+_binary64_13992`
18×	`associate-+r+_binary64_13991`
10×	`distribute-rgt-in_binary64_14009`
8×	`*-commutative_binary64_13990`
6×	`distribute-rgt-out_binary64_14012` `distribute-lft-in_binary64_14008`
4×	`associate-r_binary64_13999`
3×	`count-2_binary64_14007` `+-commutative_binary64_13989`
2×	`associate-l_binary64_14000`
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_14322` `erf-erfc_binary64_14321` `erf-odd_binary64_14320` `if-if-and-not_binary64_14319` `if-if-and_binary64_14318` `if-if-or-not_binary64_14317` `if-if-or_binary64_14316` `if-not_binary64_14315` `if-same_binary64_14314` `if-false_binary64_14313` `if-true_binary64_14312` `not-gte_binary64_14311` `not-lte_binary64_14310` `not-gt_binary64_14309` `not-lt_binary64_14308` `gte-same_binary64_14307` `lte-same_binary64_14306` `gt-same_binary64_14305` `lt-same_binary64_14304` `sinh---cosh_binary64_14251` `sinh-+-cosh_binary64_14250` `sinh-cosh_binary64_14249` `tanh-def-c_binary64_14248` `tanh-def-b_binary64_14247` `tanh-def-a_binary64_14246` `cosh-def_binary64_14245` `sinh-def_binary64_14244` `tan-neg_binary64_14191` `cos-neg_binary64_14190` `sin-neg_binary64_14189` `tan-0_binary64_14188` `cos-0_binary64_14187` `sin-0_binary64_14186` `hang-m-tan_binary64_14185` `hang-p-tan_binary64_14184` `hang-m0-tan_binary64_14183` `hang-p0-tan_binary64_14182` `hang-0m-tan_binary64_14181` `hang-0p-tan_binary64_14180` `tan-+PI/2_binary64_14179` `tan-+PI_binary64_14178` `tan-PI_binary64_14177` `tan-PI/3_binary64_14176` `tan-PI/4_binary64_14175` `tan-PI/6_binary64_14174` `cos-+PI/2_binary64_14173` `cos-+PI_binary64_14172` `cos-PI_binary64_14171` `cos-PI/2_binary64_14170` `cos-PI/3_binary64_14169` `cos-PI/4_binary64_14168` `cos-PI/6_binary64_14167` `sin-+PI/2_binary64_14166` `sin-+PI_binary64_14165` `sin-PI_binary64_14164` `sin-PI/2_binary64_14163` `sin-PI/3_binary64_14162` `sin-PI/4_binary64_14161` `sin-PI/6_binary64_14160` `sub-1-sin_binary64_14159` `sub-1-cos_binary64_14158` `-1-add-sin_binary64_14157` `-1-add-cos_binary64_14156` `1-sub-sin_binary64_14155` `1-sub-cos_binary64_14154` `cos-sin-sum_binary64_14153` `log-E_binary64_14149` `log-pow_binary64_14148` `log-rec_binary64_14147` `log-div_binary64_14146` `log-prod_binary64_14145` `pow-base-0_binary64_14143` `unpow1/3_binary64_14126` `unpow3_binary64_14125` `unpow2_binary64_14124` `unpow1/2_binary64_14123` `pow-plus_binary64_14122` `exp-to-pow_binary64_14121` `pow-base-1_binary64_14119` `unpow0_binary64_14118` `unpow1_binary64_14117` `unpow-1_binary64_14116` `exp-lft-cube_binary64_14115` `exp-lft-sqr_binary64_14114` `exp-cbrt_binary64_14113` `exp-sqrt_binary64_14112` `exp-prod_binary64_14111` `div-exp_binary64_14110` `rec-exp_binary64_14109` `prod-exp_binary64_14108` `exp-diff_binary64_14107` `exp-neg_binary64_14106` `exp-sum_binary64_14105` `e-exp-1_binary64_14104` `1-exp_binary64_14103` `exp-1-e_binary64_14102` `exp-0_binary64_14101` `rem-log-exp_binary64_14100` `rem-exp-log_binary64_14099` `cube-unmult_binary64_14096` `cube-mult_binary64_14089` `cube-div_binary64_14088` `cube-prod_binary64_14087` `cube-neg_binary64_14086` `rem-3cbrt-rft_binary64_14085` `rem-3cbrt-lft_binary64_14084` `rem-cbrt-cube_binary64_14083` `rem-cube-cbrt_binary64_14082` `sqr-abs_binary64_14074` `sqr-neg_binary64_14073` `rem-sqrt-square_binary64_14072` `rem-square-sqrt_binary64_14071` `times-frac_binary64_14065` `div-sub_binary64_14064` `neg-mul-1_binary64_14055` `neg-sub0_binary64_14054` `unsub-neg_binary64_14053` `sub-neg_binary64_14052` `mul-1-neg_binary64_14051` `/-rgt-identity_binary64_14050` `-rgt-identity_binary64_14049` `-lft-identity_binary64_14048` `remove-double-neg_binary64_14047` `sub0-neg_binary64_14046` `--rgt-identity_binary64_14045` `+-rgt-identity_binary64_14044` `+-lft-identity_binary64_14043` `mul0-rgt_binary64_14042` `mul0-lft_binary64_14041` `div0_binary64_14040` `-inverses_binary64_14039` `+-inverses_binary64_14038` `lft-mult-inverse_binary64_14037` `rgt-mult-inverse_binary64_14036` `remove-double-div_binary64_14035` `pow-sqr_binary64_14032` `sqr-pow_binary64_14031` `difference-of-sqr--1_binary64_14030` `difference-of-sqr-1_binary64_14029` `difference-of-squares_binary64_14028` `unswap-sqr_binary64_14027` `swap-sqr_binary64_14026` `cancel-sign-sub-inv_binary64_14025` `cancel-sign-sub_binary64_14024` `distribute-neg-frac_binary64_14023` `distribute-frac-neg_binary64_14022` `distribute-neg-out_binary64_14021` `distribute-neg-in_binary64_14020` `distribute-rgt-neg-out_binary64_14019` `distribute-lft-neg-out_binary64_14018` `distribute-rgt-neg-in_binary64_14017` `distribute-lft-neg-in_binary64_14016` `distribute-rgt1-in_binary64_14015` `distribute-lft1-in_binary64_14014` `distribute-rgt-out--_binary64_14013` `distribute-lft-out--_binary64_14011` `distribute-lft-out_binary64_14010` `associate-/l/_binary64_14006` `associate-/r/_binary64_14005` `associate-/l_binary64_14004` `associate-/r_binary64_14003` `associate-l/_binary64_14002` `associate-*r/_binary64_14001` `associate--r-_binary64_13998` `associate--l-_binary64_13997` `associate--l+_binary64_13996` `associate--r+_binary64_13995` `associate-+l-_binary64_13994` `associate-+r-_binary64_13993`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	12	10
2	24	10
3	36	10
4	53	10
5	63	10
6	68	10
7	70	10
8	70	10

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Compiler

Compiled 7 to 4 computations (42.9% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite51.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

19×	`*-un-lft-identity_binary64_14059`
8×	`pow1_binary64_14120`
7×	`add-sqr-sqrt_binary64_14081`
6×	`flip3-+_binary64_14062` `flip-+_binary64_14033` `swap-sqr_binary64_14026` `distribute-lft-out_binary64_14010`
5×	`add-cube-cbrt_binary64_14094`
4×	`frac-times_binary64_14069` `associate-l_binary64_14000` `associate-r_binary64_13999`
3×	`add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095`
2×	`associate-l/_binary64_14002` `associate-r/_binary64_14001`
1×	`pow2_binary64_14140` `pow-prod-down_binary64_14130` `pow-prod-up_binary64_14129` `pow-plus_binary64_14122` `prod-exp_binary64_14108` `add-log-exp_binary64_14098` `cbrt-unprod_binary64_14092` `pow-sqr_binary64_14032` `unswap-sqr_binary64_14027` `distribute-rgt-in_binary64_14009` `distribute-lft-in_binary64_14008` `*-commutative_binary64_13990`

Counts

1 → 40

Calls

1 calls:

10.0ms

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

Compiler

Compiled 610 to 146 computations (76.1% saved)

series142.0ms (3.5%)

Error

0.0b

Counts

1 → 18

Calls

1 calls:

129.0ms

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

Compiler

Compiled 378 to 297 computations (21.4% saved)

simplify75.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

754×	`associate-+l+_binary64_13992`
594×	`unswap-sqr_binary64_14027`
432×	`distribute-rgt-in_binary64_14009`
424×	`distribute-lft-in_binary64_14008`
187×	`*-commutative_binary64_13990`
81×	`associate-l_binary64_14000`
77×	`associate-r_binary64_13999`
69×	`distribute-lft-neg-out_binary64_14018`
67×	`exp-prod_binary64_14111` `distribute-rgt-neg-out_binary64_14019`
64×	`associate-+r+_binary64_13991`
61×	`sqr-pow_binary64_14031`
57×	`unsub-neg_binary64_14053`
50×	`swap-sqr_binary64_14026`
45×	`distribute-rgt-out_binary64_14012`
44×	`exp-sum_binary64_14105`
42×	`*-rgt-identity_binary64_14049`
41×	`log-prod_binary64_14145` `*-lft-identity_binary64_14048`
34×	`distribute-rgt-neg-in_binary64_14017`
30×	`distribute-lft-neg-in_binary64_14016`
28×	`neg-mul-1_binary64_14055` `neg-sub0_binary64_14054`
26×	`cancel-sign-sub-inv_binary64_14025`
25×	`sub-neg_binary64_14052`
17×	`cube-prod_binary64_14087` `associate-+l-_binary64_13994`
16×	`pow-sqr_binary64_14032`
14×	`pow-plus_binary64_14122` `difference-of-squares_binary64_14028` `+-commutative_binary64_13989`
13×	`associate-/l*_binary64_14004` `associate-+r-_binary64_13993`
10×	`cube-unmult_binary64_14096`
9×	`distribute-lft-out_binary64_14010` `associate-/r*_binary64_14003`
8×	`distribute-neg-out_binary64_14021` `distribute-neg-in_binary64_14020`
7×	`log-pow_binary64_14148`
6×	`unpow3_binary64_14125`
5×	`rem-sqrt-square_binary64_14072` `+-rgt-identity_binary64_14044` `distribute-rgt-out--_binary64_14013` `count-2_binary64_14007` `associate-/l/_binary64_14006` `associate-*r/_binary64_14001`
4×	`associate-/r/_binary64_14005` `associate--r+_binary64_13995`
3×	`unpow1/2_binary64_14123` `cube-mult_binary64_14089` `sqr-neg_binary64_14073` `sub0-neg_binary64_14046`
2×	`unpow2_binary64_14124` `unpow1_binary64_14117` `associate--l+_binary64_13996`
1×	`1-exp_binary64_14103` `exp-1-e_binary64_14102` `rem-3cbrt-rft_binary64_14085` `rem-3cbrt-lft_binary64_14084` `rem-square-sqrt_binary64_14071`
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_14322` `erf-erfc_binary64_14321` `erf-odd_binary64_14320` `if-if-and-not_binary64_14319` `if-if-and_binary64_14318` `if-if-or-not_binary64_14317` `if-if-or_binary64_14316` `if-not_binary64_14315` `if-same_binary64_14314` `if-false_binary64_14313` `if-true_binary64_14312` `not-gte_binary64_14311` `not-lte_binary64_14310` `not-gt_binary64_14309` `not-lt_binary64_14308` `gte-same_binary64_14307` `lte-same_binary64_14306` `gt-same_binary64_14305` `lt-same_binary64_14304` `sinh---cosh_binary64_14251` `sinh-+-cosh_binary64_14250` `sinh-cosh_binary64_14249` `tanh-def-c_binary64_14248` `tanh-def-b_binary64_14247` `tanh-def-a_binary64_14246` `cosh-def_binary64_14245` `sinh-def_binary64_14244` `tan-neg_binary64_14191` `cos-neg_binary64_14190` `sin-neg_binary64_14189` `tan-0_binary64_14188` `cos-0_binary64_14187` `sin-0_binary64_14186` `hang-m-tan_binary64_14185` `hang-p-tan_binary64_14184` `hang-m0-tan_binary64_14183` `hang-p0-tan_binary64_14182` `hang-0m-tan_binary64_14181` `hang-0p-tan_binary64_14180` `tan-+PI/2_binary64_14179` `tan-+PI_binary64_14178` `tan-PI_binary64_14177` `tan-PI/3_binary64_14176` `tan-PI/4_binary64_14175` `tan-PI/6_binary64_14174` `cos-+PI/2_binary64_14173` `cos-+PI_binary64_14172` `cos-PI_binary64_14171` `cos-PI/2_binary64_14170` `cos-PI/3_binary64_14169` `cos-PI/4_binary64_14168` `cos-PI/6_binary64_14167` `sin-+PI/2_binary64_14166` `sin-+PI_binary64_14165` `sin-PI_binary64_14164` `sin-PI/2_binary64_14163` `sin-PI/3_binary64_14162` `sin-PI/4_binary64_14161` `sin-PI/6_binary64_14160` `sub-1-sin_binary64_14159` `sub-1-cos_binary64_14158` `-1-add-sin_binary64_14157` `-1-add-cos_binary64_14156` `1-sub-sin_binary64_14155` `1-sub-cos_binary64_14154` `cos-sin-sum_binary64_14153` `log-E_binary64_14149` `log-rec_binary64_14147` `log-div_binary64_14146` `pow-base-0_binary64_14143` `unpow1/3_binary64_14126` `exp-to-pow_binary64_14121` `pow-base-1_binary64_14119` `unpow0_binary64_14118` `unpow-1_binary64_14116` `exp-lft-cube_binary64_14115` `exp-lft-sqr_binary64_14114` `exp-cbrt_binary64_14113` `exp-sqrt_binary64_14112` `div-exp_binary64_14110` `rec-exp_binary64_14109` `prod-exp_binary64_14108` `exp-diff_binary64_14107` `exp-neg_binary64_14106` `e-exp-1_binary64_14104` `exp-0_binary64_14101` `rem-log-exp_binary64_14100` `rem-exp-log_binary64_14099` `cube-div_binary64_14088` `cube-neg_binary64_14086` `rem-cbrt-cube_binary64_14083` `rem-cube-cbrt_binary64_14082` `sqr-abs_binary64_14074` `times-frac_binary64_14065` `div-sub_binary64_14064` `mul-1-neg_binary64_14051` `/-rgt-identity_binary64_14050` `remove-double-neg_binary64_14047` `--rgt-identity_binary64_14045` `+-lft-identity_binary64_14043` `mul0-rgt_binary64_14042` `mul0-lft_binary64_14041` `div0_binary64_14040` `-inverses_binary64_14039` `+-inverses_binary64_14038` `lft-mult-inverse_binary64_14037` `rgt-mult-inverse_binary64_14036` `remove-double-div_binary64_14035` `difference-of-sqr--1_binary64_14030` `difference-of-sqr-1_binary64_14029` `cancel-sign-sub_binary64_14024` `distribute-neg-frac_binary64_14023` `distribute-frac-neg_binary64_14022` `distribute-rgt1-in_binary64_14015` `distribute-lft1-in_binary64_14014` `distribute-lft-out--_binary64_14011` `associate-l/_binary64_14002` `associate--r-_binary64_13998` `associate--l-_binary64_13997`

Counts

58 → 54

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	65	902
1	192	770
2	688	733
3	2168	634
4	4997	634
5	4976	634

prune41.0ms (1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	51	3	54
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	52	3	55

Error

0.0b

Counts

55 → 3

Compiler

Compiled 562 to 212 computations (62.3% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite80.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`associate-*r/_binary64_14001`
11×	`add-sqr-sqrt_binary64_14081` `*-un-lft-identity_binary64_14059`
8×	`associate-r_binary64_13999`
7×	`pow1_binary64_14120` `add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095` `add-cube-cbrt_binary64_14094` `flip3-+_binary64_14062` `flip-+_binary64_14033`
6×	`associate-l_binary64_14000`
5×	`add-log-exp_binary64_14098`
4×	`frac-add_binary64_14067` `distribute-rgt-in_binary64_14009` `distribute-lft-in_binary64_14008`
2×	`associate-+l+_binary64_13992` `associate-+r+_binary64_13991` `pow-prod-down_binary64_14130` `prod-exp_binary64_14108` `cbrt-unprod_binary64_14092` `unswap-sqr_binary64_14027` `distribute-lft-out_binary64_14010` `*-commutative_binary64_13990`
1×	`sum-log_binary64_14150` `distribute-rgt-out_binary64_14012` `+-commutative_binary64_13989`

Counts

3 → 66

Calls

3 calls:

8.0ms	(+.f64 (.f64 x (+.f64 y x)) (.f64 y (+.f64 y x)))
7.0ms	(*.f64 y (+.f64 y x))
6.0ms	(*.f64 x (+.f64 y x))

Compiler

Compiled 1299 to 263 computations (79.8% saved)

series453.0ms (11.3%)

Error

Counts

3 → 42

Calls

3 calls:

227.0ms	(+.f64 (.f64 x (+.f64 y x)) (.f64 y (+.f64 y x)))
104.0ms	(*.f64 y (+.f64 y x))
96.0ms	(*.f64 x (+.f64 y x))

Compiler

Compiled 1062 to 662 computations (37.7% saved)

simplify98.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

379×	`cancel-sign-sub-inv_binary64_14025`
374×	`associate-+l+_binary64_13992`
362×	`associate-+r+_binary64_13991`
360×	`*-commutative_binary64_13990`
353×	`distribute-rgt-out_binary64_14012`
277×	`unswap-sqr_binary64_14027`
220×	`unsub-neg_binary64_14053`
198×	`sub-neg_binary64_14052`
192×	`associate-l_binary64_14000`
164×	`associate-r_binary64_13999`
162×	`distribute-rgt-neg-in_binary64_14017`
152×	`distribute-rgt-in_binary64_14009`
148×	`distribute-lft-in_binary64_14008`
144×	`sqr-pow_binary64_14031`
138×	`neg-mul-1_binary64_14055`
133×	`neg-sub0_binary64_14054`
125×	`distribute-neg-in_binary64_14020`
121×	`distribute-lft-neg-in_binary64_14016`
95×	`distribute-rgt-out--_binary64_14013`
84×	`associate--r+_binary64_13995` `+-commutative_binary64_13989`
76×	`exp-prod_binary64_14111`
63×	`associate--l+_binary64_13996`
62×	`exp-sum_binary64_14105`
41×	`swap-sqr_binary64_14026`
40×	`distribute-lft-neg-out_binary64_14018`
37×	`pow-sqr_binary64_14032`
30×	`log-prod_binary64_14145` `cube-prod_binary64_14087` `distribute-lft-out_binary64_14010`
24×	`distribute-rgt-neg-out_binary64_14019`
21×	`difference-of-squares_binary64_14028`
20×	`*-rgt-identity_binary64_14049`
17×	`associate-+r-_binary64_13993`
14×	`*-lft-identity_binary64_14048` `+-rgt-identity_binary64_14044`
13×	`associate-+l-_binary64_13994`
10×	`pow-plus_binary64_14122` `remove-double-neg_binary64_14047`
9×	`unpow3_binary64_14125` `unpow1/2_binary64_14123` `rem-sqrt-square_binary64_14072` `sub0-neg_binary64_14046`
6×	`log-pow_binary64_14148`
5×	`exp-diff_binary64_14107` `sqr-neg_binary64_14073` `div-sub_binary64_14064` `+-inverses_binary64_14038` `distribute-lft-out--_binary64_14011`
4×	`cube-mult_binary64_14089` `+-lft-identity_binary64_14043`
3×	`unpow2_binary64_14124` `cube-unmult_binary64_14096`
2×	`unpow1_binary64_14117` `distribute-rgt1-in_binary64_14015`
1×	`exp-lft-sqr_binary64_14114` `prod-exp_binary64_14108` `1-exp_binary64_14103` `exp-1-e_binary64_14102` `distribute-neg-out_binary64_14021` `count-2_binary64_14007` `associate-/l*_binary64_14004`
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_14322` `erf-erfc_binary64_14321` `erf-odd_binary64_14320` `if-if-and-not_binary64_14319` `if-if-and_binary64_14318` `if-if-or-not_binary64_14317` `if-if-or_binary64_14316` `if-not_binary64_14315` `if-same_binary64_14314` `if-false_binary64_14313` `if-true_binary64_14312` `not-gte_binary64_14311` `not-lte_binary64_14310` `not-gt_binary64_14309` `not-lt_binary64_14308` `gte-same_binary64_14307` `lte-same_binary64_14306` `gt-same_binary64_14305` `lt-same_binary64_14304` `sinh---cosh_binary64_14251` `sinh-+-cosh_binary64_14250` `sinh-cosh_binary64_14249` `tanh-def-c_binary64_14248` `tanh-def-b_binary64_14247` `tanh-def-a_binary64_14246` `cosh-def_binary64_14245` `sinh-def_binary64_14244` `tan-neg_binary64_14191` `cos-neg_binary64_14190` `sin-neg_binary64_14189` `tan-0_binary64_14188` `cos-0_binary64_14187` `sin-0_binary64_14186` `hang-m-tan_binary64_14185` `hang-p-tan_binary64_14184` `hang-m0-tan_binary64_14183` `hang-p0-tan_binary64_14182` `hang-0m-tan_binary64_14181` `hang-0p-tan_binary64_14180` `tan-+PI/2_binary64_14179` `tan-+PI_binary64_14178` `tan-PI_binary64_14177` `tan-PI/3_binary64_14176` `tan-PI/4_binary64_14175` `tan-PI/6_binary64_14174` `cos-+PI/2_binary64_14173` `cos-+PI_binary64_14172` `cos-PI_binary64_14171` `cos-PI/2_binary64_14170` `cos-PI/3_binary64_14169` `cos-PI/4_binary64_14168` `cos-PI/6_binary64_14167` `sin-+PI/2_binary64_14166` `sin-+PI_binary64_14165` `sin-PI_binary64_14164` `sin-PI/2_binary64_14163` `sin-PI/3_binary64_14162` `sin-PI/4_binary64_14161` `sin-PI/6_binary64_14160` `sub-1-sin_binary64_14159` `sub-1-cos_binary64_14158` `-1-add-sin_binary64_14157` `-1-add-cos_binary64_14156` `1-sub-sin_binary64_14155` `1-sub-cos_binary64_14154` `cos-sin-sum_binary64_14153` `log-E_binary64_14149` `log-rec_binary64_14147` `log-div_binary64_14146` `pow-base-0_binary64_14143` `unpow1/3_binary64_14126` `exp-to-pow_binary64_14121` `pow-base-1_binary64_14119` `unpow0_binary64_14118` `unpow-1_binary64_14116` `exp-lft-cube_binary64_14115` `exp-cbrt_binary64_14113` `exp-sqrt_binary64_14112` `div-exp_binary64_14110` `rec-exp_binary64_14109` `exp-neg_binary64_14106` `e-exp-1_binary64_14104` `exp-0_binary64_14101` `rem-log-exp_binary64_14100` `rem-exp-log_binary64_14099` `cube-div_binary64_14088` `cube-neg_binary64_14086` `rem-3cbrt-rft_binary64_14085` `rem-3cbrt-lft_binary64_14084` `rem-cbrt-cube_binary64_14083` `rem-cube-cbrt_binary64_14082` `sqr-abs_binary64_14074` `rem-square-sqrt_binary64_14071` `times-frac_binary64_14065` `mul-1-neg_binary64_14051` `/-rgt-identity_binary64_14050` `--rgt-identity_binary64_14045` `mul0-rgt_binary64_14042` `mul0-lft_binary64_14041` `div0_binary64_14040` `-inverses_binary64_14039` `lft-mult-inverse_binary64_14037` `rgt-mult-inverse_binary64_14036` `remove-double-div_binary64_14035` `difference-of-sqr--1_binary64_14030` `difference-of-sqr-1_binary64_14029` `cancel-sign-sub_binary64_14024` `distribute-neg-frac_binary64_14023` `distribute-frac-neg_binary64_14022` `distribute-lft1-in_binary64_14014` `associate-/l/_binary64_14006` `associate-/r/_binary64_14005` `associate-/r_binary64_14003` `associate-l/_binary64_14002` `associate-r/_binary64_14001` `associate--r-_binary64_13998` `associate--l-_binary64_13997`

Counts

108 → 78

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	113	1341
1	351	1242
2	1364	1188
3	3038	1146
4	4459	1110
5	4736	1110

prune48.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	77	4	81

Error

Counts

81 → 4

Compiler

Compiled 938 to 220 computations (76.5% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 y (+.f64 y x))
0.0b	(+.f64 (cbrt.f64 (pow.f64 (.f64 x (+.f64 y x)) 3)) (.f64 y (+.f64 y x)))
0.2b	(pow.f64 (*.f64 x (+.f64 y x)) 3)
31.4b	(cbrt.f64 (pow.f64 (*.f64 x (+.f64 y x)) 3))

rewrite124.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`associate-*r/_binary64_14001`
10×	`add-sqr-sqrt_binary64_14081` `*-un-lft-identity_binary64_14059`
9×	`pow1_binary64_14120` `add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095`
8×	`add-cube-cbrt_binary64_14094` `flip3-+_binary64_14062` `cube-div_binary64_14088` `flip-+_binary64_14033` `cbrt-prod_binary64_14090`
6×	`add-log-exp_binary64_14098` `cbrt-div_binary64_14091`
4×	`frac-add_binary64_14067` `associate-r_binary64_13999`
3×	`pow-unpow_binary64_14136` `associate-l_binary64_14000`
2×	`unpow-prod-down_binary64_14138` `unpow3_binary64_14125` `cube-mult_binary64_14089` `cube-prod_binary64_14087` `sqr-pow_binary64_14031` `pow-prod-down_binary64_14130` `pow-pow_binary64_14131` `prod-exp_binary64_14108` `pow-exp_binary64_14127` `rem-cube-cbrt_binary64_14082` `cbrt-unprod_binary64_14092` `distribute-rgt-in_binary64_14009` `associate-+r+_binary64_13991` `distribute-lft-in_binary64_14008`
1×	`pow1/3_binary64_14141` `rem-cbrt-cube_binary64_14083` `pow-to-exp_binary64_14128` `sum-log_binary64_14150` `+-commutative_binary64_13989` `unswap-sqr_binary64_14027` `distribute-lft-out_binary64_14010` `*-commutative_binary64_13990`

Counts

4 → 83

Calls

4 calls:

9.0ms	(*.f64 y (+.f64 y x))
8.0ms	(+.f64 (cbrt.f64 (pow.f64 (.f64 x (+.f64 y x)) 3)) (.f64 y (+.f64 y x)))
7.0ms	(pow.f64 (*.f64 x (+.f64 y x)) 3)
3.0ms	(cbrt.f64 (pow.f64 (*.f64 x (+.f64 y x)) 3))

Compiler

Compiled 1979 to 694 computations (64.9% saved)

series641.0ms (15.9%)

Error

Counts

4 → 66

Calls

4 calls:

225.0ms	(+.f64 (cbrt.f64 (pow.f64 (.f64 x (+.f64 y x)) 3)) (.f64 y (+.f64 y x)))
144.0ms	(pow.f64 (*.f64 x (+.f64 y x)) 3)
108.0ms	(cbrt.f64 (pow.f64 (*.f64 x (+.f64 y x)) 3))
103.0ms	(*.f64 y (+.f64 y x))

Compiler

Compiled 2421 to 1660 computations (31.4% saved)

simplify137.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

393×	`associate-+l+_binary64_13992`
369×	`associate-+r+_binary64_13991`
194×	`associate-l_binary64_14000`
191×	`unswap-sqr_binary64_14027`
186×	`associate-r_binary64_13999`
155×	`cancel-sign-sub-inv_binary64_14025`
153×	`log-prod_binary64_14145` `exp-prod_binary64_14111`
148×	`distribute-rgt-in_binary64_14009`
146×	`+-commutative_binary64_13989`
141×	`distribute-lft-in_binary64_14008`
125×	`distribute-rgt-out_binary64_14012`
94×	`*-commutative_binary64_13990`
91×	`associate--r+_binary64_13995`
73×	`distribute-rgt-neg-in_binary64_14017`
72×	`sqr-pow_binary64_14031`
69×	`associate--l+_binary64_13996`
57×	`distribute-lft-neg-in_binary64_14016`
56×	`sub-neg_binary64_14052`
46×	`swap-sqr_binary64_14026` `distribute-lft-out_binary64_14010`
45×	`distribute-rgt-out--_binary64_14013`
44×	`distribute-neg-in_binary64_14020`
43×	`unpow3_binary64_14125`
42×	`cube-prod_binary64_14087`
32×	`distribute-lft-neg-out_binary64_14018`
30×	`log-pow_binary64_14148` `exp-sum_binary64_14105`
26×	`associate-+l-_binary64_13994`
23×	`distribute-rgt-neg-out_binary64_14019`
22×	`associate-+r-_binary64_13993`
21×	`neg-sub0_binary64_14054`
20×	`neg-mul-1_binary64_14055` `*-rgt-identity_binary64_14049`
17×	`pow-plus_binary64_14122`
14×	`*-lft-identity_binary64_14048`
12×	`cube-mult_binary64_14089`
10×	`unsub-neg_binary64_14053`
9×	`pow-sqr_binary64_14032`
8×	`cube-unmult_binary64_14096`
7×	`rem-cbrt-cube_binary64_14083` `difference-of-squares_binary64_14028`
5×	`rem-sqrt-square_binary64_14072`
4×	`unpow1/2_binary64_14123` `distribute-lft-out--_binary64_14011`
3×	`unpow1_binary64_14117` `count-2_binary64_14007` `associate-/l/_binary64_14006` `associate-*r/_binary64_14001`
2×	`unpow2_binary64_14124` `+-rgt-identity_binary64_14044`
1×	`prod-exp_binary64_14108` `1-exp_binary64_14103` `exp-1-e_binary64_14102` `rem-3cbrt-lft_binary64_14084` `mul-1-neg_binary64_14051` `associate-/r/_binary64_14005` `associate-/l*_binary64_14004`
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_14322` `erf-erfc_binary64_14321` `erf-odd_binary64_14320` `if-if-and-not_binary64_14319` `if-if-and_binary64_14318` `if-if-or-not_binary64_14317` `if-if-or_binary64_14316` `if-not_binary64_14315` `if-same_binary64_14314` `if-false_binary64_14313` `if-true_binary64_14312` `not-gte_binary64_14311` `not-lte_binary64_14310` `not-gt_binary64_14309` `not-lt_binary64_14308` `gte-same_binary64_14307` `lte-same_binary64_14306` `gt-same_binary64_14305` `lt-same_binary64_14304` `sinh---cosh_binary64_14251` `sinh-+-cosh_binary64_14250` `sinh-cosh_binary64_14249` `tanh-def-c_binary64_14248` `tanh-def-b_binary64_14247` `tanh-def-a_binary64_14246` `cosh-def_binary64_14245` `sinh-def_binary64_14244` `tan-neg_binary64_14191` `cos-neg_binary64_14190` `sin-neg_binary64_14189` `tan-0_binary64_14188` `cos-0_binary64_14187` `sin-0_binary64_14186` `hang-m-tan_binary64_14185` `hang-p-tan_binary64_14184` `hang-m0-tan_binary64_14183` `hang-p0-tan_binary64_14182` `hang-0m-tan_binary64_14181` `hang-0p-tan_binary64_14180` `tan-+PI/2_binary64_14179` `tan-+PI_binary64_14178` `tan-PI_binary64_14177` `tan-PI/3_binary64_14176` `tan-PI/4_binary64_14175` `tan-PI/6_binary64_14174` `cos-+PI/2_binary64_14173` `cos-+PI_binary64_14172` `cos-PI_binary64_14171` `cos-PI/2_binary64_14170` `cos-PI/3_binary64_14169` `cos-PI/4_binary64_14168` `cos-PI/6_binary64_14167` `sin-+PI/2_binary64_14166` `sin-+PI_binary64_14165` `sin-PI_binary64_14164` `sin-PI/2_binary64_14163` `sin-PI/3_binary64_14162` `sin-PI/4_binary64_14161` `sin-PI/6_binary64_14160` `sub-1-sin_binary64_14159` `sub-1-cos_binary64_14158` `-1-add-sin_binary64_14157` `-1-add-cos_binary64_14156` `1-sub-sin_binary64_14155` `1-sub-cos_binary64_14154` `cos-sin-sum_binary64_14153` `log-E_binary64_14149` `log-rec_binary64_14147` `log-div_binary64_14146` `pow-base-0_binary64_14143` `unpow1/3_binary64_14126` `exp-to-pow_binary64_14121` `pow-base-1_binary64_14119` `unpow0_binary64_14118` `unpow-1_binary64_14116` `exp-lft-cube_binary64_14115` `exp-lft-sqr_binary64_14114` `exp-cbrt_binary64_14113` `exp-sqrt_binary64_14112` `div-exp_binary64_14110` `rec-exp_binary64_14109` `exp-diff_binary64_14107` `exp-neg_binary64_14106` `e-exp-1_binary64_14104` `exp-0_binary64_14101` `rem-log-exp_binary64_14100` `rem-exp-log_binary64_14099` `cube-div_binary64_14088` `cube-neg_binary64_14086` `rem-3cbrt-rft_binary64_14085` `rem-cube-cbrt_binary64_14082` `sqr-abs_binary64_14074` `sqr-neg_binary64_14073` `rem-square-sqrt_binary64_14071` `times-frac_binary64_14065` `div-sub_binary64_14064` `/-rgt-identity_binary64_14050` `remove-double-neg_binary64_14047` `sub0-neg_binary64_14046` `--rgt-identity_binary64_14045` `+-lft-identity_binary64_14043` `mul0-rgt_binary64_14042` `mul0-lft_binary64_14041` `div0_binary64_14040` `-inverses_binary64_14039` `+-inverses_binary64_14038` `lft-mult-inverse_binary64_14037` `rgt-mult-inverse_binary64_14036` `remove-double-div_binary64_14035` `difference-of-sqr--1_binary64_14030` `difference-of-sqr-1_binary64_14029` `cancel-sign-sub_binary64_14024` `distribute-neg-frac_binary64_14023` `distribute-frac-neg_binary64_14022` `distribute-neg-out_binary64_14021` `distribute-rgt1-in_binary64_14015` `distribute-lft1-in_binary64_14014` `associate-/r_binary64_14003` `associate-*l/_binary64_14002` `associate--r-_binary64_13998` `associate--l-_binary64_13997`

Counts

149 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	2351
1	450	2165
2	1748	2051
3	4721	2051
4	4992	2051
5	4963	2051

prune106.0ms (2.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	2	0	2
Picked	0	1	1
Done	0	1	1
Total	121	3	124

Error

Counts

124 → 3

Compiler

Compiled 2111 to 786 computations (62.8% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite46.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-sqr-sqrt_binary64_14081`
4×	`pow1_binary64_14120` `add-exp-log_binary64_14097` `add-log-exp_binary64_14098` `add-cbrt-cube_binary64_14095` `add-cube-cbrt_binary64_14094` `*-un-lft-identity_binary64_14059`
3×	`associate-l_binary64_14000` `associate-r_binary64_13999`
2×	`distribute-rgt-in_binary64_14009` `distribute-lft-in_binary64_14008` `flip3-+_binary64_14062` `associate-*r/_binary64_14001` `flip-+_binary64_14033` `associate-+r+_binary64_13991`
1×	`pow-prod-down_binary64_14130` `prod-exp_binary64_14108` `cbrt-unprod_binary64_14092` `unswap-sqr_binary64_14027` `*-commutative_binary64_13990` `sum-log_binary64_14150` `+-commutative_binary64_13989`

Counts

2 → 35

Calls

2 calls:

6.0ms	(.f64 y (+.f64 y (.f64 x 2)))
4.0ms	(+.f64 (.f64 x x) (.f64 y (+.f64 y (*.f64 x 2))))

Compiler

Compiled 694 to 367 computations (47.1% saved)

series378.0ms (9.4%)

Error

Counts

2 → 30

Calls

2 calls:

218.0ms	(+.f64 (.f64 x x) (.f64 y (+.f64 y (*.f64 x 2))))
141.0ms	(.f64 y (+.f64 y (.f64 x 2)))

Compiler

Compiled 708 to 511 computations (27.8% saved)

simplify80.0ms (2%)

Algorithm

1×	egg-herbie

Rules

597×	`sub-neg_binary64_14052`
471×	`distribute-rgt-in_binary64_14009`
459×	`distribute-lft-in_binary64_14008`
245×	`associate--l+_binary64_13996`
241×	`associate--r+_binary64_13995`
221×	`*-commutative_binary64_13990`
219×	`cancel-sign-sub-inv_binary64_14025`
190×	`unswap-sqr_binary64_14027`
178×	`unsub-neg_binary64_14053`
145×	`distribute-neg-in_binary64_14020`
144×	`distribute-rgt-neg-in_binary64_14017`
139×	`associate-+l+_binary64_13992`
136×	`neg-mul-1_binary64_14055`
132×	`neg-sub0_binary64_14054`
119×	`distribute-lft-neg-in_binary64_14016`
107×	`distribute-rgt-out_binary64_14012`
104×	`associate-+r+_binary64_13991`
103×	`associate-l_binary64_14000`
97×	`associate-r_binary64_13999`
80×	`associate-+l-_binary64_13994`
67×	`associate-+r-_binary64_13993`
65×	`sqr-pow_binary64_14031`
60×	`exp-prod_binary64_14111`
50×	`distribute-lft-neg-out_binary64_14018`
37×	`distribute-rgt-neg-out_binary64_14019`
33×	`distribute-rgt-out--_binary64_14013`
30×	`+-commutative_binary64_13989`
28×	`*-rgt-identity_binary64_14049`
27×	`*-lft-identity_binary64_14048`
26×	`swap-sqr_binary64_14026`
24×	`cube-prod_binary64_14087`
19×	`exp-sum_binary64_14105`
16×	`difference-of-squares_binary64_14028`
15×	`log-prod_binary64_14145`
10×	`unpow3_binary64_14125` `pow-plus_binary64_14122` `prod-exp_binary64_14108` `pow-sqr_binary64_14032` `distribute-lft-out_binary64_14010`
7×	`+-rgt-identity_binary64_14044`
6×	`unpow1/2_binary64_14123` `associate-/l*_binary64_14004`
5×	`cube-unmult_binary64_14096` `rem-sqrt-square_binary64_14072` `associate--r-_binary64_13998`
4×	`cube-mult_binary64_14089` `sub0-neg_binary64_14046`
3×	`log-pow_binary64_14148` `exp-lft-sqr_binary64_14114` `associate-/l/_binary64_14006` `associate-*r/_binary64_14001`
2×	`unpow2_binary64_14124` `unpow1_binary64_14117` `count-2_binary64_14007`
1×	`1-exp_binary64_14103` `exp-1-e_binary64_14102` `times-frac_binary64_14065` `distribute-rgt1-in_binary64_14015` `distribute-lft-out--_binary64_14011` `associate-/r/_binary64_14005` `associate-/r*_binary64_14003`
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_14322` `erf-erfc_binary64_14321` `erf-odd_binary64_14320` `if-if-and-not_binary64_14319` `if-if-and_binary64_14318` `if-if-or-not_binary64_14317` `if-if-or_binary64_14316` `if-not_binary64_14315` `if-same_binary64_14314` `if-false_binary64_14313` `if-true_binary64_14312` `not-gte_binary64_14311` `not-lte_binary64_14310` `not-gt_binary64_14309` `not-lt_binary64_14308` `gte-same_binary64_14307` `lte-same_binary64_14306` `gt-same_binary64_14305` `lt-same_binary64_14304` `sinh---cosh_binary64_14251` `sinh-+-cosh_binary64_14250` `sinh-cosh_binary64_14249` `tanh-def-c_binary64_14248` `tanh-def-b_binary64_14247` `tanh-def-a_binary64_14246` `cosh-def_binary64_14245` `sinh-def_binary64_14244` `tan-neg_binary64_14191` `cos-neg_binary64_14190` `sin-neg_binary64_14189` `tan-0_binary64_14188` `cos-0_binary64_14187` `sin-0_binary64_14186` `hang-m-tan_binary64_14185` `hang-p-tan_binary64_14184` `hang-m0-tan_binary64_14183` `hang-p0-tan_binary64_14182` `hang-0m-tan_binary64_14181` `hang-0p-tan_binary64_14180` `tan-+PI/2_binary64_14179` `tan-+PI_binary64_14178` `tan-PI_binary64_14177` `tan-PI/3_binary64_14176` `tan-PI/4_binary64_14175` `tan-PI/6_binary64_14174` `cos-+PI/2_binary64_14173` `cos-+PI_binary64_14172` `cos-PI_binary64_14171` `cos-PI/2_binary64_14170` `cos-PI/3_binary64_14169` `cos-PI/4_binary64_14168` `cos-PI/6_binary64_14167` `sin-+PI/2_binary64_14166` `sin-+PI_binary64_14165` `sin-PI_binary64_14164` `sin-PI/2_binary64_14163` `sin-PI/3_binary64_14162` `sin-PI/4_binary64_14161` `sin-PI/6_binary64_14160` `sub-1-sin_binary64_14159` `sub-1-cos_binary64_14158` `-1-add-sin_binary64_14157` `-1-add-cos_binary64_14156` `1-sub-sin_binary64_14155` `1-sub-cos_binary64_14154` `cos-sin-sum_binary64_14153` `log-E_binary64_14149` `log-rec_binary64_14147` `log-div_binary64_14146` `pow-base-0_binary64_14143` `unpow1/3_binary64_14126` `exp-to-pow_binary64_14121` `pow-base-1_binary64_14119` `unpow0_binary64_14118` `unpow-1_binary64_14116` `exp-lft-cube_binary64_14115` `exp-cbrt_binary64_14113` `exp-sqrt_binary64_14112` `div-exp_binary64_14110` `rec-exp_binary64_14109` `exp-diff_binary64_14107` `exp-neg_binary64_14106` `e-exp-1_binary64_14104` `exp-0_binary64_14101` `rem-log-exp_binary64_14100` `rem-exp-log_binary64_14099` `cube-div_binary64_14088` `cube-neg_binary64_14086` `rem-3cbrt-rft_binary64_14085` `rem-3cbrt-lft_binary64_14084` `rem-cbrt-cube_binary64_14083` `rem-cube-cbrt_binary64_14082` `sqr-abs_binary64_14074` `sqr-neg_binary64_14073` `rem-square-sqrt_binary64_14071` `div-sub_binary64_14064` `mul-1-neg_binary64_14051` `/-rgt-identity_binary64_14050` `remove-double-neg_binary64_14047` `--rgt-identity_binary64_14045` `+-lft-identity_binary64_14043` `mul0-rgt_binary64_14042` `mul0-lft_binary64_14041` `div0_binary64_14040` `-inverses_binary64_14039` `+-inverses_binary64_14038` `lft-mult-inverse_binary64_14037` `rgt-mult-inverse_binary64_14036` `remove-double-div_binary64_14035` `difference-of-sqr--1_binary64_14030` `difference-of-sqr-1_binary64_14029` `cancel-sign-sub_binary64_14024` `distribute-neg-frac_binary64_14023` `distribute-frac-neg_binary64_14022` `distribute-neg-out_binary64_14021` `distribute-lft1-in_binary64_14014` `associate-l/_binary64_14002` `associate--l-_binary64_13997`

Counts

65 → 56

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	73	916
1	230	841
2	817	841
3	2664	841
4	4253	841
5	5032	841

prune41.0ms (1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	56	3	59

Error

Counts

59 → 3

Compiler

Compiled 759 to 381 computations (49.8% saved)

regimes221.0ms (5.5%)

Accuracy

Total 0.0b remaining (97.4%)

Threshold costs 0.0b (97.4%)

Compiler

Compiled 1836 to 1108 computations (39.7% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2× *-commutative_binary64_13990 +-commutative_binary64_13989

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_14319 if-if-and_binary64_14318 if-if-or-not_binary64_14317 if-if-or_binary64_14316 if-not_binary64_14315 if-same_binary64_14314 if-false_binary64_14313 if-true_binary64_14312 tan-0_binary64_14188 cos-0_binary64_14187 sin-0_binary64_14186 unpow1_binary64_14117 e-exp-1_binary64_14104 1-exp_binary64_14103 exp-1-e_binary64_14102 exp-0_binary64_14101 sqr-abs_binary64_14074 sqr-neg_binary64_14073 neg-mul-1_binary64_14055 neg-sub0_binary64_14054 unsub-neg_binary64_14053 sub-neg_binary64_14052 mul-1-neg_binary64_14051 /-rgt-identity_binary64_14050 *-rgt-identity_binary64_14049 *-lft-identity_binary64_14048 remove-double-neg_binary64_14047 sub0-neg_binary64_14046 --rgt-identity_binary64_14045 +-rgt-identity_binary64_14044 +-lft-identity_binary64_14043 cancel-sign-sub-inv_binary64_14025 cancel-sign-sub_binary64_14024 distribute-neg-frac_binary64_14023 distribute-frac-neg_binary64_14022 distribute-neg-out_binary64_14021 distribute-neg-in_binary64_14020 distribute-rgt-neg-out_binary64_14019 distribute-lft-neg-out_binary64_14018 distribute-rgt-neg-in_binary64_14017 distribute-lft-neg-in_binary64_14016

Iterations

Useful iterations: 0 (0.0ms)

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

Remove

(sort x y)

Compiler

Compiled 22 to 16 computations (27.3% saved)

end0.0ms (0%)

sample965.0ms (24%)

Algorithm

1×

intervals

Results

140.0ms	8000×	body	128	valid
2.0ms	102×	body	128	invalid

Compiler

Compiled 454 to 281 computations (38.1% saved)

Details

analyze233.0ms (5.8%)

sample18.0ms (0.5%)

simplify10.0ms (0.2%)

prune1.0ms (0%)

localize3.0ms (0.1%)

rewrite51.0ms (1.3%)

series142.0ms (3.5%)

simplify75.0ms (1.9%)

prune41.0ms (1%)

localize5.0ms (0.1%)

rewrite80.0ms (2%)

series453.0ms (11.3%)

simplify98.0ms (2.4%)

prune48.0ms (1.2%)

localize8.0ms (0.2%)

rewrite124.0ms (3.1%)

series641.0ms (15.9%)

simplify137.0ms (3.4%)

prune106.0ms (2.6%)

localize7.0ms (0.2%)

rewrite46.0ms (1.2%)

series378.0ms (9.4%)

simplify80.0ms (2%)

prune41.0ms (1%)

regimes221.0ms (5.5%)

bsearch0.0ms (0%)

simplify9.0ms (0.2%)

end0.0ms (0%)

sample965.0ms (24%)

Profiling