Details

analyze219.0ms (10.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

26×	`cancel-sign-sub-inv_binary64_11297`
24×	`distribute-rgt-in_binary64_11281` `associate--r+_binary64_11267`
20×	`sub-neg_binary64_11324`
16×	`neg-mul-1_binary64_11327`
14×	`distribute-rgt-neg-in_binary64_11289`
12×	`neg-sub0_binary64_11326`
10×	`distribute-rgt-neg-out_binary64_11291` `distribute-lft-neg-in_binary64_11288` `*-commutative_binary64_11262`
8×	`unsub-neg_binary64_11325` `distribute-lft-neg-out_binary64_11290` `associate-r_binary64_11271` `associate--r-_binary64_11270`
6×	`distribute-neg-in_binary64_11292` `associate-+l-_binary64_11266` `+-commutative_binary64_11261`
4×	`-lft-identity_binary64_11320` `remove-double-neg_binary64_11319` `sub0-neg_binary64_11318` `distribute-lft-in_binary64_11280` `associate-l*_binary64_11272`
2×	`+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `associate-+r-_binary64_11265` `associate-+r+_binary64_11263`
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` `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` `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` `unpow3_binary64_11397` `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` `exp-sqrt_binary64_11384` `exp-prod_binary64_11383` `div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `exp-diff_binary64_11379` `exp-neg_binary64_11378` `exp-sum_binary64_11377` `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-unmult_binary64_11368` `cube-mult_binary64_11361` `cube-div_binary64_11360` `cube-prod_binary64_11359` `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` `times-frac_binary64_11337` `div-sub_binary64_11336` `mul-1-neg_binary64_11323` `/-rgt-identity_binary64_11322` `-rgt-identity_binary64_11321` `--rgt-identity_binary64_11317` `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` `pow-sqr_binary64_11304` `sqr-pow_binary64_11303` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `difference-of-squares_binary64_11300` `unswap-sqr_binary64_11299` `swap-sqr_binary64_11298` `cancel-sign-sub_binary64_11296` `distribute-neg-frac_binary64_11295` `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-rgt-out_binary64_11284` `distribute-lft-out--_binary64_11283` `distribute-lft-out_binary64_11282` `count-2_binary64_11279` `associate-/l/_binary64_11278` `associate-/r/_binary64_11277` `associate-/l_binary64_11276` `associate-/r_binary64_11275` `associate-l/_binary64_11274` `associate-r/_binary64_11273` `associate--l-_binary64_11269` `associate--l+_binary64_11268` `associate-+l+_binary64_11264`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	52	14
4	80	14
5	121	14
6	163	14
7	182	14
8	184	14
9	156	14
0	2	2
1	2	2

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
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
56.2%	43.7%	0.1%	7
65.6%	34.3%	0.1%	8
76.5%	23.4%	0.1%	9
82%	18%	0.1%	10
87.8%	12.1%	0.1%	11
90.7%	9.2%	0.1%	12
93.8%	6.1%	0.1%	13
95.3%	4.6%	0.1%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample17.0ms (0.8%)

Algorithm

1×

intervals

Results

8.0ms	255×	body	128	valid
0.0ms	1×	body	2048	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify14.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

32×	`distribute-rgt-in_binary64_11281`
26×	`cancel-sign-sub-inv_binary64_11297`
22×	`sub-neg_binary64_11324`
19×	`neg-mul-1_binary64_11327` `distribute-lft-in_binary64_11280`
18×	`associate--r+_binary64_11267`
17×	`neg-sub0_binary64_11326` `distribute-lft-neg-out_binary64_11290`
15×	`unsub-neg_binary64_11325` `distribute-neg-in_binary64_11292`
13×	`distribute-rgt-neg-out_binary64_11291`
12×	`distribute-rgt-neg-in_binary64_11289`
9×	`*-commutative_binary64_11262`
8×	`associate-r_binary64_11271` `associate--r-_binary64_11270` `associate-+l-_binary64_11266`
7×	`distribute-lft-neg-in_binary64_11288`
6×	`sub0-neg_binary64_11318`
5×	`remove-double-neg_binary64_11319` `associate-l_binary64_11272`
4×	`*-lft-identity_binary64_11320` `+-commutative_binary64_11261`
3×	`+-lft-identity_binary64_11315` `associate-+l+_binary64_11264`
2×	`*-rgt-identity_binary64_11321` `--rgt-identity_binary64_11317` `associate--l+_binary64_11268`
1×	`1-exp_binary64_11375` `+-rgt-identity_binary64_11316` `distribute-rgt-out--_binary64_11285` `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` `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` `unpow3_binary64_11397` `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` `exp-sqrt_binary64_11384` `exp-prod_binary64_11383` `div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `exp-diff_binary64_11379` `exp-neg_binary64_11378` `exp-sum_binary64_11377` `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-unmult_binary64_11368` `cube-mult_binary64_11361` `cube-div_binary64_11360` `cube-prod_binary64_11359` `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` `times-frac_binary64_11337` `div-sub_binary64_11336` `mul-1-neg_binary64_11323` `/-rgt-identity_binary64_11322` `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` `pow-sqr_binary64_11304` `sqr-pow_binary64_11303` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `difference-of-squares_binary64_11300` `unswap-sqr_binary64_11299` `swap-sqr_binary64_11298` `cancel-sign-sub_binary64_11296` `distribute-neg-frac_binary64_11295` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `distribute-rgt-out_binary64_11284` `distribute-lft-out--_binary64_11283` `distribute-lft-out_binary64_11282` `count-2_binary64_11279` `associate-/l/_binary64_11278` `associate-/r/_binary64_11277` `associate-/l_binary64_11276` `associate-/r_binary64_11275` `associate-l/_binary64_11274` `associate-*r/_binary64_11273` `associate--l-_binary64_11269`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	20	7
3	34	7
4	48	7
5	73	7
6	113	7
7	150	7
8	173	7
9	193	7
10	184	7
11	156	7

prune1.0ms (0.1%)

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.0b

Counts

1 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 500 (-.f64 x y))

rewrite32.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`add-sqr-sqrt_binary64_11353`
7×	`*-un-lft-identity_binary64_11331`
6×	`cancel-sign-sub-inv_binary64_11297`
5×	`add-cube-cbrt_binary64_11366` `associate-r_binary64_11271`
4×	`distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280`
3×	`pow1_binary64_11392` `add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367` `associate-l_binary64_11272`
2×	`sub-neg_binary64_11324` `associate-*r/_binary64_11273`
1×	`pow-prod-down_binary64_11402` `prod-exp_binary64_11380` `add-log-exp_binary64_11370` `cbrt-unprod_binary64_11364` `unswap-sqr_binary64_11299` `flip3--_binary64_11335` `flip--_binary64_11306` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283` `*-commutative_binary64_11262`

Counts

1 → 30

Calls

1 calls:

8.0ms

(*.f64 500 (-.f64 x y))

Compiler

Compiled 338 to 187 computations (44.7% saved)

series102.0ms (5%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

95.0ms

(*.f64 500 (-.f64 x y))

Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify48.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

555×	`unsub-neg_binary64_11325`
539×	`distribute-rgt-neg-out_binary64_11291`
501×	`*-commutative_binary64_11262`
332×	`distribute-neg-out_binary64_11293`
281×	`associate-l_binary64_11272`
263×	`neg-sub0_binary64_11326`
257×	`associate-r_binary64_11271`
245×	`neg-mul-1_binary64_11327`
178×	`distribute-lft-neg-out_binary64_11290`
132×	`distribute-rgt-in_binary64_11281`
128×	`distribute-lft-in_binary64_11280`
122×	`sqr-pow_binary64_11303`
114×	`unswap-sqr_binary64_11299`
90×	`exp-prod_binary64_11383`
80×	`associate-+r+_binary64_11263`
68×	`distribute-neg-in_binary64_11292`
62×	`cancel-sign-sub-inv_binary64_11297`
61×	`associate-+l+_binary64_11264`
53×	`swap-sqr_binary64_11298`
49×	`sub-neg_binary64_11324`
41×	`+-commutative_binary64_11261`
37×	`exp-sum_binary64_11377`
26×	`distribute-rgt-out_binary64_11284`
24×	`distribute-lft-out_binary64_11282`
22×	`pow-sqr_binary64_11304` `distribute-lft-neg-in_binary64_11288`
21×	`exp-diff_binary64_11379`
19×	`div-sub_binary64_11336`
18×	`distribute-rgt-neg-in_binary64_11289`
17×	`difference-of-squares_binary64_11300`
13×	`+-rgt-identity_binary64_11316` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313`
11×	`sub0-neg_binary64_11318`
10×	`sqr-neg_binary64_11345`
9×	`cube-unmult_binary64_11368` `mul-1-neg_binary64_11323` `associate-+l-_binary64_11266`
8×	`times-frac_binary64_11337`
7×	`associate-+r-_binary64_11265`
6×	`pow-plus_binary64_11394` `distribute-frac-neg_binary64_11294`
5×	`cube-prod_binary64_11359` `remove-double-neg_binary64_11319`
4×	`unpow3_binary64_11397`
3×	`--rgt-identity_binary64_11317` `distribute-neg-frac_binary64_11295` `associate-/l*_binary64_11276`
2×	`exp-neg_binary64_11378` `cube-mult_binary64_11361` `cube-neg_binary64_11358` `rem-sqrt-square_binary64_11344` `associate-*r/_binary64_11273` `associate--r+_binary64_11267`
1×	`log-prod_binary64_11417` `1-exp_binary64_11375` `rem-3cbrt-lft_binary64_11356` `rem-square-sqrt_binary64_11343` `+-lft-identity_binary64_11315` `cancel-sign-sub_binary64_11296` `distribute-rgt-out--_binary64_11285` `distribute-lft-out--_binary64_11283` `associate-/l/_binary64_11278` `associate-*l/_binary64_11274`
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` `log-pow_binary64_11420` `log-rec_binary64_11419` `log-div_binary64_11418` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `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` `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-div_binary64_11360` `rem-3cbrt-rft_binary64_11357` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `/-rgt-identity_binary64_11322` `-rgt-identity_binary64_11321` `-lft-identity_binary64_11320` `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` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `count-2_binary64_11279` `associate-/r/_binary64_11277` `associate-/r_binary64_11275` `associate--r-_binary64_11270` `associate--l-_binary64_11269` `associate--l+_binary64_11268`

Counts

42 → 23

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	72	367
1	154	343
2	344	343
3	1347	343
4	2212	343
5	4959	343

prune15.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	21	2	23
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	3	24

Error

Counts

24 → 3

Compiler

Compiled 175 to 114 computations (34.9% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (.f64 500 x) (.f64 -500 y))

rewrite18.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64_11370`
1×	`sum-log_binary64_11422` `pow1_binary64_11392` `add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367` `add-cube-cbrt_binary64_11366` `add-sqr-sqrt_binary64_11353` `flip3-+_binary64_11334` `*-un-lft-identity_binary64_11331` `flip-+_binary64_11305` `+-commutative_binary64_11261`

Counts

1 → 11

Calls

1 calls:

4.0ms

(+.f64 (*.f64 500 x) (*.f64 -500 y))

Compiler

Compiled 178 to 138 computations (22.5% saved)

series128.0ms (6.3%)

Error

Counts

1 → 12

Calls

1 calls:

121.0ms

(+.f64 (*.f64 500 x) (*.f64 -500 y))

Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify74.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

512×	`distribute-rgt-neg-out_binary64_11291`
402×	`distribute-rgt-in_binary64_11281`
364×	`distribute-lft-in_binary64_11280`
336×	`times-frac_binary64_11337`
320×	`*-commutative_binary64_11262`
284×	`associate-l_binary64_11272`
257×	`distribute-rgt-out_binary64_11284`
248×	`associate-r_binary64_11271`
206×	`neg-sub0_binary64_11326`
197×	`distribute-neg-in_binary64_11292`
184×	`neg-mul-1_binary64_11327`
151×	`distribute-lft-out_binary64_11282`
131×	`cancel-sign-sub-inv_binary64_11297`
126×	`distribute-lft-neg-out_binary64_11290`
106×	`unswap-sqr_binary64_11299`
104×	`sub-neg_binary64_11324`
97×	`distribute-rgt-neg-in_binary64_11289`
92×	`associate-+l+_binary64_11264`
90×	`associate-+r+_binary64_11263`
89×	`distribute-lft-neg-in_binary64_11288`
88×	`remove-double-neg_binary64_11319`
76×	`sqr-pow_binary64_11303`
60×	`cancel-sign-sub_binary64_11296`
59×	`unsub-neg_binary64_11325`
56×	`exp-prod_binary64_11383`
54×	`cube-prod_binary64_11359`
45×	`distribute-rgt-out--_binary64_11285`
36×	`mul0-rgt_binary64_11314` `mul0-lft_binary64_11313`
32×	`+-commutative_binary64_11261`
28×	`distribute-neg-out_binary64_11293`
27×	`exp-sum_binary64_11377`
22×	`exp-diff_binary64_11379`
20×	`associate-+l-_binary64_11266`
18×	`associate-+r-_binary64_11265`
17×	`pow-sqr_binary64_11304` `swap-sqr_binary64_11298`
13×	`cube-neg_binary64_11358`
12×	`unpow3_binary64_11397` `sub0-neg_binary64_11318`
11×	`distribute-lft-out--_binary64_11283`
10×	`div-sub_binary64_11336`
9×	`cube-mult_binary64_11361` `+-rgt-identity_binary64_11316`
8×	`cube-unmult_binary64_11368` `sqr-neg_binary64_11345`
7×	`difference-of-squares_binary64_11300`
6×	`associate--r-_binary64_11270`
5×	`exp-neg_binary64_11378` `distribute-frac-neg_binary64_11294`
4×	`pow-plus_binary64_11394` `--rgt-identity_binary64_11317` `associate-*r/_binary64_11273` `associate--l-_binary64_11269`
3×	`log-prod_binary64_11417` `associate-/l/_binary64_11278` `associate-/l_binary64_11276` `associate-/r_binary64_11275` `associate--r+_binary64_11267`
2×	`-lft-identity_binary64_11320` `associate-/r/_binary64_11277` `associate-l/_binary64_11274` `associate--l+_binary64_11268`
1×	`prod-exp_binary64_11380` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `*-rgt-identity_binary64_11321`
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` `log-pow_binary64_11420` `log-rec_binary64_11419` `log-div_binary64_11418` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `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` `e-exp-1_binary64_11376` `exp-0_binary64_11373` `rem-log-exp_binary64_11372` `rem-exp-log_binary64_11371` `cube-div_binary64_11360` `rem-3cbrt-rft_binary64_11357` `rem-3cbrt-lft_binary64_11356` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `mul-1-neg_binary64_11323` `/-rgt-identity_binary64_11322` `+-lft-identity_binary64_11315` `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` `distribute-neg-frac_binary64_11295` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `count-2_binary64_11279`

Counts

23 → 14

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	232
1	117	208
2	365	208
3	1190	204
4	3335	204
5	4571	204
6	4998	204

prune10.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	14	0	14
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	14	3	17

Error

Counts

17 → 3

Compiler

Compiled 139 to 83 computations (40.3% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 500 (-.f64 x y))
0.3b	(pow.f64 (*.f64 500 (-.f64 x y)) 3)
40.1b	(cbrt.f64 (pow.f64 (*.f64 500 (-.f64 x y)) 3))

rewrite86.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-sqr-sqrt_binary64_11353`
11×	`*-un-lft-identity_binary64_11331`
9×	`add-cube-cbrt_binary64_11366`
8×	`pow1_binary64_11392` `add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367` `cbrt-prod_binary64_11362`
6×	`associate-*r/_binary64_11273` `cancel-sign-sub-inv_binary64_11297`
5×	`associate-r_binary64_11271`
4×	`cube-div_binary64_11360` `distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280`
3×	`add-log-exp_binary64_11370` `flip3--_binary64_11335` `flip--_binary64_11306` `pow-unpow_binary64_11408` `associate-l_binary64_11272`
2×	`cbrt-div_binary64_11363` `unpow-prod-down_binary64_11410` `unpow3_binary64_11397` `cube-mult_binary64_11361` `cube-prod_binary64_11359` `sqr-pow_binary64_11303` `pow-prod-down_binary64_11402` `pow-pow_binary64_11403` `prod-exp_binary64_11380` `pow-exp_binary64_11399` `rem-cube-cbrt_binary64_11354` `cbrt-unprod_binary64_11364` `sub-neg_binary64_11324`
1×	`pow1/3_binary64_11413` `rem-cbrt-cube_binary64_11355` `pow-to-exp_binary64_11400` `unswap-sqr_binary64_11299` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283` `*-commutative_binary64_11262`

Counts

3 → 73

Calls

3 calls:

7.0ms	(*.f64 500 (-.f64 x y))
6.0ms	(pow.f64 (*.f64 500 (-.f64 x y)) 3)
3.0ms	(cbrt.f64 (pow.f64 (*.f64 500 (-.f64 x y)) 3))

Compiler

Compiled 1096 to 698 computations (36.3% saved)

series430.0ms (21.1%)

Error

Counts

3 → 48

Calls

3 calls:

149.0ms	(cbrt.f64 (pow.f64 (*.f64 500 (-.f64 x y)) 3))
137.0ms	(pow.f64 (*.f64 500 (-.f64 x y)) 3)
101.0ms	(*.f64 500 (-.f64 x y))

Compiler

Compiled 1318 to 1164 computations (11.7% saved)

simplify83.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

417×	`distribute-rgt-neg-out_binary64_11291`
388×	`distribute-rgt-in_binary64_11281`
385×	`distribute-lft-in_binary64_11280`
271×	`*-commutative_binary64_11262`
224×	`cancel-sign-sub-inv_binary64_11297`
213×	`unswap-sqr_binary64_11299`
189×	`exp-prod_binary64_11383`
181×	`sqr-pow_binary64_11303`
141×	`exp-sum_binary64_11377`
126×	`swap-sqr_binary64_11298`
114×	`unsub-neg_binary64_11325`
102×	`sub-neg_binary64_11324`
101×	`log-prod_binary64_11417`
97×	`cube-prod_binary64_11359`
75×	`associate-l_binary64_11272`
74×	`associate-r_binary64_11271`
73×	`neg-sub0_binary64_11326`
70×	`neg-mul-1_binary64_11327`
35×	`distribute-rgt-neg-in_binary64_11289`
34×	`pow-sqr_binary64_11304`
33×	`unpow3_binary64_11397`
32×	`+-commutative_binary64_11261`
31×	`distribute-lft-neg-out_binary64_11290`
28×	`distribute-lft-neg-in_binary64_11288`
27×	`cube-mult_binary64_11361`
26×	`exp-neg_binary64_11378`
19×	`associate-+l-_binary64_11266`
18×	`difference-of-squares_binary64_11300` `associate-+r-_binary64_11265`
17×	`distribute-rgt-out_binary64_11284`
16×	`mul0-rgt_binary64_11314` `mul0-lft_binary64_11313`
15×	`exp-diff_binary64_11379` `associate-+l+_binary64_11264`
14×	`pow-plus_binary64_11394` `+-rgt-identity_binary64_11316`
13×	`sub0-neg_binary64_11318` `associate-+r+_binary64_11263`
12×	`log-pow_binary64_11420` `associate--l+_binary64_11268`
11×	`distribute-rgt-out--_binary64_11285`
10×	`cube-unmult_binary64_11368`
9×	`div-sub_binary64_11336`
7×	`rem-cbrt-cube_binary64_11355` `sqr-neg_binary64_11345`
6×	`distribute-lft-out_binary64_11282` `associate--r+_binary64_11267`
5×	`rem-sqrt-square_binary64_11344` `distribute-neg-in_binary64_11292`
4×	`distribute-lft-out--_binary64_11283`
3×	`unpow1/2_binary64_11395` `unpow1_binary64_11389` `-rgt-identity_binary64_11321` `-lft-identity_binary64_11320` `associate-/l/_binary64_11278` `associate-*r/_binary64_11273`
2×	`unpow2_binary64_11396` `rem-3cbrt-lft_binary64_11356` `mul-1-neg_binary64_11323` `count-2_binary64_11279`
1×	`1-exp_binary64_11375` `sqr-abs_binary64_11346` `rem-square-sqrt_binary64_11343` `associate-/r/_binary64_11277` `associate-/l*_binary64_11276`
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` `log-rec_binary64_11419` `log-div_binary64_11418` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `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-1-e_binary64_11374` `exp-0_binary64_11373` `rem-log-exp_binary64_11372` `rem-exp-log_binary64_11371` `cube-div_binary64_11360` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-cube-cbrt_binary64_11354` `times-frac_binary64_11337` `/-rgt-identity_binary64_11322` `remove-double-neg_binary64_11319` `--rgt-identity_binary64_11317` `+-lft-identity_binary64_11315` `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` `cancel-sign-sub_binary64_11296` `distribute-neg-frac_binary64_11295` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `associate-/r_binary64_11275` `associate-*l/_binary64_11274` `associate--r-_binary64_11270` `associate--l-_binary64_11269`

Counts

121 → 91

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	147	1582
1	331	1519
2	899	1429
3	2781	1411
4	5208	1411

prune73.0ms (3.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	91	3	94

Error

Counts

94 → 3

Compiler

Compiled 1044 to 658 computations (37% saved)

regimes102.0ms (5%)

Accuracy

Total 0.0b remaining (74%)

Threshold costs 0.0b (74%)

Compiler

Compiled 536 to 488 computations (9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`sub-neg_binary64_11324` `*-commutative_binary64_11262` `+-commutative_binary64_11261`
1×	`neg-mul-1_binary64_11327` `neg-sub0_binary64_11326`
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` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `exp-0_binary64_11373` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `unsub-neg_binary64_11325` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	14	7
3	16	7
4	17	7
5	17	7

end0.0ms (0%)

sample567.0ms (27.8%)

Algorithm

1×

intervals

Results

145.0ms	7969×	body	128	valid
1.0ms	74×	body	128	invalid
1.0ms	9×	body	1024	valid
1.0ms	7×	body	2048	valid
0.0ms	8×	body	512	valid
0.0ms	7×	body	256	valid

Compiler

Compiled 140 to 129 computations (7.9% saved)

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	52	14
4	80	14
5	121	14
6	163	14
7	182	14
8	184	14
9	156	14
0	2	2
1	2	2

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	52	14
4	80	14
5	121	14
6	163	14
7	182	14
8	184	14
9	156	14
0	2	2
1	2	2

Details

analyze219.0ms (10.7%)

sample17.0ms (0.8%)

simplify14.0ms (0.7%)

prune1.0ms (0.1%)

localize3.0ms (0.2%)

rewrite32.0ms (1.6%)

series102.0ms (5%)

simplify48.0ms (2.3%)

prune15.0ms (0.7%)

localize7.0ms (0.3%)

rewrite18.0ms (0.9%)

series128.0ms (6.3%)

simplify74.0ms (3.6%)

prune10.0ms (0.5%)

localize6.0ms (0.3%)

rewrite86.0ms (4.2%)

series430.0ms (21.1%)

simplify83.0ms (4.1%)

prune73.0ms (3.6%)

regimes102.0ms (5%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample567.0ms (27.8%)

Profiling

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	52	14
4	80	14
5	121	14
6	163	14
7	182	14
8	184	14
9	156	14
0	2	2
1	2	2