Details

analyze277.0ms (2.2%)

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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
31.2%	68.6%	0.1%	8
35.9%	60.8%	3.3%	9
44.1%	48%	7.9%	10
54.8%	36.9%	8.3%	11
57.6%	31.5%	10.9%	12
61.9%	24%	14.1%	13
67.2%	18.6%	14.2%	14

Compiler

Compiled 10 to 10 computations (0% saved)

sample18.0ms (0.1%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	29×	body	128	invalid

Compiler

Compiled 19 to 22 computations (-15.8% saved)

simplify621.0ms (5%)

Algorithm

1×	egg-herbie

Rules

539×	`exp-prod_binary64_17521`
417×	`unsub-neg_binary64_17463`
314×	`cube-prod_binary64_17497`
295×	`swap-sqr_binary64_17436`
288×	`pow-plus_binary64_17532`
212×	`associate-/r*_binary64_17413`
174×	`distribute-rgt-in_binary64_17419`
159×	`distribute-rgt1-in_binary64_17425`
158×	`distribute-lft-in_binary64_17418`
145×	`unpow3_binary64_17535`
142×	`distribute-rgt-neg-in_binary64_17427`
137×	`distribute-rgt-neg-out_binary64_17429`
125×	`sqr-pow_binary64_17441`
119×	`neg-mul-1_binary64_17465`
112×	`exp-diff_binary64_17517`
104×	`exp-sum_binary64_17515`
100×	`distribute-lft-neg-in_binary64_17426`
97×	`neg-sub0_binary64_17464`
95×	`*-commutative_binary64_17400`
92×	`pow-sqr_binary64_17442`
90×	`distribute-lft-neg-out_binary64_17428`
88×	`sub-neg_binary64_17462`
85×	`associate--r+_binary64_17405`
82×	`associate-*l/_binary64_17412`
74×	`associate-r_binary64_17409`
73×	`associate-l_binary64_17410`
67×	`difference-of-squares_binary64_17438` `associate-+l-_binary64_17404`
66×	`distribute-neg-out_binary64_17431`
60×	`distribute-rgt-out--_binary64_17423`
58×	`div-sub_binary64_17474`
56×	`sqr-neg_binary64_17483`
54×	`associate--r-_binary64_17408`
50×	`distribute-neg-in_binary64_17430` `distribute-rgt-out_binary64_17422`
48×	`cancel-sign-sub-inv_binary64_17435` `distribute-lft1-in_binary64_17424`
45×	`+-commutative_binary64_17399`
44×	`remove-double-neg_binary64_17457` `associate--l+_binary64_17406`
43×	`associate--l-_binary64_17407`
39×	`associate-/r/_binary64_17415`
27×	`associate-+r-_binary64_17403`
23×	`associate-*r/_binary64_17411`
22×	`mul0-lft_binary64_17451`
21×	`mul0-rgt_binary64_17452` `associate-+l+_binary64_17402`
16×	`sub0-neg_binary64_17456`
15×	`*-rgt-identity_binary64_17459`
14×	`associate-+r+_binary64_17401`
13×	`distribute-frac-neg_binary64_17432`
11×	`exp-neg_binary64_17516`
10×	`*-lft-identity_binary64_17458`
9×	`count-2_binary64_17417`
8×	`+-inverses_binary64_17448` `associate-/l/_binary64_17416`
7×	`pow-base-1_binary64_17529`
6×	`difference-of-sqr--1_binary64_17440` `unswap-sqr_binary64_17437`
5×	`--rgt-identity_binary64_17455` `distribute-neg-frac_binary64_17433`
4×	`cube-unmult_binary64_17506` `+-rgt-identity_binary64_17454`
3×	`exp-lft-sqr_binary64_17524` `times-frac_binary64_17475` `mul-1-neg_binary64_17461` `+-lft-identity_binary64_17453`
2×	`cube-div_binary64_17498`
1×	`pow-base-0_binary64_17553` `prod-exp_binary64_17518` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `div0_binary64_17450` `-inverses_binary64_17449` `distribute-lft-out--_binary64_17421` `associate-/l_binary64_17414`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `log-rec_binary64_17557` `log-div_binary64_17556` `log-prod_binary64_17555` `unpow1/3_binary64_17536` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `exp-to-pow_binary64_17531` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `div-exp_binary64_17520` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-mult_binary64_17499` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `/-rgt-identity_binary64_17460` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr-1_binary64_17439` `cancel-sign-sub_binary64_17434` `distribute-lft-out_binary64_17420`

Counts

1 → 4

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	20	13
2	47	13
3	126	13
4	349	13
5	583	13
6	807	13
7	1718	13
8	4555	13

prune11.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

5 → 3

Compiler

Compiled 63 to 45 computations (28.6% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (.f64 (+.f64 y -1) (.f64 x z)))
3.8b	(.f64 (+.f64 y -1) (.f64 x z))

rewrite49.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`pow1_binary64_17530` `add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
5×	`-un-lft-identity_binary64_17469` `associate-l*_binary64_17410`
4×	`add-log-exp_binary64_17508` `add-sqr-sqrt_binary64_17491`
3×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `add-cube-cbrt_binary64_17504` `cbrt-unprod_binary64_17502`
2×	`flip3-+_binary64_17472` `associate-*l/_binary64_17412` `flip-+_binary64_17443`
1×	`difference-of-sqr--1_binary64_17440` `distribute-lft-out_binary64_17420` `associate-r_binary64_17409` `*-commutative_binary64_17400` `sum-log_binary64_17560` `+-commutative_binary64_17399`

Counts

2 → 33

Calls

2 calls:

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

Compiler

Compiled 568 to 313 computations (44.9% saved)

series459.0ms (3.7%)

Error

0.0b

Counts

2 → 27

Calls

2 calls:

228.0ms	(+.f64 x (.f64 (+.f64 y -1) (.f64 x z)))
211.0ms	(.f64 (+.f64 y -1) (.f64 x z))

Compiler

Compiled 652 to 398 computations (39% saved)

simplify701.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

381×	`unsub-neg_binary64_17463`
352×	`distribute-rgt-in_binary64_17419`
336×	`distribute-lft-in_binary64_17418`
242×	`distribute-rgt-neg-out_binary64_17429`
234×	`distribute-lft-neg-out_binary64_17428`
220×	`cancel-sign-sub-inv_binary64_17435` `associate--r+_binary64_17405`
216×	`*-commutative_binary64_17400`
214×	`exp-prod_binary64_17521`
171×	`associate--l+_binary64_17406`
155×	`unswap-sqr_binary64_17437`
147×	`distribute-neg-in_binary64_17430` `distribute-rgt-neg-in_binary64_17427`
145×	`associate-+l-_binary64_17404`
142×	`+-commutative_binary64_17399`
137×	`associate-+r-_binary64_17403`
132×	`sub-neg_binary64_17462`
117×	`distribute-lft-neg-in_binary64_17426`
107×	`log-prod_binary64_17555`
105×	`associate-r_binary64_17409`
101×	`associate-l_binary64_17410`
99×	`distribute-rgt-out_binary64_17422`
92×	`neg-sub0_binary64_17464`
85×	`neg-mul-1_binary64_17465`
69×	`sqr-pow_binary64_17441`
66×	`exp-sum_binary64_17515`
38×	`exp-diff_binary64_17517` `pow-sqr_binary64_17442`
36×	`cube-prod_binary64_17497` `distribute-neg-out_binary64_17431` `associate--r-_binary64_17408` `associate-+l+_binary64_17402`
33×	`distribute-rgt-out--_binary64_17423`
31×	`distribute-lft-out_binary64_17420`
28×	`associate-+r+_binary64_17401`
24×	`swap-sqr_binary64_17436`
23×	`pow-plus_binary64_17532`
22×	`+-rgt-identity_binary64_17454`
20×	`unpow3_binary64_17535`
18×	`sqr-neg_binary64_17483` `mul-1-neg_binary64_17461` `remove-double-neg_binary64_17457` `associate--l-_binary64_17407`
15×	`exp-neg_binary64_17516` `cube-neg_binary64_17496`
14×	`sub0-neg_binary64_17456`
11×	`difference-of-squares_binary64_17438`
9×	`distribute-rgt1-in_binary64_17425`
8×	`log-pow_binary64_17558`
7×	`cube-mult_binary64_17499` `associate-/l/_binary64_17416` `associate-*r/_binary64_17411`
6×	`div-sub_binary64_17474` `distribute-lft-out--_binary64_17421`
5×	`-rgt-identity_binary64_17459` `associate-/l_binary64_17414`
3×	`cube-unmult_binary64_17506` `*-lft-identity_binary64_17458` `--rgt-identity_binary64_17455` `difference-of-sqr--1_binary64_17440` `cancel-sign-sub_binary64_17434`
2×	`distribute-lft1-in_binary64_17424` `associate-/r/_binary64_17415` `associate-*l/_binary64_17412`
1×	`pow-base-1_binary64_17529` `prod-exp_binary64_17518` `1-exp_binary64_17513` `difference-of-sqr-1_binary64_17439`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-rec_binary64_17557` `log-div_binary64_17556` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `exp-to-pow_binary64_17531` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `div-exp_binary64_17520` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-div_binary64_17498` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `times-frac_binary64_17475` `/-rgt-identity_binary64_17460` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `div0_binary64_17450` `-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `count-2_binary64_17417` `associate-/r_binary64_17413`

Counts

60 → 211

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	93	788
1	278	756
2	815	753
3	2320	750
4	4871	750

prune250.0ms (2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	207	4	211
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	208	6	214

Error

Counts

214 → 6

Compiler

Compiled 4241 to 2313 computations (45.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 -1 y))
0.3b	(*.f64 (cbrt.f64 (+.f64 y -1)) (cbrt.f64 (+.f64 y -1)))
1.9b	(.f64 (.f64 (cbrt.f64 (+.f64 y -1)) (cbrt.f64 (+.f64 y -1))) (.f64 (.f64 x z) (cbrt.f64 (+.f64 -1 y))))
2.0b	(.f64 (.f64 x z) (cbrt.f64 (+.f64 -1 y)))

rewrite347.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

70×	`cbrt-div_binary64_17501`
37×	`pow1_binary64_17530`
36×	`cbrt-prod_binary64_17500`
35×	`flip3-+_binary64_17472` `flip-+_binary64_17443`
33×	`*-un-lft-identity_binary64_17469`
32×	`add-exp-log_binary64_17507` `frac-times_binary64_17479`
30×	`associate-*r/_binary64_17411`
27×	`add-sqr-sqrt_binary64_17491`
20×	`pow-prod-down_binary64_17540`
19×	`prod-exp_binary64_17518` `cbrt-unprod_binary64_17502`
18×	`add-cbrt-cube_binary64_17505`
16×	`associate-r_binary64_17409` `associate-*l/_binary64_17412`
15×	`add-cube-cbrt_binary64_17504`
10×	`associate-l_binary64_17410` `swap-sqr_binary64_17436`
8×	`distribute-lft-out_binary64_17420`
7×	`pow1/3_binary64_17551`
4×	`add-log-exp_binary64_17508` `unswap-sqr_binary64_17437` `difference-of-sqr--1_binary64_17440`
3×	`*-commutative_binary64_17400`
2×	`pow-prod-up_binary64_17539` `pow-sqr_binary64_17442`
1×	`pow2_binary64_17550` `pow-plus_binary64_17532`

Counts

4 → 148

Calls

4 calls:

19.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 y -1)) (cbrt.f64 (+.f64 y -1))) (.f64 (.f64 x z) (cbrt.f64 (+.f64 -1 y))))
15.0ms	(*.f64 (cbrt.f64 (+.f64 y -1)) (cbrt.f64 (+.f64 y -1)))
8.0ms	(.f64 (.f64 x z) (cbrt.f64 (+.f64 -1 y)))
3.0ms	(cbrt.f64 (+.f64 -1 y))

Compiler

Compiled 4682 to 3222 computations (31.2% saved)

series919.0ms (7.5%)

Error

Counts

4 → 32

Calls

4 calls:

456.0ms	(.f64 (.f64 x z) (cbrt.f64 (+.f64 -1 y)))
327.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 y -1)) (cbrt.f64 (+.f64 y -1))) (.f64 (.f64 x z) (cbrt.f64 (+.f64 -1 y))))
51.0ms	(*.f64 (cbrt.f64 (+.f64 y -1)) (cbrt.f64 (+.f64 y -1)))
50.0ms	(cbrt.f64 (+.f64 -1 y))

Compiler

Compiled 1607 to 1255 computations (21.9% saved)

simplify2.4s (19.6%)

Algorithm

1×	egg-herbie

Rules

500×	`associate-l_binary64_17410`
478×	`associate-r_binary64_17409`
251×	`log-prod_binary64_17555`
240×	`distribute-rgt-in_binary64_17419`
221×	`distribute-lft-in_binary64_17418`
153×	`unswap-sqr_binary64_17437`
150×	`*-commutative_binary64_17400`
138×	`associate-*l/_binary64_17412`
137×	`cancel-sign-sub-inv_binary64_17435`
118×	`distribute-rgt-neg-in_binary64_17427`
89×	`times-frac_binary64_17475`
84×	`distribute-lft-neg-out_binary64_17428`
83×	`distribute-lft-neg-in_binary64_17426`
82×	`associate-*r/_binary64_17411`
81×	`exp-prod_binary64_17521`
77×	`distribute-rgt-neg-out_binary64_17429`
76×	`cube-prod_binary64_17497`
75×	`sqr-pow_binary64_17441`
64×	`swap-sqr_binary64_17436`
63×	`log-div_binary64_17556`
56×	`associate-+l+_binary64_17402`
48×	`sub-neg_binary64_17462`
46×	`distribute-rgt-out_binary64_17422`
43×	`+-commutative_binary64_17399`
38×	`associate-+r+_binary64_17401`
34×	`neg-sub0_binary64_17464` `associate-/r*_binary64_17413`
33×	`pow-sqr_binary64_17442` `distribute-lft-out_binary64_17420`
31×	`associate-+r-_binary64_17403`
28×	`associate-/l*_binary64_17414`
25×	`neg-mul-1_binary64_17465`
24×	`associate-+l-_binary64_17404`
23×	`*-rgt-identity_binary64_17459`
22×	`*-lft-identity_binary64_17458`
20×	`unsub-neg_binary64_17463`
19×	`log-pow_binary64_17558` `distribute-rgt-out--_binary64_17423`
17×	`pow-plus_binary64_17532`
16×	`cube-unmult_binary64_17506` `mul-1-neg_binary64_17461`
15×	`associate--r+_binary64_17405`
13×	`difference-of-squares_binary64_17438` `distribute-neg-in_binary64_17430`
12×	`distribute-lft-out--_binary64_17421`
10×	`associate-/r/_binary64_17415` `associate--r-_binary64_17408`
9×	`associate--l-_binary64_17407`
8×	`distribute-neg-out_binary64_17431`
7×	`associate-/l/_binary64_17416`
6×	`unpow1/3_binary64_17536` `unpow3_binary64_17535` `distribute-rgt1-in_binary64_17425` `associate--l+_binary64_17406`
5×	`rem-sqrt-square_binary64_17482` `count-2_binary64_17417`
4×	`div-exp_binary64_17520` `prod-exp_binary64_17518` `/-rgt-identity_binary64_17460` `remove-double-neg_binary64_17457`
3×	`log-rec_binary64_17557` `cube-mult_binary64_17499` `cube-div_binary64_17498` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `difference-of-sqr--1_binary64_17440`
2×	`unpow2_binary64_17534` `unpow1_binary64_17527` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `exp-diff_binary64_17517` `exp-sum_binary64_17515` `rem-cbrt-cube_binary64_17493` `sqr-neg_binary64_17483` `distribute-neg-frac_binary64_17433` `distribute-lft1-in_binary64_17424`
1×	`exp-neg_binary64_17516` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-log-exp_binary64_17510` `rem-cube-cbrt_binary64_17492` `rem-square-sqrt_binary64_17481` `*-inverses_binary64_17449`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow1/2_binary64_17533` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-exp-log_binary64_17509` `sqr-abs_binary64_17484` `div-sub_binary64_17474` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `div0_binary64_17450` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr-1_binary64_17439` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432`

Counts

180 → 481

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	253	4467
1	639	3482
2	2215	3377
3	4769	3377

prune1.5s (11.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	481	0	481
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	481	6	487

Error

Counts

487 → 6

Compiler

Compiled 16065 to 11026 computations (31.4% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 x (+.f64 -1 y))
0.0b	(+.f64 x (.f64 (.f64 x (+.f64 -1 y)) z))
3.2b	(.f64 (.f64 x (+.f64 -1 y)) z)

rewrite71.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`pow1_binary64_17530` `add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
8×	`add-sqr-sqrt_binary64_17491` `*-un-lft-identity_binary64_17469`
7×	`associate-r_binary64_17409`
6×	`add-cube-cbrt_binary64_17504`
5×	`add-log-exp_binary64_17508`
4×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `associate-r/_binary64_17411` `associate-l*_binary64_17410`
3×	`flip3-+_binary64_17472` `flip-+_binary64_17443`
2×	`associate-l/_binary64_17412` `-commutative_binary64_17400`
1×	`sum-log_binary64_17560` `+-commutative_binary64_17399` `unswap-sqr_binary64_17437` `distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418` `distribute-lft-out_binary64_17420`

Counts

3 → 54

Calls

3 calls:

8.0ms	(.f64 (.f64 x (+.f64 -1 y)) z)
6.0ms	(*.f64 x (+.f64 -1 y))
3.0ms	(+.f64 x (.f64 (.f64 x (+.f64 -1 y)) z))

Compiler

Compiled 877 to 541 computations (38.3% saved)

series549.0ms (4.5%)

Error

Counts

3 → 36

Calls

3 calls:

244.0ms	(+.f64 x (.f64 (.f64 x (+.f64 -1 y)) z))
197.0ms	(.f64 (.f64 x (+.f64 -1 y)) z)
87.0ms	(*.f64 x (+.f64 -1 y))

Compiler

Compiled 856 to 528 computations (38.3% saved)

simplify428.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

598×	`distribute-rgt-in_binary64_17419`
571×	`distribute-lft-in_binary64_17418`
363×	`distribute-rgt-neg-out_binary64_17429`
268×	`*-commutative_binary64_17400`
256×	`distribute-neg-in_binary64_17430`
232×	`cancel-sign-sub-inv_binary64_17435`
187×	`associate-l_binary64_17410`
167×	`unswap-sqr_binary64_17437`
156×	`unsub-neg_binary64_17463`
142×	`associate-r_binary64_17409`
134×	`sub-neg_binary64_17462`
120×	`exp-prod_binary64_17521`
87×	`sqr-pow_binary64_17441`
86×	`distribute-rgt-neg-in_binary64_17427`
80×	`neg-sub0_binary64_17464`
71×	`cube-prod_binary64_17497`
70×	`exp-sum_binary64_17515`
69×	`log-prod_binary64_17555`
67×	`neg-mul-1_binary64_17465`
63×	`distribute-lft-neg-in_binary64_17426` `distribute-lft-out_binary64_17420`
56×	`*-rgt-identity_binary64_17459`
55×	`*-lft-identity_binary64_17458`
42×	`pow-sqr_binary64_17442` `associate-+l+_binary64_17402`
37×	`swap-sqr_binary64_17436`
35×	`exp-diff_binary64_17517` `distribute-lft-neg-out_binary64_17428`
31×	`associate-+l-_binary64_17404` `associate-+r+_binary64_17401` `+-commutative_binary64_17399`
25×	`associate-+r-_binary64_17403`
23×	`mul-1-neg_binary64_17461` `distribute-rgt-out_binary64_17422`
19×	`+-rgt-identity_binary64_17454`
18×	`distribute-lft-out--_binary64_17421`
17×	`distribute-neg-out_binary64_17431` `distribute-rgt-out--_binary64_17423`
13×	`div-sub_binary64_17474` `associate--r+_binary64_17405`
11×	`remove-double-neg_binary64_17457`
10×	`unpow3_binary64_17535` `sub0-neg_binary64_17456` `associate--l+_binary64_17406`
8×	`cube-mult_binary64_17499` `cube-neg_binary64_17496`
7×	`difference-of-squares_binary64_17438`
6×	`sqr-neg_binary64_17483` `distribute-rgt1-in_binary64_17425`
4×	`pow-plus_binary64_17532`
3×	`difference-of-sqr--1_binary64_17440` `associate--r-_binary64_17408`
2×	`pow-base-1_binary64_17529` `prod-exp_binary64_17518` `exp-neg_binary64_17516` `cube-unmult_binary64_17506` `times-frac_binary64_17475` `distribute-frac-neg_binary64_17432` `associate-/l*_binary64_17414` `associate--l-_binary64_17407`
1×	`log-pow_binary64_17558` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-log-exp_binary64_17510` `/-rgt-identity_binary64_17460` `associate-/l/_binary64_17416` `associate-*r/_binary64_17411`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-rec_binary64_17557` `log-div_binary64_17556` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `exp-to-pow_binary64_17531` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `div-exp_binary64_17520` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-exp-log_binary64_17509` `cube-div_binary64_17498` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `div0_binary64_17450` `-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr-1_binary64_17439` `cancel-sign-sub_binary64_17434` `distribute-neg-frac_binary64_17433` `distribute-lft1-in_binary64_17424` `count-2_binary64_17417` `associate-/r/_binary64_17415` `associate-/r_binary64_17413` `associate-*l/_binary64_17412`

Counts

90 → 279

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	114	1066
1	328	1009
2	1139	997
3	3320	993

prune265.0ms (2.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	279	0	279
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	279	6	285

Error

Counts

285 → 6

Compiler

Compiled 5226 to 2464 computations (52.9% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 1 (*.f64 (-.f64 1 y) z))
0.0b	(*.f64 (-.f64 1 y) z)
4.1b	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))

rewrite87.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`add-sqr-sqrt_binary64_17491`
10×	`*-un-lft-identity_binary64_17469`
9×	`associate-l_binary64_17410`
7×	`pow1_binary64_17530` `add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505` `add-cube-cbrt_binary64_17504`
6×	`associate-r_binary64_17409`
5×	`add-log-exp_binary64_17508`
3×	`sub-neg_binary64_17462` `cancel-sign-sub-inv_binary64_17435` `flip3--_binary64_17473` `flip--_binary64_17444`
2×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `unswap-sqr_binary64_17437` `distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418` `associate-r/_binary64_17411` `-commutative_binary64_17400` `associate-*l/_binary64_17412` `difference-of-squares_binary64_17438`
1×	`distribute-lft-out--_binary64_17421` `diff-log_binary64_17561`

Counts

3 → 59

Calls

3 calls:

11.0ms	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
7.0ms	(*.f64 (-.f64 1 y) z)
4.0ms	(-.f64 1 (*.f64 (-.f64 1 y) z))

Compiler

Compiled 982 to 698 computations (28.9% saved)

series412.0ms (3.3%)

Error

Counts

3 → 36

Calls

3 calls:

226.0ms	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
89.0ms	(-.f64 1 (*.f64 (-.f64 1 y) z))
76.0ms	(*.f64 (-.f64 1 y) z)

Compiler

Compiled 781 to 551 computations (29.4% saved)

simplify695.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

428×	`neg-mul-1_binary64_17465`
273×	`distribute-rgt-in_binary64_17419`
246×	`distribute-lft-in_binary64_17418`
202×	`exp-prod_binary64_17521`
195×	`+-commutative_binary64_17399`
177×	`distribute-lft-neg-out_binary64_17428`
176×	`distribute-rgt-neg-out_binary64_17429`
169×	`exp-sum_binary64_17515`
158×	`distribute-rgt-neg-in_binary64_17427`
150×	`times-frac_binary64_17475`
149×	`unsub-neg_binary64_17463`
139×	`*-commutative_binary64_17400`
138×	`distribute-lft-neg-in_binary64_17426`
128×	`div-sub_binary64_17474` `associate-+l-_binary64_17404`
127×	`associate--r+_binary64_17405`
123×	`cancel-sign-sub-inv_binary64_17435`
119×	`associate-l_binary64_17410`
98×	`distribute-neg-in_binary64_17430`
93×	`associate-r_binary64_17409`
84×	`exp-diff_binary64_17517` `neg-sub0_binary64_17464` `sub-neg_binary64_17462`
83×	`sqr-pow_binary64_17441`
74×	`distribute-rgt-out_binary64_17422`
72×	`associate-+r-_binary64_17403`
52×	`*-lft-identity_binary64_17458`
49×	`exp-to-pow_binary64_17531`
47×	`*-rgt-identity_binary64_17459` `pow-sqr_binary64_17442` `unswap-sqr_binary64_17437`
45×	`associate--l+_binary64_17406`
41×	`log-pow_binary64_17558`
35×	`pow-plus_binary64_17532`
34×	`log-prod_binary64_17555`
28×	`associate-+l+_binary64_17402`
23×	`associate-/l*_binary64_17414`
19×	`cube-prod_binary64_17497`
16×	`swap-sqr_binary64_17436` `distribute-rgt1-in_binary64_17425`
15×	`pow-base-1_binary64_17529` `associate--r-_binary64_17408` `associate-+r+_binary64_17401`
13×	`associate-/r*_binary64_17413`
12×	`remove-double-neg_binary64_17457` `sub0-neg_binary64_17456` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `difference-of-squares_binary64_17438`
11×	`distribute-rgt-out--_binary64_17423`
9×	`+-rgt-identity_binary64_17454`
8×	`sqr-neg_binary64_17483` `difference-of-sqr-1_binary64_17439`
7×	`unpow3_binary64_17535` `distribute-neg-out_binary64_17431` `associate-/l/_binary64_17416` `associate--l-_binary64_17407`
6×	`distribute-lft-out_binary64_17420` `associate-*r/_binary64_17411`
5×	`cube-unmult_binary64_17506` `cube-neg_binary64_17496`
4×	`div-exp_binary64_17520` `prod-exp_binary64_17518` `exp-neg_binary64_17516` `distribute-lft1-in_binary64_17424`
3×	`exp-sqrt_binary64_17522` `cube-mult_binary64_17499` `mul-1-neg_binary64_17461`
2×	`exp-lft-sqr_binary64_17524` `rem-sqrt-square_binary64_17482` `distribute-lft-out--_binary64_17421`
1×	`exp-lft-cube_binary64_17525` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-log-exp_binary64_17510` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `count-2_binary64_17417` `associate-/r/_binary64_17415` `associate-*l/_binary64_17412`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-rec_binary64_17557` `log-div_binary64_17556` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-cbrt_binary64_17523` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-exp-log_binary64_17509` `cube-div_binary64_17498` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-square-sqrt_binary64_17481` `/-rgt-identity_binary64_17460` `div0_binary64_17450` `*-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `cancel-sign-sub_binary64_17434` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432`

Counts

95 → 276

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	116	1160
1	264	1085
2	811	1085
3	1900	1085
4	4097	1081

prune274.0ms (2.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	276	0	276
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	276	6	282

Error

Counts

282 → 6

Compiler

Compiled 4754 to 2669 computations (43.9% saved)

regimes761.0ms (6.2%)

Accuracy

Total 0.3b remaining (97.7%)

Threshold costs 0.3b (97.7%)

Compiler

Compiled 4634 to 3776 computations (18.5% saved)

bsearch35.0ms (0.3%)

Steps

Iters	Range		Point
6	4.612874812405594e-119	4.036766128673974e-118	9.036544996947276e-119
9	-8.911562562929764e+38	-9.88051084041625e+33	-3.4347101080278726e+37

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64_17400`
8×	`+-commutative_binary64_17399`
4×	`sub-neg_binary64_17462`
3×	`neg-mul-1_binary64_17465` `neg-sub0_binary64_17464`
2×	`cancel-sign-sub-inv_binary64_17435` `distribute-rgt-neg-in_binary64_17427`
1×	`distribute-lft-neg-out_binary64_17428` `distribute-lft-neg-in_binary64_17426`
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_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `unpow1_binary64_17527` `e-exp-1_binary64_17514` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `unsub-neg_binary64_17463` `mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460` `-rgt-identity_binary64_17459` `-lft-identity_binary64_17458` `remove-double-neg_binary64_17457` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453` `cancel-sign-sub_binary64_17434` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-neg-in_binary64_17430` `distribute-rgt-neg-out_binary64_17429`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	54
1	38	54
2	47	54
3	53	54
4	57	54
5	58	54

Proof

(if real (<= f64 h0 -34347101080278725627034167800389173248) (+ f64 h1 (* f64 (+ f64 h2 -1) (* f64 h1 h0))) (if real (<= f64 h0 8210138547026259/90854840536950861318665475986000566794205170085914757535186274897579911014174740415773881339220445695095315200783272241691825203576832) (+ f64 h1 (- f64 (* f64 h1 (* f64 h0 h2)) (* f64 h1 h0))) (+ f64 h1 (=> (* f64 (* f64 h1 (+ f64 -1 h2)) h0)))))
*-commutative_binary64_17400 =>
(if real (<= f64 h0 -34347101080278725627034167800389173248) (+ f64 h1 (* f64 (+ f64 h2 -1) (* f64 h1 h0))) (if real (<= f64 h0 8210138547026259/90854840536950861318665475986000566794205170085914757535186274897579911014174740415773881339220445695095315200783272241691825203576832) (+ f64 h1 (- f64 (* f64 h1 (* f64 h0 h2)) (=> (* f64 h1 h0)))) (+ f64 h1 (* f64 h0 (* f64 h1 (+ f64 -1 h2))))))
*-commutative_binary64_17400 =>
(if real (<= f64 h0 -34347101080278725627034167800389173248) (+ f64 h1 (* f64 (+ f64 h2 -1) (=> (* f64 h1 h0)))) (if real (<= f64 h0 8210138547026259/90854840536950861318665475986000566794205170085914757535186274897579911014174740415773881339220445695095315200783272241691825203576832) (+ f64 h1 (- f64 (* f64 h1 (* f64 h0 h2)) (* f64 h0 h1))) (+ f64 h1 (* f64 h0 (* f64 h1 (+ f64 -1 h2))))))
*-commutative_binary64_17400 =>
(if real (<= f64 h0 -34347101080278725627034167800389173248) (+ f64 h1 (* f64 (+ f64 h2 -1) (* f64 h0 h1))) (if real (<= f64 h0 8210138547026259/90854840536950861318665475986000566794205170085914757535186274897579911014174740415773881339220445695095315200783272241691825203576832) (+ f64 h1 (- f64 (* f64 h1 (* f64 h0 h2)) (* f64 h0 h1))) (+ f64 h1 (* f64 h0 (* f64 h1 (+ f64 -1 h2))))))
<= +-commutative_binary64_17399
(if real (<= f64 h0 -34347101080278725627034167800389173248) (+ f64 h1 (* f64 (+ f64 h2 -1) (* f64 h0 h1))) (if real (<= f64 h0 8210138547026259/90854840536950861318665475986000566794205170085914757535186274897579911014174740415773881339220445695095315200783272241691825203576832) (+ f64 h1 (- f64 (* f64 h1 (* f64 h0 h2)) (* f64 h0 h1))) (+ f64 h1 (* f64 h0 (* f64 h1 (<= (+ f64 h2 -1)))))))

end0.0ms (0%)

sample1.2s (9.7%)

Algorithm

1×

intervals

Results

230.0ms	8000×	body	128	valid
19.0ms	725×	body	128	invalid

Compiler

Compiled 733 to 576 computations (21.4% saved)

Details

analyze277.0ms (2.2%)

sample18.0ms (0.1%)

simplify621.0ms (5%)

prune11.0ms (0.1%)

localize6.0ms (0.1%)

rewrite49.0ms (0.4%)

series459.0ms (3.7%)

simplify701.0ms (5.7%)

prune250.0ms (2%)

localize13.0ms (0.1%)

rewrite347.0ms (2.8%)

series919.0ms (7.5%)

simplify2.4s (19.6%)

prune1.5s (11.8%)

localize6.0ms (0.1%)

rewrite71.0ms (0.6%)

series549.0ms (4.5%)

simplify428.0ms (3.5%)

prune265.0ms (2.2%)

localize7.0ms (0.1%)

rewrite87.0ms (0.7%)

series412.0ms (3.3%)

simplify695.0ms (5.6%)

prune274.0ms (2.2%)

regimes761.0ms (6.2%)

bsearch35.0ms (0.3%)

simplify8.0ms (0.1%)

end0.0ms (0%)

sample1.2s (9.7%)

Profiling