Details

analyze1.1s (8.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

835×	`unsub-neg_binary64_8256`
709×	`sub-neg_binary64_8255`
683×	`div-sub_binary64_8267`
625×	`neg-mul-1_binary64_8258`
504×	`neg-sub0_binary64_8257`
379×	`distribute-rgt-in_binary64_8212`
310×	`distribute-frac-neg_binary64_8225`
272×	`distribute-lft-in_binary64_8211`
242×	`distribute-rgt-neg-out_binary64_8222` `distribute-lft-neg-in_binary64_8219`
239×	`distribute-rgt-neg-in_binary64_8220`
220×	`associate-/r/_binary64_8208`
218×	`remove-double-neg_binary64_8250` `distribute-lft-neg-out_binary64_8221`
200×	`distribute-neg-in_binary64_8223`
199×	`associate-/l*_binary64_8207`
179×	`cancel-sign-sub-inv_binary64_8228`
176×	`associate--r+_binary64_8198`
145×	`+-commutative_binary64_8192`
123×	`cancel-sign-sub_binary64_8227` `associate-+r+_binary64_8194`
122×	`associate-/l/_binary64_8209`
117×	`distribute-neg-frac_binary64_8226` `distribute-neg-out_binary64_8224`
112×	`associate-+l+_binary64_8195`
86×	`associate-+l-_binary64_8197`
80×	`*-commutative_binary64_8193`
77×	`distribute-rgt-out--_binary64_8216`
74×	`div0_binary64_8243`
70×	`mul0-rgt_binary64_8245`
64×	`mul0-lft_binary64_8244`
56×	`associate-r_binary64_8202`
52×	`associate-/r_binary64_8206` `associate-l/_binary64_8205`
49×	`sub0-neg_binary64_8249` `distribute-lft-out--_binary64_8214`
47×	`associate-+r-_binary64_8196`
41×	`associate-*r/_binary64_8204`
40×	`associate-l_binary64_8203`
30×	`associate--r-_binary64_8201`
28×	`associate--l-_binary64_8200`
26×	`associate--l+_binary64_8199`
20×	`/-rgt-identity_binary64_8253` `distribute-rgt-out_binary64_8215`
18×	`*-lft-identity_binary64_8251`
17×	`+-lft-identity_binary64_8246`
16×	`+-rgt-identity_binary64_8247`
15×	`*-rgt-identity_binary64_8252`
9×	`mul-1-neg_binary64_8254`
2×	`distribute-lft-out_binary64_8213`
1×	`1-exp_binary64_8306` `remove-double-div_binary64_8238`
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` `--rgt-identity_binary64_8248` `*-inverses_binary64_8242` `+-inverses_binary64_8241` `lft-mult-inverse_binary64_8240` `rgt-mult-inverse_binary64_8239` `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` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `count-2_binary64_8210`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	143
1	101	143
2	207	143
3	414	143
4	848	143
5	1807	143
6	2949	143
7	3752	143
8	4277	143
9	4891	143
10	4916	143
11	4789	143
0	5	5
1	5	5

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
13.2%	86.5%	0.2%	11
16.8%	83%	0.2%	12
22.7%	77.1%	0.2%	13
24.1%	74.7%	1.3%	14

Compiler

Compiled 10 to 10 computations (0% saved)

sample29.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
3.0ms	92×	body	128	invalid

Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify56.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

235×	`cancel-sign-sub-inv_binary64_8228`
163×	`distribute-rgt-in_binary64_8212`
116×	`distribute-lft-in_binary64_8211`
115×	`div-sub_binary64_8267`
99×	`unsub-neg_binary64_8256`
85×	`associate-/l*_binary64_8207`
75×	`sub-neg_binary64_8255`
72×	`associate-r_binary64_8202`
65×	`distribute-rgt-neg-in_binary64_8220`
64×	`associate-l_binary64_8203`
59×	`distribute-rgt-neg-out_binary64_8222`
51×	`distribute-lft-neg-out_binary64_8221`
47×	`associate-/r*_binary64_8206`
46×	`neg-mul-1_binary64_8258`
42×	`associate-/r/_binary64_8208` `associate--r+_binary64_8198`
39×	`neg-sub0_binary64_8257`
38×	`distribute-neg-in_binary64_8223`
33×	`distribute-lft-neg-in_binary64_8219`
32×	`*-commutative_binary64_8193`
31×	`associate-/l/_binary64_8209`
29×	`distribute-neg-frac_binary64_8226`
26×	`associate-*l/_binary64_8205`
25×	`mul0-lft_binary64_8244`
24×	`associate-+l-_binary64_8197` `+-commutative_binary64_8192`
22×	`mul0-rgt_binary64_8245`
19×	`associate-+l+_binary64_8195`
18×	`associate--r-_binary64_8201`
17×	`associate-+r+_binary64_8194`
14×	`*-lft-identity_binary64_8251` `sub0-neg_binary64_8249` `+-lft-identity_binary64_8246`
11×	`distribute-frac-neg_binary64_8225` `associate-*r/_binary64_8204`
10×	`remove-double-neg_binary64_8250`
9×	`associate--l+_binary64_8199`
8×	`*-rgt-identity_binary64_8252` `distribute-rgt-out--_binary64_8216` `associate-+r-_binary64_8196`
7×	`div0_binary64_8243` `distribute-rgt-out_binary64_8215`
6×	`/-rgt-identity_binary64_8253` `associate--l-_binary64_8200`
4×	`+-rgt-identity_binary64_8247`
3×	`--rgt-identity_binary64_8248` `distribute-neg-out_binary64_8224`
2×	`distribute-lft-out--_binary64_8214`
1×	`1-exp_binary64_8306` `mul-1-neg_binary64_8254` `distribute-lft-out_binary64_8213`
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` `*-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-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `count-2_binary64_8210`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	16	13
2	31	13
3	58	13
4	115	13
5	184	13
6	300	13
7	484	13
8	675	13
9	871	13
10	788	13
11	797	13
12	803	13
13	792	13
14	792	13
15	719	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

4.1b

Counts

1 → 1

Compiler

Compiled 9 to 9 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.0b	(*.f64 y (-.f64 z t))
5.3b	(/.f64 (*.f64 y (-.f64 z t)) a)

rewrite85.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`add-sqr-sqrt_binary64_8284` `*-un-lft-identity_binary64_8262`
10×	`add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298`
9×	`add-cube-cbrt_binary64_8297`
6×	`cancel-sign-sub-inv_binary64_8228`
5×	`pow1_binary64_8323` `add-log-exp_binary64_8301` `associate-r_binary64_8202`
4×	`associate-*r/_binary64_8204` `distribute-rgt-in_binary64_8212` `distribute-lft-in_binary64_8211`
3×	`times-frac_binary64_8268` `associate-/r_binary64_8206` `associate-l*_binary64_8203`
2×	`prod-exp_binary64_8311` `div-exp_binary64_8313` `cbrt-undiv_binary64_8296` `cbrt-unprod_binary64_8295` `flip3--_binary64_8266` `associate-/l/_binary64_8209` `flip--_binary64_8237` `sub-neg_binary64_8255`
1×	`frac-2neg_binary64_8273` `clear-num_binary64_8261` `div-inv_binary64_8259` `associate-/l_binary64_8207` `pow-prod-down_binary64_8333` `unswap-sqr_binary64_8230` `difference-of-squares_binary64_8231` `distribute-lft-out--_binary64_8214` `-commutative_binary64_8193` `sum-log_binary64_8353` `flip3-+_binary64_8265` `flip-+_binary64_8236` `distribute-lft-out_binary64_8213` `+-commutative_binary64_8192`

Counts

3 → 65

Calls

3 calls:

8.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
8.0ms	(*.f64 y (-.f64 z t))
5.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))

Compiler

Compiled 1047 to 301 computations (71.3% saved)

series966.0ms (7.5%)

Error

0.4b

Counts

3 → 63

Calls

3 calls:

492.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
302.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
133.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 1636 to 1032 computations (36.9% saved)

simplify89.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

575×	`times-frac_binary64_8268`
487×	`distribute-rgt-in_binary64_8212`
472×	`distribute-lft-in_binary64_8211`
213×	`associate-/l/_binary64_8209`
191×	`exp-prod_binary64_8314`
88×	`associate-l_binary64_8203`
85×	`exp-sum_binary64_8308`
78×	`*-commutative_binary64_8193`
76×	`associate-r_binary64_8202`
72×	`associate-/l*_binary64_8207`
67×	`distribute-rgt-neg-in_binary64_8220`
63×	`sub-neg_binary64_8255`
55×	`distribute-neg-frac_binary64_8226` `associate-*l/_binary64_8205`
54×	`log-div_binary64_8349` `distribute-lft-neg-out_binary64_8221`
52×	`cancel-sign-sub-inv_binary64_8228`
51×	`div-sub_binary64_8267`
47×	`log-prod_binary64_8348`
46×	`distribute-lft-neg-in_binary64_8219`
45×	`distribute-rgt-neg-out_binary64_8222` `associate-*r/_binary64_8204`
38×	`neg-sub0_binary64_8257`
32×	`neg-mul-1_binary64_8258`
29×	`distribute-neg-in_binary64_8223`
28×	`exp-diff_binary64_8310` `+-commutative_binary64_8192`
27×	`sqr-pow_binary64_8234`
26×	`*-rgt-identity_binary64_8252`
23×	`cube-div_binary64_8291`
21×	`*-lft-identity_binary64_8251`
17×	`unpow3_binary64_8328` `associate-/r*_binary64_8206`
16×	`cube-prod_binary64_8290`
14×	`log-rec_binary64_8350`
13×	`exp-neg_binary64_8309` `associate-/r/_binary64_8208`
10×	`/-rgt-identity_binary64_8253` `swap-sqr_binary64_8229`
8×	`mul-1-neg_binary64_8254`
7×	`cube-mult_binary64_8292` `remove-double-neg_binary64_8250`
5×	`unsub-neg_binary64_8256` `distribute-rgt-out_binary64_8215` `associate--l+_binary64_8199` `associate-+l+_binary64_8195`
4×	`cube-unmult_binary64_8299` `difference-of-squares_binary64_8231` `distribute-rgt-out--_binary64_8216`
3×	`cancel-sign-sub_binary64_8227`
2×	`unswap-sqr_binary64_8230` `associate--r-_binary64_8201` `associate--r+_binary64_8198` `associate-+l-_binary64_8197` `associate-+r-_binary64_8196` `associate-+r+_binary64_8194`
1×	`unpow1/2_binary64_8326` `prod-exp_binary64_8311` `1-exp_binary64_8306` `exp-1-e_binary64_8305` `rem-3cbrt-lft_binary64_8287` `rem-sqrt-square_binary64_8275` `rem-square-sqrt_binary64_8274` `+-rgt-identity_binary64_8247` `pow-sqr_binary64_8235` `distribute-frac-neg_binary64_8225` `associate--l-_binary64_8200`
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` `pow-base-0_binary64_8346` `unpow1/3_binary64_8329` `unpow2_binary64_8327` `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` `div-exp_binary64_8313` `rec-exp_binary64_8312` `e-exp-1_binary64_8307` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `cube-neg_binary64_8289` `rem-3cbrt-rft_binary64_8288` `rem-cbrt-cube_binary64_8286` `rem-cube-cbrt_binary64_8285` `sqr-abs_binary64_8277` `sqr-neg_binary64_8276` `sub0-neg_binary64_8249` `--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` `difference-of-sqr--1_binary64_8233` `difference-of-sqr-1_binary64_8232` `distribute-neg-out_binary64_8224` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `distribute-lft-out--_binary64_8214` `distribute-lft-out_binary64_8213` `count-2_binary64_8210`

Counts

128 → 88

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	148	1525
1	381	1370
2	1312	1370
3	4616	1370
4	5038	1370

prune73.0ms (0.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	80	8	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	8	89

Error

0.0b

Counts

89 → 8

Compiler

Compiled 1134 to 256 computations (77.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
0.9b	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a))
5.8b	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))

rewrite139.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`add-exp-log_binary64_8300`
21×	`add-sqr-sqrt_binary64_8284`
19×	`add-cbrt-cube_binary64_8298`
17×	`*-un-lft-identity_binary64_8262`
15×	`add-cube-cbrt_binary64_8297`
12×	`cbrt-prod_binary64_8293`
10×	`times-frac_binary64_8268`
8×	`prod-exp_binary64_8311` `div-exp_binary64_8313` `cbrt-unprod_binary64_8295` `cbrt-undiv_binary64_8296`
7×	`associate-l_binary64_8203`
6×	`pow1_binary64_8323` `cancel-sign-sub-inv_binary64_8228` `associate-/r*_binary64_8206`
5×	`associate-r_binary64_8202` `associate-/l/_binary64_8209`
4×	`add-log-exp_binary64_8301` `flip3--_binary64_8266` `frac-times_binary64_8272` `flip--_binary64_8237` `distribute-rgt-in_binary64_8212` `distribute-lft-in_binary64_8211` `associate-*r/_binary64_8204`
2×	`unswap-sqr_binary64_8230` `sub-neg_binary64_8255` `associate-*l/_binary64_8205` `div-inv_binary64_8259` `pow1/3_binary64_8344`
1×	`pow-prod-down_binary64_8333` `difference-of-squares_binary64_8231` `distribute-lft-out--_binary64_8214` `-commutative_binary64_8193` `frac-2neg_binary64_8273` `clear-num_binary64_8261` `associate-/l_binary64_8207`

Counts

4 → 100

Calls

4 calls:

14.0ms	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a))
13.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)

Compiler

Compiled 2395 to 501 computations (79.1% saved)

series1.6s (12.5%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

995.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
355.0ms	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a))
114.0ms	(cbrt.f64 a)
111.0ms	(cbrt.f64 a)

Compiler

Compiled 1932 to 1445 computations (25.2% saved)

simplify85.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

395×	`distribute-rgt-in_binary64_8212`
385×	`distribute-lft-in_binary64_8211`
354×	`associate-/r/_binary64_8208`
152×	`associate-l_binary64_8203`
138×	`associate-r_binary64_8202`
134×	`associate-/l*_binary64_8207`
129×	`times-frac_binary64_8268`
119×	`associate-*l/_binary64_8205`
117×	`*-commutative_binary64_8193`
106×	`div-sub_binary64_8267`
98×	`associate-/r*_binary64_8206`
86×	`unswap-sqr_binary64_8230`
85×	`distribute-rgt-neg-in_binary64_8220`
80×	`associate-*r/_binary64_8204`
72×	`distribute-lft-neg-in_binary64_8219`
70×	`associate-/l/_binary64_8209`
66×	`sub-neg_binary64_8255`
65×	`cancel-sign-sub-inv_binary64_8228`
53×	`distribute-neg-frac_binary64_8226`
47×	`distribute-rgt-neg-out_binary64_8222`
44×	`log-div_binary64_8349`
43×	`neg-sub0_binary64_8257` `distribute-lft-neg-out_binary64_8221`
41×	`sqr-pow_binary64_8234`
39×	`log-prod_binary64_8348`
37×	`neg-mul-1_binary64_8258`
34×	`cube-div_binary64_8291`
29×	`*-rgt-identity_binary64_8252`
27×	`cube-prod_binary64_8290`
23×	`swap-sqr_binary64_8229`
21×	`exp-prod_binary64_8314` `*-lft-identity_binary64_8251`
19×	`/-rgt-identity_binary64_8253`
18×	`+-commutative_binary64_8192`
13×	`distribute-frac-neg_binary64_8225` `distribute-neg-in_binary64_8223`
11×	`distribute-rgt-out_binary64_8215`
10×	`cube-unmult_binary64_8299`
8×	`mul-1-neg_binary64_8254`
7×	`exp-sum_binary64_8308`
6×	`associate-+l-_binary64_8197`
5×	`log-pow_binary64_8351` `pow-plus_binary64_8325` `rem-sqrt-square_binary64_8275` `unsub-neg_binary64_8256` `distribute-lft-out_binary64_8213` `associate--l+_binary64_8199` `associate-+l+_binary64_8195`
4×	`log-rec_binary64_8350` `unpow3_binary64_8328` `exp-diff_binary64_8310` `pow-sqr_binary64_8235` `distribute-rgt-out--_binary64_8216` `distribute-lft-out--_binary64_8214`
3×	`unpow1/3_binary64_8329` `cube-mult_binary64_8292` `difference-of-squares_binary64_8231` `associate-+r-_binary64_8196` `associate-+r+_binary64_8194`
2×	`unpow2_binary64_8327` `unpow1/2_binary64_8326` `unpow1_binary64_8320` `rem-3cbrt-lft_binary64_8287` `count-2_binary64_8210`
1×	`1-exp_binary64_8306` `exp-1-e_binary64_8305` `rem-3cbrt-rft_binary64_8288` `rem-cube-cbrt_binary64_8285` `rem-square-sqrt_binary64_8274` `remove-double-neg_binary64_8250` `+-rgt-identity_binary64_8247` `associate--l-_binary64_8200` `associate--r+_binary64_8198`
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` `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` `div-exp_binary64_8313` `rec-exp_binary64_8312` `prod-exp_binary64_8311` `exp-neg_binary64_8309` `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` `sqr-abs_binary64_8277` `sqr-neg_binary64_8276` `sub0-neg_binary64_8249` `--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` `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` `associate--r-_binary64_8201`

Counts

142 → 112

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	197	2766
1	529	1942
2	2126	1942
3	4958	1942

prune105.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	109	3	112
Fresh	3	4	7
Picked	0	1	1
Done	0	0	0
Total	112	8	120

Error

0.0b

Counts

120 → 8

Compiler

Compiled 2021 to 762 computations (62.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t))))
0.3b	(/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t)))
8.4b	(/.f64 (/.f64 a y) (-.f64 z t))

rewrite698.0ms (5.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

772×	`times-frac_binary64_8268`
462×	`*-un-lft-identity_binary64_8262`
459×	`add-sqr-sqrt_binary64_8284`
327×	`add-cube-cbrt_binary64_8297`
76×	`associate-/r*_binary64_8206`
66×	`difference-of-squares_binary64_8231` `distribute-lft-out--_binary64_8214`
33×	`div-inv_binary64_8259`
29×	`add-exp-log_binary64_8300`
18×	`div-exp_binary64_8313`
17×	`add-cbrt-cube_binary64_8298`
16×	`associate-/l*_binary64_8207`
11×	`associate-/r/_binary64_8208`
9×	`cbrt-undiv_binary64_8296`
5×	`add-log-exp_binary64_8301` `flip3--_binary64_8266` `flip--_binary64_8237`
4×	`pow1_binary64_8323`
3×	`1-exp_binary64_8306` `rec-exp_binary64_8312`
2×	`frac-2neg_binary64_8273` `clear-num_binary64_8261` `distribute-lft-out_binary64_8213`
1×	`associate-/l/_binary64_8209` `inv-pow_binary64_8347` `pow-flip_binary64_8336` `sum-log_binary64_8353` `flip3-+_binary64_8265` `flip-+_binary64_8236` `+-commutative_binary64_8192`

Counts

3 → 425

Calls

3 calls:

68.0ms	(+.f64 x (/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t))))
24.0ms	(/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t)))
10.0ms	(/.f64 (/.f64 a y) (-.f64 z t))

Compiler

Compiled 10758 to 3657 computations (66% saved)

series1.1s (8.5%)

Error

0.0b

Counts

3 → 66

Calls

3 calls:

492.0ms	(+.f64 x (/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t))))
291.0ms	(/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t)))
269.0ms	(/.f64 (/.f64 a y) (-.f64 z t))

Compiler

Compiled 2014 to 1340 computations (33.5% saved)

simplify446.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

618×	`associate-/r/_binary64_8208`
480×	`associate-/l/_binary64_8209`
297×	`associate-*l/_binary64_8205`
251×	`*-commutative_binary64_8193`
157×	`div-sub_binary64_8267`
153×	`associate-/l*_binary64_8207`
150×	`associate-*r/_binary64_8204`
148×	`associate-/r*_binary64_8206`
128×	`distribute-rgt-in_binary64_8212`
121×	`*-rgt-identity_binary64_8252` `distribute-lft-in_binary64_8211`
96×	`cancel-sign-sub-inv_binary64_8228`
92×	`associate-r_binary64_8202`
81×	`sub-neg_binary64_8255`
69×	`distribute-lft-neg-out_binary64_8221`
62×	`times-frac_binary64_8268`
60×	`distribute-rgt-neg-out_binary64_8222`
59×	`exp-prod_binary64_8314` `distribute-neg-frac_binary64_8226`
51×	`neg-sub0_binary64_8257`
48×	`neg-mul-1_binary64_8258`
47×	`associate-l_binary64_8203`
43×	`cube-prod_binary64_8290`
39×	`+-commutative_binary64_8192`
37×	`log-div_binary64_8349`
32×	`cube-div_binary64_8291`
31×	`sqr-pow_binary64_8234`
30×	`/-rgt-identity_binary64_8253`
29×	`log-prod_binary64_8348`
22×	`*-lft-identity_binary64_8251` `remove-double-div_binary64_8238`
21×	`exp-sum_binary64_8308` `unswap-sqr_binary64_8230`
20×	`unpow3_binary64_8328` `distribute-neg-in_binary64_8223`
16×	`distribute-rgt-neg-in_binary64_8220`
14×	`swap-sqr_binary64_8229`
12×	`log-rec_binary64_8350` `cube-mult_binary64_8292`
9×	`distribute-lft-neg-in_binary64_8219` `associate-+r+_binary64_8194`
8×	`exp-diff_binary64_8310` `mul-1-neg_binary64_8254`
7×	`cube-unmult_binary64_8299` `associate--r-_binary64_8201`
6×	`difference-of-squares_binary64_8231` `associate--r+_binary64_8198`
5×	`unsub-neg_binary64_8256`
4×	`associate-+r-_binary64_8196` `associate-+l+_binary64_8195`
3×	`exp-neg_binary64_8309` `distribute-rgt-out--_binary64_8216` `associate--l+_binary64_8199`
2×	`unpow2_binary64_8327` `unpow1/2_binary64_8326` `pow-plus_binary64_8325` `unpow1_binary64_8320` `rem-sqrt-square_binary64_8275` `sub0-neg_binary64_8249` `+-lft-identity_binary64_8246` `associate-+l-_binary64_8197`
1×	`prod-exp_binary64_8311` `1-exp_binary64_8306` `exp-1-e_binary64_8305` `cube-neg_binary64_8289` `sqr-neg_binary64_8276` `remove-double-neg_binary64_8250` `+-rgt-identity_binary64_8247` `div0_binary64_8243` `distribute-frac-neg_binary64_8225` `distribute-neg-out_binary64_8224` `distribute-rgt-out_binary64_8215` `associate--l-_binary64_8200`
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` `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` `div-exp_binary64_8313` `rec-exp_binary64_8312` `e-exp-1_binary64_8307` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `rem-3cbrt-rft_binary64_8288` `rem-3cbrt-lft_binary64_8287` `rem-cbrt-cube_binary64_8286` `rem-cube-cbrt_binary64_8285` `sqr-abs_binary64_8277` `rem-square-sqrt_binary64_8274` `--rgt-identity_binary64_8248` `mul0-rgt_binary64_8245` `mul0-lft_binary64_8244` `*-inverses_binary64_8242` `+-inverses_binary64_8241` `lft-mult-inverse_binary64_8240` `rgt-mult-inverse_binary64_8239` `pow-sqr_binary64_8235` `difference-of-sqr--1_binary64_8233` `difference-of-sqr-1_binary64_8232` `cancel-sign-sub_binary64_8227` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `distribute-lft-out--_binary64_8214` `distribute-lft-out_binary64_8213` `count-2_binary64_8210`

Counts

491 → 404

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	489	12599
1	1216	11673
2	4225	11551
3	4679	11551
4	4983	11551
5	4984	11551

prune367.0ms (2.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	402	2	404
Fresh	4	2	6
Picked	0	1	1
Done	1	0	1
Total	407	5	412

Error

Counts

412 → 5

Compiler

Compiled 8050 to 1794 computations (77.7% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t))))
0.0b	(/.f64 1 (-.f64 z t))
7.5b	(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))

rewrite647.0ms (5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

696×	`times-frac_binary64_8268`
387×	`*-un-lft-identity_binary64_8262`
385×	`add-sqr-sqrt_binary64_8284`
293×	`add-cube-cbrt_binary64_8297`
46×	`difference-of-squares_binary64_8231` `distribute-lft-out--_binary64_8214`
38×	`div-inv_binary64_8259`
31×	`associate-/r/_binary64_8208`
29×	`add-exp-log_binary64_8300`
26×	`associate-/r*_binary64_8206`
18×	`div-exp_binary64_8313`
17×	`add-cbrt-cube_binary64_8298`
16×	`associate-/l*_binary64_8207`
15×	`flip3--_binary64_8266` `flip--_binary64_8237`
9×	`cbrt-undiv_binary64_8296`
5×	`add-log-exp_binary64_8301`
4×	`pow1_binary64_8323`
3×	`1-exp_binary64_8306` `rec-exp_binary64_8312`
2×	`frac-2neg_binary64_8273` `clear-num_binary64_8261`
1×	`associate-/l/_binary64_8209` `inv-pow_binary64_8347` `pow-flip_binary64_8336` `sum-log_binary64_8353` `flip3-+_binary64_8265` `flip-+_binary64_8236` `distribute-lft-out_binary64_8213` `+-commutative_binary64_8192`

Counts

3 → 384

Calls

3 calls:

76.0ms	(+.f64 x (/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t))))
18.0ms	(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))
6.0ms	(/.f64 1 (-.f64 z t))

Compiler

Compiled 9857 to 4039 computations (59% saved)

series920.0ms (7.1%)

Error

Counts

3 → 60

Calls

3 calls:

502.0ms	(+.f64 x (/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t))))
313.0ms	(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))
65.0ms	(/.f64 1 (-.f64 z t))

Compiler

Compiled 1696 to 1138 computations (32.9% saved)

simplify418.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

607×	`associate-/l/_binary64_8209`
414×	`associate-*l/_binary64_8205`
394×	`associate-/r/_binary64_8208`
339×	`*-commutative_binary64_8193`
292×	`associate-/r*_binary64_8206`
203×	`associate-*r/_binary64_8204`
174×	`associate-r_binary64_8202`
161×	`distribute-rgt-in_binary64_8212`
146×	`distribute-lft-in_binary64_8211`
131×	`*-rgt-identity_binary64_8252`
121×	`associate-/l*_binary64_8207`
106×	`sub-neg_binary64_8255`
73×	`times-frac_binary64_8268` `unswap-sqr_binary64_8230`
68×	`div-sub_binary64_8267`
55×	`sqr-pow_binary64_8234`
52×	`exp-prod_binary64_8314`
51×	`associate-l_binary64_8203`
48×	`log-div_binary64_8349`
43×	`log-prod_binary64_8348`
42×	`neg-sub0_binary64_8257`
39×	`cube-div_binary64_8291`
38×	`cube-prod_binary64_8290`
37×	`/-rgt-identity_binary64_8253` `+-commutative_binary64_8192`
35×	`neg-mul-1_binary64_8258`
22×	`unpow3_binary64_8328` `*-lft-identity_binary64_8251`
21×	`exp-sum_binary64_8308`
17×	`distribute-neg-frac_binary64_8226`
15×	`cancel-sign-sub-inv_binary64_8228` `distribute-rgt-neg-in_binary64_8220`
14×	`log-rec_binary64_8350`
11×	`remove-double-div_binary64_8238`
10×	`cube-mult_binary64_8292`
9×	`exp-diff_binary64_8310` `difference-of-squares_binary64_8231` `distribute-lft-neg-in_binary64_8219`
7×	`unsub-neg_binary64_8256` `mul-1-neg_binary64_8254` `associate-+r+_binary64_8194`
6×	`cube-unmult_binary64_8299` `distribute-neg-in_binary64_8223` `associate-+r-_binary64_8196`
5×	`div0_binary64_8243` `distribute-lft-neg-out_binary64_8221` `associate--l+_binary64_8199`
4×	`associate-+l+_binary64_8195`
3×	`unpow1/2_binary64_8326` `remove-double-neg_binary64_8250` `pow-sqr_binary64_8235` `distribute-rgt-out--_binary64_8216` `associate--r-_binary64_8201` `associate--l-_binary64_8200`
2×	`unpow2_binary64_8327` `pow-plus_binary64_8325` `unpow1_binary64_8320` `rem-sqrt-square_binary64_8275` `--rgt-identity_binary64_8248` `+-rgt-identity_binary64_8247` `swap-sqr_binary64_8229` `associate--r+_binary64_8198`
1×	`prod-exp_binary64_8311` `1-exp_binary64_8306` `exp-1-e_binary64_8305` `cube-neg_binary64_8289` `sqr-neg_binary64_8276` `+-lft-identity_binary64_8246` `distribute-rgt-out_binary64_8215` `associate-+l-_binary64_8197`
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` `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` `div-exp_binary64_8313` `rec-exp_binary64_8312` `exp-neg_binary64_8309` `e-exp-1_binary64_8307` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `rem-3cbrt-rft_binary64_8288` `rem-3cbrt-lft_binary64_8287` `rem-cbrt-cube_binary64_8286` `rem-cube-cbrt_binary64_8285` `sqr-abs_binary64_8277` `rem-square-sqrt_binary64_8274` `sub0-neg_binary64_8249` `mul0-rgt_binary64_8245` `mul0-lft_binary64_8244` `*-inverses_binary64_8242` `+-inverses_binary64_8241` `lft-mult-inverse_binary64_8240` `rgt-mult-inverse_binary64_8239` `difference-of-sqr--1_binary64_8233` `difference-of-sqr-1_binary64_8232` `cancel-sign-sub_binary64_8227` `distribute-frac-neg_binary64_8225` `distribute-neg-out_binary64_8224` `distribute-rgt-neg-out_binary64_8222` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `distribute-lft-out--_binary64_8214` `distribute-lft-out_binary64_8213` `count-2_binary64_8210`

Counts

444 → 362

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	486	11599
1	1324	10969
2	4706	10942
3	4532	10942
4	4930	10942
5	4975	10942

prune315.0ms (2.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	362	0	362
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	362	5	367

Error

Counts

367 → 5

Compiler

Compiled 7061 to 1587 computations (77.5% saved)

regimes1.7s (13.3%)

Accuracy

Total 0.7b remaining (99.9%)

Threshold costs 0.7b (99.9%)

Compiler

Compiled 10449 to 8753 computations (16.2% saved)

bsearch4.0ms (0%)

Compiler: Compiled 5 to 7 computations (-40% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary64_8192`
9×	`*-commutative_binary64_8193`
7×	`sub-neg_binary64_8255`
5×	`neg-mul-1_binary64_8258` `neg-sub0_binary64_8257`
2×	`unsub-neg_binary64_8256` `cancel-sign-sub-inv_binary64_8228` `distribute-rgt-neg-in_binary64_8220` `distribute-lft-neg-in_binary64_8219`
1×	`distribute-frac-neg_binary64_8225`
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` `1-exp_binary64_8306` `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` `-rgt-identity_binary64_8252` `-lft-identity_binary64_8251` `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-neg-frac_binary64_8226` `distribute-neg-out_binary64_8224` `distribute-neg-in_binary64_8223` `distribute-rgt-neg-out_binary64_8222` `distribute-lft-neg-out_binary64_8221`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	68
1	52	66
2	67	66
3	75	66
4	78	66
5	78	66

end0.0ms (0%)

sample1.9s (14.6%)

Algorithm

1×

intervals

Results

276.0ms	8000×	body	128	valid
82.0ms	2482×	body	128	invalid

Compiler

Compiled 1211 to 995 computations (17.8% saved)

Iter	Nodes	Cost
0	10	13
1	16	13
2	31	13
3	58	13
4	115	13
5	184	13
6	300	13
7	484	13
8	675	13
9	871	13
10	788	13
11	797	13
12	803	13
13	792	13
14	792	13
15	719	13

Iter	Nodes	Cost
0	10	13
1	16	13
2	31	13
3	58	13
4	115	13
5	184	13
6	300	13
7	484	13
8	675	13
9	871	13
10	788	13
11	797	13
12	803	13
13	792	13
14	792	13
15	719	13

Details

analyze1.1s (8.7%)

sample29.0ms (0.2%)

simplify56.0ms (0.4%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite85.0ms (0.7%)

series966.0ms (7.5%)

simplify89.0ms (0.7%)

prune73.0ms (0.6%)

localize11.0ms (0.1%)

rewrite139.0ms (1.1%)

series1.6s (12.5%)

simplify85.0ms (0.7%)

prune105.0ms (0.8%)

localize8.0ms (0.1%)

rewrite698.0ms (5.4%)

series1.1s (8.5%)

simplify446.0ms (3.5%)

prune367.0ms (2.8%)

localize8.0ms (0.1%)

rewrite647.0ms (5%)

series920.0ms (7.1%)

simplify418.0ms (3.2%)

prune315.0ms (2.4%)

regimes1.7s (13.3%)

bsearch4.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample1.9s (14.6%)

Profiling

Iter	Nodes	Cost
0	10	13
1	16	13
2	31	13
3	58	13
4	115	13
5	184	13
6	300	13
7	484	13
8	675	13
9	871	13
10	788	13
11	797	13
12	803	13
13	792	13
14	792	13
15	719	13