Details

analyze76.0ms (4.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
25%	74.9%	0.1%	5
25%	56.2%	18.8%	6
37.5%	40.6%	22%	7
46.8%	29.7%	23.5%	8
54.6%	21.1%	24.3%	9
60.1%	15.2%	24.7%	10
64.4%	10.7%	24.9%	11
67.3%	7.7%	25%	12
69.6%	5.4%	25%	13
71.1%	3.9%	25%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample14.0ms (0.8%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify157.0ms (9.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_32403`
1×	`count-2_binary64_32421` `associate-+l+_binary64_32406` `associate-+r+_binary64_32405` `*-commutative_binary64_32404`
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_32736` `erf-erfc_binary64_32735` `erf-odd_binary64_32734` `if-if-and-not_binary64_32733` `if-if-and_binary64_32732` `if-if-or-not_binary64_32731` `if-if-or_binary64_32730` `if-not_binary64_32729` `if-same_binary64_32728` `if-false_binary64_32727` `if-true_binary64_32726` `not-gte_binary64_32725` `not-lte_binary64_32724` `not-gt_binary64_32723` `not-lt_binary64_32722` `gte-same_binary64_32721` `lte-same_binary64_32720` `gt-same_binary64_32719` `lt-same_binary64_32718` `sinh---cosh_binary64_32665` `sinh-+-cosh_binary64_32664` `sinh-cosh_binary64_32663` `tanh-def-c_binary64_32662` `tanh-def-b_binary64_32661` `tanh-def-a_binary64_32660` `cosh-def_binary64_32659` `sinh-def_binary64_32658` `tan-neg_binary64_32605` `cos-neg_binary64_32604` `sin-neg_binary64_32603` `tan-0_binary64_32602` `cos-0_binary64_32601` `sin-0_binary64_32600` `hang-m-tan_binary64_32599` `hang-p-tan_binary64_32598` `hang-m0-tan_binary64_32597` `hang-p0-tan_binary64_32596` `hang-0m-tan_binary64_32595` `hang-0p-tan_binary64_32594` `tan-+PI/2_binary64_32593` `tan-+PI_binary64_32592` `tan-PI_binary64_32591` `tan-PI/3_binary64_32590` `tan-PI/4_binary64_32589` `tan-PI/6_binary64_32588` `cos-+PI/2_binary64_32587` `cos-+PI_binary64_32586` `cos-PI_binary64_32585` `cos-PI/2_binary64_32584` `cos-PI/3_binary64_32583` `cos-PI/4_binary64_32582` `cos-PI/6_binary64_32581` `sin-+PI/2_binary64_32580` `sin-+PI_binary64_32579` `sin-PI_binary64_32578` `sin-PI/2_binary64_32577` `sin-PI/3_binary64_32576` `sin-PI/4_binary64_32575` `sin-PI/6_binary64_32574` `sub-1-sin_binary64_32573` `sub-1-cos_binary64_32572` `-1-add-sin_binary64_32571` `-1-add-cos_binary64_32570` `1-sub-sin_binary64_32569` `1-sub-cos_binary64_32568` `cos-sin-sum_binary64_32567` `log-E_binary64_32563` `log-pow_binary64_32562` `log-rec_binary64_32561` `log-div_binary64_32560` `log-prod_binary64_32559` `pow-base-0_binary64_32557` `unpow1/3_binary64_32540` `unpow3_binary64_32539` `unpow2_binary64_32538` `unpow1/2_binary64_32537` `pow-plus_binary64_32536` `exp-to-pow_binary64_32535` `pow-base-1_binary64_32533` `unpow0_binary64_32532` `unpow1_binary64_32531` `unpow-1_binary64_32530` `exp-lft-cube_binary64_32529` `exp-lft-sqr_binary64_32528` `exp-cbrt_binary64_32527` `exp-sqrt_binary64_32526` `exp-prod_binary64_32525` `div-exp_binary64_32524` `rec-exp_binary64_32523` `prod-exp_binary64_32522` `exp-diff_binary64_32521` `exp-neg_binary64_32520` `exp-sum_binary64_32519` `e-exp-1_binary64_32518` `1-exp_binary64_32517` `exp-1-e_binary64_32516` `exp-0_binary64_32515` `rem-log-exp_binary64_32514` `rem-exp-log_binary64_32513` `cube-unmult_binary64_32510` `cube-mult_binary64_32503` `cube-div_binary64_32502` `cube-prod_binary64_32501` `cube-neg_binary64_32500` `rem-3cbrt-rft_binary64_32499` `rem-3cbrt-lft_binary64_32498` `rem-cbrt-cube_binary64_32497` `rem-cube-cbrt_binary64_32496` `sqr-abs_binary64_32488` `sqr-neg_binary64_32487` `rem-sqrt-square_binary64_32486` `rem-square-sqrt_binary64_32485` `times-frac_binary64_32479` `div-sub_binary64_32478` `neg-mul-1_binary64_32469` `neg-sub0_binary64_32468` `unsub-neg_binary64_32467` `sub-neg_binary64_32466` `mul-1-neg_binary64_32465` `/-rgt-identity_binary64_32464` `-rgt-identity_binary64_32463` `-lft-identity_binary64_32462` `remove-double-neg_binary64_32461` `sub0-neg_binary64_32460` `--rgt-identity_binary64_32459` `+-rgt-identity_binary64_32458` `+-lft-identity_binary64_32457` `mul0-rgt_binary64_32456` `mul0-lft_binary64_32455` `div0_binary64_32454` `-inverses_binary64_32453` `+-inverses_binary64_32452` `lft-mult-inverse_binary64_32451` `rgt-mult-inverse_binary64_32450` `remove-double-div_binary64_32449` `pow-sqr_binary64_32446` `sqr-pow_binary64_32445` `difference-of-sqr--1_binary64_32444` `difference-of-sqr-1_binary64_32443` `difference-of-squares_binary64_32442` `unswap-sqr_binary64_32441` `swap-sqr_binary64_32440` `cancel-sign-sub-inv_binary64_32439` `cancel-sign-sub_binary64_32438` `distribute-neg-frac_binary64_32437` `distribute-frac-neg_binary64_32436` `distribute-neg-out_binary64_32435` `distribute-neg-in_binary64_32434` `distribute-rgt-neg-out_binary64_32433` `distribute-lft-neg-out_binary64_32432` `distribute-rgt-neg-in_binary64_32431` `distribute-lft-neg-in_binary64_32430` `distribute-rgt1-in_binary64_32429` `distribute-lft1-in_binary64_32428` `distribute-rgt-out--_binary64_32427` `distribute-rgt-out_binary64_32426` `distribute-lft-out--_binary64_32425` `distribute-lft-out_binary64_32424` `distribute-rgt-in_binary64_32423` `distribute-lft-in_binary64_32422` `associate-/l/_binary64_32420` `associate-/r/_binary64_32419` `associate-/l_binary64_32418` `associate-/r_binary64_32417` `associate-l/_binary64_32416` `associate-r/_binary64_32415` `associate-l_binary64_32414` `associate-r*_binary64_32413` `associate--r-_binary64_32412` `associate--l-_binary64_32411` `associate--l+_binary64_32410` `associate--r+_binary64_32409` `associate-+l-_binary64_32408` `associate-+r-_binary64_32407`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	13	10
3	14	10

prune3.0ms (0.2%)

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)

localize11.0ms (0.6%)

Local error

Found 2 expressions with local error:

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

rewrite30.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-log-exp_binary64_32512`
4×	`sum-log_binary64_32564` `*-un-lft-identity_binary64_32473`
2×	`pow1_binary64_32534` `add-exp-log_binary64_32511` `add-cbrt-cube_binary64_32509` `add-cube-cbrt_binary64_32508` `add-sqr-sqrt_binary64_32495` `flip3-+_binary64_32476` `flip-+_binary64_32447` `+-commutative_binary64_32403`
1×	`distribute-lft-out_binary64_32424` `associate-+l+_binary64_32406`

Counts

2 → 25

Calls

2 calls:

7.0ms	(+.f64 (+.f64 (*.f64 x x) y) y)
4.0ms	(+.f64 (*.f64 x x) y)

Compiler

Compiled 363 to 88 computations (75.8% saved)

series240.0ms (13.9%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

127.0ms	(+.f64 (+.f64 (*.f64 x x) y) y)
100.0ms	(+.f64 (*.f64 x x) y)

Compiler

Compiled 336 to 282 computations (16.1% saved)

simplify202.0ms (11.7%)

Algorithm

1×	egg-herbie

Rules

626×	`sub-neg_binary64_32466`
516×	`associate-l_binary64_32414`
435×	`times-frac_binary64_32479`
356×	`associate-r_binary64_32413`
196×	`associate-+l-_binary64_32408`
186×	`associate-+r-_binary64_32407`
177×	`distribute-rgt-in_binary64_32423`
161×	`associate--l+_binary64_32410`
151×	`associate--r+_binary64_32409`
150×	`distribute-lft-in_binary64_32422`
134×	`+-commutative_binary64_32403`
123×	`cancel-sign-sub-inv_binary64_32439`
109×	`exp-prod_binary64_32525`
106×	`exp-diff_binary64_32521`
102×	`exp-sum_binary64_32519` `unsub-neg_binary64_32467` `distribute-rgt-out_binary64_32426`
90×	`unswap-sqr_binary64_32441`
76×	`associate-+l+_binary64_32406`
68×	`*-commutative_binary64_32404`
62×	`associate-+r+_binary64_32405`
55×	`neg-mul-1_binary64_32469`
53×	`associate--l-_binary64_32411`
50×	`neg-sub0_binary64_32468`
48×	`sqr-pow_binary64_32445`
38×	`distribute-neg-in_binary64_32434`
36×	`distribute-rgt-neg-in_binary64_32431`
35×	`associate--r-_binary64_32412`
32×	`pow-plus_binary64_32536`
31×	`distribute-lft-neg-in_binary64_32430`
30×	`pow-sqr_binary64_32446`
29×	`distribute-lft-out_binary64_32424`
25×	`distribute-rgt-out--_binary64_32427`
16×	`cube-unmult_binary64_32510` `cube-prod_binary64_32501`
15×	`associate-*l/_binary64_32416`
14×	`associate-/r*_binary64_32417`
13×	`associate-*r/_binary64_32415`
12×	`+-rgt-identity_binary64_32458`
11×	`associate-/r/_binary64_32419`
10×	`distribute-lft-neg-out_binary64_32432` `distribute-rgt1-in_binary64_32429` `associate-/l/_binary64_32420`
9×	`sub0-neg_binary64_32460`
8×	`unpow3_binary64_32539` `exp-sqrt_binary64_32526` `associate-/l*_binary64_32418`
5×	`mul0-rgt_binary64_32456` `mul0-lft_binary64_32455`
4×	`exp-lft-sqr_binary64_32528` `difference-of-squares_binary64_32442` `swap-sqr_binary64_32440` `distribute-rgt-neg-out_binary64_32433` `distribute-lft-out--_binary64_32425`
3×	`prod-exp_binary64_32522` `cube-mult_binary64_32503` `+-inverses_binary64_32452` `count-2_binary64_32421`
2×	`unpow1_binary64_32531` `sqr-neg_binary64_32487` `distribute-lft1-in_binary64_32428`
1×	`unpow2_binary64_32538` `rec-exp_binary64_32523` `1-exp_binary64_32517` `exp-1-e_binary64_32516` `cube-neg_binary64_32500` `div-sub_binary64_32478` `-rgt-identity_binary64_32463` `-inverses_binary64_32453` `rgt-mult-inverse_binary64_32450` `distribute-neg-out_binary64_32435`
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_32736` `erf-erfc_binary64_32735` `erf-odd_binary64_32734` `if-if-and-not_binary64_32733` `if-if-and_binary64_32732` `if-if-or-not_binary64_32731` `if-if-or_binary64_32730` `if-not_binary64_32729` `if-same_binary64_32728` `if-false_binary64_32727` `if-true_binary64_32726` `not-gte_binary64_32725` `not-lte_binary64_32724` `not-gt_binary64_32723` `not-lt_binary64_32722` `gte-same_binary64_32721` `lte-same_binary64_32720` `gt-same_binary64_32719` `lt-same_binary64_32718` `sinh---cosh_binary64_32665` `sinh-+-cosh_binary64_32664` `sinh-cosh_binary64_32663` `tanh-def-c_binary64_32662` `tanh-def-b_binary64_32661` `tanh-def-a_binary64_32660` `cosh-def_binary64_32659` `sinh-def_binary64_32658` `tan-neg_binary64_32605` `cos-neg_binary64_32604` `sin-neg_binary64_32603` `tan-0_binary64_32602` `cos-0_binary64_32601` `sin-0_binary64_32600` `hang-m-tan_binary64_32599` `hang-p-tan_binary64_32598` `hang-m0-tan_binary64_32597` `hang-p0-tan_binary64_32596` `hang-0m-tan_binary64_32595` `hang-0p-tan_binary64_32594` `tan-+PI/2_binary64_32593` `tan-+PI_binary64_32592` `tan-PI_binary64_32591` `tan-PI/3_binary64_32590` `tan-PI/4_binary64_32589` `tan-PI/6_binary64_32588` `cos-+PI/2_binary64_32587` `cos-+PI_binary64_32586` `cos-PI_binary64_32585` `cos-PI/2_binary64_32584` `cos-PI/3_binary64_32583` `cos-PI/4_binary64_32582` `cos-PI/6_binary64_32581` `sin-+PI/2_binary64_32580` `sin-+PI_binary64_32579` `sin-PI_binary64_32578` `sin-PI/2_binary64_32577` `sin-PI/3_binary64_32576` `sin-PI/4_binary64_32575` `sin-PI/6_binary64_32574` `sub-1-sin_binary64_32573` `sub-1-cos_binary64_32572` `-1-add-sin_binary64_32571` `-1-add-cos_binary64_32570` `1-sub-sin_binary64_32569` `1-sub-cos_binary64_32568` `cos-sin-sum_binary64_32567` `log-E_binary64_32563` `log-pow_binary64_32562` `log-rec_binary64_32561` `log-div_binary64_32560` `log-prod_binary64_32559` `pow-base-0_binary64_32557` `unpow1/3_binary64_32540` `unpow1/2_binary64_32537` `exp-to-pow_binary64_32535` `pow-base-1_binary64_32533` `unpow0_binary64_32532` `unpow-1_binary64_32530` `exp-lft-cube_binary64_32529` `exp-cbrt_binary64_32527` `div-exp_binary64_32524` `exp-neg_binary64_32520` `e-exp-1_binary64_32518` `exp-0_binary64_32515` `rem-log-exp_binary64_32514` `rem-exp-log_binary64_32513` `cube-div_binary64_32502` `rem-3cbrt-rft_binary64_32499` `rem-3cbrt-lft_binary64_32498` `rem-cbrt-cube_binary64_32497` `rem-cube-cbrt_binary64_32496` `sqr-abs_binary64_32488` `rem-sqrt-square_binary64_32486` `rem-square-sqrt_binary64_32485` `mul-1-neg_binary64_32465` `/-rgt-identity_binary64_32464` `*-lft-identity_binary64_32462` `remove-double-neg_binary64_32461` `--rgt-identity_binary64_32459` `+-lft-identity_binary64_32457` `div0_binary64_32454` `lft-mult-inverse_binary64_32451` `remove-double-div_binary64_32449` `difference-of-sqr--1_binary64_32444` `difference-of-sqr-1_binary64_32443` `cancel-sign-sub_binary64_32438` `distribute-neg-frac_binary64_32437` `distribute-frac-neg_binary64_32436`

Counts

49 → 96

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	51	514
1	140	480
2	389	469
3	1110	469
4	3555	469

prune76.0ms (4.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	95	2	97

Error

0.0b

Counts

97 → 2

Compiler

Compiled 1528 to 327 computations (78.6% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite20.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-log-exp_binary64_32512`
3×	`sum-log_binary64_32564`
1×	`pow1_binary64_32534` `add-exp-log_binary64_32511` `add-cbrt-cube_binary64_32509` `add-cube-cbrt_binary64_32508` `add-sqr-sqrt_binary64_32495` `flip3-+_binary64_32476` `*-un-lft-identity_binary64_32473` `flip-+_binary64_32447` `associate-+l+_binary64_32406` `+-commutative_binary64_32403`

Counts

1 → 13

Calls

1 calls:

11.0ms

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

Compiler

Compiled 196 to 46 computations (76.5% saved)

series140.0ms (8.1%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

134.0ms

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

Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify130.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

721×	`distribute-rgt-in_binary64_32423`
664×	`distribute-lft-in_binary64_32422`
455×	`associate-+l+_binary64_32406`
417×	`times-frac_binary64_32479`
410×	`associate-+r+_binary64_32405`
324×	`unswap-sqr_binary64_32441`
171×	`cancel-sign-sub-inv_binary64_32439`
157×	`*-commutative_binary64_32404`
143×	`distribute-rgt-out_binary64_32426`
140×	`unsub-neg_binary64_32467`
138×	`sub-neg_binary64_32466`
135×	`associate-l_binary64_32414`
116×	`associate-r_binary64_32413`
77×	`sqr-pow_binary64_32445`
74×	`distribute-rgt-neg-in_binary64_32431`
59×	`distribute-lft-neg-in_binary64_32430`
56×	`distribute-lft-out_binary64_32424` `+-commutative_binary64_32403`
46×	`neg-mul-1_binary64_32469`
44×	`neg-sub0_binary64_32468`
41×	`pow-sqr_binary64_32446`
38×	`associate-*l/_binary64_32416`
36×	`associate-+l-_binary64_32408`
35×	`associate-+r-_binary64_32407`
34×	`associate--r+_binary64_32409`
29×	`associate-*r/_binary64_32415`
28×	`pow-plus_binary64_32536`
27×	`distribute-lft-neg-out_binary64_32432`
24×	`difference-of-squares_binary64_32442`
22×	`exp-prod_binary64_32525` `distribute-neg-in_binary64_32434`
21×	`distribute-rgt-out--_binary64_32427` `associate--l+_binary64_32410`
20×	`count-2_binary64_32421`
18×	`cube-prod_binary64_32501` `associate-/r*_binary64_32417`
17×	`sub0-neg_binary64_32460`
16×	`+-rgt-identity_binary64_32458`
14×	`mul0-rgt_binary64_32456` `mul0-lft_binary64_32455`
12×	`associate-/r/_binary64_32419`
11×	`unpow3_binary64_32539` `cube-unmult_binary64_32510` `distribute-rgt-neg-out_binary64_32433`
10×	`associate-/l/_binary64_32420`
9×	`associate-/l*_binary64_32418`
8×	`exp-sum_binary64_32519` `cube-div_binary64_32502` `distribute-lft-out--_binary64_32425`
6×	`exp-sqrt_binary64_32526` `cube-mult_binary64_32503`
4×	`prod-exp_binary64_32522` `/-rgt-identity_binary64_32464` `swap-sqr_binary64_32440` `distribute-rgt1-in_binary64_32429`
3×	`exp-lft-sqr_binary64_32528`
2×	`unpow1_binary64_32531` `div-sub_binary64_32478` `distribute-lft1-in_binary64_32428` `associate--r-_binary64_32412`
1×	`unpow2_binary64_32538` `div-exp_binary64_32524` `rec-exp_binary64_32523` `1-exp_binary64_32517` `exp-1-e_binary64_32516` `-rgt-identity_binary64_32463` `remove-double-neg_binary64_32461` `-inverses_binary64_32453` `rgt-mult-inverse_binary64_32450` `distribute-neg-frac_binary64_32437`
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_32736` `erf-erfc_binary64_32735` `erf-odd_binary64_32734` `if-if-and-not_binary64_32733` `if-if-and_binary64_32732` `if-if-or-not_binary64_32731` `if-if-or_binary64_32730` `if-not_binary64_32729` `if-same_binary64_32728` `if-false_binary64_32727` `if-true_binary64_32726` `not-gte_binary64_32725` `not-lte_binary64_32724` `not-gt_binary64_32723` `not-lt_binary64_32722` `gte-same_binary64_32721` `lte-same_binary64_32720` `gt-same_binary64_32719` `lt-same_binary64_32718` `sinh---cosh_binary64_32665` `sinh-+-cosh_binary64_32664` `sinh-cosh_binary64_32663` `tanh-def-c_binary64_32662` `tanh-def-b_binary64_32661` `tanh-def-a_binary64_32660` `cosh-def_binary64_32659` `sinh-def_binary64_32658` `tan-neg_binary64_32605` `cos-neg_binary64_32604` `sin-neg_binary64_32603` `tan-0_binary64_32602` `cos-0_binary64_32601` `sin-0_binary64_32600` `hang-m-tan_binary64_32599` `hang-p-tan_binary64_32598` `hang-m0-tan_binary64_32597` `hang-p0-tan_binary64_32596` `hang-0m-tan_binary64_32595` `hang-0p-tan_binary64_32594` `tan-+PI/2_binary64_32593` `tan-+PI_binary64_32592` `tan-PI_binary64_32591` `tan-PI/3_binary64_32590` `tan-PI/4_binary64_32589` `tan-PI/6_binary64_32588` `cos-+PI/2_binary64_32587` `cos-+PI_binary64_32586` `cos-PI_binary64_32585` `cos-PI/2_binary64_32584` `cos-PI/3_binary64_32583` `cos-PI/4_binary64_32582` `cos-PI/6_binary64_32581` `sin-+PI/2_binary64_32580` `sin-+PI_binary64_32579` `sin-PI_binary64_32578` `sin-PI/2_binary64_32577` `sin-PI/3_binary64_32576` `sin-PI/4_binary64_32575` `sin-PI/6_binary64_32574` `sub-1-sin_binary64_32573` `sub-1-cos_binary64_32572` `-1-add-sin_binary64_32571` `-1-add-cos_binary64_32570` `1-sub-sin_binary64_32569` `1-sub-cos_binary64_32568` `cos-sin-sum_binary64_32567` `log-E_binary64_32563` `log-pow_binary64_32562` `log-rec_binary64_32561` `log-div_binary64_32560` `log-prod_binary64_32559` `pow-base-0_binary64_32557` `unpow1/3_binary64_32540` `unpow1/2_binary64_32537` `exp-to-pow_binary64_32535` `pow-base-1_binary64_32533` `unpow0_binary64_32532` `unpow-1_binary64_32530` `exp-lft-cube_binary64_32529` `exp-cbrt_binary64_32527` `exp-diff_binary64_32521` `exp-neg_binary64_32520` `e-exp-1_binary64_32518` `exp-0_binary64_32515` `rem-log-exp_binary64_32514` `rem-exp-log_binary64_32513` `cube-neg_binary64_32500` `rem-3cbrt-rft_binary64_32499` `rem-3cbrt-lft_binary64_32498` `rem-cbrt-cube_binary64_32497` `rem-cube-cbrt_binary64_32496` `sqr-abs_binary64_32488` `sqr-neg_binary64_32487` `rem-sqrt-square_binary64_32486` `rem-square-sqrt_binary64_32485` `mul-1-neg_binary64_32465` `*-lft-identity_binary64_32462` `--rgt-identity_binary64_32459` `+-lft-identity_binary64_32457` `div0_binary64_32454` `+-inverses_binary64_32452` `lft-mult-inverse_binary64_32451` `remove-double-div_binary64_32449` `difference-of-sqr--1_binary64_32444` `difference-of-sqr-1_binary64_32443` `cancel-sign-sub_binary64_32438` `distribute-frac-neg_binary64_32436` `distribute-neg-out_binary64_32435` `associate--l-_binary64_32411`

Counts

25 → 45

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	36	311
1	106	287
2	380	284
3	1121	284
4	4088	284

prune38.0ms (2.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

47 → 2

Compiler

Compiled 790 to 213 computations (73% saved)

regimes68.0ms (3.9%)

Accuracy

Total 0.0b remaining (39.7%)

Threshold costs 0.0b (39.7%)

Compiler

Compiled 220 to 199 computations (9.5% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64_32404 +-commutative_binary64_32403

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_32733 if-if-and_binary64_32732 if-if-or-not_binary64_32731 if-if-or_binary64_32730 if-not_binary64_32729 if-same_binary64_32728 if-false_binary64_32727 if-true_binary64_32726 tan-0_binary64_32602 cos-0_binary64_32601 sin-0_binary64_32600 unpow1_binary64_32531 e-exp-1_binary64_32518 1-exp_binary64_32517 exp-1-e_binary64_32516 exp-0_binary64_32515 sqr-abs_binary64_32488 sqr-neg_binary64_32487 neg-mul-1_binary64_32469 neg-sub0_binary64_32468 unsub-neg_binary64_32467 sub-neg_binary64_32466 mul-1-neg_binary64_32465 /-rgt-identity_binary64_32464 *-rgt-identity_binary64_32463 *-lft-identity_binary64_32462 remove-double-neg_binary64_32461 sub0-neg_binary64_32460 --rgt-identity_binary64_32459 +-rgt-identity_binary64_32458 +-lft-identity_binary64_32457 cancel-sign-sub-inv_binary64_32439 cancel-sign-sub_binary64_32438 distribute-neg-frac_binary64_32437 distribute-frac-neg_binary64_32436 distribute-neg-out_binary64_32435 distribute-neg-in_binary64_32434 distribute-rgt-neg-out_binary64_32433 distribute-lft-neg-out_binary64_32432 distribute-rgt-neg-in_binary64_32431 distribute-lft-neg-in_binary64_32430

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	9	10

Proof

(+ f64 (pow f64 h0 2) (* f64 2 h1))

end0.0ms (0%)

sample511.0ms (29.6%)

Algorithm

1×

intervals

Results

178.0ms	8000×	body	128	valid
0.0ms	9×	body	128	invalid

Compiler

Compiled 62 to 56 computations (9.7% saved)

Details

analyze76.0ms (4.4%)

sample14.0ms (0.8%)

simplify157.0ms (9.1%)

prune3.0ms (0.2%)

localize11.0ms (0.6%)

rewrite30.0ms (1.8%)

series240.0ms (13.9%)

simplify202.0ms (11.7%)

prune76.0ms (4.4%)

localize5.0ms (0.3%)

rewrite20.0ms (1.2%)

series140.0ms (8.1%)

simplify130.0ms (7.5%)

prune38.0ms (2.2%)

regimes68.0ms (3.9%)

bsearch0.0ms (0%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample511.0ms (29.6%)

Profiling