analyze147.0ms (28.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

2×	associate-*l*_binary64_11613 *-commutative_binary64_11603
1×	associate-*r*_binary64_11612
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_11935 erf-erfc_binary64_11934 erf-odd_binary64_11933 if-if-and-not_binary64_11932 if-if-and_binary64_11931 if-if-or-not_binary64_11930 if-if-or_binary64_11929 if-not_binary64_11928 if-same_binary64_11927 if-false_binary64_11926 if-true_binary64_11925 not-gte_binary64_11924 not-lte_binary64_11923 not-gt_binary64_11922 not-lt_binary64_11921 gte-same_binary64_11920 lte-same_binary64_11919 gt-same_binary64_11918 lt-same_binary64_11917 sinh---cosh_binary64_11864 sinh-+-cosh_binary64_11863 sinh-cosh_binary64_11862 tanh-def-c_binary64_11861 tanh-def-b_binary64_11860 tanh-def-a_binary64_11859 cosh-def_binary64_11858 sinh-def_binary64_11857 tan-neg_binary64_11804 cos-neg_binary64_11803 sin-neg_binary64_11802 tan-0_binary64_11801 cos-0_binary64_11800 sin-0_binary64_11799 hang-m-tan_binary64_11798 hang-p-tan_binary64_11797 hang-m0-tan_binary64_11796 hang-p0-tan_binary64_11795 hang-0m-tan_binary64_11794 hang-0p-tan_binary64_11793 tan-+PI/2_binary64_11792 tan-+PI_binary64_11791 tan-PI_binary64_11790 tan-PI/3_binary64_11789 tan-PI/4_binary64_11788 tan-PI/6_binary64_11787 cos-+PI/2_binary64_11786 cos-+PI_binary64_11785 cos-PI_binary64_11784 cos-PI/2_binary64_11783 cos-PI/3_binary64_11782 cos-PI/4_binary64_11781 cos-PI/6_binary64_11780 sin-+PI/2_binary64_11779 sin-+PI_binary64_11778 sin-PI_binary64_11777 sin-PI/2_binary64_11776 sin-PI/3_binary64_11775 sin-PI/4_binary64_11774 sin-PI/6_binary64_11773 sub-1-sin_binary64_11772 sub-1-cos_binary64_11771 -1-add-sin_binary64_11770 -1-add-cos_binary64_11769 1-sub-sin_binary64_11768 1-sub-cos_binary64_11767 cos-sin-sum_binary64_11766 log-E_binary64_11762 log-pow_binary64_11761 log-rec_binary64_11760 log-div_binary64_11759 log-prod_binary64_11758 pow-base-0_binary64_11756 unpow1/3_binary64_11739 unpow3_binary64_11738 unpow2_binary64_11737 unpow1/2_binary64_11736 pow-plus_binary64_11735 exp-to-pow_binary64_11734 pow-base-1_binary64_11732 unpow0_binary64_11731 unpow1_binary64_11730 unpow-1_binary64_11729 exp-lft-cube_binary64_11728 exp-lft-sqr_binary64_11727 exp-cbrt_binary64_11726 exp-sqrt_binary64_11725 exp-prod_binary64_11724 div-exp_binary64_11723 rec-exp_binary64_11722 prod-exp_binary64_11721 exp-diff_binary64_11720 exp-neg_binary64_11719 exp-sum_binary64_11718 e-exp-1_binary64_11717 1-exp_binary64_11716 exp-1-e_binary64_11715 exp-0_binary64_11714 rem-log-exp_binary64_11713 rem-exp-log_binary64_11712 cube-unmult_binary64_11709 cube-mult_binary64_11702 cube-div_binary64_11701 cube-prod_binary64_11700 cube-neg_binary64_11699 rem-3cbrt-rft_binary64_11698 rem-3cbrt-lft_binary64_11697 rem-cbrt-cube_binary64_11696 rem-cube-cbrt_binary64_11695 sqr-abs_binary64_11687 sqr-neg_binary64_11686 rem-sqrt-square_binary64_11685 rem-square-sqrt_binary64_11684 times-frac_binary64_11678 div-sub_binary64_11677 neg-mul-1_binary64_11668 neg-sub0_binary64_11667 unsub-neg_binary64_11666 sub-neg_binary64_11665 mul-1-neg_binary64_11664 /-rgt-identity_binary64_11663 *-rgt-identity_binary64_11662 *-lft-identity_binary64_11661 remove-double-neg_binary64_11660 sub0-neg_binary64_11659 --rgt-identity_binary64_11658 +-rgt-identity_binary64_11657 +-lft-identity_binary64_11656 mul0-rgt_binary64_11655 mul0-lft_binary64_11654 div0_binary64_11653 *-inverses_binary64_11652 +-inverses_binary64_11651 lft-mult-inverse_binary64_11650 rgt-mult-inverse_binary64_11649 remove-double-div_binary64_11648 pow-sqr_binary64_11645 sqr-pow_binary64_11644 difference-of-sqr--1_binary64_11643 difference-of-sqr-1_binary64_11642 difference-of-squares_binary64_11641 unswap-sqr_binary64_11640 swap-sqr_binary64_11639 cancel-sign-sub-inv_binary64_11638 cancel-sign-sub_binary64_11637 distribute-neg-frac_binary64_11636 distribute-frac-neg_binary64_11635 distribute-neg-out_binary64_11634 distribute-neg-in_binary64_11633 distribute-rgt-neg-out_binary64_11632 distribute-lft-neg-out_binary64_11631 distribute-rgt-neg-in_binary64_11630 distribute-lft-neg-in_binary64_11629 distribute-rgt1-in_binary64_11628 distribute-lft1-in_binary64_11627 distribute-rgt-out--_binary64_11626 distribute-rgt-out_binary64_11625 distribute-lft-out--_binary64_11624 distribute-lft-out_binary64_11623 distribute-rgt-in_binary64_11622 distribute-lft-in_binary64_11621 count-2_binary64_11620 associate-/l/_binary64_11619 associate-/r/_binary64_11618 associate-/l*_binary64_11617 associate-/r*_binary64_11616 associate-*l/_binary64_11615 associate-*r/_binary64_11614 associate--r-_binary64_11611 associate--l-_binary64_11610 associate--l+_binary64_11609 associate--r+_binary64_11608 associate-+l-_binary64_11607 associate-+r-_binary64_11606 associate-+l+_binary64_11605 associate-+r+_binary64_11604 +-commutative_binary64_11602

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	7	7
2	10	7
3	10	7
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12
74.9%	0%	25%	13
74.9%	0%	25.1%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)