Details

Time bar (total: 21.5s)

analyze2.2s (10.3%)

Algorithm
search
egg-herbie
Rules
1154×associate-*r/_binary64_702
696×associate-/r/_binary64_706
564×associate-/l/_binary64_707
492×unswap-sqr_binary64_728
376×times-frac_binary64_766
307×associate-*l/_binary64_703
300×associate-/r*_binary64_704
296×associate-/l*_binary64_705
280×sqr-pow_binary64_732
164×associate-*l*_binary64_701
156×associate-*r*_binary64_700
104×*-commutative_binary64_691
72×pow-sqr_binary64_733
60×pow-plus_binary64_823
44×swap-sqr_binary64_727
40×rem-sqrt-square_binary64_773
28×cube-prod_binary64_788
24×unpow3_binary64_826
20×unpow2_binary64_825 cube-unmult_binary64_797
16×unpow1_binary64_818
12×unpow1/2_binary64_824
cube-mult_binary64_790
+-commutative_binary64_690
1-exp_binary64_804
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_1023 erf-erfc_binary64_1022 erf-odd_binary64_1021 if-if-and-not_binary64_1020 if-if-and_binary64_1019 if-if-or-not_binary64_1018 if-if-or_binary64_1017 if-not_binary64_1016 if-same_binary64_1015 if-false_binary64_1014 if-true_binary64_1013 not-gte_binary64_1012 not-lte_binary64_1011 not-gt_binary64_1010 not-lt_binary64_1009 gte-same_binary64_1008 lte-same_binary64_1007 gt-same_binary64_1006 lt-same_binary64_1005 sinh---cosh_binary64_952 sinh-+-cosh_binary64_951 sinh-cosh_binary64_950 tanh-def-c_binary64_949 tanh-def-b_binary64_948 tanh-def-a_binary64_947 cosh-def_binary64_946 sinh-def_binary64_945 tan-neg_binary64_892 cos-neg_binary64_891 sin-neg_binary64_890 tan-0_binary64_889 cos-0_binary64_888 sin-0_binary64_887 hang-m-tan_binary64_886 hang-p-tan_binary64_885 hang-m0-tan_binary64_884 hang-p0-tan_binary64_883 hang-0m-tan_binary64_882 hang-0p-tan_binary64_881 tan-+PI/2_binary64_880 tan-+PI_binary64_879 tan-PI_binary64_878 tan-PI/3_binary64_877 tan-PI/4_binary64_876 tan-PI/6_binary64_875 cos-+PI/2_binary64_874 cos-+PI_binary64_873 cos-PI_binary64_872 cos-PI/2_binary64_871 cos-PI/3_binary64_870 cos-PI/4_binary64_869 cos-PI/6_binary64_868 sin-+PI/2_binary64_867 sin-+PI_binary64_866 sin-PI_binary64_865 sin-PI/2_binary64_864 sin-PI/3_binary64_863 sin-PI/4_binary64_862 sin-PI/6_binary64_861 sub-1-sin_binary64_860 sub-1-cos_binary64_859 -1-add-sin_binary64_858 -1-add-cos_binary64_857 1-sub-sin_binary64_856 1-sub-cos_binary64_855 cos-sin-sum_binary64_854 log-E_binary64_850 log-pow_binary64_849 log-rec_binary64_848 log-div_binary64_847 log-prod_binary64_846 pow-base-0_binary64_844 unpow1/3_binary64_827 exp-to-pow_binary64_822 pow-base-1_binary64_820 unpow0_binary64_819 unpow-1_binary64_817 exp-lft-cube_binary64_816 exp-lft-sqr_binary64_815 exp-cbrt_binary64_814 exp-sqrt_binary64_813 exp-prod_binary64_812 div-exp_binary64_811 rec-exp_binary64_810 prod-exp_binary64_809 exp-diff_binary64_808 exp-neg_binary64_807 exp-sum_binary64_806 e-exp-1_binary64_805 exp-1-e_binary64_803 exp-0_binary64_802 rem-log-exp_binary64_801 rem-exp-log_binary64_800 cube-div_binary64_789 cube-neg_binary64_787 rem-3cbrt-rft_binary64_786 rem-3cbrt-lft_binary64_785 rem-cbrt-cube_binary64_784 rem-cube-cbrt_binary64_783 sqr-abs_binary64_775 sqr-neg_binary64_774 rem-square-sqrt_binary64_772 div-sub_binary64_765 neg-mul-1_binary64_756 neg-sub0_binary64_755 unsub-neg_binary64_754 sub-neg_binary64_753 mul-1-neg_binary64_752 /-rgt-identity_binary64_751 *-rgt-identity_binary64_750 *-lft-identity_binary64_749 remove-double-neg_binary64_748 sub0-neg_binary64_747 --rgt-identity_binary64_746 +-rgt-identity_binary64_745 +-lft-identity_binary64_744 mul0-rgt_binary64_743 mul0-lft_binary64_742 div0_binary64_741 *-inverses_binary64_740 +-inverses_binary64_739 lft-mult-inverse_binary64_738 rgt-mult-inverse_binary64_737 remove-double-div_binary64_736 difference-of-sqr--1_binary64_731 difference-of-sqr-1_binary64_730 difference-of-squares_binary64_729 cancel-sign-sub-inv_binary64_726 cancel-sign-sub_binary64_725 distribute-neg-frac_binary64_724 distribute-frac-neg_binary64_723 distribute-neg-out_binary64_722 distribute-neg-in_binary64_721 distribute-rgt-neg-out_binary64_720 distribute-lft-neg-out_binary64_719 distribute-rgt-neg-in_binary64_718 distribute-lft-neg-in_binary64_717 distribute-rgt1-in_binary64_716 distribute-lft1-in_binary64_715 distribute-rgt-out--_binary64_714 distribute-rgt-out_binary64_713 distribute-lft-out--_binary64_712 distribute-lft-out_binary64_711 distribute-rgt-in_binary64_710 distribute-lft-in_binary64_709 count-2_binary64_708 associate--r-_binary64_699 associate--l-_binary64_698 associate--l+_binary64_697 associate--r+_binary64_696 associate-+l-_binary64_695 associate-+r-_binary64_694 associate-+l+_binary64_693 associate-+r+_binary64_692
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047148
1112148
2271148
3756148
42792148
53544148
63772148
74300148
84407148
94516148
105366148
033
133
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
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
15.6%84.3%0.1%8
15.6%84.3%0.1%9
15.6%84.3%0.1%10
30.4%69.4%0.1%11
30.4%69.4%0.1%12
30.4%69.4%0.1%13
39.6%60.3%0.1%14
Compiler

Compiled 25 to 23 computations (8% saved)

sample90.0ms (0.4%)

Algorithm
intervals
Results
33.0ms57×body1024valid
21.0ms38×body512valid
17.0ms144×body128valid
5.0ms17×body256valid
Compiler

Compiled 49 to 48 computations (2% saved)

simplify91.0ms (0.4%)

Algorithm
egg-herbie
Rules
1043×associate-*l/_binary64_703
692×associate-/l/_binary64_707
651×associate-/r/_binary64_706
525×associate-*r/_binary64_702
474×associate-/l*_binary64_705
398×times-frac_binary64_766
330×unswap-sqr_binary64_728
263×sqr-pow_binary64_732
246×associate-/r*_binary64_704
210×associate-*l*_binary64_701
155×associate-*r*_binary64_700
98×pow-sqr_binary64_733
72×cube-prod_binary64_788
66×*-commutative_binary64_691
48×unpow3_binary64_826
42×cube-mult_binary64_790
36×pow-plus_binary64_823
20×rem-sqrt-square_binary64_773
12×swap-sqr_binary64_727
unpow2_binary64_825 unpow1_binary64_818
unpow1/2_binary64_824
cube-unmult_binary64_797
1-exp_binary64_804 +-commutative_binary64_690
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_1023 erf-erfc_binary64_1022 erf-odd_binary64_1021 if-if-and-not_binary64_1020 if-if-and_binary64_1019 if-if-or-not_binary64_1018 if-if-or_binary64_1017 if-not_binary64_1016 if-same_binary64_1015 if-false_binary64_1014 if-true_binary64_1013 not-gte_binary64_1012 not-lte_binary64_1011 not-gt_binary64_1010 not-lt_binary64_1009 gte-same_binary64_1008 lte-same_binary64_1007 gt-same_binary64_1006 lt-same_binary64_1005 sinh---cosh_binary64_952 sinh-+-cosh_binary64_951 sinh-cosh_binary64_950 tanh-def-c_binary64_949 tanh-def-b_binary64_948 tanh-def-a_binary64_947 cosh-def_binary64_946 sinh-def_binary64_945 tan-neg_binary64_892 cos-neg_binary64_891 sin-neg_binary64_890 tan-0_binary64_889 cos-0_binary64_888 sin-0_binary64_887 hang-m-tan_binary64_886 hang-p-tan_binary64_885 hang-m0-tan_binary64_884 hang-p0-tan_binary64_883 hang-0m-tan_binary64_882 hang-0p-tan_binary64_881 tan-+PI/2_binary64_880 tan-+PI_binary64_879 tan-PI_binary64_878 tan-PI/3_binary64_877 tan-PI/4_binary64_876 tan-PI/6_binary64_875 cos-+PI/2_binary64_874 cos-+PI_binary64_873 cos-PI_binary64_872 cos-PI/2_binary64_871 cos-PI/3_binary64_870 cos-PI/4_binary64_869 cos-PI/6_binary64_868 sin-+PI/2_binary64_867 sin-+PI_binary64_866 sin-PI_binary64_865 sin-PI/2_binary64_864 sin-PI/3_binary64_863 sin-PI/4_binary64_862 sin-PI/6_binary64_861 sub-1-sin_binary64_860 sub-1-cos_binary64_859 -1-add-sin_binary64_858 -1-add-cos_binary64_857 1-sub-sin_binary64_856 1-sub-cos_binary64_855 cos-sin-sum_binary64_854 log-E_binary64_850 log-pow_binary64_849 log-rec_binary64_848 log-div_binary64_847 log-prod_binary64_846 pow-base-0_binary64_844 unpow1/3_binary64_827 exp-to-pow_binary64_822 pow-base-1_binary64_820 unpow0_binary64_819 unpow-1_binary64_817 exp-lft-cube_binary64_816 exp-lft-sqr_binary64_815 exp-cbrt_binary64_814 exp-sqrt_binary64_813 exp-prod_binary64_812 div-exp_binary64_811 rec-exp_binary64_810 prod-exp_binary64_809 exp-diff_binary64_808 exp-neg_binary64_807 exp-sum_binary64_806 e-exp-1_binary64_805 exp-1-e_binary64_803 exp-0_binary64_802 rem-log-exp_binary64_801 rem-exp-log_binary64_800 cube-div_binary64_789 cube-neg_binary64_787 rem-3cbrt-rft_binary64_786 rem-3cbrt-lft_binary64_785 rem-cbrt-cube_binary64_784 rem-cube-cbrt_binary64_783 sqr-abs_binary64_775 sqr-neg_binary64_774 rem-square-sqrt_binary64_772 div-sub_binary64_765 neg-mul-1_binary64_756 neg-sub0_binary64_755 unsub-neg_binary64_754 sub-neg_binary64_753 mul-1-neg_binary64_752 /-rgt-identity_binary64_751 *-rgt-identity_binary64_750 *-lft-identity_binary64_749 remove-double-neg_binary64_748 sub0-neg_binary64_747 --rgt-identity_binary64_746 +-rgt-identity_binary64_745 +-lft-identity_binary64_744 mul0-rgt_binary64_743 mul0-lft_binary64_742 div0_binary64_741 *-inverses_binary64_740 +-inverses_binary64_739 lft-mult-inverse_binary64_738 rgt-mult-inverse_binary64_737 remove-double-div_binary64_736 difference-of-sqr--1_binary64_731 difference-of-sqr-1_binary64_730 difference-of-squares_binary64_729 cancel-sign-sub-inv_binary64_726 cancel-sign-sub_binary64_725 distribute-neg-frac_binary64_724 distribute-frac-neg_binary64_723 distribute-neg-out_binary64_722 distribute-neg-in_binary64_721 distribute-rgt-neg-out_binary64_720 distribute-lft-neg-out_binary64_719 distribute-rgt-neg-in_binary64_718 distribute-lft-neg-in_binary64_717 distribute-rgt1-in_binary64_716 distribute-lft1-in_binary64_715 distribute-rgt-out--_binary64_714 distribute-rgt-out_binary64_713 distribute-lft-out--_binary64_712 distribute-lft-out_binary64_711 distribute-rgt-in_binary64_710 distribute-lft-in_binary64_709 count-2_binary64_708 associate--r-_binary64_699 associate--l-_binary64_698 associate--l+_binary64_697 associate--r+_binary64_696 associate-+l-_binary64_695 associate-+r-_binary64_694 associate-+l+_binary64_693 associate-+r+_binary64_692
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01837
13737
28137
320637
472637
5224037
6238937
7276837
8281237
9291537
10303437
11454537
12476637
13487137

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 48 to 44 computations (8.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))
0.2b
(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
6.2b
(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
10.6b
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite266.0ms (1.2%)

Algorithm
rewrite-expression-head
Error
17.9b
Rules
28×add-exp-log_binary64_798
20×pow1_binary64_821
18×add-cbrt-cube_binary64_796
15×*-un-lft-identity_binary64_760
12×add-sqr-sqrt_binary64_782 prod-exp_binary64_809
11×add-cube-cbrt_binary64_795
10×associate-*r*_binary64_700
pow-prod-down_binary64_831 cbrt-unprod_binary64_793
sqrt-prod_binary64_776
unpow-prod-down_binary64_839
add-log-exp_binary64_799 sqrt-div_binary64_777 pow-exp_binary64_828
times-frac_binary64_766 pow-unpow_binary64_837 div-exp_binary64_811
flip3-+_binary64_763 flip-+_binary64_734 distribute-lft-out_binary64_711 associate-*r/_binary64_702 associate-*l*_binary64_701 *-commutative_binary64_691
pow1/2_binary64_840 sqrt-pow1_binary64_778 rem-sqrt-square_binary64_773 div-inv_binary64_757 pow-pow_binary64_832 pow-to-exp_binary64_829 unpow2_binary64_825 sqr-pow_binary64_732
Counts
4 → 86
Calls

4 calls:

17.0ms
(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
9.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
8.0ms
(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
5.0ms
(*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))
Compiler

Compiled 3141 to 2524 computations (19.6% saved)

series2.2s (10%)

Error
0.1b
Counts
4 → 50
Calls

4 calls:

821.0ms
(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
552.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
529.0ms
(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
162.0ms
(*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))
Compiler

Compiled 3662 to 3168 computations (13.5% saved)

simplify137.0ms (0.6%)

Algorithm
egg-herbie
Rules
836×times-frac_binary64_766
281×associate-*l*_binary64_701
216×associate-*r*_binary64_700
153×*-commutative_binary64_691
148×distribute-rgt-in_binary64_710
138×log-prod_binary64_846 distribute-lft-in_binary64_709
125×cancel-sign-sub-inv_binary64_726
115×exp-prod_binary64_812
103×unswap-sqr_binary64_728
94×sqr-pow_binary64_732
92×distribute-rgt-neg-in_binary64_718
74×distribute-lft-neg-in_binary64_717
59×sub-neg_binary64_753
56×distribute-lft-neg-out_binary64_719
54×associate-/r*_binary64_704
51×distribute-neg-frac_binary64_724 associate-/l*_binary64_705
46×associate-*r/_binary64_702
43×+-commutative_binary64_690
41×swap-sqr_binary64_727
40×cube-prod_binary64_788 associate-*l/_binary64_703
39×distribute-rgt-neg-out_binary64_720
38×neg-sub0_binary64_755
37×neg-mul-1_binary64_756
31×unpow3_binary64_826
25×*-lft-identity_binary64_749
18×unpow1/2_binary64_824 *-rgt-identity_binary64_750 distribute-neg-in_binary64_721
16×log-pow_binary64_849 associate--r+_binary64_696
15×unpow2_binary64_825 unpow1_binary64_818 associate-+l+_binary64_693
14×log-div_binary64_847
13×distribute-lft-out--_binary64_712
12×pow-plus_binary64_823
11×unsub-neg_binary64_754 distribute-rgt-out--_binary64_714 distribute-rgt-out_binary64_713
10×pow-sqr_binary64_733
cube-unmult_binary64_797 associate-+r+_binary64_692
cube-div_binary64_789 associate-/r/_binary64_706
associate--l+_binary64_697
cube-mult_binary64_790 rem-sqrt-square_binary64_773 distribute-rgt1-in_binary64_716
distribute-lft-out_binary64_711
exp-lft-sqr_binary64_815 rem-square-sqrt_binary64_772 difference-of-sqr-1_binary64_730 difference-of-squares_binary64_729 associate-+r-_binary64_694
unpow-1_binary64_817 exp-diff_binary64_808 1-exp_binary64_804 exp-1-e_binary64_803 cube-neg_binary64_787 rem-3cbrt-rft_binary64_786 sqr-neg_binary64_774 mul-1-neg_binary64_752 +-rgt-identity_binary64_745 distribute-lft1-in_binary64_715 associate-/l/_binary64_707 associate-+l-_binary64_695
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_1023 erf-erfc_binary64_1022 erf-odd_binary64_1021 if-if-and-not_binary64_1020 if-if-and_binary64_1019 if-if-or-not_binary64_1018 if-if-or_binary64_1017 if-not_binary64_1016 if-same_binary64_1015 if-false_binary64_1014 if-true_binary64_1013 not-gte_binary64_1012 not-lte_binary64_1011 not-gt_binary64_1010 not-lt_binary64_1009 gte-same_binary64_1008 lte-same_binary64_1007 gt-same_binary64_1006 lt-same_binary64_1005 sinh---cosh_binary64_952 sinh-+-cosh_binary64_951 sinh-cosh_binary64_950 tanh-def-c_binary64_949 tanh-def-b_binary64_948 tanh-def-a_binary64_947 cosh-def_binary64_946 sinh-def_binary64_945 tan-neg_binary64_892 cos-neg_binary64_891 sin-neg_binary64_890 tan-0_binary64_889 cos-0_binary64_888 sin-0_binary64_887 hang-m-tan_binary64_886 hang-p-tan_binary64_885 hang-m0-tan_binary64_884 hang-p0-tan_binary64_883 hang-0m-tan_binary64_882 hang-0p-tan_binary64_881 tan-+PI/2_binary64_880 tan-+PI_binary64_879 tan-PI_binary64_878 tan-PI/3_binary64_877 tan-PI/4_binary64_876 tan-PI/6_binary64_875 cos-+PI/2_binary64_874 cos-+PI_binary64_873 cos-PI_binary64_872 cos-PI/2_binary64_871 cos-PI/3_binary64_870 cos-PI/4_binary64_869 cos-PI/6_binary64_868 sin-+PI/2_binary64_867 sin-+PI_binary64_866 sin-PI_binary64_865 sin-PI/2_binary64_864 sin-PI/3_binary64_863 sin-PI/4_binary64_862 sin-PI/6_binary64_861 sub-1-sin_binary64_860 sub-1-cos_binary64_859 -1-add-sin_binary64_858 -1-add-cos_binary64_857 1-sub-sin_binary64_856 1-sub-cos_binary64_855 cos-sin-sum_binary64_854 log-E_binary64_850 log-rec_binary64_848 pow-base-0_binary64_844 unpow1/3_binary64_827 exp-to-pow_binary64_822 pow-base-1_binary64_820 unpow0_binary64_819 exp-lft-cube_binary64_816 exp-cbrt_binary64_814 exp-sqrt_binary64_813 div-exp_binary64_811 rec-exp_binary64_810 prod-exp_binary64_809 exp-neg_binary64_807 exp-sum_binary64_806 e-exp-1_binary64_805 exp-0_binary64_802 rem-log-exp_binary64_801 rem-exp-log_binary64_800 rem-3cbrt-lft_binary64_785 rem-cbrt-cube_binary64_784 rem-cube-cbrt_binary64_783 sqr-abs_binary64_775 div-sub_binary64_765 /-rgt-identity_binary64_751 remove-double-neg_binary64_748 sub0-neg_binary64_747 --rgt-identity_binary64_746 +-lft-identity_binary64_744 mul0-rgt_binary64_743 mul0-lft_binary64_742 div0_binary64_741 *-inverses_binary64_740 +-inverses_binary64_739 lft-mult-inverse_binary64_738 rgt-mult-inverse_binary64_737 remove-double-div_binary64_736 difference-of-sqr--1_binary64_731 cancel-sign-sub_binary64_725 distribute-frac-neg_binary64_723 distribute-neg-out_binary64_722 count-2_binary64_708 associate--r-_binary64_699 associate--l-_binary64_698
Counts
136 → 104
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02483755
16103435
220973391
347623391
449433391

prune206.0ms (1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New977104
Fresh000
Picked011
Done000
Total978105
Error
0.0b
Counts
105 → 8
Compiler

Compiled 3263 to 2487 computations (23.8% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(cbrt.f64 (cos.f64 (/.f64 K 2)))
0.3b
(cbrt.f64 (cos.f64 (/.f64 K 2)))
6.2b
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
10.6b
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite506.0ms (2.4%)

Algorithm
rewrite-expression-head
Error
0.0b
Rules
30×pow1_binary64_821
29×add-exp-log_binary64_798
20×add-cbrt-cube_binary64_796
19×pow-prod-down_binary64_831 prod-exp_binary64_809 cbrt-unprod_binary64_793
13×*-un-lft-identity_binary64_760
10×add-sqr-sqrt_binary64_782
add-cube-cbrt_binary64_795
sqrt-prod_binary64_776
associate-*r*_binary64_700
cbrt-prod_binary64_791
add-log-exp_binary64_799 sqrt-div_binary64_777
flip3-+_binary64_763 flip-+_binary64_734 distribute-lft-out_binary64_711 associate-*r/_binary64_702 pow1/3_binary64_842
pow1/2_binary64_840 sqrt-pow1_binary64_778 rem-sqrt-square_binary64_773 associate-*l*_binary64_701 *-commutative_binary64_691
Counts
4 → 74
Calls

4 calls:

28.0ms
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
9.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
1.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))
1.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))
Compiler

Compiled 3902 to 3195 computations (18.1% saved)

series1.8s (8.4%)

Error
0.0b
Counts
4 → 42
Calls

4 calls:

873.0ms
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
596.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
138.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))
129.0ms
(cbrt.f64 (cos.f64 (/.f64 K 2)))
Compiler

Compiled 3744 to 3220 computations (14% saved)

simplify96.0ms (0.4%)

Algorithm
egg-herbie
Rules
597×times-frac_binary64_766
408×associate-/l*_binary64_705
368×associate-*l*_binary64_701
297×associate-/r*_binary64_704
263×associate-*r*_binary64_700
148×*-commutative_binary64_691
140×distribute-rgt-in_binary64_710
134×distribute-lft-in_binary64_709
111×cancel-sign-sub-inv_binary64_726
90×distribute-rgt-neg-in_binary64_718
81×unswap-sqr_binary64_728
80×associate-/r/_binary64_706
74×distribute-lft-neg-in_binary64_717
57×associate-/l/_binary64_707
53×sqr-pow_binary64_732 distribute-neg-frac_binary64_724
49×log-prod_binary64_846
47×sub-neg_binary64_753
46×exp-prod_binary64_812
44×swap-sqr_binary64_727
43×cube-prod_binary64_788
40×+-commutative_binary64_690
36×neg-sub0_binary64_755
35×neg-mul-1_binary64_756
32×associate-+l+_binary64_693
29×associate-*r/_binary64_702
23×associate-*l/_binary64_703
17×distribute-neg-in_binary64_721
15×*-lft-identity_binary64_749
14×associate-+r+_binary64_692
12×*-rgt-identity_binary64_750 associate--r+_binary64_696
10×cube-unmult_binary64_797 cube-div_binary64_789 unsub-neg_binary64_754
distribute-lft-neg-out_binary64_719
unpow3_binary64_826 distribute-rgt-out--_binary64_714 distribute-rgt-out_binary64_713
unpow2_binary64_825 unpow1/2_binary64_824 unpow1_binary64_818 cube-mult_binary64_790 distribute-rgt1-in_binary64_716
pow-sqr_binary64_733
pow-plus_binary64_823
log-pow_binary64_849 rem-sqrt-square_binary64_773 difference-of-sqr-1_binary64_730 difference-of-squares_binary64_729 distribute-lft1-in_binary64_715 distribute-lft-out_binary64_711 associate--l+_binary64_697 associate-+r-_binary64_694
unpow1/3_binary64_827 1-exp_binary64_804 exp-1-e_binary64_803 rem-3cbrt-lft_binary64_785 rem-square-sqrt_binary64_772 mul-1-neg_binary64_752 +-rgt-identity_binary64_745 distribute-rgt-neg-out_binary64_720 distribute-lft-out--_binary64_712 count-2_binary64_708 associate-+l-_binary64_695
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_1023 erf-erfc_binary64_1022 erf-odd_binary64_1021 if-if-and-not_binary64_1020 if-if-and_binary64_1019 if-if-or-not_binary64_1018 if-if-or_binary64_1017 if-not_binary64_1016 if-same_binary64_1015 if-false_binary64_1014 if-true_binary64_1013 not-gte_binary64_1012 not-lte_binary64_1011 not-gt_binary64_1010 not-lt_binary64_1009 gte-same_binary64_1008 lte-same_binary64_1007 gt-same_binary64_1006 lt-same_binary64_1005 sinh---cosh_binary64_952 sinh-+-cosh_binary64_951 sinh-cosh_binary64_950 tanh-def-c_binary64_949 tanh-def-b_binary64_948 tanh-def-a_binary64_947 cosh-def_binary64_946 sinh-def_binary64_945 tan-neg_binary64_892 cos-neg_binary64_891 sin-neg_binary64_890 tan-0_binary64_889 cos-0_binary64_888 sin-0_binary64_887 hang-m-tan_binary64_886 hang-p-tan_binary64_885 hang-m0-tan_binary64_884 hang-p0-tan_binary64_883 hang-0m-tan_binary64_882 hang-0p-tan_binary64_881 tan-+PI/2_binary64_880 tan-+PI_binary64_879 tan-PI_binary64_878 tan-PI/3_binary64_877 tan-PI/4_binary64_876 tan-PI/6_binary64_875 cos-+PI/2_binary64_874 cos-+PI_binary64_873 cos-PI_binary64_872 cos-PI/2_binary64_871 cos-PI/3_binary64_870 cos-PI/4_binary64_869 cos-PI/6_binary64_868 sin-+PI/2_binary64_867 sin-+PI_binary64_866 sin-PI_binary64_865 sin-PI/2_binary64_864 sin-PI/3_binary64_863 sin-PI/4_binary64_862 sin-PI/6_binary64_861 sub-1-sin_binary64_860 sub-1-cos_binary64_859 -1-add-sin_binary64_858 -1-add-cos_binary64_857 1-sub-sin_binary64_856 1-sub-cos_binary64_855 cos-sin-sum_binary64_854 log-E_binary64_850 log-rec_binary64_848 log-div_binary64_847 pow-base-0_binary64_844 exp-to-pow_binary64_822 pow-base-1_binary64_820 unpow0_binary64_819 unpow-1_binary64_817 exp-lft-cube_binary64_816 exp-lft-sqr_binary64_815 exp-cbrt_binary64_814 exp-sqrt_binary64_813 div-exp_binary64_811 rec-exp_binary64_810 prod-exp_binary64_809 exp-diff_binary64_808 exp-neg_binary64_807 exp-sum_binary64_806 e-exp-1_binary64_805 exp-0_binary64_802 rem-log-exp_binary64_801 rem-exp-log_binary64_800 cube-neg_binary64_787 rem-3cbrt-rft_binary64_786 rem-cbrt-cube_binary64_784 rem-cube-cbrt_binary64_783 sqr-abs_binary64_775 sqr-neg_binary64_774 div-sub_binary64_765 /-rgt-identity_binary64_751 remove-double-neg_binary64_748 sub0-neg_binary64_747 --rgt-identity_binary64_746 +-lft-identity_binary64_744 mul0-rgt_binary64_743 mul0-lft_binary64_742 div0_binary64_741 *-inverses_binary64_740 +-inverses_binary64_739 lft-mult-inverse_binary64_738 rgt-mult-inverse_binary64_737 remove-double-div_binary64_736 difference-of-sqr--1_binary64_731 cancel-sign-sub_binary64_725 distribute-frac-neg_binary64_723 distribute-neg-out_binary64_722 associate--r-_binary64_699 associate--l-_binary64_698
Counts
116 → 76
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02173365
15363001
220142969
349602969

prune169.0ms (0.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New75176
Fresh066
Picked011
Done011
Total75984
Error
0.0b
Counts
84 → 9
Compiler

Compiled 2849 to 2223 computations (22% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.2b
(*.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))) (*.f64 (*.f64 J -2) (cos.f64 (/.f64 K 2))))
10.6b
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
10.6b
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
10.6b
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite496.0ms (2.3%)

Algorithm
rewrite-expression-head
Error
0.0b
Rules
17×*-un-lft-identity_binary64_760
16×pow1_binary64_821 sqrt-prod_binary64_776
13×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
12×add-sqr-sqrt_binary64_782
add-cube-cbrt_binary64_795
sqrt-div_binary64_777
associate-*l*_binary64_701
pow-prod-down_binary64_831 prod-exp_binary64_809 cbrt-unprod_binary64_793
add-log-exp_binary64_799 flip3-+_binary64_763 flip-+_binary64_734 distribute-lft-out_binary64_711
pow1/2_binary64_840 sqrt-pow1_binary64_778 rem-sqrt-square_binary64_773
associate-*l/_binary64_703
associate-*r*_binary64_700 *-commutative_binary64_691
Counts
4 → 75
Calls

4 calls:

18.0ms
(*.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))) (*.f64 (*.f64 J -2) (cos.f64 (/.f64 K 2))))
9.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
9.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
9.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
Compiler

Compiled 6993 to 5666 computations (19% saved)

series3.0s (13.9%)

Error
0.0b
Counts
4 → 60
Calls

4 calls:

899.0ms
(*.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))) (*.f64 (*.f64 J -2) (cos.f64 (/.f64 K 2))))
617.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
614.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
602.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
Compiler

Compiled 12673 to 10489 computations (17.2% saved)

simplify140.0ms (0.7%)

Algorithm
egg-herbie
Rules
579×times-frac_binary64_766
414×associate-/l*_binary64_705
269×associate-/r*_binary64_704
233×associate-*l/_binary64_703
222×associate-*r/_binary64_702
190×associate-*r*_binary64_700
189×associate-*l*_binary64_701
125×*-commutative_binary64_691
93×neg-mul-1_binary64_756
80×associate-/r/_binary64_706
79×cancel-sign-sub-inv_binary64_726
77×cube-prod_binary64_788
74×distribute-rgt-neg-in_binary64_718
71×cube-div_binary64_789
63×unswap-sqr_binary64_728
62×distribute-rgt-in_binary64_710
61×distribute-lft-in_binary64_709
59×distribute-lft-neg-in_binary64_717
51×distribute-neg-frac_binary64_724 associate-/l/_binary64_707
39×sqr-pow_binary64_732
34×exp-prod_binary64_812
33×log-prod_binary64_846
32×sub-neg_binary64_753
28×neg-sub0_binary64_755 +-commutative_binary64_690
26×swap-sqr_binary64_727
23×unpow3_binary64_826
20×div-sub_binary64_765
18×cube-mult_binary64_790
16×associate-+l-_binary64_695
13×cube-unmult_binary64_797 associate-+r-_binary64_694
associate--r+_binary64_696 associate-+r+_binary64_692
rem-sqrt-square_binary64_773 distribute-lft-neg-out_binary64_719 associate-+l+_binary64_693
distribute-neg-in_binary64_721 distribute-rgt-out--_binary64_714
unpow2_binary64_825 unpow1/2_binary64_824 pow-plus_binary64_823 unpow1_binary64_818 unsub-neg_binary64_754 distribute-rgt1-in_binary64_716
*-lft-identity_binary64_749 distribute-rgt-out_binary64_713
pow-sqr_binary64_733
log-pow_binary64_849 *-rgt-identity_binary64_750 difference-of-sqr-1_binary64_730 difference-of-squares_binary64_729 associate--l+_binary64_697
1-exp_binary64_804 rem-square-sqrt_binary64_772 mul-1-neg_binary64_752 +-rgt-identity_binary64_745 distribute-rgt-neg-out_binary64_720 distribute-lft1-in_binary64_715 distribute-lft-out--_binary64_712
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_1023 erf-erfc_binary64_1022 erf-odd_binary64_1021 if-if-and-not_binary64_1020 if-if-and_binary64_1019 if-if-or-not_binary64_1018 if-if-or_binary64_1017 if-not_binary64_1016 if-same_binary64_1015 if-false_binary64_1014 if-true_binary64_1013 not-gte_binary64_1012 not-lte_binary64_1011 not-gt_binary64_1010 not-lt_binary64_1009 gte-same_binary64_1008 lte-same_binary64_1007 gt-same_binary64_1006 lt-same_binary64_1005 sinh---cosh_binary64_952 sinh-+-cosh_binary64_951 sinh-cosh_binary64_950 tanh-def-c_binary64_949 tanh-def-b_binary64_948 tanh-def-a_binary64_947 cosh-def_binary64_946 sinh-def_binary64_945 tan-neg_binary64_892 cos-neg_binary64_891 sin-neg_binary64_890 tan-0_binary64_889 cos-0_binary64_888 sin-0_binary64_887 hang-m-tan_binary64_886 hang-p-tan_binary64_885 hang-m0-tan_binary64_884 hang-p0-tan_binary64_883 hang-0m-tan_binary64_882 hang-0p-tan_binary64_881 tan-+PI/2_binary64_880 tan-+PI_binary64_879 tan-PI_binary64_878 tan-PI/3_binary64_877 tan-PI/4_binary64_876 tan-PI/6_binary64_875 cos-+PI/2_binary64_874 cos-+PI_binary64_873 cos-PI_binary64_872 cos-PI/2_binary64_871 cos-PI/3_binary64_870 cos-PI/4_binary64_869 cos-PI/6_binary64_868 sin-+PI/2_binary64_867 sin-+PI_binary64_866 sin-PI_binary64_865 sin-PI/2_binary64_864 sin-PI/3_binary64_863 sin-PI/4_binary64_862 sin-PI/6_binary64_861 sub-1-sin_binary64_860 sub-1-cos_binary64_859 -1-add-sin_binary64_858 -1-add-cos_binary64_857 1-sub-sin_binary64_856 1-sub-cos_binary64_855 cos-sin-sum_binary64_854 log-E_binary64_850 log-rec_binary64_848 log-div_binary64_847 pow-base-0_binary64_844 unpow1/3_binary64_827 exp-to-pow_binary64_822 pow-base-1_binary64_820 unpow0_binary64_819 unpow-1_binary64_817 exp-lft-cube_binary64_816 exp-lft-sqr_binary64_815 exp-cbrt_binary64_814 exp-sqrt_binary64_813 div-exp_binary64_811 rec-exp_binary64_810 prod-exp_binary64_809 exp-diff_binary64_808 exp-neg_binary64_807 exp-sum_binary64_806 e-exp-1_binary64_805 exp-1-e_binary64_803 exp-0_binary64_802 rem-log-exp_binary64_801 rem-exp-log_binary64_800 cube-neg_binary64_787 rem-3cbrt-rft_binary64_786 rem-3cbrt-lft_binary64_785 rem-cbrt-cube_binary64_784 rem-cube-cbrt_binary64_783 sqr-abs_binary64_775 sqr-neg_binary64_774 /-rgt-identity_binary64_751 remove-double-neg_binary64_748 sub0-neg_binary64_747 --rgt-identity_binary64_746 +-lft-identity_binary64_744 mul0-rgt_binary64_743 mul0-lft_binary64_742 div0_binary64_741 *-inverses_binary64_740 +-inverses_binary64_739 lft-mult-inverse_binary64_738 rgt-mult-inverse_binary64_737 remove-double-div_binary64_736 difference-of-sqr--1_binary64_731 cancel-sign-sub_binary64_725 distribute-frac-neg_binary64_723 distribute-neg-out_binary64_722 distribute-lft-out_binary64_711 count-2_binary64_708 associate--r-_binary64_699 associate--l-_binary64_698
Counts
135 → 88
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01614153
14243901
214593857
347033848
449503848

prune471.0ms (2.2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New87188
Fresh156
Picked011
Done022
Total88997
Error
0.0b
Counts
97 → 9
Compiler

Compiled 7590 to 5966 computations (21.4% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))
0.2b
(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
3.8b
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (sqrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
10.6b
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite322.0ms (1.5%)

Algorithm
rewrite-expression-head
Error
0.0b
Rules
33×add-exp-log_binary64_798
25×pow1_binary64_821
23×add-cbrt-cube_binary64_796
16×prod-exp_binary64_809
15×*-un-lft-identity_binary64_760
13×pow-prod-down_binary64_831 cbrt-unprod_binary64_793
12×add-sqr-sqrt_binary64_782
11×add-cube-cbrt_binary64_795
10×associate-*r*_binary64_700
sqrt-prod_binary64_776
unpow-prod-down_binary64_839
add-log-exp_binary64_799 sqrt-div_binary64_777 pow-exp_binary64_828
times-frac_binary64_766 pow-unpow_binary64_837 div-exp_binary64_811
flip3-+_binary64_763 flip-+_binary64_734 distribute-lft-out_binary64_711 associate-*r/_binary64_702 associate-*l*_binary64_701 *-commutative_binary64_691
pow1/2_binary64_840 sqrt-pow1_binary64_778 rem-sqrt-square_binary64_773 div-inv_binary64_757 pow-pow_binary64_832 pow-to-exp_binary64_829 unpow2_binary64_825 sqr-pow_binary64_732
Counts
4 → 89
Calls

4 calls:

22.0ms
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (sqrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
9.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
8.0ms
(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
6.0ms
(*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))
Compiler

Compiled 3986 to 3242 computations (18.7% saved)

series2.2s (10.1%)

Error
0.0b
Counts
4 → 50
Calls

4 calls:

836.0ms
(*.f64 (*.f64 (*.f64 (*.f64 J -2) (sqrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
560.0ms
(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
523.0ms
(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
161.0ms
(*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))
Compiler

Compiled 4313 to 3726 computations (13.6% saved)

simplify143.0ms (0.7%)

Algorithm
egg-herbie
Rules
865×times-frac_binary64_766
445×associate-*l*_binary64_701
313×associate-*r*_binary64_700
194×*-commutative_binary64_691
177×log-prod_binary64_846
163×cancel-sign-sub-inv_binary64_726
162×exp-prod_binary64_812
131×unswap-sqr_binary64_728
107×distribute-rgt-neg-in_binary64_718
100×sqr-pow_binary64_732
89×distribute-lft-neg-in_binary64_717
66×associate-/r*_binary64_704
61×sub-neg_binary64_753
57×swap-sqr_binary64_727
55×cube-prod_binary64_788
53×associate-/l*_binary64_705
52×distribute-neg-frac_binary64_724
48×+-commutative_binary64_690
46×associate-*r/_binary64_702
40×neg-sub0_binary64_755 associate-*l/_binary64_703
39×neg-mul-1_binary64_756
35×unpow3_binary64_826
22×*-lft-identity_binary64_749 associate-+l+_binary64_693
21×log-div_binary64_847 distribute-neg-in_binary64_721
19×*-rgt-identity_binary64_750
18×unpow1/2_binary64_824
17×distribute-rgt-in_binary64_710 distribute-lft-in_binary64_709
16×log-pow_binary64_849 associate--r+_binary64_696
15×unpow2_binary64_825 unpow1_binary64_818
14×pow-plus_binary64_823
13×cube-unmult_binary64_797
11×unsub-neg_binary64_754 pow-sqr_binary64_733 associate-+r+_binary64_692
10×distribute-lft-neg-out_binary64_719
cube-div_binary64_789
associate-/r/_binary64_706 associate--l+_binary64_697
rem-sqrt-square_binary64_773
cube-mult_binary64_790
exp-lft-sqr_binary64_815 /-rgt-identity_binary64_751 distribute-rgt-out_binary64_713
rem-square-sqrt_binary64_772 distribute-rgt-out--_binary64_714
difference-of-sqr-1_binary64_730 difference-of-squares_binary64_729 distribute-rgt-neg-out_binary64_720 associate-+r-_binary64_694
prod-exp_binary64_809 1-exp_binary64_804 exp-1-e_binary64_803 rem-3cbrt-rft_binary64_786 mul-1-neg_binary64_752 +-rgt-identity_binary64_745 distribute-rgt1-in_binary64_716 count-2_binary64_708 associate-/l/_binary64_707 associate-+l-_binary64_695
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_1023 erf-erfc_binary64_1022 erf-odd_binary64_1021 if-if-and-not_binary64_1020 if-if-and_binary64_1019 if-if-or-not_binary64_1018 if-if-or_binary64_1017 if-not_binary64_1016 if-same_binary64_1015 if-false_binary64_1014 if-true_binary64_1013 not-gte_binary64_1012 not-lte_binary64_1011 not-gt_binary64_1010 not-lt_binary64_1009 gte-same_binary64_1008 lte-same_binary64_1007 gt-same_binary64_1006 lt-same_binary64_1005 sinh---cosh_binary64_952 sinh-+-cosh_binary64_951 sinh-cosh_binary64_950 tanh-def-c_binary64_949 tanh-def-b_binary64_948 tanh-def-a_binary64_947 cosh-def_binary64_946 sinh-def_binary64_945 tan-neg_binary64_892 cos-neg_binary64_891 sin-neg_binary64_890 tan-0_binary64_889 cos-0_binary64_888 sin-0_binary64_887 hang-m-tan_binary64_886 hang-p-tan_binary64_885 hang-m0-tan_binary64_884 hang-p0-tan_binary64_883 hang-0m-tan_binary64_882 hang-0p-tan_binary64_881 tan-+PI/2_binary64_880 tan-+PI_binary64_879 tan-PI_binary64_878 tan-PI/3_binary64_877 tan-PI/4_binary64_876 tan-PI/6_binary64_875 cos-+PI/2_binary64_874 cos-+PI_binary64_873 cos-PI_binary64_872 cos-PI/2_binary64_871 cos-PI/3_binary64_870 cos-PI/4_binary64_869 cos-PI/6_binary64_868 sin-+PI/2_binary64_867 sin-+PI_binary64_866 sin-PI_binary64_865 sin-PI/2_binary64_864 sin-PI/3_binary64_863 sin-PI/4_binary64_862 sin-PI/6_binary64_861 sub-1-sin_binary64_860 sub-1-cos_binary64_859 -1-add-sin_binary64_858 -1-add-cos_binary64_857 1-sub-sin_binary64_856 1-sub-cos_binary64_855 cos-sin-sum_binary64_854 log-E_binary64_850 log-rec_binary64_848 pow-base-0_binary64_844 unpow1/3_binary64_827 exp-to-pow_binary64_822 pow-base-1_binary64_820 unpow0_binary64_819 unpow-1_binary64_817 exp-lft-cube_binary64_816 exp-cbrt_binary64_814 exp-sqrt_binary64_813 div-exp_binary64_811 rec-exp_binary64_810 exp-diff_binary64_808 exp-neg_binary64_807 exp-sum_binary64_806 e-exp-1_binary64_805 exp-0_binary64_802 rem-log-exp_binary64_801 rem-exp-log_binary64_800 cube-neg_binary64_787 rem-3cbrt-lft_binary64_785 rem-cbrt-cube_binary64_784 rem-cube-cbrt_binary64_783 sqr-abs_binary64_775 sqr-neg_binary64_774 div-sub_binary64_765 remove-double-neg_binary64_748 sub0-neg_binary64_747 --rgt-identity_binary64_746 +-lft-identity_binary64_744 mul0-rgt_binary64_743 mul0-lft_binary64_742 div0_binary64_741 *-inverses_binary64_740 +-inverses_binary64_739 lft-mult-inverse_binary64_738 rgt-mult-inverse_binary64_737 remove-double-div_binary64_736 difference-of-sqr--1_binary64_731 cancel-sign-sub_binary64_725 distribute-frac-neg_binary64_723 distribute-neg-out_binary64_722 distribute-lft1-in_binary64_715 distribute-lft-out--_binary64_712 distribute-lft-out_binary64_711 associate--r-_binary64_699 associate--l-_binary64_698
Counts
139 → 94
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02733918
17003553
225013541
346793541
449513541

prune189.0ms (0.9%)

Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New94094
Fresh055
Picked011
Done033
Total949103
Error
0.0b
Counts
103 → 9
Compiler

Compiled 3133 to 2379 computations (24.1% saved)

regimes1.7s (7.9%)

Accuracy

Total 9.4b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 15463 to 13444 computations (13.1% saved)

bsearch6.0ms (0%)

Compiler

Compiled 24 to 22 computations (8.3% saved)

simplify5.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative_binary64_691
+-commutative_binary64_690
if-if-or-not_binary64_1018 1-exp_binary64_804
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_1020 if-if-and_binary64_1019 if-if-or_binary64_1017 if-not_binary64_1016 if-same_binary64_1015 if-false_binary64_1014 if-true_binary64_1013 tan-0_binary64_889 cos-0_binary64_888 sin-0_binary64_887 unpow1_binary64_818 e-exp-1_binary64_805 exp-1-e_binary64_803 exp-0_binary64_802 sqr-abs_binary64_775 sqr-neg_binary64_774 neg-mul-1_binary64_756 neg-sub0_binary64_755 unsub-neg_binary64_754 sub-neg_binary64_753 mul-1-neg_binary64_752 /-rgt-identity_binary64_751 *-rgt-identity_binary64_750 *-lft-identity_binary64_749 remove-double-neg_binary64_748 sub0-neg_binary64_747 --rgt-identity_binary64_746 +-rgt-identity_binary64_745 +-lft-identity_binary64_744 cancel-sign-sub-inv_binary64_726 cancel-sign-sub_binary64_725 distribute-neg-frac_binary64_724 distribute-frac-neg_binary64_723 distribute-neg-out_binary64_722 distribute-neg-in_binary64_721 distribute-rgt-neg-out_binary64_720 distribute-lft-neg-out_binary64_719 distribute-rgt-neg-in_binary64_718 distribute-lft-neg-in_binary64_717
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034147
149147
248147

end0.0ms (0%)

sample5.0s (23.3%)

Algorithm
intervals
Results
1.2s1998×body1024valid
535.0ms4486×body128valid
439.0ms1017×body512valid
133.0ms494×body256valid
4.0msbody2048valid
0.0msbody256invalid
0.0msbody128invalid
Compiler

Compiled 2640 to 2291 computations (13.2% saved)

Profiling

Loading profile data...