Details

analyze647.0ms (4.6%)

Algorithm

1×

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
3.1%	96.7%	0.2%	8
17.2%	82.7%	0.2%	9
21.8%	78%	0.2%	10
30%	68.8%	1.2%	11
31.8%	65.3%	2.9%	12
40.1%	55.3%	4.6%	13
44.5%	50.1%	5.4%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample26.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
2.0ms	72×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify1.5s (10.6%)

Algorithm

1×	egg-herbie

Rules

969×	`exp-prod_binary64_8314`
888×	`swap-sqr_binary64_8229`
315×	`distribute-rgt-out_binary64_8215`
304×	`associate-/l*_binary64_8207`
284×	`associate-r_binary64_8202`
282×	`associate-l_binary64_8203`
268×	`sub-neg_binary64_8255`
238×	`distribute-rgt-out--_binary64_8216`
225×	`distribute-lft-out_binary64_8213`
207×	`distribute-lft-out--_binary64_8214`
171×	`cancel-sign-sub-inv_binary64_8228`
126×	`associate-/l/_binary64_8209`
66×	`div-sub_binary64_8267` `unsub-neg_binary64_8256`
62×	`associate-*l/_binary64_8205`
60×	`times-frac_binary64_8268`
59×	`distribute-rgt-in_binary64_8212`
52×	`associate-/r*_binary64_8206`
50×	`associate-*r/_binary64_8204`
47×	`neg-mul-1_binary64_8258`
41×	`neg-sub0_binary64_8257`
33×	`distribute-rgt-neg-in_binary64_8220`
30×	`distribute-lft-neg-in_binary64_8219` `distribute-lft-in_binary64_8211` `associate-/r/_binary64_8208` `*-commutative_binary64_8193`
29×	`distribute-neg-in_binary64_8223`
22×	`+-commutative_binary64_8192`
21×	`associate--r+_binary64_8198`
20×	`sqr-pow_binary64_8234`
18×	`associate-+l-_binary64_8197`
15×	`pow-plus_binary64_8325` `+-inverses_binary64_8241` `distribute-rgt1-in_binary64_8218`
13×	`associate-+r-_binary64_8196`
12×	`sub0-neg_binary64_8249` `associate-+r+_binary64_8194`
11×	`distribute-rgt-neg-out_binary64_8222` `distribute-lft-neg-out_binary64_8221` `associate-+l+_binary64_8195`
10×	`distribute-neg-frac_binary64_8226` `distribute-frac-neg_binary64_8225`
9×	`mul0-lft_binary64_8244`
8×	`exp-sum_binary64_8308` `+-rgt-identity_binary64_8247` `unswap-sqr_binary64_8230`
7×	`cube-unmult_binary64_8299` `remove-double-neg_binary64_8250` `pow-sqr_binary64_8235`
6×	`mul0-rgt_binary64_8245` `difference-of-squares_binary64_8231`
5×	`+-lft-identity_binary64_8246` `distribute-lft1-in_binary64_8217` `associate--r-_binary64_8201`
4×	`--rgt-identity_binary64_8248` `count-2_binary64_8210` `associate--l+_binary64_8199`
3×	`exp-lft-sqr_binary64_8317` `cube-prod_binary64_8290` `*-rgt-identity_binary64_8252` `div0_binary64_8243`
2×	`pow-base-1_binary64_8322` `*-lft-identity_binary64_8251`
1×	`exp-diff_binary64_8310` `1-exp_binary64_8306` `sqr-neg_binary64_8276` `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` `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` `exp-to-pow_binary64_8324` `unpow0_binary64_8321` `unpow1_binary64_8320` `unpow-1_binary64_8319` `exp-lft-cube_binary64_8318` `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-1-e_binary64_8305` `exp-0_binary64_8304` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `cube-mult_binary64_8292` `cube-div_binary64_8291` `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` `rem-sqrt-square_binary64_8275` `rem-square-sqrt_binary64_8274` `mul-1-neg_binary64_8254` `/-rgt-identity_binary64_8253` `*-inverses_binary64_8242` `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`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	35	13
3	69	13
4	120	13
5	198	13
6	420	13
7	2860	13

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Compiler

Compiled 36 to 27 computations (25% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite91.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`add-sqr-sqrt_binary64_8284`
16×	`*-un-lft-identity_binary64_8262`
14×	`add-cube-cbrt_binary64_8297`
13×	`associate-l_binary64_8203`
12×	`cancel-sign-sub-inv_binary64_8228`
10×	`times-frac_binary64_8268`
8×	`distribute-rgt-in_binary64_8212` `distribute-lft-in_binary64_8211` `associate-+l+_binary64_8195`
7×	`add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298`
5×	`associate-r_binary64_8202`
4×	`pow1_binary64_8323` `add-log-exp_binary64_8301` `sub-neg_binary64_8255`
2×	`prod-exp_binary64_8311` `cbrt-unprod_binary64_8295` `flip3--_binary64_8266` `frac-times_binary64_8272` `flip--_binary64_8237` `unswap-sqr_binary64_8230` `associate-*r/_binary64_8204`
1×	`pow-prod-down_binary64_8333` `div-exp_binary64_8313` `cbrt-undiv_binary64_8296` `associate-l/_binary64_8205` `div-inv_binary64_8259` `difference-of-squares_binary64_8231` `distribute-lft-out--_binary64_8214` `-commutative_binary64_8193` `sum-log_binary64_8353` `flip3-+_binary64_8265` `flip-+_binary64_8236` `+-commutative_binary64_8192`

Counts

2 → 65

Calls

2 calls:

11.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
10.0ms	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)

Compiler

Compiled 1137 to 292 computations (74.3% saved)

series757.0ms (5.4%)

Error

0.0b

Counts

2 → 42

Calls

2 calls:

414.0ms	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
315.0ms	(*.f64 (/.f64 x y) (-.f64 z t))

Compiler

Compiled 1118 to 646 computations (42.2% saved)

simplify300.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

516×	`times-frac_binary64_8268`
398×	`distribute-rgt-in_binary64_8212`
376×	`distribute-lft-in_binary64_8211`
293×	`associate-*l/_binary64_8205`
239×	`associate-/l*_binary64_8207`
234×	`associate-*r/_binary64_8204`
217×	`*-commutative_binary64_8193`
210×	`div-sub_binary64_8267`
99×	`exp-prod_binary64_8314`
98×	`associate-l_binary64_8203`
86×	`associate-r_binary64_8202`
65×	`exp-sum_binary64_8308`
64×	`distribute-lft-neg-out_binary64_8221`
59×	`distribute-rgt-neg-out_binary64_8222`
55×	`associate-/r*_binary64_8206`
50×	`sub-neg_binary64_8255` `cancel-sign-sub-inv_binary64_8228`
45×	`+-commutative_binary64_8192`
44×	`distribute-rgt-neg-in_binary64_8220`
39×	`associate-+l+_binary64_8195`
38×	`neg-sub0_binary64_8257` `associate-/r/_binary64_8208`
37×	`cube-prod_binary64_8290`
36×	`associate-+r+_binary64_8194`
35×	`exp-diff_binary64_8310`
31×	`neg-mul-1_binary64_8258`
30×	`log-prod_binary64_8348`
27×	`sqr-pow_binary64_8234` `distribute-lft-neg-in_binary64_8219` `associate-+l-_binary64_8197`
26×	`associate-+r-_binary64_8196`
22×	`cube-div_binary64_8291`
21×	`log-div_binary64_8349`
20×	`distribute-rgt-out_binary64_8215`
17×	`distribute-neg-frac_binary64_8226` `distribute-neg-in_binary64_8223`
15×	`*-lft-identity_binary64_8251` `associate-/l/_binary64_8209`
14×	`*-rgt-identity_binary64_8252`
13×	`unswap-sqr_binary64_8230` `swap-sqr_binary64_8229`
12×	`unpow3_binary64_8328` `distribute-rgt-out--_binary64_8216`
11×	`exp-neg_binary64_8309` `unsub-neg_binary64_8256`
10×	`sqr-neg_binary64_8276`
9×	`pow-sqr_binary64_8235` `distribute-lft-out_binary64_8213` `associate--r+_binary64_8198`
8×	`cube-mult_binary64_8292` `cube-neg_binary64_8289`
7×	`mul-1-neg_binary64_8254` `associate--l+_binary64_8199`
5×	`log-rec_binary64_8350` `cube-unmult_binary64_8299`
4×	`difference-of-squares_binary64_8231`
3×	`+-rgt-identity_binary64_8247` `associate--r-_binary64_8201`
2×	`pow-base-1_binary64_8322` `prod-exp_binary64_8311` `distribute-frac-neg_binary64_8225` `distribute-rgt1-in_binary64_8218` `distribute-lft-out--_binary64_8214`
1×	`log-pow_binary64_8351` `pow-plus_binary64_8325` `1-exp_binary64_8306` `exp-1-e_binary64_8305` `rem-log-exp_binary64_8303` `rem-3cbrt-lft_binary64_8287` `rem-sqrt-square_binary64_8275` `rem-square-sqrt_binary64_8274` `/-rgt-identity_binary64_8253` `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` `pow-base-0_binary64_8346` `unpow1/3_binary64_8329` `unpow2_binary64_8327` `unpow1/2_binary64_8326` `exp-to-pow_binary64_8324` `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-exp-log_binary64_8302` `rem-3cbrt-rft_binary64_8288` `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` `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-lft1-in_binary64_8217` `count-2_binary64_8210`

Counts

107 → 382

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	165	1436
1	436	1370
2	1174	1361
3	3791	1361

prune283.0ms (2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	377	5	382
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	377	7	384

Error

Counts

384 → 7

Compiler

Compiled 6002 to 658 computations (89% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.8b	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y))))
14.2b	(cbrt.f64 (/.f64 x y))
14.2b	(cbrt.f64 (/.f64 x y))
14.2b	(cbrt.f64 (/.f64 x y))

rewrite171.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

39×	`cbrt-div_binary64_8294` `cbrt-prod_binary64_8293`
29×	`frac-times_binary64_8272`
27×	`times-frac_binary64_8268`
25×	`add-cube-cbrt_binary64_8297` `add-sqr-sqrt_binary64_8284` `*-un-lft-identity_binary64_8262`
17×	`associate-*l/_binary64_8205`
16×	`pow1_binary64_8323` `add-exp-log_binary64_8300`
15×	`associate-*r/_binary64_8204`
10×	`add-cbrt-cube_binary64_8298`
8×	`pow-prod-down_binary64_8333` `prod-exp_binary64_8311` `cbrt-unprod_binary64_8295` `flip3--_binary64_8266` `flip--_binary64_8237`
4×	`add-log-exp_binary64_8301`
3×	`pow1/3_binary64_8344` `div-inv_binary64_8259`
1×	`associate-l_binary64_8203` `associate-r_binary64_8202` `*-commutative_binary64_8193`

Counts

4 → 111

Calls

4 calls:

20.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y))))
3.0ms	(cbrt.f64 (/.f64 x y))
2.0ms	(cbrt.f64 (/.f64 x y))
2.0ms	(cbrt.f64 (/.f64 x y))

Compiler

Compiled 3130 to 578 computations (81.5% saved)

series1.4s (9.6%)

Error

Counts

4 → 36

Calls

4 calls:

361.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y))))
323.0ms	(cbrt.f64 (/.f64 x y))
321.0ms	(cbrt.f64 (/.f64 x y))
314.0ms	(cbrt.f64 (/.f64 x y))

Compiler

Compiled 2037 to 1303 computations (36% saved)

simplify344.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

490×	`distribute-rgt-in_binary64_8212`
486×	`distribute-lft-in_binary64_8211`
423×	`associate-/l*_binary64_8207`
407×	`times-frac_binary64_8268`
199×	`associate-l_binary64_8203`
180×	`associate-r_binary64_8202`
86×	`cancel-sign-sub-inv_binary64_8228`
81×	`*-commutative_binary64_8193`
62×	`distribute-rgt-neg-in_binary64_8220` `associate-/r/_binary64_8208`
61×	`distribute-lft-neg-in_binary64_8219`
40×	`associate-/l/_binary64_8209` `associate-*l/_binary64_8205`
39×	`associate-/r*_binary64_8206`
34×	`sub-neg_binary64_8255`
33×	`exp-prod_binary64_8314` `sqr-pow_binary64_8234`
29×	`distribute-lft-neg-out_binary64_8221`
28×	`log-prod_binary64_8348`
26×	`distribute-rgt-neg-out_binary64_8222`
25×	`div-sub_binary64_8267`
23×	`unswap-sqr_binary64_8230` `associate-*r/_binary64_8204`
22×	`log-div_binary64_8349` `exp-sum_binary64_8308`
20×	`neg-sub0_binary64_8257`
19×	`neg-mul-1_binary64_8258`
16×	`+-commutative_binary64_8192`
14×	`distribute-neg-frac_binary64_8226`
13×	`swap-sqr_binary64_8229`
12×	`distribute-frac-neg_binary64_8225`
11×	`exp-diff_binary64_8310` `mul-1-neg_binary64_8254` `pow-sqr_binary64_8235`
9×	`cube-unmult_binary64_8299`
8×	`cube-prod_binary64_8290` `unsub-neg_binary64_8256`
7×	`distribute-neg-in_binary64_8223` `distribute-rgt-out--_binary64_8216` `distribute-rgt-out_binary64_8215`
6×	`*-rgt-identity_binary64_8252` `distribute-neg-out_binary64_8224` `associate-+l+_binary64_8195` `associate-+r+_binary64_8194`
5×	`log-rec_binary64_8350` `cube-div_binary64_8291`
4×	`log-pow_binary64_8351` `/-rgt-identity_binary64_8253`
3×	`unpow1/3_binary64_8329` `unpow3_binary64_8328` `exp-to-pow_binary64_8324` `cube-mult_binary64_8292` `rem-3cbrt-lft_binary64_8287` `remove-double-neg_binary64_8250` `difference-of-squares_binary64_8231` `associate-+l-_binary64_8197`
2×	`exp-neg_binary64_8309` `distribute-lft-out_binary64_8213` `count-2_binary64_8210` `associate--r-_binary64_8201` `associate--l-_binary64_8200` `associate-+r-_binary64_8196`
1×	`pow-plus_binary64_8325` `div-exp_binary64_8313` `rec-exp_binary64_8312` `1-exp_binary64_8306` `rem-log-exp_binary64_8303` `rem-3cbrt-rft_binary64_8288` `rem-cube-cbrt_binary64_8285` `*-lft-identity_binary64_8251` `sub0-neg_binary64_8249` `--rgt-identity_binary64_8248` `+-rgt-identity_binary64_8247` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217`
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` `unpow2_binary64_8327` `unpow1/2_binary64_8326` `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` `prod-exp_binary64_8311` `e-exp-1_binary64_8307` `exp-1-e_binary64_8305` `exp-0_binary64_8304` `rem-exp-log_binary64_8302` `cube-neg_binary64_8289` `rem-cbrt-cube_binary64_8286` `sqr-abs_binary64_8277` `sqr-neg_binary64_8276` `rem-sqrt-square_binary64_8275` `rem-square-sqrt_binary64_8274` `+-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-lft-out--_binary64_8214` `associate--l+_binary64_8199` `associate--r+_binary64_8198`

Counts

147 → 249

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	2973
1	478	2445
2	1459	2385

prune249.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	248	1	249
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	250	6	256

Error

Counts

256 → 6

Compiler

Compiled 6221 to 1160 computations (81.4% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
7.4b	(/.f64 (-.f64 z t) (/.f64 y x))

rewrite151.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

119×	`times-frac_binary64_8268`
88×	`*-un-lft-identity_binary64_8262`
86×	`add-sqr-sqrt_binary64_8284`
58×	`add-cube-cbrt_binary64_8297`
14×	`difference-of-squares_binary64_8231` `distribute-lft-out--_binary64_8214`
13×	`associate-/r*_binary64_8206`
7×	`add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298` `div-inv_binary64_8259`
5×	`associate-/l*_binary64_8207`
4×	`add-log-exp_binary64_8301`
3×	`div-exp_binary64_8313` `cbrt-undiv_binary64_8296`
2×	`pow1_binary64_8323` `div-sub_binary64_8267` `associate-/l/_binary64_8209`
1×	`frac-2neg_binary64_8273` `clear-num_binary64_8261` `flip3--_binary64_8266` `flip--_binary64_8237` `associate-/r/_binary64_8208` `sum-log_binary64_8353` `flip3-+_binary64_8265` `flip-+_binary64_8236` `distribute-lft-out_binary64_8213` `associate-+l-_binary64_8197` `+-commutative_binary64_8192`

Counts

2 → 114

Calls

2 calls:

26.0ms	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
9.0ms	(/.f64 (-.f64 z t) (/.f64 y x))

Compiler

Compiled 2282 to 559 computations (75.5% saved)

series741.0ms (5.3%)

Error

Counts

2 → 42

Calls

2 calls:

410.0ms	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
305.0ms	(/.f64 (-.f64 z t) (/.f64 y x))

Compiler

Compiled 1118 to 646 computations (42.2% saved)

simplify395.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

562×	`associate-/r/_binary64_8208`
531×	`div-sub_binary64_8267`
399×	`associate-l_binary64_8203`
348×	`*-commutative_binary64_8193`
318×	`associate-/r*_binary64_8206`
296×	`associate-r_binary64_8202`
279×	`distribute-rgt-in_binary64_8212`
278×	`distribute-lft-in_binary64_8211`
136×	`associate-/l/_binary64_8209`
135×	`associate-/l*_binary64_8207`
113×	`associate-*l/_binary64_8205`
93×	`cancel-sign-sub-inv_binary64_8228`
92×	`sub-neg_binary64_8255`
68×	`exp-prod_binary64_8314` `associate-*r/_binary64_8204`
62×	`neg-sub0_binary64_8257` `distribute-rgt-neg-in_binary64_8220` `+-commutative_binary64_8192`
60×	`distribute-neg-frac_binary64_8226`
58×	`neg-mul-1_binary64_8258`
57×	`distribute-lft-neg-in_binary64_8219`
46×	`times-frac_binary64_8268`
44×	`cube-prod_binary64_8290`
36×	`log-prod_binary64_8348` `/-rgt-identity_binary64_8253`
31×	`*-rgt-identity_binary64_8252`
29×	`exp-diff_binary64_8310` `exp-sum_binary64_8308`
26×	`cube-div_binary64_8291`
24×	`log-div_binary64_8349`
23×	`associate-+l-_binary64_8197` `associate-+r-_binary64_8196`
21×	`distribute-neg-in_binary64_8223`
20×	`sqr-pow_binary64_8234` `distribute-rgt-out_binary64_8215` `associate-+l+_binary64_8195`
17×	`prod-exp_binary64_8311` `distribute-lft-neg-out_binary64_8221` `distribute-rgt-out--_binary64_8216`
16×	`div-exp_binary64_8313`
15×	`associate-+r+_binary64_8194`
13×	`unswap-sqr_binary64_8230`
12×	`associate--r+_binary64_8198`
11×	`distribute-rgt-neg-out_binary64_8222`
9×	`unpow3_binary64_8328`
7×	`cube-mult_binary64_8292` `*-lft-identity_binary64_8251` `pow-sqr_binary64_8235` `associate--r-_binary64_8201`
6×	`cube-unmult_binary64_8299` `mul-1-neg_binary64_8254`
5×	`sqr-neg_binary64_8276` `swap-sqr_binary64_8229` `associate--l+_binary64_8199`
4×	`rec-exp_binary64_8312` `cube-neg_binary64_8289` `distribute-lft-out_binary64_8213`
3×	`log-pow_binary64_8351` `pow-plus_binary64_8325` `unsub-neg_binary64_8256` `remove-double-div_binary64_8238` `associate--l-_binary64_8200`
2×	`log-rec_binary64_8350` `remove-double-neg_binary64_8250` `distribute-lft-out--_binary64_8214`
1×	`pow-base-1_binary64_8322` `1-exp_binary64_8306` `rem-log-exp_binary64_8303` `difference-of-squares_binary64_8231` `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` `pow-base-0_binary64_8346` `unpow1/3_binary64_8329` `unpow2_binary64_8327` `unpow1/2_binary64_8326` `exp-to-pow_binary64_8324` `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-neg_binary64_8309` `e-exp-1_binary64_8307` `exp-1-e_binary64_8305` `exp-0_binary64_8304` `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-sqrt-square_binary64_8275` `rem-square-sqrt_binary64_8274` `sub0-neg_binary64_8249` `--rgt-identity_binary64_8248` `+-rgt-identity_binary64_8247` `+-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` `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-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217`

Counts

156 → 491

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	243	3095
1	651	2942
2	1980	2928
3	4615	2928

prune429.0ms (3.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	491	0	491
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	491	6	497

Error

Counts

497 → 6

Compiler

Compiled 9766 to 1456 computations (85.1% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t))
7.1b	(*.f64 (/.f64 x y) (-.f64 z t))
7.1b	(*.f64 (/.f64 x y) (-.f64 z t))
7.1b	(*.f64 (-.f64 z t) (/.f64 x y))

rewrite253.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

54×	`add-sqr-sqrt_binary64_8284`
39×	`*-un-lft-identity_binary64_8262`
33×	`add-cube-cbrt_binary64_8297`
31×	`associate-l_binary64_8203`
30×	`times-frac_binary64_8268`
23×	`associate-r_binary64_8202`
19×	`add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298`
12×	`cancel-sign-sub-inv_binary64_8228`
10×	`pow1_binary64_8323`
8×	`distribute-rgt-in_binary64_8212` `distribute-lft-in_binary64_8211`
6×	`prod-exp_binary64_8311` `cbrt-unprod_binary64_8295` `flip3--_binary64_8266` `frac-times_binary64_8272` `flip--_binary64_8237` `unswap-sqr_binary64_8230`
5×	`associate-*r/_binary64_8204`
4×	`add-log-exp_binary64_8301` `associate-*l/_binary64_8205` `sub-neg_binary64_8255`
3×	`pow-prod-down_binary64_8333` `div-exp_binary64_8313` `cbrt-undiv_binary64_8296` `difference-of-squares_binary64_8231` `distribute-lft-out--_binary64_8214` `div-inv_binary64_8259` `*-commutative_binary64_8193` `cbrt-prod_binary64_8293`
2×	`cbrt-div_binary64_8294`
1×	`pow1/3_binary64_8344` `flip3-+_binary64_8265` `flip-+_binary64_8236`

Counts

4 → 143

Calls

4 calls:

11.0ms	(*.f64 (-.f64 z t) (/.f64 x y))
11.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
10.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
8.0ms	(cbrt.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t))

Compiler

Compiled 5771 to 842 computations (85.4% saved)

series2.0s (14.3%)

Error

Counts

4 → 84

Calls

4 calls:

903.0ms	(cbrt.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t))
329.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
324.0ms	(*.f64 (-.f64 z t) (/.f64 x y))
321.0ms	(*.f64 (/.f64 x y) (-.f64 z t))

Compiler

Compiled 9934 to 4823 computations (51.4% saved)

simplify1.3s (9.2%)

Algorithm

1×	egg-herbie

Rules

288×	`associate-r_binary64_8202`
262×	`cancel-sign-sub-inv_binary64_8228`
253×	`associate-l_binary64_8203`
197×	`associate-/l*_binary64_8207`
190×	`*-commutative_binary64_8193`
183×	`times-frac_binary64_8268`
174×	`unswap-sqr_binary64_8230`
162×	`associate-*r/_binary64_8204`
159×	`associate-*l/_binary64_8205`
143×	`sub-neg_binary64_8255`
134×	`div-sub_binary64_8267`
119×	`sqr-pow_binary64_8234` `associate-/r*_binary64_8206`
85×	`distribute-neg-frac_binary64_8226`
74×	`+-commutative_binary64_8192`
72×	`neg-sub0_binary64_8257`
71×	`neg-mul-1_binary64_8258`
60×	`distribute-rgt-in_binary64_8212` `distribute-lft-in_binary64_8211`
54×	`pow-sqr_binary64_8235`
47×	`exp-sum_binary64_8308`
45×	`exp-prod_binary64_8314` `*-rgt-identity_binary64_8252`
38×	`associate-/l/_binary64_8209`
36×	`log-prod_binary64_8348` `unsub-neg_binary64_8256` `*-lft-identity_binary64_8251`
35×	`associate-+l+_binary64_8195`
34×	`log-div_binary64_8349`
33×	`distribute-rgt-neg-in_binary64_8220`
32×	`associate-+r+_binary64_8194`
26×	`associate--l+_binary64_8199`
25×	`associate-/r/_binary64_8208`
21×	`distribute-lft-neg-in_binary64_8219`
20×	`cube-prod_binary64_8290`
17×	`cube-div_binary64_8291` `distribute-lft-neg-out_binary64_8221` `associate--r+_binary64_8198`
16×	`exp-diff_binary64_8310`
15×	`unpow1/3_binary64_8329`
14×	`swap-sqr_binary64_8229` `cancel-sign-sub_binary64_8227`
12×	`pow-plus_binary64_8325` `difference-of-squares_binary64_8231`
10×	`unpow3_binary64_8328`
9×	`/-rgt-identity_binary64_8253`
8×	`log-rec_binary64_8350`
7×	`cube-mult_binary64_8292` `distribute-rgt-neg-out_binary64_8222` `associate-+r-_binary64_8196`
6×	`distribute-neg-in_binary64_8223` `associate--r-_binary64_8201`
5×	`unpow2_binary64_8327` `unpow1_binary64_8320` `mul-1-neg_binary64_8254` `+-rgt-identity_binary64_8247` `distribute-rgt-out--_binary64_8216`
4×	`cube-unmult_binary64_8299`
3×	`remove-double-neg_binary64_8250` `distribute-rgt-out_binary64_8215` `associate-+l-_binary64_8197`
2×	`rem-3cbrt-lft_binary64_8287` `rem-sqrt-square_binary64_8275`
1×	`exp-to-pow_binary64_8324` `exp-sqrt_binary64_8315` `div-exp_binary64_8313` `rec-exp_binary64_8312` `1-exp_binary64_8306` `exp-1-e_binary64_8305` `rem-log-exp_binary64_8303` `rem-exp-log_binary64_8302` `rem-square-sqrt_binary64_8274` `--rgt-identity_binary64_8248` `*-inverses_binary64_8242` `distribute-lft-out--_binary64_8214` `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/2_binary64_8326` `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` `prod-exp_binary64_8311` `exp-neg_binary64_8309` `e-exp-1_binary64_8307` `exp-0_binary64_8304` `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` `+-lft-identity_binary64_8246` `mul0-rgt_binary64_8245` `mul0-lft_binary64_8244` `div0_binary64_8243` `+-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-frac-neg_binary64_8225` `distribute-neg-out_binary64_8224` `distribute-rgt1-in_binary64_8218` `distribute-lft1-in_binary64_8217` `distribute-lft-out_binary64_8213` `count-2_binary64_8210`

Counts

227 → 582

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	375	4843
1	1004	4574
2	3813	4494

prune831.0ms (5.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	582	0	582
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	582	6	588

Error

Counts

588 → 6

Compiler

Compiled 24949 to 3381 computations (86.4% saved)

regimes629.0ms (4.5%)

Accuracy

Total 1.9b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 4034 to 3058 computations (24.2% saved)

bsearch34.0ms (0.2%)

Steps

Iters	Range		Point
4	1.0950410612499571e+150	1.557358948644631e+150	1.1094884952310407e+150
8	-5.397274783103834e+52	-8.036673859451473e+48	-7.425383854185525e+49

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify28.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

81×	`neg-mul-1_binary64_8258` `neg-sub0_binary64_8257`
77×	`unsub-neg_binary64_8256`
59×	`distribute-neg-out_binary64_8224`
37×	`distribute-rgt-neg-out_binary64_8222`
34×	`distribute-rgt-neg-in_binary64_8220`
30×	`distribute-lft-neg-out_binary64_8221`
25×	`distribute-lft-neg-in_binary64_8219`
22×	`sub-neg_binary64_8255`
20×	`cancel-sign-sub-inv_binary64_8228`
19×	`*-commutative_binary64_8193`
18×	`+-commutative_binary64_8192`
13×	`remove-double-neg_binary64_8250` `distribute-neg-in_binary64_8223`
8×	`distribute-frac-neg_binary64_8225`
5×	`+-rgt-identity_binary64_8247` `+-lft-identity_binary64_8246`
2×	`distribute-neg-frac_binary64_8226`
1×	`sqr-neg_binary64_8276` `--rgt-identity_binary64_8248`
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` `mul-1-neg_binary64_8254` `/-rgt-identity_binary64_8253` `-rgt-identity_binary64_8252` `-lft-identity_binary64_8251` `sub0-neg_binary64_8249` `cancel-sign-sub_binary64_8227`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	51
1	33	51
2	46	51
3	60	51
4	72	51
5	85	51
6	108	51
7	117	51
8	177	51
9	264	51
10	229	51
11	251	51
12	264	51
13	279	51
14	294	51
15	303	51
16	306	51

Proof

(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 (* f64 (/ f64 h1 h0) (- f64 h2 h3)) h3) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (=> (- f64 h3 (/ f64 (* f64 h1 (- f64 h3 h2)) h0))) (+ f64 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)) h3)))
sub-neg_binary64_8255 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 (* f64 (/ f64 h1 h0) (- f64 h2 h3)) h3) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (neg f64 (/ f64 (* f64 h1 (- f64 h3 h2)) h0))) (=> (+ f64 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)) h3))))
+-commutative_binary64_8192 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (=> (+ f64 (* f64 (/ f64 h1 h0) (- f64 h2 h3)) h3)) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (neg f64 (/ f64 (* f64 h1 (- f64 h3 h2)) h0))) (+ f64 h3 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)))))
+-commutative_binary64_8192 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 h3 (* f64 (/ f64 h1 h0) (- f64 h2 h3))) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (=> (neg f64 (/ f64 (* f64 h1 (- f64 h3 h2)) h0)))) (+ f64 h3 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)))))
distribute-neg-frac_binary64_8226 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 h3 (* f64 (/ f64 h1 h0) (- f64 h2 h3))) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (/ f64 (=> (neg f64 (* f64 h1 (- f64 h3 h2)))) h0)) (+ f64 h3 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)))))
distribute-rgt-neg-in_binary64_8220 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 h3 (* f64 (/ f64 h1 h0) (- f64 h2 h3))) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (/ f64 (* f64 h1 (neg f64 (=> (- f64 h3 h2)))) h0)) (+ f64 h3 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)))))
sub-neg_binary64_8255 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 h3 (* f64 (/ f64 h1 h0) (- f64 h2 h3))) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (/ f64 (* f64 h1 (neg f64 (=> (+ f64 h3 (neg f64 h2))))) h0)) (+ f64 h3 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)))))
+-commutative_binary64_8192 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 h3 (* f64 (/ f64 h1 h0) (- f64 h2 h3))) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (/ f64 (* f64 h1 (=> (neg f64 (+ f64 (neg f64 h2) h3)))) h0)) (+ f64 h3 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)))))
distribute-neg-in_binary64_8223 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 h3 (* f64 (/ f64 h1 h0) (- f64 h2 h3))) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (/ f64 (* f64 h1 (=> (+ f64 (neg f64 (neg f64 h2)) (neg f64 h3)))) h0)) (+ f64 h3 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)))))
unsub-neg_binary64_8256 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 h3 (* f64 (/ f64 h1 h0) (- f64 h2 h3))) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (/ f64 (* f64 h1 (- f64 (=> (neg f64 (neg f64 h2))) h3)) h0)) (+ f64 h3 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)))))
remove-double-neg_binary64_8250 =>
(if real (<= f64 h0 -74253838541855254258180757224986089931778102919168) (+ f64 h3 (* f64 (/ f64 h1 h0) (- f64 h2 h3))) (if real (<= f64 h0 1109488495231040693577443710303464272921726445450311028381850110636709860825991026690266359236299997197446966682118273301862214223133382785198228242432) (+ f64 h3 (/ f64 (* f64 h1 (- f64 h2 h3)) h0)) (+ f64 h3 (/ f64 (- f64 h2 h3) (/ f64 h0 h1)))))

end0.0ms (0%)

sample1.5s (10.7%)

Algorithm

1×

intervals

Results

259.0ms	8000×	body	128	valid
79.0ms	2103×	body	128	invalid

Compiler

Compiled 747 to 550 computations (26.4% saved)

Iter	Nodes	Cost
0	23	51
1	33	51
2	46	51
3	60	51
4	72	51
5	85	51
6	108	51
7	117	51
8	177	51
9	264	51
10	229	51
11	251	51
12	264	51
13	279	51
14	294	51
15	303	51
16	306	51

Iter	Nodes	Cost
0	23	51
1	33	51
2	46	51
3	60	51
4	72	51
5	85	51
6	108	51
7	117	51
8	177	51
9	264	51
10	229	51
11	251	51
12	264	51
13	279	51
14	294	51
15	303	51
16	306	51

Details

analyze647.0ms (4.6%)

sample26.0ms (0.2%)

simplify1.5s (10.6%)

prune6.0ms (0%)

localize7.0ms (0%)

rewrite91.0ms (0.6%)

series757.0ms (5.4%)

simplify300.0ms (2.1%)

prune283.0ms (2%)

localize11.0ms (0.1%)

rewrite171.0ms (1.2%)

series1.4s (9.6%)

simplify344.0ms (2.4%)

prune249.0ms (1.8%)

localize7.0ms (0%)

rewrite151.0ms (1.1%)

series741.0ms (5.3%)

simplify395.0ms (2.8%)

prune429.0ms (3.1%)

localize15.0ms (0.1%)

rewrite253.0ms (1.8%)

series2.0s (14.3%)

simplify1.3s (9.2%)

prune831.0ms (5.9%)

regimes629.0ms (4.5%)

bsearch34.0ms (0.2%)

simplify28.0ms (0.2%)

end0.0ms (0%)

sample1.5s (10.7%)

Profiling

Iter	Nodes	Cost
0	23	51
1	33	51
2	46	51
3	60	51
4	72	51
5	85	51
6	108	51
7	117	51
8	177	51
9	264	51
10	229	51
11	251	51
12	264	51
13	279	51
14	294	51
15	303	51
16	306	51