Details

analyze327.0ms (1.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

1340×	`distribute-lft-in_binary64_23215`
1300×	`distribute-rgt-in_binary64_23216`
904×	`associate-/l*_binary64_23211`
875×	`*-commutative_binary64_23197`
830×	`associate-/r/_binary64_23212`
524×	`associate-/l/_binary64_23213`
358×	`associate-*r/_binary64_23208`
254×	`associate-*l/_binary64_23209`
168×	`distribute-rgt-out_binary64_23219`
138×	`associate-/r*_binary64_23210` `+-commutative_binary64_23196`
135×	`associate-l_binary64_23207`
121×	`associate-r_binary64_23206`
108×	`*-lft-identity_binary64_23255`
100×	`*-rgt-identity_binary64_23256`
23×	`distribute-rgt1-in_binary64_23222`
11×	`/-rgt-identity_binary64_23257`
1×	`1-exp_binary64_23310`
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` `times-frac_binary64_23272` `div-sub_binary64_23271` `neg-mul-1_binary64_23262` `neg-sub0_binary64_23261` `unsub-neg_binary64_23260` `sub-neg_binary64_23259` `mul-1-neg_binary64_23258` `remove-double-neg_binary64_23254` `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_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` `swap-sqr_binary64_23233` `cancel-sign-sub-inv_binary64_23232` `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` `distribute-lft-neg-out_binary64_23225` `distribute-rgt-neg-in_binary64_23224` `distribute-lft-neg-in_binary64_23223` `distribute-lft1-in_binary64_23221` `distribute-rgt-out--_binary64_23220` `distribute-lft-out--_binary64_23218` `distribute-lft-out_binary64_23217` `count-2_binary64_23214` `associate--r-_binary64_23205` `associate--l-_binary64_23204` `associate--l+_binary64_23203` `associate--r+_binary64_23202` `associate-+l-_binary64_23201` `associate-+r-_binary64_23200` `associate-+l+_binary64_23199` `associate-+r+_binary64_23198`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	143	656
1	331	656
2	800	656
3	1441	656
4	2133	656
5	2824	656
6	3151	656
7	3660	656
8	3661	656
9	3661	656
10	3859	656
11	4155	656
12	4197	656
13	4158	656
14	4158	656
15	5066	656
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
99.7%	0%	0.3%	1

Compiler

Compiled 28 to 27 computations (3.6% saved)

sample135.0ms (0.6%)

Algorithm

1×

intervals

Results

57.0ms	80×	body	2048	valid
29.0ms	65×	body	1024	valid
13.0ms	11×	body	4096	valid
10.0ms	30×	body	512	valid
6.0ms	53×	body	128	valid
4.0ms	17×	body	256	valid

Compiler

Compiled 55 to 59 computations (-7.3% saved)

simplify40.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

259×	`associate-/l*_binary64_23211`
218×	`*-commutative_binary64_23197`
216×	`distribute-lft-in_binary64_23215`
212×	`distribute-rgt-in_binary64_23216` `associate-/r/_binary64_23212`
148×	`associate-l_binary64_23207`
134×	`associate-r_binary64_23206`
114×	`associate-/r*_binary64_23210`
40×	`associate-*l/_binary64_23209`
37×	`associate-/l/_binary64_23213`
30×	`*-lft-identity_binary64_23255`
28×	`*-rgt-identity_binary64_23256`
23×	`associate-*r/_binary64_23208`
20×	`distribute-rgt-out_binary64_23219`
12×	`+-commutative_binary64_23196`
5×	`/-rgt-identity_binary64_23257`
4×	`distribute-lft-out_binary64_23217`
1×	`1-exp_binary64_23310`
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` `times-frac_binary64_23272` `div-sub_binary64_23271` `neg-mul-1_binary64_23262` `neg-sub0_binary64_23261` `unsub-neg_binary64_23260` `sub-neg_binary64_23259` `mul-1-neg_binary64_23258` `remove-double-neg_binary64_23254` `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_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` `swap-sqr_binary64_23233` `cancel-sign-sub-inv_binary64_23232` `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` `distribute-lft-neg-out_binary64_23225` `distribute-rgt-neg-in_binary64_23224` `distribute-lft-neg-in_binary64_23223` `distribute-rgt1-in_binary64_23222` `distribute-lft1-in_binary64_23221` `distribute-rgt-out--_binary64_23220` `distribute-lft-out--_binary64_23218` `count-2_binary64_23214` `associate--r-_binary64_23205` `associate--l-_binary64_23204` `associate--l+_binary64_23203` `associate--r+_binary64_23202` `associate-+l-_binary64_23201` `associate-+r-_binary64_23200` `associate-+l+_binary64_23199` `associate-+r+_binary64_23198`

Counts

1 → 1

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	24	41
1	45	41
2	99	41
3	188	41
4	397	41
5	548	41
6	669	35
7	907	35
8	947	35
9	994	35
10	1006	35
11	1006	35
12	990	35

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

47.8b

Counts

2 → 2

Compiler

Compiled 73 to 70 computations (4.1% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.1b	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
2.3b	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
37.4b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
37.4b	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))

rewrite177.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

45.7b

Rules

14×	`pow1_binary64_23327` `add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
6×	`add-cube-cbrt_binary64_23301` `add-sqr-sqrt_binary64_23288` `-un-lft-identity_binary64_23266` `pow-prod-down_binary64_23337` `prod-exp_binary64_23315` `cbrt-unprod_binary64_23299` `associate-r*_binary64_23206`
4×	`distribute-rgt-in_binary64_23216` `cos-sum_binary64_23400` `distribute-lft-in_binary64_23215` `add-log-exp_binary64_23305` `associate-*r/_binary64_23208`
2×	`flip3-+_binary64_23269` `flip-+_binary64_23240` `associate-l_binary64_23207` `*-commutative_binary64_23197`

Counts

4 → 62

Calls

4 calls:

8.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
7.0ms	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
3.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
3.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))

Compiler

Compiled 2016 to 1293 computations (35.9% saved)

series1.2s (5.1%)

Error

43.8b

Counts

4 → 54

Calls

4 calls:

295.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
285.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
248.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
248.0ms	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))

Compiler

Compiled 5242 to 4231 computations (19.3% saved)

simplify118.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

547×	`associate-l_binary64_23207`
527×	`associate-r_binary64_23206`
320×	`distribute-rgt-neg-in_binary64_23224`
295×	`distribute-lft-neg-in_binary64_23223`
262×	`*-commutative_binary64_23197`
215×	`unswap-sqr_binary64_23234`
208×	`distribute-rgt-out_binary64_23219`
203×	`exp-prod_binary64_23318`
130×	`sub-neg_binary64_23259`
115×	`distribute-rgt-in_binary64_23216`
114×	`distribute-lft-in_binary64_23215`
82×	`+-commutative_binary64_23196`
63×	`sqr-pow_binary64_23238`
54×	`log-prod_binary64_23352`
49×	`neg-mul-1_binary64_23262` `neg-sub0_binary64_23261` `associate--r+_binary64_23202` `associate-+r+_binary64_23198`
46×	`cancel-sign-sub-inv_binary64_23232`
43×	`swap-sqr_binary64_23233`
32×	`associate-+l+_binary64_23199`
31×	`cube-prod_binary64_23294`
28×	`distribute-neg-in_binary64_23227`
26×	`distribute-lft-neg-out_binary64_23225`
23×	`*-lft-identity_binary64_23255` `associate--l+_binary64_23203`
21×	`*-rgt-identity_binary64_23256`
19×	`unsub-neg_binary64_23260`
14×	`exp-sum_binary64_23312`
13×	`unpow3_binary64_23332`
8×	`pow-plus_binary64_23329` `cube-unmult_binary64_23303` `distribute-lft-out_binary64_23217`
7×	`unpow1/2_binary64_23330`
6×	`log-pow_binary64_23355` `distribute-rgt-out--_binary64_23220`
5×	`unpow2_binary64_23331` `unpow1_binary64_23324` `distribute-rgt1-in_binary64_23222`
4×	`cube-mult_binary64_23296` `distribute-rgt-neg-out_binary64_23226`
3×	`distribute-lft1-in_binary64_23221`
2×	`pow-sqr_binary64_23239`
1×	`1-exp_binary64_23310` `exp-1-e_binary64_23309`
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-rec_binary64_23354` `log-div_binary64_23353` `pow-base-0_binary64_23350` `unpow1/3_binary64_23333` `exp-to-pow_binary64_23328` `pow-base-1_binary64_23326` `unpow0_binary64_23325` `unpow-1_binary64_23323` `exp-lft-cube_binary64_23322` `exp-lft-sqr_binary64_23321` `exp-cbrt_binary64_23320` `exp-sqrt_binary64_23319` `div-exp_binary64_23317` `rec-exp_binary64_23316` `prod-exp_binary64_23315` `exp-diff_binary64_23314` `exp-neg_binary64_23313` `e-exp-1_binary64_23311` `exp-0_binary64_23308` `rem-log-exp_binary64_23307` `rem-exp-log_binary64_23306` `cube-div_binary64_23295` `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` `times-frac_binary64_23272` `div-sub_binary64_23271` `mul-1-neg_binary64_23258` `/-rgt-identity_binary64_23257` `remove-double-neg_binary64_23254` `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_23246` `+-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` `difference-of-squares_binary64_23235` `cancel-sign-sub_binary64_23231` `distribute-neg-frac_binary64_23230` `distribute-frac-neg_binary64_23229` `distribute-neg-out_binary64_23228` `distribute-lft-out--_binary64_23218` `count-2_binary64_23214` `associate-/l/_binary64_23213` `associate-/r/_binary64_23212` `associate-/l_binary64_23211` `associate-/r_binary64_23210` `associate-l/_binary64_23209` `associate-*r/_binary64_23208` `associate--r-_binary64_23205` `associate--l-_binary64_23204` `associate-+l-_binary64_23201` `associate-+r-_binary64_23200`

Counts

116 → 99

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	304	2865
1	786	2512
2	3008	2464
3	4891	2464
4	4988	2464

prune262.0ms (1.1%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	77	22	99
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	79	22	101

Error

45.0b

Counts

101 → 22

Compiler

Compiled 3855 to 2651 computations (31.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 1/16 (*.f64 b t))))
2.1b	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
31.1b	(cos.f64 (.f64 1/16 (.f64 b t)))
37.4b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))

rewrite134.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

44.6b

Rules

14×	`pow1_binary64_23327` `add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
6×	`add-cube-cbrt_binary64_23301` `add-sqr-sqrt_binary64_23288` `-un-lft-identity_binary64_23266` `pow-prod-down_binary64_23337` `prod-exp_binary64_23315` `cbrt-unprod_binary64_23299` `associate-r*_binary64_23206`
4×	`add-log-exp_binary64_23305`
2×	`distribute-rgt-in_binary64_23216` `cos-sum_binary64_23400` `distribute-lft-in_binary64_23215` `associate-r/_binary64_23208` `associate-l_binary64_23207` `-commutative_binary64_23197`
1×	`flip3-+_binary64_23269` `flip-+_binary64_23240`

Counts

4 → 56

Calls

4 calls:

8.0ms	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 1/16 (*.f64 b t))))
7.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
3.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
2.0ms	(cos.f64 (.f64 1/16 (.f64 b t)))

Compiler

Compiled 1643 to 1022 computations (37.8% saved)

series2.0s (8.4%)

Error

41.8b

Counts

4 → 59

Calls

4 calls:

1.2s	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 1/16 (*.f64 b t))))
279.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
248.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
77.0ms	(cos.f64 (.f64 1/16 (.f64 b t)))

Compiler

Compiled 5877 to 4676 computations (20.4% saved)

simplify105.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

846×	`cancel-sign-sub-inv_binary64_23232`
744×	`associate-r_binary64_23206`
673×	`associate-l_binary64_23207`
335×	`*-commutative_binary64_23197`
159×	`unswap-sqr_binary64_23234`
139×	`sub-neg_binary64_23259`
117×	`+-commutative_binary64_23196`
104×	`associate-+r+_binary64_23198`
72×	`exp-prod_binary64_23318`
69×	`associate-+l+_binary64_23199`
60×	`distribute-rgt-in_binary64_23216` `distribute-lft-in_binary64_23215`
56×	`neg-mul-1_binary64_23262` `neg-sub0_binary64_23261`
52×	`sqr-pow_binary64_23238`
51×	`associate--r+_binary64_23202`
42×	`log-prod_binary64_23352`
35×	`swap-sqr_binary64_23233`
30×	`associate--l+_binary64_23203`
29×	`cube-prod_binary64_23294`
24×	`unsub-neg_binary64_23260`
19×	`*-lft-identity_binary64_23255`
18×	`*-rgt-identity_binary64_23256` `distribute-neg-in_binary64_23227` `distribute-rgt-neg-in_binary64_23224`
17×	`distribute-lft-neg-in_binary64_23223`
15×	`distribute-lft-out_binary64_23217`
9×	`cube-unmult_binary64_23303` `distribute-rgt-out_binary64_23219`
6×	`exp-sum_binary64_23312`
4×	`unpow2_binary64_23331` `unpow1/2_binary64_23330` `unpow1_binary64_23324`
3×	`pow-plus_binary64_23329`
2×	`log-pow_binary64_23355` `unpow3_binary64_23332` `cube-mult_binary64_23296` `pow-sqr_binary64_23239`
1×	`1-exp_binary64_23310` `exp-1-e_binary64_23309` `distribute-lft-neg-out_binary64_23225`
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-rec_binary64_23354` `log-div_binary64_23353` `pow-base-0_binary64_23350` `unpow1/3_binary64_23333` `exp-to-pow_binary64_23328` `pow-base-1_binary64_23326` `unpow0_binary64_23325` `unpow-1_binary64_23323` `exp-lft-cube_binary64_23322` `exp-lft-sqr_binary64_23321` `exp-cbrt_binary64_23320` `exp-sqrt_binary64_23319` `div-exp_binary64_23317` `rec-exp_binary64_23316` `prod-exp_binary64_23315` `exp-diff_binary64_23314` `exp-neg_binary64_23313` `e-exp-1_binary64_23311` `exp-0_binary64_23308` `rem-log-exp_binary64_23307` `rem-exp-log_binary64_23306` `cube-div_binary64_23295` `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` `times-frac_binary64_23272` `div-sub_binary64_23271` `mul-1-neg_binary64_23258` `/-rgt-identity_binary64_23257` `remove-double-neg_binary64_23254` `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_23246` `+-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` `difference-of-squares_binary64_23235` `cancel-sign-sub_binary64_23231` `distribute-neg-frac_binary64_23230` `distribute-frac-neg_binary64_23229` `distribute-neg-out_binary64_23228` `distribute-rgt-neg-out_binary64_23226` `distribute-rgt1-in_binary64_23222` `distribute-lft1-in_binary64_23221` `distribute-rgt-out--_binary64_23220` `distribute-lft-out--_binary64_23218` `count-2_binary64_23214` `associate-/l/_binary64_23213` `associate-/r/_binary64_23212` `associate-/l_binary64_23211` `associate-/r_binary64_23210` `associate-l/_binary64_23209` `associate-*r/_binary64_23208` `associate--r-_binary64_23205` `associate--l-_binary64_23204` `associate-+l-_binary64_23201` `associate-+r-_binary64_23200`

Counts

115 → 93

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	336	3761
1	950	3306
2	3688	3306
3	5313	3306

prune239.0ms (1%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	77	16	93
Fresh	7	14	21
Picked	1	0	1
Done	0	0	0
Total	85	30	115

Error

43.0b

Counts

115 → 30

Compiler

Compiled 3790 to 2578 computations (32% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 z (+.f64 (.f64 y 1/8) 1/16))
0.2b	(.f64 (cos.f64 (.f64 t (.f64 z (+.f64 (.f64 y 1/8) 1/16)))) x)
2.7b	(.f64 t (.f64 z (+.f64 (*.f64 y 1/8) 1/16)))
37.4b	(cos.f64 (.f64 t (.f64 z (+.f64 (*.f64 y 1/8) 1/16))))

rewrite154.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

42.4b

Rules

13×	`pow1_binary64_23327` `add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302` `add-sqr-sqrt_binary64_23288`
9×	`distribute-rgt-in_binary64_23216` `distribute-lft-in_binary64_23215` `add-cube-cbrt_binary64_23301` `-un-lft-identity_binary64_23266` `associate-l*_binary64_23207`
7×	`associate-r_binary64_23206`
6×	`associate-*r/_binary64_23208`
5×	`pow-prod-down_binary64_23337` `prod-exp_binary64_23315` `cbrt-unprod_binary64_23299`
4×	`cos-sum_binary64_23400` `add-log-exp_binary64_23305`
3×	`*-commutative_binary64_23197`
2×	`flip3-+_binary64_23269` `flip-+_binary64_23240` `unswap-sqr_binary64_23234`

Counts

4 → 75

Calls

4 calls:

9.0ms	(.f64 t (.f64 z (+.f64 (*.f64 y 1/8) 1/16)))
7.0ms	(.f64 z (+.f64 (.f64 y 1/8) 1/16))
6.0ms	(.f64 (cos.f64 (.f64 t (.f64 z (+.f64 (.f64 y 1/8) 1/16)))) x)
4.0ms	(cos.f64 (.f64 t (.f64 z (+.f64 (*.f64 y 1/8) 1/16))))

Compiler

Compiled 1578 to 1106 computations (29.9% saved)

series1.3s (5.4%)

Error

41.6b

Counts

4 → 54

Calls

4 calls:

550.0ms	(.f64 (cos.f64 (.f64 t (.f64 z (+.f64 (.f64 y 1/8) 1/16)))) x)
281.0ms	(cos.f64 (.f64 t (.f64 z (+.f64 (*.f64 y 1/8) 1/16))))
237.0ms	(.f64 t (.f64 z (+.f64 (*.f64 y 1/8) 1/16)))
120.0ms	(.f64 z (+.f64 (.f64 y 1/8) 1/16))

Compiler

Compiled 3766 to 3179 computations (15.6% saved)

simplify125.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

651×	`cancel-sign-sub-inv_binary64_23232`
530×	`distribute-rgt-in_binary64_23216`
436×	`associate-r_binary64_23206`
383×	`associate-l_binary64_23207`
218×	`distribute-rgt-neg-in_binary64_23224` `*-commutative_binary64_23197`
206×	`distribute-lft-neg-in_binary64_23223`
148×	`neg-mul-1_binary64_23262` `neg-sub0_binary64_23261`
143×	`exp-prod_binary64_23318`
137×	`sub-neg_binary64_23259`
132×	`sqr-pow_binary64_23238`
102×	`unswap-sqr_binary64_23234`
89×	`distribute-lft-out_binary64_23217`
88×	`distribute-rgt-out_binary64_23219`
70×	`distribute-lft-in_binary64_23215`
65×	`+-commutative_binary64_23196`
48×	`log-prod_binary64_23352` `*-rgt-identity_binary64_23256`
46×	`associate-+r+_binary64_23198`
43×	`cube-prod_binary64_23294`
42×	`associate--r+_binary64_23202`
32×	`unsub-neg_binary64_23260` `associate-+l+_binary64_23199`
28×	`swap-sqr_binary64_23233` `distribute-neg-in_binary64_23227`
23×	`*-lft-identity_binary64_23255`
19×	`associate--l+_binary64_23203`
15×	`pow-sqr_binary64_23239`
12×	`distribute-lft-neg-out_binary64_23225`
9×	`cube-unmult_binary64_23303`
8×	`unpow3_binary64_23332` `exp-sum_binary64_23312`
5×	`unpow1/2_binary64_23330` `pow-plus_binary64_23329` `cube-mult_binary64_23296`
4×	`log-pow_binary64_23355` `distribute-rgt1-in_binary64_23222`
3×	`unpow2_binary64_23331` `unpow1_binary64_23324` `rem-sqrt-square_binary64_23279` `distribute-lft1-in_binary64_23221` `distribute-rgt-out--_binary64_23220`
1×	`1-exp_binary64_23310` `exp-1-e_binary64_23309`
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-rec_binary64_23354` `log-div_binary64_23353` `pow-base-0_binary64_23350` `unpow1/3_binary64_23333` `exp-to-pow_binary64_23328` `pow-base-1_binary64_23326` `unpow0_binary64_23325` `unpow-1_binary64_23323` `exp-lft-cube_binary64_23322` `exp-lft-sqr_binary64_23321` `exp-cbrt_binary64_23320` `exp-sqrt_binary64_23319` `div-exp_binary64_23317` `rec-exp_binary64_23316` `prod-exp_binary64_23315` `exp-diff_binary64_23314` `exp-neg_binary64_23313` `e-exp-1_binary64_23311` `exp-0_binary64_23308` `rem-log-exp_binary64_23307` `rem-exp-log_binary64_23306` `cube-div_binary64_23295` `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-square-sqrt_binary64_23278` `times-frac_binary64_23272` `div-sub_binary64_23271` `mul-1-neg_binary64_23258` `/-rgt-identity_binary64_23257` `remove-double-neg_binary64_23254` `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_23246` `+-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` `difference-of-squares_binary64_23235` `cancel-sign-sub_binary64_23231` `distribute-neg-frac_binary64_23230` `distribute-frac-neg_binary64_23229` `distribute-neg-out_binary64_23228` `distribute-rgt-neg-out_binary64_23226` `distribute-lft-out--_binary64_23218` `count-2_binary64_23214` `associate-/l/_binary64_23213` `associate-/r/_binary64_23212` `associate-/l_binary64_23211` `associate-/r_binary64_23210` `associate-l/_binary64_23209` `associate-*r/_binary64_23208` `associate--r-_binary64_23205` `associate--l-_binary64_23204` `associate-+l-_binary64_23201` `associate-+r-_binary64_23200`

Counts

129 → 81

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	262	3145
1	632	2833
2	2340	2701
3	4555	2701
4	5104	2701

prune179.0ms (0.8%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	69	12	81
Fresh	3	26	29
Picked	1	0	1
Done	0	0	0
Total	73	38	111

Error

42.0b

Counts

111 → 38

Compiler

Compiled 2704 to 1975 computations (27% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

0.1b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
0.2b	(.f64 1/16 (.f64 t z))
29.7b	(cos.f64 (.f64 1/16 (.f64 t z)))

rewrite70.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

41.7b

Rules

10×	`pow1_binary64_23327` `add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
8×	`add-sqr-sqrt_binary64_23288`
6×	`add-cube-cbrt_binary64_23301` `-un-lft-identity_binary64_23266` `associate-l*_binary64_23207`
4×	`pow-prod-down_binary64_23337` `prod-exp_binary64_23315` `cbrt-unprod_binary64_23299` `associate-r_binary64_23206`
3×	`add-log-exp_binary64_23305`
2×	`*-commutative_binary64_23197`
1×	`unswap-sqr_binary64_23234`

Counts

3 → 43

Calls

3 calls:

5.0ms	(.f64 1/16 (.f64 t z))
5.0ms	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
2.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

Compiler

Compiled 624 to 373 computations (40.2% saved)

series375.0ms (1.6%)

Error

41.4b

Counts

3 → 29

Calls

3 calls:

199.0ms	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
81.0ms	(.f64 1/16 (.f64 t z))
68.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

Compiler

Compiled 860 to 879 computations (-2.2% saved)

simplify118.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

501×	`unswap-sqr_binary64_23234`
398×	`distribute-rgt-neg-in_binary64_23224`
365×	`distribute-lft-neg-in_binary64_23223`
344×	`distribute-rgt-in_binary64_23216`
301×	`*-commutative_binary64_23197`
288×	`cancel-sign-sub-inv_binary64_23232`
253×	`sub-neg_binary64_23259`
235×	`neg-mul-1_binary64_23262`
231×	`neg-sub0_binary64_23261`
171×	`sqr-pow_binary64_23238`
129×	`associate-r_binary64_23206`
125×	`associate-l_binary64_23207`
124×	`unsub-neg_binary64_23260`
111×	`distribute-lft-in_binary64_23215`
87×	`associate-+l+_binary64_23199`
72×	`distribute-neg-in_binary64_23227`
65×	`associate-+r+_binary64_23198`
63×	`pow-sqr_binary64_23239`
55×	`exp-prod_binary64_23318`
54×	`+-commutative_binary64_23196`
50×	`log-prod_binary64_23352`
44×	`cube-prod_binary64_23294`
40×	`mul0-rgt_binary64_23249` `mul0-lft_binary64_23248` `associate-/l*_binary64_23211`
30×	`times-frac_binary64_23272`
29×	`distribute-rgt-out_binary64_23219`
26×	`distribute-lft-neg-out_binary64_23225` `distribute-lft-out_binary64_23217` `associate-/l/_binary64_23213`
25×	`associate--r+_binary64_23202`
23×	`swap-sqr_binary64_23233`
20×	`unpow3_binary64_23332`
18×	`div-sub_binary64_23271`
17×	`associate-*r/_binary64_23208`
14×	`cube-unmult_binary64_23303` `associate-/r/_binary64_23212` `associate-/r*_binary64_23210`
13×	`rem-sqrt-square_binary64_23279` `*-lft-identity_binary64_23255` `associate-+l-_binary64_23201`
12×	`log-pow_binary64_23355` `*-rgt-identity_binary64_23256`
11×	`cube-mult_binary64_23296`
10×	`distribute-rgt1-in_binary64_23222`
9×	`distribute-rgt-out--_binary64_23220`
8×	`pow-plus_binary64_23329` `exp-sum_binary64_23312` `associate-*l/_binary64_23209`
7×	`sub0-neg_binary64_23253` `+-rgt-identity_binary64_23251` `associate--l+_binary64_23203` `associate-+r-_binary64_23200`
5×	`unpow1/2_binary64_23330` `count-2_binary64_23214`
4×	`unpow2_binary64_23331` `remove-double-neg_binary64_23254` `distribute-lft1-in_binary64_23221`
3×	`exp-diff_binary64_23314` `--rgt-identity_binary64_23252`
2×	`unpow1_binary64_23324` `cube-neg_binary64_23293` `/-rgt-identity_binary64_23257` `distribute-rgt-neg-out_binary64_23226`
1×	`1-exp_binary64_23310` `exp-1-e_binary64_23309` `sqr-neg_binary64_23280`
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-rec_binary64_23354` `log-div_binary64_23353` `pow-base-0_binary64_23350` `unpow1/3_binary64_23333` `exp-to-pow_binary64_23328` `pow-base-1_binary64_23326` `unpow0_binary64_23325` `unpow-1_binary64_23323` `exp-lft-cube_binary64_23322` `exp-lft-sqr_binary64_23321` `exp-cbrt_binary64_23320` `exp-sqrt_binary64_23319` `div-exp_binary64_23317` `rec-exp_binary64_23316` `prod-exp_binary64_23315` `exp-neg_binary64_23313` `e-exp-1_binary64_23311` `exp-0_binary64_23308` `rem-log-exp_binary64_23307` `rem-exp-log_binary64_23306` `cube-div_binary64_23295` `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` `+-lft-identity_binary64_23250` `div0_binary64_23247` `*-inverses_binary64_23246` `+-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` `difference-of-squares_binary64_23235` `cancel-sign-sub_binary64_23231` `distribute-neg-frac_binary64_23230` `distribute-frac-neg_binary64_23229` `distribute-neg-out_binary64_23228` `distribute-lft-out--_binary64_23218` `associate--r-_binary64_23205` `associate--l-_binary64_23204`

Counts

72 → 31

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	96	992
1	213	887
2	628	881
3	1021	881
4	1578	881
5	3398	881
6	4521	881
7	4920	881
8	4908	881

prune36.0ms (0.2%)

Pruning

43 alts after pruning (42 fresh and 1 done)

	Pruned	Kept	Total
New	24	7	31
Fresh	2	35	37
Picked	0	1	1
Done	0	0	0
Total	26	43	69

Error

41.8b

Counts

69 → 43

Compiler

Compiled 390 to 226 computations (42.1% saved)

regimes7.2s (30.9%)

Accuracy

Total 5.4b remaining (12.1%)

Threshold costs 0b (0%)

Compiler

Compiled 81064 to 74626 computations (7.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1× 1-exp_binary64_23310 *-lft-identity_binary64_23255 *-commutative_binary64_23197

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 exp-1-e_binary64_23309 exp-0_binary64_23308 sqr-abs_binary64_23281 sqr-neg_binary64_23280 neg-mul-1_binary64_23262 neg-sub0_binary64_23261 unsub-neg_binary64_23260 sub-neg_binary64_23259 mul-1-neg_binary64_23258 /-rgt-identity_binary64_23257 *-rgt-identity_binary64_23256 remove-double-neg_binary64_23254 sub0-neg_binary64_23253 --rgt-identity_binary64_23252 +-rgt-identity_binary64_23251 +-lft-identity_binary64_23250 cancel-sign-sub-inv_binary64_23232 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 distribute-lft-neg-out_binary64_23225 distribute-rgt-neg-in_binary64_23224 distribute-lft-neg-in_binary64_23223 +-commutative_binary64_23196

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	1
1	7	1
2	6	1

end0.0ms (0%)

sample9.0s (38.7%)

Algorithm

1×

intervals

Results

1.6s	2368×	body	2048	valid
905.0ms	1949×	body	1024	valid
349.0ms	317×	body	4096	valid
299.0ms	940×	body	512	valid
212.0ms	1991×	body	128	valid
103.0ms	435×	body	256	valid

Compiler

Compiled 6275 to 5782 computations (7.9% saved)

Details

analyze327.0ms (1.4%)

sample135.0ms (0.6%)

simplify40.0ms (0.2%)

prune6.0ms (0%)

localize22.0ms (0.1%)

rewrite177.0ms (0.8%)

series1.2s (5.1%)

simplify118.0ms (0.5%)

prune262.0ms (1.1%)

localize15.0ms (0.1%)

rewrite134.0ms (0.6%)

series2.0s (8.4%)

simplify105.0ms (0.5%)

prune239.0ms (1%)

localize10.0ms (0%)

rewrite154.0ms (0.7%)

series1.3s (5.4%)

simplify125.0ms (0.5%)

prune179.0ms (0.8%)

localize6.0ms (0%)

rewrite70.0ms (0.3%)

series375.0ms (1.6%)

simplify118.0ms (0.5%)

prune36.0ms (0.2%)

regimes7.2s (30.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample9.0s (38.7%)

Profiling