Details

analyze1.1s (3.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	74.8%	25.2%	10
0%	74.8%	25.2%	11
0%	74.8%	25.2%	12
24.9%	49.9%	25.2%	13
24.9%	37.4%	37.7%	14

Compiler

Compiled 20 to 20 computations (0% saved)

sample79.0ms (0.2%)

Algorithm

1×

intervals

Results

16.0ms	52×	body	1024	valid
12.0ms	157×	body	128	valid
8.0ms	48×	body	128	invalid
8.0ms	17×	body	2048	valid
7.0ms	88×	body	128	nan
4.0ms	19×	body	512	valid
2.0ms	11×	body	256	valid

Compiler

Compiled 39 to 45 computations (-15.4% saved)

simplify1.1s (3.5%)

Algorithm

1×	egg-herbie

Rules

815×	`associate-/l/_binary64_29010`
636×	`exp-prod_binary64_29115`
620×	`swap-sqr_binary64_29030`
485×	`associate-/l*_binary64_29008`
211×	`sub-neg_binary64_29056`
168×	`cancel-sign-sub-inv_binary64_29029`
150×	`associate-r_binary64_29003`
130×	`times-frac_binary64_29069`
114×	`distribute-rgt-out_binary64_29016`
113×	`associate-l_binary64_29004`
93×	`distribute-rgt-out--_binary64_29017`
88×	`unsub-neg_binary64_29057`
86×	`distribute-lft-out_binary64_29014`
74×	`distribute-lft-out--_binary64_29015`
71×	`div-sub_binary64_29068`
61×	`associate-/r*_binary64_29007`
56×	`distribute-rgt-neg-in_binary64_29021`
49×	`associate-/r/_binary64_29009`
45×	`distribute-lft-neg-in_binary64_29020`
44×	`neg-mul-1_binary64_29059`
43×	`*-commutative_binary64_28994`
40×	`neg-sub0_binary64_29058`
39×	`distribute-rgt-in_binary64_29013`
27×	`associate-*l/_binary64_29006`
26×	`+-commutative_binary64_28993`
24×	`distribute-neg-in_binary64_29024`
22×	`associate-*r/_binary64_29005`
20×	`distribute-lft-in_binary64_29012`
18×	`distribute-neg-frac_binary64_29027` `associate-+l-_binary64_28998`
16×	`associate--r+_binary64_28999`
14×	`mul0-rgt_binary64_29046`
13×	`sub0-neg_binary64_29050` `+-inverses_binary64_29042`
12×	`mul0-lft_binary64_29045` `unswap-sqr_binary64_29031`
11×	`remove-double-neg_binary64_29051` `--rgt-identity_binary64_29049`
10×	`distribute-lft-neg-out_binary64_29022` `associate-+r-_binary64_28997`
9×	`distribute-rgt1-in_binary64_29019` `associate-+l+_binary64_28996`
8×	`+-lft-identity_binary64_29047`
7×	`cube-unmult_binary64_29100`
6×	`+-rgt-identity_binary64_29048` `associate-+r+_binary64_28995`
5×	`div0_binary64_29044`
4×	`associate--r-_binary64_29002`
3×	`count-2_binary64_29011`
2×	`exp-sum_binary64_29109` `sqr-neg_binary64_29077` `difference-of-squares_binary64_29032` `distribute-rgt-neg-out_binary64_29023` `distribute-lft1-in_binary64_29018` `associate--l+_binary64_29000`
1×	`cos-neg_binary64_29194` `exp-lft-sqr_binary64_29118` `exp-cbrt_binary64_29117` `exp-diff_binary64_29111` `1-exp_binary64_29107`
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_29326` `erf-erfc_binary64_29325` `erf-odd_binary64_29324` `if-if-and-not_binary64_29323` `if-if-and_binary64_29322` `if-if-or-not_binary64_29321` `if-if-or_binary64_29320` `if-not_binary64_29319` `if-same_binary64_29318` `if-false_binary64_29317` `if-true_binary64_29316` `not-gte_binary64_29315` `not-lte_binary64_29314` `not-gt_binary64_29313` `not-lt_binary64_29312` `gte-same_binary64_29311` `lte-same_binary64_29310` `gt-same_binary64_29309` `lt-same_binary64_29308` `sinh---cosh_binary64_29255` `sinh-+-cosh_binary64_29254` `sinh-cosh_binary64_29253` `tanh-def-c_binary64_29252` `tanh-def-b_binary64_29251` `tanh-def-a_binary64_29250` `cosh-def_binary64_29249` `sinh-def_binary64_29248` `tan-neg_binary64_29195` `sin-neg_binary64_29193` `tan-0_binary64_29192` `cos-0_binary64_29191` `sin-0_binary64_29190` `hang-m-tan_binary64_29189` `hang-p-tan_binary64_29188` `hang-m0-tan_binary64_29187` `hang-p0-tan_binary64_29186` `hang-0m-tan_binary64_29185` `hang-0p-tan_binary64_29184` `tan-+PI/2_binary64_29183` `tan-+PI_binary64_29182` `tan-PI_binary64_29181` `tan-PI/3_binary64_29180` `tan-PI/4_binary64_29179` `tan-PI/6_binary64_29178` `cos-+PI/2_binary64_29177` `cos-+PI_binary64_29176` `cos-PI_binary64_29175` `cos-PI/2_binary64_29174` `cos-PI/3_binary64_29173` `cos-PI/4_binary64_29172` `cos-PI/6_binary64_29171` `sin-+PI/2_binary64_29170` `sin-+PI_binary64_29169` `sin-PI_binary64_29168` `sin-PI/2_binary64_29167` `sin-PI/3_binary64_29166` `sin-PI/4_binary64_29165` `sin-PI/6_binary64_29164` `sub-1-sin_binary64_29163` `sub-1-cos_binary64_29162` `-1-add-sin_binary64_29161` `-1-add-cos_binary64_29160` `1-sub-sin_binary64_29159` `1-sub-cos_binary64_29158` `cos-sin-sum_binary64_29157` `log-E_binary64_29153` `log-pow_binary64_29152` `log-rec_binary64_29151` `log-div_binary64_29150` `log-prod_binary64_29149` `pow-base-0_binary64_29147` `unpow1/3_binary64_29130` `unpow3_binary64_29129` `unpow2_binary64_29128` `unpow1/2_binary64_29127` `pow-plus_binary64_29126` `exp-to-pow_binary64_29125` `pow-base-1_binary64_29123` `unpow0_binary64_29122` `unpow1_binary64_29121` `unpow-1_binary64_29120` `exp-lft-cube_binary64_29119` `exp-sqrt_binary64_29116` `div-exp_binary64_29114` `rec-exp_binary64_29113` `prod-exp_binary64_29112` `exp-neg_binary64_29110` `e-exp-1_binary64_29108` `exp-1-e_binary64_29106` `exp-0_binary64_29105` `rem-log-exp_binary64_29104` `rem-exp-log_binary64_29103` `cube-mult_binary64_29093` `cube-div_binary64_29092` `cube-prod_binary64_29091` `cube-neg_binary64_29090` `rem-3cbrt-rft_binary64_29089` `rem-3cbrt-lft_binary64_29088` `rem-cbrt-cube_binary64_29087` `rem-cube-cbrt_binary64_29086` `sqr-abs_binary64_29078` `rem-sqrt-square_binary64_29076` `rem-square-sqrt_binary64_29075` `mul-1-neg_binary64_29055` `/-rgt-identity_binary64_29054` `-rgt-identity_binary64_29053` `-lft-identity_binary64_29052` `*-inverses_binary64_29043` `lft-mult-inverse_binary64_29041` `rgt-mult-inverse_binary64_29040` `remove-double-div_binary64_29039` `pow-sqr_binary64_29036` `sqr-pow_binary64_29035` `difference-of-sqr--1_binary64_29034` `difference-of-sqr-1_binary64_29033` `cancel-sign-sub_binary64_29028` `distribute-frac-neg_binary64_29026` `distribute-neg-out_binary64_29025` `associate--l-_binary64_29001`

Counts

1 → 6

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	29
1	33	29
2	61	29
3	106	29
4	194	29
5	282	29
6	509	29
7	3282	29

prune17.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	3	3	6
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	3	4	7

Error

15.5b

Counts

7 → 4

Compiler

Compiled 190 to 155 computations (18.4% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 t (/.f64 z 3))
0.2b	(.f64 (sqrt.f64 x) (.f64 2 (cos.f64 (-.f64 y (*.f64 t (/.f64 z 3))))))
0.5b	(/.f64 a (*.f64 3 b))
22.6b	(cos.f64 (-.f64 y (*.f64 t (/.f64 z 3))))

rewrite188.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

14.6b

Rules

21×	`add-sqr-sqrt_binary64_29085`
19×	`add-exp-log_binary64_29101` `add-cbrt-cube_binary64_29099`
16×	`add-cube-cbrt_binary64_29098` `*-un-lft-identity_binary64_29063`
14×	`associate-r_binary64_29003`
13×	`times-frac_binary64_29069`
11×	`pow1_binary64_29124`
9×	`associate-l_binary64_29004`
6×	`prod-exp_binary64_29112` `cbrt-unprod_binary64_29096`
5×	`cos-diff_binary64_29200`
4×	`add-log-exp_binary64_29102` `pow-prod-down_binary64_29134` `distribute-rgt-in_binary64_29013` `distribute-lft-in_binary64_29012`
3×	`div-exp_binary64_29114` `cbrt-undiv_binary64_29097` `associate-/l*_binary64_29008` `sqrt-prod_binary64_29079`
2×	`cos-sum_binary64_29197` `div-inv_binary64_29060` `*-commutative_binary64_28994` `unswap-sqr_binary64_29031`
1×	`sub-neg_binary64_29056` `cancel-sign-sub-inv_binary64_29029` `frac-2neg_binary64_29074` `clear-num_binary64_29062` `associate-/r_binary64_29007` `associate-r/_binary64_29005`

Counts

4 → 88

Calls

4 calls:

7.0ms	(*.f64 t (/.f64 z 3))
7.0ms	(.f64 (sqrt.f64 x) (.f64 2 (cos.f64 (-.f64 y (*.f64 t (/.f64 z 3))))))
5.0ms	(cos.f64 (-.f64 y (*.f64 t (/.f64 z 3))))
4.0ms	(/.f64 a (*.f64 3 b))

Compiler

Compiled 2339 to 1508 computations (35.5% saved)

series817.0ms (2.5%)

Error

12.5b

Counts

4 → 45

Calls

4 calls:

417.0ms	(.f64 (sqrt.f64 x) (.f64 2 (cos.f64 (-.f64 y (*.f64 t (/.f64 z 3))))))
154.0ms	(cos.f64 (-.f64 y (*.f64 t (/.f64 z 3))))
93.0ms	(/.f64 a (*.f64 3 b))
91.0ms	(*.f64 t (/.f64 z 3))

Compiler

Compiled 2890 to 2320 computations (19.7% saved)

simplify269.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

488×	`associate-/l*_binary64_29008`
461×	`times-frac_binary64_29069`
360×	`associate-*l/_binary64_29006`
324×	`associate-*r/_binary64_29005`
256×	`associate-l_binary64_29004`
242×	`associate-r_binary64_29003`
232×	`associate-/l/_binary64_29010`
217×	`associate-/r*_binary64_29007`
162×	`cancel-sign-sub-inv_binary64_29029`
130×	`*-commutative_binary64_28994`
116×	`associate-/r/_binary64_29009`
111×	`distribute-rgt-neg-in_binary64_29021`
109×	`neg-mul-1_binary64_29059`
106×	`neg-sub0_binary64_29058`
88×	`distribute-lft-neg-in_binary64_29020`
56×	`log-div_binary64_29150`
54×	`sub-neg_binary64_29056`
51×	`unsub-neg_binary64_29057`
49×	`cube-div_binary64_29092`
45×	`div-sub_binary64_29068`
42×	`exp-prod_binary64_29115`
41×	`log-prod_binary64_29149`
40×	`+-commutative_binary64_28993`
35×	`distribute-lft-neg-out_binary64_29022`
34×	`cube-prod_binary64_29091` `sqr-pow_binary64_29035`
22×	`associate-+l-_binary64_28998`
21×	`associate-+r-_binary64_28997`
20×	`unswap-sqr_binary64_29031` `associate-+l+_binary64_28996`
19×	`*-lft-identity_binary64_29052`
18×	`swap-sqr_binary64_29030`
17×	`distribute-rgt-neg-out_binary64_29023`
16×	`*-rgt-identity_binary64_29053`
15×	`cube-unmult_binary64_29100`
13×	`pow-plus_binary64_29126` `exp-sqrt_binary64_29116`
12×	`prod-exp_binary64_29112` `associate-+r+_binary64_28995`
11×	`distribute-rgt-out--_binary64_29017` `distribute-rgt-in_binary64_29013`
10×	`distribute-rgt-out_binary64_29016`
9×	`unpow3_binary64_29129` `div-exp_binary64_29114` `distribute-neg-frac_binary64_29027`
8×	`log-rec_binary64_29151` `pow-sqr_binary64_29036` `associate--l+_binary64_29000` `associate--r+_binary64_28999`
7×	`exp-lft-sqr_binary64_29118` `distribute-lft-out--_binary64_29015`
6×	`cube-mult_binary64_29093` `/-rgt-identity_binary64_29054` `distribute-neg-in_binary64_29024`
5×	`log-pow_binary64_29152`
4×	`distribute-lft-out_binary64_29014` `distribute-lft-in_binary64_29012`
3×	`unpow2_binary64_29128` `unpow1_binary64_29121` `exp-cbrt_binary64_29117` `rec-exp_binary64_29113` `rem-sqrt-square_binary64_29076`
2×	`cos-neg_binary64_29194` `sin-neg_binary64_29193` `remove-double-neg_binary64_29051`
1×	`exp-diff_binary64_29111` `1-exp_binary64_29107` `exp-1-e_binary64_29106` `rem-log-exp_binary64_29104` `rem-square-sqrt_binary64_29075` `+-rgt-identity_binary64_29048` `*-inverses_binary64_29043` `distribute-rgt1-in_binary64_29019` `associate--r-_binary64_29002`
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_29326` `erf-erfc_binary64_29325` `erf-odd_binary64_29324` `if-if-and-not_binary64_29323` `if-if-and_binary64_29322` `if-if-or-not_binary64_29321` `if-if-or_binary64_29320` `if-not_binary64_29319` `if-same_binary64_29318` `if-false_binary64_29317` `if-true_binary64_29316` `not-gte_binary64_29315` `not-lte_binary64_29314` `not-gt_binary64_29313` `not-lt_binary64_29312` `gte-same_binary64_29311` `lte-same_binary64_29310` `gt-same_binary64_29309` `lt-same_binary64_29308` `sinh---cosh_binary64_29255` `sinh-+-cosh_binary64_29254` `sinh-cosh_binary64_29253` `tanh-def-c_binary64_29252` `tanh-def-b_binary64_29251` `tanh-def-a_binary64_29250` `cosh-def_binary64_29249` `sinh-def_binary64_29248` `tan-neg_binary64_29195` `tan-0_binary64_29192` `cos-0_binary64_29191` `sin-0_binary64_29190` `hang-m-tan_binary64_29189` `hang-p-tan_binary64_29188` `hang-m0-tan_binary64_29187` `hang-p0-tan_binary64_29186` `hang-0m-tan_binary64_29185` `hang-0p-tan_binary64_29184` `tan-+PI/2_binary64_29183` `tan-+PI_binary64_29182` `tan-PI_binary64_29181` `tan-PI/3_binary64_29180` `tan-PI/4_binary64_29179` `tan-PI/6_binary64_29178` `cos-+PI/2_binary64_29177` `cos-+PI_binary64_29176` `cos-PI_binary64_29175` `cos-PI/2_binary64_29174` `cos-PI/3_binary64_29173` `cos-PI/4_binary64_29172` `cos-PI/6_binary64_29171` `sin-+PI/2_binary64_29170` `sin-+PI_binary64_29169` `sin-PI_binary64_29168` `sin-PI/2_binary64_29167` `sin-PI/3_binary64_29166` `sin-PI/4_binary64_29165` `sin-PI/6_binary64_29164` `sub-1-sin_binary64_29163` `sub-1-cos_binary64_29162` `-1-add-sin_binary64_29161` `-1-add-cos_binary64_29160` `1-sub-sin_binary64_29159` `1-sub-cos_binary64_29158` `cos-sin-sum_binary64_29157` `log-E_binary64_29153` `pow-base-0_binary64_29147` `unpow1/3_binary64_29130` `unpow1/2_binary64_29127` `exp-to-pow_binary64_29125` `pow-base-1_binary64_29123` `unpow0_binary64_29122` `unpow-1_binary64_29120` `exp-lft-cube_binary64_29119` `exp-neg_binary64_29110` `exp-sum_binary64_29109` `e-exp-1_binary64_29108` `exp-0_binary64_29105` `rem-exp-log_binary64_29103` `cube-neg_binary64_29090` `rem-3cbrt-rft_binary64_29089` `rem-3cbrt-lft_binary64_29088` `rem-cbrt-cube_binary64_29087` `rem-cube-cbrt_binary64_29086` `sqr-abs_binary64_29078` `sqr-neg_binary64_29077` `mul-1-neg_binary64_29055` `sub0-neg_binary64_29050` `--rgt-identity_binary64_29049` `+-lft-identity_binary64_29047` `mul0-rgt_binary64_29046` `mul0-lft_binary64_29045` `div0_binary64_29044` `+-inverses_binary64_29042` `lft-mult-inverse_binary64_29041` `rgt-mult-inverse_binary64_29040` `remove-double-div_binary64_29039` `difference-of-sqr--1_binary64_29034` `difference-of-sqr-1_binary64_29033` `difference-of-squares_binary64_29032` `cancel-sign-sub_binary64_29028` `distribute-frac-neg_binary64_29026` `distribute-neg-out_binary64_29025` `distribute-lft1-in_binary64_29018` `count-2_binary64_29011` `associate--l-_binary64_29001`

Counts

133 → 267

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	237	2407
1	578	2148
2	1864	2113
3	4548	2113

prune563.0ms (1.7%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	246	21	267
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	249	22	271

Error

11.9b

Counts

271 → 22

Compiler

Compiled 8118 to 5140 computations (36.7% saved)

localize11.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b)))
0.2b	(.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x)))
0.5b	(/.f64 a (*.f64 3 b))

rewrite104.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

11.9b

Rules

13×	`add-exp-log_binary64_29101` `add-cbrt-cube_binary64_29099`
8×	`pow1_binary64_29124` `add-cube-cbrt_binary64_29098` `add-sqr-sqrt_binary64_29085` `*-un-lft-identity_binary64_29063`
7×	`cancel-sign-sub-inv_binary64_29029`
6×	`times-frac_binary64_29069`
5×	`add-log-exp_binary64_29102`
4×	`prod-exp_binary64_29112` `cbrt-unprod_binary64_29096`
3×	`associate-/l_binary64_29008` `pow-prod-down_binary64_29134` `associate-l*_binary64_29004`
2×	`div-exp_binary64_29114` `cbrt-undiv_binary64_29097` `div-inv_binary64_29060`
1×	`frac-2neg_binary64_29074` `clear-num_binary64_29062` `associate-/r_binary64_29007` `associate-r_binary64_29003` `-commutative_binary64_28994` `diff-log_binary64_29155` `flip3--_binary64_29067` `sub-neg_binary64_29056` `flip--_binary64_29038`

Counts

3 → 57

Calls

3 calls:

9.0ms	(-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b)))
6.0ms	(.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x)))
4.0ms	(/.f64 a (*.f64 3 b))

Compiler

Compiled 1174 to 677 computations (42.3% saved)

series713.0ms (2.2%)

Error

11.7b

Counts

3 → 32

Calls

3 calls:

481.0ms	(-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b)))
106.0ms	(.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x)))
96.0ms	(/.f64 a (*.f64 3 b))

Compiler

Compiled 1123 to 1034 computations (7.9% saved)

simplify194.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

440×	`distribute-neg-frac_binary64_29027`
395×	`times-frac_binary64_29069`
365×	`cancel-sign-sub-inv_binary64_29029`
321×	`associate-/l*_binary64_29008`
279×	`*-commutative_binary64_28994`
209×	`associate-/r*_binary64_29007`
204×	`associate-*l/_binary64_29006`
172×	`associate-*r/_binary64_29005`
143×	`unsub-neg_binary64_29057`
128×	`associate-l_binary64_29004`
118×	`neg-sub0_binary64_29058`
115×	`neg-mul-1_binary64_29059`
111×	`associate-r_binary64_29003`
104×	`div-sub_binary64_29068`
98×	`sub-neg_binary64_29056`
94×	`associate-/l/_binary64_29010`
91×	`sqr-pow_binary64_29035`
84×	`exp-prod_binary64_29115`
62×	`distribute-rgt-neg-in_binary64_29021`
60×	`exp-sum_binary64_29109` `swap-sqr_binary64_29030` `distribute-rgt-in_binary64_29013`
54×	`distribute-lft-neg-out_binary64_29022` `distribute-lft-in_binary64_29012`
48×	`distribute-lft-neg-in_binary64_29020`
45×	`unswap-sqr_binary64_29031`
40×	`associate-/r/_binary64_29009`
34×	`log-prod_binary64_29149`
33×	`cube-prod_binary64_29091`
32×	`+-commutative_binary64_28993`
28×	`distribute-rgt-neg-out_binary64_29023` `distribute-rgt-out_binary64_29016`
26×	`*-lft-identity_binary64_29052` `pow-sqr_binary64_29036`
24×	`exp-diff_binary64_29111`
22×	`log-div_binary64_29150` `difference-of-squares_binary64_29032`
21×	`cube-div_binary64_29092`
20×	`mul0-rgt_binary64_29046` `mul0-lft_binary64_29045` `associate-+r-_binary64_28997`
18×	`exp-cbrt_binary64_29117` `*-rgt-identity_binary64_29053`
13×	`unpow3_binary64_29129` `associate-+l-_binary64_28998` `associate-+r+_binary64_28995`
12×	`exp-sqrt_binary64_29116`
11×	`sub0-neg_binary64_29050`
10×	`exp-neg_binary64_29110` `/-rgt-identity_binary64_29054` `distribute-lft-out_binary64_29014`
9×	`+-rgt-identity_binary64_29048`
7×	`cube-unmult_binary64_29100` `associate-+l+_binary64_28996`
6×	`prod-exp_binary64_29112` `cube-mult_binary64_29093` `div0_binary64_29044`
5×	`distribute-frac-neg_binary64_29026`
4×	`exp-lft-sqr_binary64_29118` `distribute-neg-in_binary64_29024` `associate--r+_binary64_28999`
3×	`div-exp_binary64_29114` `rem-square-sqrt_binary64_29075` `mul-1-neg_binary64_29055` `cancel-sign-sub_binary64_29028` `associate--l+_binary64_29000`
2×	`pow-plus_binary64_29126` `unpow1_binary64_29121` `rem-3cbrt-lft_binary64_29088` `rem-sqrt-square_binary64_29076`
1×	`log-pow_binary64_29152` `log-rec_binary64_29151` `unpow2_binary64_29128` `pow-base-1_binary64_29123` `1-exp_binary64_29107` `exp-1-e_binary64_29106` `rem-log-exp_binary64_29104` `sqr-neg_binary64_29077` `*-inverses_binary64_29043` `rgt-mult-inverse_binary64_29040` `distribute-rgt-out--_binary64_29017`
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_29326` `erf-erfc_binary64_29325` `erf-odd_binary64_29324` `if-if-and-not_binary64_29323` `if-if-and_binary64_29322` `if-if-or-not_binary64_29321` `if-if-or_binary64_29320` `if-not_binary64_29319` `if-same_binary64_29318` `if-false_binary64_29317` `if-true_binary64_29316` `not-gte_binary64_29315` `not-lte_binary64_29314` `not-gt_binary64_29313` `not-lt_binary64_29312` `gte-same_binary64_29311` `lte-same_binary64_29310` `gt-same_binary64_29309` `lt-same_binary64_29308` `sinh---cosh_binary64_29255` `sinh-+-cosh_binary64_29254` `sinh-cosh_binary64_29253` `tanh-def-c_binary64_29252` `tanh-def-b_binary64_29251` `tanh-def-a_binary64_29250` `cosh-def_binary64_29249` `sinh-def_binary64_29248` `tan-neg_binary64_29195` `cos-neg_binary64_29194` `sin-neg_binary64_29193` `tan-0_binary64_29192` `cos-0_binary64_29191` `sin-0_binary64_29190` `hang-m-tan_binary64_29189` `hang-p-tan_binary64_29188` `hang-m0-tan_binary64_29187` `hang-p0-tan_binary64_29186` `hang-0m-tan_binary64_29185` `hang-0p-tan_binary64_29184` `tan-+PI/2_binary64_29183` `tan-+PI_binary64_29182` `tan-PI_binary64_29181` `tan-PI/3_binary64_29180` `tan-PI/4_binary64_29179` `tan-PI/6_binary64_29178` `cos-+PI/2_binary64_29177` `cos-+PI_binary64_29176` `cos-PI_binary64_29175` `cos-PI/2_binary64_29174` `cos-PI/3_binary64_29173` `cos-PI/4_binary64_29172` `cos-PI/6_binary64_29171` `sin-+PI/2_binary64_29170` `sin-+PI_binary64_29169` `sin-PI_binary64_29168` `sin-PI/2_binary64_29167` `sin-PI/3_binary64_29166` `sin-PI/4_binary64_29165` `sin-PI/6_binary64_29164` `sub-1-sin_binary64_29163` `sub-1-cos_binary64_29162` `-1-add-sin_binary64_29161` `-1-add-cos_binary64_29160` `1-sub-sin_binary64_29159` `1-sub-cos_binary64_29158` `cos-sin-sum_binary64_29157` `log-E_binary64_29153` `pow-base-0_binary64_29147` `unpow1/3_binary64_29130` `unpow1/2_binary64_29127` `exp-to-pow_binary64_29125` `unpow0_binary64_29122` `unpow-1_binary64_29120` `exp-lft-cube_binary64_29119` `rec-exp_binary64_29113` `e-exp-1_binary64_29108` `exp-0_binary64_29105` `rem-exp-log_binary64_29103` `cube-neg_binary64_29090` `rem-3cbrt-rft_binary64_29089` `rem-cbrt-cube_binary64_29087` `rem-cube-cbrt_binary64_29086` `sqr-abs_binary64_29078` `remove-double-neg_binary64_29051` `--rgt-identity_binary64_29049` `+-lft-identity_binary64_29047` `+-inverses_binary64_29042` `lft-mult-inverse_binary64_29041` `remove-double-div_binary64_29039` `difference-of-sqr--1_binary64_29034` `difference-of-sqr-1_binary64_29033` `distribute-neg-out_binary64_29025` `distribute-rgt1-in_binary64_29019` `distribute-lft1-in_binary64_29018` `distribute-lft-out--_binary64_29015` `count-2_binary64_29011` `associate--r-_binary64_29002` `associate--l-_binary64_29001`

Counts

89 → 277

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	136	1291
1	369	1240
2	1138	1239
3	3478	1238

prune472.0ms (1.5%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	269	8	277
Fresh	2	19	21
Picked	1	0	1
Done	0	0	0
Total	272	27	299

Error

11.8b

Counts

299 → 27

Compiler

Compiled 7000 to 4106 computations (41.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (cos.f64 y))
0.3b	(cbrt.f64 (cos.f64 y))
0.3b	(cbrt.f64 (cos.f64 y))
0.5b	(/.f64 a (*.f64 3 b))

rewrite87.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

11.8b

Rules

9×	`add-exp-log_binary64_29101` `add-cbrt-cube_binary64_29099` `add-cube-cbrt_binary64_29098` `add-sqr-sqrt_binary64_29085` `*-un-lft-identity_binary64_29063` `cbrt-prod_binary64_29094`
4×	`pow1_binary64_29124` `add-log-exp_binary64_29102`
3×	`times-frac_binary64_29069` `associate-/l*_binary64_29008` `pow1/3_binary64_29145`
2×	`div-exp_binary64_29114` `cbrt-undiv_binary64_29097`
1×	`prod-exp_binary64_29112` `cbrt-unprod_binary64_29096` `frac-2neg_binary64_29074` `clear-num_binary64_29062` `div-inv_binary64_29060` `associate-/r*_binary64_29007`

Counts

4 → 54

Calls

4 calls:

4.0ms	(/.f64 a (*.f64 3 b))
1.0ms	(cbrt.f64 (cos.f64 y))
1.0ms	(cbrt.f64 (cos.f64 y))
1.0ms	(cbrt.f64 (cos.f64 y))

Compiler

Compiled 1459 to 580 computations (60.2% saved)

series452.0ms (1.4%)

Error

11.7b

Counts

4 → 18

Calls

4 calls:

117.0ms	(cbrt.f64 (cos.f64 y))
106.0ms	(cbrt.f64 (cos.f64 y))
102.0ms	(cbrt.f64 (cos.f64 y))
100.0ms	(/.f64 a (*.f64 3 b))

Compiler

Compiled 1182 to 862 computations (27.1% saved)

simplify151.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

660×	`associate-/l*_binary64_29008`
431×	`associate-/r/_binary64_29009`
389×	`associate-/r*_binary64_29007`
365×	`associate-*l/_binary64_29006`
307×	`distribute-rgt-in_binary64_29013`
296×	`distribute-lft-in_binary64_29012`
288×	`log-prod_binary64_29149`
257×	`associate-l_binary64_29004`
236×	`times-frac_binary64_29069`
206×	`unswap-sqr_binary64_29031`
179×	`associate-r/_binary64_29005` `associate-r*_binary64_29003`
131×	`associate-+r+_binary64_28995`
123×	`associate-+l+_binary64_28996`
90×	`associate-/l/_binary64_29010`
73×	`*-commutative_binary64_28994`
63×	`sqr-pow_binary64_29035`
48×	`sub-neg_binary64_29056`
47×	`distribute-rgt-out_binary64_29016`
42×	`exp-prod_binary64_29115`
39×	`distribute-rgt-neg-in_binary64_29021`
37×	`cube-prod_binary64_29091`
35×	`cancel-sign-sub-inv_binary64_29029`
34×	`pow-sqr_binary64_29036`
32×	`distribute-lft-neg-in_binary64_29020`
29×	`distribute-lft-out_binary64_29014`
28×	`log-pow_binary64_29152`
23×	`associate-+l-_binary64_28998`
21×	`neg-sub0_binary64_29058` `+-commutative_binary64_28993`
20×	`pow-plus_binary64_29126` `neg-mul-1_binary64_29059`
16×	`cube-unmult_binary64_29100`
15×	`associate--r+_binary64_28999`
13×	`count-2_binary64_29011`
11×	`unpow3_binary64_29129` `distribute-lft-neg-out_binary64_29022`
10×	`unsub-neg_binary64_29057` `swap-sqr_binary64_29030` `distribute-neg-in_binary64_29024` `distribute-rgt1-in_binary64_29019`
9×	`div-exp_binary64_29114` `cube-div_binary64_29092` `sub0-neg_binary64_29050` `associate-+r-_binary64_28997`
8×	`prod-exp_binary64_29112` `/-rgt-identity_binary64_29054`
7×	`log-div_binary64_29150` `+-rgt-identity_binary64_29048`
6×	`associate--r-_binary64_29002`
5×	`exp-sum_binary64_29109` `rem-sqrt-square_binary64_29076` `*-rgt-identity_binary64_29053`
4×	`cube-mult_binary64_29093` `mul0-rgt_binary64_29046` `mul0-lft_binary64_29045` `distribute-neg-frac_binary64_29027`
3×	`rec-exp_binary64_29113` `*-lft-identity_binary64_29052` `--rgt-identity_binary64_29049` `distribute-rgt-neg-out_binary64_29023` `associate--l+_binary64_29000`
1×	`unpow1/3_binary64_29130` `unpow2_binary64_29128` `unpow1_binary64_29121` `exp-lft-sqr_binary64_29118` `exp-cbrt_binary64_29117` `exp-sqrt_binary64_29116` `1-exp_binary64_29107` `rem-3cbrt-lft_binary64_29088` `remove-double-neg_binary64_29051` `*-inverses_binary64_29043` `rgt-mult-inverse_binary64_29040`
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_29326` `erf-erfc_binary64_29325` `erf-odd_binary64_29324` `if-if-and-not_binary64_29323` `if-if-and_binary64_29322` `if-if-or-not_binary64_29321` `if-if-or_binary64_29320` `if-not_binary64_29319` `if-same_binary64_29318` `if-false_binary64_29317` `if-true_binary64_29316` `not-gte_binary64_29315` `not-lte_binary64_29314` `not-gt_binary64_29313` `not-lt_binary64_29312` `gte-same_binary64_29311` `lte-same_binary64_29310` `gt-same_binary64_29309` `lt-same_binary64_29308` `sinh---cosh_binary64_29255` `sinh-+-cosh_binary64_29254` `sinh-cosh_binary64_29253` `tanh-def-c_binary64_29252` `tanh-def-b_binary64_29251` `tanh-def-a_binary64_29250` `cosh-def_binary64_29249` `sinh-def_binary64_29248` `tan-neg_binary64_29195` `cos-neg_binary64_29194` `sin-neg_binary64_29193` `tan-0_binary64_29192` `cos-0_binary64_29191` `sin-0_binary64_29190` `hang-m-tan_binary64_29189` `hang-p-tan_binary64_29188` `hang-m0-tan_binary64_29187` `hang-p0-tan_binary64_29186` `hang-0m-tan_binary64_29185` `hang-0p-tan_binary64_29184` `tan-+PI/2_binary64_29183` `tan-+PI_binary64_29182` `tan-PI_binary64_29181` `tan-PI/3_binary64_29180` `tan-PI/4_binary64_29179` `tan-PI/6_binary64_29178` `cos-+PI/2_binary64_29177` `cos-+PI_binary64_29176` `cos-PI_binary64_29175` `cos-PI/2_binary64_29174` `cos-PI/3_binary64_29173` `cos-PI/4_binary64_29172` `cos-PI/6_binary64_29171` `sin-+PI/2_binary64_29170` `sin-+PI_binary64_29169` `sin-PI_binary64_29168` `sin-PI/2_binary64_29167` `sin-PI/3_binary64_29166` `sin-PI/4_binary64_29165` `sin-PI/6_binary64_29164` `sub-1-sin_binary64_29163` `sub-1-cos_binary64_29162` `-1-add-sin_binary64_29161` `-1-add-cos_binary64_29160` `1-sub-sin_binary64_29159` `1-sub-cos_binary64_29158` `cos-sin-sum_binary64_29157` `log-E_binary64_29153` `log-rec_binary64_29151` `pow-base-0_binary64_29147` `unpow1/2_binary64_29127` `exp-to-pow_binary64_29125` `pow-base-1_binary64_29123` `unpow0_binary64_29122` `unpow-1_binary64_29120` `exp-lft-cube_binary64_29119` `exp-diff_binary64_29111` `exp-neg_binary64_29110` `e-exp-1_binary64_29108` `exp-1-e_binary64_29106` `exp-0_binary64_29105` `rem-log-exp_binary64_29104` `rem-exp-log_binary64_29103` `cube-neg_binary64_29090` `rem-3cbrt-rft_binary64_29089` `rem-cbrt-cube_binary64_29087` `rem-cube-cbrt_binary64_29086` `sqr-abs_binary64_29078` `sqr-neg_binary64_29077` `rem-square-sqrt_binary64_29075` `div-sub_binary64_29068` `mul-1-neg_binary64_29055` `+-lft-identity_binary64_29047` `div0_binary64_29044` `+-inverses_binary64_29042` `lft-mult-inverse_binary64_29041` `remove-double-div_binary64_29039` `difference-of-sqr--1_binary64_29034` `difference-of-sqr-1_binary64_29033` `difference-of-squares_binary64_29032` `cancel-sign-sub_binary64_29028` `distribute-frac-neg_binary64_29026` `distribute-neg-out_binary64_29025` `distribute-lft1-in_binary64_29018` `distribute-rgt-out--_binary64_29017` `distribute-lft-out--_binary64_29015` `associate--l-_binary64_29001`

Counts

72 → 97

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	70	643
1	146	589
2	413	588
3	1266	588
4	2533	588
5	4674	588

prune196.0ms (0.6%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	1	25	26
Picked	0	1	1
Done	0	0	0
Total	97	27	124

Error

11.8b

Counts

124 → 27

Compiler

Compiled 3404 to 1795 computations (47.3% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 a (*.f64 b 3))))
0.5b	(cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b))))
0.5b	(cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b))))
0.5b	(.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (.f64 3 b)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b)))))

rewrite389.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

11.8b

Rules

25×	`cbrt-prod_binary64_29094`
23×	`add-sqr-sqrt_binary64_29085`
18×	`cbrt-div_binary64_29095`
15×	`add-cube-cbrt_binary64_29098` `*-un-lft-identity_binary64_29063`
11×	`pow1_binary64_29124`
9×	`pow1/3_binary64_29145` `flip3--_binary64_29067` `flip--_binary64_29038`
6×	`add-exp-log_binary64_29101` `swap-sqr_binary64_29030` `associate-l_binary64_29004` `associate-r_binary64_29003`
4×	`add-log-exp_binary64_29102` `add-cbrt-cube_binary64_29099` `frac-times_binary64_29073` `unswap-sqr_binary64_29031`
2×	`pow-prod-down_binary64_29134` `pow-prod-up_binary64_29133` `pow-sqr_binary64_29036` `associate-l/_binary64_29006` `associate-r/_binary64_29005`
1×	`pow2_binary64_29144` `pow-plus_binary64_29126` `prod-exp_binary64_29112` `cbrt-unprod_binary64_29096` `*-commutative_binary64_28994`

Counts

4 → 87

Calls

4 calls:

27.0ms	(.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (.f64 3 b)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b)))))
9.0ms	(cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b))))
9.0ms	(cbrt.f64 (-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 a (*.f64 b 3))))
9.0ms	(cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b))))

Compiler

Compiled 5588 to 3400 computations (39.2% saved)

series4.4s (13.6%)

Error

11.7b

Counts

4 → 83

Calls

4 calls:

1.4s	(.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (.f64 3 b)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b)))))
915.0ms	(cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b))))
911.0ms	(cbrt.f64 (-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 a (*.f64 b 3))))
893.0ms	(cbrt.f64 (-.f64 (.f64 (cos.f64 y) (.f64 2 (sqrt.f64 x))) (/.f64 a (*.f64 3 b))))

Compiler

Compiled 12609 to 9485 computations (24.8% saved)

simplify1.0s (3.2%)

Algorithm

1×	egg-herbie

Rules

291×	`associate-r_binary64_29003`
281×	`associate-l_binary64_29004`
277×	`cancel-sign-sub-inv_binary64_29029`
232×	`distribute-rgt-neg-in_binary64_29021`
214×	`associate-/r/_binary64_29009`
195×	`distribute-rgt-in_binary64_29013`
187×	`distribute-lft-neg-in_binary64_29020`
170×	`*-commutative_binary64_28994`
158×	`distribute-lft-in_binary64_29012`
157×	`sqr-pow_binary64_29035`
133×	`distribute-neg-frac_binary64_29027`
103×	`times-frac_binary64_29069`
100×	`sub-neg_binary64_29056`
96×	`associate-/l*_binary64_29008`
90×	`associate-/l/_binary64_29010`
88×	`unswap-sqr_binary64_29031`
85×	`associate-*r/_binary64_29005`
81×	`neg-mul-1_binary64_29059`
80×	`neg-sub0_binary64_29058` `associate-/r*_binary64_29007`
68×	`distribute-lft-neg-out_binary64_29022`
59×	`pow-sqr_binary64_29036`
58×	`associate-*l/_binary64_29006`
49×	`log-prod_binary64_29149`
44×	`+-commutative_binary64_28993`
37×	`cube-prod_binary64_29091` `distribute-rgt-out_binary64_29016`
31×	`exp-prod_binary64_29115` `distribute-neg-in_binary64_29024`
28×	`exp-sum_binary64_29109`
27×	`swap-sqr_binary64_29030`
22×	`unsub-neg_binary64_29057` `*-rgt-identity_binary64_29053`
20×	`unpow1/3_binary64_29130` `*-lft-identity_binary64_29052`
18×	`distribute-lft-out_binary64_29014`
17×	`unpow3_binary64_29129` `cube-mult_binary64_29093`
16×	`log-div_binary64_29150`
15×	`div-sub_binary64_29068` `distribute-rgt-neg-out_binary64_29023`
13×	`associate--r+_binary64_28999`
12×	`exp-diff_binary64_29111` `/-rgt-identity_binary64_29054`
10×	`pow-plus_binary64_29126`
9×	`cube-div_binary64_29092`
7×	`unpow2_binary64_29128` `unpow1_binary64_29121` `distribute-rgt-out--_binary64_29017`
6×	`log-pow_binary64_29152` `cube-unmult_binary64_29100` `rem-sqrt-square_binary64_29076` `associate--l+_binary64_29000` `associate-+l+_binary64_28996`
5×	`log-rec_binary64_29151` `count-2_binary64_29011` `associate-+r+_binary64_28995`
4×	`difference-of-squares_binary64_29032`
3×	`rem-3cbrt-lft_binary64_29088` `associate--l-_binary64_29001` `associate-+l-_binary64_28998`
2×	`exp-sqrt_binary64_29116` `rem-square-sqrt_binary64_29075` `remove-double-neg_binary64_29051` `associate--r-_binary64_29002`
1×	`prod-exp_binary64_29112` `1-exp_binary64_29107` `exp-1-e_binary64_29106` `rem-log-exp_binary64_29104` `rem-3cbrt-rft_binary64_29089` `rem-cbrt-cube_binary64_29087` `--rgt-identity_binary64_29049` `*-inverses_binary64_29043` `cancel-sign-sub_binary64_29028` `distribute-neg-out_binary64_29025` `distribute-lft1-in_binary64_29018`
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_29326` `erf-erfc_binary64_29325` `erf-odd_binary64_29324` `if-if-and-not_binary64_29323` `if-if-and_binary64_29322` `if-if-or-not_binary64_29321` `if-if-or_binary64_29320` `if-not_binary64_29319` `if-same_binary64_29318` `if-false_binary64_29317` `if-true_binary64_29316` `not-gte_binary64_29315` `not-lte_binary64_29314` `not-gt_binary64_29313` `not-lt_binary64_29312` `gte-same_binary64_29311` `lte-same_binary64_29310` `gt-same_binary64_29309` `lt-same_binary64_29308` `sinh---cosh_binary64_29255` `sinh-+-cosh_binary64_29254` `sinh-cosh_binary64_29253` `tanh-def-c_binary64_29252` `tanh-def-b_binary64_29251` `tanh-def-a_binary64_29250` `cosh-def_binary64_29249` `sinh-def_binary64_29248` `tan-neg_binary64_29195` `cos-neg_binary64_29194` `sin-neg_binary64_29193` `tan-0_binary64_29192` `cos-0_binary64_29191` `sin-0_binary64_29190` `hang-m-tan_binary64_29189` `hang-p-tan_binary64_29188` `hang-m0-tan_binary64_29187` `hang-p0-tan_binary64_29186` `hang-0m-tan_binary64_29185` `hang-0p-tan_binary64_29184` `tan-+PI/2_binary64_29183` `tan-+PI_binary64_29182` `tan-PI_binary64_29181` `tan-PI/3_binary64_29180` `tan-PI/4_binary64_29179` `tan-PI/6_binary64_29178` `cos-+PI/2_binary64_29177` `cos-+PI_binary64_29176` `cos-PI_binary64_29175` `cos-PI/2_binary64_29174` `cos-PI/3_binary64_29173` `cos-PI/4_binary64_29172` `cos-PI/6_binary64_29171` `sin-+PI/2_binary64_29170` `sin-+PI_binary64_29169` `sin-PI_binary64_29168` `sin-PI/2_binary64_29167` `sin-PI/3_binary64_29166` `sin-PI/4_binary64_29165` `sin-PI/6_binary64_29164` `sub-1-sin_binary64_29163` `sub-1-cos_binary64_29162` `-1-add-sin_binary64_29161` `-1-add-cos_binary64_29160` `1-sub-sin_binary64_29159` `1-sub-cos_binary64_29158` `cos-sin-sum_binary64_29157` `log-E_binary64_29153` `pow-base-0_binary64_29147` `unpow1/2_binary64_29127` `exp-to-pow_binary64_29125` `pow-base-1_binary64_29123` `unpow0_binary64_29122` `unpow-1_binary64_29120` `exp-lft-cube_binary64_29119` `exp-lft-sqr_binary64_29118` `exp-cbrt_binary64_29117` `div-exp_binary64_29114` `rec-exp_binary64_29113` `exp-neg_binary64_29110` `e-exp-1_binary64_29108` `exp-0_binary64_29105` `rem-exp-log_binary64_29103` `cube-neg_binary64_29090` `rem-cube-cbrt_binary64_29086` `sqr-abs_binary64_29078` `sqr-neg_binary64_29077` `mul-1-neg_binary64_29055` `sub0-neg_binary64_29050` `+-rgt-identity_binary64_29048` `+-lft-identity_binary64_29047` `mul0-rgt_binary64_29046` `mul0-lft_binary64_29045` `div0_binary64_29044` `+-inverses_binary64_29042` `lft-mult-inverse_binary64_29041` `rgt-mult-inverse_binary64_29040` `remove-double-div_binary64_29039` `difference-of-sqr--1_binary64_29034` `difference-of-sqr-1_binary64_29033` `distribute-frac-neg_binary64_29026` `distribute-rgt1-in_binary64_29019` `distribute-lft-out--_binary64_29015` `associate-+r-_binary64_28997`

Counts

170 → 587

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	303	7630
1	797	7321
2	2937	6712

prune3.7s (11.5%)

Pruning

34 alts after pruning (33 fresh and 1 done)

	Pruned	Kept	Total
New	573	14	587
Fresh	6	19	25
Picked	1	0	1
Done	0	1	1
Total	580	34	614

Error

11.7b

Counts

614 → 34

Compiler

Compiled 38950 to 23179 computations (40.5% saved)

regimes8.8s (27.2%)

Accuracy

Total 2.6b remaining (15.3%)

Threshold costs 0b (0%)

Compiler

Compiled 96552 to 83410 computations (13.6% saved)

bsearch1.0ms (0%)

Steps

Iters	Range		Point
0	0.998870868069363	0.9994803131320478	0.9991755906007054

Compiler

Compiled 8 to 11 computations (-37.5% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64_28994`
9×	`sub-neg_binary64_29056` `+-commutative_binary64_28993`
6×	`neg-mul-1_binary64_29059` `neg-sub0_binary64_29058`
2×	`distribute-neg-frac_binary64_29027` `distribute-rgt-neg-in_binary64_29021` `distribute-lft-neg-in_binary64_29020`
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_29323` `if-if-and_binary64_29322` `if-if-or-not_binary64_29321` `if-if-or_binary64_29320` `if-not_binary64_29319` `if-same_binary64_29318` `if-false_binary64_29317` `if-true_binary64_29316` `tan-0_binary64_29192` `cos-0_binary64_29191` `sin-0_binary64_29190` `unpow1_binary64_29121` `e-exp-1_binary64_29108` `1-exp_binary64_29107` `exp-1-e_binary64_29106` `exp-0_binary64_29105` `sqr-abs_binary64_29078` `sqr-neg_binary64_29077` `unsub-neg_binary64_29057` `mul-1-neg_binary64_29055` `/-rgt-identity_binary64_29054` `-rgt-identity_binary64_29053` `-lft-identity_binary64_29052` `remove-double-neg_binary64_29051` `sub0-neg_binary64_29050` `--rgt-identity_binary64_29049` `+-rgt-identity_binary64_29048` `+-lft-identity_binary64_29047` `cancel-sign-sub-inv_binary64_29029` `cancel-sign-sub_binary64_29028` `distribute-frac-neg_binary64_29026` `distribute-neg-out_binary64_29025` `distribute-neg-in_binary64_29024` `distribute-rgt-neg-out_binary64_29023` `distribute-lft-neg-out_binary64_29022`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	61
1	33	61
2	46	61
3	60	61
4	70	61
5	76	61
6	78	61

Proof

(if real (<= f64 (cos f64 (- f64 h0 (/ f64 (* f64 h1 h2) 3))) 562485852188379/562949953421312) (- f64 (=> (* f64 (* f64 2 (sqrt f64 h3)) (cos f64 (- f64 h0 (/ f64 (* f64 h1 h2) 3))))) (/ f64 h4 (* f64 h5 3))) (- f64 (* f64 2 (sqrt f64 h3)) (/ f64 h4 (* f64 3 h5))))
*-commutative_binary64_28994 =>
(if real (<= f64 (cos f64 (- f64 h0 (/ f64 (* f64 h1 h2) 3))) 562485852188379/562949953421312) (- f64 (* f64 (cos f64 (- f64 h0 (/ f64 (* f64 h1 h2) 3))) (* f64 2 (sqrt f64 h3))) (/ f64 h4 (* f64 h5 3))) (- f64 (* f64 2 (sqrt f64 h3)) (/ f64 h4 (* f64 3 h5))))
<= *-commutative_binary64_28994
(if real (<= f64 (cos f64 (- f64 h0 (/ f64 (* f64 h1 h2) 3))) 562485852188379/562949953421312) (- f64 (* f64 (cos f64 (- f64 h0 (/ f64 (* f64 h1 h2) 3))) (* f64 2 (sqrt f64 h3))) (/ f64 h4 (<= (* f64 3 h5)))) (- f64 (* f64 2 (sqrt f64 h3)) (/ f64 h4 (* f64 3 h5))))

end0.0ms (0%)

sample7.4s (22.9%)

Algorithm

1×

intervals

Results

557.0ms	1645×	body	1024	valid
366.0ms	4569×	body	128	valid
337.0ms	702×	body	2048	valid
194.0ms	755×	body	512	valid
186.0ms	2356×	body	128	nan
98.0ms	1167×	body	128	invalid
55.0ms	327×	body	256	valid
2.0ms	2×	body	4096	valid

Compiler

Compiled 6115 to 5263 computations (13.9% saved)

Details

analyze1.1s (3.3%)

sample79.0ms (0.2%)

simplify1.1s (3.5%)

prune17.0ms (0.1%)

localize16.0ms (0%)

rewrite188.0ms (0.6%)

series817.0ms (2.5%)

simplify269.0ms (0.8%)

prune563.0ms (1.7%)

localize11.0ms (0%)

rewrite104.0ms (0.3%)

series713.0ms (2.2%)

simplify194.0ms (0.6%)

prune472.0ms (1.5%)

localize17.0ms (0.1%)

rewrite87.0ms (0.3%)

series452.0ms (1.4%)

simplify151.0ms (0.5%)

prune196.0ms (0.6%)

localize22.0ms (0.1%)

rewrite389.0ms (1.2%)

series4.4s (13.6%)

simplify1.0s (3.2%)

prune3.7s (11.5%)

regimes8.8s (27.2%)

bsearch1.0ms (0%)

simplify8.0ms (0%)

end0.0ms (0%)

sample7.4s (22.9%)

Profiling