Details

analyze57.0ms (2.4%)

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
50%	50%	0.1%	5
50%	50%	0.1%	6
71.8%	28.1%	0.1%	7
73.4%	25%	1.7%	8
80.4%	16.4%	3.2%	9
80.8%	14%	5.2%	10
84.1%	8.8%	7.1%	11
84.2%	7.4%	8.4%	12
85.8%	4.5%	9.7%	13
85.8%	3.8%	10.4%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample21.0ms (0.9%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify157.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64_32076`
1×	`count-2_binary64_32080` `*-commutative_binary64_32063` `+-commutative_binary64_32062`
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_32395` `erf-erfc_binary64_32394` `erf-odd_binary64_32393` `if-if-and-not_binary64_32392` `if-if-and_binary64_32391` `if-if-or-not_binary64_32390` `if-if-or_binary64_32389` `if-not_binary64_32388` `if-same_binary64_32387` `if-false_binary64_32386` `if-true_binary64_32385` `not-gte_binary64_32384` `not-lte_binary64_32383` `not-gt_binary64_32382` `not-lt_binary64_32381` `gte-same_binary64_32380` `lte-same_binary64_32379` `gt-same_binary64_32378` `lt-same_binary64_32377` `sinh---cosh_binary64_32324` `sinh-+-cosh_binary64_32323` `sinh-cosh_binary64_32322` `tanh-def-c_binary64_32321` `tanh-def-b_binary64_32320` `tanh-def-a_binary64_32319` `cosh-def_binary64_32318` `sinh-def_binary64_32317` `tan-neg_binary64_32264` `cos-neg_binary64_32263` `sin-neg_binary64_32262` `tan-0_binary64_32261` `cos-0_binary64_32260` `sin-0_binary64_32259` `hang-m-tan_binary64_32258` `hang-p-tan_binary64_32257` `hang-m0-tan_binary64_32256` `hang-p0-tan_binary64_32255` `hang-0m-tan_binary64_32254` `hang-0p-tan_binary64_32253` `tan-+PI/2_binary64_32252` `tan-+PI_binary64_32251` `tan-PI_binary64_32250` `tan-PI/3_binary64_32249` `tan-PI/4_binary64_32248` `tan-PI/6_binary64_32247` `cos-+PI/2_binary64_32246` `cos-+PI_binary64_32245` `cos-PI_binary64_32244` `cos-PI/2_binary64_32243` `cos-PI/3_binary64_32242` `cos-PI/4_binary64_32241` `cos-PI/6_binary64_32240` `sin-+PI/2_binary64_32239` `sin-+PI_binary64_32238` `sin-PI_binary64_32237` `sin-PI/2_binary64_32236` `sin-PI/3_binary64_32235` `sin-PI/4_binary64_32234` `sin-PI/6_binary64_32233` `sub-1-sin_binary64_32232` `sub-1-cos_binary64_32231` `-1-add-sin_binary64_32230` `-1-add-cos_binary64_32229` `1-sub-sin_binary64_32228` `1-sub-cos_binary64_32227` `cos-sin-sum_binary64_32226` `log-E_binary64_32222` `log-pow_binary64_32221` `log-rec_binary64_32220` `log-div_binary64_32219` `log-prod_binary64_32218` `pow-base-0_binary64_32216` `unpow1/3_binary64_32199` `unpow3_binary64_32198` `unpow2_binary64_32197` `unpow1/2_binary64_32196` `pow-plus_binary64_32195` `exp-to-pow_binary64_32194` `pow-base-1_binary64_32192` `unpow0_binary64_32191` `unpow1_binary64_32190` `unpow-1_binary64_32189` `exp-lft-cube_binary64_32188` `exp-lft-sqr_binary64_32187` `exp-cbrt_binary64_32186` `exp-sqrt_binary64_32185` `exp-prod_binary64_32184` `div-exp_binary64_32183` `rec-exp_binary64_32182` `prod-exp_binary64_32181` `exp-diff_binary64_32180` `exp-neg_binary64_32179` `exp-sum_binary64_32178` `e-exp-1_binary64_32177` `1-exp_binary64_32176` `exp-1-e_binary64_32175` `exp-0_binary64_32174` `rem-log-exp_binary64_32173` `rem-exp-log_binary64_32172` `cube-unmult_binary64_32169` `cube-mult_binary64_32162` `cube-div_binary64_32161` `cube-prod_binary64_32160` `cube-neg_binary64_32159` `rem-3cbrt-rft_binary64_32158` `rem-3cbrt-lft_binary64_32157` `rem-cbrt-cube_binary64_32156` `rem-cube-cbrt_binary64_32155` `sqr-abs_binary64_32147` `sqr-neg_binary64_32146` `rem-sqrt-square_binary64_32145` `rem-square-sqrt_binary64_32144` `times-frac_binary64_32138` `div-sub_binary64_32137` `neg-mul-1_binary64_32128` `neg-sub0_binary64_32127` `unsub-neg_binary64_32126` `sub-neg_binary64_32125` `mul-1-neg_binary64_32124` `/-rgt-identity_binary64_32123` `-rgt-identity_binary64_32122` `-lft-identity_binary64_32121` `remove-double-neg_binary64_32120` `sub0-neg_binary64_32119` `--rgt-identity_binary64_32118` `+-rgt-identity_binary64_32117` `+-lft-identity_binary64_32116` `mul0-rgt_binary64_32115` `mul0-lft_binary64_32114` `div0_binary64_32113` `-inverses_binary64_32112` `+-inverses_binary64_32111` `lft-mult-inverse_binary64_32110` `rgt-mult-inverse_binary64_32109` `remove-double-div_binary64_32108` `pow-sqr_binary64_32105` `sqr-pow_binary64_32104` `difference-of-sqr--1_binary64_32103` `difference-of-sqr-1_binary64_32102` `difference-of-squares_binary64_32101` `unswap-sqr_binary64_32100` `swap-sqr_binary64_32099` `cancel-sign-sub-inv_binary64_32098` `cancel-sign-sub_binary64_32097` `distribute-neg-frac_binary64_32096` `distribute-frac-neg_binary64_32095` `distribute-neg-out_binary64_32094` `distribute-neg-in_binary64_32093` `distribute-rgt-neg-out_binary64_32092` `distribute-lft-neg-out_binary64_32091` `distribute-rgt-neg-in_binary64_32090` `distribute-lft-neg-in_binary64_32089` `distribute-rgt1-in_binary64_32088` `distribute-lft1-in_binary64_32087` `distribute-rgt-out--_binary64_32086` `distribute-rgt-out_binary64_32085` `distribute-lft-out--_binary64_32084` `distribute-lft-out_binary64_32083` `distribute-rgt-in_binary64_32082` `distribute-lft-in_binary64_32081` `associate-/l/_binary64_32079` `associate-/r/_binary64_32078` `associate-/l_binary64_32077` `associate-l/_binary64_32075` `associate-r/_binary64_32074` `associate-l_binary64_32073` `associate-r_binary64_32072` `associate--r-_binary64_32071` `associate--l-_binary64_32070` `associate--l+_binary64_32069` `associate--r+_binary64_32068` `associate-+l-_binary64_32067` `associate-+r-_binary64_32066` `associate-+l+_binary64_32065` `associate-+r+_binary64_32064`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	9	10
2	12	10
3	14	10

prune2.0ms (0.1%)

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 5 computations (28.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite83.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`*-un-lft-identity_binary64_32132`
48×	`times-frac_binary64_32138`
39×	`add-cube-cbrt_binary64_32167` `add-sqr-sqrt_binary64_32154`
28×	`distribute-lft-out_binary64_32083`
15×	`distribute-rgt-out_binary64_32085`
12×	`associate-/r*_binary64_32076`
5×	`distribute-rgt1-in_binary64_32088` `distribute-lft1-in_binary64_32087` `count-2_binary64_32080`
4×	`associate-/l*_binary64_32077`
3×	`add-exp-log_binary64_32170` `add-cbrt-cube_binary64_32168`
2×	`flip3-+_binary64_32135` `associate-/l/_binary64_32079` `flip-+_binary64_32106` `associate-/r/_binary64_32078`
1×	`pow1_binary64_32193` `div-exp_binary64_32183` `add-log-exp_binary64_32171` `cbrt-undiv_binary64_32166` `frac-2neg_binary64_32143` `clear-num_binary64_32131` `div-inv_binary64_32129`

Counts

1 → 80

Calls

1 calls:

10.0ms

(/.f64 (+.f64 x y) (+.f64 y y))

Compiler

Compiled 1241 to 306 computations (75.3% saved)

series154.0ms (6.7%)

Error

Counts

1 → 12

Calls

1 calls:

146.0ms

(/.f64 (+.f64 x y) (+.f64 y y))

Compiler

Compiled 162 to 144 computations (11.1% saved)

simplify347.0ms (15%)

Algorithm

1×	egg-herbie

Rules

522×	`distribute-rgt-in_binary64_32082`
426×	`distribute-lft-in_binary64_32081`
359×	`distribute-rgt-out_binary64_32085`
276×	`times-frac_binary64_32138`
251×	`distribute-rgt-out--_binary64_32086`
213×	`cancel-sign-sub-inv_binary64_32098`
192×	`associate-/r*_binary64_32076`
190×	`distribute-lft-out_binary64_32083`
155×	`associate-/l*_binary64_32077`
143×	`distribute-lft-out--_binary64_32084`
127×	`associate-l_binary64_32073`
118×	`associate-/l/_binary64_32079`
107×	`associate-r_binary64_32072`
89×	`sub-neg_binary64_32125`
80×	`associate-*r/_binary64_32074`
72×	`associate-l/_binary64_32075` `-commutative_binary64_32063`
63×	`associate-/r/_binary64_32078`
60×	`div-sub_binary64_32137`
55×	`swap-sqr_binary64_32099`
47×	`distribute-rgt-neg-in_binary64_32090`
45×	`exp-prod_binary64_32184`
41×	`distribute-lft-neg-in_binary64_32089`
40×	`log-prod_binary64_32218`
35×	`cube-prod_binary64_32160` `distribute-rgt1-in_binary64_32088`
34×	`distribute-neg-in_binary64_32093`
33×	`unsub-neg_binary64_32126`
28×	`log-div_binary64_32219` `exp-sum_binary64_32178`
26×	`*-rgt-identity_binary64_32122` `sqr-pow_binary64_32104`
25×	`associate--l+_binary64_32069` `associate-+l+_binary64_32065` `associate-+r+_binary64_32064`
24×	`*-lft-identity_binary64_32121`
23×	`cube-div_binary64_32161`
20×	`neg-sub0_binary64_32127`
19×	`neg-mul-1_binary64_32128` `associate--l-_binary64_32070`
18×	`+-commutative_binary64_32062`
17×	`exp-to-pow_binary64_32194`
16×	`count-2_binary64_32080`
15×	`/-rgt-identity_binary64_32123` `unswap-sqr_binary64_32100`
14×	`prod-exp_binary64_32181` `exp-diff_binary64_32180` `pow-sqr_binary64_32105` `distribute-neg-frac_binary64_32096`
13×	`associate-+l-_binary64_32067` `associate-+r-_binary64_32066`
12×	`div-exp_binary64_32183`
11×	`distribute-lft-neg-out_binary64_32091`
10×	`log-pow_binary64_32221` `distribute-neg-out_binary64_32094` `distribute-rgt-neg-out_binary64_32092`
9×	`associate--r+_binary64_32068`
7×	`cube-unmult_binary64_32169`
6×	`distribute-lft1-in_binary64_32087`
5×	`sub0-neg_binary64_32119`
4×	`rec-exp_binary64_32182` `rem-log-exp_binary64_32173` `+-rgt-identity_binary64_32117`
3×	`log-rec_binary64_32220` `unpow3_binary64_32198` `pow-plus_binary64_32195` `cube-mult_binary64_32162` `+-inverses_binary64_32111`
2×	`exp-lft-sqr_binary64_32187` `remove-double-neg_binary64_32120` `--rgt-identity_binary64_32118` `difference-of-squares_binary64_32101` `cancel-sign-sub_binary64_32097`
1×	`exp-sqrt_binary64_32185` `1-exp_binary64_32176` `+-lft-identity_binary64_32116` `mul0-lft_binary64_32114` `div0_binary64_32113` `difference-of-sqr--1_binary64_32103` `distribute-frac-neg_binary64_32095` `associate--r-_binary64_32071`
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_32395` `erf-erfc_binary64_32394` `erf-odd_binary64_32393` `if-if-and-not_binary64_32392` `if-if-and_binary64_32391` `if-if-or-not_binary64_32390` `if-if-or_binary64_32389` `if-not_binary64_32388` `if-same_binary64_32387` `if-false_binary64_32386` `if-true_binary64_32385` `not-gte_binary64_32384` `not-lte_binary64_32383` `not-gt_binary64_32382` `not-lt_binary64_32381` `gte-same_binary64_32380` `lte-same_binary64_32379` `gt-same_binary64_32378` `lt-same_binary64_32377` `sinh---cosh_binary64_32324` `sinh-+-cosh_binary64_32323` `sinh-cosh_binary64_32322` `tanh-def-c_binary64_32321` `tanh-def-b_binary64_32320` `tanh-def-a_binary64_32319` `cosh-def_binary64_32318` `sinh-def_binary64_32317` `tan-neg_binary64_32264` `cos-neg_binary64_32263` `sin-neg_binary64_32262` `tan-0_binary64_32261` `cos-0_binary64_32260` `sin-0_binary64_32259` `hang-m-tan_binary64_32258` `hang-p-tan_binary64_32257` `hang-m0-tan_binary64_32256` `hang-p0-tan_binary64_32255` `hang-0m-tan_binary64_32254` `hang-0p-tan_binary64_32253` `tan-+PI/2_binary64_32252` `tan-+PI_binary64_32251` `tan-PI_binary64_32250` `tan-PI/3_binary64_32249` `tan-PI/4_binary64_32248` `tan-PI/6_binary64_32247` `cos-+PI/2_binary64_32246` `cos-+PI_binary64_32245` `cos-PI_binary64_32244` `cos-PI/2_binary64_32243` `cos-PI/3_binary64_32242` `cos-PI/4_binary64_32241` `cos-PI/6_binary64_32240` `sin-+PI/2_binary64_32239` `sin-+PI_binary64_32238` `sin-PI_binary64_32237` `sin-PI/2_binary64_32236` `sin-PI/3_binary64_32235` `sin-PI/4_binary64_32234` `sin-PI/6_binary64_32233` `sub-1-sin_binary64_32232` `sub-1-cos_binary64_32231` `-1-add-sin_binary64_32230` `-1-add-cos_binary64_32229` `1-sub-sin_binary64_32228` `1-sub-cos_binary64_32227` `cos-sin-sum_binary64_32226` `log-E_binary64_32222` `pow-base-0_binary64_32216` `unpow1/3_binary64_32199` `unpow2_binary64_32197` `unpow1/2_binary64_32196` `pow-base-1_binary64_32192` `unpow0_binary64_32191` `unpow1_binary64_32190` `unpow-1_binary64_32189` `exp-lft-cube_binary64_32188` `exp-cbrt_binary64_32186` `exp-neg_binary64_32179` `e-exp-1_binary64_32177` `exp-1-e_binary64_32175` `exp-0_binary64_32174` `rem-exp-log_binary64_32172` `cube-neg_binary64_32159` `rem-3cbrt-rft_binary64_32158` `rem-3cbrt-lft_binary64_32157` `rem-cbrt-cube_binary64_32156` `rem-cube-cbrt_binary64_32155` `sqr-abs_binary64_32147` `sqr-neg_binary64_32146` `rem-sqrt-square_binary64_32145` `rem-square-sqrt_binary64_32144` `mul-1-neg_binary64_32124` `mul0-rgt_binary64_32115` `*-inverses_binary64_32112` `lft-mult-inverse_binary64_32110` `rgt-mult-inverse_binary64_32109` `remove-double-div_binary64_32108` `difference-of-sqr-1_binary64_32102`

Counts

92 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	114	1594
1	235	1495
2	608	1495
3	2128	1494

prune125.0ms (5.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	153	1	154

Error

Counts

154 → 1

Compiler

Compiled 2482 to 621 computations (75% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 1/2 (/.f64 x y))

rewrite38.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`add-sqr-sqrt_binary64_32154`
13×	`associate-r_binary64_32072`
10×	`times-frac_binary64_32138`
9×	`add-cube-cbrt_binary64_32167` `*-un-lft-identity_binary64_32132`
6×	`add-exp-log_binary64_32170` `add-cbrt-cube_binary64_32168`
3×	`pow1_binary64_32193` `associate-l_binary64_32073`
2×	`prod-exp_binary64_32181` `cbrt-unprod_binary64_32165` `unswap-sqr_binary64_32100`
1×	`pow-prod-down_binary64_32203` `div-exp_binary64_32183` `add-log-exp_binary64_32171` `cbrt-undiv_binary64_32166` `associate-r/_binary64_32074` `div-inv_binary64_32129` `-commutative_binary64_32063`

Counts

1 → 32

Calls

1 calls:

7.0ms

(*.f64 1/2 (/.f64 x y))

Compiler

Compiled 437 to 258 computations (41% saved)

series89.0ms (3.9%)

Error

Counts

1 → 6

Calls

1 calls:

85.0ms

(*.f64 1/2 (/.f64 x y))

Compiler

Compiled 126 to 111 computations (11.9% saved)

simplify455.0ms (19.7%)

Algorithm

1×	egg-herbie

Rules

545×	`cube-prod_binary64_32160`
493×	`exp-to-pow_binary64_32194`
254×	`distribute-rgt-out--_binary64_32086`
244×	`associate-/l*_binary64_32077`
227×	`*-commutative_binary64_32063`
223×	`associate-*l/_binary64_32075`
203×	`distribute-rgt-out_binary64_32085`
202×	`associate-*r/_binary64_32074`
198×	`associate-l_binary64_32073`
182×	`times-frac_binary64_32138`
138×	`associate-r_binary64_32072`
129×	`associate-/l/_binary64_32079`
125×	`sqr-pow_binary64_32104`
107×	`exp-prod_binary64_32184`
80×	`pow-sqr_binary64_32105`
79×	`swap-sqr_binary64_32099`
76×	`unswap-sqr_binary64_32100`
72×	`cancel-sign-sub-inv_binary64_32098`
68×	`exp-sum_binary64_32178`
66×	`*-lft-identity_binary64_32121`
60×	`distribute-rgt-in_binary64_32082`
58×	`sub-neg_binary64_32125`
56×	`pow-plus_binary64_32195`
51×	`associate-/r*_binary64_32076`
50×	`associate-/r/_binary64_32078`
49×	`log-prod_binary64_32218`
48×	`distribute-rgt-neg-in_binary64_32090`
41×	`log-pow_binary64_32221` `associate-+l-_binary64_32067`
39×	`log-div_binary64_32219` `cube-div_binary64_32161`
38×	`*-rgt-identity_binary64_32122`
34×	`associate--r+_binary64_32068` `associate-+l+_binary64_32065`
33×	`associate--r-_binary64_32071`
32×	`associate--l-_binary64_32070`
31×	`associate--l+_binary64_32069`
30×	`associate-+r+_binary64_32064`
26×	`remove-double-div_binary64_32108` `distribute-lft-neg-in_binary64_32089`
22×	`exp-diff_binary64_32180` `associate-+r-_binary64_32066`
19×	`neg-mul-1_binary64_32128` `+-commutative_binary64_32062`
17×	`distribute-rgt1-in_binary64_32088`
15×	`distribute-lft-in_binary64_32081`
14×	`pow-base-1_binary64_32192` `unsub-neg_binary64_32126`
13×	`log-rec_binary64_32220` `/-rgt-identity_binary64_32123`
11×	`unpow3_binary64_32198`
10×	`prod-exp_binary64_32181` `cube-mult_binary64_32162`
9×	`div-exp_binary64_32183` `neg-sub0_binary64_32127`
8×	`cube-unmult_binary64_32169` `sub0-neg_binary64_32119` `distribute-lft-out_binary64_32083`
7×	`distribute-neg-out_binary64_32094` `distribute-lft-out--_binary64_32084`
6×	`+-inverses_binary64_32111` `count-2_binary64_32080`
5×	`rem-log-exp_binary64_32173`
4×	`exp-lft-sqr_binary64_32187` `--rgt-identity_binary64_32118` `+-lft-identity_binary64_32116`
3×	`rec-exp_binary64_32182` `rem-sqrt-square_binary64_32145` `difference-of-sqr--1_binary64_32103`
2×	`unpow1/2_binary64_32196` `exp-sqrt_binary64_32185` `div-sub_binary64_32137` `distribute-neg-in_binary64_32093`
1×	`exp-lft-cube_binary64_32188` `1-exp_binary64_32176` `exp-1-e_binary64_32175` `mul-1-neg_binary64_32124` `remove-double-neg_binary64_32120` `+-rgt-identity_binary64_32117` `div0_binary64_32113` `rgt-mult-inverse_binary64_32109` `distribute-rgt-neg-out_binary64_32092` `distribute-lft1-in_binary64_32087`
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_32395` `erf-erfc_binary64_32394` `erf-odd_binary64_32393` `if-if-and-not_binary64_32392` `if-if-and_binary64_32391` `if-if-or-not_binary64_32390` `if-if-or_binary64_32389` `if-not_binary64_32388` `if-same_binary64_32387` `if-false_binary64_32386` `if-true_binary64_32385` `not-gte_binary64_32384` `not-lte_binary64_32383` `not-gt_binary64_32382` `not-lt_binary64_32381` `gte-same_binary64_32380` `lte-same_binary64_32379` `gt-same_binary64_32378` `lt-same_binary64_32377` `sinh---cosh_binary64_32324` `sinh-+-cosh_binary64_32323` `sinh-cosh_binary64_32322` `tanh-def-c_binary64_32321` `tanh-def-b_binary64_32320` `tanh-def-a_binary64_32319` `cosh-def_binary64_32318` `sinh-def_binary64_32317` `tan-neg_binary64_32264` `cos-neg_binary64_32263` `sin-neg_binary64_32262` `tan-0_binary64_32261` `cos-0_binary64_32260` `sin-0_binary64_32259` `hang-m-tan_binary64_32258` `hang-p-tan_binary64_32257` `hang-m0-tan_binary64_32256` `hang-p0-tan_binary64_32255` `hang-0m-tan_binary64_32254` `hang-0p-tan_binary64_32253` `tan-+PI/2_binary64_32252` `tan-+PI_binary64_32251` `tan-PI_binary64_32250` `tan-PI/3_binary64_32249` `tan-PI/4_binary64_32248` `tan-PI/6_binary64_32247` `cos-+PI/2_binary64_32246` `cos-+PI_binary64_32245` `cos-PI_binary64_32244` `cos-PI/2_binary64_32243` `cos-PI/3_binary64_32242` `cos-PI/4_binary64_32241` `cos-PI/6_binary64_32240` `sin-+PI/2_binary64_32239` `sin-+PI_binary64_32238` `sin-PI_binary64_32237` `sin-PI/2_binary64_32236` `sin-PI/3_binary64_32235` `sin-PI/4_binary64_32234` `sin-PI/6_binary64_32233` `sub-1-sin_binary64_32232` `sub-1-cos_binary64_32231` `-1-add-sin_binary64_32230` `-1-add-cos_binary64_32229` `1-sub-sin_binary64_32228` `1-sub-cos_binary64_32227` `cos-sin-sum_binary64_32226` `log-E_binary64_32222` `pow-base-0_binary64_32216` `unpow1/3_binary64_32199` `unpow2_binary64_32197` `unpow0_binary64_32191` `unpow1_binary64_32190` `unpow-1_binary64_32189` `exp-cbrt_binary64_32186` `exp-neg_binary64_32179` `e-exp-1_binary64_32177` `exp-0_binary64_32174` `rem-exp-log_binary64_32172` `cube-neg_binary64_32159` `rem-3cbrt-rft_binary64_32158` `rem-3cbrt-lft_binary64_32157` `rem-cbrt-cube_binary64_32156` `rem-cube-cbrt_binary64_32155` `sqr-abs_binary64_32147` `sqr-neg_binary64_32146` `rem-square-sqrt_binary64_32144` `mul0-rgt_binary64_32115` `mul0-lft_binary64_32114` `*-inverses_binary64_32112` `lft-mult-inverse_binary64_32110` `difference-of-sqr-1_binary64_32102` `difference-of-squares_binary64_32101` `cancel-sign-sub_binary64_32097` `distribute-neg-frac_binary64_32096` `distribute-frac-neg_binary64_32095` `distribute-lft-neg-out_binary64_32091`

Counts

38 → 57

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	69	414
1	159	369
2	539	368
3	1509	368
4	1677	368
5	2047	368
6	3651	368

prune50.0ms (2.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	1	58

Error

Counts

58 → 1

Compiler

Compiled 767 to 460 computations (40% saved)

regimes95.0ms (4.1%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 571 to 390 computations (31.7% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64_32063 +-commutative_binary64_32062

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_32392 if-if-and_binary64_32391 if-if-or-not_binary64_32390 if-if-or_binary64_32389 if-not_binary64_32388 if-same_binary64_32387 if-false_binary64_32386 if-true_binary64_32385 tan-0_binary64_32261 cos-0_binary64_32260 sin-0_binary64_32259 unpow1_binary64_32190 e-exp-1_binary64_32177 1-exp_binary64_32176 exp-1-e_binary64_32175 exp-0_binary64_32174 sqr-abs_binary64_32147 sqr-neg_binary64_32146 neg-mul-1_binary64_32128 neg-sub0_binary64_32127 unsub-neg_binary64_32126 sub-neg_binary64_32125 mul-1-neg_binary64_32124 /-rgt-identity_binary64_32123 *-rgt-identity_binary64_32122 *-lft-identity_binary64_32121 remove-double-neg_binary64_32120 sub0-neg_binary64_32119 --rgt-identity_binary64_32118 +-rgt-identity_binary64_32117 +-lft-identity_binary64_32116 cancel-sign-sub-inv_binary64_32098 cancel-sign-sub_binary64_32097 distribute-neg-frac_binary64_32096 distribute-frac-neg_binary64_32095 distribute-neg-out_binary64_32094 distribute-neg-in_binary64_32093 distribute-rgt-neg-out_binary64_32092 distribute-lft-neg-out_binary64_32091 distribute-rgt-neg-in_binary64_32090 distribute-lft-neg-in_binary64_32089

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	9	10

Proof

(=> (+ f64 (* f64 1/2 (/ f64 h0 h1)) 1/2))
+-commutative_binary64_32062 =>
(+ f64 1/2 (* f64 1/2 (/ f64 h0 h1)))

end0.0ms (0%)

sample618.0ms (26.8%)

Algorithm

1×

intervals

Results

181.0ms	8000×	body	128	valid
4.0ms	196×	body	128	invalid

Compiler

Compiled 188 to 135 computations (28.2% saved)

Details

analyze57.0ms (2.4%)

sample21.0ms (0.9%)

simplify157.0ms (6.8%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite83.0ms (3.6%)

series154.0ms (6.7%)

simplify347.0ms (15%)

prune125.0ms (5.4%)

localize5.0ms (0.2%)

rewrite38.0ms (1.6%)

series89.0ms (3.9%)

simplify455.0ms (19.7%)

prune50.0ms (2.2%)

regimes95.0ms (4.1%)

bsearch0.0ms (0%)

simplify6.0ms (0.3%)

end0.0ms (0%)

sample618.0ms (26.8%)

Profiling