Details

analyze659.0ms (7.2%)

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
12.5%	87.3%	0.2%	8
18.7%	81.1%	0.2%	9
22.6%	77.2%	0.2%	10
25%	74.9%	0.2%	11
39.4%	60.4%	0.2%	12
46.5%	53.2%	0.3%	13
48%	51.4%	0.6%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample21.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
1.0ms	21×	body	128	invalid

Compiler

Compiled 23 to 25 computations (-8.7% saved)

simplify761.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

653×	`associate-/l*_binary64_23211`
554×	`distribute-rgt-out_binary64_23219`
502×	`distribute-rgt-out--_binary64_23220`
359×	`associate-/l/_binary64_23213`
330×	`cancel-sign-sub-inv_binary64_23232`
188×	`times-frac_binary64_23272`
173×	`distribute-lft-out_binary64_23217`
157×	`distribute-lft-out--_binary64_23218`
88×	`div-sub_binary64_23271`
84×	`associate-/r/_binary64_23212`
59×	`distribute-rgt-in_binary64_23216`
53×	`sub-neg_binary64_23259`
38×	`distribute-rgt-neg-in_binary64_23224`
37×	`distribute-lft-neg-in_binary64_23223`
35×	`swap-sqr_binary64_23233`
33×	`unsub-neg_binary64_23260`
29×	`neg-mul-1_binary64_23262`
28×	`distribute-lft-in_binary64_23215`
27×	`distribute-rgt1-in_binary64_23222`
26×	`distribute-neg-frac_binary64_23230` `*-commutative_binary64_23197`
25×	`associate-r_binary64_23206`
24×	`distribute-neg-in_binary64_23227`
23×	`neg-sub0_binary64_23261`
17×	`distribute-lft-neg-out_binary64_23225`
15×	`distribute-neg-out_binary64_23228`
14×	`associate-/r*_binary64_23210`
11×	`associate-l_binary64_23207` `+-commutative_binary64_23196`
10×	`associate-*r/_binary64_23208`
9×	`associate--r+_binary64_23202` `associate-+l-_binary64_23201`
8×	`sub0-neg_binary64_23253`
7×	`+-rgt-identity_binary64_23251` `distribute-rgt-neg-out_binary64_23226`
6×	`mul0-rgt_binary64_23249` `mul0-lft_binary64_23248` `div0_binary64_23247` `associate-*l/_binary64_23209`
5×	`associate-+r-_binary64_23200`
4×	`distribute-frac-neg_binary64_23229` `associate-+r+_binary64_23198`
3×	`remove-double-neg_binary64_23254` `--rgt-identity_binary64_23252` `count-2_binary64_23214` `associate-+l+_binary64_23199`
2×	`+-lft-identity_binary64_23250`
1×	`1-exp_binary64_23310` `associate--r-_binary64_23205`
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_23529` `erf-erfc_binary64_23528` `erf-odd_binary64_23527` `if-if-and-not_binary64_23526` `if-if-and_binary64_23525` `if-if-or-not_binary64_23524` `if-if-or_binary64_23523` `if-not_binary64_23522` `if-same_binary64_23521` `if-false_binary64_23520` `if-true_binary64_23519` `not-gte_binary64_23518` `not-lte_binary64_23517` `not-gt_binary64_23516` `not-lt_binary64_23515` `gte-same_binary64_23514` `lte-same_binary64_23513` `gt-same_binary64_23512` `lt-same_binary64_23511` `sinh---cosh_binary64_23458` `sinh-+-cosh_binary64_23457` `sinh-cosh_binary64_23456` `tanh-def-c_binary64_23455` `tanh-def-b_binary64_23454` `tanh-def-a_binary64_23453` `cosh-def_binary64_23452` `sinh-def_binary64_23451` `tan-neg_binary64_23398` `cos-neg_binary64_23397` `sin-neg_binary64_23396` `tan-0_binary64_23395` `cos-0_binary64_23394` `sin-0_binary64_23393` `hang-m-tan_binary64_23392` `hang-p-tan_binary64_23391` `hang-m0-tan_binary64_23390` `hang-p0-tan_binary64_23389` `hang-0m-tan_binary64_23388` `hang-0p-tan_binary64_23387` `tan-+PI/2_binary64_23386` `tan-+PI_binary64_23385` `tan-PI_binary64_23384` `tan-PI/3_binary64_23383` `tan-PI/4_binary64_23382` `tan-PI/6_binary64_23381` `cos-+PI/2_binary64_23380` `cos-+PI_binary64_23379` `cos-PI_binary64_23378` `cos-PI/2_binary64_23377` `cos-PI/3_binary64_23376` `cos-PI/4_binary64_23375` `cos-PI/6_binary64_23374` `sin-+PI/2_binary64_23373` `sin-+PI_binary64_23372` `sin-PI_binary64_23371` `sin-PI/2_binary64_23370` `sin-PI/3_binary64_23369` `sin-PI/4_binary64_23368` `sin-PI/6_binary64_23367` `sub-1-sin_binary64_23366` `sub-1-cos_binary64_23365` `-1-add-sin_binary64_23364` `-1-add-cos_binary64_23363` `1-sub-sin_binary64_23362` `1-sub-cos_binary64_23361` `cos-sin-sum_binary64_23360` `log-E_binary64_23356` `log-pow_binary64_23355` `log-rec_binary64_23354` `log-div_binary64_23353` `log-prod_binary64_23352` `pow-base-0_binary64_23350` `unpow1/3_binary64_23333` `unpow3_binary64_23332` `unpow2_binary64_23331` `unpow1/2_binary64_23330` `pow-plus_binary64_23329` `exp-to-pow_binary64_23328` `pow-base-1_binary64_23326` `unpow0_binary64_23325` `unpow1_binary64_23324` `unpow-1_binary64_23323` `exp-lft-cube_binary64_23322` `exp-lft-sqr_binary64_23321` `exp-cbrt_binary64_23320` `exp-sqrt_binary64_23319` `exp-prod_binary64_23318` `div-exp_binary64_23317` `rec-exp_binary64_23316` `prod-exp_binary64_23315` `exp-diff_binary64_23314` `exp-neg_binary64_23313` `exp-sum_binary64_23312` `e-exp-1_binary64_23311` `exp-1-e_binary64_23309` `exp-0_binary64_23308` `rem-log-exp_binary64_23307` `rem-exp-log_binary64_23306` `cube-unmult_binary64_23303` `cube-mult_binary64_23296` `cube-div_binary64_23295` `cube-prod_binary64_23294` `cube-neg_binary64_23293` `rem-3cbrt-rft_binary64_23292` `rem-3cbrt-lft_binary64_23291` `rem-cbrt-cube_binary64_23290` `rem-cube-cbrt_binary64_23289` `sqr-abs_binary64_23281` `sqr-neg_binary64_23280` `rem-sqrt-square_binary64_23279` `rem-square-sqrt_binary64_23278` `mul-1-neg_binary64_23258` `/-rgt-identity_binary64_23257` `-rgt-identity_binary64_23256` `-lft-identity_binary64_23255` `*-inverses_binary64_23246` `+-inverses_binary64_23245` `lft-mult-inverse_binary64_23244` `rgt-mult-inverse_binary64_23243` `remove-double-div_binary64_23242` `pow-sqr_binary64_23239` `sqr-pow_binary64_23238` `difference-of-sqr--1_binary64_23237` `difference-of-sqr-1_binary64_23236` `difference-of-squares_binary64_23235` `unswap-sqr_binary64_23234` `cancel-sign-sub_binary64_23231` `distribute-lft1-in_binary64_23221` `associate--l-_binary64_23204` `associate--l+_binary64_23203`

Counts

1 → 4

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	13
1	23	13
2	51	13
3	102	13
4	175	13
5	306	13
6	546	13

prune15.0ms (0.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	1	3	4
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	4	5

Error

0.0b

Counts

5 → 4

Compiler

Compiled 74 to 58 computations (21.6% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

5.4b	(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))

rewrite87.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

53×	`times-frac_binary64_23272`
37×	`add-sqr-sqrt_binary64_23288` `*-un-lft-identity_binary64_23266`
21×	`add-cube-cbrt_binary64_23301`
10×	`add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
8×	`difference-of-squares_binary64_23235` `distribute-lft-out--_binary64_23218`
7×	`div-inv_binary64_23263` `associate-/l*_binary64_23211`
5×	`div-exp_binary64_23317` `cbrt-undiv_binary64_23300` `associate-/r*_binary64_23210`
2×	`associate-/r/_binary64_23212`
1×	`pow1_binary64_23327` `prod-exp_binary64_23315` `add-log-exp_binary64_23305` `cbrt-unprod_binary64_23299` `frac-2neg_binary64_23277` `clear-num_binary64_23265` `associate-/l/_binary64_23213` `flip3--_binary64_23270` `flip--_binary64_23241`

Counts

1 → 66

Calls

1 calls:

9.0ms

(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))

Compiler

Compiled 1235 to 570 computations (53.8% saved)

series392.0ms (4.3%)

Error

0.0b

Counts

1 → 24

Calls

1 calls:

364.0ms

(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))

Compiler

Compiled 1083 to 775 computations (28.4% saved)

simplify241.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

625×	`associate-*l/_binary64_23209`
548×	`associate-l_binary64_23207`
508×	`associate-/r/_binary64_23212`
378×	`associate-r_binary64_23206`
152×	`associate-/l/_binary64_23213`
131×	`times-frac_binary64_23272`
128×	`associate-/l*_binary64_23211`
116×	`associate-/r*_binary64_23210`
82×	`distribute-rgt-in_binary64_23216`
73×	`*-commutative_binary64_23197`
72×	`distribute-rgt-neg-in_binary64_23224`
71×	`distribute-lft-neg-in_binary64_23223`
67×	`cancel-sign-sub-inv_binary64_23232`
60×	`distribute-lft-in_binary64_23215`
57×	`distribute-neg-frac_binary64_23230` `associate-*r/_binary64_23208`
45×	`sub-neg_binary64_23259`
41×	`neg-mul-1_binary64_23262`
40×	`neg-sub0_binary64_23261` `*-rgt-identity_binary64_23256`
39×	`div-sub_binary64_23271`
37×	`log-div_binary64_23353` `distribute-neg-in_binary64_23227` `distribute-lft-out_binary64_23217`
29×	`sqr-pow_binary64_23238`
24×	`+-commutative_binary64_23196`
19×	`cube-div_binary64_23295`
18×	`log-prod_binary64_23352` `distribute-rgt-out_binary64_23219`
17×	`prod-exp_binary64_23315` `swap-sqr_binary64_23233`
16×	`div-exp_binary64_23317`
15×	`cube-prod_binary64_23294`
14×	`/-rgt-identity_binary64_23257`
11×	`unsub-neg_binary64_23260` `associate-+l+_binary64_23199`
10×	`pow-sqr_binary64_23239`
8×	`cube-unmult_binary64_23303` `associate-+r+_binary64_23198`
7×	`*-lft-identity_binary64_23255` `difference-of-squares_binary64_23235` `distribute-rgt-out--_binary64_23220`
6×	`pow-plus_binary64_23329` `exp-prod_binary64_23318` `unswap-sqr_binary64_23234` `distribute-lft-neg-out_binary64_23225` `associate--l+_binary64_23203` `associate--r+_binary64_23202`
4×	`rec-exp_binary64_23316` `distribute-lft-out--_binary64_23218`
3×	`log-rec_binary64_23354` `distribute-rgt-neg-out_binary64_23226`
2×	`unpow3_binary64_23332` `unpow2_binary64_23331` `unpow1_binary64_23324` `cube-mult_binary64_23296`
1×	`exp-lft-sqr_binary64_23321` `1-exp_binary64_23310` `rem-log-exp_binary64_23307` `remove-double-neg_binary64_23254` `*-inverses_binary64_23246` `distribute-neg-out_binary64_23228` `count-2_binary64_23214` `associate--r-_binary64_23205` `associate--l-_binary64_23204` `associate-+l-_binary64_23201`
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_23529` `erf-erfc_binary64_23528` `erf-odd_binary64_23527` `if-if-and-not_binary64_23526` `if-if-and_binary64_23525` `if-if-or-not_binary64_23524` `if-if-or_binary64_23523` `if-not_binary64_23522` `if-same_binary64_23521` `if-false_binary64_23520` `if-true_binary64_23519` `not-gte_binary64_23518` `not-lte_binary64_23517` `not-gt_binary64_23516` `not-lt_binary64_23515` `gte-same_binary64_23514` `lte-same_binary64_23513` `gt-same_binary64_23512` `lt-same_binary64_23511` `sinh---cosh_binary64_23458` `sinh-+-cosh_binary64_23457` `sinh-cosh_binary64_23456` `tanh-def-c_binary64_23455` `tanh-def-b_binary64_23454` `tanh-def-a_binary64_23453` `cosh-def_binary64_23452` `sinh-def_binary64_23451` `tan-neg_binary64_23398` `cos-neg_binary64_23397` `sin-neg_binary64_23396` `tan-0_binary64_23395` `cos-0_binary64_23394` `sin-0_binary64_23393` `hang-m-tan_binary64_23392` `hang-p-tan_binary64_23391` `hang-m0-tan_binary64_23390` `hang-p0-tan_binary64_23389` `hang-0m-tan_binary64_23388` `hang-0p-tan_binary64_23387` `tan-+PI/2_binary64_23386` `tan-+PI_binary64_23385` `tan-PI_binary64_23384` `tan-PI/3_binary64_23383` `tan-PI/4_binary64_23382` `tan-PI/6_binary64_23381` `cos-+PI/2_binary64_23380` `cos-+PI_binary64_23379` `cos-PI_binary64_23378` `cos-PI/2_binary64_23377` `cos-PI/3_binary64_23376` `cos-PI/4_binary64_23375` `cos-PI/6_binary64_23374` `sin-+PI/2_binary64_23373` `sin-+PI_binary64_23372` `sin-PI_binary64_23371` `sin-PI/2_binary64_23370` `sin-PI/3_binary64_23369` `sin-PI/4_binary64_23368` `sin-PI/6_binary64_23367` `sub-1-sin_binary64_23366` `sub-1-cos_binary64_23365` `-1-add-sin_binary64_23364` `-1-add-cos_binary64_23363` `1-sub-sin_binary64_23362` `1-sub-cos_binary64_23361` `cos-sin-sum_binary64_23360` `log-E_binary64_23356` `log-pow_binary64_23355` `pow-base-0_binary64_23350` `unpow1/3_binary64_23333` `unpow1/2_binary64_23330` `exp-to-pow_binary64_23328` `pow-base-1_binary64_23326` `unpow0_binary64_23325` `unpow-1_binary64_23323` `exp-lft-cube_binary64_23322` `exp-cbrt_binary64_23320` `exp-sqrt_binary64_23319` `exp-diff_binary64_23314` `exp-neg_binary64_23313` `exp-sum_binary64_23312` `e-exp-1_binary64_23311` `exp-1-e_binary64_23309` `exp-0_binary64_23308` `rem-exp-log_binary64_23306` `cube-neg_binary64_23293` `rem-3cbrt-rft_binary64_23292` `rem-3cbrt-lft_binary64_23291` `rem-cbrt-cube_binary64_23290` `rem-cube-cbrt_binary64_23289` `sqr-abs_binary64_23281` `sqr-neg_binary64_23280` `rem-sqrt-square_binary64_23279` `rem-square-sqrt_binary64_23278` `mul-1-neg_binary64_23258` `sub0-neg_binary64_23253` `--rgt-identity_binary64_23252` `+-rgt-identity_binary64_23251` `+-lft-identity_binary64_23250` `mul0-rgt_binary64_23249` `mul0-lft_binary64_23248` `div0_binary64_23247` `+-inverses_binary64_23245` `lft-mult-inverse_binary64_23244` `rgt-mult-inverse_binary64_23243` `remove-double-div_binary64_23242` `difference-of-sqr--1_binary64_23237` `difference-of-sqr-1_binary64_23236` `cancel-sign-sub_binary64_23231` `distribute-frac-neg_binary64_23229` `distribute-rgt1-in_binary64_23222` `distribute-lft1-in_binary64_23221` `associate-+r-_binary64_23200`

Counts

90 → 317

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	189	2191
1	522	2065
2	1886	2002

prune348.0ms (3.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	313	4	317
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	314	7	321

Error

Counts

321 → 7

Compiler

Compiled 6450 to 2752 computations (57.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 x (/.f64 2 z))
5.4b	(/.f64 (*.f64 x (/.f64 2 z)) (-.f64 y t))

rewrite78.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

21×	`add-sqr-sqrt_binary64_23288`
16×	`add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302` `*-un-lft-identity_binary64_23266`
15×	`times-frac_binary64_23272`
13×	`associate-r_binary64_23206`
12×	`add-cube-cbrt_binary64_23301`
5×	`div-exp_binary64_23317` `cbrt-undiv_binary64_23300` `associate-/r*_binary64_23210`
4×	`pow1_binary64_23327` `prod-exp_binary64_23315` `cbrt-unprod_binary64_23299`
3×	`associate-l_binary64_23207`
2×	`add-log-exp_binary64_23305` `difference-of-squares_binary64_23235` `distribute-lft-out--_binary64_23218` `div-inv_binary64_23263` `associate-*r/_binary64_23208` `associate-/r/_binary64_23212` `unswap-sqr_binary64_23234`
1×	`frac-2neg_binary64_23277` `clear-num_binary64_23265` `associate-/l/_binary64_23213` `flip3--_binary64_23270` `flip--_binary64_23241` `associate-/l_binary64_23211` `pow-prod-down_binary64_23337` `-commutative_binary64_23197`

Counts

2 → 62

Calls

2 calls:

11.0ms	(/.f64 (*.f64 x (/.f64 2 z)) (-.f64 y t))
7.0ms	(*.f64 x (/.f64 2 z))

Compiler

Compiled 998 to 512 computations (48.7% saved)

series466.0ms (5.1%)

Error

Counts

2 → 30

Calls

2 calls:

354.0ms	(/.f64 (*.f64 x (/.f64 2 z)) (-.f64 y t))
85.0ms	(*.f64 x (/.f64 2 z))

Compiler

Compiled 1245 to 902 computations (27.6% saved)

simplify275.0ms (3%)

Algorithm

1×	egg-herbie

Rules

614×	`associate-/r/_binary64_23212`
603×	`associate-/r*_binary64_23210`
341×	`*-commutative_binary64_23197`
248×	`div-sub_binary64_23271`
195×	`associate-/l*_binary64_23211`
165×	`times-frac_binary64_23272`
106×	`associate-l_binary64_23207`
98×	`log-prod_binary64_23352` `cube-prod_binary64_23294`
97×	`associate-r_binary64_23206`
85×	`associate-/l/_binary64_23213`
84×	`associate-*l/_binary64_23209`
83×	`associate-*r/_binary64_23208`
79×	`log-div_binary64_23353`
74×	`cube-div_binary64_23295` `distribute-rgt-neg-in_binary64_23224`
73×	`distribute-lft-neg-in_binary64_23223`
63×	`cancel-sign-sub-inv_binary64_23232`
62×	`distribute-neg-frac_binary64_23230`
59×	`distribute-rgt-in_binary64_23216`
48×	`associate-+l+_binary64_23199` `+-commutative_binary64_23196`
47×	`exp-prod_binary64_23318`
45×	`sub-neg_binary64_23259` `*-rgt-identity_binary64_23256`
40×	`associate-+r+_binary64_23198`
38×	`neg-mul-1_binary64_23262`
37×	`neg-sub0_binary64_23261` `distribute-lft-out_binary64_23217` `distribute-lft-in_binary64_23215`
36×	`distribute-neg-in_binary64_23227`
34×	`sqr-pow_binary64_23238`
32×	`/-rgt-identity_binary64_23257`
30×	`associate--r+_binary64_23202`
28×	`associate-+l-_binary64_23201`
25×	`unpow3_binary64_23332` `cube-mult_binary64_23296`
24×	`associate--l+_binary64_23203`
23×	`*-lft-identity_binary64_23255` `distribute-rgt-out_binary64_23219`
21×	`associate-+r-_binary64_23200`
14×	`swap-sqr_binary64_23233`
13×	`log-rec_binary64_23354`
11×	`pow-plus_binary64_23329` `prod-exp_binary64_23315` `pow-sqr_binary64_23239` `associate--l-_binary64_23204`
9×	`exp-lft-sqr_binary64_23321` `div-exp_binary64_23317` `unsub-neg_binary64_23260`
8×	`cube-unmult_binary64_23303` `unswap-sqr_binary64_23234`
7×	`difference-of-squares_binary64_23235` `distribute-lft-neg-out_binary64_23225` `distribute-rgt-out--_binary64_23220`
4×	`distribute-lft-out--_binary64_23218` `associate--r-_binary64_23205`
3×	`unpow1_binary64_23324` `rec-exp_binary64_23316` `distribute-rgt-neg-out_binary64_23226`
2×	`unpow2_binary64_23331` `rem-sqrt-square_binary64_23279`
1×	`log-pow_binary64_23355` `exp-sqrt_binary64_23319` `exp-diff_binary64_23314` `1-exp_binary64_23310` `exp-1-e_binary64_23309` `rem-log-exp_binary64_23307` `cube-neg_binary64_23293` `sqr-neg_binary64_23280` `remove-double-neg_binary64_23254` `*-inverses_binary64_23246` `remove-double-div_binary64_23242`
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_23529` `erf-erfc_binary64_23528` `erf-odd_binary64_23527` `if-if-and-not_binary64_23526` `if-if-and_binary64_23525` `if-if-or-not_binary64_23524` `if-if-or_binary64_23523` `if-not_binary64_23522` `if-same_binary64_23521` `if-false_binary64_23520` `if-true_binary64_23519` `not-gte_binary64_23518` `not-lte_binary64_23517` `not-gt_binary64_23516` `not-lt_binary64_23515` `gte-same_binary64_23514` `lte-same_binary64_23513` `gt-same_binary64_23512` `lt-same_binary64_23511` `sinh---cosh_binary64_23458` `sinh-+-cosh_binary64_23457` `sinh-cosh_binary64_23456` `tanh-def-c_binary64_23455` `tanh-def-b_binary64_23454` `tanh-def-a_binary64_23453` `cosh-def_binary64_23452` `sinh-def_binary64_23451` `tan-neg_binary64_23398` `cos-neg_binary64_23397` `sin-neg_binary64_23396` `tan-0_binary64_23395` `cos-0_binary64_23394` `sin-0_binary64_23393` `hang-m-tan_binary64_23392` `hang-p-tan_binary64_23391` `hang-m0-tan_binary64_23390` `hang-p0-tan_binary64_23389` `hang-0m-tan_binary64_23388` `hang-0p-tan_binary64_23387` `tan-+PI/2_binary64_23386` `tan-+PI_binary64_23385` `tan-PI_binary64_23384` `tan-PI/3_binary64_23383` `tan-PI/4_binary64_23382` `tan-PI/6_binary64_23381` `cos-+PI/2_binary64_23380` `cos-+PI_binary64_23379` `cos-PI_binary64_23378` `cos-PI/2_binary64_23377` `cos-PI/3_binary64_23376` `cos-PI/4_binary64_23375` `cos-PI/6_binary64_23374` `sin-+PI/2_binary64_23373` `sin-+PI_binary64_23372` `sin-PI_binary64_23371` `sin-PI/2_binary64_23370` `sin-PI/3_binary64_23369` `sin-PI/4_binary64_23368` `sin-PI/6_binary64_23367` `sub-1-sin_binary64_23366` `sub-1-cos_binary64_23365` `-1-add-sin_binary64_23364` `-1-add-cos_binary64_23363` `1-sub-sin_binary64_23362` `1-sub-cos_binary64_23361` `cos-sin-sum_binary64_23360` `log-E_binary64_23356` `pow-base-0_binary64_23350` `unpow1/3_binary64_23333` `unpow1/2_binary64_23330` `exp-to-pow_binary64_23328` `pow-base-1_binary64_23326` `unpow0_binary64_23325` `unpow-1_binary64_23323` `exp-lft-cube_binary64_23322` `exp-cbrt_binary64_23320` `exp-neg_binary64_23313` `exp-sum_binary64_23312` `e-exp-1_binary64_23311` `exp-0_binary64_23308` `rem-exp-log_binary64_23306` `rem-3cbrt-rft_binary64_23292` `rem-3cbrt-lft_binary64_23291` `rem-cbrt-cube_binary64_23290` `rem-cube-cbrt_binary64_23289` `sqr-abs_binary64_23281` `rem-square-sqrt_binary64_23278` `mul-1-neg_binary64_23258` `sub0-neg_binary64_23253` `--rgt-identity_binary64_23252` `+-rgt-identity_binary64_23251` `+-lft-identity_binary64_23250` `mul0-rgt_binary64_23249` `mul0-lft_binary64_23248` `div0_binary64_23247` `+-inverses_binary64_23245` `lft-mult-inverse_binary64_23244` `rgt-mult-inverse_binary64_23243` `difference-of-sqr--1_binary64_23237` `difference-of-sqr-1_binary64_23236` `cancel-sign-sub_binary64_23231` `distribute-frac-neg_binary64_23229` `distribute-neg-out_binary64_23228` `distribute-rgt1-in_binary64_23222` `distribute-lft1-in_binary64_23221` `count-2_binary64_23214`

Counts

92 → 215

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	1639
1	463	1468
2	2061	1394
3	4509	1394

prune209.0ms (2.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	213	2	215
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	215	7	222

Error

Counts

222 → 7

Compiler

Compiled 3880 to 1707 computations (56% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 (/.f64 2 z) (-.f64 y t))
5.6b	(*.f64 x (/.f64 (/.f64 2 z) (-.f64 y t)))

rewrite253.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

232×	`times-frac_binary64_23272`
171×	`add-sqr-sqrt_binary64_23288`
162×	`*-un-lft-identity_binary64_23266`
108×	`add-cube-cbrt_binary64_23301`
71×	`associate-r_binary64_23206`
27×	`difference-of-squares_binary64_23235` `distribute-lft-out--_binary64_23218`
16×	`add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
13×	`div-inv_binary64_23263` `associate-/l*_binary64_23211`
6×	`div-exp_binary64_23317` `cbrt-undiv_binary64_23300`
5×	`associate-/r*_binary64_23210`
4×	`pow1_binary64_23327` `associate-/r/_binary64_23212`
3×	`prod-exp_binary64_23315` `cbrt-unprod_binary64_23299` `unswap-sqr_binary64_23234` `associate-l_binary64_23207`
2×	`add-log-exp_binary64_23305` `flip3--_binary64_23270` `flip--_binary64_23241`
1×	`pow-prod-down_binary64_23337` `associate-r/_binary64_23208` `-commutative_binary64_23197` `frac-2neg_binary64_23277` `clear-num_binary64_23265` `associate-/l/_binary64_23213`

Counts

2 → 193

Calls

2 calls:

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

Compiler

Compiled 3993 to 1938 computations (51.5% saved)

series635.0ms (6.9%)

Error

Counts

2 → 48

Calls

2 calls:

362.0ms	(*.f64 x (/.f64 (/.f64 2 z) (-.f64 y t)))
217.0ms	(/.f64 (/.f64 2 z) (-.f64 y t))

Compiler

Compiled 2253 to 1678 computations (25.5% saved)

simplify577.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

254×	`associate-/l/_binary64_23213`
243×	`associate-/l*_binary64_23211`
222×	`div-sub_binary64_23271`
219×	`associate-*l/_binary64_23209`
206×	`associate-/r*_binary64_23210`
192×	`times-frac_binary64_23272`
189×	`associate-l_binary64_23207`
170×	`associate-*r/_binary64_23208`
166×	`*-commutative_binary64_23197`
162×	`associate-r_binary64_23206`
112×	`distribute-rgt-in_binary64_23216`
109×	`distribute-rgt-neg-in_binary64_23224`
108×	`distribute-lft-neg-in_binary64_23223`
104×	`distribute-neg-frac_binary64_23230`
97×	`cancel-sign-sub-inv_binary64_23232`
89×	`*-rgt-identity_binary64_23256`
86×	`distribute-lft-out_binary64_23217`
83×	`associate-/r/_binary64_23212` `+-commutative_binary64_23196`
80×	`associate-+l+_binary64_23199`
73×	`distribute-neg-in_binary64_23227`
67×	`*-lft-identity_binary64_23255` `distribute-lft-in_binary64_23215` `associate-+r+_binary64_23198`
62×	`neg-mul-1_binary64_23262`
61×	`neg-sub0_binary64_23261` `sub-neg_binary64_23259`
60×	`associate--r+_binary64_23202`
49×	`log-div_binary64_23353`
43×	`cube-prod_binary64_23294`
42×	`log-prod_binary64_23352` `distribute-rgt-out_binary64_23219`
41×	`cube-div_binary64_23295`
37×	`associate-+l-_binary64_23201`
33×	`associate-+r-_binary64_23200`
32×	`sqr-pow_binary64_23238`
31×	`/-rgt-identity_binary64_23257`
27×	`exp-prod_binary64_23318`
17×	`prod-exp_binary64_23315` `unsub-neg_binary64_23260` `unswap-sqr_binary64_23234`
16×	`unpow3_binary64_23332` `div-exp_binary64_23317` `cube-mult_binary64_23296` `swap-sqr_binary64_23233`
14×	`associate--l+_binary64_23203`
10×	`distribute-rgt-out--_binary64_23220`
9×	`pow-plus_binary64_23329` `pow-sqr_binary64_23239`
8×	`cube-unmult_binary64_23303`
7×	`difference-of-squares_binary64_23235` `distribute-lft-out--_binary64_23218`
6×	`log-rec_binary64_23354` `distribute-lft-neg-out_binary64_23225` `associate--l-_binary64_23204`
5×	`associate--r-_binary64_23205`
4×	`rec-exp_binary64_23316`
3×	`distribute-rgt-neg-out_binary64_23226`
2×	`unpow2_binary64_23331` `unpow1_binary64_23324` `exp-lft-sqr_binary64_23321` `rem-sqrt-square_binary64_23279` `remove-double-div_binary64_23242`
1×	`log-pow_binary64_23355` `exp-sqrt_binary64_23319` `exp-diff_binary64_23314` `1-exp_binary64_23310` `exp-1-e_binary64_23309` `rem-log-exp_binary64_23307` `cube-neg_binary64_23293` `sqr-neg_binary64_23280` `remove-double-neg_binary64_23254` `*-inverses_binary64_23246` `distribute-neg-out_binary64_23228` `distribute-lft1-in_binary64_23221` `count-2_binary64_23214`
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_23529` `erf-erfc_binary64_23528` `erf-odd_binary64_23527` `if-if-and-not_binary64_23526` `if-if-and_binary64_23525` `if-if-or-not_binary64_23524` `if-if-or_binary64_23523` `if-not_binary64_23522` `if-same_binary64_23521` `if-false_binary64_23520` `if-true_binary64_23519` `not-gte_binary64_23518` `not-lte_binary64_23517` `not-gt_binary64_23516` `not-lt_binary64_23515` `gte-same_binary64_23514` `lte-same_binary64_23513` `gt-same_binary64_23512` `lt-same_binary64_23511` `sinh---cosh_binary64_23458` `sinh-+-cosh_binary64_23457` `sinh-cosh_binary64_23456` `tanh-def-c_binary64_23455` `tanh-def-b_binary64_23454` `tanh-def-a_binary64_23453` `cosh-def_binary64_23452` `sinh-def_binary64_23451` `tan-neg_binary64_23398` `cos-neg_binary64_23397` `sin-neg_binary64_23396` `tan-0_binary64_23395` `cos-0_binary64_23394` `sin-0_binary64_23393` `hang-m-tan_binary64_23392` `hang-p-tan_binary64_23391` `hang-m0-tan_binary64_23390` `hang-p0-tan_binary64_23389` `hang-0m-tan_binary64_23388` `hang-0p-tan_binary64_23387` `tan-+PI/2_binary64_23386` `tan-+PI_binary64_23385` `tan-PI_binary64_23384` `tan-PI/3_binary64_23383` `tan-PI/4_binary64_23382` `tan-PI/6_binary64_23381` `cos-+PI/2_binary64_23380` `cos-+PI_binary64_23379` `cos-PI_binary64_23378` `cos-PI/2_binary64_23377` `cos-PI/3_binary64_23376` `cos-PI/4_binary64_23375` `cos-PI/6_binary64_23374` `sin-+PI/2_binary64_23373` `sin-+PI_binary64_23372` `sin-PI_binary64_23371` `sin-PI/2_binary64_23370` `sin-PI/3_binary64_23369` `sin-PI/4_binary64_23368` `sin-PI/6_binary64_23367` `sub-1-sin_binary64_23366` `sub-1-cos_binary64_23365` `-1-add-sin_binary64_23364` `-1-add-cos_binary64_23363` `1-sub-sin_binary64_23362` `1-sub-cos_binary64_23361` `cos-sin-sum_binary64_23360` `log-E_binary64_23356` `pow-base-0_binary64_23350` `unpow1/3_binary64_23333` `unpow1/2_binary64_23330` `exp-to-pow_binary64_23328` `pow-base-1_binary64_23326` `unpow0_binary64_23325` `unpow-1_binary64_23323` `exp-lft-cube_binary64_23322` `exp-cbrt_binary64_23320` `exp-neg_binary64_23313` `exp-sum_binary64_23312` `e-exp-1_binary64_23311` `exp-0_binary64_23308` `rem-exp-log_binary64_23306` `rem-3cbrt-rft_binary64_23292` `rem-3cbrt-lft_binary64_23291` `rem-cbrt-cube_binary64_23290` `rem-cube-cbrt_binary64_23289` `sqr-abs_binary64_23281` `rem-square-sqrt_binary64_23278` `mul-1-neg_binary64_23258` `sub0-neg_binary64_23253` `--rgt-identity_binary64_23252` `+-rgt-identity_binary64_23251` `+-lft-identity_binary64_23250` `mul0-rgt_binary64_23249` `mul0-lft_binary64_23248` `div0_binary64_23247` `+-inverses_binary64_23245` `lft-mult-inverse_binary64_23244` `rgt-mult-inverse_binary64_23243` `difference-of-sqr--1_binary64_23237` `difference-of-sqr-1_binary64_23236` `cancel-sign-sub_binary64_23231` `distribute-frac-neg_binary64_23229` `distribute-rgt1-in_binary64_23222`

Counts

241 → 520

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	347	5334
1	935	5088
2	3406	4960
3	4648	4960

prune648.0ms (7.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	520	0	520
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	520	7	527

Error

Counts

527 → 7

Compiler

Compiled 11173 to 4783 computations (57.2% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

1.8b	(-.f64 (.f64 y z) (.f64 t z))
5.4b	(/.f64 (.f64 x 2) (-.f64 (.f64 y z) (*.f64 t z)))

rewrite43.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
4×	`add-log-exp_binary64_23305` `add-cube-cbrt_binary64_23301` `add-sqr-sqrt_binary64_23288` `times-frac_binary64_23272` `-un-lft-identity_binary64_23266` `associate-/r_binary64_23210`
3×	`distribute-rgt-out--_binary64_23220`
2×	`pow1_binary64_23327` `div-exp_binary64_23317` `cbrt-undiv_binary64_23300` `flip3--_binary64_23270` `associate-/r/_binary64_23212` `flip--_binary64_23241`
1×	`prod-exp_binary64_23315` `cbrt-unprod_binary64_23299` `frac-2neg_binary64_23277` `clear-num_binary64_23265` `div-inv_binary64_23263` `associate-/l*_binary64_23211` `diff-log_binary64_23358` `sub-neg_binary64_23259` `cancel-sign-sub-inv_binary64_23232`

Counts

2 → 38

Calls

2 calls:

7.0ms	(/.f64 (.f64 x 2) (-.f64 (.f64 y z) (*.f64 t z)))
4.0ms	(-.f64 (.f64 y z) (.f64 t z))

Compiler

Compiled 758 to 238 computations (68.6% saved)

series558.0ms (6.1%)

Error

Counts

2 → 39

Calls

2 calls:

374.0ms	(/.f64 (.f64 x 2) (-.f64 (.f64 y z) (*.f64 t z)))
155.0ms	(-.f64 (.f64 y z) (.f64 t z))

Compiler

Compiled 1470 to 1065 computations (27.6% saved)

simplify236.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

595×	`associate-l_binary64_23207`
506×	`associate-/r*_binary64_23210`
456×	`associate-*l/_binary64_23209`
367×	`associate-*r/_binary64_23208`
341×	`associate-/l/_binary64_23213`
242×	`associate-/r/_binary64_23212`
123×	`times-frac_binary64_23272`
117×	`cancel-sign-sub-inv_binary64_23232`
106×	`distribute-rgt-neg-in_binary64_23224` `associate-/l*_binary64_23211`
99×	`distribute-rgt-in_binary64_23216`
98×	`distribute-lft-neg-in_binary64_23223`
82×	`associate-r_binary64_23206`
72×	`distribute-lft-in_binary64_23215`
51×	`distribute-neg-frac_binary64_23230` `*-commutative_binary64_23197`
49×	`distribute-rgt-out_binary64_23219`
47×	`distribute-lft-out_binary64_23217`
45×	`sqr-pow_binary64_23238`
44×	`sub-neg_binary64_23259` `distribute-neg-in_binary64_23227`
41×	`neg-sub0_binary64_23261`
39×	`neg-mul-1_binary64_23262`
30×	`div-sub_binary64_23271`
28×	`*-rgt-identity_binary64_23256`
26×	`log-div_binary64_23353` `+-commutative_binary64_23196`
20×	`exp-prod_binary64_23318`
17×	`pow-sqr_binary64_23239`
16×	`cube-div_binary64_23295`
15×	`distribute-rgt-out--_binary64_23220`
14×	`swap-sqr_binary64_23233`
12×	`cube-prod_binary64_23294` `unswap-sqr_binary64_23234` `distribute-lft-neg-out_binary64_23225`
11×	`associate-+l+_binary64_23199`
10×	`associate-+r+_binary64_23198`
9×	`log-prod_binary64_23352` `unsub-neg_binary64_23260`
6×	`pow-plus_binary64_23329` `associate--r+_binary64_23202`
5×	`unpow3_binary64_23332` `exp-sum_binary64_23312` `cube-unmult_binary64_23303` `cube-mult_binary64_23296` `difference-of-squares_binary64_23235` `distribute-lft-out--_binary64_23218`
4×	`exp-diff_binary64_23314` `distribute-rgt-neg-out_binary64_23226`
3×	`mul-1-neg_binary64_23258`
2×	`unpow2_binary64_23331` `unpow1_binary64_23324` `prod-exp_binary64_23315` `/-rgt-identity_binary64_23257` `+-rgt-identity_binary64_23251` `associate--l+_binary64_23203` `associate-+r-_binary64_23200`
1×	`log-rec_binary64_23354` `exp-lft-sqr_binary64_23321` `div-exp_binary64_23317` `1-exp_binary64_23310` `rem-log-exp_binary64_23307` `-lft-identity_binary64_23255` `remove-double-neg_binary64_23254` `-inverses_binary64_23246` `associate--r-_binary64_23205`
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_23529` `erf-erfc_binary64_23528` `erf-odd_binary64_23527` `if-if-and-not_binary64_23526` `if-if-and_binary64_23525` `if-if-or-not_binary64_23524` `if-if-or_binary64_23523` `if-not_binary64_23522` `if-same_binary64_23521` `if-false_binary64_23520` `if-true_binary64_23519` `not-gte_binary64_23518` `not-lte_binary64_23517` `not-gt_binary64_23516` `not-lt_binary64_23515` `gte-same_binary64_23514` `lte-same_binary64_23513` `gt-same_binary64_23512` `lt-same_binary64_23511` `sinh---cosh_binary64_23458` `sinh-+-cosh_binary64_23457` `sinh-cosh_binary64_23456` `tanh-def-c_binary64_23455` `tanh-def-b_binary64_23454` `tanh-def-a_binary64_23453` `cosh-def_binary64_23452` `sinh-def_binary64_23451` `tan-neg_binary64_23398` `cos-neg_binary64_23397` `sin-neg_binary64_23396` `tan-0_binary64_23395` `cos-0_binary64_23394` `sin-0_binary64_23393` `hang-m-tan_binary64_23392` `hang-p-tan_binary64_23391` `hang-m0-tan_binary64_23390` `hang-p0-tan_binary64_23389` `hang-0m-tan_binary64_23388` `hang-0p-tan_binary64_23387` `tan-+PI/2_binary64_23386` `tan-+PI_binary64_23385` `tan-PI_binary64_23384` `tan-PI/3_binary64_23383` `tan-PI/4_binary64_23382` `tan-PI/6_binary64_23381` `cos-+PI/2_binary64_23380` `cos-+PI_binary64_23379` `cos-PI_binary64_23378` `cos-PI/2_binary64_23377` `cos-PI/3_binary64_23376` `cos-PI/4_binary64_23375` `cos-PI/6_binary64_23374` `sin-+PI/2_binary64_23373` `sin-+PI_binary64_23372` `sin-PI_binary64_23371` `sin-PI/2_binary64_23370` `sin-PI/3_binary64_23369` `sin-PI/4_binary64_23368` `sin-PI/6_binary64_23367` `sub-1-sin_binary64_23366` `sub-1-cos_binary64_23365` `-1-add-sin_binary64_23364` `-1-add-cos_binary64_23363` `1-sub-sin_binary64_23362` `1-sub-cos_binary64_23361` `cos-sin-sum_binary64_23360` `log-E_binary64_23356` `log-pow_binary64_23355` `pow-base-0_binary64_23350` `unpow1/3_binary64_23333` `unpow1/2_binary64_23330` `exp-to-pow_binary64_23328` `pow-base-1_binary64_23326` `unpow0_binary64_23325` `unpow-1_binary64_23323` `exp-lft-cube_binary64_23322` `exp-cbrt_binary64_23320` `exp-sqrt_binary64_23319` `rec-exp_binary64_23316` `exp-neg_binary64_23313` `e-exp-1_binary64_23311` `exp-1-e_binary64_23309` `exp-0_binary64_23308` `rem-exp-log_binary64_23306` `cube-neg_binary64_23293` `rem-3cbrt-rft_binary64_23292` `rem-3cbrt-lft_binary64_23291` `rem-cbrt-cube_binary64_23290` `rem-cube-cbrt_binary64_23289` `sqr-abs_binary64_23281` `sqr-neg_binary64_23280` `rem-sqrt-square_binary64_23279` `rem-square-sqrt_binary64_23278` `sub0-neg_binary64_23253` `--rgt-identity_binary64_23252` `+-lft-identity_binary64_23250` `mul0-rgt_binary64_23249` `mul0-lft_binary64_23248` `div0_binary64_23247` `+-inverses_binary64_23245` `lft-mult-inverse_binary64_23244` `rgt-mult-inverse_binary64_23243` `remove-double-div_binary64_23242` `difference-of-sqr--1_binary64_23237` `difference-of-sqr-1_binary64_23236` `cancel-sign-sub_binary64_23231` `distribute-frac-neg_binary64_23229` `distribute-neg-out_binary64_23228` `distribute-rgt1-in_binary64_23222` `distribute-lft1-in_binary64_23221` `count-2_binary64_23214` `associate--l-_binary64_23204` `associate-+l-_binary64_23201`

Counts

77 → 203

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	130	1410
1	382	1296
2	1616	1228

prune173.0ms (1.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	203	7	210

Error

Counts

210 → 7

Compiler

Compiled 3773 to 1349 computations (64.2% saved)

regimes1.1s (11.8%)

Accuracy

Total 1.1b remaining (99.7%)

Threshold costs 0b (0%)

Compiler

Compiled 5459 to 4593 computations (15.9% saved)

bsearch3.0ms (0%)

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

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64_23197`
5×	`sub-neg_binary64_23259` `+-commutative_binary64_23196`
3×	`neg-mul-1_binary64_23262` `neg-sub0_binary64_23261`
2×	`cancel-sign-sub-inv_binary64_23232` `distribute-rgt-neg-in_binary64_23224`
1×	`distribute-lft-neg-out_binary64_23225` `distribute-lft-neg-in_binary64_23223`
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_23526` `if-if-and_binary64_23525` `if-if-or-not_binary64_23524` `if-if-or_binary64_23523` `if-not_binary64_23522` `if-same_binary64_23521` `if-false_binary64_23520` `if-true_binary64_23519` `tan-0_binary64_23395` `cos-0_binary64_23394` `sin-0_binary64_23393` `unpow1_binary64_23324` `e-exp-1_binary64_23311` `1-exp_binary64_23310` `exp-1-e_binary64_23309` `exp-0_binary64_23308` `sqr-abs_binary64_23281` `sqr-neg_binary64_23280` `unsub-neg_binary64_23260` `mul-1-neg_binary64_23258` `/-rgt-identity_binary64_23257` `-rgt-identity_binary64_23256` `-lft-identity_binary64_23255` `remove-double-neg_binary64_23254` `sub0-neg_binary64_23253` `--rgt-identity_binary64_23252` `+-rgt-identity_binary64_23251` `+-lft-identity_binary64_23250` `cancel-sign-sub_binary64_23231` `distribute-neg-frac_binary64_23230` `distribute-frac-neg_binary64_23229` `distribute-neg-out_binary64_23228` `distribute-neg-in_binary64_23227` `distribute-rgt-neg-out_binary64_23226`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	125
1	45	125
2	56	125
3	62	125
4	66	125
5	67	125

Proof

(if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h2 h1)) -3266481104454536680376658216596388308657963184726300051537645769401451335943848356589584954495060580991512542294372496518389607767822283746998599004699081299640344516773194973501356969975822844455347836172539365322264662178095586787210903420928) (/ f64 (* f64 h3 (/ f64 2 h1)) (- f64 h0 h2)) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h2 h1)) -3879325484788241/17087896287367280659160173649356416916821636178853222159576332862577757806245124400183696695492608) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h2 h1)) 8105606701183181/19595533242629369747791401605606558418088927130487463844933662202465281465266200982457647235235528838735010358900495684567911298014908298340170885513171109743249504533143507682501017145381579984990109696) (* f64 (/ f64 2 h1) (/ f64 h3 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (=> (* f64 h2 h1))) 7838488152591628754899189288558433791822860492611619422200797115946416662931274080513659373065998250820490853286272650023272448) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (/ f64 (/ f64 (* f64 h3 2) h1) (- f64 h0 h2))))))
*-commutative_binary64_23197 =>
(if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h2 h1)) -3266481104454536680376658216596388308657963184726300051537645769401451335943848356589584954495060580991512542294372496518389607767822283746998599004699081299640344516773194973501356969975822844455347836172539365322264662178095586787210903420928) (/ f64 (* f64 h3 (/ f64 2 h1)) (- f64 h0 h2)) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h2 h1)) -3879325484788241/17087896287367280659160173649356416916821636178853222159576332862577757806245124400183696695492608) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (=> (* f64 h2 h1))) 8105606701183181/19595533242629369747791401605606558418088927130487463844933662202465281465266200982457647235235528838735010358900495684567911298014908298340170885513171109743249504533143507682501017145381579984990109696) (* f64 (/ f64 2 h1) (/ f64 h3 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) 7838488152591628754899189288558433791822860492611619422200797115946416662931274080513659373065998250820490853286272650023272448) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (/ f64 (/ f64 (* f64 h3 2) h1) (- f64 h0 h2))))))
*-commutative_binary64_23197 =>
(if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h2 h1)) -3266481104454536680376658216596388308657963184726300051537645769401451335943848356589584954495060580991512542294372496518389607767822283746998599004699081299640344516773194973501356969975822844455347836172539365322264662178095586787210903420928) (/ f64 (* f64 h3 (/ f64 2 h1)) (- f64 h0 h2)) (if real (<= f64 (- f64 (* f64 h0 h1) (=> (* f64 h2 h1))) -3879325484788241/17087896287367280659160173649356416916821636178853222159576332862577757806245124400183696695492608) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) 8105606701183181/19595533242629369747791401605606558418088927130487463844933662202465281465266200982457647235235528838735010358900495684567911298014908298340170885513171109743249504533143507682501017145381579984990109696) (* f64 (/ f64 2 h1) (/ f64 h3 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) 7838488152591628754899189288558433791822860492611619422200797115946416662931274080513659373065998250820490853286272650023272448) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (/ f64 (/ f64 (* f64 h3 2) h1) (- f64 h0 h2))))))
*-commutative_binary64_23197 =>
(if real (<= f64 (- f64 (* f64 h0 h1) (=> (* f64 h2 h1))) -3266481104454536680376658216596388308657963184726300051537645769401451335943848356589584954495060580991512542294372496518389607767822283746998599004699081299640344516773194973501356969975822844455347836172539365322264662178095586787210903420928) (/ f64 (* f64 h3 (/ f64 2 h1)) (- f64 h0 h2)) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) -3879325484788241/17087896287367280659160173649356416916821636178853222159576332862577757806245124400183696695492608) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) 8105606701183181/19595533242629369747791401605606558418088927130487463844933662202465281465266200982457647235235528838735010358900495684567911298014908298340170885513171109743249504533143507682501017145381579984990109696) (* f64 (/ f64 2 h1) (/ f64 h3 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) 7838488152591628754899189288558433791822860492611619422200797115946416662931274080513659373065998250820490853286272650023272448) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (/ f64 (/ f64 (* f64 h3 2) h1) (- f64 h0 h2))))))
*-commutative_binary64_23197 =>
(if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) -3266481104454536680376658216596388308657963184726300051537645769401451335943848356589584954495060580991512542294372496518389607767822283746998599004699081299640344516773194973501356969975822844455347836172539365322264662178095586787210903420928) (/ f64 (* f64 h3 (/ f64 2 h1)) (- f64 h0 h2)) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) -3879325484788241/17087896287367280659160173649356416916821636178853222159576332862577757806245124400183696695492608) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) 8105606701183181/19595533242629369747791401605606558418088927130487463844933662202465281465266200982457647235235528838735010358900495684567911298014908298340170885513171109743249504533143507682501017145381579984990109696) (* f64 (/ f64 2 h1) (/ f64 h3 (- f64 h0 h2))) (if real (<= f64 (- f64 (* f64 h0 h1) (* f64 h1 h2)) 7838488152591628754899189288558433791822860492611619422200797115946416662931274080513659373065998250820490853286272650023272448) (/ f64 (* f64 h3 2) (* f64 h1 (- f64 h0 h2))) (/ f64 (/ f64 (* f64 h3 2) h1) (- f64 h0 h2))))))

end0.0ms (0%)

sample1.4s (15%)

Algorithm

1×

intervals

Results

296.0ms	8000×	body	128	valid
24.0ms	730×	body	128	invalid

Compiler

Compiled 890 to 701 computations (21.2% saved)

Details

analyze659.0ms (7.2%)

sample21.0ms (0.2%)

simplify761.0ms (8.3%)

prune15.0ms (0.2%)

localize7.0ms (0.1%)

rewrite87.0ms (1%)

series392.0ms (4.3%)

simplify241.0ms (2.6%)

prune348.0ms (3.8%)

localize7.0ms (0.1%)

rewrite78.0ms (0.8%)

series466.0ms (5.1%)

simplify275.0ms (3%)

prune209.0ms (2.3%)

localize7.0ms (0.1%)

rewrite253.0ms (2.8%)

series635.0ms (6.9%)

simplify577.0ms (6.3%)

prune648.0ms (7.1%)

localize8.0ms (0.1%)

rewrite43.0ms (0.5%)

series558.0ms (6.1%)

simplify236.0ms (2.6%)

prune173.0ms (1.9%)

regimes1.1s (11.8%)

bsearch3.0ms (0%)

simplify14.0ms (0.2%)

end0.0ms (0%)

sample1.4s (15%)

Profiling