Details

analyze538.0ms (6%)

Algorithm

1×	search
2×	egg-herbie

Rules

795×	`div-sub_binary64_11336`
344×	`associate-/l*_binary64_11276`
336×	`sub-neg_binary64_11324`
320×	`associate-/r/_binary64_11277`
267×	`distribute-rgt-in_binary64_11281`
264×	`distribute-lft-in_binary64_11280`
235×	`associate-/r*_binary64_11275`
219×	`associate--l+_binary64_11268`
213×	`associate-/l/_binary64_11278`
196×	`associate-*l/_binary64_11274`
194×	`associate-r_binary64_11271`
183×	`times-frac_binary64_11337`
179×	`associate-l_binary64_11272`
163×	`associate-r/_binary64_11273` `-commutative_binary64_11262`
140×	`associate-+r+_binary64_11263`
136×	`associate--l-_binary64_11269`
131×	`+-commutative_binary64_11261`
129×	`unswap-sqr_binary64_11299`
115×	`--rgt-identity_binary64_11317`
111×	`sqr-pow_binary64_11303`
107×	`div0_binary64_11312`
97×	`cancel-sign-sub-inv_binary64_11297`
91×	`*-lft-identity_binary64_11320` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313`
78×	`*-rgt-identity_binary64_11321`
63×	`pow-sqr_binary64_11304`
48×	`/-rgt-identity_binary64_11322`
38×	`associate-+l-_binary64_11266`
24×	`+-rgt-identity_binary64_11316`
18×	`exp-prod_binary64_11383`
15×	`cube-unmult_binary64_11368` `sub0-neg_binary64_11318` `associate--r+_binary64_11267`
12×	`unpow3_binary64_11397` `cube-prod_binary64_11359`
9×	`exp-sum_binary64_11377`
8×	`distribute-rgt-out_binary64_11284` `associate--r-_binary64_11270`
7×	`exp-diff_binary64_11379`
6×	`unpow1/2_binary64_11395` `pow-plus_binary64_11394` `rem-sqrt-square_binary64_11344`
4×	`associate-+r-_binary64_11265`
3×	`cosh-def_binary64_11517` `exp-neg_binary64_11378` `neg-mul-1_binary64_11327` `neg-sub0_binary64_11326` `distribute-neg-frac_binary64_11295` `distribute-rgt-neg-in_binary64_11289` `distribute-lft-neg-in_binary64_11288`
1×	`1-exp_binary64_11375` `exp-1-e_binary64_11374`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `log-pow_binary64_11420` `log-rec_binary64_11419` `log-div_binary64_11418` `log-prod_binary64_11417` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `unpow2_binary64_11396` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow1_binary64_11389` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `exp-sqrt_binary64_11384` `div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `e-exp-1_binary64_11376` `exp-0_binary64_11373` `rem-log-exp_binary64_11372` `rem-exp-log_binary64_11371` `cube-mult_binary64_11361` `cube-div_binary64_11360` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-3cbrt-lft_binary64_11356` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `rem-square-sqrt_binary64_11343` `unsub-neg_binary64_11325` `mul-1-neg_binary64_11323` `remove-double-neg_binary64_11319` `+-lft-identity_binary64_11315` `*-inverses_binary64_11311` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `remove-double-div_binary64_11307` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `difference-of-squares_binary64_11300` `swap-sqr_binary64_11298` `cancel-sign-sub_binary64_11296` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `distribute-neg-in_binary64_11292` `distribute-rgt-neg-out_binary64_11291` `distribute-lft-neg-out_binary64_11290` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `distribute-rgt-out--_binary64_11285` `distribute-lft-out--_binary64_11283` `distribute-lft-out_binary64_11282` `count-2_binary64_11279` `associate-+l+_binary64_11264`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	48
1	55	48
2	140	48
3	348	48
4	744	48
5	1226	48
6	2261	48
7	3294	48
8	3714	48
9	4918	48
10	4963	48
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
12.5%	87.4%	0.1%	4
18.7%	81.1%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	78%	0.1%	7
27.3%	61.6%	11.1%	8
28.5%	60.5%	11.1%	9
32.6%	53.4%	14%	10
40.2%	38.1%	21.7%	11
41.8%	35.8%	22.4%	12
44.5%	29.2%	26.3%	13
47.1%	21.3%	31.6%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample35.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	259×	body	128	invalid
8.0ms	256×	body	128	valid

Compiler

Compiled 17 to 18 computations (-5.9% saved)

simplify100.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

434×	`distribute-rgt-in_binary64_11281`
358×	`distribute-lft-in_binary64_11280`
322×	`div-sub_binary64_11336`
307×	`*-commutative_binary64_11262`
290×	`unswap-sqr_binary64_11299`
212×	`associate-/l*_binary64_11276`
195×	`associate-l_binary64_11272`
188×	`associate-r_binary64_11271`
183×	`times-frac_binary64_11337`
174×	`sqr-pow_binary64_11303`
158×	`associate-*l/_binary64_11274`
129×	`associate-*r/_binary64_11273`
126×	`rem-sqrt-square_binary64_11344`
122×	`*-lft-identity_binary64_11320`
120×	`pow-sqr_binary64_11304`
118×	`*-rgt-identity_binary64_11321`
117×	`associate-/l/_binary64_11278`
106×	`associate-/r*_binary64_11275`
80×	`sub-neg_binary64_11324`
71×	`exp-sum_binary64_11377`
68×	`exp-diff_binary64_11379`
66×	`associate-/r/_binary64_11277`
61×	`cube-prod_binary64_11359`
56×	`unpow3_binary64_11397`
55×	`associate--l-_binary64_11269`
54×	`neg-mul-1_binary64_11327`
47×	`exp-prod_binary64_11383`
37×	`distribute-rgt-out_binary64_11284`
36×	`+-commutative_binary64_11261`
31×	`prod-exp_binary64_11380`
28×	`count-2_binary64_11279` `associate-+r-_binary64_11265`
26×	`cancel-sign-sub-inv_binary64_11297`
25×	`associate--l+_binary64_11268`
22×	`pow-plus_binary64_11394` `div0_binary64_11312` `distribute-frac-neg_binary64_11294`
21×	`associate-+l+_binary64_11264`
20×	`cube-mult_binary64_11361` `associate-+r+_binary64_11263`
18×	`swap-sqr_binary64_11298`
16×	`/-rgt-identity_binary64_11322`
14×	`distribute-lft-neg-in_binary64_11288` `associate-+l-_binary64_11266`
13×	`cube-unmult_binary64_11368` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313` `distribute-neg-frac_binary64_11295` `distribute-rgt-neg-in_binary64_11289`
10×	`distribute-neg-in_binary64_11292`
9×	`exp-sqrt_binary64_11384` `distribute-lft-out_binary64_11282` `associate--r+_binary64_11267`
8×	`unpow2_binary64_11396` `unpow1/2_binary64_11395` `unpow1_binary64_11389` `associate--r-_binary64_11270`
6×	`exp-lft-sqr_binary64_11386` `neg-sub0_binary64_11326`
4×	`cube-div_binary64_11360`
3×	`rec-exp_binary64_11381` `unsub-neg_binary64_11325` `+-rgt-identity_binary64_11316`
2×	`unpow-1_binary64_11388` `remove-double-neg_binary64_11319` `distribute-lft-neg-out_binary64_11290` `distribute-rgt1-in_binary64_11287` `distribute-rgt-out--_binary64_11285`
1×	`cosh-def_binary64_11517` `div-exp_binary64_11382` `exp-neg_binary64_11378` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `distribute-neg-out_binary64_11293` `distribute-rgt-neg-out_binary64_11291` `distribute-lft1-in_binary64_11286` `distribute-lft-out--_binary64_11283`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `log-pow_binary64_11420` `log-rec_binary64_11419` `log-div_binary64_11418` `log-prod_binary64_11417` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `exp-lft-cube_binary64_11387` `exp-cbrt_binary64_11385` `e-exp-1_binary64_11376` `exp-0_binary64_11373` `rem-log-exp_binary64_11372` `rem-exp-log_binary64_11371` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-3cbrt-lft_binary64_11356` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `rem-square-sqrt_binary64_11343` `mul-1-neg_binary64_11323` `+-lft-identity_binary64_11315` `*-inverses_binary64_11311` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `remove-double-div_binary64_11307` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `difference-of-squares_binary64_11300` `cancel-sign-sub_binary64_11296`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	19	12
2	45	12
3	105	12
4	215	12
5	348	12
6	589	12
7	1626	12
8	1752	12
9	2096	12
10	2902	12
11	3360	12
12	4687	12
13	4993	12
14	4868	12

prune4.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

8.0b

Counts

1 → 1

Compiler

Compiled 8 to 7 computations (12.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (cosh.f64 x) (/.f64 y x))
7.5b	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)

rewrite70.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-sqr-sqrt_binary64_11353`
16×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
13×	`times-frac_binary64_11337` `associate-r_binary64_11271`
12×	`add-cube-cbrt_binary64_11366` `*-un-lft-identity_binary64_11331`
5×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365`
4×	`pow1_binary64_11392` `prod-exp_binary64_11380` `cbrt-unprod_binary64_11364` `cosh-def_binary64_11517`
3×	`associate-/l/_binary64_11278` `associate-/r_binary64_11275` `associate-l*_binary64_11272`
2×	`add-log-exp_binary64_11370` `div-inv_binary64_11328` `frac-times_binary64_11341` `associate-l/_binary64_11274` `associate-r/_binary64_11273` `unswap-sqr_binary64_11299`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `associate-/l_binary64_11276` `pow-prod-down_binary64_11402` `-commutative_binary64_11262`

Counts

2 → 60

Calls

2 calls:

8.0ms	(*.f64 (cosh.f64 x) (/.f64 y x))
7.0ms	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)

Compiler

Compiled 891 to 238 computations (73.3% saved)

series723.0ms (8%)

Error

0.1b

Counts

2 → 21

Calls

2 calls:

462.0ms	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)
239.0ms	(*.f64 (cosh.f64 x) (/.f64 y x))

Compiler

Compiled 908 to 617 computations (32% saved)

simplify114.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

867×	`times-frac_binary64_11337`
448×	`associate-l_binary64_11272`
367×	`associate-r_binary64_11271`
336×	`associate-/r/_binary64_11277`
324×	`associate-/r*_binary64_11275`
147×	`associate-/l*_binary64_11276`
113×	`log-div_binary64_11418`
106×	`sub-neg_binary64_11324`
103×	`log-prod_binary64_11417`
93×	`cube-prod_binary64_11359` `associate-*l/_binary64_11274`
91×	`associate-*r/_binary64_11273`
75×	`*-commutative_binary64_11262`
61×	`associate-+l+_binary64_11264`
60×	`cube-div_binary64_11360`
58×	`associate-/l/_binary64_11278`
50×	`exp-prod_binary64_11383`
48×	`distribute-lft-in_binary64_11280`
45×	`distribute-rgt-in_binary64_11281`
40×	`associate-+r+_binary64_11263`
29×	`+-commutative_binary64_11261`
27×	`neg-mul-1_binary64_11327` `neg-sub0_binary64_11326`
26×	`*-rgt-identity_binary64_11321`
21×	`unpow3_binary64_11397` `associate-+l-_binary64_11266`
20×	`*-lft-identity_binary64_11320` `sqr-pow_binary64_11303` `associate--l+_binary64_11268`
18×	`unsub-neg_binary64_11325`
17×	`cube-mult_binary64_11361` `associate--l-_binary64_11269` `associate-+r-_binary64_11265`
15×	`log-rec_binary64_11419` `/-rgt-identity_binary64_11322` `distribute-neg-frac_binary64_11295`
11×	`exp-sum_binary64_11377` `distribute-rgt-out_binary64_11284`
10×	`div-sub_binary64_11336` `distribute-lft-out_binary64_11282`
8×	`cube-unmult_binary64_11368` `distribute-rgt-neg-in_binary64_11289`
7×	`swap-sqr_binary64_11298`
6×	`exp-sqrt_binary64_11384` `distribute-lft-neg-in_binary64_11288`
3×	`cancel-sign-sub-inv_binary64_11297` `associate--r-_binary64_11270`
2×	`pow-sqr_binary64_11304` `distribute-neg-in_binary64_11292` `associate--r+_binary64_11267`
1×	`cosh-def_binary64_11517` `unpow1/2_binary64_11395` `exp-neg_binary64_11378` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `unswap-sqr_binary64_11299` `distribute-rgt-neg-out_binary64_11291` `distribute-lft-neg-out_binary64_11290`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `log-pow_binary64_11420` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `unpow2_binary64_11396` `pow-plus_binary64_11394` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow1_binary64_11389` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `exp-diff_binary64_11379` `e-exp-1_binary64_11376` `exp-0_binary64_11373` `rem-log-exp_binary64_11372` `rem-exp-log_binary64_11371` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-3cbrt-lft_binary64_11356` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `mul-1-neg_binary64_11323` `remove-double-neg_binary64_11319` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313` `div0_binary64_11312` `*-inverses_binary64_11311` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `remove-double-div_binary64_11307` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `difference-of-squares_binary64_11300` `cancel-sign-sub_binary64_11296` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `distribute-rgt-out--_binary64_11285` `distribute-lft-out--_binary64_11283` `count-2_binary64_11279`

Counts

81 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	1428
1	406	1226
2	1426	1223
3	4470	1223
4	5000	1223
5	4997	1223
6	4991	1223

prune57.0ms (0.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	53	7	60
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	53	8	61

Error

0.1b

Counts

61 → 8

Compiler

Compiled 895 to 292 computations (67.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 (cosh.f64 x) (/.f64 y (.f64 x z)))
6.1b	(/.f64 y (*.f64 x z))

rewrite58.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
9×	`add-sqr-sqrt_binary64_11353`
7×	`add-cube-cbrt_binary64_11366` `-un-lft-identity_binary64_11331` `associate-r*_binary64_11271`
6×	`times-frac_binary64_11337`
5×	`prod-exp_binary64_11380` `cbrt-unprod_binary64_11364`
4×	`pow1_binary64_11392` `div-exp_binary64_11382` `cbrt-undiv_binary64_11365`
3×	`associate-/l_binary64_11276` `associate-l*_binary64_11272`
2×	`add-log-exp_binary64_11370` `div-inv_binary64_11328` `cosh-def_binary64_11517`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `associate-/r_binary64_11275` `pow-prod-down_binary64_11402` `frac-times_binary64_11341` `unswap-sqr_binary64_11299` `associate-l/_binary64_11274` `associate-r/_binary64_11273` `-commutative_binary64_11262`

Counts

2 → 50

Calls

2 calls:

8.0ms	(.f64 (cosh.f64 x) (/.f64 y (.f64 x z)))
4.0ms	(/.f64 y (*.f64 x z))

Compiler

Compiled 720 to 172 computations (76.1% saved)

series640.0ms (7.1%)

Error

0.1b

Counts

2 → 21

Calls

2 calls:

466.0ms	(.f64 (cosh.f64 x) (/.f64 y (.f64 x z)))
159.0ms	(/.f64 y (*.f64 x z))

Compiler

Compiled 757 to 492 computations (35% saved)

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

833×	`times-frac_binary64_11337`
524×	`associate-*l/_binary64_11274`
519×	`associate-*r/_binary64_11273`
491×	`associate-/l*_binary64_11276`
396×	`associate-/r*_binary64_11275`
137×	`associate-/l/_binary64_11278`
105×	`log-div_binary64_11418`
104×	`associate-l_binary64_11272`
85×	`associate-/r/_binary64_11277`
79×	`associate-r_binary64_11271`
71×	`*-commutative_binary64_11262`
53×	`log-prod_binary64_11417`
37×	`distribute-lft-in_binary64_11280`
36×	`distribute-rgt-in_binary64_11281`
22×	`sub-neg_binary64_11324`
20×	`sqr-pow_binary64_11303`
19×	`+-commutative_binary64_11261`
14×	`exp-prod_binary64_11383`
13×	`cube-div_binary64_11360` `*-lft-identity_binary64_11320`
10×	`*-rgt-identity_binary64_11321` `swap-sqr_binary64_11298`
9×	`associate-+r+_binary64_11263`
8×	`cube-prod_binary64_11359` `associate-+l+_binary64_11264`
7×	`log-rec_binary64_11419` `neg-mul-1_binary64_11327` `neg-sub0_binary64_11326`
6×	`cube-unmult_binary64_11368`
4×	`exp-sqrt_binary64_11384` `distribute-lft-out_binary64_11282` `associate--r+_binary64_11267`
3×	`exp-sum_binary64_11377` `unswap-sqr_binary64_11299` `distribute-rgt-out_binary64_11284` `associate-+r-_binary64_11265`
2×	`unsub-neg_binary64_11325` `pow-sqr_binary64_11304` `distribute-neg-in_binary64_11292` `distribute-rgt-neg-in_binary64_11289` `distribute-lft-neg-in_binary64_11288` `associate-+l-_binary64_11266`
1×	`cosh-def_binary64_11517` `unpow3_binary64_11397` `exp-neg_binary64_11378` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `cube-mult_binary64_11361` `/-rgt-identity_binary64_11322` `cancel-sign-sub-inv_binary64_11297`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `log-pow_binary64_11420` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `unpow2_binary64_11396` `unpow1/2_binary64_11395` `pow-plus_binary64_11394` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow1_binary64_11389` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `exp-diff_binary64_11379` `e-exp-1_binary64_11376` `exp-0_binary64_11373` `rem-log-exp_binary64_11372` `rem-exp-log_binary64_11371` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-3cbrt-lft_binary64_11356` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `div-sub_binary64_11336` `mul-1-neg_binary64_11323` `remove-double-neg_binary64_11319` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313` `div0_binary64_11312` `*-inverses_binary64_11311` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `remove-double-div_binary64_11307` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `difference-of-squares_binary64_11300` `cancel-sign-sub_binary64_11296` `distribute-neg-frac_binary64_11295` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `distribute-rgt-neg-out_binary64_11291` `distribute-lft-neg-out_binary64_11290` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `distribute-rgt-out--_binary64_11285` `distribute-lft-out--_binary64_11283` `count-2_binary64_11279` `associate--r-_binary64_11270` `associate--l-_binary64_11269` `associate--l+_binary64_11268`

Counts

71 → 47

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	127	1131
1	303	962
2	1052	962
3	4820	962
4	4979	962

prune44.0ms (0.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	42	5	47
Fresh	4	2	6
Picked	0	1	1
Done	0	1	1
Total	46	9	55

Error

0.0b

Counts

55 → 9

Compiler

Compiled 709 to 222 computations (68.7% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
3.1b	(/.f64 x (/.f64 (cbrt.f64 y) z))
3.8b	(/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 x (/.f64 (cbrt.f64 y) z)))

rewrite375.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

449×	`times-frac_binary64_11337`
205×	`add-cube-cbrt_binary64_11366` `add-sqr-sqrt_binary64_11353` `*-un-lft-identity_binary64_11331`
96×	`cbrt-prod_binary64_11362`
93×	`associate-/r*_binary64_11275`
30×	`add-exp-log_binary64_11369`
21×	`add-cbrt-cube_binary64_11367`
15×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365`
14×	`div-inv_binary64_11328`
4×	`pow1_binary64_11392` `add-log-exp_binary64_11370` `associate-/r/_binary64_11277` `associate-/l*_binary64_11276`
3×	`prod-exp_binary64_11380` `cbrt-unprod_binary64_11364`
2×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `pow1/3_binary64_11413`

Counts

4 → 294

Calls

4 calls:

20.0ms	(/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 x (/.f64 (cbrt.f64 y) z)))
9.0ms	(/.f64 x (/.f64 (cbrt.f64 y) z))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 7716 to 1620 computations (79% saved)

series875.0ms (9.7%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

454.0ms	(/.f64 x (/.f64 (cbrt.f64 y) z))
189.0ms	(/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 x (/.f64 (cbrt.f64 y) z)))
116.0ms	(cbrt.f64 y)
100.0ms	(cbrt.f64 y)

Compiler

Compiled 1050 to 692 computations (34.1% saved)

simplify296.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

585×	`associate-/r/_binary64_11277`
575×	`associate-/l/_binary64_11278`
401×	`associate-/l*_binary64_11276`
384×	`associate-*l/_binary64_11274`
300×	`*-commutative_binary64_11262`
290×	`times-frac_binary64_11337`
280×	`associate-/r*_binary64_11275`
209×	`associate-l_binary64_11272`
184×	`associate-*r/_binary64_11273`
132×	`*-rgt-identity_binary64_11321`
93×	`log-prod_binary64_11417`
91×	`log-div_binary64_11418`
89×	`associate-r_binary64_11271`
82×	`unswap-sqr_binary64_11299`
74×	`cube-prod_binary64_11359`
73×	`cube-div_binary64_11360`
46×	`exp-prod_binary64_11383`
37×	`sub-neg_binary64_11324`
36×	`*-lft-identity_binary64_11320`
25×	`sqr-pow_binary64_11303`
24×	`unpow3_binary64_11397`
23×	`neg-sub0_binary64_11326`
22×	`cube-mult_binary64_11361`
20×	`neg-mul-1_binary64_11327`
13×	`/-rgt-identity_binary64_11322`
11×	`log-pow_binary64_11420`
10×	`div-sub_binary64_11336` `distribute-neg-frac_binary64_11295`
9×	`cube-unmult_binary64_11368`
6×	`pow-plus_binary64_11394` `distribute-rgt-neg-in_binary64_11289` `distribute-lft-neg-in_binary64_11288` `+-commutative_binary64_11261`
5×	`log-rec_binary64_11419` `associate--r+_binary64_11267`
4×	`unpow1/3_binary64_11398` `mul-1-neg_binary64_11323` `remove-double-neg_binary64_11319`
3×	`rem-sqrt-square_binary64_11344` `unsub-neg_binary64_11325` `remove-double-div_binary64_11307` `distribute-neg-in_binary64_11292` `associate--r-_binary64_11270`
2×	`exp-diff_binary64_11379` `pow-sqr_binary64_11304` `swap-sqr_binary64_11298` `distribute-frac-neg_binary64_11294` `associate--l+_binary64_11268`
1×	`exp-sum_binary64_11377` `1-exp_binary64_11375` `rem-3cbrt-lft_binary64_11356` `rem-cube-cbrt_binary64_11354` `div0_binary64_11312` `cancel-sign-sub-inv_binary64_11297` `count-2_binary64_11279` `associate-+r-_binary64_11265` `associate-+r+_binary64_11263`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `cosh-def_binary64_11517` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `pow-base-0_binary64_11415` `unpow2_binary64_11396` `unpow1/2_binary64_11395` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow1_binary64_11389` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `exp-sqrt_binary64_11384` `div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `exp-neg_binary64_11378` `e-exp-1_binary64_11376` `exp-1-e_binary64_11374` `exp-0_binary64_11373` `rem-log-exp_binary64_11372` `rem-exp-log_binary64_11371` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-cbrt-cube_binary64_11355` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `rem-square-sqrt_binary64_11343` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313` `*-inverses_binary64_11311` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `difference-of-squares_binary64_11300` `cancel-sign-sub_binary64_11296` `distribute-neg-out_binary64_11293` `distribute-rgt-neg-out_binary64_11291` `distribute-lft-neg-out_binary64_11290` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `distribute-rgt-out--_binary64_11285` `distribute-rgt-out_binary64_11284` `distribute-lft-out--_binary64_11283` `distribute-lft-out_binary64_11282` `distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280` `associate--l-_binary64_11269` `associate-+l-_binary64_11266` `associate-+l+_binary64_11264`

Counts

318 → 232

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	435	7839
1	1042	6674
2	4650	6665
3	4644	6665
4	4998	6665
5	4971	6665

prune222.0ms (2.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	231	1	232
Fresh	1	5	6
Picked	0	1	1
Done	1	1	2
Total	233	8	241

Error

Counts

241 → 8

Compiler

Compiled 5078 to 1369 computations (73% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (cosh.f64 x) (/.f64 y (/.f64 x (/.f64 1 z))))
0.2b	(/.f64 x (/.f64 1 z))
6.1b	(/.f64 y (/.f64 x (/.f64 1 z)))

rewrite747.0ms (8.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

810×	`times-frac_binary64_11337`
399×	`add-sqr-sqrt_binary64_11353`
382×	`*-un-lft-identity_binary64_11331`
381×	`add-cube-cbrt_binary64_11366`
137×	`associate-r_binary64_11271`
57×	`associate-/r*_binary64_11275`
49×	`add-exp-log_binary64_11369`
35×	`div-inv_binary64_11328`
31×	`add-cbrt-cube_binary64_11367`
28×	`div-exp_binary64_11382`
15×	`cbrt-undiv_binary64_11365`
10×	`associate-/r/_binary64_11277`
6×	`associate-/l*_binary64_11276` `prod-exp_binary64_11380`
5×	`pow1_binary64_11392` `unswap-sqr_binary64_11299`
4×	`cbrt-unprod_binary64_11364`
3×	`1-exp_binary64_11375` `rec-exp_binary64_11381` `add-log-exp_binary64_11370` `associate-l_binary64_11272`
2×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `cosh-def_binary64_11517`
1×	`pow-prod-down_binary64_11402` `frac-times_binary64_11341` `associate-l/_binary64_11274` `associate-r/_binary64_11273` `*-commutative_binary64_11262`

Counts

3 → 437

Calls

3 calls:

50.0ms	(*.f64 (cosh.f64 x) (/.f64 y (/.f64 x (/.f64 1 z))))
15.0ms	(/.f64 y (/.f64 x (/.f64 1 z)))
7.0ms	(/.f64 x (/.f64 1 z))

Compiler

Compiled 10116 to 5138 computations (49.2% saved)

series672.0ms (7.5%)

Error

Counts

3 → 27

Calls

3 calls:

443.0ms	(*.f64 (cosh.f64 x) (/.f64 y (/.f64 x (/.f64 1 z))))
154.0ms	(/.f64 y (/.f64 x (/.f64 1 z)))
59.0ms	(/.f64 x (/.f64 1 z))

Compiler

Compiled 901 to 576 computations (36.1% saved)

simplify309.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

512×	`associate-/r/_binary64_11277`
478×	`associate-*r/_binary64_11273`
421×	`associate-*l/_binary64_11274`
347×	`associate-/l/_binary64_11278`
319×	`associate-/l*_binary64_11276`
318×	`associate-l_binary64_11272`
308×	`associate-r_binary64_11271`
247×	`associate-/r*_binary64_11275`
215×	`times-frac_binary64_11337`
121×	`*-commutative_binary64_11262`
28×	`log-div_binary64_11418` `log-prod_binary64_11417`
24×	`exp-prod_binary64_11383`
19×	`sub-neg_binary64_11324`
18×	`cube-div_binary64_11360`
17×	`cube-prod_binary64_11359`
11×	`+-commutative_binary64_11261`
10×	`remove-double-div_binary64_11307`
9×	`/-rgt-identity_binary64_11322`
8×	`swap-sqr_binary64_11298`
7×	`cube-unmult_binary64_11368` `neg-mul-1_binary64_11327` `neg-sub0_binary64_11326`
6×	`sqr-pow_binary64_11303`
5×	`associate-+r-_binary64_11265`
4×	`exp-sqrt_binary64_11384` `unswap-sqr_binary64_11299` `distribute-neg-frac_binary64_11295` `distribute-lft-out_binary64_11282` `distribute-lft-in_binary64_11280`
3×	`log-rec_binary64_11419` `exp-sum_binary64_11377` `*-rgt-identity_binary64_11321` `cancel-sign-sub-inv_binary64_11297` `distribute-neg-in_binary64_11292` `distribute-lft-neg-in_binary64_11288` `distribute-rgt-out_binary64_11284` `distribute-rgt-in_binary64_11281` `associate--r-_binary64_11270` `associate-+r+_binary64_11263`
2×	`distribute-rgt-neg-in_binary64_11289`
1×	`cosh-def_binary64_11517` `unpow3_binary64_11397` `exp-neg_binary64_11378` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `cube-mult_binary64_11361` `div-sub_binary64_11336` `unsub-neg_binary64_11325` `*-lft-identity_binary64_11320` `--rgt-identity_binary64_11317`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `log-pow_binary64_11420` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `unpow2_binary64_11396` `unpow1/2_binary64_11395` `pow-plus_binary64_11394` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow1_binary64_11389` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `exp-diff_binary64_11379` `e-exp-1_binary64_11376` `exp-0_binary64_11373` `rem-log-exp_binary64_11372` `rem-exp-log_binary64_11371` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-3cbrt-lft_binary64_11356` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `mul-1-neg_binary64_11323` `remove-double-neg_binary64_11319` `sub0-neg_binary64_11318` `+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313` `div0_binary64_11312` `*-inverses_binary64_11311` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `pow-sqr_binary64_11304` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `difference-of-squares_binary64_11300` `cancel-sign-sub_binary64_11296` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `distribute-rgt-neg-out_binary64_11291` `distribute-lft-neg-out_binary64_11290` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `distribute-rgt-out--_binary64_11285` `distribute-lft-out--_binary64_11283` `count-2_binary64_11279` `associate--l-_binary64_11269` `associate--l+_binary64_11268` `associate--r+_binary64_11267` `associate-+l-_binary64_11266` `associate-+l+_binary64_11264`

Counts

464 → 405

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	498	9365
1	1148	8997
2	4852	8997
3	4999	8997
4	4978	8997

prune346.0ms (3.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	404	1	405
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	406	7	413

Error

Counts

413 → 7

Compiler

Compiled 7616 to 2467 computations (67.6% saved)

regimes870.0ms (9.7%)

Accuracy

Total 0.3b remaining (89.1%)

Threshold costs 0.3b (89.1%)

Compiler

Compiled 4200 to 2912 computations (30.7% saved)

bsearch2.0ms (0%)

Compiler: Compiled 6 to 6 computations (0% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64_11262`
1×	`1-exp_binary64_11375`
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_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `unpow1_binary64_11389` `e-exp-1_binary64_11376` `exp-1-e_binary64_11374` `exp-0_binary64_11373` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `neg-mul-1_binary64_11327` `neg-sub0_binary64_11326` `unsub-neg_binary64_11325` `sub-neg_binary64_11324` `mul-1-neg_binary64_11323` `/-rgt-identity_binary64_11322` `-rgt-identity_binary64_11321` `-lft-identity_binary64_11320` `remove-double-neg_binary64_11319` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `cancel-sign-sub-inv_binary64_11297` `cancel-sign-sub_binary64_11296` `distribute-neg-frac_binary64_11295` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `distribute-neg-in_binary64_11292` `distribute-rgt-neg-out_binary64_11291` `distribute-lft-neg-out_binary64_11290` `distribute-rgt-neg-in_binary64_11289` `distribute-lft-neg-in_binary64_11288` `+-commutative_binary64_11261`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	67
1	27	67
2	26	67

end0.0ms (0%)

sample1.8s (20%)

Algorithm

1×

intervals

Results

280.0ms	8000×	body	128	valid
245.0ms	7426×	body	128	invalid

Compiler

Compiled 867 to 592 computations (31.7% saved)

Details

analyze538.0ms (6%)

sample35.0ms (0.4%)

simplify100.0ms (1.1%)

prune4.0ms (0%)

localize6.0ms (0.1%)

rewrite70.0ms (0.8%)

series723.0ms (8%)

simplify114.0ms (1.3%)

prune57.0ms (0.6%)

localize6.0ms (0.1%)

rewrite58.0ms (0.6%)

series640.0ms (7.1%)

simplify67.0ms (0.7%)

prune44.0ms (0.5%)

localize9.0ms (0.1%)

rewrite375.0ms (4.2%)

series875.0ms (9.7%)

simplify296.0ms (3.3%)

prune222.0ms (2.5%)

localize7.0ms (0.1%)

rewrite747.0ms (8.3%)

series672.0ms (7.5%)

simplify309.0ms (3.4%)

prune346.0ms (3.8%)

regimes870.0ms (9.7%)

bsearch2.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.8s (20%)

Profiling