Details

analyze624.0ms (7.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

1057×	`distribute-rgt-in_binary64_12304`
847×	`unsub-neg_binary64_12348`
612×	`sub-neg_binary64_12347`
437×	`distribute-neg-in_binary64_12315`
432×	`neg-mul-1_binary64_12350`
425×	`neg-sub0_binary64_12349`
369×	`+-commutative_binary64_12284`
275×	`associate--r+_binary64_12290`
252×	`*-commutative_binary64_12285`
232×	`distribute-lft-neg-out_binary64_12313`
221×	`distribute-rgt-neg-out_binary64_12314`
196×	`remove-double-neg_binary64_12342`
192×	`distribute-rgt-neg-in_binary64_12312`
180×	`distribute-neg-out_binary64_12316`
162×	`associate-+l+_binary64_12287`
153×	`associate--l+_binary64_12291`
149×	`associate-+l-_binary64_12289`
142×	`associate-+r+_binary64_12286`
137×	`associate-+r-_binary64_12288`
135×	`cancel-sign-sub-inv_binary64_12320`
111×	`associate-r_binary64_12294`
101×	`associate-l_binary64_12295`
78×	`associate--r-_binary64_12293`
76×	`distribute-lft-in_binary64_12303`
74×	`distribute-rgt-out--_binary64_12308`
71×	`distribute-rgt-out_binary64_12307`
69×	`sub0-neg_binary64_12341`
63×	`associate--l-_binary64_12292`
62×	`distribute-lft-neg-in_binary64_12311`
58×	`*-rgt-identity_binary64_12344`
52×	`distribute-lft-out--_binary64_12306`
46×	`*-lft-identity_binary64_12343`
31×	`+-rgt-identity_binary64_12339`
24×	`log-prod_binary64_12440`
16×	`--rgt-identity_binary64_12340`
8×	`cancel-sign-sub_binary64_12319`
7×	`distribute-lft1-in_binary64_12309`
6×	`+-lft-identity_binary64_12338`
5×	`distribute-rgt1-in_binary64_12310`
3×	`mul-1-neg_binary64_12346` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336`
1×	`1-exp_binary64_12398` `count-2_binary64_12302`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `log-pow_binary64_12443` `log-rec_binary64_12442` `log-div_binary64_12441` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `unpow3_binary64_12420` `unpow2_binary64_12419` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `exp-to-pow_binary64_12416` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow1_binary64_12412` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-lft-sqr_binary64_12409` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `exp-prod_binary64_12406` `div-exp_binary64_12405` `rec-exp_binary64_12404` `prod-exp_binary64_12403` `exp-diff_binary64_12402` `exp-neg_binary64_12401` `exp-sum_binary64_12400` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `cube-unmult_binary64_12391` `cube-mult_binary64_12384` `cube-div_binary64_12383` `cube-prod_binary64_12382` `cube-neg_binary64_12381` `rem-3cbrt-rft_binary64_12380` `rem-3cbrt-lft_binary64_12379` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `rem-sqrt-square_binary64_12367` `rem-square-sqrt_binary64_12366` `times-frac_binary64_12360` `div-sub_binary64_12359` `/-rgt-identity_binary64_12345` `div0_binary64_12335` `-inverses_binary64_12334` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `pow-sqr_binary64_12327` `sqr-pow_binary64_12326` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `difference-of-squares_binary64_12323` `unswap-sqr_binary64_12322` `swap-sqr_binary64_12321` `distribute-neg-frac_binary64_12318` `distribute-frac-neg_binary64_12317` `distribute-lft-out_binary64_12305` `associate-/l/_binary64_12301` `associate-/r/_binary64_12300` `associate-/l_binary64_12299` `associate-/r_binary64_12298` `associate-l/_binary64_12297` `associate-*r/_binary64_12296`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	72
1	78	72
2	161	72
3	307	72
4	688	72
5	1291	72
6	2233	72
7	2847	72
8	3397	72
9	3462	72
10	3500	72
11	3491	72
12	3491	72
13	3982	72
14	4067	72
15	4098	72
16	4116	72
17	4120	72
18	4120	72
19	4128	72
20	4158	72
21	4158	72
22	4158	72
23	4158	72
24	5270	72
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%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
12.5%	43.7%	43.8%	7
12.5%	43.7%	43.8%	8
25%	28.1%	47%	9
28.1%	20.3%	51.6%	10
28.1%	20.3%	51.6%	11
34.3%	13.3%	52.4%	12
35.9%	9.8%	54.4%	13
35.9%	9.8%	54.4%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample27.0ms (0.3%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
0.0ms	10×	body	128	invalid
0.0ms	1×	body	128	nan

Compiler

Compiled 25 to 26 computations (-4% saved)

simplify335.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1119×	`unsub-neg_binary64_12348`
746×	`distribute-rgt-in_binary64_12304`
570×	`+-commutative_binary64_12284`
521×	`sub-neg_binary64_12347`
510×	`associate--r+_binary64_12290`
426×	`associate--l+_binary64_12291`
393×	`*-commutative_binary64_12285`
357×	`neg-sub0_binary64_12349`
356×	`associate-+r+_binary64_12286`
346×	`neg-mul-1_binary64_12350`
336×	`distribute-lft-neg-in_binary64_12311`
332×	`distribute-neg-out_binary64_12316`
304×	`associate-+l+_binary64_12287`
217×	`distribute-rgt-neg-in_binary64_12312`
189×	`distribute-neg-in_binary64_12315`
157×	`distribute-lft-in_binary64_12303`
149×	`associate-r_binary64_12294`
125×	`associate-+l-_binary64_12289`
90×	`distribute-lft-neg-out_binary64_12313` `associate-l_binary64_12295`
89×	`cancel-sign-sub-inv_binary64_12320`
75×	`distribute-rgt-out--_binary64_12308`
70×	`cancel-sign-sub_binary64_12319`
65×	`distribute-rgt-neg-out_binary64_12314`
56×	`associate-+r-_binary64_12288`
42×	`associate--r-_binary64_12293` `associate--l-_binary64_12292`
40×	`distribute-rgt1-in_binary64_12310`
31×	`distribute-rgt-out_binary64_12307`
24×	`sub0-neg_binary64_12341`
22×	`remove-double-neg_binary64_12342`
20×	`*-rgt-identity_binary64_12344` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `distribute-lft1-in_binary64_12309`
18×	`*-lft-identity_binary64_12343`
13×	`+-rgt-identity_binary64_12339`
8×	`log-prod_binary64_12440` `--rgt-identity_binary64_12340`
6×	`mul-1-neg_binary64_12346`
5×	`distribute-lft-out--_binary64_12306`
4×	`+-lft-identity_binary64_12338`
2×	`distribute-lft-out_binary64_12305`
1×	`1-exp_binary64_12398` `count-2_binary64_12302`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `log-pow_binary64_12443` `log-rec_binary64_12442` `log-div_binary64_12441` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `unpow3_binary64_12420` `unpow2_binary64_12419` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `exp-to-pow_binary64_12416` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow1_binary64_12412` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-lft-sqr_binary64_12409` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `exp-prod_binary64_12406` `div-exp_binary64_12405` `rec-exp_binary64_12404` `prod-exp_binary64_12403` `exp-diff_binary64_12402` `exp-neg_binary64_12401` `exp-sum_binary64_12400` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `cube-unmult_binary64_12391` `cube-mult_binary64_12384` `cube-div_binary64_12383` `cube-prod_binary64_12382` `cube-neg_binary64_12381` `rem-3cbrt-rft_binary64_12380` `rem-3cbrt-lft_binary64_12379` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `rem-sqrt-square_binary64_12367` `rem-square-sqrt_binary64_12366` `times-frac_binary64_12360` `div-sub_binary64_12359` `/-rgt-identity_binary64_12345` `div0_binary64_12335` `-inverses_binary64_12334` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `pow-sqr_binary64_12327` `sqr-pow_binary64_12326` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `difference-of-squares_binary64_12323` `unswap-sqr_binary64_12322` `swap-sqr_binary64_12321` `distribute-neg-frac_binary64_12318` `distribute-frac-neg_binary64_12317` `associate-/l/_binary64_12301` `associate-/r/_binary64_12300` `associate-/l_binary64_12299` `associate-/r_binary64_12298` `associate-l/_binary64_12297` `associate-*r/_binary64_12296`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	28	18
2	53	18
3	97	18
4	218	18
5	349	18
6	486	18
7	829	18
8	1163	18
9	1232	18
10	1335	18
11	1416	18
12	1453	18
13	3274	18
14	3271	18
15	3920	18
16	4486	18
17	4497	18
18	4497	18
19	4982	18
20	4217	18
21	4371	18
22	4375	18
23	4375	18
24	4405	18
25	4405	18
26	4358	18
27	4352	18
28	4352	18
29	4889	18

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

0.1b

Counts

1 → 1

Compiler

Compiled 12 to 11 computations (8.3% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.1b	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))

rewrite108.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`*-un-lft-identity_binary64_12354`
9×	`pow1_binary64_12415` `add-sqr-sqrt_binary64_12376`
8×	`add-log-exp_binary64_12393` `distribute-lft-out_binary64_12305`
7×	`add-cube-cbrt_binary64_12389` `associate-r_binary64_12294`
5×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390` `associate-+r+_binary64_12286`
4×	`log-pow_binary64_12443` `distribute-lft-out--_binary64_12306` `associate-+l+_binary64_12287`
3×	`flip3-+_binary64_12357` `flip-+_binary64_12328` `associate-l_binary64_12295` `sum-log_binary64_12445` `cancel-sign-sub-inv_binary64_12320` `log-prod_binary64_12440`
2×	`distribute-rgt-in_binary64_12304` `distribute-lft-in_binary64_12303` `associate-*r/_binary64_12296` `+-commutative_binary64_12284`
1×	`pow-prod-down_binary64_12425` `prod-exp_binary64_12403` `cbrt-unprod_binary64_12387` `unswap-sqr_binary64_12322` `*-commutative_binary64_12285` `diff-log_binary64_12446` `associate-+l-_binary64_12289` `sub-neg_binary64_12347`

Counts

3 → 63

Calls

3 calls:

12.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
9.0ms	(+.f64 (-.f64 1 z) (log.f64 z))
7.0ms	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))

Compiler

Compiled 1231 to 755 computations (38.7% saved)

series694.0ms (8.5%)

Error

0.0b

Counts

3 → 30

Calls

3 calls:

399.0ms	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
194.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
76.0ms	(+.f64 (-.f64 1 z) (log.f64 z))

Compiler

Compiled 903 to 665 computations (26.4% saved)

simplify99.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

450×	`times-frac_binary64_12360`
274×	`*-commutative_binary64_12285`
264×	`sub-neg_binary64_12347`
250×	`exp-sum_binary64_12400`
224×	`unsub-neg_binary64_12348`
217×	`exp-prod_binary64_12406`
213×	`distribute-rgt-neg-in_binary64_12312`
206×	`associate-+l+_binary64_12287`
200×	`distribute-neg-in_binary64_12315`
183×	`distribute-lft-neg-in_binary64_12311`
167×	`associate-+r+_binary64_12286`
147×	`distribute-rgt-neg-out_binary64_12314`
144×	`distribute-lft-neg-out_binary64_12313`
133×	`neg-mul-1_binary64_12350` `neg-sub0_binary64_12349` `+-commutative_binary64_12284`
127×	`exp-diff_binary64_12402`
125×	`associate--r-_binary64_12293`
104×	`cancel-sign-sub-inv_binary64_12320` `associate--r+_binary64_12290`
99×	`distribute-rgt-out_binary64_12307` `distribute-rgt-in_binary64_12304`
97×	`associate-l_binary64_12295`
92×	`log-prod_binary64_12440`
91×	`associate-r_binary64_12294`
90×	`distribute-lft-in_binary64_12303`
79×	`associate--l+_binary64_12291`
66×	`sqr-pow_binary64_12326`
53×	`distribute-rgt-out--_binary64_12308`
51×	`cube-prod_binary64_12382`
50×	`associate-+l-_binary64_12289`
46×	`associate-/l*_binary64_12299`
45×	`cancel-sign-sub_binary64_12319`
41×	`associate-+r-_binary64_12288`
34×	`unswap-sqr_binary64_12322`
33×	`associate-/r*_binary64_12298`
31×	`distribute-neg-out_binary64_12316`
29×	`div-sub_binary64_12359`
27×	`remove-double-neg_binary64_12342`
24×	`*-lft-identity_binary64_12343`
22×	`log-div_binary64_12441`
21×	`*-rgt-identity_binary64_12344`
18×	`+-rgt-identity_binary64_12339`
15×	`distribute-lft-out_binary64_12305`
12×	`exp-to-pow_binary64_12416` `sub0-neg_binary64_12341` `swap-sqr_binary64_12321` `associate-/r/_binary64_12300`
11×	`unpow3_binary64_12420` `associate-*r/_binary64_12296`
10×	`div-exp_binary64_12405` `cube-neg_binary64_12381`
9×	`sqr-neg_binary64_12368` `distribute-lft1-in_binary64_12309` `associate--l-_binary64_12292`
8×	`distribute-lft-out--_binary64_12306`
7×	`associate-*l/_binary64_12297`
6×	`cube-unmult_binary64_12391` `cube-mult_binary64_12384`
5×	`log-pow_binary64_12443` `unpow1/2_binary64_12418` `rem-exp-log_binary64_12394` `rem-sqrt-square_binary64_12367` `pow-sqr_binary64_12327` `distribute-frac-neg_binary64_12317`
4×	`log-rec_binary64_12442` `prod-exp_binary64_12403` `--rgt-identity_binary64_12340` `difference-of-squares_binary64_12323` `associate-/l/_binary64_12301`
3×	`count-2_binary64_12302`
2×	`rec-exp_binary64_12404` `mul-1-neg_binary64_12346`
1×	`exp-lft-sqr_binary64_12409` `1-exp_binary64_12398` `exp-1-e_binary64_12397` `rem-log-exp_binary64_12395` `rem-3cbrt-lft_binary64_12379` `rem-square-sqrt_binary64_12366` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `distribute-rgt1-in_binary64_12310`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `unpow2_binary64_12419` `pow-plus_binary64_12417` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow1_binary64_12412` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `exp-neg_binary64_12401` `e-exp-1_binary64_12399` `exp-0_binary64_12396` `cube-div_binary64_12383` `rem-3cbrt-rft_binary64_12380` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `/-rgt-identity_binary64_12345` `+-lft-identity_binary64_12338` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `div0_binary64_12335` `*-inverses_binary64_12334` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `distribute-neg-frac_binary64_12318`

Counts

93 → 69

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	132	1365
1	365	1271
2	1204	1270
3	2545	1270
4	4393	1270
5	5370	1270

prune82.0ms (1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	64	5	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	5	70

Error

0.0b

Counts

70 → 5

Compiler

Compiled 1172 to 713 computations (39.2% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))
0.1b	(.f64 y (+.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z))))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite134.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`*-un-lft-identity_binary64_12354`
12×	`add-sqr-sqrt_binary64_12376`
10×	`add-log-exp_binary64_12393` `add-cube-cbrt_binary64_12389`
9×	`cbrt-prod_binary64_12385`
8×	`pow1_binary64_12415`
6×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390` `log-prod_binary64_12440` `associate-+r+_binary64_12286`
5×	`associate-r_binary64_12294` `sum-log_binary64_12445`
4×	`distribute-lft-out_binary64_12305`
3×	`associate-l_binary64_12295`
2×	`pow1/3_binary64_12436` `flip3-+_binary64_12357` `associate-*r/_binary64_12296` `flip-+_binary64_12328` `log-pow_binary64_12443` `associate-+l-_binary64_12289`
1×	`pow-prod-down_binary64_12425` `prod-exp_binary64_12403` `cbrt-unprod_binary64_12387` `unswap-sqr_binary64_12322` `distribute-rgt-in_binary64_12304` `distribute-lft-in_binary64_12303` `*-commutative_binary64_12285` `diff-log_binary64_12446` `associate-+l+_binary64_12287` `+-commutative_binary64_12284`

Counts

4 → 69

Calls

4 calls:

13.0ms	(.f64 y (+.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z))))
13.0ms	(+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 1905 to 1024 computations (46.2% saved)

series810.0ms (9.9%)

Error

0.0b

Counts

4 → 19

Calls

4 calls:

404.0ms	(.f64 y (+.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z))))
166.0ms	(+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))
112.0ms	(cbrt.f64 z)
108.0ms	(cbrt.f64 z)

Compiler

Compiled 922 to 782 computations (15.2% saved)

simplify83.0ms (1%)

Algorithm

1×	egg-herbie

Rules

888×	`distribute-rgt-in_binary64_12304`
875×	`distribute-lft-in_binary64_12303`
164×	`exp-prod_binary64_12406`
141×	`exp-sum_binary64_12400`
127×	`cancel-sign-sub-inv_binary64_12320`
110×	`associate-l_binary64_12295`
101×	`associate-r_binary64_12294`
75×	`sub-neg_binary64_12347` `*-commutative_binary64_12285`
43×	`+-commutative_binary64_12284`
42×	`log-prod_binary64_12440`
39×	`associate-+l+_binary64_12287`
37×	`distribute-rgt-neg-in_binary64_12312`
32×	`sqr-pow_binary64_12326`
31×	`distribute-lft-neg-in_binary64_12311`
22×	`exp-diff_binary64_12402`
20×	`associate-+r+_binary64_12286`
19×	`*-rgt-identity_binary64_12344`
18×	`log-pow_binary64_12443` `log-div_binary64_12441` `prod-exp_binary64_12403` `associate-+l-_binary64_12289`
17×	`exp-to-pow_binary64_12416` `-lft-identity_binary64_12343` `distribute-rgt-out_binary64_12307` `associate-/r_binary64_12298`
15×	`distribute-neg-in_binary64_12315`
14×	`distribute-lft-out_binary64_12305` `associate--l+_binary64_12291`
13×	`neg-sub0_binary64_12349`
12×	`distribute-rgt-out--_binary64_12308`
11×	`div-exp_binary64_12405` `neg-mul-1_binary64_12350` `swap-sqr_binary64_12321` `distribute-lft-neg-out_binary64_12313`
10×	`associate-+r-_binary64_12288`
8×	`unsub-neg_binary64_12348`
7×	`cube-prod_binary64_12382`
6×	`unswap-sqr_binary64_12322` `distribute-rgt-neg-out_binary64_12314` `associate-/l*_binary64_12299`
5×	`cube-unmult_binary64_12391` `distribute-lft-out--_binary64_12306` `associate-*l/_binary64_12297`
4×	`log-rec_binary64_12442` `unpow3_binary64_12420` `associate--r+_binary64_12290`
3×	`exp-lft-sqr_binary64_12409` `cube-mult_binary64_12384` `rem-sqrt-square_binary64_12367` `div-sub_binary64_12359` `mul-1-neg_binary64_12346` `pow-sqr_binary64_12327` `distribute-rgt1-in_binary64_12310` `count-2_binary64_12302` `associate--l-_binary64_12292`
2×	`unpow1/3_binary64_12421` `unpow1/2_binary64_12418` `rec-exp_binary64_12404` `associate-*r/_binary64_12296`
1×	`unpow2_binary64_12419` `pow-plus_binary64_12417` `unpow1_binary64_12412` `exp-lft-cube_binary64_12410` `1-exp_binary64_12398` `exp-1-e_binary64_12397` `rem-exp-log_binary64_12394` `rem-3cbrt-lft_binary64_12379` `difference-of-squares_binary64_12323` `distribute-neg-out_binary64_12316` `distribute-lft1-in_binary64_12309` `associate--r-_binary64_12293`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `pow-base-0_binary64_12438` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow-1_binary64_12411` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `exp-neg_binary64_12401` `e-exp-1_binary64_12399` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `cube-div_binary64_12383` `cube-neg_binary64_12381` `rem-3cbrt-rft_binary64_12380` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `rem-square-sqrt_binary64_12366` `times-frac_binary64_12360` `/-rgt-identity_binary64_12345` `remove-double-neg_binary64_12342` `sub0-neg_binary64_12341` `--rgt-identity_binary64_12340` `+-rgt-identity_binary64_12339` `+-lft-identity_binary64_12338` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `div0_binary64_12335` `*-inverses_binary64_12334` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `cancel-sign-sub_binary64_12319` `distribute-neg-frac_binary64_12318` `distribute-frac-neg_binary64_12317` `associate-/l/_binary64_12301` `associate-/r/_binary64_12300`

Counts

88 → 64

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	122	1688
1	313	1172
2	1131	1012
3	4646	1012
4	5010	1012

prune80.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	64	5	69

Error

0.0b

Counts

69 → 5

Compiler

Compiled 1333 to 803 computations (39.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x 1/2) (+.f64 (-.f64 y (.f64 z y)) (*.f64 (log.f64 z) y)))
0.0b	(-.f64 y (*.f64 z y))
0.1b	(+.f64 (-.f64 y (.f64 z y)) (.f64 (log.f64 z) y))
0.3b	(*.f64 (log.f64 z) y)

rewrite90.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`add-log-exp_binary64_12393`
8×	`add-sqr-sqrt_binary64_12376`
7×	`pow1_binary64_12415` `*-un-lft-identity_binary64_12354` `sum-log_binary64_12445`
6×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390` `add-cube-cbrt_binary64_12389`
4×	`associate-l_binary64_12295`
3×	`associate-r_binary64_12294` `diff-log_binary64_12446`
2×	`flip3-+_binary64_12357` `flip-+_binary64_12328` `associate-+l-_binary64_12289` `sub-neg_binary64_12347` `associate-+l+_binary64_12287` `cancel-sign-sub-inv_binary64_12320` `+-commutative_binary64_12284`
1×	`pow-prod-down_binary64_12425` `prod-exp_binary64_12403` `cbrt-unprod_binary64_12387` `unswap-sqr_binary64_12322` `log-pow_binary64_12443` `*-commutative_binary64_12285` `flip3--_binary64_12358` `flip--_binary64_12329` `distribute-rgt-out--_binary64_12308` `associate-+r-_binary64_12288` `associate-+r+_binary64_12286`

Counts

4 → 62

Calls

4 calls:

8.0ms	(+.f64 (.f64 x 1/2) (+.f64 (-.f64 y (.f64 z y)) (*.f64 (log.f64 z) y)))
6.0ms	(+.f64 (-.f64 y (.f64 z y)) (.f64 (log.f64 z) y))
5.0ms	(*.f64 (log.f64 z) y)
3.0ms	(-.f64 y (*.f64 z y))

Compiler

Compiled 1363 to 422 computations (69% saved)

series998.0ms (12.2%)

Error

0.0b

Counts

4 → 40

Calls

4 calls:

448.0ms	(+.f64 (.f64 x 1/2) (+.f64 (-.f64 y (.f64 z y)) (*.f64 (log.f64 z) y)))
244.0ms	(+.f64 (-.f64 y (.f64 z y)) (.f64 (log.f64 z) y))
197.0ms	(*.f64 (log.f64 z) y)
81.0ms	(-.f64 y (*.f64 z y))

Compiler

Compiled 1371 to 948 computations (30.9% saved)

simplify109.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

674×	`times-frac_binary64_12360`
474×	`unsub-neg_binary64_12348`
302×	`*-commutative_binary64_12285`
298×	`sub-neg_binary64_12347`
253×	`cancel-sign-sub-inv_binary64_12320`
243×	`associate-+l+_binary64_12287`
217×	`exp-sum_binary64_12400`
197×	`associate-+r+_binary64_12286`
195×	`distribute-neg-in_binary64_12315`
186×	`neg-sub0_binary64_12349`
181×	`neg-mul-1_binary64_12350`
146×	`exp-prod_binary64_12406`
145×	`exp-diff_binary64_12402`
143×	`+-commutative_binary64_12284`
135×	`distribute-rgt-neg-in_binary64_12312`
116×	`distribute-lft-neg-in_binary64_12311`
102×	`cube-prod_binary64_12382`
99×	`associate-l_binary64_12295` `associate--r+_binary64_12290`
95×	`distribute-rgt-in_binary64_12304`
91×	`distribute-lft-in_binary64_12303`
87×	`associate-r_binary64_12294`
86×	`log-prod_binary64_12440` `sqr-pow_binary64_12326`
80×	`associate--l+_binary64_12291`
78×	`distribute-lft-neg-out_binary64_12313`
75×	`distribute-neg-out_binary64_12316`
63×	`distribute-rgt-neg-out_binary64_12314`
57×	`associate-+l-_binary64_12289`
56×	`distribute-rgt-out_binary64_12307`
51×	`unswap-sqr_binary64_12322` `cancel-sign-sub_binary64_12319`
48×	`remove-double-neg_binary64_12342` `associate-+r-_binary64_12288`
28×	`swap-sqr_binary64_12321` `distribute-rgt-out--_binary64_12308`
24×	`associate--r-_binary64_12293`
22×	`unpow3_binary64_12420`
21×	`+-rgt-identity_binary64_12339`
20×	`cube-neg_binary64_12381` `difference-of-squares_binary64_12323` `distribute-lft-out_binary64_12305`
17×	`cube-mult_binary64_12384`
16×	`associate--l-_binary64_12292`
15×	`sub0-neg_binary64_12341`
13×	`sqr-neg_binary64_12368`
12×	`exp-to-pow_binary64_12416` `prod-exp_binary64_12403`
10×	`--rgt-identity_binary64_12340` `distribute-rgt1-in_binary64_12310`
9×	`pow-sqr_binary64_12327`
7×	`log-div_binary64_12441`
6×	`log-pow_binary64_12443` `-rgt-identity_binary64_12344` `-lft-identity_binary64_12343` `distribute-lft-out--_binary64_12306` `associate-/l*_binary64_12299`
5×	`pow-plus_binary64_12417` `div-exp_binary64_12405` `associate-/r*_binary64_12298`
4×	`rem-exp-log_binary64_12394` `cube-unmult_binary64_12391` `div-sub_binary64_12359` `mul-1-neg_binary64_12346`
3×	`unpow1/2_binary64_12418` `exp-neg_binary64_12401` `cube-div_binary64_12383` `distribute-lft1-in_binary64_12309` `associate-*r/_binary64_12296`
2×	`log-rec_binary64_12442` `rem-sqrt-square_binary64_12367` `difference-of-sqr--1_binary64_12325` `associate-*l/_binary64_12297`
1×	`log-E_binary64_12444` `rec-exp_binary64_12404` `1-exp_binary64_12398` `exp-1-e_binary64_12397` `+-inverses_binary64_12333` `distribute-frac-neg_binary64_12317`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `unpow2_binary64_12419` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow1_binary64_12412` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-lft-sqr_binary64_12409` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `e-exp-1_binary64_12399` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `rem-3cbrt-rft_binary64_12380` `rem-3cbrt-lft_binary64_12379` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `rem-square-sqrt_binary64_12366` `/-rgt-identity_binary64_12345` `+-lft-identity_binary64_12338` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `div0_binary64_12335` `*-inverses_binary64_12334` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `difference-of-sqr-1_binary64_12324` `distribute-neg-frac_binary64_12318` `count-2_binary64_12302` `associate-/l/_binary64_12301` `associate-/r/_binary64_12300`

Counts

102 → 69

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	140	1382
1	379	1336
2	1299	1325
3	3109	1315
4	4530	1315
5	5902	1315

prune72.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	69	5	74

Error

Counts

74 → 5

Compiler

Compiled 1198 to 625 computations (47.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x 1/2) (-.f64 y (.f64 y (-.f64 z (log.f64 z)))))
0.0b	(-.f64 z (log.f64 z))
0.1b	(-.f64 y (*.f64 y (-.f64 z (log.f64 z))))
0.1b	(*.f64 y (-.f64 z (log.f64 z)))

rewrite124.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

22×	`cancel-sign-sub-inv_binary64_12320`
18×	`add-sqr-sqrt_binary64_12376` `*-un-lft-identity_binary64_12354`
13×	`pow1_binary64_12415` `associate--r+_binary64_12290`
12×	`add-log-exp_binary64_12393` `add-cube-cbrt_binary64_12389`
10×	`distribute-rgt-in_binary64_12304` `distribute-lft-in_binary64_12303`
7×	`sub-neg_binary64_12347` `log-pow_binary64_12443`
6×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390` `associate-r_binary64_12294`
4×	`distribute-lft-out--_binary64_12306`
3×	`flip3--_binary64_12358` `flip--_binary64_12329` `associate-l_binary64_12295` `diff-log_binary64_12446` `log-prod_binary64_12440`
2×	`associate-*r/_binary64_12296` `difference-of-squares_binary64_12323` `sum-log_binary64_12445` `associate-+r+_binary64_12286`
1×	`pow-prod-down_binary64_12425` `prod-exp_binary64_12403` `cbrt-unprod_binary64_12387` `unswap-sqr_binary64_12322` `*-commutative_binary64_12285` `flip3-+_binary64_12357` `flip-+_binary64_12328` `associate-+r-_binary64_12288` `+-commutative_binary64_12284`

Counts

4 → 91

Calls

4 calls:

8.0ms	(*.f64 y (-.f64 z (log.f64 z)))
6.0ms	(+.f64 (.f64 x 1/2) (-.f64 y (.f64 y (-.f64 z (log.f64 z)))))
5.0ms	(-.f64 z (log.f64 z))
5.0ms	(-.f64 y (*.f64 y (-.f64 z (log.f64 z))))

Compiler

Compiled 1772 to 650 computations (63.3% saved)

series977.0ms (11.9%)

Error

Counts

4 → 38

Calls

4 calls:

441.0ms	(+.f64 (.f64 x 1/2) (-.f64 y (.f64 y (-.f64 z (log.f64 z)))))
220.0ms	(-.f64 y (*.f64 y (-.f64 z (log.f64 z))))
209.0ms	(*.f64 y (-.f64 z (log.f64 z)))
82.0ms	(-.f64 z (log.f64 z))

Compiler

Compiled 1192 to 844 computations (29.2% saved)

simplify118.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

477×	`neg-mul-1_binary64_12350`
301×	`unsub-neg_binary64_12348`
285×	`sub-neg_binary64_12347`
262×	`exp-prod_binary64_12406`
258×	`exp-sum_binary64_12400`
255×	`*-commutative_binary64_12285`
237×	`cancel-sign-sub-inv_binary64_12320`
193×	`distribute-rgt-neg-out_binary64_12314`
182×	`distribute-lft-neg-out_binary64_12313`
161×	`associate-+l+_binary64_12287`
160×	`neg-sub0_binary64_12349`
150×	`distribute-neg-in_binary64_12315`
138×	`associate-+r+_binary64_12286`
137×	`exp-diff_binary64_12402`
124×	`distribute-rgt-neg-in_binary64_12312`
108×	`cancel-sign-sub_binary64_12319`
104×	`cube-prod_binary64_12382`
103×	`sqr-pow_binary64_12326`
101×	`associate-l_binary64_12295`
100×	`+-commutative_binary64_12284`
97×	`distribute-lft-neg-in_binary64_12311`
87×	`associate-r_binary64_12294`
83×	`log-prod_binary64_12440`
78×	`associate--r+_binary64_12290`
72×	`div-sub_binary64_12359`
68×	`distribute-rgt-in_binary64_12304`
67×	`associate-+l-_binary64_12289`
63×	`distribute-lft-in_binary64_12303`
46×	`times-frac_binary64_12360`
45×	`associate-+r-_binary64_12288`
44×	`associate--l+_binary64_12291`
43×	`remove-double-neg_binary64_12342` `distribute-rgt-out_binary64_12307`
42×	`unswap-sqr_binary64_12322`
39×	`distribute-neg-out_binary64_12316`
33×	`log-pow_binary64_12443`
28×	`distribute-lft-out_binary64_12305`
26×	`exp-neg_binary64_12401` `difference-of-squares_binary64_12323`
24×	`swap-sqr_binary64_12321` `associate--r-_binary64_12293`
22×	`+-rgt-identity_binary64_12339`
21×	`sqr-neg_binary64_12368` `*-lft-identity_binary64_12343` `sub0-neg_binary64_12341` `distribute-rgt-out--_binary64_12308`
20×	`unpow3_binary64_12420`
19×	`*-rgt-identity_binary64_12344`
14×	`cube-neg_binary64_12381`
13×	`distribute-rgt1-in_binary64_12310` `associate--l-_binary64_12292`
12×	`div-exp_binary64_12405` `distribute-lft-out--_binary64_12306`
11×	`cube-mult_binary64_12384`
10×	`exp-to-pow_binary64_12416` `pow-sqr_binary64_12327`
8×	`unpow1/2_binary64_12418` `rem-sqrt-square_binary64_12367`
7×	`log-div_binary64_12441` `rem-log-exp_binary64_12395`
6×	`prod-exp_binary64_12403` `distribute-lft1-in_binary64_12309`
5×	`cube-unmult_binary64_12391` `--rgt-identity_binary64_12340` `associate-/l*_binary64_12299`
4×	`log-rec_binary64_12442` `associate-/r*_binary64_12298`
3×	`mul-1-neg_binary64_12346` `distribute-frac-neg_binary64_12317` `associate-/r/_binary64_12300`
2×	`rem-exp-log_binary64_12394` `difference-of-sqr-1_binary64_12324`
1×	`pow-plus_binary64_12417` `rec-exp_binary64_12404` `1-exp_binary64_12398` `exp-1-e_binary64_12397` `cube-div_binary64_12383` `rem-3cbrt-lft_binary64_12379` `rem-square-sqrt_binary64_12366` `+-lft-identity_binary64_12338` `count-2_binary64_12302` `associate-/l/_binary64_12301` `associate-l/_binary64_12297` `associate-r/_binary64_12296`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `unpow2_binary64_12419` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow1_binary64_12412` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-lft-sqr_binary64_12409` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `e-exp-1_binary64_12399` `exp-0_binary64_12396` `rem-3cbrt-rft_binary64_12380` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `/-rgt-identity_binary64_12345` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `div0_binary64_12335` `*-inverses_binary64_12334` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `difference-of-sqr--1_binary64_12325` `distribute-neg-frac_binary64_12318`

Counts

129 → 82

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	159	1686
1	384	1605
2	1217	1598
3	2682	1591
4	4242	1591
5	4938	1591

prune68.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	82	5	87

Error

Counts

87 → 5

Compiler

Compiled 1221 to 433 computations (64.5% saved)

regimes802.0ms (9.8%)

Accuracy

Total 0.1b remaining (97.8%)

Threshold costs 0.1b (97.8%)

Compiler

Compiled 7778 to 6128 computations (21.2% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64_12284`
3×	`*-commutative_binary64_12285`
2×	`sub-neg_binary64_12347`
1×	`1-exp_binary64_12398` `neg-mul-1_binary64_12350` `neg-sub0_binary64_12349`
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_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `unpow1_binary64_12412` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `unsub-neg_binary64_12348` `mul-1-neg_binary64_12346` `/-rgt-identity_binary64_12345` `-rgt-identity_binary64_12344` `-lft-identity_binary64_12343` `remove-double-neg_binary64_12342` `sub0-neg_binary64_12341` `--rgt-identity_binary64_12340` `+-rgt-identity_binary64_12339` `+-lft-identity_binary64_12338` `cancel-sign-sub-inv_binary64_12320` `cancel-sign-sub_binary64_12319` `distribute-neg-frac_binary64_12318` `distribute-frac-neg_binary64_12317` `distribute-neg-out_binary64_12316` `distribute-neg-in_binary64_12315` `distribute-rgt-neg-out_binary64_12314` `distribute-lft-neg-out_binary64_12313` `distribute-rgt-neg-in_binary64_12312` `distribute-lft-neg-in_binary64_12311`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	20	18
2	24	18
3	26	18
4	27	18
5	26	18

end0.0ms (0%)

sample1.7s (20.8%)

Algorithm

1×

intervals

Results

388.0ms	8000×	body	128	valid
12.0ms	269×	body	128	invalid
2.0ms	68×	body	128	nan

Compiler

Compiled 1139 to 900 computations (21% saved)

Details

analyze624.0ms (7.6%)

sample27.0ms (0.3%)

simplify335.0ms (4.1%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite108.0ms (1.3%)

series694.0ms (8.5%)

simplify99.0ms (1.2%)

prune82.0ms (1%)

localize13.0ms (0.2%)

rewrite134.0ms (1.6%)

series810.0ms (9.9%)

simplify83.0ms (1%)

prune80.0ms (1%)

localize10.0ms (0.1%)

rewrite90.0ms (1.1%)

series998.0ms (12.2%)

simplify109.0ms (1.3%)

prune72.0ms (0.9%)

localize9.0ms (0.1%)

rewrite124.0ms (1.5%)

series977.0ms (11.9%)

simplify118.0ms (1.4%)

prune68.0ms (0.8%)

regimes802.0ms (9.8%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.7s (20.8%)

Profiling