Details

analyze42.0ms (1.8%)

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
37.5%	62.4%	0.1%	5
56.2%	43.7%	0.1%	6
62.4%	31.2%	6.3%	7
71.8%	21.9%	6.3%	8
74.9%	15.6%	9.5%	9
79.6%	10.9%	9.5%	10
81.2%	7.8%	11%	11
83.5%	5.5%	11%	12
84.3%	3.9%	11.8%	13
85.5%	2.7%	11.8%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample12.0ms (0.5%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify713.0ms (29.8%)

Algorithm

1×	egg-herbie

Rules

809×	`pow-plus_binary64_16509`
508×	`exp-prod_binary64_16498`
492×	`sqr-pow_binary64_16418`
382×	`pow-sqr_binary64_16419`
295×	`exp-sum_binary64_16492`
294×	`*-commutative_binary64_16377`
215×	`distribute-rgt1-in_binary64_16402`
200×	`associate-/r*_binary64_16390`
176×	`distribute-rgt-out_binary64_16399`
166×	`associate-/l/_binary64_16393`
151×	`associate-r_binary64_16386`
150×	`associate-+l+_binary64_16379`
148×	`associate-l_binary64_16387`
130×	`+-commutative_binary64_16376`
127×	`pow-base-1_binary64_16506`
98×	`distribute-lft-out_binary64_16397`
69×	`associate-+r+_binary64_16378`
41×	`swap-sqr_binary64_16413`
27×	`associate-/r/_binary64_16392` `associate-/l*_binary64_16391`
23×	`distribute-rgt-in_binary64_16396`
15×	`*-rgt-identity_binary64_16436`
14×	`*-lft-identity_binary64_16435` `distribute-lft-in_binary64_16395`
13×	`exp-lft-sqr_binary64_16501`
12×	`unswap-sqr_binary64_16414`
11×	`cube-unmult_binary64_16483`
10×	`exp-sqrt_binary64_16499` `distribute-lft1-in_binary64_16401` `count-2_binary64_16394`
9×	`cube-prod_binary64_16474`
4×	`prod-exp_binary64_16495`
3×	`unpow1_binary64_16504`
2×	`unpow3_binary64_16512` `cube-div_binary64_16475` `rem-sqrt-square_binary64_16459`
1×	`1-exp_binary64_16490` `exp-1-e_binary64_16489` `/-rgt-identity_binary64_16437` `+-rgt-identity_binary64_16431` `div0_binary64_16427` `-inverses_binary64_16426` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `associate-r/_binary64_16388`
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_16709` `erf-erfc_binary64_16708` `erf-odd_binary64_16707` `if-if-and-not_binary64_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `not-gte_binary64_16698` `not-lte_binary64_16697` `not-gt_binary64_16696` `not-lt_binary64_16695` `gte-same_binary64_16694` `lte-same_binary64_16693` `gt-same_binary64_16692` `lt-same_binary64_16691` `sinh---cosh_binary64_16638` `sinh-+-cosh_binary64_16637` `sinh-cosh_binary64_16636` `tanh-def-c_binary64_16635` `tanh-def-b_binary64_16634` `tanh-def-a_binary64_16633` `cosh-def_binary64_16632` `sinh-def_binary64_16631` `tan-neg_binary64_16578` `cos-neg_binary64_16577` `sin-neg_binary64_16576` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `hang-m-tan_binary64_16572` `hang-p-tan_binary64_16571` `hang-m0-tan_binary64_16570` `hang-p0-tan_binary64_16569` `hang-0m-tan_binary64_16568` `hang-0p-tan_binary64_16567` `tan-+PI/2_binary64_16566` `tan-+PI_binary64_16565` `tan-PI_binary64_16564` `tan-PI/3_binary64_16563` `tan-PI/4_binary64_16562` `tan-PI/6_binary64_16561` `cos-+PI/2_binary64_16560` `cos-+PI_binary64_16559` `cos-PI_binary64_16558` `cos-PI/2_binary64_16557` `cos-PI/3_binary64_16556` `cos-PI/4_binary64_16555` `cos-PI/6_binary64_16554` `sin-+PI/2_binary64_16553` `sin-+PI_binary64_16552` `sin-PI_binary64_16551` `sin-PI/2_binary64_16550` `sin-PI/3_binary64_16549` `sin-PI/4_binary64_16548` `sin-PI/6_binary64_16547` `sub-1-sin_binary64_16546` `sub-1-cos_binary64_16545` `-1-add-sin_binary64_16544` `-1-add-cos_binary64_16543` `1-sub-sin_binary64_16542` `1-sub-cos_binary64_16541` `cos-sin-sum_binary64_16540` `log-E_binary64_16536` `log-pow_binary64_16535` `log-rec_binary64_16534` `log-div_binary64_16533` `log-prod_binary64_16532` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow2_binary64_16511` `unpow1/2_binary64_16510` `exp-to-pow_binary64_16508` `unpow0_binary64_16505` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-cbrt_binary64_16500` `div-exp_binary64_16497` `rec-exp_binary64_16496` `exp-diff_binary64_16494` `exp-neg_binary64_16493` `e-exp-1_binary64_16491` `exp-0_binary64_16488` `rem-log-exp_binary64_16487` `rem-exp-log_binary64_16486` `cube-mult_binary64_16476` `cube-neg_binary64_16473` `rem-3cbrt-rft_binary64_16472` `rem-3cbrt-lft_binary64_16471` `rem-cbrt-cube_binary64_16470` `rem-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `rem-square-sqrt_binary64_16458` `times-frac_binary64_16452` `div-sub_binary64_16451` `neg-mul-1_binary64_16442` `neg-sub0_binary64_16441` `unsub-neg_binary64_16440` `sub-neg_binary64_16439` `mul-1-neg_binary64_16438` `remove-double-neg_binary64_16434` `sub0-neg_binary64_16433` `--rgt-identity_binary64_16432` `+-lft-identity_binary64_16430` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `+-inverses_binary64_16425` `remove-double-div_binary64_16422` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `difference-of-squares_binary64_16415` `cancel-sign-sub-inv_binary64_16412` `cancel-sign-sub_binary64_16411` `distribute-neg-frac_binary64_16410` `distribute-frac-neg_binary64_16409` `distribute-neg-out_binary64_16408` `distribute-neg-in_binary64_16407` `distribute-rgt-neg-out_binary64_16406` `distribute-lft-neg-out_binary64_16405` `distribute-rgt-neg-in_binary64_16404` `distribute-lft-neg-in_binary64_16403` `distribute-rgt-out--_binary64_16400` `distribute-lft-out--_binary64_16398` `associate-*l/_binary64_16389` `associate--r-_binary64_16385` `associate--l-_binary64_16384` `associate--l+_binary64_16383` `associate--r+_binary64_16382` `associate-+l-_binary64_16381` `associate-+r-_binary64_16380`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	16	7
2	17	7
3	31	7
4	27	7
5	30	7
6	46	7
7	116	7
8	715	7
9	1343	7
10	2295	7
11	4502	7

prune4.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

Counts

2 → 2

Compiler

Compiled 15 to 13 computations (13.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite25.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

5×	`add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446`
4×	`associate-r_binary64_16386`
3×	`pow1_binary64_16507` `add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482` `add-cube-cbrt_binary64_16481` `associate-l_binary64_16387`
2×	`associate-*r/_binary64_16388`
1×	`pow-prod-down_binary64_16517` `prod-exp_binary64_16495` `add-log-exp_binary64_16485` `cbrt-unprod_binary64_16479` `unswap-sqr_binary64_16414` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `flip3-+_binary64_16449` `flip-+_binary64_16420` `distribute-lft-out_binary64_16397` `*-commutative_binary64_16377`

Counts

1 → 23

Calls

1 calls:

7.0ms

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

Compiler

Compiled 249 to 170 computations (31.7% saved)

series85.0ms (3.5%)

Error

Counts

1 → 9

Calls

1 calls:

80.0ms

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

Compiler

Compiled 104 to 76 computations (26.9% saved)

simplify455.0ms (19%)

Algorithm

1×	egg-herbie

Rules

644×	`distribute-rgt-in_binary64_16396`
564×	`distribute-lft-in_binary64_16395`
361×	`pow-sqr_binary64_16419`
252×	`*-commutative_binary64_16377`
236×	`exp-prod_binary64_16498`
231×	`log-pow_binary64_16535`
228×	`pow-plus_binary64_16509`
216×	`associate-/r*_binary64_16390`
195×	`sqr-pow_binary64_16418`
179×	`cancel-sign-sub-inv_binary64_16412`
178×	`associate-l_binary64_16387`
176×	`associate-+r+_binary64_16378`
165×	`associate-+l+_binary64_16379`
153×	`associate-/r/_binary64_16392`
136×	`log-prod_binary64_16532`
118×	`associate-r_binary64_16386`
105×	`distribute-rgt-out_binary64_16399`
96×	`sub-neg_binary64_16439`
89×	`pow-base-1_binary64_16506`
87×	`exp-to-pow_binary64_16508`
85×	`unsub-neg_binary64_16440`
82×	`associate-/l*_binary64_16391`
81×	`unswap-sqr_binary64_16414`
75×	`*-rgt-identity_binary64_16436`
70×	`neg-mul-1_binary64_16442`
69×	`neg-sub0_binary64_16441`
67×	`distribute-rgt1-in_binary64_16402`
63×	`div-sub_binary64_16451`
59×	`exp-sum_binary64_16492`
58×	`*-lft-identity_binary64_16435`
57×	`distribute-lft-neg-in_binary64_16403`
52×	`distribute-lft1-in_binary64_16401`
51×	`distribute-rgt-neg-in_binary64_16404`
43×	`cube-prod_binary64_16474`
34×	`log-div_binary64_16533`
32×	`cube-div_binary64_16475`
30×	`associate-/l/_binary64_16393`
26×	`exp-lft-sqr_binary64_16501` `exp-sqrt_binary64_16499` `associate--r+_binary64_16382`
25×	`associate-*l/_binary64_16389` `associate-+r-_binary64_16380`
23×	`associate-+l-_binary64_16381`
18×	`+-commutative_binary64_16376`
17×	`distribute-neg-frac_binary64_16410`
16×	`distribute-rgt-out--_binary64_16400`
14×	`/-rgt-identity_binary64_16437` `sub0-neg_binary64_16433` `distribute-rgt-neg-out_binary64_16406`
13×	`associate-*r/_binary64_16388`
12×	`swap-sqr_binary64_16413` `distribute-lft-neg-out_binary64_16405` `count-2_binary64_16394`
11×	`+-rgt-identity_binary64_16431`
10×	`distribute-lft-out_binary64_16397`
9×	`unpow3_binary64_16512`
8×	`cube-unmult_binary64_16483` `cube-mult_binary64_16476`
7×	`prod-exp_binary64_16495` `remove-double-neg_binary64_16434` `distribute-neg-in_binary64_16407`
6×	`rem-log-exp_binary64_16487` `rem-sqrt-square_binary64_16459`
5×	`log-rec_binary64_16534` `exp-lft-cube_binary64_16502` `exp-diff_binary64_16494`
4×	`times-frac_binary64_16452` `cancel-sign-sub_binary64_16411` `associate--r-_binary64_16385` `associate--l+_binary64_16383`
3×	`mul-1-neg_binary64_16438` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428`
2×	`+-lft-identity_binary64_16430` `+-inverses_binary64_16425` `difference-of-squares_binary64_16415` `associate--l-_binary64_16384`
1×	`log-E_binary64_16536` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `rem-square-sqrt_binary64_16458` `--rgt-identity_binary64_16432` `*-inverses_binary64_16426` `rgt-mult-inverse_binary64_16423` `distribute-lft-out--_binary64_16398`
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_16709` `erf-erfc_binary64_16708` `erf-odd_binary64_16707` `if-if-and-not_binary64_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `not-gte_binary64_16698` `not-lte_binary64_16697` `not-gt_binary64_16696` `not-lt_binary64_16695` `gte-same_binary64_16694` `lte-same_binary64_16693` `gt-same_binary64_16692` `lt-same_binary64_16691` `sinh---cosh_binary64_16638` `sinh-+-cosh_binary64_16637` `sinh-cosh_binary64_16636` `tanh-def-c_binary64_16635` `tanh-def-b_binary64_16634` `tanh-def-a_binary64_16633` `cosh-def_binary64_16632` `sinh-def_binary64_16631` `tan-neg_binary64_16578` `cos-neg_binary64_16577` `sin-neg_binary64_16576` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `hang-m-tan_binary64_16572` `hang-p-tan_binary64_16571` `hang-m0-tan_binary64_16570` `hang-p0-tan_binary64_16569` `hang-0m-tan_binary64_16568` `hang-0p-tan_binary64_16567` `tan-+PI/2_binary64_16566` `tan-+PI_binary64_16565` `tan-PI_binary64_16564` `tan-PI/3_binary64_16563` `tan-PI/4_binary64_16562` `tan-PI/6_binary64_16561` `cos-+PI/2_binary64_16560` `cos-+PI_binary64_16559` `cos-PI_binary64_16558` `cos-PI/2_binary64_16557` `cos-PI/3_binary64_16556` `cos-PI/4_binary64_16555` `cos-PI/6_binary64_16554` `sin-+PI/2_binary64_16553` `sin-+PI_binary64_16552` `sin-PI_binary64_16551` `sin-PI/2_binary64_16550` `sin-PI/3_binary64_16549` `sin-PI/4_binary64_16548` `sin-PI/6_binary64_16547` `sub-1-sin_binary64_16546` `sub-1-cos_binary64_16545` `-1-add-sin_binary64_16544` `-1-add-cos_binary64_16543` `1-sub-sin_binary64_16542` `1-sub-cos_binary64_16541` `cos-sin-sum_binary64_16540` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow2_binary64_16511` `unpow1/2_binary64_16510` `unpow0_binary64_16505` `unpow1_binary64_16504` `unpow-1_binary64_16503` `exp-cbrt_binary64_16500` `div-exp_binary64_16497` `rec-exp_binary64_16496` `exp-neg_binary64_16493` `e-exp-1_binary64_16491` `exp-0_binary64_16488` `rem-exp-log_binary64_16486` `cube-neg_binary64_16473` `rem-3cbrt-rft_binary64_16472` `rem-3cbrt-lft_binary64_16471` `rem-cbrt-cube_binary64_16470` `rem-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `div0_binary64_16427` `lft-mult-inverse_binary64_16424` `remove-double-div_binary64_16422` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `distribute-frac-neg_binary64_16409` `distribute-neg-out_binary64_16408`

Counts

32 → 55

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	47	287
1	120	257
2	346	257
3	726	257
4	2209	257
5	2561	257
6	3821	257

prune40.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

57 → 2

Compiler

Compiled 575 to 280 computations (51.3% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite11.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64_16485`
1×	`sum-log_binary64_16537` `pow1_binary64_16507` `add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482` `add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `flip3-+_binary64_16449` `*-un-lft-identity_binary64_16446` `flip-+_binary64_16420` `+-commutative_binary64_16376`

Counts

1 → 11

Calls

1 calls:

3.0ms

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

Compiler

Compiled 136 to 39 computations (71.3% saved)

series84.0ms (3.5%)

Error

Counts

1 → 9

Calls

1 calls:

80.0ms

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

Compiler

Compiled 104 to 76 computations (26.9% saved)

simplify166.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

575×	`unswap-sqr_binary64_16414`
344×	`associate-l_binary64_16387`
295×	`distribute-rgt-out--_binary64_16400`
279×	`associate-r_binary64_16386`
214×	`sub-neg_binary64_16439`
156×	`distribute-rgt-in_binary64_16396`
155×	`associate-+l-_binary64_16381`
154×	`distribute-lft-neg-out_binary64_16405`
145×	`associate--r+_binary64_16382`
138×	`distribute-rgt-neg-out_binary64_16406`
132×	`+-commutative_binary64_16376`
129×	`cancel-sign-sub-inv_binary64_16412`
127×	`distribute-lft-in_binary64_16395`
120×	`distribute-rgt-out_binary64_16399`
110×	`cancel-sign-sub_binary64_16411`
108×	`distribute-rgt-neg-in_binary64_16404`
106×	`unsub-neg_binary64_16440`
96×	`associate-+r-_binary64_16380`
93×	`sqr-pow_binary64_16418`
90×	`associate-*l/_binary64_16389`
87×	`associate-*r/_binary64_16388`
80×	`distribute-lft-neg-in_binary64_16403`
79×	`distribute-rgt1-in_binary64_16402`
77×	`associate--l+_binary64_16383`
67×	`associate-/l/_binary64_16393`
66×	`associate-+l+_binary64_16379`
64×	`associate-+r+_binary64_16378`
63×	`associate--r-_binary64_16385` `associate--l-_binary64_16384`
58×	`distribute-lft-out--_binary64_16398`
56×	`*-commutative_binary64_16377`
54×	`pow-sqr_binary64_16419`
49×	`neg-mul-1_binary64_16442`
46×	`distribute-neg-in_binary64_16407`
45×	`distribute-lft-out_binary64_16397`
43×	`associate-/l*_binary64_16391`
39×	`neg-sub0_binary64_16441`
36×	`sub0-neg_binary64_16433`
33×	`associate-/r/_binary64_16392`
30×	`distribute-lft1-in_binary64_16401`
29×	`exp-prod_binary64_16498`
28×	`distribute-neg-out_binary64_16408`
27×	`*-rgt-identity_binary64_16436`
24×	`*-lft-identity_binary64_16435`
22×	`log-prod_binary64_16532`
19×	`times-frac_binary64_16452` `+-rgt-identity_binary64_16431`
16×	`cube-prod_binary64_16474`
14×	`log-div_binary64_16533` `exp-sum_binary64_16492`
13×	`log-pow_binary64_16535`
12×	`pow-plus_binary64_16509` `cube-unmult_binary64_16483`
10×	`unpow3_binary64_16512` `swap-sqr_binary64_16413`
9×	`remove-double-neg_binary64_16434`
8×	`exp-to-pow_binary64_16508` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428`
7×	`+-lft-identity_binary64_16430`
6×	`div-sub_binary64_16451`
5×	`cube-mult_binary64_16476` `difference-of-squares_binary64_16415`
4×	`count-2_binary64_16394` `associate-/r*_binary64_16390`
3×	`exp-diff_binary64_16494` `/-rgt-identity_binary64_16437` `--rgt-identity_binary64_16432`
2×	`pow-base-1_binary64_16506` `prod-exp_binary64_16495` `cube-div_binary64_16475` `distribute-frac-neg_binary64_16409`
1×	`exp-sqrt_binary64_16499` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `rem-log-exp_binary64_16487` `cube-neg_binary64_16473` `sqr-neg_binary64_16460` `*-inverses_binary64_16426` `+-inverses_binary64_16425` `difference-of-sqr-1_binary64_16416` `distribute-neg-frac_binary64_16410`
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_16709` `erf-erfc_binary64_16708` `erf-odd_binary64_16707` `if-if-and-not_binary64_16706` `if-if-and_binary64_16705` `if-if-or-not_binary64_16704` `if-if-or_binary64_16703` `if-not_binary64_16702` `if-same_binary64_16701` `if-false_binary64_16700` `if-true_binary64_16699` `not-gte_binary64_16698` `not-lte_binary64_16697` `not-gt_binary64_16696` `not-lt_binary64_16695` `gte-same_binary64_16694` `lte-same_binary64_16693` `gt-same_binary64_16692` `lt-same_binary64_16691` `sinh---cosh_binary64_16638` `sinh-+-cosh_binary64_16637` `sinh-cosh_binary64_16636` `tanh-def-c_binary64_16635` `tanh-def-b_binary64_16634` `tanh-def-a_binary64_16633` `cosh-def_binary64_16632` `sinh-def_binary64_16631` `tan-neg_binary64_16578` `cos-neg_binary64_16577` `sin-neg_binary64_16576` `tan-0_binary64_16575` `cos-0_binary64_16574` `sin-0_binary64_16573` `hang-m-tan_binary64_16572` `hang-p-tan_binary64_16571` `hang-m0-tan_binary64_16570` `hang-p0-tan_binary64_16569` `hang-0m-tan_binary64_16568` `hang-0p-tan_binary64_16567` `tan-+PI/2_binary64_16566` `tan-+PI_binary64_16565` `tan-PI_binary64_16564` `tan-PI/3_binary64_16563` `tan-PI/4_binary64_16562` `tan-PI/6_binary64_16561` `cos-+PI/2_binary64_16560` `cos-+PI_binary64_16559` `cos-PI_binary64_16558` `cos-PI/2_binary64_16557` `cos-PI/3_binary64_16556` `cos-PI/4_binary64_16555` `cos-PI/6_binary64_16554` `sin-+PI/2_binary64_16553` `sin-+PI_binary64_16552` `sin-PI_binary64_16551` `sin-PI/2_binary64_16550` `sin-PI/3_binary64_16549` `sin-PI/4_binary64_16548` `sin-PI/6_binary64_16547` `sub-1-sin_binary64_16546` `sub-1-cos_binary64_16545` `-1-add-sin_binary64_16544` `-1-add-cos_binary64_16543` `1-sub-sin_binary64_16542` `1-sub-cos_binary64_16541` `cos-sin-sum_binary64_16540` `log-E_binary64_16536` `log-rec_binary64_16534` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow2_binary64_16511` `unpow1/2_binary64_16510` `unpow0_binary64_16505` `unpow1_binary64_16504` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-lft-sqr_binary64_16501` `exp-cbrt_binary64_16500` `div-exp_binary64_16497` `rec-exp_binary64_16496` `exp-neg_binary64_16493` `e-exp-1_binary64_16491` `exp-0_binary64_16488` `rem-exp-log_binary64_16486` `rem-3cbrt-rft_binary64_16472` `rem-3cbrt-lft_binary64_16471` `rem-cbrt-cube_binary64_16470` `rem-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `rem-sqrt-square_binary64_16459` `rem-square-sqrt_binary64_16458` `mul-1-neg_binary64_16438` `div0_binary64_16427` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `difference-of-sqr--1_binary64_16417`

Counts

20 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	30	205
1	89	187
2	244	184
3	600	184
4	1737	184
5	2545	184
6	4950	184

prune237.0ms (9.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

57 → 2

Compiler

Compiled 790 to 261 computations (67% saved)

regimes44.0ms (1.9%)

Accuracy

Total 0.0b remaining (94%)

Threshold costs 0.0b (94%)

Compiler

Compiled 92 to 102 computations (-10.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× 1-exp_binary64_16490 *-commutative_binary64_16377 +-commutative_binary64_16376

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_16706 if-if-and_binary64_16705 if-if-or-not_binary64_16704 if-if-or_binary64_16703 if-not_binary64_16702 if-same_binary64_16701 if-false_binary64_16700 if-true_binary64_16699 tan-0_binary64_16575 cos-0_binary64_16574 sin-0_binary64_16573 unpow1_binary64_16504 e-exp-1_binary64_16491 exp-1-e_binary64_16489 exp-0_binary64_16488 sqr-abs_binary64_16461 sqr-neg_binary64_16460 neg-mul-1_binary64_16442 neg-sub0_binary64_16441 unsub-neg_binary64_16440 sub-neg_binary64_16439 mul-1-neg_binary64_16438 /-rgt-identity_binary64_16437 *-rgt-identity_binary64_16436 *-lft-identity_binary64_16435 remove-double-neg_binary64_16434 sub0-neg_binary64_16433 --rgt-identity_binary64_16432 +-rgt-identity_binary64_16431 +-lft-identity_binary64_16430 cancel-sign-sub-inv_binary64_16412 cancel-sign-sub_binary64_16411 distribute-neg-frac_binary64_16410 distribute-frac-neg_binary64_16409 distribute-neg-out_binary64_16408 distribute-neg-in_binary64_16407 distribute-rgt-neg-out_binary64_16406 distribute-lft-neg-out_binary64_16405 distribute-rgt-neg-in_binary64_16404 distribute-lft-neg-in_binary64_16403

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7

Proof

(* f64 h0 (+ f64 h1 1))

end0.0ms (0%)

sample464.0ms (19.4%)

Algorithm

1×

intervals

Results

155.0ms	8000×	body	128	valid
1.0ms	86×	body	128	invalid

Compiler

Compiled 34 to 36 computations (-5.9% saved)

Details

analyze42.0ms (1.8%)

sample12.0ms (0.5%)

simplify713.0ms (29.8%)

prune4.0ms (0.2%)

localize4.0ms (0.2%)

rewrite25.0ms (1%)

series85.0ms (3.5%)

simplify455.0ms (19%)

prune40.0ms (1.7%)

localize3.0ms (0.1%)

rewrite11.0ms (0.5%)

series84.0ms (3.5%)

simplify166.0ms (6.9%)

prune237.0ms (9.9%)

regimes44.0ms (1.9%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample464.0ms (19.4%)

Profiling