Details

analyze71.0ms (2.1%)

Algorithm

1×

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
40.6%	59.3%	0.1%	6
53.1%	45.3%	1.7%	7
62.4%	32.8%	4.8%	8
69.5%	22.6%	7.9%	9
74.5%	16.4%	9.1%	10
78.2%	11.1%	10.6%	11
80.9%	8.2%	10.9%	12
82.8%	5.5%	11.7%	13
84.1%	4.1%	11.8%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample19.0ms (0.6%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify1.6s (46.9%)

Algorithm

1×	egg-herbie

Rules

730×	`unsub-neg_binary64_14053`
712×	`distribute-rgt-out--_binary64_14013`
688×	`distribute-rgt-out_binary64_14012`
441×	`sub-neg_binary64_14052`
338×	`neg-mul-1_binary64_14055`
337×	`distribute-neg-out_binary64_14021`
331×	`neg-sub0_binary64_14054`
295×	`+-commutative_binary64_13989`
260×	`distribute-lft-out_binary64_14010`
246×	`distribute-lft-out--_binary64_14011`
154×	`div-sub_binary64_14064`
151×	`distribute-rgt1-in_binary64_14015`
121×	`exp-sum_binary64_14105`
115×	`exp-diff_binary64_14107`
91×	`sqr-pow_binary64_14031`
86×	`pow-sqr_binary64_14032`
80×	`pow-plus_binary64_14122`
62×	`distribute-rgt-in_binary64_14009`
54×	`exp-prod_binary64_14111`
49×	`distribute-rgt-neg-out_binary64_14019`
45×	`swap-sqr_binary64_14026`
40×	`sqr-neg_binary64_14073`
39×	`associate--r+_binary64_13995`
32×	`exp-neg_binary64_14106`
29×	`distribute-lft1-in_binary64_14014`
28×	`remove-double-neg_binary64_14047` `+-inverses_binary64_14038`
27×	`associate-+l-_binary64_13994`
26×	`distribute-lft-in_binary64_14008`
25×	`*-commutative_binary64_13990`
23×	`distribute-neg-in_binary64_14020`
22×	`pow-base-1_binary64_14119` `distribute-rgt-neg-in_binary64_14017`
20×	`distribute-lft-neg-out_binary64_14018` `distribute-lft-neg-in_binary64_14016`
19×	`cancel-sign-sub-inv_binary64_14025`
18×	`associate-*l/_binary64_14002`
16×	`count-2_binary64_14007` `associate-+r+_binary64_13991`
15×	`associate-r_binary64_13999`
14×	`associate--l+_binary64_13996`
12×	`--rgt-identity_binary64_14045` `associate-+l+_binary64_13992`
11×	`exp-lft-sqr_binary64_14114` `*-rgt-identity_binary64_14049`
10×	`difference-of-squares_binary64_14028`
8×	`sub0-neg_binary64_14046`
7×	`+-rgt-identity_binary64_14044` `mul0-lft_binary64_14041` `associate-+r-_binary64_13993`
6×	`mul0-rgt_binary64_14042` `associate-l_binary64_14000` `associate--r-_binary64_13998`
5×	`cube-unmult_binary64_14096` `+-lft-identity_binary64_14043`
4×	`cube-div_binary64_14088`
3×	`difference-of-sqr--1_binary64_14030` `associate-/r*_binary64_14003`
2×	`*-lft-identity_binary64_14048` `associate--l-_binary64_13997`
1×	`pow-base-0_binary64_14143` `exp-sqrt_binary64_14112` `1-exp_binary64_14103` `exp-1-e_binary64_14102` `cube-neg_binary64_14086` `div0_binary64_14040` `*-inverses_binary64_14039` `distribute-neg-frac_binary64_14023` `distribute-frac-neg_binary64_14022`
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` `unpow1/3_binary64_14126` `unpow3_binary64_14125` `unpow2_binary64_14124` `unpow1/2_binary64_14123` `exp-to-pow_binary64_14121` `unpow0_binary64_14118` `unpow1_binary64_14117` `unpow-1_binary64_14116` `exp-lft-cube_binary64_14115` `exp-cbrt_binary64_14113` `div-exp_binary64_14110` `rec-exp_binary64_14109` `prod-exp_binary64_14108` `e-exp-1_binary64_14104` `exp-0_binary64_14101` `rem-log-exp_binary64_14100` `rem-exp-log_binary64_14099` `cube-mult_binary64_14089` `cube-prod_binary64_14087` `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-sqrt-square_binary64_14072` `rem-square-sqrt_binary64_14071` `times-frac_binary64_14065` `mul-1-neg_binary64_14051` `/-rgt-identity_binary64_14050` `lft-mult-inverse_binary64_14037` `rgt-mult-inverse_binary64_14036` `remove-double-div_binary64_14035` `difference-of-sqr-1_binary64_14029` `unswap-sqr_binary64_14027` `cancel-sign-sub_binary64_14024` `associate-/l/_binary64_14006` `associate-/r/_binary64_14005` `associate-/l_binary64_14004` `associate-r/_binary64_14001`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	15	10
2	31	10
3	56	10
4	92	10
5	218	10
6	349	10
7	3509	10
8	3919	10

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite19.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-log-exp_binary64_14098`
2×	`diff-log_binary64_14151`
1×	`sum-log_binary64_14150` `pow1_binary64_14120` `add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095` `add-cube-cbrt_binary64_14094` `add-sqr-sqrt_binary64_14081` `flip3--_binary64_14063` `*-un-lft-identity_binary64_14059` `sub-neg_binary64_14052` `flip--_binary64_14034` `cancel-sign-sub-inv_binary64_14025` `associate--l+_binary64_13996`

Counts

1 → 14

Calls

1 calls:

7.0ms

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

Compiler

Compiled 205 to 51 computations (75.1% saved)

series118.0ms (3.5%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

110.0ms

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

Compiler

Compiled 178 to 111 computations (37.6% saved)

simplify141.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

432×	`unsub-neg_binary64_14053`
390×	`distribute-lft-neg-out_binary64_14018`
360×	`distribute-rgt-neg-out_binary64_14019`
282×	`distribute-neg-out_binary64_14021`
252×	`distribute-rgt-out_binary64_14012`
228×	`distribute-rgt-neg-in_binary64_14017`
209×	`neg-sub0_binary64_14054`
204×	`distribute-rgt-in_binary64_14009`
201×	`neg-mul-1_binary64_14055`
200×	`distribute-lft-neg-in_binary64_14016`
180×	`distribute-lft-in_binary64_14008`
153×	`*-commutative_binary64_13990`
140×	`sub-neg_binary64_14052`
128×	`+-commutative_binary64_13989`
123×	`distribute-rgt-out--_binary64_14013`
115×	`cancel-sign-sub-inv_binary64_14025`
114×	`unswap-sqr_binary64_14027`
111×	`associate-l_binary64_14000`
107×	`distribute-neg-in_binary64_14020`
99×	`times-frac_binary64_14065`
96×	`cancel-sign-sub_binary64_14024`
95×	`associate-r_binary64_13999`
93×	`sqr-pow_binary64_14031`
77×	`exp-sum_binary64_14105`
73×	`exp-prod_binary64_14111`
65×	`exp-diff_binary64_14107`
50×	`difference-of-squares_binary64_14028` `associate-+l+_binary64_13992`
48×	`distribute-rgt1-in_binary64_14015`
41×	`pow-sqr_binary64_14032`
40×	`associate-+r+_binary64_13991`
39×	`associate--r+_binary64_13995`
38×	`associate--l+_binary64_13996`
33×	`associate-+l-_binary64_13994`
30×	`associate-+r-_binary64_13993`
29×	`swap-sqr_binary64_14026`
28×	`div-sub_binary64_14064`
20×	`*-lft-identity_binary64_14048` `distribute-lft1-in_binary64_14014`
19×	`sub0-neg_binary64_14046` `distribute-frac-neg_binary64_14022`
18×	`+-rgt-identity_binary64_14044`
17×	`sqr-neg_binary64_14073` `-rgt-identity_binary64_14049` `associate-/l_binary64_14004`
13×	`associate-/r*_binary64_14003`
11×	`exp-neg_binary64_14106` `cube-prod_binary64_14087`
10×	`distribute-lft-out_binary64_14010`
8×	`cube-unmult_binary64_14096` `mul-1-neg_binary64_14051` `remove-double-neg_binary64_14047` `mul0-rgt_binary64_14042` `mul0-lft_binary64_14041`
6×	`associate--r-_binary64_13998`
5×	`unpow3_binary64_14125` `div-exp_binary64_14110` `associate-/l/_binary64_14006` `associate-*r/_binary64_14001`
4×	`cube-mult_binary64_14089` `associate-*l/_binary64_14002`
3×	`cube-neg_binary64_14086` `associate-/r/_binary64_14005`
2×	`pow-plus_binary64_14122` `prod-exp_binary64_14108` `+-lft-identity_binary64_14043`
1×	`1-exp_binary64_14103` `exp-1-e_binary64_14102` `/-rgt-identity_binary64_14050` `--rgt-identity_binary64_14045` `*-inverses_binary64_14039` `count-2_binary64_14007`
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` `unpow2_binary64_14124` `unpow1/2_binary64_14123` `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` `rec-exp_binary64_14109` `e-exp-1_binary64_14104` `exp-0_binary64_14101` `rem-log-exp_binary64_14100` `rem-exp-log_binary64_14099` `cube-div_binary64_14088` `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-sqrt-square_binary64_14072` `rem-square-sqrt_binary64_14071` `div0_binary64_14040` `+-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` `distribute-neg-frac_binary64_14023` `distribute-lft-out--_binary64_14011` `associate--l-_binary64_13997`

Counts

26 → 64

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	49	329
1	126	308
2	414	308
3	1411	308
4	2299	308

prune50.0ms (1.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	2	65

Error

Counts

65 → 2

Compiler

Compiled 1016 to 154 computations (84.8% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite15.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64_14098`
2×	`*-un-lft-identity_binary64_14059`
1×	`diff-log_binary64_14151` `pow1_binary64_14120` `add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095` `add-cube-cbrt_binary64_14094` `add-sqr-sqrt_binary64_14081` `flip3--_binary64_14063` `sub-neg_binary64_14052` `flip--_binary64_14034` `cancel-sign-sub-inv_binary64_14025` `distribute-rgt-out--_binary64_14013`

Counts

1 → 13

Calls

1 calls:

3.0ms

(-.f64 x (*.f64 y x))

Compiler

Compiled 174 to 59 computations (66.1% saved)

series92.0ms (2.7%)

Error

Counts

1 → 9

Calls

1 calls:

86.0ms

(-.f64 x (*.f64 y x))

Compiler

Compiled 166 to 111 computations (33.1% saved)

simplify272.0ms (8%)

Algorithm

1×	egg-herbie

Rules

386×	`sub-neg_binary64_14052`
336×	`distribute-rgt-in_binary64_14009`
323×	`difference-of-squares_binary64_14028`
274×	`neg-sub0_binary64_14054` `distribute-lft-in_binary64_14008`
262×	`neg-mul-1_binary64_14055`
222×	`cancel-sign-sub-inv_binary64_14025` `distribute-rgt-neg-in_binary64_14017`
219×	`distribute-neg-out_binary64_14021`
210×	`distribute-rgt-out_binary64_14012`
207×	`div-sub_binary64_14064`
201×	`distribute-lft-neg-in_binary64_14016`
180×	`*-commutative_binary64_13990`
175×	`exp-prod_binary64_14111`
162×	`exp-to-pow_binary64_14121`
151×	`sqr-pow_binary64_14031` `unswap-sqr_binary64_14027`
139×	`exp-sum_binary64_14105`
127×	`associate-+l-_binary64_13994`
115×	`associate-l_binary64_14000`
109×	`distribute-rgt-out--_binary64_14013`
102×	`associate-r_binary64_13999`
91×	`distribute-lft-neg-out_binary64_14018`
87×	`associate-+r-_binary64_13993`
82×	`associate--r+_binary64_13995`
79×	`pow-sqr_binary64_14032`
77×	`distribute-rgt-neg-out_binary64_14019`
60×	`associate-/l*_binary64_14004`
58×	`exp-diff_binary64_14107` `+-commutative_binary64_13989`
50×	`mul0-lft_binary64_14041`
49×	`*-lft-identity_binary64_14048` `mul0-rgt_binary64_14042`
44×	`remove-double-neg_binary64_14047`
43×	`distribute-neg-in_binary64_14020`
41×	`associate-+r+_binary64_13991`
40×	`times-frac_binary64_14065`
38×	`log-prod_binary64_14145` `cube-prod_binary64_14087` `sub0-neg_binary64_14046`
34×	`distribute-rgt1-in_binary64_14015` `associate-+l+_binary64_13992`
32×	`unsub-neg_binary64_14053` `+-rgt-identity_binary64_14044`
31×	`*-rgt-identity_binary64_14049`
26×	`swap-sqr_binary64_14026`
25×	`associate-/l/_binary64_14006`
23×	`associate-/r*_binary64_14003`
20×	`+-lft-identity_binary64_14043`
19×	`sqr-neg_binary64_14073`
18×	`associate-*r/_binary64_14001` `associate--l+_binary64_13996`
17×	`distribute-lft-out_binary64_14010`
15×	`/-rgt-identity_binary64_14050` `distribute-frac-neg_binary64_14022`
14×	`pow-plus_binary64_14122` `cube-unmult_binary64_14096` `mul-1-neg_binary64_14051`
12×	`distribute-lft1-in_binary64_14014`
11×	`div0_binary64_14040` `associate--r-_binary64_13998`
10×	`exp-neg_binary64_14106` `cube-neg_binary64_14086`
9×	`log-pow_binary64_14148` `unpow3_binary64_14125`
8×	`+-inverses_binary64_14038`
7×	`div-exp_binary64_14110` `associate-*l/_binary64_14002`
6×	`cube-mult_binary64_14089` `associate--l-_binary64_13997`
4×	`--rgt-identity_binary64_14045` `associate-/r/_binary64_14005`
3×	`cube-div_binary64_14088` `difference-of-sqr--1_binary64_14030`
2×	`difference-of-sqr-1_binary64_14029` `distribute-lft-out--_binary64_14011`
1×	`log-div_binary64_14146` `pow-base-1_binary64_14119` `exp-sqrt_binary64_14112` `1-exp_binary64_14103` `exp-1-e_binary64_14102` `rem-log-exp_binary64_14100` `*-inverses_binary64_14039` `count-2_binary64_14007`
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` `pow-base-0_binary64_14143` `unpow1/3_binary64_14126` `unpow2_binary64_14124` `unpow1/2_binary64_14123` `unpow0_binary64_14118` `unpow1_binary64_14117` `unpow-1_binary64_14116` `exp-lft-cube_binary64_14115` `exp-lft-sqr_binary64_14114` `exp-cbrt_binary64_14113` `rec-exp_binary64_14109` `prod-exp_binary64_14108` `e-exp-1_binary64_14104` `exp-0_binary64_14101` `rem-exp-log_binary64_14099` `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-sqrt-square_binary64_14072` `rem-square-sqrt_binary64_14071` `lft-mult-inverse_binary64_14037` `rgt-mult-inverse_binary64_14036` `remove-double-div_binary64_14035` `cancel-sign-sub_binary64_14024` `distribute-neg-frac_binary64_14023`

Counts

22 → 44

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	39	225
1	98	207
2	267	204
3	783	204
4	2189	204
5	3769	204

prune33.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

46 → 2

Compiler

Compiled 642 to 196 computations (69.5% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 x (-.f64 1 y))

rewrite34.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`add-sqr-sqrt_binary64_14081`
8×	`*-un-lft-identity_binary64_14059`
6×	`cancel-sign-sub-inv_binary64_14025` `associate-r_binary64_13999`
5×	`add-cube-cbrt_binary64_14094`
4×	`distribute-rgt-in_binary64_14009` `distribute-lft-in_binary64_14008`
3×	`pow1_binary64_14120` `add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095` `associate-l_binary64_14000`
2×	`sub-neg_binary64_14052` `associate-*r/_binary64_14001` `difference-of-squares_binary64_14028`
1×	`pow-prod-down_binary64_14130` `prod-exp_binary64_14108` `add-log-exp_binary64_14098` `cbrt-unprod_binary64_14092` `unswap-sqr_binary64_14027` `flip3--_binary64_14063` `flip--_binary64_14034` `distribute-lft-out--_binary64_14011` `*-commutative_binary64_13990`

Counts

1 → 31

Calls

1 calls:

8.0ms

(*.f64 x (-.f64 1 y))

Compiler

Compiled 349 to 222 computations (36.4% saved)

series89.0ms (2.6%)

Error

Counts

1 → 9

Calls

1 calls:

85.0ms

(*.f64 x (-.f64 1 y))

Compiler

Compiled 112 to 83 computations (25.9% saved)

simplify171.0ms (5%)

Algorithm

1×	egg-herbie

Rules

747×	`unsub-neg_binary64_14053`
736×	`distribute-neg-out_binary64_14021`
280×	`associate-l_binary64_14000`
239×	`associate-+l+_binary64_13992`
234×	`associate-r_binary64_13999`
209×	`neg-sub0_binary64_14054`
195×	`*-commutative_binary64_13990`
191×	`neg-mul-1_binary64_14055`
178×	`exp-prod_binary64_14111`
169×	`distribute-rgt-neg-out_binary64_14019`
154×	`associate-+r+_binary64_13991`
147×	`sqr-pow_binary64_14031`
138×	`distribute-lft-neg-out_binary64_14018`
135×	`distribute-rgt-in_binary64_14009`
129×	`distribute-lft-in_binary64_14008`
125×	`unswap-sqr_binary64_14027`
84×	`sub-neg_binary64_14052`
77×	`pow-sqr_binary64_14032`
74×	`cancel-sign-sub_binary64_14024`
61×	`exp-sum_binary64_14105`
54×	`exp-to-pow_binary64_14121` `distribute-rgt-out_binary64_14012`
42×	`+-commutative_binary64_13989`
41×	`log-pow_binary64_14148`
40×	`pow-plus_binary64_14122`
38×	`*-lft-identity_binary64_14048`
35×	`*-rgt-identity_binary64_14049`
31×	`cancel-sign-sub-inv_binary64_14025`
29×	`associate-+l-_binary64_13994`
28×	`log-prod_binary64_14145`
26×	`exp-diff_binary64_14107` `difference-of-squares_binary64_14028`
23×	`swap-sqr_binary64_14026`
22×	`distribute-rgt-neg-in_binary64_14017`
19×	`cube-prod_binary64_14087`
18×	`associate-+r-_binary64_13993`
17×	`associate-/l*_binary64_14004`
16×	`sub0-neg_binary64_14046` `mul0-rgt_binary64_14042` `mul0-lft_binary64_14041`
15×	`pow-base-1_binary64_14119` `+-rgt-identity_binary64_14044`
14×	`div-sub_binary64_14064` `distribute-lft-neg-in_binary64_14016`
9×	`cube-unmult_binary64_14096` `mul-1-neg_binary64_14051`
8×	`difference-of-sqr-1_binary64_14029` `distribute-lft-out_binary64_14010` `associate--r+_binary64_13995`
7×	`sqr-neg_binary64_14073` `--rgt-identity_binary64_14045` `distribute-rgt-out--_binary64_14013`
6×	`unpow3_binary64_14125` `times-frac_binary64_14065`
5×	`+-lft-identity_binary64_14043` `distribute-neg-frac_binary64_14023` `associate-/l/_binary64_14006`
4×	`prod-exp_binary64_14108` `cube-mult_binary64_14089` `associate-*r/_binary64_14001`
3×	`exp-sqrt_binary64_14112` `rem-sqrt-square_binary64_14072` `difference-of-sqr--1_binary64_14030` `associate--l+_binary64_13996`
2×	`exp-lft-sqr_binary64_14114` `cube-neg_binary64_14086` `distribute-frac-neg_binary64_14022` `distribute-neg-in_binary64_14020` `distribute-rgt1-in_binary64_14015`
1×	`exp-lft-cube_binary64_14115` `1-exp_binary64_14103` `exp-1-e_binary64_14102` `rem-log-exp_binary64_14100` `rem-3cbrt-lft_binary64_14084` `rem-square-sqrt_binary64_14071` `/-rgt-identity_binary64_14050` `remove-double-neg_binary64_14047` `-inverses_binary64_14039` `rgt-mult-inverse_binary64_14036` `count-2_binary64_14007` `associate-l/_binary64_14002`
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` `unpow2_binary64_14124` `unpow1/2_binary64_14123` `unpow0_binary64_14118` `unpow1_binary64_14117` `unpow-1_binary64_14116` `exp-cbrt_binary64_14113` `div-exp_binary64_14110` `rec-exp_binary64_14109` `exp-neg_binary64_14106` `e-exp-1_binary64_14104` `exp-0_binary64_14101` `rem-exp-log_binary64_14099` `cube-div_binary64_14088` `rem-3cbrt-rft_binary64_14085` `rem-cbrt-cube_binary64_14083` `rem-cube-cbrt_binary64_14082` `sqr-abs_binary64_14074` `div0_binary64_14040` `+-inverses_binary64_14038` `lft-mult-inverse_binary64_14037` `remove-double-div_binary64_14035` `distribute-lft1-in_binary64_14014` `distribute-lft-out--_binary64_14011` `associate-/r/_binary64_14005` `associate-/r*_binary64_14003` `associate--r-_binary64_13998` `associate--l-_binary64_13997`

Counts

40 → 58

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	69	359
1	167	329
2	430	329
3	1238	329
4	2316	325

prune34.0ms (1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

60 → 2

Compiler

Compiled 528 to 213 computations (59.7% saved)

regimes78.0ms (2.3%)

Accuracy

Total 0.0b remaining (93.2%)

Threshold costs 0.0b (93.2%)

Compiler

Compiled 395 to 251 computations (36.5% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_13989`
4×	`sub-neg_binary64_14052` `*-commutative_binary64_13990`
3×	`neg-mul-1_binary64_14055` `neg-sub0_binary64_14054`
2×	`cancel-sign-sub-inv_binary64_14025` `distribute-rgt-neg-in_binary64_14017`
1×	`distribute-lft-neg-out_binary64_14018` `distribute-lft-neg-in_binary64_14016`
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` `unsub-neg_binary64_14053` `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_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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	13	10
2	23	10
3	29	10
4	33	10
5	34	10

Proof

(+ f64 h0 (- f64 h1 (* f64 h0 h1)))

end0.0ms (0%)

sample555.0ms (16.3%)

Algorithm

1×

intervals

Results

174.0ms	7999×	body	128	valid
1.0ms	75×	body	128	invalid
0.0ms	1×	body	1024	valid

Compiler

Compiled 125 to 83 computations (33.6% saved)

Details

analyze71.0ms (2.1%)

sample19.0ms (0.6%)

simplify1.6s (46.9%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

rewrite19.0ms (0.6%)

series118.0ms (3.5%)

simplify141.0ms (4.1%)

prune50.0ms (1.5%)

localize5.0ms (0.1%)

rewrite15.0ms (0.4%)

series92.0ms (2.7%)

simplify272.0ms (8%)

prune33.0ms (1%)

localize4.0ms (0.1%)

rewrite34.0ms (1%)

series89.0ms (2.6%)

simplify171.0ms (5%)

prune34.0ms (1%)

regimes78.0ms (2.3%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample555.0ms (16.3%)

Profiling