Details

analyze249.0ms (1.3%)

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
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
43.7%	56.2%	0.1%	8
62.4%	37.4%	0.1%	9
65.5%	34.3%	0.1%	10
71.8%	27.7%	0.5%	11
79.2%	19.7%	1.1%	12
80.2%	18.7%	1.1%	13
82.8%	15%	2.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample20.0ms (0.1%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
0.0ms	12×	body	128	invalid

Compiler

Compiled 23 to 24 computations (-4.3% saved)

simplify457.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

518×	`exp-sum_binary64_16492`
466×	`exp-prod_binary64_16498`
414×	`cube-prod_binary64_16474`
325×	`div-sub_binary64_16451`
324×	`exp-diff_binary64_16494`
256×	`associate--l+_binary64_16383`
226×	`associate-/l*_binary64_16391`
219×	`associate-/r*_binary64_16390`
171×	`cube-div_binary64_16475`
168×	`associate-+l+_binary64_16379`
164×	`associate-+r+_binary64_16378`
158×	`associate--r+_binary64_16382`
129×	`associate-/r/_binary64_16392`
122×	`swap-sqr_binary64_16413`
117×	`pow-plus_binary64_16509`
116×	`associate-/l/_binary64_16393`
88×	`cancel-sign-sub-inv_binary64_16412`
80×	`distribute-rgt-in_binary64_16396`
71×	`*-commutative_binary64_16377`
65×	`distribute-neg-in_binary64_16407`
59×	`distribute-rgt-neg-in_binary64_16404` `distribute-lft-in_binary64_16395` `associate-r_binary64_16386`
57×	`sqr-pow_binary64_16418` `distribute-rgt1-in_binary64_16402`
54×	`sub-neg_binary64_16439`
53×	`times-frac_binary64_16452`
48×	`pow-sqr_binary64_16419`
47×	`unpow3_binary64_16512` `distribute-lft-neg-in_binary64_16403`
45×	`pow-base-1_binary64_16506` `distribute-rgt-neg-out_binary64_16406`
42×	`cube-mult_binary64_16476` `distribute-lft-neg-out_binary64_16405`
40×	`unsub-neg_binary64_16440`
39×	`associate-l_binary64_16387` `associate--l-_binary64_16384`
37×	`neg-mul-1_binary64_16442`
36×	`associate--r-_binary64_16385`
35×	`neg-sub0_binary64_16441`
26×	`distribute-rgt-out--_binary64_16400`
24×	`distribute-rgt-out_binary64_16399`
23×	`distribute-frac-neg_binary64_16409`
21×	`associate-+r-_binary64_16380`
19×	`associate-+l-_binary64_16381` `+-commutative_binary64_16376`
18×	`exp-neg_binary64_16493`
15×	`exp-lft-sqr_binary64_16501`
12×	`div-exp_binary64_16497` `prod-exp_binary64_16495` `*-lft-identity_binary64_16435`
11×	`/-rgt-identity_binary64_16437` `*-rgt-identity_binary64_16436`
8×	`cube-unmult_binary64_16483` `distribute-neg-frac_binary64_16410` `associate-*l/_binary64_16389`
7×	`distribute-lft-out_binary64_16397`
6×	`sqr-neg_binary64_16460` `--rgt-identity_binary64_16432` `distribute-lft-out--_binary64_16398` `count-2_binary64_16394`
5×	`+-inverses_binary64_16425` `distribute-neg-out_binary64_16408`
4×	`rec-exp_binary64_16496` `remove-double-neg_binary64_16434`
3×	`exp-sqrt_binary64_16499` `difference-of-squares_binary64_16415`
2×	`+-rgt-identity_binary64_16431` `+-lft-identity_binary64_16430` `difference-of-sqr--1_binary64_16417`
1×	`pow-base-0_binary64_16530` `unpow1_binary64_16504` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `cube-neg_binary64_16473` `div0_binary64_16427` `-inverses_binary64_16426` `cancel-sign-sub_binary64_16411` `distribute-lft1-in_binary64_16401` `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` `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` `e-exp-1_binary64_16491` `exp-0_binary64_16488` `rem-log-exp_binary64_16487` `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` `sub0-neg_binary64_16433` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `difference-of-sqr-1_binary64_16416` `unswap-sqr_binary64_16414`

Counts

1 → 5

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	24	16
2	38	16
3	89	16
4	118	16
5	169	16
6	203	16
7	463	16
8	1104	16
9	3057	16

prune11.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Error

4.0b

Counts

6 → 4

Compiler

Compiled 99 to 69 computations (30.3% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 (/.f64 1 x) y)
4.7b	(/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z)))

rewrite503.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

3.9b

Rules

468×	`times-frac_binary64_16452`
228×	`add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446`
56×	`associate-/l*_binary64_16391`
26×	`add-exp-log_binary64_16484`
22×	`div-inv_binary64_16443`
17×	`div-exp_binary64_16497`
16×	`add-cbrt-cube_binary64_16482`
9×	`cbrt-undiv_binary64_16480`
6×	`associate-/r*_binary64_16390`
2×	`pow1_binary64_16507` `1-exp_binary64_16490` `rec-exp_binary64_16496` `add-log-exp_binary64_16485` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `associate-/l/_binary64_16393` `associate-/r/_binary64_16392`
1×	`flip3-+_binary64_16449` `flip-+_binary64_16420`

Counts

2 → 268

Calls

2 calls:

16.0ms	(/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z)))
7.0ms	(/.f64 (/.f64 1 x) y)

Compiler

Compiled 6894 to 3959 computations (42.6% saved)

series440.0ms (2.3%)

Error

4.0b

Counts

2 → 24

Calls

2 calls:

342.0ms	(/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z)))
72.0ms	(/.f64 (/.f64 1 x) y)

Compiler

Compiled 916 to 697 computations (23.9% saved)

simplify1.6s (8.2%)

Algorithm

1×	egg-herbie

Rules

643×	`associate-/r/_binary64_16392`
349×	`associate-l/_binary64_16389` `associate-l*_binary64_16387`
250×	`associate-/r*_binary64_16390`
249×	`*-commutative_binary64_16377`
247×	`associate-/l/_binary64_16393`
226×	`associate-*r/_binary64_16388`
164×	`sub-neg_binary64_16439`
131×	`unswap-sqr_binary64_16414`
114×	`times-frac_binary64_16452` `associate-/l*_binary64_16391`
101×	`div-sub_binary64_16451`
94×	`sqr-pow_binary64_16418`
81×	`/-rgt-identity_binary64_16437`
73×	`cancel-sign-sub-inv_binary64_16412`
68×	`cube-prod_binary64_16474`
63×	`log-div_binary64_16533`
62×	`log-prod_binary64_16532`
61×	`cube-div_binary64_16475`
55×	`pow-sqr_binary64_16419` `distribute-rgt-in_binary64_16396`
50×	`neg-mul-1_binary64_16442`
47×	`*-lft-identity_binary64_16435`
45×	`distribute-lft-in_binary64_16395`
44×	`+-commutative_binary64_16376`
43×	`neg-sub0_binary64_16441` `-rgt-identity_binary64_16436` `associate-r*_binary64_16386`
36×	`unsub-neg_binary64_16440` `sub0-neg_binary64_16433`
35×	`exp-prod_binary64_16498` `associate-+l-_binary64_16381`
32×	`distribute-neg-frac_binary64_16410`
28×	`pow-plus_binary64_16509` `associate--l+_binary64_16383` `associate-+l+_binary64_16379`
25×	`distribute-rgt-neg-in_binary64_16404` `distribute-lft-neg-in_binary64_16403` `associate-+r+_binary64_16378`
24×	`associate-+r-_binary64_16380`
19×	`associate--l-_binary64_16384`
15×	`log-pow_binary64_16535` `unpow3_binary64_16512`
14×	`associate--r+_binary64_16382`
13×	`cube-unmult_binary64_16483`
12×	`cube-mult_binary64_16476` `+-rgt-identity_binary64_16431`
11×	`+-lft-identity_binary64_16430` `swap-sqr_binary64_16413` `distribute-rgt-out_binary64_16399`
10×	`log-rec_binary64_16534`
7×	`distribute-neg-out_binary64_16408` `distribute-neg-in_binary64_16407` `distribute-rgt-out--_binary64_16400`
6×	`pow-base-1_binary64_16506` `exp-sqrt_binary64_16499`
5×	`div0_binary64_16427` `difference-of-squares_binary64_16415`
3×	`exp-to-pow_binary64_16508` `remove-double-neg_binary64_16434` `associate--r-_binary64_16385`
2×	`exp-lft-sqr_binary64_16501` `distribute-lft-neg-out_binary64_16405`
1×	`unpow2_binary64_16511` `unpow1_binary64_16504` `div-exp_binary64_16497` `rec-exp_binary64_16496` `prod-exp_binary64_16495` `exp-diff_binary64_16494` `1-exp_binary64_16490` `rem-log-exp_binary64_16487` `rem-cbrt-cube_binary64_16470` `rem-sqrt-square_binary64_16459` `*-inverses_binary64_16426` `+-inverses_binary64_16425` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `difference-of-sqr-1_binary64_16416` `distribute-rgt1-in_binary64_16402` `distribute-lft1-in_binary64_16401` `count-2_binary64_16394`
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` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow1/2_binary64_16510` `unpow0_binary64_16505` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-cbrt_binary64_16500` `exp-neg_binary64_16493` `exp-sum_binary64_16492` `e-exp-1_binary64_16491` `exp-1-e_binary64_16489` `exp-0_binary64_16488` `rem-exp-log_binary64_16486` `cube-neg_binary64_16473` `rem-3cbrt-rft_binary64_16472` `rem-3cbrt-lft_binary64_16471` `rem-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `rem-square-sqrt_binary64_16458` `mul-1-neg_binary64_16438` `--rgt-identity_binary64_16432` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `lft-mult-inverse_binary64_16424` `difference-of-sqr--1_binary64_16417` `cancel-sign-sub_binary64_16411` `distribute-frac-neg_binary64_16409` `distribute-rgt-neg-out_binary64_16406` `distribute-lft-out--_binary64_16398` `distribute-lft-out_binary64_16397`

Counts

292 → 1589

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	485	9458
1	1090	8212
2	1940	8208
3	4273	8208

prune4.6s (23.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	1583	6	1589
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	1586	7	1593

Error

0.4b

Counts

1593 → 7

Compiler

Compiled 42538 to 22806 computations (46.4% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 y (.f64 z (.f64 z y)))
0.1b	(.f64 z (.f64 z y))
3.4b	(/.f64 (/.f64 1 x) (+.f64 y (.f64 z (.f64 z y))))

rewrite139.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

75×	`times-frac_binary64_16452`
46×	`add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446`
17×	`add-exp-log_binary64_16484`
13×	`add-cbrt-cube_binary64_16482` `associate-/l*_binary64_16391`
8×	`pow1_binary64_16507`
6×	`div-exp_binary64_16497`
5×	`add-log-exp_binary64_16485` `div-inv_binary64_16443`
3×	`cbrt-undiv_binary64_16480` `associate-/r_binary64_16390` `pow-prod-down_binary64_16517` `prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `associate-l*_binary64_16387`
2×	`flip3-+_binary64_16449` `associate-/r/_binary64_16392` `flip-+_binary64_16420`
1×	`1-exp_binary64_16490` `rec-exp_binary64_16496` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `associate-/l/_binary64_16393` `associate-r_binary64_16386` `*-commutative_binary64_16377` `sum-log_binary64_16537` `+-commutative_binary64_16376`

Counts

3 → 103

Calls

3 calls:

8.0ms	(/.f64 (/.f64 1 x) (+.f64 y (.f64 z (.f64 z y))))
5.0ms	(.f64 z (.f64 z y))
4.0ms	(+.f64 y (.f64 z (.f64 z y)))

Compiler

Compiled 2344 to 817 computations (65.1% saved)

series547.0ms (2.8%)

Error

0.4b

Counts

3 → 33

Calls

3 calls:

336.0ms	(/.f64 (/.f64 1 x) (+.f64 y (.f64 z (.f64 z y))))
104.0ms	(+.f64 y (.f64 z (.f64 z y)))
77.0ms	(.f64 z (.f64 z y))

Compiler

Compiled 1160 to 912 computations (21.4% saved)

simplify570.0ms (3%)

Algorithm

1×	egg-herbie

Rules

456×	`associate-/l*_binary64_16391`
351×	`cancel-sign-sub-inv_binary64_16412`
290×	`associate-/r/_binary64_16392`
282×	`*-commutative_binary64_16377`
249×	`associate-*l/_binary64_16389`
213×	`associate-*r/_binary64_16388`
192×	`unswap-sqr_binary64_16414`
176×	`associate-/l/_binary64_16393`
160×	`sub-neg_binary64_16439`
138×	`associate-/r*_binary64_16390`
123×	`associate-l_binary64_16387`
115×	`associate-r_binary64_16386`
102×	`distribute-rgt-in_binary64_16396`
101×	`sqr-pow_binary64_16418`
96×	`div-sub_binary64_16451`
87×	`times-frac_binary64_16452`
82×	`distribute-lft-in_binary64_16395`
79×	`log-div_binary64_16533`
72×	`distribute-rgt-out_binary64_16399`
67×	`cube-div_binary64_16475`
66×	`distribute-rgt-neg-in_binary64_16404`
62×	`log-prod_binary64_16532` `/-rgt-identity_binary64_16437`
60×	`*-rgt-identity_binary64_16436`
56×	`neg-mul-1_binary64_16442`
54×	`pow-sqr_binary64_16419`
51×	`distribute-lft-neg-in_binary64_16403`
50×	`cube-prod_binary64_16474`
49×	`neg-sub0_binary64_16441`
48×	`unsub-neg_binary64_16440`
47×	`exp-prod_binary64_16498` `swap-sqr_binary64_16413`
43×	`+-commutative_binary64_16376`
31×	`associate-+l-_binary64_16381`
30×	`*-lft-identity_binary64_16435` `distribute-neg-frac_binary64_16410` `associate-+l+_binary64_16379`
29×	`sub0-neg_binary64_16433`
28×	`distribute-rgt-out--_binary64_16400`
27×	`associate-+r+_binary64_16378`
25×	`associate-+r-_binary64_16380`
24×	`associate--l+_binary64_16383`
17×	`associate--l-_binary64_16384` `associate--r+_binary64_16382`
16×	`+-rgt-identity_binary64_16431`
15×	`unpow3_binary64_16512`
14×	`log-rec_binary64_16534` `difference-of-squares_binary64_16415`
12×	`pow-plus_binary64_16509` `cube-mult_binary64_16476` `+-lft-identity_binary64_16430` `distribute-lft-neg-out_binary64_16405`
10×	`distribute-neg-in_binary64_16407` `distribute-lft-out_binary64_16397`
9×	`exp-sqrt_binary64_16499`
8×	`log-pow_binary64_16535`
7×	`remove-double-div_binary64_16422`
5×	`exp-lft-sqr_binary64_16501` `cube-unmult_binary64_16483` `distribute-lft-out--_binary64_16398`
4×	`exp-sum_binary64_16492` `distribute-rgt1-in_binary64_16402`
3×	`div0_binary64_16427` `distribute-neg-out_binary64_16408` `distribute-lft1-in_binary64_16401`
2×	`prod-exp_binary64_16495` `rem-sqrt-square_binary64_16459` `count-2_binary64_16394`
1×	`unpow2_binary64_16511` `pow-base-1_binary64_16506` `unpow1_binary64_16504` `div-exp_binary64_16497` `rec-exp_binary64_16496` `exp-diff_binary64_16494` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `rem-log-exp_binary64_16487` `rem-cbrt-cube_binary64_16470` `remove-double-neg_binary64_16434` `*-inverses_binary64_16426` `rgt-mult-inverse_binary64_16423` `difference-of-sqr--1_binary64_16417` `distribute-rgt-neg-out_binary64_16406` `associate--r-_binary64_16385`
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` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `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` `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-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `rem-square-sqrt_binary64_16458` `mul-1-neg_binary64_16438` `--rgt-identity_binary64_16432` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `+-inverses_binary64_16425` `lft-mult-inverse_binary64_16424` `difference-of-sqr-1_binary64_16416` `cancel-sign-sub_binary64_16411` `distribute-frac-neg_binary64_16409`

Counts

136 → 596

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	3473
1	560	3324
2	1758	3071
3	3871	3071

prune800.0ms (4.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	593	3	596
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	595	8	603

Error

0.0b

Counts

603 → 8

Compiler

Compiled 14773 to 5103 computations (65.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 z)
0.5b	(cbrt.f64 z)
0.5b	(cbrt.f64 z)
3.4b	(/.f64 (/.f64 1 x) (+.f64 y (.f64 (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (.f64 z y) (cbrt.f64 z)))))

rewrite159.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

75×	`times-frac_binary64_16452`
49×	`add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446`
13×	`add-exp-log_binary64_16484` `associate-/l*_binary64_16391`
9×	`add-cbrt-cube_binary64_16482` `cbrt-prod_binary64_16477`
6×	`div-exp_binary64_16497`
5×	`div-inv_binary64_16443`
4×	`pow1_binary64_16507` `add-log-exp_binary64_16485`
3×	`cbrt-undiv_binary64_16480` `associate-/r*_binary64_16390` `pow1/3_binary64_16528`
2×	`associate-/r/_binary64_16392`
1×	`1-exp_binary64_16490` `rec-exp_binary64_16496` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `associate-/l/_binary64_16393` `flip3-+_binary64_16449` `flip-+_binary64_16420`

Counts

4 → 107

Calls

4 calls:

9.0ms	(/.f64 (/.f64 1 x) (+.f64 y (.f64 (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (.f64 z y) (cbrt.f64 z)))))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 3472 to 887 computations (74.5% saved)

series808.0ms (4.2%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

431.0ms	(/.f64 (/.f64 1 x) (+.f64 y (.f64 (.f64 (cbrt.f64 z) (cbrt.f64 z)) (.f64 (.f64 z y) (cbrt.f64 z)))))
125.0ms	(cbrt.f64 z)
114.0ms	(cbrt.f64 z)
110.0ms	(cbrt.f64 z)

Compiler

Compiled 1382 to 1019 computations (26.3% saved)

simplify567.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

536×	`associate-/l*_binary64_16391`
412×	`*-commutative_binary64_16377`
235×	`associate-*l/_binary64_16389`
232×	`associate-/r/_binary64_16392`
229×	`associate-*r/_binary64_16388`
186×	`associate-/l/_binary64_16393`
179×	`distribute-rgt-in_binary64_16396`
157×	`distribute-lft-in_binary64_16395`
143×	`associate-l_binary64_16387`
135×	`associate-/r*_binary64_16390`
134×	`cancel-sign-sub-inv_binary64_16412`
130×	`associate-r_binary64_16386`
110×	`distribute-rgt-neg-in_binary64_16404`
106×	`distribute-lft-neg-in_binary64_16403`
99×	`times-frac_binary64_16452`
80×	`unswap-sqr_binary64_16414`
68×	`log-div_binary64_16533` `log-prod_binary64_16532`
63×	`sqr-pow_binary64_16418`
59×	`associate-+l+_binary64_16379`
56×	`cube-prod_binary64_16474` `distribute-neg-frac_binary64_16410`
50×	`+-commutative_binary64_16376`
48×	`sub-neg_binary64_16439` `associate-+l-_binary64_16381`
47×	`*-rgt-identity_binary64_16436` `swap-sqr_binary64_16413`
45×	`associate-+r+_binary64_16378`
43×	`/-rgt-identity_binary64_16437`
38×	`associate--r+_binary64_16382`
36×	`neg-mul-1_binary64_16442` `distribute-neg-in_binary64_16407`
35×	`neg-sub0_binary64_16441`
31×	`pow-sqr_binary64_16419`
29×	`associate-+r-_binary64_16380`
28×	`associate--l+_binary64_16383`
25×	`associate--l-_binary64_16384`
24×	`distribute-rgt-out_binary64_16399`
18×	`unsub-neg_binary64_16440`
14×	`log-pow_binary64_16535`
13×	`log-rec_binary64_16534`
9×	`unpow3_binary64_16512` `cube-mult_binary64_16476` `cube-div_binary64_16475` `div-sub_binary64_16451` `*-lft-identity_binary64_16435` `distribute-rgt-out--_binary64_16400`
7×	`exp-prod_binary64_16498` `cube-unmult_binary64_16483` `distribute-lft-neg-out_binary64_16405`
6×	`distribute-neg-out_binary64_16408`
5×	`pow-plus_binary64_16509`
4×	`rem-sqrt-square_binary64_16459`
3×	`distribute-rgt-neg-out_binary64_16406`
2×	`unpow1/3_binary64_16513` `sub0-neg_binary64_16433` `distribute-rgt1-in_binary64_16402` `count-2_binary64_16394`
1×	`unpow2_binary64_16511` `unpow1_binary64_16504` `div-exp_binary64_16497` `rec-exp_binary64_16496` `prod-exp_binary64_16495` `1-exp_binary64_16490` `rem-log-exp_binary64_16487` `rem-3cbrt-lft_binary64_16471` `rem-cbrt-cube_binary64_16470` `rem-cube-cbrt_binary64_16469` `mul-1-neg_binary64_16438` `*-inverses_binary64_16426` `difference-of-squares_binary64_16415` `distribute-lft1-in_binary64_16401` `associate--r-_binary64_16385`
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` `pow-base-0_binary64_16530` `unpow1/2_binary64_16510` `exp-to-pow_binary64_16508` `pow-base-1_binary64_16506` `unpow0_binary64_16505` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-lft-sqr_binary64_16501` `exp-cbrt_binary64_16500` `exp-sqrt_binary64_16499` `exp-diff_binary64_16494` `exp-neg_binary64_16493` `exp-sum_binary64_16492` `e-exp-1_binary64_16491` `exp-1-e_binary64_16489` `exp-0_binary64_16488` `rem-exp-log_binary64_16486` `cube-neg_binary64_16473` `rem-3cbrt-rft_binary64_16472` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `rem-square-sqrt_binary64_16458` `remove-double-neg_binary64_16434` `--rgt-identity_binary64_16432` `+-rgt-identity_binary64_16431` `+-lft-identity_binary64_16430` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `div0_binary64_16427` `+-inverses_binary64_16425` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `cancel-sign-sub_binary64_16411` `distribute-frac-neg_binary64_16409` `distribute-lft-out--_binary64_16398` `distribute-lft-out_binary64_16397`

Counts

134 → 671

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	254	4735
1	621	3202
2	2018	2931
3	4909	2931

prune1.1s (5.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	671	0	671
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	671	8	679

Error

0.0b

Counts

679 → 8

Compiler

Compiled 22252 to 6227 computations (72% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

0.1b	(.f64 (.f64 x z) z)
0.6b	(/.f64 1 (.f64 y (+.f64 x (.f64 (*.f64 x z) z))))
3.5b	(.f64 y (+.f64 x (.f64 (*.f64 x z) z)))

rewrite84.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`add-exp-log_binary64_16484`
15×	`add-cbrt-cube_binary64_16482`
13×	`pow1_binary64_16507`
10×	`add-sqr-sqrt_binary64_16468`
8×	`add-cube-cbrt_binary64_16481` `*-un-lft-identity_binary64_16446`
7×	`prod-exp_binary64_16495`
6×	`associate-r_binary64_16386`
5×	`pow-prod-down_binary64_16517` `cbrt-unprod_binary64_16479`
4×	`associate-r/_binary64_16388` `associate-l*_binary64_16387` `div-exp_binary64_16497`
3×	`add-log-exp_binary64_16485` `times-frac_binary64_16452` `associate-/l*_binary64_16391`
2×	`flip3-+_binary64_16449` `flip-+_binary64_16420` `*-commutative_binary64_16377` `pow-flip_binary64_16520` `1-exp_binary64_16490` `rec-exp_binary64_16496` `cbrt-undiv_binary64_16480` `associate-/r/_binary64_16392`
1×	`unswap-sqr_binary64_16414` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `inv-pow_binary64_16531` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `div-inv_binary64_16443` `associate-/r*_binary64_16390`

Counts

3 → 70

Calls

3 calls:

6.0ms	(/.f64 1 (.f64 y (+.f64 x (.f64 (*.f64 x z) z))))
6.0ms	(.f64 y (+.f64 x (.f64 (*.f64 x z) z)))
5.0ms	(.f64 (.f64 x z) z)

Compiler

Compiled 1277 to 395 computations (69.1% saved)

series701.0ms (3.6%)

Error

0.0b

Counts

3 → 36

Calls

3 calls:

332.0ms	(/.f64 1 (.f64 y (+.f64 x (.f64 (*.f64 x z) z))))
253.0ms	(.f64 y (+.f64 x (.f64 (*.f64 x z) z)))
87.0ms	(.f64 (.f64 x z) z)

Compiler

Compiled 1277 to 995 computations (22.1% saved)

simplify433.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

408×	`associate-/l*_binary64_16391`
341×	`associate-/r*_binary64_16390`
331×	`distribute-rgt-in_binary64_16396`
315×	`distribute-lft-in_binary64_16395`
259×	`associate-*l/_binary64_16389`
243×	`associate-/l/_binary64_16393`
216×	`associate-l_binary64_16387`
186×	`associate-*r/_binary64_16388`
185×	`associate-r_binary64_16386`
122×	`cancel-sign-sub-inv_binary64_16412`
101×	`associate-/r/_binary64_16392`
90×	`distribute-rgt-neg-in_binary64_16404`
80×	`times-frac_binary64_16452`
77×	`distribute-lft-neg-in_binary64_16403`
71×	`exp-prod_binary64_16498`
68×	`*-commutative_binary64_16377`
54×	`log-prod_binary64_16532`
52×	`unswap-sqr_binary64_16414`
51×	`sqr-pow_binary64_16418`
42×	`sub-neg_binary64_16439`
36×	`cube-prod_binary64_16474`
34×	`swap-sqr_binary64_16413`
33×	`distribute-neg-frac_binary64_16410`
31×	`distribute-rgt-out_binary64_16399`
30×	`*-rgt-identity_binary64_16436`
29×	`associate--l+_binary64_16383`
28×	`neg-mul-1_binary64_16442` `neg-sub0_binary64_16441` `/-rgt-identity_binary64_16437`
26×	`log-div_binary64_16533`
25×	`*-lft-identity_binary64_16435` `distribute-lft-out_binary64_16397`
24×	`+-commutative_binary64_16376`
23×	`associate-+l-_binary64_16381`
22×	`associate--r+_binary64_16382`
20×	`pow-sqr_binary64_16419`
19×	`cube-div_binary64_16475`
18×	`distribute-neg-in_binary64_16407`
15×	`distribute-lft-neg-out_binary64_16405`
10×	`unsub-neg_binary64_16440`
9×	`distribute-rgt1-in_binary64_16402`
8×	`log-rec_binary64_16534` `distribute-rgt-neg-out_binary64_16406`
7×	`distribute-rgt-out--_binary64_16400`
6×	`pow-plus_binary64_16509` `exp-sum_binary64_16492`
5×	`unpow3_binary64_16512` `cube-unmult_binary64_16483` `div-sub_binary64_16451` `associate-+l+_binary64_16379`
3×	`log-pow_binary64_16535`
2×	`cube-mult_binary64_16476` `count-2_binary64_16394`
1×	`unpow2_binary64_16511` `unpow1_binary64_16504` `exp-sqrt_binary64_16499` `div-exp_binary64_16497` `rec-exp_binary64_16496` `prod-exp_binary64_16495` `1-exp_binary64_16490` `exp-1-e_binary64_16489` `rem-log-exp_binary64_16487` `rem-cbrt-cube_binary64_16470` `rem-sqrt-square_binary64_16459` `*-inverses_binary64_16426` `difference-of-squares_binary64_16415` `distribute-lft1-in_binary64_16401` `distribute-lft-out--_binary64_16398` `associate--l-_binary64_16384` `associate-+r+_binary64_16378`
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` `pow-base-0_binary64_16530` `unpow1/3_binary64_16513` `unpow1/2_binary64_16510` `exp-to-pow_binary64_16508` `pow-base-1_binary64_16506` `unpow0_binary64_16505` `unpow-1_binary64_16503` `exp-lft-cube_binary64_16502` `exp-lft-sqr_binary64_16501` `exp-cbrt_binary64_16500` `exp-diff_binary64_16494` `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-cube-cbrt_binary64_16469` `sqr-abs_binary64_16461` `sqr-neg_binary64_16460` `rem-square-sqrt_binary64_16458` `mul-1-neg_binary64_16438` `remove-double-neg_binary64_16434` `sub0-neg_binary64_16433` `--rgt-identity_binary64_16432` `+-rgt-identity_binary64_16431` `+-lft-identity_binary64_16430` `mul0-rgt_binary64_16429` `mul0-lft_binary64_16428` `div0_binary64_16427` `+-inverses_binary64_16425` `lft-mult-inverse_binary64_16424` `rgt-mult-inverse_binary64_16423` `remove-double-div_binary64_16422` `difference-of-sqr--1_binary64_16417` `difference-of-sqr-1_binary64_16416` `cancel-sign-sub_binary64_16411` `distribute-frac-neg_binary64_16409` `distribute-neg-out_binary64_16408` `associate--r-_binary64_16385` `associate-+r-_binary64_16380`

Counts

106 → 284

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	157	1852
1	392	1687
2	1621	1656

prune284.0ms (1.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	282	2	284
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	283	9	292

Error

0.0b

Counts

292 → 9

Compiler

Compiled 5342 to 2178 computations (59.2% saved)

regimes2.6s (13.5%)

Accuracy

Total 1.5b remaining (99.4%)

Threshold costs 0b (0%)

Compiler

Compiled 22344 to 18322 computations (18% saved)

bsearch4.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64_16377`
2×	`+-commutative_binary64_16376`
1×	`if-if-or-not_binary64_16704` `1-exp_binary64_16490` `/-rgt-identity_binary64_16437`
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_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_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	28	59
1	38	59

Proof

(=> (if real (<= f64 (/ f64 1 h0) -21954875944739657635646880532347379368045191557545984000) (/ f64 (/ f64 1 h1) (+ f64 h0 (* f64 (* f64 h0 h2) h2))) (if real (<= f64 (/ f64 1 h0) 6757659019774635/64) (* f64 (/ f64 (/ f64 (/ f64 (sqrt f64 1) 1) 1) 1) (/ f64 (/ f64 (sqrt f64 1) h0) (+ f64 h1 (* f64 h2 (* f64 h2 h1))))) (/ f64 (/ f64 1 h1) (+ f64 h0 (* f64 (* f64 h0 h2) h2))))))
if-if-or-not_binary64_16704 =>
(if real (or real (<= f64 (/ f64 1 h0) -21954875944739657635646880532347379368045191557545984000) (not real (<= f64 (/ f64 1 h0) 6757659019774635/64))) (/ f64 (/ f64 1 h1) (+ f64 h0 (* f64 (* f64 h0 h2) h2))) (* f64 (/ f64 (/ f64 (=> (/ f64 (sqrt f64 1) 1)) 1) 1) (/ f64 (/ f64 (sqrt f64 1) h0) (+ f64 h1 (* f64 h2 (* f64 h2 h1))))))
/-rgt-identity_binary64_16437 =>
(if real (or real (<= f64 (/ f64 1 h0) -21954875944739657635646880532347379368045191557545984000) (not real (<= f64 (/ f64 1 h0) 6757659019774635/64))) (/ f64 (/ f64 1 h1) (+ f64 h0 (* f64 (* f64 h0 h2) h2))) (* f64 (/ f64 (=> (/ f64 (sqrt f64 1) 1)) 1) (/ f64 (/ f64 (sqrt f64 1) h0) (+ f64 h1 (* f64 h2 (* f64 h2 h1))))))
/-rgt-identity_binary64_16437 =>
(if real (or real (<= f64 (/ f64 1 h0) -21954875944739657635646880532347379368045191557545984000) (not real (<= f64 (/ f64 1 h0) 6757659019774635/64))) (/ f64 (/ f64 1 h1) (+ f64 h0 (* f64 (* f64 h0 h2) h2))) (* f64 (=> (/ f64 (sqrt f64 1) 1)) (/ f64 (/ f64 (sqrt f64 1) h0) (+ f64 h1 (* f64 h2 (* f64 h2 h1))))))
/-rgt-identity_binary64_16437 =>
(if real (or real (<= f64 (/ f64 1 h0) -21954875944739657635646880532347379368045191557545984000) (not real (<= f64 (/ f64 1 h0) 6757659019774635/64))) (/ f64 (/ f64 1 h1) (+ f64 h0 (* f64 (* f64 h0 h2) h2))) (* f64 (sqrt f64 1) (/ f64 (/ f64 (sqrt f64 1) h0) (+ f64 h1 (* f64 h2 (=> (* f64 h2 h1)))))))
*-commutative_binary64_16377 =>
(if real (or real (<= f64 (/ f64 1 h0) -21954875944739657635646880532347379368045191557545984000) (not real (<= f64 (/ f64 1 h0) 6757659019774635/64))) (/ f64 (/ f64 1 h1) (+ f64 h0 (=> (* f64 (* f64 h0 h2) h2)))) (* f64 (sqrt f64 1) (/ f64 (/ f64 (sqrt f64 1) h0) (+ f64 h1 (* f64 h2 (* f64 h1 h2))))))
*-commutative_binary64_16377 =>
(if real (or real (<= f64 (/ f64 1 h0) -21954875944739657635646880532347379368045191557545984000) (not real (<= f64 (/ f64 1 h0) 6757659019774635/64))) (/ f64 (/ f64 1 h1) (+ f64 h0 (* f64 h2 (* f64 h0 h2)))) (* f64 (sqrt f64 1) (/ f64 (/ f64 (sqrt f64 1) h0) (+ f64 h1 (* f64 h2 (* f64 h1 h2))))))

end0.0ms (0%)

sample2.5s (13%)

Algorithm

1×

intervals

Results

282.0ms	8000×	body	128	valid
18.0ms	423×	body	128	invalid

Compiler

Compiled 2304 to 1880 computations (18.4% saved)

Details

analyze249.0ms (1.3%)

sample20.0ms (0.1%)

simplify457.0ms (2.4%)

prune11.0ms (0.1%)

localize13.0ms (0.1%)

rewrite503.0ms (2.6%)

series440.0ms (2.3%)

simplify1.6s (8.2%)

prune4.6s (23.9%)

localize8.0ms (0%)

rewrite139.0ms (0.7%)

series547.0ms (2.8%)

simplify570.0ms (3%)

prune800.0ms (4.2%)

localize11.0ms (0.1%)

rewrite159.0ms (0.8%)

series808.0ms (4.2%)

simplify567.0ms (2.9%)

prune1.1s (5.9%)

localize8.0ms (0%)

rewrite84.0ms (0.4%)

series701.0ms (3.6%)

simplify433.0ms (2.2%)

prune284.0ms (1.5%)

regimes2.6s (13.5%)

bsearch4.0ms (0%)

simplify7.0ms (0%)

end0.0ms (0%)

sample2.5s (13%)

Profiling