Details

analyze926.0ms (5.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

736×	`distribute-rgt-in_binary64_8212`
734×	`distribute-lft-in_binary64_8211`
592×	`associate-l_binary64_8203`
568×	`unsub-neg_binary64_8256`
518×	`associate-r_binary64_8202`
221×	`neg-sub0_binary64_8257`
141×	`neg-mul-1_binary64_8258` `associate-+l+_binary64_8195`
127×	`distribute-rgt-neg-out_binary64_8222` `distribute-lft-neg-out_binary64_8221`
107×	`associate-*r/_binary64_8204`
105×	`associate-*l/_binary64_8205`
84×	`*-commutative_binary64_8193`
70×	`div-sub_binary64_8267`
52×	`associate-/l*_binary64_8207`
32×	`sub-neg_binary64_8255`
24×	`distribute-lft-neg-in_binary64_8219`
22×	`distribute-rgt-neg-in_binary64_8220` `associate-+l-_binary64_8197`
20×	`associate-+r-_binary64_8196` `+-commutative_binary64_8192`
16×	`associate-/r/_binary64_8208`
14×	`associate-+r+_binary64_8194`
12×	`distribute-rgt-out_binary64_8215` `distribute-lft-out_binary64_8213`
8×	`distribute-neg-in_binary64_8223` `associate-/r*_binary64_8206`
5×	`sub0-neg_binary64_8249`
4×	`+-rgt-identity_binary64_8247` `associate--r+_binary64_8198`
3×	`distribute-neg-frac_binary64_8226`
2×	`distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `associate--r-_binary64_8201`
1×	`1-exp_binary64_8306`
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_8525` `erf-erfc_binary64_8524` `erf-odd_binary64_8523` `if-if-and-not_binary64_8522` `if-if-and_binary64_8521` `if-if-or-not_binary64_8520` `if-if-or_binary64_8519` `if-not_binary64_8518` `if-same_binary64_8517` `if-false_binary64_8516` `if-true_binary64_8515` `not-gte_binary64_8514` `not-lte_binary64_8513` `not-gt_binary64_8512` `not-lt_binary64_8511` `gte-same_binary64_8510` `lte-same_binary64_8509` `gt-same_binary64_8508` `lt-same_binary64_8507` `sinh---cosh_binary64_8454` `sinh-+-cosh_binary64_8453` `sinh-cosh_binary64_8452` `tanh-def-c_binary64_8451` `tanh-def-b_binary64_8450` `tanh-def-a_binary64_8449` `cosh-def_binary64_8448` `sinh-def_binary64_8447` `tan-neg_binary64_8394` `cos-neg_binary64_8393` `sin-neg_binary64_8392` `tan-0_binary64_8391` `cos-0_binary64_8390` `sin-0_binary64_8389` `hang-m-tan_binary64_8388` `hang-p-tan_binary64_8387` `hang-m0-tan_binary64_8386` `hang-p0-tan_binary64_8385` `hang-0m-tan_binary64_8384` `hang-0p-tan_binary64_8383` `tan-+PI/2_binary64_8382` `tan-+PI_binary64_8381` `tan-PI_binary64_8380` `tan-PI/3_binary64_8379` `tan-PI/4_binary64_8378` `tan-PI/6_binary64_8377` `cos-+PI/2_binary64_8376` `cos-+PI_binary64_8375` `cos-PI_binary64_8374` `cos-PI/2_binary64_8373` `cos-PI/3_binary64_8372` `cos-PI/4_binary64_8371` `cos-PI/6_binary64_8370` `sin-+PI/2_binary64_8369` `sin-+PI_binary64_8368` `sin-PI_binary64_8367` `sin-PI/2_binary64_8366` `sin-PI/3_binary64_8365` `sin-PI/4_binary64_8364` `sin-PI/6_binary64_8363` `sub-1-sin_binary64_8362` `sub-1-cos_binary64_8361` `-1-add-sin_binary64_8360` `-1-add-cos_binary64_8359` `1-sub-sin_binary64_8358` `1-sub-cos_binary64_8357` `cos-sin-sum_binary64_8356` `log-E_binary64_8352` `log-pow_binary64_8351` `log-rec_binary64_8350` `log-div_binary64_8349` `log-prod_binary64_8348` `pow-base-0_binary64_8346` `unpow1/3_binary64_8329` `unpow3_binary64_8328` `unpow2_binary64_8327` `unpow1/2_binary64_8326` `pow-plus_binary64_8325` `exp-to-pow_binary64_8324` `pow-base-1_binary64_8322` `unpow0_binary64_8321` `unpow1_binary64_8320` `unpow-1_binary64_8319` `exp-lft-cube_binary64_8318` `exp-lft-sqr_binary64_8317` `exp-cbrt_binary64_8316` `exp-sqrt_binary64_8315` `exp-prod_binary64_8314` `div-exp_binary64_8313` `rec-exp_binary64_8312` `prod-exp_binary64_8311` `exp-diff_binary64_8310` `exp-neg_binary64_8309` `exp-sum_binary64_8308` `e-exp-1_binary64_8307` `exp-1-e_binary64_8305` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `cube-unmult_binary64_8299` `cube-mult_binary64_8292` `cube-div_binary64_8291` `cube-prod_binary64_8290` `cube-neg_binary64_8289` `rem-3cbrt-rft_binary64_8288` `rem-3cbrt-lft_binary64_8287` `rem-cbrt-cube_binary64_8286` `rem-cube-cbrt_binary64_8285` `sqr-abs_binary64_8277` `sqr-neg_binary64_8276` `rem-sqrt-square_binary64_8275` `rem-square-sqrt_binary64_8274` `times-frac_binary64_8268` `mul-1-neg_binary64_8254` `/-rgt-identity_binary64_8253` `-rgt-identity_binary64_8252` `-lft-identity_binary64_8251` `remove-double-neg_binary64_8250` `--rgt-identity_binary64_8248` `+-lft-identity_binary64_8246` `mul0-rgt_binary64_8245` `mul0-lft_binary64_8244` `div0_binary64_8243` `*-inverses_binary64_8242` `+-inverses_binary64_8241` `lft-mult-inverse_binary64_8240` `rgt-mult-inverse_binary64_8239` `remove-double-div_binary64_8238` `pow-sqr_binary64_8235` `sqr-pow_binary64_8234` `difference-of-sqr--1_binary64_8233` `difference-of-sqr-1_binary64_8232` `difference-of-squares_binary64_8231` `unswap-sqr_binary64_8230` `swap-sqr_binary64_8229` `cancel-sign-sub-inv_binary64_8228` `cancel-sign-sub_binary64_8227` `distribute-frac-neg_binary64_8225` `distribute-neg-out_binary64_8224` `distribute-rgt-out--_binary64_8216` `distribute-lft-out--_binary64_8214` `count-2_binary64_8210` `associate-/l/_binary64_8209` `associate--l-_binary64_8200` `associate--l+_binary64_8199`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	160
1	120	160
2	303	160
3	994	154
4	4495	154
5	5431	154
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
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

Compiler

Compiled 51 to 41 computations (19.6% saved)

sample161.0ms (0.9%)

Algorithm

1×

intervals

Results

92.0ms	99×	body	1024	valid
30.0ms	51×	body	512	valid
16.0ms	86×	body	128	valid
8.0ms	20×	body	256	valid

Compiler

Compiled 101 to 83 computations (17.8% saved)

simplify50.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

444×	`distribute-rgt-neg-out_binary64_8222`
438×	`distribute-lft-neg-out_binary64_8221`
418×	`distribute-rgt-in_binary64_8212`
417×	`distribute-lft-in_binary64_8211`
358×	`associate-*l/_binary64_8205`
350×	`unsub-neg_binary64_8256`
275×	`associate-l_binary64_8203`
239×	`associate-r_binary64_8202`
176×	`div-sub_binary64_8267`
148×	`*-commutative_binary64_8193`
124×	`distribute-neg-out_binary64_8224`
117×	`associate-/l*_binary64_8207`
103×	`neg-sub0_binary64_8257`
86×	`distribute-rgt-out_binary64_8215`
84×	`distribute-lft-out_binary64_8213`
64×	`associate-+l+_binary64_8195`
61×	`neg-mul-1_binary64_8258`
60×	`associate-+r+_binary64_8194`
58×	`associate-*r/_binary64_8204`
50×	`sub-neg_binary64_8255`
40×	`distribute-lft-neg-in_binary64_8219`
34×	`distribute-rgt-neg-in_binary64_8220`
28×	`times-frac_binary64_8268`
27×	`distribute-neg-in_binary64_8223`
26×	`+-commutative_binary64_8192`
24×	`associate-/r/_binary64_8208`
23×	`cancel-sign-sub-inv_binary64_8228`
20×	`mul0-rgt_binary64_8245` `mul0-lft_binary64_8244`
14×	`associate-/r*_binary64_8206`
12×	`mul-1-neg_binary64_8254`
11×	`distribute-frac-neg_binary64_8225` `associate-+l-_binary64_8197`
9×	`associate-+r-_binary64_8196`
7×	`sub0-neg_binary64_8249`
5×	`distribute-neg-frac_binary64_8226`
3×	`+-rgt-identity_binary64_8247` `associate-/l/_binary64_8209`
2×	`remove-double-neg_binary64_8250` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217`
1×	`1-exp_binary64_8306` `div0_binary64_8243`
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_8525` `erf-erfc_binary64_8524` `erf-odd_binary64_8523` `if-if-and-not_binary64_8522` `if-if-and_binary64_8521` `if-if-or-not_binary64_8520` `if-if-or_binary64_8519` `if-not_binary64_8518` `if-same_binary64_8517` `if-false_binary64_8516` `if-true_binary64_8515` `not-gte_binary64_8514` `not-lte_binary64_8513` `not-gt_binary64_8512` `not-lt_binary64_8511` `gte-same_binary64_8510` `lte-same_binary64_8509` `gt-same_binary64_8508` `lt-same_binary64_8507` `sinh---cosh_binary64_8454` `sinh-+-cosh_binary64_8453` `sinh-cosh_binary64_8452` `tanh-def-c_binary64_8451` `tanh-def-b_binary64_8450` `tanh-def-a_binary64_8449` `cosh-def_binary64_8448` `sinh-def_binary64_8447` `tan-neg_binary64_8394` `cos-neg_binary64_8393` `sin-neg_binary64_8392` `tan-0_binary64_8391` `cos-0_binary64_8390` `sin-0_binary64_8389` `hang-m-tan_binary64_8388` `hang-p-tan_binary64_8387` `hang-m0-tan_binary64_8386` `hang-p0-tan_binary64_8385` `hang-0m-tan_binary64_8384` `hang-0p-tan_binary64_8383` `tan-+PI/2_binary64_8382` `tan-+PI_binary64_8381` `tan-PI_binary64_8380` `tan-PI/3_binary64_8379` `tan-PI/4_binary64_8378` `tan-PI/6_binary64_8377` `cos-+PI/2_binary64_8376` `cos-+PI_binary64_8375` `cos-PI_binary64_8374` `cos-PI/2_binary64_8373` `cos-PI/3_binary64_8372` `cos-PI/4_binary64_8371` `cos-PI/6_binary64_8370` `sin-+PI/2_binary64_8369` `sin-+PI_binary64_8368` `sin-PI_binary64_8367` `sin-PI/2_binary64_8366` `sin-PI/3_binary64_8365` `sin-PI/4_binary64_8364` `sin-PI/6_binary64_8363` `sub-1-sin_binary64_8362` `sub-1-cos_binary64_8361` `-1-add-sin_binary64_8360` `-1-add-cos_binary64_8359` `1-sub-sin_binary64_8358` `1-sub-cos_binary64_8357` `cos-sin-sum_binary64_8356` `log-E_binary64_8352` `log-pow_binary64_8351` `log-rec_binary64_8350` `log-div_binary64_8349` `log-prod_binary64_8348` `pow-base-0_binary64_8346` `unpow1/3_binary64_8329` `unpow3_binary64_8328` `unpow2_binary64_8327` `unpow1/2_binary64_8326` `pow-plus_binary64_8325` `exp-to-pow_binary64_8324` `pow-base-1_binary64_8322` `unpow0_binary64_8321` `unpow1_binary64_8320` `unpow-1_binary64_8319` `exp-lft-cube_binary64_8318` `exp-lft-sqr_binary64_8317` `exp-cbrt_binary64_8316` `exp-sqrt_binary64_8315` `exp-prod_binary64_8314` `div-exp_binary64_8313` `rec-exp_binary64_8312` `prod-exp_binary64_8311` `exp-diff_binary64_8310` `exp-neg_binary64_8309` `exp-sum_binary64_8308` `e-exp-1_binary64_8307` `exp-1-e_binary64_8305` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `cube-unmult_binary64_8299` `cube-mult_binary64_8292` `cube-div_binary64_8291` `cube-prod_binary64_8290` `cube-neg_binary64_8289` `rem-3cbrt-rft_binary64_8288` `rem-3cbrt-lft_binary64_8287` `rem-cbrt-cube_binary64_8286` `rem-cube-cbrt_binary64_8285` `sqr-abs_binary64_8277` `sqr-neg_binary64_8276` `rem-sqrt-square_binary64_8275` `rem-square-sqrt_binary64_8274` `/-rgt-identity_binary64_8253` `-rgt-identity_binary64_8252` `-lft-identity_binary64_8251` `--rgt-identity_binary64_8248` `+-lft-identity_binary64_8246` `*-inverses_binary64_8242` `+-inverses_binary64_8241` `lft-mult-inverse_binary64_8240` `rgt-mult-inverse_binary64_8239` `remove-double-div_binary64_8238` `pow-sqr_binary64_8235` `sqr-pow_binary64_8234` `difference-of-sqr--1_binary64_8233` `difference-of-sqr-1_binary64_8232` `difference-of-squares_binary64_8231` `unswap-sqr_binary64_8230` `swap-sqr_binary64_8229` `cancel-sign-sub_binary64_8227` `distribute-rgt-out--_binary64_8216` `distribute-lft-out--_binary64_8214` `count-2_binary64_8210` `associate--r-_binary64_8201` `associate--l-_binary64_8200` `associate--l+_binary64_8199` `associate--r+_binary64_8198`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	80
1	80	80
2	190	80
3	581	77
4	2012	77
5	4670	77
6	4940	77

prune10.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.3b

Counts

2 → 2

Compiler

Compiled 146 to 116 computations (20.5% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.8b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite486.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

47×	`cancel-sign-sub-inv_binary64_8228`
44×	`add-sqr-sqrt_binary64_8284`
35×	`*-un-lft-identity_binary64_8262`
30×	`distribute-rgt-in_binary64_8212` `distribute-lft-in_binary64_8211`
29×	`add-cube-cbrt_binary64_8297`
19×	`times-frac_binary64_8268`
11×	`pow1_binary64_8323` `add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298`
9×	`associate-l_binary64_8203`
8×	`add-log-exp_binary64_8301` `sub-neg_binary64_8255` `sqrt-prod_binary64_8278`
7×	`associate-r_binary64_8202`
6×	`associate-*r/_binary64_8204`
5×	`difference-of-squares_binary64_8231`
4×	`flip3--_binary64_8266` `flip--_binary64_8237` `pow-prod-down_binary64_8333` `prod-exp_binary64_8311` `cbrt-unprod_binary64_8295`
3×	`distribute-lft-out--_binary64_8214`
2×	`diff-log_binary64_8354` `*-commutative_binary64_8193` `unswap-sqr_binary64_8230` `div-inv_binary64_8259`
1×	`diff-cos_binary64_8413`

Counts

4 → 128

Calls

4 calls:

15.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
11.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
6.0ms	(-.f64 3 (sqrt.f64 5))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Compiler

Compiled 7300 to 4859 computations (33.4% saved)

series542.0ms (3.1%)

Error

0.3b

Counts

4 → 26

Calls

4 calls:

223.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
151.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
102.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 3413 to 2609 computations (23.6% saved)

simplify160.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

398×	`distribute-rgt-in_binary64_8212`
324×	`exp-prod_binary64_8314`
284×	`associate-r_binary64_8202`
282×	`associate-l_binary64_8203`
258×	`cancel-sign-sub-inv_binary64_8228`
227×	`*-commutative_binary64_8193`
197×	`times-frac_binary64_8268`
168×	`distribute-rgt-neg-in_binary64_8220`
154×	`distribute-lft-neg-out_binary64_8221`
146×	`sub-neg_binary64_8255`
141×	`distribute-rgt-neg-out_binary64_8222`
129×	`neg-sub0_binary64_8257`
124×	`distribute-lft-neg-in_binary64_8219`
120×	`neg-mul-1_binary64_8258`
73×	`+-commutative_binary64_8192`
68×	`associate-*l/_binary64_8205`
62×	`associate-*r/_binary64_8204`
55×	`distribute-neg-frac_binary64_8226`
51×	`sqr-pow_binary64_8234`
50×	`cube-prod_binary64_8290`
48×	`*-rgt-identity_binary64_8252`
46×	`*-lft-identity_binary64_8251`
44×	`exp-sum_binary64_8308`
43×	`unsub-neg_binary64_8256`
34×	`exp-neg_binary64_8309`
32×	`unpow3_binary64_8328` `associate--l+_binary64_8199`
29×	`exp-diff_binary64_8310` `unswap-sqr_binary64_8230` `distribute-lft-in_binary64_8211`
26×	`associate--r+_binary64_8198`
24×	`distribute-frac-neg_binary64_8225`
23×	`log-prod_binary64_8348` `distribute-rgt-out_binary64_8215`
22×	`associate-/l*_binary64_8207`
20×	`distribute-rgt-out--_binary64_8216`
19×	`cube-unmult_binary64_8299` `div-sub_binary64_8267` `associate-+l+_binary64_8195`
18×	`swap-sqr_binary64_8229` `distribute-neg-in_binary64_8223` `distribute-lft-out--_binary64_8214`
12×	`cube-mult_binary64_8292` `associate-+r+_binary64_8194`
10×	`associate-/l/_binary64_8209`
9×	`mul-1-neg_binary64_8254`
7×	`rem-sqrt-square_binary64_8275` `difference-of-squares_binary64_8231`
6×	`pow-plus_binary64_8325` `rem-square-sqrt_binary64_8274` `associate-/r*_binary64_8206`
5×	`rem-3cbrt-lft_binary64_8287` `sqr-neg_binary64_8276`
4×	`cube-div_binary64_8291` `+-rgt-identity_binary64_8247` `distribute-lft-out_binary64_8213` `associate-+r-_binary64_8196`
3×	`unpow1/2_binary64_8326` `/-rgt-identity_binary64_8253` `associate-/r/_binary64_8208`
2×	`unpow2_binary64_8327` `unpow1_binary64_8320` `unpow-1_binary64_8319` `div-exp_binary64_8313` `pow-sqr_binary64_8235` `difference-of-sqr--1_binary64_8233` `difference-of-sqr-1_binary64_8232`
1×	`1-exp_binary64_8306` `exp-1-e_binary64_8305` `rem-3cbrt-rft_binary64_8288` `div0_binary64_8243`
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_8525` `erf-erfc_binary64_8524` `erf-odd_binary64_8523` `if-if-and-not_binary64_8522` `if-if-and_binary64_8521` `if-if-or-not_binary64_8520` `if-if-or_binary64_8519` `if-not_binary64_8518` `if-same_binary64_8517` `if-false_binary64_8516` `if-true_binary64_8515` `not-gte_binary64_8514` `not-lte_binary64_8513` `not-gt_binary64_8512` `not-lt_binary64_8511` `gte-same_binary64_8510` `lte-same_binary64_8509` `gt-same_binary64_8508` `lt-same_binary64_8507` `sinh---cosh_binary64_8454` `sinh-+-cosh_binary64_8453` `sinh-cosh_binary64_8452` `tanh-def-c_binary64_8451` `tanh-def-b_binary64_8450` `tanh-def-a_binary64_8449` `cosh-def_binary64_8448` `sinh-def_binary64_8447` `tan-neg_binary64_8394` `cos-neg_binary64_8393` `sin-neg_binary64_8392` `tan-0_binary64_8391` `cos-0_binary64_8390` `sin-0_binary64_8389` `hang-m-tan_binary64_8388` `hang-p-tan_binary64_8387` `hang-m0-tan_binary64_8386` `hang-p0-tan_binary64_8385` `hang-0m-tan_binary64_8384` `hang-0p-tan_binary64_8383` `tan-+PI/2_binary64_8382` `tan-+PI_binary64_8381` `tan-PI_binary64_8380` `tan-PI/3_binary64_8379` `tan-PI/4_binary64_8378` `tan-PI/6_binary64_8377` `cos-+PI/2_binary64_8376` `cos-+PI_binary64_8375` `cos-PI_binary64_8374` `cos-PI/2_binary64_8373` `cos-PI/3_binary64_8372` `cos-PI/4_binary64_8371` `cos-PI/6_binary64_8370` `sin-+PI/2_binary64_8369` `sin-+PI_binary64_8368` `sin-PI_binary64_8367` `sin-PI/2_binary64_8366` `sin-PI/3_binary64_8365` `sin-PI/4_binary64_8364` `sin-PI/6_binary64_8363` `sub-1-sin_binary64_8362` `sub-1-cos_binary64_8361` `-1-add-sin_binary64_8360` `-1-add-cos_binary64_8359` `1-sub-sin_binary64_8358` `1-sub-cos_binary64_8357` `cos-sin-sum_binary64_8356` `log-E_binary64_8352` `log-pow_binary64_8351` `log-rec_binary64_8350` `log-div_binary64_8349` `pow-base-0_binary64_8346` `unpow1/3_binary64_8329` `exp-to-pow_binary64_8324` `pow-base-1_binary64_8322` `unpow0_binary64_8321` `exp-lft-cube_binary64_8318` `exp-lft-sqr_binary64_8317` `exp-cbrt_binary64_8316` `exp-sqrt_binary64_8315` `rec-exp_binary64_8312` `prod-exp_binary64_8311` `e-exp-1_binary64_8307` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `cube-neg_binary64_8289` `rem-cbrt-cube_binary64_8286` `rem-cube-cbrt_binary64_8285` `sqr-abs_binary64_8277` `remove-double-neg_binary64_8250` `sub0-neg_binary64_8249` `--rgt-identity_binary64_8248` `+-lft-identity_binary64_8246` `mul0-rgt_binary64_8245` `mul0-lft_binary64_8244` `*-inverses_binary64_8242` `+-inverses_binary64_8241` `lft-mult-inverse_binary64_8240` `rgt-mult-inverse_binary64_8239` `remove-double-div_binary64_8238` `cancel-sign-sub_binary64_8227` `distribute-neg-out_binary64_8224` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `count-2_binary64_8210` `associate--r-_binary64_8201` `associate--l-_binary64_8200` `associate-+l-_binary64_8197`

Counts

154 → 107

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	360	3004
1	874	2811
2	2597	2595
3	4520	2583
4	4978	2583
5	5042	2583

prune362.0ms (2.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	100	7	107
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	101	8	109

Error

0.1b

Counts

109 → 8

Compiler

Compiled 6042 to 4074 computations (32.6% saved)

localize40.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.0b	(cbrt.f64 16)
1.8b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite483.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

21×	`cancel-sign-sub-inv_binary64_8228`
19×	`add-sqr-sqrt_binary64_8284`
17×	`*-un-lft-identity_binary64_8262`
16×	`distribute-rgt-in_binary64_8212` `distribute-lft-in_binary64_8211`
13×	`add-cube-cbrt_binary64_8297`
9×	`pow1_binary64_8323` `add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298`
8×	`add-log-exp_binary64_8301`
6×	`sub-neg_binary64_8255`
4×	`sqrt-prod_binary64_8278` `associate-*r/_binary64_8204`
3×	`flip3--_binary64_8266` `flip--_binary64_8237` `difference-of-squares_binary64_8231` `cbrt-prod_binary64_8293` `pow-prod-down_binary64_8333` `prod-exp_binary64_8311` `cbrt-unprod_binary64_8295` `associate-l_binary64_8203`
2×	`diff-log_binary64_8354` `distribute-lft-out--_binary64_8214`
1×	`diff-cos_binary64_8413` `pow1/3_binary64_8344` `associate-r_binary64_8202` `*-commutative_binary64_8193`

Counts

4 → 84

Calls

4 calls:

11.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
5.0ms	(-.f64 3 (sqrt.f64 5))
1.0ms	(cbrt.f64 16)

Compiler

Compiled 5226 to 3697 computations (29.3% saved)

series306.0ms (1.8%)

Error

0.1b

Counts

4 → 15

Calls

4 calls:

143.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
114.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(cbrt.f64 16)
0.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 2287 to 1821 computations (20.4% saved)

simplify134.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

699×	`associate-l_binary64_8203`
573×	`associate-r_binary64_8202`
259×	`sub-neg_binary64_8255`
244×	`exp-prod_binary64_8314`
226×	`distribute-rgt-in_binary64_8212`
209×	`*-commutative_binary64_8193`
207×	`distribute-lft-in_binary64_8211`
176×	`distribute-rgt-neg-out_binary64_8222`
144×	`unswap-sqr_binary64_8230`
129×	`cancel-sign-sub-inv_binary64_8228`
127×	`unsub-neg_binary64_8256`
107×	`+-commutative_binary64_8192`
83×	`associate--l+_binary64_8199`
82×	`sqr-pow_binary64_8234`
80×	`neg-sub0_binary64_8257`
74×	`associate-+l+_binary64_8195`
68×	`neg-mul-1_binary64_8258`
64×	`associate--r+_binary64_8198`
52×	`distribute-rgt-neg-in_binary64_8220`
49×	`associate-+r+_binary64_8194`
43×	`exp-sum_binary64_8308`
42×	`distribute-lft-neg-in_binary64_8219`
41×	`swap-sqr_binary64_8229`
36×	`distribute-neg-in_binary64_8223`
35×	`associate-+l-_binary64_8197`
33×	`mul-1-neg_binary64_8254` `distribute-lft-neg-out_binary64_8221`
32×	`exp-diff_binary64_8310`
25×	`cube-prod_binary64_8290`
24×	`log-prod_binary64_8348`
23×	`unpow3_binary64_8328` `associate-+r-_binary64_8196`
21×	`pow-plus_binary64_8325` `exp-neg_binary64_8309`
20×	`+-rgt-identity_binary64_8247`
16×	`cube-unmult_binary64_8299` `sub0-neg_binary64_8249` `mul0-rgt_binary64_8245` `mul0-lft_binary64_8244`
13×	`difference-of-squares_binary64_8231`
10×	`distribute-rgt-out_binary64_8215`
8×	`cube-mult_binary64_8292`
7×	`div-sub_binary64_8267` `pow-sqr_binary64_8235`
6×	`distribute-rgt-out--_binary64_8216`
5×	`rem-sqrt-square_binary64_8275`
4×	`rem-3cbrt-lft_binary64_8287` `difference-of-sqr-1_binary64_8232` `associate-/l*_binary64_8207`
3×	`rem-square-sqrt_binary64_8274` `difference-of-sqr--1_binary64_8233`
2×	`unpow2_binary64_8327` `unpow1/2_binary64_8326` `unpow1_binary64_8320` `unpow-1_binary64_8319` `div-exp_binary64_8313` `sqr-neg_binary64_8276` `-rgt-identity_binary64_8252` `-lft-identity_binary64_8251` `cancel-sign-sub_binary64_8227` `distribute-neg-frac_binary64_8226` `distribute-lft-out--_binary64_8214` `distribute-lft-out_binary64_8213` `associate--l-_binary64_8200`
1×	`1-exp_binary64_8306`
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_8525` `erf-erfc_binary64_8524` `erf-odd_binary64_8523` `if-if-and-not_binary64_8522` `if-if-and_binary64_8521` `if-if-or-not_binary64_8520` `if-if-or_binary64_8519` `if-not_binary64_8518` `if-same_binary64_8517` `if-false_binary64_8516` `if-true_binary64_8515` `not-gte_binary64_8514` `not-lte_binary64_8513` `not-gt_binary64_8512` `not-lt_binary64_8511` `gte-same_binary64_8510` `lte-same_binary64_8509` `gt-same_binary64_8508` `lt-same_binary64_8507` `sinh---cosh_binary64_8454` `sinh-+-cosh_binary64_8453` `sinh-cosh_binary64_8452` `tanh-def-c_binary64_8451` `tanh-def-b_binary64_8450` `tanh-def-a_binary64_8449` `cosh-def_binary64_8448` `sinh-def_binary64_8447` `tan-neg_binary64_8394` `cos-neg_binary64_8393` `sin-neg_binary64_8392` `tan-0_binary64_8391` `cos-0_binary64_8390` `sin-0_binary64_8389` `hang-m-tan_binary64_8388` `hang-p-tan_binary64_8387` `hang-m0-tan_binary64_8386` `hang-p0-tan_binary64_8385` `hang-0m-tan_binary64_8384` `hang-0p-tan_binary64_8383` `tan-+PI/2_binary64_8382` `tan-+PI_binary64_8381` `tan-PI_binary64_8380` `tan-PI/3_binary64_8379` `tan-PI/4_binary64_8378` `tan-PI/6_binary64_8377` `cos-+PI/2_binary64_8376` `cos-+PI_binary64_8375` `cos-PI_binary64_8374` `cos-PI/2_binary64_8373` `cos-PI/3_binary64_8372` `cos-PI/4_binary64_8371` `cos-PI/6_binary64_8370` `sin-+PI/2_binary64_8369` `sin-+PI_binary64_8368` `sin-PI_binary64_8367` `sin-PI/2_binary64_8366` `sin-PI/3_binary64_8365` `sin-PI/4_binary64_8364` `sin-PI/6_binary64_8363` `sub-1-sin_binary64_8362` `sub-1-cos_binary64_8361` `-1-add-sin_binary64_8360` `-1-add-cos_binary64_8359` `1-sub-sin_binary64_8358` `1-sub-cos_binary64_8357` `cos-sin-sum_binary64_8356` `log-E_binary64_8352` `log-pow_binary64_8351` `log-rec_binary64_8350` `log-div_binary64_8349` `pow-base-0_binary64_8346` `unpow1/3_binary64_8329` `exp-to-pow_binary64_8324` `pow-base-1_binary64_8322` `unpow0_binary64_8321` `exp-lft-cube_binary64_8318` `exp-lft-sqr_binary64_8317` `exp-cbrt_binary64_8316` `exp-sqrt_binary64_8315` `rec-exp_binary64_8312` `prod-exp_binary64_8311` `e-exp-1_binary64_8307` `exp-1-e_binary64_8305` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `cube-div_binary64_8291` `cube-neg_binary64_8289` `rem-3cbrt-rft_binary64_8288` `rem-cbrt-cube_binary64_8286` `rem-cube-cbrt_binary64_8285` `sqr-abs_binary64_8277` `times-frac_binary64_8268` `/-rgt-identity_binary64_8253` `remove-double-neg_binary64_8250` `--rgt-identity_binary64_8248` `+-lft-identity_binary64_8246` `div0_binary64_8243` `-inverses_binary64_8242` `+-inverses_binary64_8241` `lft-mult-inverse_binary64_8240` `rgt-mult-inverse_binary64_8239` `remove-double-div_binary64_8238` `distribute-frac-neg_binary64_8225` `distribute-neg-out_binary64_8224` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `count-2_binary64_8210` `associate-/l/_binary64_8209` `associate-/r/_binary64_8208` `associate-/r_binary64_8206` `associate-l/_binary64_8205` `associate-r/_binary64_8204` `associate--r-_binary64_8201`

Counts

99 → 61

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	213	1421
1	460	1310
2	1107	1293
3	3751	1293
4	4830	1293
5	4985	1293
6	4880	1293

prune241.0ms (1.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

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

Error

0.1b

Counts

69 → 8

Compiler

Compiled 4054 to 2883 computations (28.9% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (sin.f64 x))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(cbrt.f64 16)
1.8b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite382.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

20×	`add-sqr-sqrt_binary64_8284`
16×	`*-un-lft-identity_binary64_8262` `distribute-rgt-in_binary64_8212` `distribute-lft-in_binary64_8211`
15×	`cancel-sign-sub-inv_binary64_8228`
14×	`add-cube-cbrt_binary64_8297`
11×	`pow1_binary64_8323` `add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298`
9×	`associate-l_binary64_8203`
6×	`add-log-exp_binary64_8301`
5×	`sub-neg_binary64_8255`
4×	`pow-prod-down_binary64_8333` `prod-exp_binary64_8311` `cbrt-unprod_binary64_8295` `associate-r/_binary64_8204` `associate-r*_binary64_8202` `sqrt-prod_binary64_8278`
3×	`cbrt-prod_binary64_8293`
2×	`flip3--_binary64_8266` `flip--_binary64_8237` `*-commutative_binary64_8193` `unswap-sqr_binary64_8230`
1×	`diff-cos_binary64_8413` `diff-log_binary64_8354` `difference-of-squares_binary64_8231` `distribute-lft-out--_binary64_8214` `pow1/3_binary64_8344`

Counts

4 → 86

Calls

4 calls:

11.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
6.0ms	(*.f64 (sqrt.f64 2) (sin.f64 x))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
1.0ms	(cbrt.f64 16)

Compiler

Compiled 5508 to 3914 computations (28.9% saved)

series370.0ms (2.1%)

Error

0.1b

Counts

4 → 19

Calls

4 calls:

148.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
105.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
61.0ms	(*.f64 (sqrt.f64 2) (sin.f64 x))
0.0ms	(cbrt.f64 16)

Compiler

Compiled 3021 to 2418 computations (20% saved)

simplify106.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

341×	`*-commutative_binary64_8193`
277×	`cancel-sign-sub-inv_binary64_8228`
260×	`associate--l+_binary64_8199`
247×	`sub-neg_binary64_8255`
239×	`distribute-lft-neg-out_binary64_8221`
233×	`distribute-rgt-neg-out_binary64_8222`
207×	`distribute-rgt-in_binary64_8212`
192×	`distribute-lft-in_binary64_8211`
165×	`exp-prod_binary64_8314`
155×	`distribute-rgt-neg-in_binary64_8220`
149×	`unsub-neg_binary64_8256`
146×	`associate-l_binary64_8203`
140×	`associate-r_binary64_8202`
137×	`distribute-lft-neg-in_binary64_8219`
94×	`+-commutative_binary64_8192`
88×	`sqr-pow_binary64_8234`
87×	`neg-sub0_binary64_8257`
81×	`neg-mul-1_binary64_8258`
72×	`associate-+l+_binary64_8195`
66×	`exp-neg_binary64_8309`
64×	`associate--r+_binary64_8198`
49×	`associate-+r+_binary64_8194`
39×	`exp-sum_binary64_8308`
38×	`distribute-neg-in_binary64_8223`
36×	`unswap-sqr_binary64_8230`
35×	`exp-diff_binary64_8310`
34×	`swap-sqr_binary64_8229`
33×	`mul-1-neg_binary64_8254` `associate-+l-_binary64_8197`
27×	`cube-prod_binary64_8290` `div-sub_binary64_8267`
24×	`associate--l-_binary64_8200`
23×	`associate-+r-_binary64_8196`
21×	`log-prod_binary64_8348` `distribute-rgt-out--_binary64_8216`
20×	`+-rgt-identity_binary64_8247`
18×	`distribute-rgt-out_binary64_8215`
15×	`distribute-lft-out--_binary64_8214` `associate-/l*_binary64_8207`
14×	`unpow3_binary64_8328` `cube-unmult_binary64_8299` `sub0-neg_binary64_8249`
11×	`mul0-rgt_binary64_8245` `mul0-lft_binary64_8244` `pow-sqr_binary64_8235` `difference-of-squares_binary64_8231`
10×	`-rgt-identity_binary64_8252` `-lft-identity_binary64_8251`
8×	`times-frac_binary64_8268`
7×	`cube-mult_binary64_8292`
6×	`rem-sqrt-square_binary64_8275`
5×	`sqr-neg_binary64_8276` `distribute-lft-out_binary64_8213` `associate--r-_binary64_8201`
4×	`unpow1/2_binary64_8326` `pow-plus_binary64_8325` `difference-of-sqr-1_binary64_8232` `associate-/l/_binary64_8209` `associate-/r/_binary64_8208` `associate-*r/_binary64_8204`
3×	`rem-3cbrt-lft_binary64_8287` `rem-square-sqrt_binary64_8274` `associate-/r*_binary64_8206`
2×	`unpow2_binary64_8327` `unpow1_binary64_8320` `distribute-neg-frac_binary64_8226` `distribute-rgt1-in_binary64_8218`
1×	`div-exp_binary64_8313` `1-exp_binary64_8306` `exp-1-e_binary64_8305` `cube-neg_binary64_8289` `difference-of-sqr--1_binary64_8233` `distribute-lft1-in_binary64_8217` `count-2_binary64_8210`
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_8525` `erf-erfc_binary64_8524` `erf-odd_binary64_8523` `if-if-and-not_binary64_8522` `if-if-and_binary64_8521` `if-if-or-not_binary64_8520` `if-if-or_binary64_8519` `if-not_binary64_8518` `if-same_binary64_8517` `if-false_binary64_8516` `if-true_binary64_8515` `not-gte_binary64_8514` `not-lte_binary64_8513` `not-gt_binary64_8512` `not-lt_binary64_8511` `gte-same_binary64_8510` `lte-same_binary64_8509` `gt-same_binary64_8508` `lt-same_binary64_8507` `sinh---cosh_binary64_8454` `sinh-+-cosh_binary64_8453` `sinh-cosh_binary64_8452` `tanh-def-c_binary64_8451` `tanh-def-b_binary64_8450` `tanh-def-a_binary64_8449` `cosh-def_binary64_8448` `sinh-def_binary64_8447` `tan-neg_binary64_8394` `cos-neg_binary64_8393` `sin-neg_binary64_8392` `tan-0_binary64_8391` `cos-0_binary64_8390` `sin-0_binary64_8389` `hang-m-tan_binary64_8388` `hang-p-tan_binary64_8387` `hang-m0-tan_binary64_8386` `hang-p0-tan_binary64_8385` `hang-0m-tan_binary64_8384` `hang-0p-tan_binary64_8383` `tan-+PI/2_binary64_8382` `tan-+PI_binary64_8381` `tan-PI_binary64_8380` `tan-PI/3_binary64_8379` `tan-PI/4_binary64_8378` `tan-PI/6_binary64_8377` `cos-+PI/2_binary64_8376` `cos-+PI_binary64_8375` `cos-PI_binary64_8374` `cos-PI/2_binary64_8373` `cos-PI/3_binary64_8372` `cos-PI/4_binary64_8371` `cos-PI/6_binary64_8370` `sin-+PI/2_binary64_8369` `sin-+PI_binary64_8368` `sin-PI_binary64_8367` `sin-PI/2_binary64_8366` `sin-PI/3_binary64_8365` `sin-PI/4_binary64_8364` `sin-PI/6_binary64_8363` `sub-1-sin_binary64_8362` `sub-1-cos_binary64_8361` `-1-add-sin_binary64_8360` `-1-add-cos_binary64_8359` `1-sub-sin_binary64_8358` `1-sub-cos_binary64_8357` `cos-sin-sum_binary64_8356` `log-E_binary64_8352` `log-pow_binary64_8351` `log-rec_binary64_8350` `log-div_binary64_8349` `pow-base-0_binary64_8346` `unpow1/3_binary64_8329` `exp-to-pow_binary64_8324` `pow-base-1_binary64_8322` `unpow0_binary64_8321` `unpow-1_binary64_8319` `exp-lft-cube_binary64_8318` `exp-lft-sqr_binary64_8317` `exp-cbrt_binary64_8316` `exp-sqrt_binary64_8315` `rec-exp_binary64_8312` `prod-exp_binary64_8311` `e-exp-1_binary64_8307` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `cube-div_binary64_8291` `rem-3cbrt-rft_binary64_8288` `rem-cbrt-cube_binary64_8286` `rem-cube-cbrt_binary64_8285` `sqr-abs_binary64_8277` `/-rgt-identity_binary64_8253` `remove-double-neg_binary64_8250` `--rgt-identity_binary64_8248` `+-lft-identity_binary64_8246` `div0_binary64_8243` `-inverses_binary64_8242` `+-inverses_binary64_8241` `lft-mult-inverse_binary64_8240` `rgt-mult-inverse_binary64_8239` `remove-double-div_binary64_8238` `cancel-sign-sub_binary64_8227` `distribute-frac-neg_binary64_8225` `distribute-neg-out_binary64_8224` `associate-l/_binary64_8205`

Counts

105 → 62

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	213	1526
1	462	1403
2	1195	1386
3	2761	1386
4	4734	1386
5	4923	1386

prune258.0ms (1.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	59	3	62
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	60	10	70

Error

0.1b

Counts

70 → 10

Compiler

Compiled 4370 to 3161 computations (27.7% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (neg.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3))))
0.4b	(*.f64 (sqrt.f64 2) (sin.f64 x))
1.0b	(cbrt.f64 16)
1.8b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite1.1s (6.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

123×	`associate-r_binary64_8202`
108×	`times-frac_binary64_8268`
90×	`add-sqr-sqrt_binary64_8284`
82×	`*-un-lft-identity_binary64_8262`
80×	`add-cube-cbrt_binary64_8297`
58×	`distribute-rgt-neg-in_binary64_8220` `distribute-lft-neg-in_binary64_8219`
39×	`cbrt-prod_binary64_8293`
36×	`unpow-prod-down_binary64_8341` `cube-prod_binary64_8290`
12×	`associate-l_binary64_8203`
8×	`pow1_binary64_8323` `add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298` `sqrt-prod_binary64_8278`
6×	`add-log-exp_binary64_8301` `unpow3_binary64_8328` `cube-mult_binary64_8292` `sqr-pow_binary64_8234`
4×	`unswap-sqr_binary64_8230`
3×	`cancel-sign-sub-inv_binary64_8228`
2×	`pow-prod-down_binary64_8333` `prod-exp_binary64_8311` `cbrt-unprod_binary64_8295` `*-commutative_binary64_8193` `div-inv_binary64_8259`
1×	`diff-cos_binary64_8413` `diff-log_binary64_8354` `flip3--_binary64_8266` `sub-neg_binary64_8255` `flip--_binary64_8237` `difference-of-squares_binary64_8231` `distribute-lft-out--_binary64_8214` `pow1/3_binary64_8344` `distribute-rgt-neg-out_binary64_8222` `distribute-neg-frac_binary64_8226` `associate-*r/_binary64_8204` `neg-mul-1_binary64_8258`

Counts

4 → 191

Calls

4 calls:

40.0ms	(*.f64 (sqrt.f64 2) (neg.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3))))
6.0ms	(*.f64 (sqrt.f64 2) (sin.f64 x))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
3.0ms	(cbrt.f64 16)

Compiler

Compiled 12793 to 8999 computations (29.7% saved)

series506.0ms (2.9%)

Error

0.1b

Counts

4 → 20

Calls

4 calls:

226.0ms	(*.f64 (sqrt.f64 2) (neg.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3))))
152.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
64.0ms	(*.f64 (sqrt.f64 2) (sin.f64 x))
0.0ms	(cbrt.f64 16)

Compiler

Compiled 3126 to 2506 computations (19.8% saved)

simplify145.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

544×	`associate-/r*_binary64_8206`
429×	`associate-/l/_binary64_8209`
222×	`div-sub_binary64_8267`
207×	`distribute-neg-frac_binary64_8226` `associate-l_binary64_8203`
202×	`associate-r_binary64_8202`
194×	`distribute-rgt-neg-in_binary64_8220`
176×	`cancel-sign-sub-inv_binary64_8228`
172×	`distribute-lft-neg-in_binary64_8219`
166×	`*-commutative_binary64_8193`
161×	`associate-/r/_binary64_8208`
135×	`distribute-rgt-neg-out_binary64_8222`
121×	`sub-neg_binary64_8255`
111×	`neg-sub0_binary64_8257`
108×	`neg-mul-1_binary64_8258`
106×	`times-frac_binary64_8268`
99×	`distribute-lft-neg-out_binary64_8221`
92×	`associate-/l*_binary64_8207`
85×	`associate-*l/_binary64_8205`
79×	`distribute-rgt-in_binary64_8212`
76×	`log-prod_binary64_8348` `associate-*r/_binary64_8204`
74×	`distribute-lft-in_binary64_8211`
72×	`exp-prod_binary64_8314`
62×	`sqr-pow_binary64_8234`
59×	`-rgt-identity_binary64_8252` `-lft-identity_binary64_8251`
55×	`cube-prod_binary64_8290`
42×	`log-div_binary64_8349`
36×	`+-commutative_binary64_8192`
31×	`cube-div_binary64_8291`
24×	`distribute-frac-neg_binary64_8225`
22×	`unpow3_binary64_8328`
18×	`associate--l+_binary64_8199`
17×	`exp-sum_binary64_8308`
16×	`cube-mult_binary64_8292`
15×	`unswap-sqr_binary64_8230` `swap-sqr_binary64_8229`
14×	`cube-unmult_binary64_8299` `associate--r+_binary64_8198`
9×	`exp-diff_binary64_8310`
8×	`/-rgt-identity_binary64_8253`
7×	`unsub-neg_binary64_8256` `distribute-neg-in_binary64_8223`
6×	`log-rec_binary64_8350` `associate-+l+_binary64_8195`
5×	`pow-plus_binary64_8325` `rem-sqrt-square_binary64_8275` `mul-1-neg_binary64_8254`
4×	`rem-cube-cbrt_binary64_8285` `sqr-neg_binary64_8276` `div0_binary64_8243` `pow-sqr_binary64_8235` `difference-of-squares_binary64_8231` `distribute-rgt-out_binary64_8215` `associate-+r+_binary64_8194`
3×	`unpow1/2_binary64_8326` `cube-neg_binary64_8289` `rem-square-sqrt_binary64_8274` `distribute-rgt-out--_binary64_8216`
2×	`log-pow_binary64_8351` `unpow2_binary64_8327` `unpow1_binary64_8320` `rem-3cbrt-lft_binary64_8287` `rem-cbrt-cube_binary64_8286` `remove-double-neg_binary64_8250` `+-rgt-identity_binary64_8247` `associate-+r-_binary64_8196`
1×	`div-exp_binary64_8313` `exp-neg_binary64_8309` `1-exp_binary64_8306` `exp-1-e_binary64_8305` `distribute-lft-out--_binary64_8214`
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_8525` `erf-erfc_binary64_8524` `erf-odd_binary64_8523` `if-if-and-not_binary64_8522` `if-if-and_binary64_8521` `if-if-or-not_binary64_8520` `if-if-or_binary64_8519` `if-not_binary64_8518` `if-same_binary64_8517` `if-false_binary64_8516` `if-true_binary64_8515` `not-gte_binary64_8514` `not-lte_binary64_8513` `not-gt_binary64_8512` `not-lt_binary64_8511` `gte-same_binary64_8510` `lte-same_binary64_8509` `gt-same_binary64_8508` `lt-same_binary64_8507` `sinh---cosh_binary64_8454` `sinh-+-cosh_binary64_8453` `sinh-cosh_binary64_8452` `tanh-def-c_binary64_8451` `tanh-def-b_binary64_8450` `tanh-def-a_binary64_8449` `cosh-def_binary64_8448` `sinh-def_binary64_8447` `tan-neg_binary64_8394` `cos-neg_binary64_8393` `sin-neg_binary64_8392` `tan-0_binary64_8391` `cos-0_binary64_8390` `sin-0_binary64_8389` `hang-m-tan_binary64_8388` `hang-p-tan_binary64_8387` `hang-m0-tan_binary64_8386` `hang-p0-tan_binary64_8385` `hang-0m-tan_binary64_8384` `hang-0p-tan_binary64_8383` `tan-+PI/2_binary64_8382` `tan-+PI_binary64_8381` `tan-PI_binary64_8380` `tan-PI/3_binary64_8379` `tan-PI/4_binary64_8378` `tan-PI/6_binary64_8377` `cos-+PI/2_binary64_8376` `cos-+PI_binary64_8375` `cos-PI_binary64_8374` `cos-PI/2_binary64_8373` `cos-PI/3_binary64_8372` `cos-PI/4_binary64_8371` `cos-PI/6_binary64_8370` `sin-+PI/2_binary64_8369` `sin-+PI_binary64_8368` `sin-PI_binary64_8367` `sin-PI/2_binary64_8366` `sin-PI/3_binary64_8365` `sin-PI/4_binary64_8364` `sin-PI/6_binary64_8363` `sub-1-sin_binary64_8362` `sub-1-cos_binary64_8361` `-1-add-sin_binary64_8360` `-1-add-cos_binary64_8359` `1-sub-sin_binary64_8358` `1-sub-cos_binary64_8357` `cos-sin-sum_binary64_8356` `log-E_binary64_8352` `pow-base-0_binary64_8346` `unpow1/3_binary64_8329` `exp-to-pow_binary64_8324` `pow-base-1_binary64_8322` `unpow0_binary64_8321` `unpow-1_binary64_8319` `exp-lft-cube_binary64_8318` `exp-lft-sqr_binary64_8317` `exp-cbrt_binary64_8316` `exp-sqrt_binary64_8315` `rec-exp_binary64_8312` `prod-exp_binary64_8311` `e-exp-1_binary64_8307` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `rem-3cbrt-rft_binary64_8288` `sqr-abs_binary64_8277` `sub0-neg_binary64_8249` `--rgt-identity_binary64_8248` `+-lft-identity_binary64_8246` `mul0-rgt_binary64_8245` `mul0-lft_binary64_8244` `*-inverses_binary64_8242` `+-inverses_binary64_8241` `lft-mult-inverse_binary64_8240` `rgt-mult-inverse_binary64_8239` `remove-double-div_binary64_8238` `difference-of-sqr--1_binary64_8233` `difference-of-sqr-1_binary64_8232` `cancel-sign-sub_binary64_8227` `distribute-neg-out_binary64_8224` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `distribute-lft-out_binary64_8213` `count-2_binary64_8210` `associate--r-_binary64_8201` `associate--l-_binary64_8200` `associate-+l-_binary64_8197`

Counts

211 → 162

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	335	3489
1	728	3163
2	2410	3075
3	4657	3075
4	4924	3075

prune691.0ms (4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	160	2	162
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	161	11	172

Error

0.1b

Counts

172 → 11

Compiler

Compiled 10370 to 7165 computations (30.9% saved)

regimes1.1s (6.2%)

Accuracy

Total 0.3b remaining (73.1%)

Threshold costs 0.3b (73.1%)

Compiler

Compiled 14756 to 11806 computations (20% saved)

bsearch0.0ms (0%)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

18×	`neg-mul-1_binary64_8258` `neg-sub0_binary64_8257` `*-commutative_binary64_8193`
16×	`+-commutative_binary64_8192`
9×	`sub-neg_binary64_8255`
8×	`distribute-rgt-neg-out_binary64_8222`
7×	`distribute-lft-neg-out_binary64_8221` `distribute-rgt-neg-in_binary64_8220` `distribute-lft-neg-in_binary64_8219`
6×	`unsub-neg_binary64_8256` `-rgt-identity_binary64_8252` `-lft-identity_binary64_8251`
2×	`cancel-sign-sub-inv_binary64_8228` `distribute-neg-frac_binary64_8226`
1×	`1-exp_binary64_8306`
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_8522` `if-if-and_binary64_8521` `if-if-or-not_binary64_8520` `if-if-or_binary64_8519` `if-not_binary64_8518` `if-same_binary64_8517` `if-false_binary64_8516` `if-true_binary64_8515` `tan-0_binary64_8391` `cos-0_binary64_8390` `sin-0_binary64_8389` `unpow1_binary64_8320` `e-exp-1_binary64_8307` `exp-1-e_binary64_8305` `exp-0_binary64_8304` `sqr-abs_binary64_8277` `sqr-neg_binary64_8276` `mul-1-neg_binary64_8254` `/-rgt-identity_binary64_8253` `remove-double-neg_binary64_8250` `sub0-neg_binary64_8249` `--rgt-identity_binary64_8248` `+-rgt-identity_binary64_8247` `+-lft-identity_binary64_8246` `cancel-sign-sub_binary64_8227` `distribute-frac-neg_binary64_8225` `distribute-neg-out_binary64_8224` `distribute-neg-in_binary64_8223`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	98
1	68	96
2	86	96
3	100	96
4	130	96
5	133	96
6	135	96
7	133	96

end0.0ms (0%)

sample8.7s (50.2%)

Algorithm

1×

intervals

Results

3.0s	3438×	body	1024	valid
830.0ms	1394×	body	512	valid
507.0ms	2578×	body	128	valid
235.0ms	570×	body	256	valid
33.0ms	20×	body	2048	valid

Compiler

Compiled 4994 to 3998 computations (19.9% saved)

Details

analyze926.0ms (5.3%)

sample161.0ms (0.9%)

simplify50.0ms (0.3%)

prune10.0ms (0.1%)

localize36.0ms (0.2%)

rewrite486.0ms (2.8%)

series542.0ms (3.1%)

simplify160.0ms (0.9%)

prune362.0ms (2.1%)

localize40.0ms (0.2%)

rewrite483.0ms (2.8%)

series306.0ms (1.8%)

simplify134.0ms (0.8%)

prune241.0ms (1.4%)

localize35.0ms (0.2%)

rewrite382.0ms (2.2%)

series370.0ms (2.1%)

simplify106.0ms (0.6%)

prune258.0ms (1.5%)

localize36.0ms (0.2%)

rewrite1.1s (6.3%)

series506.0ms (2.9%)

simplify145.0ms (0.8%)

prune691.0ms (4%)

regimes1.1s (6.2%)

bsearch0.0ms (0%)

simplify7.0ms (0%)

end0.0ms (0%)

sample8.7s (50.2%)

Profiling