Metrics for Data.Octree.Internal:octantDistance from Octree-0.5.4.2

analyze262.0ms (7.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

1× +-commutative_binary64_22855 swap-x-y

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_23188 erf-erfc_binary64_23187 erf-odd_binary64_23186 if-if-and-not_binary64_23185 if-if-and_binary64_23184 if-if-or-not_binary64_23183 if-if-or_binary64_23182 if-not_binary64_23181 if-same_binary64_23180 if-false_binary64_23179 if-true_binary64_23178 not-gte_binary64_23177 not-lte_binary64_23176 not-gt_binary64_23175 not-lt_binary64_23174 gte-same_binary64_23173 lte-same_binary64_23172 gt-same_binary64_23171 lt-same_binary64_23170 sinh---cosh_binary64_23117 sinh-+-cosh_binary64_23116 sinh-cosh_binary64_23115 tanh-def-c_binary64_23114 tanh-def-b_binary64_23113 tanh-def-a_binary64_23112 cosh-def_binary64_23111 sinh-def_binary64_23110 tan-neg_binary64_23057 cos-neg_binary64_23056 sin-neg_binary64_23055 tan-0_binary64_23054 cos-0_binary64_23053 sin-0_binary64_23052 hang-m-tan_binary64_23051 hang-p-tan_binary64_23050 hang-m0-tan_binary64_23049 hang-p0-tan_binary64_23048 hang-0m-tan_binary64_23047 hang-0p-tan_binary64_23046 tan-+PI/2_binary64_23045 tan-+PI_binary64_23044 tan-PI_binary64_23043 tan-PI/3_binary64_23042 tan-PI/4_binary64_23041 tan-PI/6_binary64_23040 cos-+PI/2_binary64_23039 cos-+PI_binary64_23038 cos-PI_binary64_23037 cos-PI/2_binary64_23036 cos-PI/3_binary64_23035 cos-PI/4_binary64_23034 cos-PI/6_binary64_23033 sin-+PI/2_binary64_23032 sin-+PI_binary64_23031 sin-PI_binary64_23030 sin-PI/2_binary64_23029 sin-PI/3_binary64_23028 sin-PI/4_binary64_23027 sin-PI/6_binary64_23026 sub-1-sin_binary64_23025 sub-1-cos_binary64_23024 -1-add-sin_binary64_23023 -1-add-cos_binary64_23022 1-sub-sin_binary64_23021 1-sub-cos_binary64_23020 cos-sin-sum_binary64_23019 log-E_binary64_23015 log-pow_binary64_23014 log-rec_binary64_23013 log-div_binary64_23012 log-prod_binary64_23011 pow-base-0_binary64_23009 unpow1/3_binary64_22992 unpow3_binary64_22991 unpow2_binary64_22990 unpow1/2_binary64_22989 pow-plus_binary64_22988 exp-to-pow_binary64_22987 pow-base-1_binary64_22985 unpow0_binary64_22984 unpow1_binary64_22983 unpow-1_binary64_22982 exp-lft-cube_binary64_22981 exp-lft-sqr_binary64_22980 exp-cbrt_binary64_22979 exp-sqrt_binary64_22978 exp-prod_binary64_22977 div-exp_binary64_22976 rec-exp_binary64_22975 prod-exp_binary64_22974 exp-diff_binary64_22973 exp-neg_binary64_22972 exp-sum_binary64_22971 e-exp-1_binary64_22970 1-exp_binary64_22969 exp-1-e_binary64_22968 exp-0_binary64_22967 rem-log-exp_binary64_22966 rem-exp-log_binary64_22965 cube-unmult_binary64_22962 cube-mult_binary64_22955 cube-div_binary64_22954 cube-prod_binary64_22953 cube-neg_binary64_22952 rem-3cbrt-rft_binary64_22951 rem-3cbrt-lft_binary64_22950 rem-cbrt-cube_binary64_22949 rem-cube-cbrt_binary64_22948 sqr-abs_binary64_22940 sqr-neg_binary64_22939 rem-sqrt-square_binary64_22938 rem-square-sqrt_binary64_22937 times-frac_binary64_22931 div-sub_binary64_22930 neg-mul-1_binary64_22921 neg-sub0_binary64_22920 unsub-neg_binary64_22919 sub-neg_binary64_22918 mul-1-neg_binary64_22917 /-rgt-identity_binary64_22916 *-rgt-identity_binary64_22915 *-lft-identity_binary64_22914 remove-double-neg_binary64_22913 sub0-neg_binary64_22912 --rgt-identity_binary64_22911 +-rgt-identity_binary64_22910 +-lft-identity_binary64_22909 mul0-rgt_binary64_22908 mul0-lft_binary64_22907 div0_binary64_22906 *-inverses_binary64_22905 +-inverses_binary64_22904 lft-mult-inverse_binary64_22903 rgt-mult-inverse_binary64_22902 remove-double-div_binary64_22901 pow-sqr_binary64_22898 sqr-pow_binary64_22897 difference-of-sqr--1_binary64_22896 difference-of-sqr-1_binary64_22895 difference-of-squares_binary64_22894 unswap-sqr_binary64_22893 swap-sqr_binary64_22892 cancel-sign-sub-inv_binary64_22891 cancel-sign-sub_binary64_22890 distribute-neg-frac_binary64_22889 distribute-frac-neg_binary64_22888 distribute-neg-out_binary64_22887 distribute-neg-in_binary64_22886 distribute-rgt-neg-out_binary64_22885 distribute-lft-neg-out_binary64_22884 distribute-rgt-neg-in_binary64_22883 distribute-lft-neg-in_binary64_22882 distribute-rgt1-in_binary64_22881 distribute-lft1-in_binary64_22880 distribute-rgt-out--_binary64_22879 distribute-rgt-out_binary64_22878 distribute-lft-out--_binary64_22877 distribute-lft-out_binary64_22876 distribute-rgt-in_binary64_22875 distribute-lft-in_binary64_22874 count-2_binary64_22873 associate-/l/_binary64_22872 associate-/r/_binary64_22871 associate-/l*_binary64_22870 associate-/r*_binary64_22869 associate-*l/_binary64_22868 associate-*r/_binary64_22867 associate-*l*_binary64_22866 associate-*r*_binary64_22865 associate--r-_binary64_22864 associate--l-_binary64_22863 associate--l+_binary64_22862 associate--r+_binary64_22861 associate-+l-_binary64_22860 associate-+r-_binary64_22859 associate-+l+_binary64_22858 associate-+r+_binary64_22857 *-commutative_binary64_22856

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	24
1	8	24
2	8	24
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
56.2%	43.7%	0.1%	7
65.6%	34.3%	0.1%	8
76.5%	23.4%	0.1%	9
82%	18%	0.1%	10
87.8%	12.1%	0.1%	11
90.7%	9.2%	0.1%	12
93.8%	6.1%	0.1%	13
95.3%	4.6%	0.1%	14

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample26.0ms (0.7%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_22855

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_23188 erf-erfc_binary64_23187 erf-odd_binary64_23186 if-if-and-not_binary64_23185 if-if-and_binary64_23184 if-if-or-not_binary64_23183 if-if-or_binary64_23182 if-not_binary64_23181 if-same_binary64_23180 if-false_binary64_23179 if-true_binary64_23178 not-gte_binary64_23177 not-lte_binary64_23176 not-gt_binary64_23175 not-lt_binary64_23174 gte-same_binary64_23173 lte-same_binary64_23172 gt-same_binary64_23171 lt-same_binary64_23170 sinh---cosh_binary64_23117 sinh-+-cosh_binary64_23116 sinh-cosh_binary64_23115 tanh-def-c_binary64_23114 tanh-def-b_binary64_23113 tanh-def-a_binary64_23112 cosh-def_binary64_23111 sinh-def_binary64_23110 tan-neg_binary64_23057 cos-neg_binary64_23056 sin-neg_binary64_23055 tan-0_binary64_23054 cos-0_binary64_23053 sin-0_binary64_23052 hang-m-tan_binary64_23051 hang-p-tan_binary64_23050 hang-m0-tan_binary64_23049 hang-p0-tan_binary64_23048 hang-0m-tan_binary64_23047 hang-0p-tan_binary64_23046 tan-+PI/2_binary64_23045 tan-+PI_binary64_23044 tan-PI_binary64_23043 tan-PI/3_binary64_23042 tan-PI/4_binary64_23041 tan-PI/6_binary64_23040 cos-+PI/2_binary64_23039 cos-+PI_binary64_23038 cos-PI_binary64_23037 cos-PI/2_binary64_23036 cos-PI/3_binary64_23035 cos-PI/4_binary64_23034 cos-PI/6_binary64_23033 sin-+PI/2_binary64_23032 sin-+PI_binary64_23031 sin-PI_binary64_23030 sin-PI/2_binary64_23029 sin-PI/3_binary64_23028 sin-PI/4_binary64_23027 sin-PI/6_binary64_23026 sub-1-sin_binary64_23025 sub-1-cos_binary64_23024 -1-add-sin_binary64_23023 -1-add-cos_binary64_23022 1-sub-sin_binary64_23021 1-sub-cos_binary64_23020 cos-sin-sum_binary64_23019 log-E_binary64_23015 log-pow_binary64_23014 log-rec_binary64_23013 log-div_binary64_23012 log-prod_binary64_23011 pow-base-0_binary64_23009 unpow1/3_binary64_22992 unpow3_binary64_22991 unpow2_binary64_22990 unpow1/2_binary64_22989 pow-plus_binary64_22988 exp-to-pow_binary64_22987 pow-base-1_binary64_22985 unpow0_binary64_22984 unpow1_binary64_22983 unpow-1_binary64_22982 exp-lft-cube_binary64_22981 exp-lft-sqr_binary64_22980 exp-cbrt_binary64_22979 exp-sqrt_binary64_22978 exp-prod_binary64_22977 div-exp_binary64_22976 rec-exp_binary64_22975 prod-exp_binary64_22974 exp-diff_binary64_22973 exp-neg_binary64_22972 exp-sum_binary64_22971 e-exp-1_binary64_22970 1-exp_binary64_22969 exp-1-e_binary64_22968 exp-0_binary64_22967 rem-log-exp_binary64_22966 rem-exp-log_binary64_22965 cube-unmult_binary64_22962 cube-mult_binary64_22955 cube-div_binary64_22954 cube-prod_binary64_22953 cube-neg_binary64_22952 rem-3cbrt-rft_binary64_22951 rem-3cbrt-lft_binary64_22950 rem-cbrt-cube_binary64_22949 rem-cube-cbrt_binary64_22948 sqr-abs_binary64_22940 sqr-neg_binary64_22939 rem-sqrt-square_binary64_22938 rem-square-sqrt_binary64_22937 times-frac_binary64_22931 div-sub_binary64_22930 neg-mul-1_binary64_22921 neg-sub0_binary64_22920 unsub-neg_binary64_22919 sub-neg_binary64_22918 mul-1-neg_binary64_22917 /-rgt-identity_binary64_22916 *-rgt-identity_binary64_22915 *-lft-identity_binary64_22914 remove-double-neg_binary64_22913 sub0-neg_binary64_22912 --rgt-identity_binary64_22911 +-rgt-identity_binary64_22910 +-lft-identity_binary64_22909 mul0-rgt_binary64_22908 mul0-lft_binary64_22907 div0_binary64_22906 *-inverses_binary64_22905 +-inverses_binary64_22904 lft-mult-inverse_binary64_22903 rgt-mult-inverse_binary64_22902 remove-double-div_binary64_22901 pow-sqr_binary64_22898 sqr-pow_binary64_22897 difference-of-sqr--1_binary64_22896 difference-of-sqr-1_binary64_22895 difference-of-squares_binary64_22894 unswap-sqr_binary64_22893 swap-sqr_binary64_22892 cancel-sign-sub-inv_binary64_22891 cancel-sign-sub_binary64_22890 distribute-neg-frac_binary64_22889 distribute-frac-neg_binary64_22888 distribute-neg-out_binary64_22887 distribute-neg-in_binary64_22886 distribute-rgt-neg-out_binary64_22885 distribute-lft-neg-out_binary64_22884 distribute-rgt-neg-in_binary64_22883 distribute-lft-neg-in_binary64_22882 distribute-rgt1-in_binary64_22881 distribute-lft1-in_binary64_22880 distribute-rgt-out--_binary64_22879 distribute-rgt-out_binary64_22878 distribute-lft-out--_binary64_22877 distribute-lft-out_binary64_22876 distribute-rgt-in_binary64_22875 distribute-lft-in_binary64_22874 count-2_binary64_22873 associate-/l/_binary64_22872 associate-/r/_binary64_22871 associate-/l*_binary64_22870 associate-/r*_binary64_22869 associate-*l/_binary64_22868 associate-*r/_binary64_22867 associate-*l*_binary64_22866 associate-*r*_binary64_22865 associate--r-_binary64_22864 associate--l-_binary64_22863 associate--l+_binary64_22862 associate--r+_binary64_22861 associate-+l-_binary64_22860 associate-+r-_binary64_22859 associate-+l+_binary64_22858 associate-+r+_binary64_22857 *-commutative_binary64_22856

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	8	12
2	8	12

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

31.7b

Counts

1 → 1

Compiler

Compiled 8 to 6 computations (25% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

29.6b

(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 y y)))

rewrite19.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

31.7b

Rules

3×	`add-sqr-sqrt_binary64_22947` `sqrt-prod_binary64_22941`
2×	`pow1_binary64_22986` `add-cube-cbrt_binary64_22960` `sqrt-div_binary64_22942` `*-un-lft-identity_binary64_22925`
1×	`pow1/2_binary64_23005` `add-log-exp_binary64_22964` `add-exp-log_binary64_22963` `add-cbrt-cube_binary64_22961` `sqrt-pow1_binary64_22943` `flip3-+_binary64_22928` `flip-+_binary64_22899` `rem-sqrt-square_binary64_22938`

Counts

1 → 15

Calls

1 calls:

4.0ms

(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 y y)))

Compiler

Compiled 264 to 55 computations (79.2% saved)

series77.0ms (2.2%)

Error

0.1b

Counts

1 → 8

Calls

1 calls:

70.0ms

(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 y y)))

Compiler

Compiled 153 to 133 computations (13.1% saved)

simplify56.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

721×	`unswap-sqr_binary64_22893`
620×	`associate-l_binary64_22866`
563×	`times-frac_binary64_22931`
465×	`associate-/l*_binary64_22870`
236×	`cancel-sign-sub-inv_binary64_22891`
215×	`associate-*l/_binary64_22868`
208×	`associate-/r*_binary64_22869`
162×	`associate-*r/_binary64_22867`
131×	`distribute-rgt-in_binary64_22875`
107×	`distribute-lft-in_binary64_22874`
100×	`associate-/r/_binary64_22871` `associate-r_binary64_22865`
94×	`unsub-neg_binary64_22919`
91×	`neg-sub0_binary64_22920`
89×	`associate-/l/_binary64_22872`
85×	`neg-mul-1_binary64_22921`
79×	`sub-neg_binary64_22918` `distribute-rgt-neg-in_binary64_22883`
78×	`difference-of-squares_binary64_22894`
67×	`distribute-lft-neg-in_binary64_22882`
44×	`sqr-pow_binary64_22897`
39×	`*-commutative_binary64_22856`
38×	`distribute-rgt-out_binary64_22878`
23×	`distribute-lft-neg-out_binary64_22884`
21×	`pow-plus_binary64_22988`
20×	`distribute-rgt-out--_binary64_22879`
19×	`+-commutative_binary64_22855`
18×	`cube-unmult_binary64_22962`
16×	`mul0-rgt_binary64_22908` `mul0-lft_binary64_22907`
15×	`cube-prod_binary64_22953`
11×	`div-sub_binary64_22930` `associate-+l-_binary64_22860` `associate-+r-_binary64_22859`
10×	`+-rgt-identity_binary64_22910` `distribute-rgt-neg-out_binary64_22885`
8×	`distribute-neg-in_binary64_22886`
7×	`distribute-neg-frac_binary64_22889` `distribute-lft-out--_binary64_22877`
6×	`unpow3_binary64_22991` `sub0-neg_binary64_22912` `pow-sqr_binary64_22898` `associate-+l+_binary64_22858`
5×	`distribute-lft-out_binary64_22876`
4×	`mul-1-neg_binary64_22917` `remove-double-neg_binary64_22913`
3×	`cube-mult_binary64_22955` `rem-sqrt-square_binary64_22938` `associate--r+_binary64_22861`
2×	`unpow2_binary64_22990` `unpow1_binary64_22983` `*-lft-identity_binary64_22914` `+-lft-identity_binary64_22909` `div0_binary64_22906` `distribute-neg-out_binary64_22887`
1×	`unpow1/2_binary64_22989` `1-exp_binary64_22969` `rem-square-sqrt_binary64_22937` `associate--l+_binary64_22862` `associate-+r+_binary64_22857`
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_23188` `erf-erfc_binary64_23187` `erf-odd_binary64_23186` `if-if-and-not_binary64_23185` `if-if-and_binary64_23184` `if-if-or-not_binary64_23183` `if-if-or_binary64_23182` `if-not_binary64_23181` `if-same_binary64_23180` `if-false_binary64_23179` `if-true_binary64_23178` `not-gte_binary64_23177` `not-lte_binary64_23176` `not-gt_binary64_23175` `not-lt_binary64_23174` `gte-same_binary64_23173` `lte-same_binary64_23172` `gt-same_binary64_23171` `lt-same_binary64_23170` `sinh---cosh_binary64_23117` `sinh-+-cosh_binary64_23116` `sinh-cosh_binary64_23115` `tanh-def-c_binary64_23114` `tanh-def-b_binary64_23113` `tanh-def-a_binary64_23112` `cosh-def_binary64_23111` `sinh-def_binary64_23110` `tan-neg_binary64_23057` `cos-neg_binary64_23056` `sin-neg_binary64_23055` `tan-0_binary64_23054` `cos-0_binary64_23053` `sin-0_binary64_23052` `hang-m-tan_binary64_23051` `hang-p-tan_binary64_23050` `hang-m0-tan_binary64_23049` `hang-p0-tan_binary64_23048` `hang-0m-tan_binary64_23047` `hang-0p-tan_binary64_23046` `tan-+PI/2_binary64_23045` `tan-+PI_binary64_23044` `tan-PI_binary64_23043` `tan-PI/3_binary64_23042` `tan-PI/4_binary64_23041` `tan-PI/6_binary64_23040` `cos-+PI/2_binary64_23039` `cos-+PI_binary64_23038` `cos-PI_binary64_23037` `cos-PI/2_binary64_23036` `cos-PI/3_binary64_23035` `cos-PI/4_binary64_23034` `cos-PI/6_binary64_23033` `sin-+PI/2_binary64_23032` `sin-+PI_binary64_23031` `sin-PI_binary64_23030` `sin-PI/2_binary64_23029` `sin-PI/3_binary64_23028` `sin-PI/4_binary64_23027` `sin-PI/6_binary64_23026` `sub-1-sin_binary64_23025` `sub-1-cos_binary64_23024` `-1-add-sin_binary64_23023` `-1-add-cos_binary64_23022` `1-sub-sin_binary64_23021` `1-sub-cos_binary64_23020` `cos-sin-sum_binary64_23019` `log-E_binary64_23015` `log-pow_binary64_23014` `log-rec_binary64_23013` `log-div_binary64_23012` `log-prod_binary64_23011` `pow-base-0_binary64_23009` `unpow1/3_binary64_22992` `exp-to-pow_binary64_22987` `pow-base-1_binary64_22985` `unpow0_binary64_22984` `unpow-1_binary64_22982` `exp-lft-cube_binary64_22981` `exp-lft-sqr_binary64_22980` `exp-cbrt_binary64_22979` `exp-sqrt_binary64_22978` `exp-prod_binary64_22977` `div-exp_binary64_22976` `rec-exp_binary64_22975` `prod-exp_binary64_22974` `exp-diff_binary64_22973` `exp-neg_binary64_22972` `exp-sum_binary64_22971` `e-exp-1_binary64_22970` `exp-1-e_binary64_22968` `exp-0_binary64_22967` `rem-log-exp_binary64_22966` `rem-exp-log_binary64_22965` `cube-div_binary64_22954` `cube-neg_binary64_22952` `rem-3cbrt-rft_binary64_22951` `rem-3cbrt-lft_binary64_22950` `rem-cbrt-cube_binary64_22949` `rem-cube-cbrt_binary64_22948` `sqr-abs_binary64_22940` `sqr-neg_binary64_22939` `/-rgt-identity_binary64_22916` `-rgt-identity_binary64_22915` `--rgt-identity_binary64_22911` `-inverses_binary64_22905` `+-inverses_binary64_22904` `lft-mult-inverse_binary64_22903` `rgt-mult-inverse_binary64_22902` `remove-double-div_binary64_22901` `difference-of-sqr--1_binary64_22896` `difference-of-sqr-1_binary64_22895` `swap-sqr_binary64_22892` `cancel-sign-sub_binary64_22890` `distribute-frac-neg_binary64_22888` `distribute-rgt1-in_binary64_22881` `distribute-lft1-in_binary64_22880` `count-2_binary64_22873` `associate--r-_binary64_22864` `associate--l-_binary64_22863`

Counts

23 → 15

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	319
1	133	296
2	350	296
3	1082	296
4	4298	296
5	5783	296

prune15.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	13	2	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	3	16

Error

14.6b

Counts

16 → 3

Compiler

Compiled 241 to 80 computations (66.8% saved)

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

14.6b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 14.6b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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_23188 erf-erfc_binary64_23187 erf-odd_binary64_23186 if-if-and-not_binary64_23185 if-if-and_binary64_23184 if-if-or-not_binary64_23183 if-if-or_binary64_23182 if-not_binary64_23181 if-same_binary64_23180 if-false_binary64_23179 if-true_binary64_23178 not-gte_binary64_23177 not-lte_binary64_23176 not-gt_binary64_23175 not-lt_binary64_23174 gte-same_binary64_23173 lte-same_binary64_23172 gt-same_binary64_23171 lt-same_binary64_23170 sinh---cosh_binary64_23117 sinh-+-cosh_binary64_23116 sinh-cosh_binary64_23115 tanh-def-c_binary64_23114 tanh-def-b_binary64_23113 tanh-def-a_binary64_23112 cosh-def_binary64_23111 sinh-def_binary64_23110 tan-neg_binary64_23057 cos-neg_binary64_23056 sin-neg_binary64_23055 tan-0_binary64_23054 cos-0_binary64_23053 sin-0_binary64_23052 hang-m-tan_binary64_23051 hang-p-tan_binary64_23050 hang-m0-tan_binary64_23049 hang-p0-tan_binary64_23048 hang-0m-tan_binary64_23047 hang-0p-tan_binary64_23046 tan-+PI/2_binary64_23045 tan-+PI_binary64_23044 tan-PI_binary64_23043 tan-PI/3_binary64_23042 tan-PI/4_binary64_23041 tan-PI/6_binary64_23040 cos-+PI/2_binary64_23039 cos-+PI_binary64_23038 cos-PI_binary64_23037 cos-PI/2_binary64_23036 cos-PI/3_binary64_23035 cos-PI/4_binary64_23034 cos-PI/6_binary64_23033 sin-+PI/2_binary64_23032 sin-+PI_binary64_23031 sin-PI_binary64_23030 sin-PI/2_binary64_23029 sin-PI/3_binary64_23028 sin-PI/4_binary64_23027 sin-PI/6_binary64_23026 sub-1-sin_binary64_23025 sub-1-cos_binary64_23024 -1-add-sin_binary64_23023 -1-add-cos_binary64_23022 1-sub-sin_binary64_23021 1-sub-cos_binary64_23020 cos-sin-sum_binary64_23019 log-E_binary64_23015 log-pow_binary64_23014 log-rec_binary64_23013 log-div_binary64_23012 log-prod_binary64_23011 pow-base-0_binary64_23009 unpow1/3_binary64_22992 unpow3_binary64_22991 unpow2_binary64_22990 unpow1/2_binary64_22989 pow-plus_binary64_22988 exp-to-pow_binary64_22987 pow-base-1_binary64_22985 unpow0_binary64_22984 unpow1_binary64_22983 unpow-1_binary64_22982 exp-lft-cube_binary64_22981 exp-lft-sqr_binary64_22980 exp-cbrt_binary64_22979 exp-sqrt_binary64_22978 exp-prod_binary64_22977 div-exp_binary64_22976 rec-exp_binary64_22975 prod-exp_binary64_22974 exp-diff_binary64_22973 exp-neg_binary64_22972 exp-sum_binary64_22971 e-exp-1_binary64_22970 1-exp_binary64_22969 exp-1-e_binary64_22968 exp-0_binary64_22967 rem-log-exp_binary64_22966 rem-exp-log_binary64_22965 cube-unmult_binary64_22962 cube-mult_binary64_22955 cube-div_binary64_22954 cube-prod_binary64_22953 cube-neg_binary64_22952 rem-3cbrt-rft_binary64_22951 rem-3cbrt-lft_binary64_22950 rem-cbrt-cube_binary64_22949 rem-cube-cbrt_binary64_22948 sqr-abs_binary64_22940 sqr-neg_binary64_22939 rem-sqrt-square_binary64_22938 rem-square-sqrt_binary64_22937 times-frac_binary64_22931 div-sub_binary64_22930 neg-mul-1_binary64_22921 neg-sub0_binary64_22920 unsub-neg_binary64_22919 sub-neg_binary64_22918 mul-1-neg_binary64_22917 /-rgt-identity_binary64_22916 *-rgt-identity_binary64_22915 *-lft-identity_binary64_22914 remove-double-neg_binary64_22913 sub0-neg_binary64_22912 --rgt-identity_binary64_22911 +-rgt-identity_binary64_22910 +-lft-identity_binary64_22909 mul0-rgt_binary64_22908 mul0-lft_binary64_22907 div0_binary64_22906 *-inverses_binary64_22905 +-inverses_binary64_22904 lft-mult-inverse_binary64_22903 rgt-mult-inverse_binary64_22902 remove-double-div_binary64_22901 pow-sqr_binary64_22898 sqr-pow_binary64_22897 difference-of-sqr--1_binary64_22896 difference-of-sqr-1_binary64_22895 difference-of-squares_binary64_22894 unswap-sqr_binary64_22893 swap-sqr_binary64_22892 cancel-sign-sub-inv_binary64_22891 cancel-sign-sub_binary64_22890 distribute-neg-frac_binary64_22889 distribute-frac-neg_binary64_22888 distribute-neg-out_binary64_22887 distribute-neg-in_binary64_22886 distribute-rgt-neg-out_binary64_22885 distribute-lft-neg-out_binary64_22884 distribute-rgt-neg-in_binary64_22883 distribute-lft-neg-in_binary64_22882 distribute-rgt1-in_binary64_22881 distribute-lft1-in_binary64_22880 distribute-rgt-out--_binary64_22879 distribute-rgt-out_binary64_22878 distribute-lft-out--_binary64_22877 distribute-lft-out_binary64_22876 distribute-rgt-in_binary64_22875 distribute-lft-in_binary64_22874 count-2_binary64_22873 associate-/l/_binary64_22872 associate-/r/_binary64_22871 associate-/l*_binary64_22870 associate-/r*_binary64_22869 associate-*l/_binary64_22868 associate-*r/_binary64_22867 associate-*l*_binary64_22866 associate-*r*_binary64_22865 associate--r-_binary64_22864 associate--l-_binary64_22863 associate--l+_binary64_22862 associate--r+_binary64_22861 associate-+l-_binary64_22860 associate-+r-_binary64_22859 associate-+l+_binary64_22858 associate-+r+_binary64_22857 *-commutative_binary64_22856 +-commutative_binary64_22855

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

14.6b

Counts

3 → 3

Compiler

Compiled 29 to 9 computations (69% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 y y) (*.f64 x x)))))
29.6b	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))
29.6b	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))
29.6b	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))

rewrite202.0ms (5.7%)

Algorithm

1×	rewrite-expression-head

Error

14.6b

Rules

44×	`add-sqr-sqrt_binary64_22947`
40×	`cbrt-prod_binary64_22956`
29×	`sqrt-prod_binary64_22941`
19×	`add-cube-cbrt_binary64_22960` `*-un-lft-identity_binary64_22925`
18×	`sqrt-div_binary64_22942`
14×	`pow1_binary64_22986`
12×	`cbrt-div_binary64_22957`
11×	`swap-sqr_binary64_22892`
9×	`flip3-+_binary64_22928` `flip-+_binary64_22899` `unswap-sqr_binary64_22893` `associate-l_binary64_22866` `associate-r_binary64_22865`
6×	`add-exp-log_binary64_22963` `pow1/3_binary64_23007`
4×	`add-log-exp_binary64_22964` `add-cbrt-cube_binary64_22961` `frac-times_binary64_22935`
3×	`pow1/2_binary64_23005` `sqrt-pow1_binary64_22943` `rem-sqrt-square_binary64_22938`
2×	`pow-prod-down_binary64_22996` `pow-prod-up_binary64_22995` `pow-sqr_binary64_22898` `associate-l/_binary64_22868` `associate-r/_binary64_22867`
1×	`pow2_binary64_23006` `pow-plus_binary64_22988` `prod-exp_binary64_22974` `cbrt-unprod_binary64_22958` `*-commutative_binary64_22856`

Counts

4 → 109

Calls

4 calls:

16.0ms	(.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 y y) (*.f64 x x)))))
8.0ms	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))
4.0ms	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))
4.0ms	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))

Compiler

Compiled 4667 to 431 computations (90.8% saved)

series359.0ms (10.1%)

Error

14.6b

Counts

4 → 30

Calls

4 calls:

104.0ms	(.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 y y) (*.f64 x x)))))
80.0ms	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))
73.0ms	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))
73.0ms	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))

Compiler

Compiled 2199 to 1027 computations (53.3% saved)

simplify119.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

615×	`associate-/l*_binary64_22870`
366×	`unswap-sqr_binary64_22893`
308×	`associate-l_binary64_22866`
299×	`cancel-sign-sub-inv_binary64_22891`
258×	`distribute-rgt-in_binary64_22875`
251×	`associate-r_binary64_22865`
230×	`distribute-lft-in_binary64_22874`
116×	`associate-/l/_binary64_22872` `associate-/r/_binary64_22871`
106×	`distribute-rgt-neg-in_binary64_22883`
98×	`distribute-lft-neg-in_binary64_22882`
92×	`times-frac_binary64_22931`
89×	`*-commutative_binary64_22856`
75×	`sqr-pow_binary64_22897`
63×	`distribute-rgt-out_binary64_22878`
61×	`sub-neg_binary64_22918`
53×	`log-prod_binary64_23011`
51×	`exp-prod_binary64_22977`
44×	`difference-of-squares_binary64_22894`
42×	`associate-/r*_binary64_22869`
41×	`cube-prod_binary64_22953`
32×	`swap-sqr_binary64_22892` `distribute-lft-out_binary64_22876`
29×	`distribute-lft-neg-out_binary64_22884`
25×	`associate-*l/_binary64_22868`
24×	`neg-sub0_binary64_22920` `*-lft-identity_binary64_22914` `distribute-rgt-out--_binary64_22879`
22×	`*-rgt-identity_binary64_22915`
21×	`pow-plus_binary64_22988` `neg-mul-1_binary64_22921`
19×	`+-commutative_binary64_22855`
17×	`distribute-rgt-neg-out_binary64_22885`
16×	`cube-unmult_binary64_22962` `associate-*r/_binary64_22867`
15×	`pow-sqr_binary64_22898`
11×	`rem-sqrt-square_binary64_22938` `distribute-lft-out--_binary64_22877` `associate-+l-_binary64_22860` `associate-+r-_binary64_22859`
10×	`+-rgt-identity_binary64_22910`
9×	`unpow3_binary64_22991` `distribute-neg-frac_binary64_22889` `associate-+l+_binary64_22858`
7×	`unsub-neg_binary64_22919`
6×	`log-pow_binary64_23014` `sub0-neg_binary64_22912` `distribute-neg-in_binary64_22886`
4×	`cube-mult_binary64_22955` `div-sub_binary64_22930` `count-2_binary64_22873` `associate-+r+_binary64_22857`
3×	`unpow1/2_binary64_22989` `associate--r+_binary64_22861`
2×	`unpow1/3_binary64_22992` `unpow2_binary64_22990` `unpow1_binary64_22983` `rem-3cbrt-rft_binary64_22951` `rem-3cbrt-lft_binary64_22950` `rem-square-sqrt_binary64_22937` `mul-1-neg_binary64_22917` `distribute-neg-out_binary64_22887`
1×	`1-exp_binary64_22969` `exp-1-e_binary64_22968` `rem-cbrt-cube_binary64_22949` `cancel-sign-sub_binary64_22890` `distribute-frac-neg_binary64_22888` `associate--l+_binary64_22862`
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_23188` `erf-erfc_binary64_23187` `erf-odd_binary64_23186` `if-if-and-not_binary64_23185` `if-if-and_binary64_23184` `if-if-or-not_binary64_23183` `if-if-or_binary64_23182` `if-not_binary64_23181` `if-same_binary64_23180` `if-false_binary64_23179` `if-true_binary64_23178` `not-gte_binary64_23177` `not-lte_binary64_23176` `not-gt_binary64_23175` `not-lt_binary64_23174` `gte-same_binary64_23173` `lte-same_binary64_23172` `gt-same_binary64_23171` `lt-same_binary64_23170` `sinh---cosh_binary64_23117` `sinh-+-cosh_binary64_23116` `sinh-cosh_binary64_23115` `tanh-def-c_binary64_23114` `tanh-def-b_binary64_23113` `tanh-def-a_binary64_23112` `cosh-def_binary64_23111` `sinh-def_binary64_23110` `tan-neg_binary64_23057` `cos-neg_binary64_23056` `sin-neg_binary64_23055` `tan-0_binary64_23054` `cos-0_binary64_23053` `sin-0_binary64_23052` `hang-m-tan_binary64_23051` `hang-p-tan_binary64_23050` `hang-m0-tan_binary64_23049` `hang-p0-tan_binary64_23048` `hang-0m-tan_binary64_23047` `hang-0p-tan_binary64_23046` `tan-+PI/2_binary64_23045` `tan-+PI_binary64_23044` `tan-PI_binary64_23043` `tan-PI/3_binary64_23042` `tan-PI/4_binary64_23041` `tan-PI/6_binary64_23040` `cos-+PI/2_binary64_23039` `cos-+PI_binary64_23038` `cos-PI_binary64_23037` `cos-PI/2_binary64_23036` `cos-PI/3_binary64_23035` `cos-PI/4_binary64_23034` `cos-PI/6_binary64_23033` `sin-+PI/2_binary64_23032` `sin-+PI_binary64_23031` `sin-PI_binary64_23030` `sin-PI/2_binary64_23029` `sin-PI/3_binary64_23028` `sin-PI/4_binary64_23027` `sin-PI/6_binary64_23026` `sub-1-sin_binary64_23025` `sub-1-cos_binary64_23024` `-1-add-sin_binary64_23023` `-1-add-cos_binary64_23022` `1-sub-sin_binary64_23021` `1-sub-cos_binary64_23020` `cos-sin-sum_binary64_23019` `log-E_binary64_23015` `log-rec_binary64_23013` `log-div_binary64_23012` `pow-base-0_binary64_23009` `exp-to-pow_binary64_22987` `pow-base-1_binary64_22985` `unpow0_binary64_22984` `unpow-1_binary64_22982` `exp-lft-cube_binary64_22981` `exp-lft-sqr_binary64_22980` `exp-cbrt_binary64_22979` `exp-sqrt_binary64_22978` `div-exp_binary64_22976` `rec-exp_binary64_22975` `prod-exp_binary64_22974` `exp-diff_binary64_22973` `exp-neg_binary64_22972` `exp-sum_binary64_22971` `e-exp-1_binary64_22970` `exp-0_binary64_22967` `rem-log-exp_binary64_22966` `rem-exp-log_binary64_22965` `cube-div_binary64_22954` `cube-neg_binary64_22952` `rem-cube-cbrt_binary64_22948` `sqr-abs_binary64_22940` `sqr-neg_binary64_22939` `/-rgt-identity_binary64_22916` `remove-double-neg_binary64_22913` `--rgt-identity_binary64_22911` `+-lft-identity_binary64_22909` `mul0-rgt_binary64_22908` `mul0-lft_binary64_22907` `div0_binary64_22906` `*-inverses_binary64_22905` `+-inverses_binary64_22904` `lft-mult-inverse_binary64_22903` `rgt-mult-inverse_binary64_22902` `remove-double-div_binary64_22901` `difference-of-sqr--1_binary64_22896` `difference-of-sqr-1_binary64_22895` `distribute-rgt1-in_binary64_22881` `distribute-lft1-in_binary64_22880` `associate--r-_binary64_22864` `associate--l-_binary64_22863`

Counts

139 → 86

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	114	3594
1	228	3340
2	595	2972
3	1924	2954
4	5102	2954

prune106.0ms (3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	86	3	89

Error

14.6b

Counts

89 → 3

Compiler

Compiled 2845 to 515 computations (81.9% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 y y) (.f64 x x))))
5.2b	(exp.f64 (log.f64 (cbrt.f64 (+.f64 (.f64 y y) (.f64 x x)))))
29.6b	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))
30.7b	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x x)))

rewrite102.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

14.6b

Rules

12×	`cbrt-prod_binary64_22956` `add-sqr-sqrt_binary64_22947`
11×	`add-cube-cbrt_binary64_22960` `*-un-lft-identity_binary64_22925`
6×	`pow1_binary64_22986` `cbrt-div_binary64_22957` `sqrt-prod_binary64_22941` `log-prod_binary64_23011` `exp-sum_binary64_22971`
5×	`exp-prod_binary64_22977`
4×	`add-log-exp_binary64_22964` `add-exp-log_binary64_22963` `add-cbrt-cube_binary64_22961` `flip3-+_binary64_22928` `flip-+_binary64_22899` `sqrt-div_binary64_22942`
3×	`pow1/3_binary64_23007`
2×	`log-pow_binary64_23014` `log-div_binary64_23012` `exp-diff_binary64_22973`
1×	`pow1/2_binary64_23005` `sqrt-pow1_binary64_22943` `rem-sqrt-square_binary64_22938` `rem-exp-log_binary64_22965`

Counts

4 → 65

Calls

4 calls:

6.0ms	(exp.f64 (log.f64 (cbrt.f64 (+.f64 (.f64 y y) (.f64 x x)))))
4.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 y y) (.f64 x x))))
4.0ms	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))
4.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x x)))

Compiler

Compiled 2008 to 297 computations (85.2% saved)

series494.0ms (13.8%)

Error

14.6b

Counts

4 → 28

Calls

4 calls:

199.0ms	(exp.f64 (log.f64 (cbrt.f64 (+.f64 (.f64 y y) (.f64 x x)))))
105.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x x)))
96.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 y y) (.f64 x x))))
69.0ms	(sqrt.f64 (+.f64 (.f64 y y) (.f64 x x)))

Compiler

Compiled 1745 to 1213 computations (30.5% saved)

simplify128.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

420×	`unswap-sqr_binary64_22893`
299×	`cancel-sign-sub-inv_binary64_22891`
250×	`distribute-rgt-in_binary64_22875`
244×	`associate-l_binary64_22866`
234×	`associate-r_binary64_22865`
222×	`distribute-lft-in_binary64_22874`
174×	`times-frac_binary64_22931`
154×	`log-pow_binary64_23014`
139×	`associate-/l*_binary64_22870`
131×	`log-prod_binary64_23011`
110×	`distribute-rgt-neg-in_binary64_22883`
100×	`distribute-lft-neg-in_binary64_22882`
99×	`sqr-pow_binary64_22897`
95×	`associate-/r*_binary64_22869`
90×	`*-commutative_binary64_22856`
81×	`exp-prod_binary64_22977`
67×	`sub-neg_binary64_22918`
53×	`prod-exp_binary64_22974`
50×	`distribute-rgt-out_binary64_22878`
45×	`associate-*l/_binary64_22868`
44×	`difference-of-squares_binary64_22894`
32×	`associate-*r/_binary64_22867`
30×	`neg-sub0_binary64_22920` `distribute-lft-neg-out_binary64_22884`
29×	`associate-/r/_binary64_22871`
28×	`rem-exp-log_binary64_22965`
27×	`neg-mul-1_binary64_22921`
25×	`pow-plus_binary64_22988` `distribute-lft-out_binary64_22876`
24×	`distribute-rgt-out--_binary64_22879`
23×	`unpow3_binary64_22991` `cube-unmult_binary64_22962`
22×	`distribute-rgt-neg-out_binary64_22885`
21×	`+-commutative_binary64_22855`
20×	`log-div_binary64_23012` `exp-sum_binary64_22971`
17×	`exp-to-pow_binary64_22987`
16×	`pow-sqr_binary64_22898`
11×	`distribute-lft-out--_binary64_22877` `associate-+l-_binary64_22860` `associate-+r-_binary64_22859`
10×	`log-rec_binary64_23013` `div-sub_binary64_22930` `+-rgt-identity_binary64_22910`
9×	`distribute-neg-frac_binary64_22889` `count-2_binary64_22873`
8×	`unpow1/3_binary64_22992` `cube-prod_binary64_22953` `distribute-neg-in_binary64_22886`
7×	`unsub-neg_binary64_22919`
6×	`rem-sqrt-square_binary64_22938` `sub0-neg_binary64_22912` `associate-/l/_binary64_22872` `associate-+l+_binary64_22858`
4×	`exp-diff_binary64_22973` `exp-neg_binary64_22972` `swap-sqr_binary64_22892`
3×	`unpow2_binary64_22990` `rem-log-exp_binary64_22966` `cube-mult_binary64_22955` `distribute-frac-neg_binary64_22888` `distribute-rgt1-in_binary64_22881` `associate--r+_binary64_22861`
2×	`unpow1/2_binary64_22989` `unpow1_binary64_22983` `exp-lft-sqr_binary64_22980` `rem-3cbrt-lft_binary64_22950` `mul-1-neg_binary64_22917` `distribute-neg-out_binary64_22887`
1×	`1-exp_binary64_22969` `exp-1-e_binary64_22968` `rem-cbrt-cube_binary64_22949` `rem-square-sqrt_binary64_22937` `cancel-sign-sub_binary64_22890` `distribute-lft1-in_binary64_22880` `associate--l+_binary64_22862` `associate-+r+_binary64_22857`
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_23188` `erf-erfc_binary64_23187` `erf-odd_binary64_23186` `if-if-and-not_binary64_23185` `if-if-and_binary64_23184` `if-if-or-not_binary64_23183` `if-if-or_binary64_23182` `if-not_binary64_23181` `if-same_binary64_23180` `if-false_binary64_23179` `if-true_binary64_23178` `not-gte_binary64_23177` `not-lte_binary64_23176` `not-gt_binary64_23175` `not-lt_binary64_23174` `gte-same_binary64_23173` `lte-same_binary64_23172` `gt-same_binary64_23171` `lt-same_binary64_23170` `sinh---cosh_binary64_23117` `sinh-+-cosh_binary64_23116` `sinh-cosh_binary64_23115` `tanh-def-c_binary64_23114` `tanh-def-b_binary64_23113` `tanh-def-a_binary64_23112` `cosh-def_binary64_23111` `sinh-def_binary64_23110` `tan-neg_binary64_23057` `cos-neg_binary64_23056` `sin-neg_binary64_23055` `tan-0_binary64_23054` `cos-0_binary64_23053` `sin-0_binary64_23052` `hang-m-tan_binary64_23051` `hang-p-tan_binary64_23050` `hang-m0-tan_binary64_23049` `hang-p0-tan_binary64_23048` `hang-0m-tan_binary64_23047` `hang-0p-tan_binary64_23046` `tan-+PI/2_binary64_23045` `tan-+PI_binary64_23044` `tan-PI_binary64_23043` `tan-PI/3_binary64_23042` `tan-PI/4_binary64_23041` `tan-PI/6_binary64_23040` `cos-+PI/2_binary64_23039` `cos-+PI_binary64_23038` `cos-PI_binary64_23037` `cos-PI/2_binary64_23036` `cos-PI/3_binary64_23035` `cos-PI/4_binary64_23034` `cos-PI/6_binary64_23033` `sin-+PI/2_binary64_23032` `sin-+PI_binary64_23031` `sin-PI_binary64_23030` `sin-PI/2_binary64_23029` `sin-PI/3_binary64_23028` `sin-PI/4_binary64_23027` `sin-PI/6_binary64_23026` `sub-1-sin_binary64_23025` `sub-1-cos_binary64_23024` `-1-add-sin_binary64_23023` `-1-add-cos_binary64_23022` `1-sub-sin_binary64_23021` `1-sub-cos_binary64_23020` `cos-sin-sum_binary64_23019` `log-E_binary64_23015` `pow-base-0_binary64_23009` `pow-base-1_binary64_22985` `unpow0_binary64_22984` `unpow-1_binary64_22982` `exp-lft-cube_binary64_22981` `exp-cbrt_binary64_22979` `exp-sqrt_binary64_22978` `div-exp_binary64_22976` `rec-exp_binary64_22975` `e-exp-1_binary64_22970` `exp-0_binary64_22967` `cube-div_binary64_22954` `cube-neg_binary64_22952` `rem-3cbrt-rft_binary64_22951` `rem-cube-cbrt_binary64_22948` `sqr-abs_binary64_22940` `sqr-neg_binary64_22939` `/-rgt-identity_binary64_22916` `-rgt-identity_binary64_22915` `-lft-identity_binary64_22914` `remove-double-neg_binary64_22913` `--rgt-identity_binary64_22911` `+-lft-identity_binary64_22909` `mul0-rgt_binary64_22908` `mul0-lft_binary64_22907` `div0_binary64_22906` `*-inverses_binary64_22905` `+-inverses_binary64_22904` `lft-mult-inverse_binary64_22903` `rgt-mult-inverse_binary64_22902` `remove-double-div_binary64_22901` `difference-of-sqr--1_binary64_22896` `difference-of-sqr-1_binary64_22895` `associate--r-_binary64_22864` `associate--l-_binary64_22863`

Counts

93 → 75

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	151	1491
1	290	1403
2	701	1403
3	2421	1378
4	4753	1356
5	4980	1356
6	4947	1356

prune71.0ms (2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	75	3	78

Error

14.6b

Counts

78 → 3

Compiler

Compiled 1806 to 365 computations (79.8% saved)

regimes446.0ms (12.5%)

Accuracy

Total 7.0b remaining (95.2%)

Threshold costs 0b (0%)

Compiler

Compiled 2993 to 1469 computations (50.9% saved)

bsearch37.0ms (1%)

Steps

Iters	Range		Point
8	-2.2484782015030196e-162	-7.964990110451683e-165	-8.034323118303542e-165
8	-1.8155658953247407e+107	-5.5487109394741686e+104	-1.7917667196950207e+107

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_22855`
1×	`neg-mul-1_binary64_22921` `neg-sub0_binary64_22920` `sub-neg_binary64_22918` `*-commutative_binary64_22856`
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_23185` `if-if-and_binary64_23184` `if-if-or-not_binary64_23183` `if-if-or_binary64_23182` `if-not_binary64_23181` `if-same_binary64_23180` `if-false_binary64_23179` `if-true_binary64_23178` `tan-0_binary64_23054` `cos-0_binary64_23053` `sin-0_binary64_23052` `unpow1_binary64_22983` `e-exp-1_binary64_22970` `1-exp_binary64_22969` `exp-1-e_binary64_22968` `exp-0_binary64_22967` `sqr-abs_binary64_22940` `sqr-neg_binary64_22939` `unsub-neg_binary64_22919` `mul-1-neg_binary64_22917` `/-rgt-identity_binary64_22916` `-rgt-identity_binary64_22915` `-lft-identity_binary64_22914` `remove-double-neg_binary64_22913` `sub0-neg_binary64_22912` `--rgt-identity_binary64_22911` `+-rgt-identity_binary64_22910` `+-lft-identity_binary64_22909` `cancel-sign-sub-inv_binary64_22891` `cancel-sign-sub_binary64_22890` `distribute-neg-frac_binary64_22889` `distribute-frac-neg_binary64_22888` `distribute-neg-out_binary64_22887` `distribute-neg-in_binary64_22886` `distribute-rgt-neg-out_binary64_22885` `distribute-lft-neg-out_binary64_22884` `distribute-rgt-neg-in_binary64_22883` `distribute-lft-neg-in_binary64_22882`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	28
1	20	28
2	22	28
3	23	28
4	23	28

Compiler

Compiled 38 to 26 computations (31.6% saved)

end0.0ms (0%)

sample990.0ms (27.7%)

Algorithm

1×

intervals

Results

247.0ms

8000×

body

128

valid

Compiler

Compiled 404 to 209 computations (48.3% saved)

Details

analyze262.0ms (7.3%)

sample26.0ms (0.7%)

simplify8.0ms (0.2%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite19.0ms (0.5%)

series77.0ms (2.2%)

simplify56.0ms (1.6%)

prune15.0ms (0.4%)

localize2.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.2%)

prune2.0ms (0.1%)

localize9.0ms (0.3%)

rewrite202.0ms (5.7%)

series359.0ms (10.1%)

simplify119.0ms (3.3%)

prune106.0ms (3%)

localize12.0ms (0.3%)

rewrite102.0ms (2.8%)

series494.0ms (13.8%)

simplify128.0ms (3.6%)

prune71.0ms (2%)

regimes446.0ms (12.5%)

bsearch37.0ms (1%)

simplify11.0ms (0.3%)

end0.0ms (0%)

sample990.0ms (27.7%)

Profiling