Details

analyze724.0ms (16%)

Algorithm

1×	search
2×	egg-herbie

Rules

2149×	`associate-/l/_binary64_10255`
423×	`*-commutative_binary64_10239`
368×	`distribute-rgt-out_binary64_10261`
312×	`swap-sqr_binary64_10275`
186×	`times-frac_binary64_10314`
174×	`cube-div_binary64_10337`
171×	`distribute-rgt-in_binary64_10258`
133×	`distribute-lft-in_binary64_10257`
128×	`associate-/l*_binary64_10253`
125×	`unpow3_binary64_10374`
104×	`associate-*l/_binary64_10251`
100×	`associate-l_binary64_10249`
92×	`distribute-rgt1-in_binary64_10264`
90×	`remove-double-div_binary64_10284`
75×	`*-lft-identity_binary64_10297`
72×	`associate-/r*_binary64_10252`
69×	`*-rgt-identity_binary64_10298`
66×	`+-commutative_binary64_10238`
62×	`associate-/r/_binary64_10254`
59×	`associate-*r/_binary64_10250`
58×	`associate-r_binary64_10248`
38×	`cube-prod_binary64_10336`
31×	`distribute-lft1-in_binary64_10263`
27×	`distribute-lft-out_binary64_10259`
16×	`lft-mult-inverse_binary64_10286`
14×	`/-rgt-identity_binary64_10299`
6×	`*-inverses_binary64_10288`
3×	`cube-unmult_binary64_10345` `sqr-pow_binary64_10280`
2×	`rgt-mult-inverse_binary64_10285` `unswap-sqr_binary64_10276`
1×	`1-exp_binary64_10352`
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_10571` `erf-erfc_binary64_10570` `erf-odd_binary64_10569` `if-if-and-not_binary64_10568` `if-if-and_binary64_10567` `if-if-or-not_binary64_10566` `if-if-or_binary64_10565` `if-not_binary64_10564` `if-same_binary64_10563` `if-false_binary64_10562` `if-true_binary64_10561` `not-gte_binary64_10560` `not-lte_binary64_10559` `not-gt_binary64_10558` `not-lt_binary64_10557` `gte-same_binary64_10556` `lte-same_binary64_10555` `gt-same_binary64_10554` `lt-same_binary64_10553` `sinh---cosh_binary64_10500` `sinh-+-cosh_binary64_10499` `sinh-cosh_binary64_10498` `tanh-def-c_binary64_10497` `tanh-def-b_binary64_10496` `tanh-def-a_binary64_10495` `cosh-def_binary64_10494` `sinh-def_binary64_10493` `tan-neg_binary64_10440` `cos-neg_binary64_10439` `sin-neg_binary64_10438` `tan-0_binary64_10437` `cos-0_binary64_10436` `sin-0_binary64_10435` `hang-m-tan_binary64_10434` `hang-p-tan_binary64_10433` `hang-m0-tan_binary64_10432` `hang-p0-tan_binary64_10431` `hang-0m-tan_binary64_10430` `hang-0p-tan_binary64_10429` `tan-+PI/2_binary64_10428` `tan-+PI_binary64_10427` `tan-PI_binary64_10426` `tan-PI/3_binary64_10425` `tan-PI/4_binary64_10424` `tan-PI/6_binary64_10423` `cos-+PI/2_binary64_10422` `cos-+PI_binary64_10421` `cos-PI_binary64_10420` `cos-PI/2_binary64_10419` `cos-PI/3_binary64_10418` `cos-PI/4_binary64_10417` `cos-PI/6_binary64_10416` `sin-+PI/2_binary64_10415` `sin-+PI_binary64_10414` `sin-PI_binary64_10413` `sin-PI/2_binary64_10412` `sin-PI/3_binary64_10411` `sin-PI/4_binary64_10410` `sin-PI/6_binary64_10409` `sub-1-sin_binary64_10408` `sub-1-cos_binary64_10407` `-1-add-sin_binary64_10406` `-1-add-cos_binary64_10405` `1-sub-sin_binary64_10404` `1-sub-cos_binary64_10403` `cos-sin-sum_binary64_10402` `log-E_binary64_10398` `log-pow_binary64_10397` `log-rec_binary64_10396` `log-div_binary64_10395` `log-prod_binary64_10394` `pow-base-0_binary64_10392` `unpow1/3_binary64_10375` `unpow2_binary64_10373` `unpow1/2_binary64_10372` `pow-plus_binary64_10371` `exp-to-pow_binary64_10370` `pow-base-1_binary64_10368` `unpow0_binary64_10367` `unpow1_binary64_10366` `unpow-1_binary64_10365` `exp-lft-cube_binary64_10364` `exp-lft-sqr_binary64_10363` `exp-cbrt_binary64_10362` `exp-sqrt_binary64_10361` `exp-prod_binary64_10360` `div-exp_binary64_10359` `rec-exp_binary64_10358` `prod-exp_binary64_10357` `exp-diff_binary64_10356` `exp-neg_binary64_10355` `exp-sum_binary64_10354` `e-exp-1_binary64_10353` `exp-1-e_binary64_10351` `exp-0_binary64_10350` `rem-log-exp_binary64_10349` `rem-exp-log_binary64_10348` `cube-mult_binary64_10338` `cube-neg_binary64_10335` `rem-3cbrt-rft_binary64_10334` `rem-3cbrt-lft_binary64_10333` `rem-cbrt-cube_binary64_10332` `rem-cube-cbrt_binary64_10331` `sqr-abs_binary64_10323` `sqr-neg_binary64_10322` `rem-sqrt-square_binary64_10321` `rem-square-sqrt_binary64_10320` `div-sub_binary64_10313` `neg-mul-1_binary64_10304` `neg-sub0_binary64_10303` `unsub-neg_binary64_10302` `sub-neg_binary64_10301` `mul-1-neg_binary64_10300` `remove-double-neg_binary64_10296` `sub0-neg_binary64_10295` `--rgt-identity_binary64_10294` `+-rgt-identity_binary64_10293` `+-lft-identity_binary64_10292` `mul0-rgt_binary64_10291` `mul0-lft_binary64_10290` `div0_binary64_10289` `+-inverses_binary64_10287` `pow-sqr_binary64_10281` `difference-of-sqr--1_binary64_10279` `difference-of-sqr-1_binary64_10278` `difference-of-squares_binary64_10277` `cancel-sign-sub-inv_binary64_10274` `cancel-sign-sub_binary64_10273` `distribute-neg-frac_binary64_10272` `distribute-frac-neg_binary64_10271` `distribute-neg-out_binary64_10270` `distribute-neg-in_binary64_10269` `distribute-rgt-neg-out_binary64_10268` `distribute-lft-neg-out_binary64_10267` `distribute-rgt-neg-in_binary64_10266` `distribute-lft-neg-in_binary64_10265` `distribute-rgt-out--_binary64_10262` `distribute-lft-out--_binary64_10260` `count-2_binary64_10256` `associate--r-_binary64_10247` `associate--l-_binary64_10246` `associate--l+_binary64_10245` `associate--r+_binary64_10244` `associate-+l-_binary64_10243` `associate-+r-_binary64_10242` `associate-+l+_binary64_10241` `associate-+r+_binary64_10240`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	42	40
2	54	40
3	98	40
4	101	40
5	118	40
6	123	40
7	152	40
8	1100	40
9	1356	40
10	1851	40
11	1852	40
12	1854	40
13	1854	40
14	1854	40
15	1967	40
16	2051	40
17	2006	40
18	2050	40
19	2055	40
20	2055	40
21	4899	40
22	4568	40
23	4997	40
24	5177	40
0	3	3
1	3	3

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
14%	85.8%	0.1%	7
22.6%	77.2%	0.1%	8
23.8%	74.5%	1.7%	9
40%	56%	4%	10
47.3%	48.7%	4%	11
48.4%	45.8%	5.8%	12
58.6%	32.4%	9%	13
63.4%	27.5%	9%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample18.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
1.0ms	27×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify160.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

907×	`associate-/l*_binary64_10253`
740×	`associate-/l/_binary64_10255`
607×	`associate-/r/_binary64_10254`
565×	`sqr-pow_binary64_10280`
557×	`associate-*l/_binary64_10251`
509×	`*-commutative_binary64_10239`
475×	`pow-sqr_binary64_10281`
465×	`cube-prod_binary64_10336`
415×	`associate-l_binary64_10249`
343×	`associate-/r*_binary64_10252`
324×	`associate-*r/_binary64_10250`
289×	`unpow3_binary64_10374`
284×	`cube-mult_binary64_10338`
115×	`swap-sqr_binary64_10275`
92×	`distribute-rgt-in_binary64_10258`
88×	`distribute-lft-out_binary64_10259`
80×	`distribute-lft-in_binary64_10257`
79×	`distribute-rgt-out_binary64_10261`
72×	`times-frac_binary64_10314`
59×	`associate-r_binary64_10248`
49×	`unswap-sqr_binary64_10276`
45×	`pow-plus_binary64_10371`
41×	`cube-div_binary64_10337`
31×	`+-commutative_binary64_10238`
30×	`*-lft-identity_binary64_10297`
29×	`*-rgt-identity_binary64_10298`
26×	`unpow2_binary64_10373`
20×	`unpow1_binary64_10366`
18×	`remove-double-div_binary64_10284`
17×	`rem-sqrt-square_binary64_10321` `/-rgt-identity_binary64_10299`
15×	`unpow1/2_binary64_10372`
11×	`cube-unmult_binary64_10345`
4×	`*-inverses_binary64_10288`
3×	`lft-mult-inverse_binary64_10286` `distribute-rgt1-in_binary64_10264`
1×	`1-exp_binary64_10352` `rgt-mult-inverse_binary64_10285`
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_10571` `erf-erfc_binary64_10570` `erf-odd_binary64_10569` `if-if-and-not_binary64_10568` `if-if-and_binary64_10567` `if-if-or-not_binary64_10566` `if-if-or_binary64_10565` `if-not_binary64_10564` `if-same_binary64_10563` `if-false_binary64_10562` `if-true_binary64_10561` `not-gte_binary64_10560` `not-lte_binary64_10559` `not-gt_binary64_10558` `not-lt_binary64_10557` `gte-same_binary64_10556` `lte-same_binary64_10555` `gt-same_binary64_10554` `lt-same_binary64_10553` `sinh---cosh_binary64_10500` `sinh-+-cosh_binary64_10499` `sinh-cosh_binary64_10498` `tanh-def-c_binary64_10497` `tanh-def-b_binary64_10496` `tanh-def-a_binary64_10495` `cosh-def_binary64_10494` `sinh-def_binary64_10493` `tan-neg_binary64_10440` `cos-neg_binary64_10439` `sin-neg_binary64_10438` `tan-0_binary64_10437` `cos-0_binary64_10436` `sin-0_binary64_10435` `hang-m-tan_binary64_10434` `hang-p-tan_binary64_10433` `hang-m0-tan_binary64_10432` `hang-p0-tan_binary64_10431` `hang-0m-tan_binary64_10430` `hang-0p-tan_binary64_10429` `tan-+PI/2_binary64_10428` `tan-+PI_binary64_10427` `tan-PI_binary64_10426` `tan-PI/3_binary64_10425` `tan-PI/4_binary64_10424` `tan-PI/6_binary64_10423` `cos-+PI/2_binary64_10422` `cos-+PI_binary64_10421` `cos-PI_binary64_10420` `cos-PI/2_binary64_10419` `cos-PI/3_binary64_10418` `cos-PI/4_binary64_10417` `cos-PI/6_binary64_10416` `sin-+PI/2_binary64_10415` `sin-+PI_binary64_10414` `sin-PI_binary64_10413` `sin-PI/2_binary64_10412` `sin-PI/3_binary64_10411` `sin-PI/4_binary64_10410` `sin-PI/6_binary64_10409` `sub-1-sin_binary64_10408` `sub-1-cos_binary64_10407` `-1-add-sin_binary64_10406` `-1-add-cos_binary64_10405` `1-sub-sin_binary64_10404` `1-sub-cos_binary64_10403` `cos-sin-sum_binary64_10402` `log-E_binary64_10398` `log-pow_binary64_10397` `log-rec_binary64_10396` `log-div_binary64_10395` `log-prod_binary64_10394` `pow-base-0_binary64_10392` `unpow1/3_binary64_10375` `exp-to-pow_binary64_10370` `pow-base-1_binary64_10368` `unpow0_binary64_10367` `unpow-1_binary64_10365` `exp-lft-cube_binary64_10364` `exp-lft-sqr_binary64_10363` `exp-cbrt_binary64_10362` `exp-sqrt_binary64_10361` `exp-prod_binary64_10360` `div-exp_binary64_10359` `rec-exp_binary64_10358` `prod-exp_binary64_10357` `exp-diff_binary64_10356` `exp-neg_binary64_10355` `exp-sum_binary64_10354` `e-exp-1_binary64_10353` `exp-1-e_binary64_10351` `exp-0_binary64_10350` `rem-log-exp_binary64_10349` `rem-exp-log_binary64_10348` `cube-neg_binary64_10335` `rem-3cbrt-rft_binary64_10334` `rem-3cbrt-lft_binary64_10333` `rem-cbrt-cube_binary64_10332` `rem-cube-cbrt_binary64_10331` `sqr-abs_binary64_10323` `sqr-neg_binary64_10322` `rem-square-sqrt_binary64_10320` `div-sub_binary64_10313` `neg-mul-1_binary64_10304` `neg-sub0_binary64_10303` `unsub-neg_binary64_10302` `sub-neg_binary64_10301` `mul-1-neg_binary64_10300` `remove-double-neg_binary64_10296` `sub0-neg_binary64_10295` `--rgt-identity_binary64_10294` `+-rgt-identity_binary64_10293` `+-lft-identity_binary64_10292` `mul0-rgt_binary64_10291` `mul0-lft_binary64_10290` `div0_binary64_10289` `+-inverses_binary64_10287` `difference-of-sqr--1_binary64_10279` `difference-of-sqr-1_binary64_10278` `difference-of-squares_binary64_10277` `cancel-sign-sub-inv_binary64_10274` `cancel-sign-sub_binary64_10273` `distribute-neg-frac_binary64_10272` `distribute-frac-neg_binary64_10271` `distribute-neg-out_binary64_10270` `distribute-neg-in_binary64_10269` `distribute-rgt-neg-out_binary64_10268` `distribute-lft-neg-out_binary64_10267` `distribute-rgt-neg-in_binary64_10266` `distribute-lft-neg-in_binary64_10265` `distribute-lft1-in_binary64_10263` `distribute-rgt-out--_binary64_10262` `distribute-lft-out--_binary64_10260` `count-2_binary64_10256` `associate--r-_binary64_10247` `associate--l-_binary64_10246` `associate--l+_binary64_10245` `associate--r+_binary64_10244` `associate-+l-_binary64_10243` `associate-+r-_binary64_10242` `associate-+l+_binary64_10241` `associate-+r+_binary64_10240`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	17	10
2	21	10
3	32	10
4	33	10
5	39	10
6	43	10
7	51	10
8	216	10
9	733	10
10	757	10
11	768	10
12	773	10
13	778	10
14	783	10
15	1908	10
16	2025	10
17	2083	10
18	2238	10
19	2373	10
20	2563	10
21	2902	10
22	3223	10
23	3834	10
24	4799	10
25	4907	10

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

12.0b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (+.f64 y z))
11.4b	(/.f64 (*.f64 x (+.f64 y z)) z)

rewrite56.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`add-exp-log_binary64_10346` `add-cbrt-cube_binary64_10344`
8×	`add-sqr-sqrt_binary64_10330` `*-un-lft-identity_binary64_10308`
6×	`add-cube-cbrt_binary64_10343`
4×	`pow1_binary64_10369` `associate-r/_binary64_10250` `associate-r*_binary64_10248`
3×	`times-frac_binary64_10314` `associate-/r_binary64_10252` `associate-l*_binary64_10249`
2×	`prod-exp_binary64_10357` `div-exp_binary64_10359` `add-log-exp_binary64_10347` `cbrt-undiv_binary64_10342` `cbrt-unprod_binary64_10341` `flip3-+_binary64_10311` `associate-/l/_binary64_10255` `flip-+_binary64_10282`
1×	`frac-2neg_binary64_10319` `clear-num_binary64_10307` `div-inv_binary64_10305` `associate-/l_binary64_10253` `pow-prod-down_binary64_10379` `unswap-sqr_binary64_10276` `distribute-rgt-in_binary64_10258` `distribute-lft-in_binary64_10257` `distribute-lft-out_binary64_10259` `-commutative_binary64_10239`

Counts

2 → 46

Calls

2 calls:

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

Compiler

Compiled 607 to 171 computations (71.8% saved)

series333.0ms (7.4%)

Error

3.7b

Counts

2 → 30

Calls

2 calls:

198.0ms	(/.f64 (*.f64 x (+.f64 y z)) z)
122.0ms	(*.f64 x (+.f64 y z))

Compiler

Compiled 510 to 295 computations (42.2% saved)

simplify99.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

647×	`times-frac_binary64_10314`
560×	`associate-/l*_binary64_10253`
374×	`associate-l_binary64_10249`
284×	`associate-r_binary64_10248`
282×	`distribute-rgt-in_binary64_10258`
268×	`distribute-lft-in_binary64_10257`
252×	`associate-*l/_binary64_10251`
201×	`associate-/l/_binary64_10255`
199×	`associate-*r/_binary64_10250`
147×	`associate-/r*_binary64_10252`
133×	`associate-+l+_binary64_10241`
130×	`sub-neg_binary64_10301`
125×	`associate-+r+_binary64_10240`
111×	`associate-/r/_binary64_10254`
91×	`sqr-pow_binary64_10280`
79×	`unsub-neg_binary64_10302`
70×	`unswap-sqr_binary64_10276`
69×	`+-commutative_binary64_10238`
64×	`div-sub_binary64_10313`
56×	`distribute-rgt-out_binary64_10261`
54×	`*-rgt-identity_binary64_10298`
49×	`rem-sqrt-square_binary64_10321` `*-lft-identity_binary64_10297`
46×	`log-div_binary64_10395`
45×	`associate-+l-_binary64_10243` `*-commutative_binary64_10239`
44×	`exp-prod_binary64_10360`
38×	`cube-div_binary64_10337` `neg-sub0_binary64_10303` `distribute-lft-out_binary64_10259`
37×	`log-prod_binary64_10394`
35×	`neg-mul-1_binary64_10304`
33×	`associate--l-_binary64_10246`
31×	`cube-prod_binary64_10336` `/-rgt-identity_binary64_10299`
26×	`associate--l+_binary64_10245` `associate-+r-_binary64_10242`
23×	`swap-sqr_binary64_10275`
21×	`cancel-sign-sub-inv_binary64_10274`
19×	`distribute-rgt-neg-in_binary64_10266`
17×	`pow-sqr_binary64_10281` `distribute-neg-frac_binary64_10272`
16×	`unpow3_binary64_10374`
14×	`exp-sum_binary64_10354`
12×	`remove-double-div_binary64_10284`
11×	`log-rec_binary64_10396` `distribute-lft-neg-out_binary64_10267` `distribute-lft-neg-in_binary64_10265`
10×	`cube-unmult_binary64_10345` `sub0-neg_binary64_10295` `+-rgt-identity_binary64_10293` `distribute-rgt-neg-out_binary64_10268`
9×	`cube-mult_binary64_10338`
8×	`unpow1/2_binary64_10372`
7×	`distribute-neg-in_binary64_10269`
6×	`associate--r+_binary64_10244`
4×	`distribute-neg-out_binary64_10270`
3×	`remove-double-neg_binary64_10296` `mul0-rgt_binary64_10291` `mul0-lft_binary64_10290` `distribute-rgt-out--_binary64_10262`
2×	`pow-plus_binary64_10371` `div0_binary64_10289` `difference-of-squares_binary64_10277` `distribute-rgt1-in_binary64_10264`
1×	`1-exp_binary64_10352` `exp-1-e_binary64_10351` `+-lft-identity_binary64_10292` `+-inverses_binary64_10287` `count-2_binary64_10256`
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_10571` `erf-erfc_binary64_10570` `erf-odd_binary64_10569` `if-if-and-not_binary64_10568` `if-if-and_binary64_10567` `if-if-or-not_binary64_10566` `if-if-or_binary64_10565` `if-not_binary64_10564` `if-same_binary64_10563` `if-false_binary64_10562` `if-true_binary64_10561` `not-gte_binary64_10560` `not-lte_binary64_10559` `not-gt_binary64_10558` `not-lt_binary64_10557` `gte-same_binary64_10556` `lte-same_binary64_10555` `gt-same_binary64_10554` `lt-same_binary64_10553` `sinh---cosh_binary64_10500` `sinh-+-cosh_binary64_10499` `sinh-cosh_binary64_10498` `tanh-def-c_binary64_10497` `tanh-def-b_binary64_10496` `tanh-def-a_binary64_10495` `cosh-def_binary64_10494` `sinh-def_binary64_10493` `tan-neg_binary64_10440` `cos-neg_binary64_10439` `sin-neg_binary64_10438` `tan-0_binary64_10437` `cos-0_binary64_10436` `sin-0_binary64_10435` `hang-m-tan_binary64_10434` `hang-p-tan_binary64_10433` `hang-m0-tan_binary64_10432` `hang-p0-tan_binary64_10431` `hang-0m-tan_binary64_10430` `hang-0p-tan_binary64_10429` `tan-+PI/2_binary64_10428` `tan-+PI_binary64_10427` `tan-PI_binary64_10426` `tan-PI/3_binary64_10425` `tan-PI/4_binary64_10424` `tan-PI/6_binary64_10423` `cos-+PI/2_binary64_10422` `cos-+PI_binary64_10421` `cos-PI_binary64_10420` `cos-PI/2_binary64_10419` `cos-PI/3_binary64_10418` `cos-PI/4_binary64_10417` `cos-PI/6_binary64_10416` `sin-+PI/2_binary64_10415` `sin-+PI_binary64_10414` `sin-PI_binary64_10413` `sin-PI/2_binary64_10412` `sin-PI/3_binary64_10411` `sin-PI/4_binary64_10410` `sin-PI/6_binary64_10409` `sub-1-sin_binary64_10408` `sub-1-cos_binary64_10407` `-1-add-sin_binary64_10406` `-1-add-cos_binary64_10405` `1-sub-sin_binary64_10404` `1-sub-cos_binary64_10403` `cos-sin-sum_binary64_10402` `log-E_binary64_10398` `log-pow_binary64_10397` `pow-base-0_binary64_10392` `unpow1/3_binary64_10375` `unpow2_binary64_10373` `exp-to-pow_binary64_10370` `pow-base-1_binary64_10368` `unpow0_binary64_10367` `unpow1_binary64_10366` `unpow-1_binary64_10365` `exp-lft-cube_binary64_10364` `exp-lft-sqr_binary64_10363` `exp-cbrt_binary64_10362` `exp-sqrt_binary64_10361` `div-exp_binary64_10359` `rec-exp_binary64_10358` `prod-exp_binary64_10357` `exp-diff_binary64_10356` `exp-neg_binary64_10355` `e-exp-1_binary64_10353` `exp-0_binary64_10350` `rem-log-exp_binary64_10349` `rem-exp-log_binary64_10348` `cube-neg_binary64_10335` `rem-3cbrt-rft_binary64_10334` `rem-3cbrt-lft_binary64_10333` `rem-cbrt-cube_binary64_10332` `rem-cube-cbrt_binary64_10331` `sqr-abs_binary64_10323` `sqr-neg_binary64_10322` `rem-square-sqrt_binary64_10320` `mul-1-neg_binary64_10300` `--rgt-identity_binary64_10294` `*-inverses_binary64_10288` `lft-mult-inverse_binary64_10286` `rgt-mult-inverse_binary64_10285` `difference-of-sqr--1_binary64_10279` `difference-of-sqr-1_binary64_10278` `cancel-sign-sub_binary64_10273` `distribute-frac-neg_binary64_10271` `distribute-lft1-in_binary64_10263` `distribute-lft-out--_binary64_10260` `associate--r-_binary64_10247`

Counts

76 → 43

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	89	796
1	234	703
2	876	703
3	3707	703
4	4480	703
5	4933	703
6	4981	703

prune41.0ms (0.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	37	6	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	38	6	44

Error

Counts

44 → 6

Compiler

Compiled 538 to 175 computations (67.5% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite112.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

114×	`times-frac_binary64_10314`
94×	`*-un-lft-identity_binary64_10308`
62×	`add-cube-cbrt_binary64_10343` `add-sqr-sqrt_binary64_10330`
22×	`associate-/r*_binary64_10252`
16×	`distribute-lft-out_binary64_10259`
11×	`associate-/r/_binary64_10254`
9×	`add-exp-log_binary64_10346` `add-cbrt-cube_binary64_10344`
6×	`div-inv_binary64_10305` `associate-/l*_binary64_10253`
5×	`flip3-+_binary64_10311` `flip-+_binary64_10282`
4×	`div-exp_binary64_10359` `cbrt-undiv_binary64_10342`
2×	`pow1_binary64_10369` `add-log-exp_binary64_10347` `frac-2neg_binary64_10319` `clear-num_binary64_10307`

Counts

2 → 123

Calls

2 calls:

9.0ms	(/.f64 x (/.f64 z (+.f64 z y)))
5.0ms	(/.f64 z (+.f64 z y))

Compiler

Compiled 2112 to 504 computations (76.1% saved)

series347.0ms (7.7%)

Error

Counts

2 → 39

Calls

2 calls:

210.0ms	(/.f64 x (/.f64 z (+.f64 z y)))
107.0ms	(/.f64 z (+.f64 z y))

Compiler

Compiled 921 to 648 computations (29.6% saved)

simplify156.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

437×	`associate-*l/_binary64_10251`
432×	`associate-/r/_binary64_10254`
425×	`times-frac_binary64_10314`
412×	`associate-/l*_binary64_10253`
399×	`associate-/l/_binary64_10255`
348×	`associate-/r*_binary64_10252`
294×	`associate-*r/_binary64_10250`
233×	`cancel-sign-sub-inv_binary64_10274`
200×	`distribute-rgt-in_binary64_10258`
186×	`distribute-lft-in_binary64_10257`
166×	`unswap-sqr_binary64_10276`
87×	`*-commutative_binary64_10239`
68×	`sub-neg_binary64_10301`
64×	`*-rgt-identity_binary64_10298`
50×	`neg-mul-1_binary64_10304`
49×	`neg-sub0_binary64_10303`
45×	`log-div_binary64_10395`
41×	`exp-prod_binary64_10360` `*-lft-identity_binary64_10297`
39×	`log-prod_binary64_10394` `sqr-pow_binary64_10280`
32×	`associate-r_binary64_10248`
28×	`cube-prod_binary64_10336`
25×	`unsub-neg_binary64_10302` `+-commutative_binary64_10238`
24×	`cube-div_binary64_10337` `swap-sqr_binary64_10275`
23×	`unpow3_binary64_10374`
19×	`distribute-neg-frac_binary64_10272` `associate-l_binary64_10249`
18×	`/-rgt-identity_binary64_10299` `distribute-rgt-neg-in_binary64_10266`
17×	`difference-of-squares_binary64_10277` `distribute-lft-neg-in_binary64_10265`
12×	`div-sub_binary64_10313` `associate--l+_binary64_10245`
10×	`associate--r+_binary64_10244`
9×	`distribute-neg-in_binary64_10269`
8×	`exp-sum_binary64_10354` `cube-unmult_binary64_10345`
7×	`distribute-lft-neg-out_binary64_10267`
5×	`pow-plus_binary64_10371` `distribute-rgt-neg-out_binary64_10268` `distribute-rgt-out--_binary64_10262`
4×	`log-rec_binary64_10396` `unpow1/2_binary64_10372` `cube-mult_binary64_10338` `remove-double-div_binary64_10284` `distribute-rgt-out_binary64_10261` `associate-+l+_binary64_10241`
3×	`log-pow_binary64_10397` `pow-sqr_binary64_10281` `distribute-rgt1-in_binary64_10264`
2×	`unpow2_binary64_10373` `unpow1_binary64_10366` `rem-sqrt-square_binary64_10321` `remove-double-neg_binary64_10296` `div0_binary64_10289` `difference-of-sqr--1_binary64_10279` `associate-+l-_binary64_10243`
1×	`1-exp_binary64_10352` `sub0-neg_binary64_10295` `mul0-rgt_binary64_10291` `mul0-lft_binary64_10290` `lft-mult-inverse_binary64_10286` `rgt-mult-inverse_binary64_10285` `distribute-lft-out--_binary64_10260` `distribute-lft-out_binary64_10259` `associate--r-_binary64_10247` `associate-+r-_binary64_10242`
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_10571` `erf-erfc_binary64_10570` `erf-odd_binary64_10569` `if-if-and-not_binary64_10568` `if-if-and_binary64_10567` `if-if-or-not_binary64_10566` `if-if-or_binary64_10565` `if-not_binary64_10564` `if-same_binary64_10563` `if-false_binary64_10562` `if-true_binary64_10561` `not-gte_binary64_10560` `not-lte_binary64_10559` `not-gt_binary64_10558` `not-lt_binary64_10557` `gte-same_binary64_10556` `lte-same_binary64_10555` `gt-same_binary64_10554` `lt-same_binary64_10553` `sinh---cosh_binary64_10500` `sinh-+-cosh_binary64_10499` `sinh-cosh_binary64_10498` `tanh-def-c_binary64_10497` `tanh-def-b_binary64_10496` `tanh-def-a_binary64_10495` `cosh-def_binary64_10494` `sinh-def_binary64_10493` `tan-neg_binary64_10440` `cos-neg_binary64_10439` `sin-neg_binary64_10438` `tan-0_binary64_10437` `cos-0_binary64_10436` `sin-0_binary64_10435` `hang-m-tan_binary64_10434` `hang-p-tan_binary64_10433` `hang-m0-tan_binary64_10432` `hang-p0-tan_binary64_10431` `hang-0m-tan_binary64_10430` `hang-0p-tan_binary64_10429` `tan-+PI/2_binary64_10428` `tan-+PI_binary64_10427` `tan-PI_binary64_10426` `tan-PI/3_binary64_10425` `tan-PI/4_binary64_10424` `tan-PI/6_binary64_10423` `cos-+PI/2_binary64_10422` `cos-+PI_binary64_10421` `cos-PI_binary64_10420` `cos-PI/2_binary64_10419` `cos-PI/3_binary64_10418` `cos-PI/4_binary64_10417` `cos-PI/6_binary64_10416` `sin-+PI/2_binary64_10415` `sin-+PI_binary64_10414` `sin-PI_binary64_10413` `sin-PI/2_binary64_10412` `sin-PI/3_binary64_10411` `sin-PI/4_binary64_10410` `sin-PI/6_binary64_10409` `sub-1-sin_binary64_10408` `sub-1-cos_binary64_10407` `-1-add-sin_binary64_10406` `-1-add-cos_binary64_10405` `1-sub-sin_binary64_10404` `1-sub-cos_binary64_10403` `cos-sin-sum_binary64_10402` `log-E_binary64_10398` `pow-base-0_binary64_10392` `unpow1/3_binary64_10375` `exp-to-pow_binary64_10370` `pow-base-1_binary64_10368` `unpow0_binary64_10367` `unpow-1_binary64_10365` `exp-lft-cube_binary64_10364` `exp-lft-sqr_binary64_10363` `exp-cbrt_binary64_10362` `exp-sqrt_binary64_10361` `div-exp_binary64_10359` `rec-exp_binary64_10358` `prod-exp_binary64_10357` `exp-diff_binary64_10356` `exp-neg_binary64_10355` `e-exp-1_binary64_10353` `exp-1-e_binary64_10351` `exp-0_binary64_10350` `rem-log-exp_binary64_10349` `rem-exp-log_binary64_10348` `cube-neg_binary64_10335` `rem-3cbrt-rft_binary64_10334` `rem-3cbrt-lft_binary64_10333` `rem-cbrt-cube_binary64_10332` `rem-cube-cbrt_binary64_10331` `sqr-abs_binary64_10323` `sqr-neg_binary64_10322` `rem-square-sqrt_binary64_10320` `mul-1-neg_binary64_10300` `--rgt-identity_binary64_10294` `+-rgt-identity_binary64_10293` `+-lft-identity_binary64_10292` `*-inverses_binary64_10288` `+-inverses_binary64_10287` `difference-of-sqr-1_binary64_10278` `cancel-sign-sub_binary64_10273` `distribute-frac-neg_binary64_10271` `distribute-neg-out_binary64_10270` `distribute-lft1-in_binary64_10263` `count-2_binary64_10256` `associate--l-_binary64_10246` `associate-+r+_binary64_10240`

Counts

162 → 95

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	208	3029
1	464	2921
2	1536	2861
3	4253	2852
4	4933	2852
5	4976	2852

prune71.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	95	6	101

Error

Counts

101 → 6

Compiler

Compiled 1441 to 352 computations (75.6% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 z y) z)
2.2b	(*.f64 x (/.f64 (+.f64 z y) z))

rewrite70.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`*-un-lft-identity_binary64_10308`
25×	`add-sqr-sqrt_binary64_10330` `times-frac_binary64_10314`
20×	`add-cube-cbrt_binary64_10343`
16×	`associate-r_binary64_10248`
9×	`add-exp-log_binary64_10346` `add-cbrt-cube_binary64_10344`
7×	`distribute-lft-out_binary64_10259`
4×	`pow1_binary64_10369` `associate-/l*_binary64_10253`
3×	`associate-l_binary64_10249` `associate-/r*_binary64_10252`
2×	`div-exp_binary64_10359` `prod-exp_binary64_10357` `add-log-exp_binary64_10347` `cbrt-unprod_binary64_10341` `cbrt-undiv_binary64_10342` `unswap-sqr_binary64_10276` `div-inv_binary64_10305` `associate-/l/_binary64_10255`
1×	`pow-prod-down_binary64_10379` `associate-r/_binary64_10250` `-commutative_binary64_10239` `frac-2neg_binary64_10319` `clear-num_binary64_10307` `flip3-+_binary64_10311` `flip-+_binary64_10282`

Counts

2 → 68

Calls

2 calls:

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

Compiler

Compiled 993 to 247 computations (75.1% saved)

series297.0ms (6.6%)

Error

Counts

2 → 27

Calls

2 calls:

190.0ms	(*.f64 x (/.f64 (+.f64 z y) z))
92.0ms	(/.f64 (+.f64 z y) z)

Compiler

Compiled 399 to 281 computations (29.6% saved)

simplify124.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

630×	`associate-/r/_binary64_10254`
359×	`div-sub_binary64_10313`
342×	`*-commutative_binary64_10239`
290×	`unsub-neg_binary64_10302`
265×	`associate-l_binary64_10249`
228×	`associate--l-_binary64_10246`
217×	`associate-*r/_binary64_10250`
213×	`associate-*l/_binary64_10251`
204×	`associate-/l_binary64_10253` `associate-r*_binary64_10248`
177×	`sub-neg_binary64_10301`
148×	`neg-mul-1_binary64_10304`
145×	`neg-sub0_binary64_10303`
122×	`times-frac_binary64_10314`
118×	`distribute-rgt-in_binary64_10258`
113×	`associate-+l+_binary64_10241`
111×	`distribute-lft-in_binary64_10257`
97×	`associate-+r+_binary64_10240`
89×	`distribute-rgt-out_binary64_10261`
88×	`associate-/l/_binary64_10255`
64×	`associate-/r*_binary64_10252`
62×	`exp-prod_binary64_10360` `associate--r-_binary64_10247`
58×	`sqr-pow_binary64_10280`
55×	`cancel-sign-sub-inv_binary64_10274`
54×	`distribute-neg-in_binary64_10269`
52×	`cube-prod_binary64_10336`
47×	`log-div_binary64_10395` `log-prod_binary64_10394`
43×	`*-lft-identity_binary64_10297`
41×	`associate-+l-_binary64_10243`
39×	`+-commutative_binary64_10238`
37×	`cube-div_binary64_10337`
35×	`distribute-lft-neg-out_binary64_10267`
34×	`*-rgt-identity_binary64_10298` `distribute-rgt-neg-out_binary64_10268`
31×	`distribute-frac-neg_binary64_10271`
29×	`/-rgt-identity_binary64_10299`
28×	`exp-diff_binary64_10356`
26×	`swap-sqr_binary64_10275`
24×	`associate--r+_binary64_10244`
22×	`exp-sum_binary64_10354` `unswap-sqr_binary64_10276` `associate--l+_binary64_10245`
21×	`associate-+r-_binary64_10242`
14×	`distribute-rgt-neg-in_binary64_10266`
12×	`rem-sqrt-square_binary64_10321` `distribute-lft-neg-in_binary64_10265`
11×	`unpow3_binary64_10374` `pow-sqr_binary64_10281`
9×	`cube-mult_binary64_10338` `+-rgt-identity_binary64_10293`
8×	`log-rec_binary64_10396` `sub0-neg_binary64_10295` `distribute-rgt-out--_binary64_10262`
7×	`exp-neg_binary64_10355` `cube-unmult_binary64_10345`
6×	`remove-double-neg_binary64_10296`
5×	`distribute-neg-out_binary64_10270`
4×	`cube-neg_binary64_10335` `--rgt-identity_binary64_10294` `remove-double-div_binary64_10284` `distribute-rgt1-in_binary64_10264`
3×	`unpow1/2_binary64_10372` `distribute-lft1-in_binary64_10263` `count-2_binary64_10256`
2×	`sqr-neg_binary64_10322` `distribute-neg-frac_binary64_10272` `distribute-lft-out_binary64_10259`
1×	`1-exp_binary64_10352` `exp-1-e_binary64_10351` `mul0-rgt_binary64_10291` `mul0-lft_binary64_10290` `*-inverses_binary64_10288` `+-inverses_binary64_10287`
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_10571` `erf-erfc_binary64_10570` `erf-odd_binary64_10569` `if-if-and-not_binary64_10568` `if-if-and_binary64_10567` `if-if-or-not_binary64_10566` `if-if-or_binary64_10565` `if-not_binary64_10564` `if-same_binary64_10563` `if-false_binary64_10562` `if-true_binary64_10561` `not-gte_binary64_10560` `not-lte_binary64_10559` `not-gt_binary64_10558` `not-lt_binary64_10557` `gte-same_binary64_10556` `lte-same_binary64_10555` `gt-same_binary64_10554` `lt-same_binary64_10553` `sinh---cosh_binary64_10500` `sinh-+-cosh_binary64_10499` `sinh-cosh_binary64_10498` `tanh-def-c_binary64_10497` `tanh-def-b_binary64_10496` `tanh-def-a_binary64_10495` `cosh-def_binary64_10494` `sinh-def_binary64_10493` `tan-neg_binary64_10440` `cos-neg_binary64_10439` `sin-neg_binary64_10438` `tan-0_binary64_10437` `cos-0_binary64_10436` `sin-0_binary64_10435` `hang-m-tan_binary64_10434` `hang-p-tan_binary64_10433` `hang-m0-tan_binary64_10432` `hang-p0-tan_binary64_10431` `hang-0m-tan_binary64_10430` `hang-0p-tan_binary64_10429` `tan-+PI/2_binary64_10428` `tan-+PI_binary64_10427` `tan-PI_binary64_10426` `tan-PI/3_binary64_10425` `tan-PI/4_binary64_10424` `tan-PI/6_binary64_10423` `cos-+PI/2_binary64_10422` `cos-+PI_binary64_10421` `cos-PI_binary64_10420` `cos-PI/2_binary64_10419` `cos-PI/3_binary64_10418` `cos-PI/4_binary64_10417` `cos-PI/6_binary64_10416` `sin-+PI/2_binary64_10415` `sin-+PI_binary64_10414` `sin-PI_binary64_10413` `sin-PI/2_binary64_10412` `sin-PI/3_binary64_10411` `sin-PI/4_binary64_10410` `sin-PI/6_binary64_10409` `sub-1-sin_binary64_10408` `sub-1-cos_binary64_10407` `-1-add-sin_binary64_10406` `-1-add-cos_binary64_10405` `1-sub-sin_binary64_10404` `1-sub-cos_binary64_10403` `cos-sin-sum_binary64_10402` `log-E_binary64_10398` `log-pow_binary64_10397` `pow-base-0_binary64_10392` `unpow1/3_binary64_10375` `unpow2_binary64_10373` `pow-plus_binary64_10371` `exp-to-pow_binary64_10370` `pow-base-1_binary64_10368` `unpow0_binary64_10367` `unpow1_binary64_10366` `unpow-1_binary64_10365` `exp-lft-cube_binary64_10364` `exp-lft-sqr_binary64_10363` `exp-cbrt_binary64_10362` `exp-sqrt_binary64_10361` `div-exp_binary64_10359` `rec-exp_binary64_10358` `prod-exp_binary64_10357` `e-exp-1_binary64_10353` `exp-0_binary64_10350` `rem-log-exp_binary64_10349` `rem-exp-log_binary64_10348` `rem-3cbrt-rft_binary64_10334` `rem-3cbrt-lft_binary64_10333` `rem-cbrt-cube_binary64_10332` `rem-cube-cbrt_binary64_10331` `sqr-abs_binary64_10323` `rem-square-sqrt_binary64_10320` `mul-1-neg_binary64_10300` `+-lft-identity_binary64_10292` `div0_binary64_10289` `lft-mult-inverse_binary64_10286` `rgt-mult-inverse_binary64_10285` `difference-of-sqr--1_binary64_10279` `difference-of-sqr-1_binary64_10278` `difference-of-squares_binary64_10277` `cancel-sign-sub_binary64_10273` `distribute-lft-out--_binary64_10260`

Counts

95 → 44

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	98	1145
1	233	1052
2	725	1052
3	2041	1052
4	2918	1052
5	4366	1052
6	4995	1052
7	4957	1052

prune33.0ms (0.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	44	6	50

Error

Counts

50 → 6

Compiler

Compiled 554 to 193 computations (65.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.7b	(+.f64 (.f64 x y) (.f64 x z))
11.4b	(/.f64 (+.f64 (.f64 x y) (.f64 x z)) z)

rewrite43.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`times-frac_binary64_10314`
11×	`add-cube-cbrt_binary64_10343` `add-sqr-sqrt_binary64_10330` `*-un-lft-identity_binary64_10308`
5×	`distribute-lft-out_binary64_10259`
4×	`add-exp-log_binary64_10346` `add-log-exp_binary64_10347` `add-cbrt-cube_binary64_10344` `associate-/l*_binary64_10253`
3×	`associate-/r*_binary64_10252`
2×	`pow1_binary64_10369` `flip3-+_binary64_10311` `associate-/l/_binary64_10255` `flip-+_binary64_10282`
1×	`div-exp_binary64_10359` `cbrt-undiv_binary64_10342` `frac-2neg_binary64_10319` `clear-num_binary64_10307` `div-inv_binary64_10305` `sum-log_binary64_10399` `+-commutative_binary64_10238`

Counts

2 → 45

Calls

2 calls:

6.0ms	(/.f64 (+.f64 (.f64 x y) (.f64 x z)) z)
4.0ms	(+.f64 (.f64 x y) (.f64 x z))

Compiler

Compiled 823 to 155 computations (81.2% saved)

series375.0ms (8.3%)

Error

Counts

2 → 30

Calls

2 calls:

222.0ms	(/.f64 (+.f64 (.f64 x y) (.f64 x z)) z)
139.0ms	(+.f64 (.f64 x y) (.f64 x z))

Compiler

Compiled 510 to 295 computations (42.2% saved)

simplify65.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

651×	`distribute-rgt-in_binary64_10258`
605×	`distribute-lft-in_binary64_10257`
377×	`associate-l_binary64_10249`
272×	`distribute-rgt-out_binary64_10261`
255×	`associate-r_binary64_10248`
216×	`associate-/l*_binary64_10253`
207×	`distribute-lft-out_binary64_10259`
177×	`associate-*l/_binary64_10251`
157×	`times-frac_binary64_10314`
115×	`cancel-sign-sub-inv_binary64_10274`
93×	`associate-*r/_binary64_10250`
92×	`*-commutative_binary64_10239`
88×	`associate-/l/_binary64_10255`
64×	`sub-neg_binary64_10301`
63×	`distribute-rgt-neg-in_binary64_10266`
61×	`associate-/r*_binary64_10252`
55×	`distribute-neg-frac_binary64_10272`
53×	`associate-/r/_binary64_10254`
48×	`unswap-sqr_binary64_10276` `distribute-lft-neg-in_binary64_10265`
44×	`sqr-pow_binary64_10280`
38×	`distribute-rgt-out--_binary64_10262`
28×	`unsub-neg_binary64_10302`
26×	`neg-sub0_binary64_10303`
24×	`neg-mul-1_binary64_10304` `distribute-lft-neg-out_binary64_10267`
23×	`cube-div_binary64_10337`
19×	`log-div_binary64_10395` `div-sub_binary64_10313` `+-commutative_binary64_10238`
18×	`cube-prod_binary64_10336`
17×	`distribute-lft-out--_binary64_10260`
14×	`associate-+l+_binary64_10241`
13×	`log-prod_binary64_10394` `exp-prod_binary64_10360` `*-rgt-identity_binary64_10298` `distribute-rgt-neg-out_binary64_10268` `associate-+r+_binary64_10240`
12×	`distribute-neg-in_binary64_10269`
11×	`unpow3_binary64_10374` `swap-sqr_binary64_10275` `associate-+r-_binary64_10242`
9×	`cube-mult_binary64_10338` `+-rgt-identity_binary64_10293` `associate-+l-_binary64_10243`
8×	`pow-sqr_binary64_10281`
7×	`/-rgt-identity_binary64_10299`
6×	`exp-sum_binary64_10354` `*-lft-identity_binary64_10297` `sub0-neg_binary64_10295`
5×	`cube-unmult_binary64_10345`
4×	`associate--l+_binary64_10245`
3×	`mul0-rgt_binary64_10291` `mul0-lft_binary64_10290` `difference-of-squares_binary64_10277`
2×	`log-rec_binary64_10396` `cancel-sign-sub_binary64_10273` `associate--l-_binary64_10246`
1×	`prod-exp_binary64_10357` `1-exp_binary64_10352` `distribute-rgt1-in_binary64_10264` `associate--r+_binary64_10244`
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_10571` `erf-erfc_binary64_10570` `erf-odd_binary64_10569` `if-if-and-not_binary64_10568` `if-if-and_binary64_10567` `if-if-or-not_binary64_10566` `if-if-or_binary64_10565` `if-not_binary64_10564` `if-same_binary64_10563` `if-false_binary64_10562` `if-true_binary64_10561` `not-gte_binary64_10560` `not-lte_binary64_10559` `not-gt_binary64_10558` `not-lt_binary64_10557` `gte-same_binary64_10556` `lte-same_binary64_10555` `gt-same_binary64_10554` `lt-same_binary64_10553` `sinh---cosh_binary64_10500` `sinh-+-cosh_binary64_10499` `sinh-cosh_binary64_10498` `tanh-def-c_binary64_10497` `tanh-def-b_binary64_10496` `tanh-def-a_binary64_10495` `cosh-def_binary64_10494` `sinh-def_binary64_10493` `tan-neg_binary64_10440` `cos-neg_binary64_10439` `sin-neg_binary64_10438` `tan-0_binary64_10437` `cos-0_binary64_10436` `sin-0_binary64_10435` `hang-m-tan_binary64_10434` `hang-p-tan_binary64_10433` `hang-m0-tan_binary64_10432` `hang-p0-tan_binary64_10431` `hang-0m-tan_binary64_10430` `hang-0p-tan_binary64_10429` `tan-+PI/2_binary64_10428` `tan-+PI_binary64_10427` `tan-PI_binary64_10426` `tan-PI/3_binary64_10425` `tan-PI/4_binary64_10424` `tan-PI/6_binary64_10423` `cos-+PI/2_binary64_10422` `cos-+PI_binary64_10421` `cos-PI_binary64_10420` `cos-PI/2_binary64_10419` `cos-PI/3_binary64_10418` `cos-PI/4_binary64_10417` `cos-PI/6_binary64_10416` `sin-+PI/2_binary64_10415` `sin-+PI_binary64_10414` `sin-PI_binary64_10413` `sin-PI/2_binary64_10412` `sin-PI/3_binary64_10411` `sin-PI/4_binary64_10410` `sin-PI/6_binary64_10409` `sub-1-sin_binary64_10408` `sub-1-cos_binary64_10407` `-1-add-sin_binary64_10406` `-1-add-cos_binary64_10405` `1-sub-sin_binary64_10404` `1-sub-cos_binary64_10403` `cos-sin-sum_binary64_10402` `log-E_binary64_10398` `log-pow_binary64_10397` `pow-base-0_binary64_10392` `unpow1/3_binary64_10375` `unpow2_binary64_10373` `unpow1/2_binary64_10372` `pow-plus_binary64_10371` `exp-to-pow_binary64_10370` `pow-base-1_binary64_10368` `unpow0_binary64_10367` `unpow1_binary64_10366` `unpow-1_binary64_10365` `exp-lft-cube_binary64_10364` `exp-lft-sqr_binary64_10363` `exp-cbrt_binary64_10362` `exp-sqrt_binary64_10361` `div-exp_binary64_10359` `rec-exp_binary64_10358` `exp-diff_binary64_10356` `exp-neg_binary64_10355` `e-exp-1_binary64_10353` `exp-1-e_binary64_10351` `exp-0_binary64_10350` `rem-log-exp_binary64_10349` `rem-exp-log_binary64_10348` `cube-neg_binary64_10335` `rem-3cbrt-rft_binary64_10334` `rem-3cbrt-lft_binary64_10333` `rem-cbrt-cube_binary64_10332` `rem-cube-cbrt_binary64_10331` `sqr-abs_binary64_10323` `sqr-neg_binary64_10322` `rem-sqrt-square_binary64_10321` `rem-square-sqrt_binary64_10320` `mul-1-neg_binary64_10300` `remove-double-neg_binary64_10296` `--rgt-identity_binary64_10294` `+-lft-identity_binary64_10292` `div0_binary64_10289` `*-inverses_binary64_10288` `+-inverses_binary64_10287` `lft-mult-inverse_binary64_10286` `rgt-mult-inverse_binary64_10285` `remove-double-div_binary64_10284` `difference-of-sqr--1_binary64_10279` `difference-of-sqr-1_binary64_10278` `distribute-frac-neg_binary64_10271` `distribute-neg-out_binary64_10270` `distribute-lft1-in_binary64_10263` `count-2_binary64_10256` `associate--r-_binary64_10247`

Counts

75 → 45

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	84	973
1	212	910
2	690	904
3	2399	898
4	5118	898

prune29.0ms (0.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	45	6	51

Error

Counts

51 → 6

Compiler

Compiled 621 to 129 computations (79.2% saved)

regimes319.0ms (7.1%)

Accuracy

Total 0.8b remaining (99.6%)

Threshold costs 0.8b (99.6%)

Compiler

Compiled 1804 to 1302 computations (27.8% saved)

bsearch2.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64_10239`
2×	`+-commutative_binary64_10238`
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_10568` `if-if-and_binary64_10567` `if-if-or-not_binary64_10566` `if-if-or_binary64_10565` `if-not_binary64_10564` `if-same_binary64_10563` `if-false_binary64_10562` `if-true_binary64_10561` `tan-0_binary64_10437` `cos-0_binary64_10436` `sin-0_binary64_10435` `unpow1_binary64_10366` `e-exp-1_binary64_10353` `1-exp_binary64_10352` `exp-1-e_binary64_10351` `exp-0_binary64_10350` `sqr-abs_binary64_10323` `sqr-neg_binary64_10322` `neg-mul-1_binary64_10304` `neg-sub0_binary64_10303` `unsub-neg_binary64_10302` `sub-neg_binary64_10301` `mul-1-neg_binary64_10300` `/-rgt-identity_binary64_10299` `-rgt-identity_binary64_10298` `-lft-identity_binary64_10297` `remove-double-neg_binary64_10296` `sub0-neg_binary64_10295` `--rgt-identity_binary64_10294` `+-rgt-identity_binary64_10293` `+-lft-identity_binary64_10292` `cancel-sign-sub-inv_binary64_10274` `cancel-sign-sub_binary64_10273` `distribute-neg-frac_binary64_10272` `distribute-frac-neg_binary64_10271` `distribute-neg-out_binary64_10270` `distribute-neg-in_binary64_10269` `distribute-rgt-neg-out_binary64_10268` `distribute-lft-neg-out_binary64_10267` `distribute-rgt-neg-in_binary64_10266` `distribute-lft-neg-in_binary64_10265`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	115
1	36	115
2	36	115

end0.0ms (0%)

sample1.0s (22.5%)

Algorithm

1×

intervals

Results

216.0ms	8000×	body	128	valid
20.0ms	811×	body	128	invalid

Compiler

Compiled 517 to 352 computations (31.9% saved)

Details

analyze724.0ms (16%)

sample18.0ms (0.4%)

simplify160.0ms (3.5%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite56.0ms (1.2%)

series333.0ms (7.4%)

simplify99.0ms (2.2%)

prune41.0ms (0.9%)

localize5.0ms (0.1%)

rewrite112.0ms (2.5%)

series347.0ms (7.7%)

simplify156.0ms (3.5%)

prune71.0ms (1.6%)

localize5.0ms (0.1%)

rewrite70.0ms (1.6%)

series297.0ms (6.6%)

simplify124.0ms (2.7%)

prune33.0ms (0.7%)

localize6.0ms (0.1%)

rewrite43.0ms (1%)

series375.0ms (8.3%)

simplify65.0ms (1.4%)

prune29.0ms (0.6%)

regimes319.0ms (7.1%)

bsearch2.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.0s (22.5%)

Profiling