analyze98.0ms (100%)

Algorithm

1×	egg-herbie

Rules

2×	+-commutative_binary64_3759
1×	1-exp_binary64_3873
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_4092 erf-erfc_binary64_4091 erf-odd_binary64_4090 if-if-and-not_binary64_4089 if-if-and_binary64_4088 if-if-or-not_binary64_4087 if-if-or_binary64_4086 if-not_binary64_4085 if-same_binary64_4084 if-false_binary64_4083 if-true_binary64_4082 not-gte_binary64_4081 not-lte_binary64_4080 not-gt_binary64_4079 not-lt_binary64_4078 gte-same_binary64_4077 lte-same_binary64_4076 gt-same_binary64_4075 lt-same_binary64_4074 sinh---cosh_binary64_4021 sinh-+-cosh_binary64_4020 sinh-cosh_binary64_4019 tanh-def-c_binary64_4018 tanh-def-b_binary64_4017 tanh-def-a_binary64_4016 cosh-def_binary64_4015 sinh-def_binary64_4014 tan-neg_binary64_3961 cos-neg_binary64_3960 sin-neg_binary64_3959 tan-0_binary64_3958 cos-0_binary64_3957 sin-0_binary64_3956 hang-m-tan_binary64_3955 hang-p-tan_binary64_3954 hang-m0-tan_binary64_3953 hang-p0-tan_binary64_3952 hang-0m-tan_binary64_3951 hang-0p-tan_binary64_3950 tan-+PI/2_binary64_3949 tan-+PI_binary64_3948 tan-PI_binary64_3947 tan-PI/3_binary64_3946 tan-PI/4_binary64_3945 tan-PI/6_binary64_3944 cos-+PI/2_binary64_3943 cos-+PI_binary64_3942 cos-PI_binary64_3941 cos-PI/2_binary64_3940 cos-PI/3_binary64_3939 cos-PI/4_binary64_3938 cos-PI/6_binary64_3937 sin-+PI/2_binary64_3936 sin-+PI_binary64_3935 sin-PI_binary64_3934 sin-PI/2_binary64_3933 sin-PI/3_binary64_3932 sin-PI/4_binary64_3931 sin-PI/6_binary64_3930 sub-1-sin_binary64_3929 sub-1-cos_binary64_3928 -1-add-sin_binary64_3927 -1-add-cos_binary64_3926 1-sub-sin_binary64_3925 1-sub-cos_binary64_3924 cos-sin-sum_binary64_3923 log-E_binary64_3919 log-pow_binary64_3918 log-rec_binary64_3917 log-div_binary64_3916 log-prod_binary64_3915 pow-base-0_binary64_3913 unpow1/3_binary64_3896 unpow3_binary64_3895 unpow2_binary64_3894 unpow1/2_binary64_3893 pow-plus_binary64_3892 exp-to-pow_binary64_3891 pow-base-1_binary64_3889 unpow0_binary64_3888 unpow1_binary64_3887 unpow-1_binary64_3886 exp-lft-cube_binary64_3885 exp-lft-sqr_binary64_3884 exp-cbrt_binary64_3883 exp-sqrt_binary64_3882 exp-prod_binary64_3881 div-exp_binary64_3880 rec-exp_binary64_3879 prod-exp_binary64_3878 exp-diff_binary64_3877 exp-neg_binary64_3876 exp-sum_binary64_3875 e-exp-1_binary64_3874 exp-1-e_binary64_3872 exp-0_binary64_3871 rem-log-exp_binary64_3870 rem-exp-log_binary64_3869 cube-unmult_binary64_3866 cube-mult_binary64_3859 cube-div_binary64_3858 cube-prod_binary64_3857 cube-neg_binary64_3856 rem-3cbrt-rft_binary64_3855 rem-3cbrt-lft_binary64_3854 rem-cbrt-cube_binary64_3853 rem-cube-cbrt_binary64_3852 sqr-abs_binary64_3844 sqr-neg_binary64_3843 rem-sqrt-square_binary64_3842 rem-square-sqrt_binary64_3841 times-frac_binary64_3835 div-sub_binary64_3834 neg-mul-1_binary64_3825 neg-sub0_binary64_3824 unsub-neg_binary64_3823 sub-neg_binary64_3822 mul-1-neg_binary64_3821 /-rgt-identity_binary64_3820 *-rgt-identity_binary64_3819 *-lft-identity_binary64_3818 remove-double-neg_binary64_3817 sub0-neg_binary64_3816 --rgt-identity_binary64_3815 +-rgt-identity_binary64_3814 +-lft-identity_binary64_3813 mul0-rgt_binary64_3812 mul0-lft_binary64_3811 div0_binary64_3810 *-inverses_binary64_3809 +-inverses_binary64_3808 lft-mult-inverse_binary64_3807 rgt-mult-inverse_binary64_3806 remove-double-div_binary64_3805 pow-sqr_binary64_3802 sqr-pow_binary64_3801 difference-of-sqr--1_binary64_3800 difference-of-sqr-1_binary64_3799 difference-of-squares_binary64_3798 unswap-sqr_binary64_3797 swap-sqr_binary64_3796 cancel-sign-sub-inv_binary64_3795 cancel-sign-sub_binary64_3794 distribute-neg-frac_binary64_3793 distribute-frac-neg_binary64_3792 distribute-neg-out_binary64_3791 distribute-neg-in_binary64_3790 distribute-rgt-neg-out_binary64_3789 distribute-lft-neg-out_binary64_3788 distribute-rgt-neg-in_binary64_3787 distribute-lft-neg-in_binary64_3786 distribute-rgt1-in_binary64_3785 distribute-lft1-in_binary64_3784 distribute-rgt-out--_binary64_3783 distribute-rgt-out_binary64_3782 distribute-lft-out--_binary64_3781 distribute-lft-out_binary64_3780 distribute-rgt-in_binary64_3779 distribute-lft-in_binary64_3778 count-2_binary64_3777 associate-/l/_binary64_3776 associate-/r/_binary64_3775 associate-/l*_binary64_3774 associate-/r*_binary64_3773 associate-*l/_binary64_3772 associate-*r/_binary64_3771 associate-*l*_binary64_3770 associate-*r*_binary64_3769 associate--r-_binary64_3768 associate--l-_binary64_3767 associate--l+_binary64_3766 associate--r+_binary64_3765 associate-+l-_binary64_3764 associate-+r-_binary64_3763 associate-+l+_binary64_3762 associate-+r+_binary64_3761 *-commutative_binary64_3760

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14
2	11	14