Details

Time bar (total: 1.5s)

analyze201.0ms (13.7%)

Algorithm
search
egg-herbie
Rules
+-commutative_binary64_20809
count-2_binary64_20827 associate-+l+_binary64_20812 associate-+r+_binary64_20811 *-commutative_binary64_20810
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_21142 erf-erfc_binary64_21141 erf-odd_binary64_21140 if-if-and-not_binary64_21139 if-if-and_binary64_21138 if-if-or-not_binary64_21137 if-if-or_binary64_21136 if-not_binary64_21135 if-same_binary64_21134 if-false_binary64_21133 if-true_binary64_21132 not-gte_binary64_21131 not-lte_binary64_21130 not-gt_binary64_21129 not-lt_binary64_21128 gte-same_binary64_21127 lte-same_binary64_21126 gt-same_binary64_21125 lt-same_binary64_21124 sinh---cosh_binary64_21071 sinh-+-cosh_binary64_21070 sinh-cosh_binary64_21069 tanh-def-c_binary64_21068 tanh-def-b_binary64_21067 tanh-def-a_binary64_21066 cosh-def_binary64_21065 sinh-def_binary64_21064 tan-neg_binary64_21011 cos-neg_binary64_21010 sin-neg_binary64_21009 tan-0_binary64_21008 cos-0_binary64_21007 sin-0_binary64_21006 hang-m-tan_binary64_21005 hang-p-tan_binary64_21004 hang-m0-tan_binary64_21003 hang-p0-tan_binary64_21002 hang-0m-tan_binary64_21001 hang-0p-tan_binary64_21000 tan-+PI/2_binary64_20999 tan-+PI_binary64_20998 tan-PI_binary64_20997 tan-PI/3_binary64_20996 tan-PI/4_binary64_20995 tan-PI/6_binary64_20994 cos-+PI/2_binary64_20993 cos-+PI_binary64_20992 cos-PI_binary64_20991 cos-PI/2_binary64_20990 cos-PI/3_binary64_20989 cos-PI/4_binary64_20988 cos-PI/6_binary64_20987 sin-+PI/2_binary64_20986 sin-+PI_binary64_20985 sin-PI_binary64_20984 sin-PI/2_binary64_20983 sin-PI/3_binary64_20982 sin-PI/4_binary64_20981 sin-PI/6_binary64_20980 sub-1-sin_binary64_20979 sub-1-cos_binary64_20978 -1-add-sin_binary64_20977 -1-add-cos_binary64_20976 1-sub-sin_binary64_20975 1-sub-cos_binary64_20974 cos-sin-sum_binary64_20973 log-E_binary64_20969 log-pow_binary64_20968 log-rec_binary64_20967 log-div_binary64_20966 log-prod_binary64_20965 pow-base-0_binary64_20963 unpow1/3_binary64_20946 unpow3_binary64_20945 unpow2_binary64_20944 unpow1/2_binary64_20943 pow-plus_binary64_20942 exp-to-pow_binary64_20941 pow-base-1_binary64_20939 unpow0_binary64_20938 unpow1_binary64_20937 unpow-1_binary64_20936 exp-lft-cube_binary64_20935 exp-lft-sqr_binary64_20934 exp-cbrt_binary64_20933 exp-sqrt_binary64_20932 exp-prod_binary64_20931 div-exp_binary64_20930 rec-exp_binary64_20929 prod-exp_binary64_20928 exp-diff_binary64_20927 exp-neg_binary64_20926 exp-sum_binary64_20925 e-exp-1_binary64_20924 1-exp_binary64_20923 exp-1-e_binary64_20922 exp-0_binary64_20921 rem-log-exp_binary64_20920 rem-exp-log_binary64_20919 cube-unmult_binary64_20916 cube-mult_binary64_20909 cube-div_binary64_20908 cube-prod_binary64_20907 cube-neg_binary64_20906 rem-3cbrt-rft_binary64_20905 rem-3cbrt-lft_binary64_20904 rem-cbrt-cube_binary64_20903 rem-cube-cbrt_binary64_20902 sqr-abs_binary64_20894 sqr-neg_binary64_20893 rem-sqrt-square_binary64_20892 rem-square-sqrt_binary64_20891 times-frac_binary64_20885 div-sub_binary64_20884 neg-mul-1_binary64_20875 neg-sub0_binary64_20874 unsub-neg_binary64_20873 sub-neg_binary64_20872 mul-1-neg_binary64_20871 /-rgt-identity_binary64_20870 *-rgt-identity_binary64_20869 *-lft-identity_binary64_20868 remove-double-neg_binary64_20867 sub0-neg_binary64_20866 --rgt-identity_binary64_20865 +-rgt-identity_binary64_20864 +-lft-identity_binary64_20863 mul0-rgt_binary64_20862 mul0-lft_binary64_20861 div0_binary64_20860 *-inverses_binary64_20859 +-inverses_binary64_20858 lft-mult-inverse_binary64_20857 rgt-mult-inverse_binary64_20856 remove-double-div_binary64_20855 pow-sqr_binary64_20852 sqr-pow_binary64_20851 difference-of-sqr--1_binary64_20850 difference-of-sqr-1_binary64_20849 difference-of-squares_binary64_20848 unswap-sqr_binary64_20847 swap-sqr_binary64_20846 cancel-sign-sub-inv_binary64_20845 cancel-sign-sub_binary64_20844 distribute-neg-frac_binary64_20843 distribute-frac-neg_binary64_20842 distribute-neg-out_binary64_20841 distribute-neg-in_binary64_20840 distribute-rgt-neg-out_binary64_20839 distribute-lft-neg-out_binary64_20838 distribute-rgt-neg-in_binary64_20837 distribute-lft-neg-in_binary64_20836 distribute-rgt1-in_binary64_20835 distribute-lft1-in_binary64_20834 distribute-rgt-out--_binary64_20833 distribute-rgt-out_binary64_20832 distribute-lft-out--_binary64_20831 distribute-lft-out_binary64_20830 distribute-rgt-in_binary64_20829 distribute-lft-in_binary64_20828 associate-/l/_binary64_20826 associate-/r/_binary64_20825 associate-/l*_binary64_20824 associate-/r*_binary64_20823 associate-*l/_binary64_20822 associate-*r/_binary64_20821 associate-*l*_binary64_20820 associate-*r*_binary64_20819 associate--r-_binary64_20818 associate--l-_binary64_20817 associate--l+_binary64_20816 associate--r+_binary64_20815 associate-+l-_binary64_20814 associate-+r-_binary64_20813
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0920
11720
22220
32420
42420
022
122
Search
TrueOtherFalseIter
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
25%56.2%18.8%6
37.5%40.6%22%7
46.8%29.7%23.5%8
54.6%21.1%24.3%9
60.1%15.2%24.7%10
64.4%10.7%24.9%11
67.3%7.7%25%12
69.6%5.4%25%13
71.1%3.9%25%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample13.0ms (0.9%)

Algorithm
intervals
Results
5.0ms256×body128valid
Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify8.0ms (0.6%)

Algorithm
egg-herbie
Rules
+-commutative_binary64_20809
count-2_binary64_20827 associate-+l+_binary64_20812 associate-+r+_binary64_20811 *-commutative_binary64_20810
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_21142 erf-erfc_binary64_21141 erf-odd_binary64_21140 if-if-and-not_binary64_21139 if-if-and_binary64_21138 if-if-or-not_binary64_21137 if-if-or_binary64_21136 if-not_binary64_21135 if-same_binary64_21134 if-false_binary64_21133 if-true_binary64_21132 not-gte_binary64_21131 not-lte_binary64_21130 not-gt_binary64_21129 not-lt_binary64_21128 gte-same_binary64_21127 lte-same_binary64_21126 gt-same_binary64_21125 lt-same_binary64_21124 sinh---cosh_binary64_21071 sinh-+-cosh_binary64_21070 sinh-cosh_binary64_21069 tanh-def-c_binary64_21068 tanh-def-b_binary64_21067 tanh-def-a_binary64_21066 cosh-def_binary64_21065 sinh-def_binary64_21064 tan-neg_binary64_21011 cos-neg_binary64_21010 sin-neg_binary64_21009 tan-0_binary64_21008 cos-0_binary64_21007 sin-0_binary64_21006 hang-m-tan_binary64_21005 hang-p-tan_binary64_21004 hang-m0-tan_binary64_21003 hang-p0-tan_binary64_21002 hang-0m-tan_binary64_21001 hang-0p-tan_binary64_21000 tan-+PI/2_binary64_20999 tan-+PI_binary64_20998 tan-PI_binary64_20997 tan-PI/3_binary64_20996 tan-PI/4_binary64_20995 tan-PI/6_binary64_20994 cos-+PI/2_binary64_20993 cos-+PI_binary64_20992 cos-PI_binary64_20991 cos-PI/2_binary64_20990 cos-PI/3_binary64_20989 cos-PI/4_binary64_20988 cos-PI/6_binary64_20987 sin-+PI/2_binary64_20986 sin-+PI_binary64_20985 sin-PI_binary64_20984 sin-PI/2_binary64_20983 sin-PI/3_binary64_20982 sin-PI/4_binary64_20981 sin-PI/6_binary64_20980 sub-1-sin_binary64_20979 sub-1-cos_binary64_20978 -1-add-sin_binary64_20977 -1-add-cos_binary64_20976 1-sub-sin_binary64_20975 1-sub-cos_binary64_20974 cos-sin-sum_binary64_20973 log-E_binary64_20969 log-pow_binary64_20968 log-rec_binary64_20967 log-div_binary64_20966 log-prod_binary64_20965 pow-base-0_binary64_20963 unpow1/3_binary64_20946 unpow3_binary64_20945 unpow2_binary64_20944 unpow1/2_binary64_20943 pow-plus_binary64_20942 exp-to-pow_binary64_20941 pow-base-1_binary64_20939 unpow0_binary64_20938 unpow1_binary64_20937 unpow-1_binary64_20936 exp-lft-cube_binary64_20935 exp-lft-sqr_binary64_20934 exp-cbrt_binary64_20933 exp-sqrt_binary64_20932 exp-prod_binary64_20931 div-exp_binary64_20930 rec-exp_binary64_20929 prod-exp_binary64_20928 exp-diff_binary64_20927 exp-neg_binary64_20926 exp-sum_binary64_20925 e-exp-1_binary64_20924 1-exp_binary64_20923 exp-1-e_binary64_20922 exp-0_binary64_20921 rem-log-exp_binary64_20920 rem-exp-log_binary64_20919 cube-unmult_binary64_20916 cube-mult_binary64_20909 cube-div_binary64_20908 cube-prod_binary64_20907 cube-neg_binary64_20906 rem-3cbrt-rft_binary64_20905 rem-3cbrt-lft_binary64_20904 rem-cbrt-cube_binary64_20903 rem-cube-cbrt_binary64_20902 sqr-abs_binary64_20894 sqr-neg_binary64_20893 rem-sqrt-square_binary64_20892 rem-square-sqrt_binary64_20891 times-frac_binary64_20885 div-sub_binary64_20884 neg-mul-1_binary64_20875 neg-sub0_binary64_20874 unsub-neg_binary64_20873 sub-neg_binary64_20872 mul-1-neg_binary64_20871 /-rgt-identity_binary64_20870 *-rgt-identity_binary64_20869 *-lft-identity_binary64_20868 remove-double-neg_binary64_20867 sub0-neg_binary64_20866 --rgt-identity_binary64_20865 +-rgt-identity_binary64_20864 +-lft-identity_binary64_20863 mul0-rgt_binary64_20862 mul0-lft_binary64_20861 div0_binary64_20860 *-inverses_binary64_20859 +-inverses_binary64_20858 lft-mult-inverse_binary64_20857 rgt-mult-inverse_binary64_20856 remove-double-div_binary64_20855 pow-sqr_binary64_20852 sqr-pow_binary64_20851 difference-of-sqr--1_binary64_20850 difference-of-sqr-1_binary64_20849 difference-of-squares_binary64_20848 unswap-sqr_binary64_20847 swap-sqr_binary64_20846 cancel-sign-sub-inv_binary64_20845 cancel-sign-sub_binary64_20844 distribute-neg-frac_binary64_20843 distribute-frac-neg_binary64_20842 distribute-neg-out_binary64_20841 distribute-neg-in_binary64_20840 distribute-rgt-neg-out_binary64_20839 distribute-lft-neg-out_binary64_20838 distribute-rgt-neg-in_binary64_20837 distribute-lft-neg-in_binary64_20836 distribute-rgt1-in_binary64_20835 distribute-lft1-in_binary64_20834 distribute-rgt-out--_binary64_20833 distribute-rgt-out_binary64_20832 distribute-lft-out--_binary64_20831 distribute-lft-out_binary64_20830 distribute-rgt-in_binary64_20829 distribute-lft-in_binary64_20828 associate-/l/_binary64_20826 associate-/r/_binary64_20825 associate-/l*_binary64_20824 associate-/r*_binary64_20823 associate-*l/_binary64_20822 associate-*r/_binary64_20821 associate-*l*_binary64_20820 associate-*r*_binary64_20819 associate--r-_binary64_20818 associate--l-_binary64_20817 associate--l+_binary64_20816 associate--r+_binary64_20815 associate-+l-_binary64_20814 associate-+r-_binary64_20813
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
11010
21310
31410
41410

prune2.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 x x) y) y)

rewrite24.0ms (1.6%)

Algorithm
rewrite-expression-head
Error
0b
Rules
add-log-exp_binary64_20918
sum-log_binary64_20970 *-un-lft-identity_binary64_20879
pow1_binary64_20940 add-exp-log_binary64_20917 add-cbrt-cube_binary64_20915 add-cube-cbrt_binary64_20914 add-sqr-sqrt_binary64_20901 flip3-+_binary64_20882 flip-+_binary64_20853 distribute-lft-out_binary64_20830 associate-+l+_binary64_20812 +-commutative_binary64_20809
Counts
1 → 14
Calls

1 calls:

13.0ms
(+.f64 (+.f64 (*.f64 x x) y) y)
Compiler

Compiled 205 to 48 computations (76.6% saved)

series120.0ms (8.2%)

Error
0b
Counts
1 → 12
Calls

1 calls:

111.0ms
(+.f64 (+.f64 (*.f64 x x) y) y)
Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify121.0ms (8.3%)

Algorithm
egg-herbie
Rules
825×distribute-rgt-in_binary64_20829
778×distribute-lft-in_binary64_20828
318×sub-neg_binary64_20872
275×associate-*l*_binary64_20820
193×times-frac_binary64_20885
183×associate-*r*_binary64_20819
124×distribute-neg-in_binary64_20840
122×+-commutative_binary64_20809
117×exp-prod_binary64_20931
116×distribute-lft-neg-out_binary64_20838
112×unswap-sqr_binary64_20847 associate--r+_binary64_20815
110×distribute-rgt-neg-out_binary64_20839 associate-+l-_binary64_20814
94×distribute-rgt-out--_binary64_20833
88×associate-+l+_binary64_20812
86×distribute-lft-out--_binary64_20831
85×distribute-rgt-neg-in_binary64_20837
84×associate-+r-_binary64_20813
83×distribute-lft-neg-in_binary64_20836
82×associate--l+_binary64_20816
81×exp-sum_binary64_20925
71×unsub-neg_binary64_20873
70×associate-+r+_binary64_20811
68×exp-diff_binary64_20927
57×*-commutative_binary64_20810
56×distribute-rgt-out_binary64_20832
50×cancel-sign-sub-inv_binary64_20845
41×cancel-sign-sub_binary64_20844
39×cube-prod_binary64_20907
38×sqr-pow_binary64_20851
35×sub0-neg_binary64_20866
33×unpow3_binary64_20945
31×div-exp_binary64_20930
30×neg-mul-1_binary64_20875
29×neg-sub0_binary64_20874
28×pow-plus_binary64_20942
18×mul0-rgt_binary64_20862
17×cube-unmult_binary64_20916
16×mul0-lft_binary64_20861 associate--r-_binary64_20818
15×+-rgt-identity_binary64_20864 distribute-lft-out_binary64_20830
sqr-neg_binary64_20893 pow-sqr_binary64_20852 swap-sqr_binary64_20846 associate--l-_binary64_20817
distribute-neg-out_binary64_20841
+-inverses_binary64_20858
cube-neg_binary64_20906 +-lft-identity_binary64_20863 distribute-rgt1-in_binary64_20835 distribute-lft1-in_binary64_20834
rec-exp_binary64_20929 remove-double-neg_binary64_20867 difference-of-squares_binary64_20848
prod-exp_binary64_20928 cube-mult_binary64_20909
unpow1/2_binary64_20943 unpow1_binary64_20937 rem-sqrt-square_binary64_20892 count-2_binary64_20827 associate-/l/_binary64_20826 associate-/l*_binary64_20824 associate-*r/_binary64_20821
unpow2_binary64_20944 unpow-1_binary64_20936 exp-lft-sqr_binary64_20934 exp-neg_binary64_20926 1-exp_binary64_20923 mul-1-neg_binary64_20871 *-lft-identity_binary64_20868 --rgt-identity_binary64_20865 associate-/r/_binary64_20825 associate-/r*_binary64_20823
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_21142 erf-erfc_binary64_21141 erf-odd_binary64_21140 if-if-and-not_binary64_21139 if-if-and_binary64_21138 if-if-or-not_binary64_21137 if-if-or_binary64_21136 if-not_binary64_21135 if-same_binary64_21134 if-false_binary64_21133 if-true_binary64_21132 not-gte_binary64_21131 not-lte_binary64_21130 not-gt_binary64_21129 not-lt_binary64_21128 gte-same_binary64_21127 lte-same_binary64_21126 gt-same_binary64_21125 lt-same_binary64_21124 sinh---cosh_binary64_21071 sinh-+-cosh_binary64_21070 sinh-cosh_binary64_21069 tanh-def-c_binary64_21068 tanh-def-b_binary64_21067 tanh-def-a_binary64_21066 cosh-def_binary64_21065 sinh-def_binary64_21064 tan-neg_binary64_21011 cos-neg_binary64_21010 sin-neg_binary64_21009 tan-0_binary64_21008 cos-0_binary64_21007 sin-0_binary64_21006 hang-m-tan_binary64_21005 hang-p-tan_binary64_21004 hang-m0-tan_binary64_21003 hang-p0-tan_binary64_21002 hang-0m-tan_binary64_21001 hang-0p-tan_binary64_21000 tan-+PI/2_binary64_20999 tan-+PI_binary64_20998 tan-PI_binary64_20997 tan-PI/3_binary64_20996 tan-PI/4_binary64_20995 tan-PI/6_binary64_20994 cos-+PI/2_binary64_20993 cos-+PI_binary64_20992 cos-PI_binary64_20991 cos-PI/2_binary64_20990 cos-PI/3_binary64_20989 cos-PI/4_binary64_20988 cos-PI/6_binary64_20987 sin-+PI/2_binary64_20986 sin-+PI_binary64_20985 sin-PI_binary64_20984 sin-PI/2_binary64_20983 sin-PI/3_binary64_20982 sin-PI/4_binary64_20981 sin-PI/6_binary64_20980 sub-1-sin_binary64_20979 sub-1-cos_binary64_20978 -1-add-sin_binary64_20977 -1-add-cos_binary64_20976 1-sub-sin_binary64_20975 1-sub-cos_binary64_20974 cos-sin-sum_binary64_20973 log-E_binary64_20969 log-pow_binary64_20968 log-rec_binary64_20967 log-div_binary64_20966 log-prod_binary64_20965 pow-base-0_binary64_20963 unpow1/3_binary64_20946 exp-to-pow_binary64_20941 pow-base-1_binary64_20939 unpow0_binary64_20938 exp-lft-cube_binary64_20935 exp-cbrt_binary64_20933 exp-sqrt_binary64_20932 e-exp-1_binary64_20924 exp-1-e_binary64_20922 exp-0_binary64_20921 rem-log-exp_binary64_20920 rem-exp-log_binary64_20919 cube-div_binary64_20908 rem-3cbrt-rft_binary64_20905 rem-3cbrt-lft_binary64_20904 rem-cbrt-cube_binary64_20903 rem-cube-cbrt_binary64_20902 sqr-abs_binary64_20894 rem-square-sqrt_binary64_20891 div-sub_binary64_20884 /-rgt-identity_binary64_20870 *-rgt-identity_binary64_20869 div0_binary64_20860 *-inverses_binary64_20859 lft-mult-inverse_binary64_20857 rgt-mult-inverse_binary64_20856 remove-double-div_binary64_20855 difference-of-sqr--1_binary64_20850 difference-of-sqr-1_binary64_20849 distribute-neg-frac_binary64_20843 distribute-frac-neg_binary64_20842 associate-*l/_binary64_20822
Counts
26 → 22
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
036315
196288
2252276
3823273
43276273
54444273
64961273
74973273
84982273
94832273

prune14.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New21122
Fresh000
Picked011
Done000
Total21223
Error
0b
Counts
23 → 2
Compiler

Compiled 203 to 37 computations (81.8% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (+.f64 y y) (*.f64 x x))

rewrite18.0ms (1.2%)

Algorithm
rewrite-expression-head
Error
0b
Rules
add-log-exp_binary64_20918
sum-log_binary64_20970
pow1_binary64_20940 add-exp-log_binary64_20917 add-cbrt-cube_binary64_20915 add-cube-cbrt_binary64_20914 add-sqr-sqrt_binary64_20901 flip3-+_binary64_20882 *-un-lft-identity_binary64_20879 flip-+_binary64_20853 associate-+l+_binary64_20812 +-commutative_binary64_20809
Counts
1 → 13
Calls

1 calls:

8.0ms
(+.f64 (+.f64 y y) (*.f64 x x))
Compiler

Compiled 196 to 46 computations (76.5% saved)

series126.0ms (8.6%)

Error
0b
Counts
1 → 12
Calls

1 calls:

120.0ms
(+.f64 (+.f64 y y) (*.f64 x x))
Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify55.0ms (3.8%)

Algorithm
egg-herbie
Rules
721×distribute-rgt-in_binary64_20829
667×distribute-lft-in_binary64_20828
459×associate-+l+_binary64_20812
414×associate-+r+_binary64_20811
272×unswap-sqr_binary64_20847
172×cancel-sign-sub-inv_binary64_20845
145×unsub-neg_binary64_20873
140×sub-neg_binary64_20872
135×distribute-rgt-out_binary64_20832
132×associate-*l*_binary64_20820
121×associate-*r*_binary64_20819
71×distribute-rgt-neg-in_binary64_20837
61×distribute-lft-neg-in_binary64_20836
53×distribute-lft-out_binary64_20830
52×*-commutative_binary64_20810
51×sqr-pow_binary64_20851
49×neg-mul-1_binary64_20875
47×neg-sub0_binary64_20874
37×associate-+l-_binary64_20814
34×associate--r+_binary64_20815
30×associate-+r-_binary64_20813
23×distribute-lft-neg-out_binary64_20838 associate--l+_binary64_20816
22×distribute-neg-in_binary64_20840
21×distribute-rgt-out--_binary64_20833 +-commutative_binary64_20809
20×count-2_binary64_20827
17×sub0-neg_binary64_20866 +-rgt-identity_binary64_20864
16×exp-prod_binary64_20931
13×mul0-rgt_binary64_20862 mul0-lft_binary64_20861 pow-sqr_binary64_20852
11×cube-unmult_binary64_20916 cube-prod_binary64_20907 distribute-rgt-neg-out_binary64_20839
10×difference-of-squares_binary64_20848
unpow3_binary64_20945
pow-plus_binary64_20942 distribute-lft-out--_binary64_20831
exp-sum_binary64_20925
prod-exp_binary64_20928 cube-mult_binary64_20909
unpow1/2_binary64_20943 unpow1_binary64_20937 +-lft-identity_binary64_20863 swap-sqr_binary64_20846 distribute-rgt1-in_binary64_20835 distribute-lft1-in_binary64_20834 associate-/l/_binary64_20826 associate-/l*_binary64_20824 associate-*r/_binary64_20821 associate--r-_binary64_20818
unpow2_binary64_20944 1-exp_binary64_20923 rem-sqrt-square_binary64_20892 times-frac_binary64_20885 remove-double-neg_binary64_20867 associate-/r/_binary64_20825 associate-/r*_binary64_20823
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_21142 erf-erfc_binary64_21141 erf-odd_binary64_21140 if-if-and-not_binary64_21139 if-if-and_binary64_21138 if-if-or-not_binary64_21137 if-if-or_binary64_21136 if-not_binary64_21135 if-same_binary64_21134 if-false_binary64_21133 if-true_binary64_21132 not-gte_binary64_21131 not-lte_binary64_21130 not-gt_binary64_21129 not-lt_binary64_21128 gte-same_binary64_21127 lte-same_binary64_21126 gt-same_binary64_21125 lt-same_binary64_21124 sinh---cosh_binary64_21071 sinh-+-cosh_binary64_21070 sinh-cosh_binary64_21069 tanh-def-c_binary64_21068 tanh-def-b_binary64_21067 tanh-def-a_binary64_21066 cosh-def_binary64_21065 sinh-def_binary64_21064 tan-neg_binary64_21011 cos-neg_binary64_21010 sin-neg_binary64_21009 tan-0_binary64_21008 cos-0_binary64_21007 sin-0_binary64_21006 hang-m-tan_binary64_21005 hang-p-tan_binary64_21004 hang-m0-tan_binary64_21003 hang-p0-tan_binary64_21002 hang-0m-tan_binary64_21001 hang-0p-tan_binary64_21000 tan-+PI/2_binary64_20999 tan-+PI_binary64_20998 tan-PI_binary64_20997 tan-PI/3_binary64_20996 tan-PI/4_binary64_20995 tan-PI/6_binary64_20994 cos-+PI/2_binary64_20993 cos-+PI_binary64_20992 cos-PI_binary64_20991 cos-PI/2_binary64_20990 cos-PI/3_binary64_20989 cos-PI/4_binary64_20988 cos-PI/6_binary64_20987 sin-+PI/2_binary64_20986 sin-+PI_binary64_20985 sin-PI_binary64_20984 sin-PI/2_binary64_20983 sin-PI/3_binary64_20982 sin-PI/4_binary64_20981 sin-PI/6_binary64_20980 sub-1-sin_binary64_20979 sub-1-cos_binary64_20978 -1-add-sin_binary64_20977 -1-add-cos_binary64_20976 1-sub-sin_binary64_20975 1-sub-cos_binary64_20974 cos-sin-sum_binary64_20973 log-E_binary64_20969 log-pow_binary64_20968 log-rec_binary64_20967 log-div_binary64_20966 log-prod_binary64_20965 pow-base-0_binary64_20963 unpow1/3_binary64_20946 exp-to-pow_binary64_20941 pow-base-1_binary64_20939 unpow0_binary64_20938 unpow-1_binary64_20936 exp-lft-cube_binary64_20935 exp-lft-sqr_binary64_20934 exp-cbrt_binary64_20933 exp-sqrt_binary64_20932 div-exp_binary64_20930 rec-exp_binary64_20929 exp-diff_binary64_20927 exp-neg_binary64_20926 e-exp-1_binary64_20924 exp-1-e_binary64_20922 exp-0_binary64_20921 rem-log-exp_binary64_20920 rem-exp-log_binary64_20919 cube-div_binary64_20908 cube-neg_binary64_20906 rem-3cbrt-rft_binary64_20905 rem-3cbrt-lft_binary64_20904 rem-cbrt-cube_binary64_20903 rem-cube-cbrt_binary64_20902 sqr-abs_binary64_20894 sqr-neg_binary64_20893 rem-square-sqrt_binary64_20891 div-sub_binary64_20884 mul-1-neg_binary64_20871 /-rgt-identity_binary64_20870 *-rgt-identity_binary64_20869 *-lft-identity_binary64_20868 --rgt-identity_binary64_20865 div0_binary64_20860 *-inverses_binary64_20859 +-inverses_binary64_20858 lft-mult-inverse_binary64_20857 rgt-mult-inverse_binary64_20856 remove-double-div_binary64_20855 difference-of-sqr--1_binary64_20850 difference-of-sqr-1_binary64_20849 cancel-sign-sub_binary64_20844 distribute-neg-frac_binary64_20843 distribute-frac-neg_binary64_20842 distribute-neg-out_binary64_20841 associate-*l/_binary64_20822 associate--l-_binary64_20817
Counts
25 → 22
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
036311
1105275
2332272
31094272
44557272
55120272

prune11.0ms (0.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New22022
Fresh000
Picked011
Done011
Total22224
Error
0b
Counts
24 → 2
Compiler

Compiled 198 to 37 computations (81.3% saved)

regimes69.0ms (4.7%)

Accuracy

Total 0.0b remaining (50.6%)

Threshold costs 0.0b (50.6%)

Compiler

Compiled 290 to 218 computations (24.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.2%)

Algorithm
egg-herbie
Rules
+-commutative_binary64_20809
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_21139 if-if-and_binary64_21138 if-if-or-not_binary64_21137 if-if-or_binary64_21136 if-not_binary64_21135 if-same_binary64_21134 if-false_binary64_21133 if-true_binary64_21132 tan-0_binary64_21008 cos-0_binary64_21007 sin-0_binary64_21006 unpow1_binary64_20937 e-exp-1_binary64_20924 1-exp_binary64_20923 exp-1-e_binary64_20922 exp-0_binary64_20921 sqr-abs_binary64_20894 sqr-neg_binary64_20893 neg-mul-1_binary64_20875 neg-sub0_binary64_20874 unsub-neg_binary64_20873 sub-neg_binary64_20872 mul-1-neg_binary64_20871 /-rgt-identity_binary64_20870 *-rgt-identity_binary64_20869 *-lft-identity_binary64_20868 remove-double-neg_binary64_20867 sub0-neg_binary64_20866 --rgt-identity_binary64_20865 +-rgt-identity_binary64_20864 +-lft-identity_binary64_20863 cancel-sign-sub-inv_binary64_20845 cancel-sign-sub_binary64_20844 distribute-neg-frac_binary64_20843 distribute-frac-neg_binary64_20842 distribute-neg-out_binary64_20841 distribute-neg-in_binary64_20840 distribute-rgt-neg-out_binary64_20839 distribute-lft-neg-out_binary64_20838 distribute-rgt-neg-in_binary64_20837 distribute-lft-neg-in_binary64_20836 *-commutative_binary64_20810
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
1710
2710

end0.0ms (0%)

sample675.0ms (45.9%)

Algorithm
intervals
Results
165.0ms8000×body128valid
0.0ms10×body128invalid
Compiler

Compiled 79 to 61 computations (22.8% saved)

Profiling

Loading profile data...