analyze416.0ms (16%)

Algorithm

1×	search
2×	egg-herbie

Rules

818×	unswap-sqr_binary64_12663
576×	times-frac_binary64_12701
391×	associate-*l*_binary64_12636
364×	associate-*r*_binary64_12635
317×	exp-sum_binary64_12741
211×	exp-diff_binary64_12743
167×	associate-/l*_binary64_12640
153×	sub-neg_binary64_12688
145×	*-commutative_binary64_12626
114×	associate--r+_binary64_12631
110×	associate-/r*_binary64_12639
98×	exp-prod_binary64_12747
95×	div-sub_binary64_12700
93×	pow-sqr_binary64_12668
84×	sqr-pow_binary64_12667
62×	associate-*r/_binary64_12637
61×	distribute-neg-in_binary64_12656
60×	cancel-sign-sub-inv_binary64_12661
58×	distribute-rgt-in_binary64_12645
52×	associate--l+_binary64_12632
50×	unsub-neg_binary64_12689
47×	associate-+l-_binary64_12630 +-commutative_binary64_12625
45×	neg-mul-1_binary64_12691
44×	associate-*l/_binary64_12638
38×	associate-/r/_binary64_12641
30×	associate-/l/_binary64_12642 associate-+r+_binary64_12627
29×	neg-sub0_binary64_12690 /-rgt-identity_binary64_12686
26×	associate-+l+_binary64_12628
25×	*-lft-identity_binary64_12684
22×	div-exp_binary64_12746 sub0-neg_binary64_12682
18×	log-prod_binary64_12781 cube-unmult_binary64_12732
16×	distribute-lft-in_binary64_12644
15×	rec-exp_binary64_12745 *-rgt-identity_binary64_12685
14×	remove-double-neg_binary64_12683
12×	associate-+r-_binary64_12629
10×	+-rgt-identity_binary64_12680 associate--r-_binary64_12634
9×	unpow3_binary64_12761 cube-prod_binary64_12723 distribute-rgt-neg-in_binary64_12653
8×	prod-exp_binary64_12744 remove-double-div_binary64_12671 distribute-lft-neg-out_binary64_12654 distribute-lft-neg-in_binary64_12652
6×	exp-to-pow_binary64_12757 mul0-rgt_binary64_12678 mul0-lft_binary64_12677
4×	associate--l-_binary64_12633
3×	exp-neg_binary64_12742 rem-exp-log_binary64_12735
2×	cube-div_binary64_12724
1×	1-exp_binary64_12739 exp-1-e_binary64_12738
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_12958 erf-erfc_binary64_12957 erf-odd_binary64_12956 if-if-and-not_binary64_12955 if-if-and_binary64_12954 if-if-or-not_binary64_12953 if-if-or_binary64_12952 if-not_binary64_12951 if-same_binary64_12950 if-false_binary64_12949 if-true_binary64_12948 not-gte_binary64_12947 not-lte_binary64_12946 not-gt_binary64_12945 not-lt_binary64_12944 gte-same_binary64_12943 lte-same_binary64_12942 gt-same_binary64_12941 lt-same_binary64_12940 sinh---cosh_binary64_12887 sinh-+-cosh_binary64_12886 sinh-cosh_binary64_12885 tanh-def-c_binary64_12884 tanh-def-b_binary64_12883 tanh-def-a_binary64_12882 cosh-def_binary64_12881 sinh-def_binary64_12880 tan-neg_binary64_12827 cos-neg_binary64_12826 sin-neg_binary64_12825 tan-0_binary64_12824 cos-0_binary64_12823 sin-0_binary64_12822 hang-m-tan_binary64_12821 hang-p-tan_binary64_12820 hang-m0-tan_binary64_12819 hang-p0-tan_binary64_12818 hang-0m-tan_binary64_12817 hang-0p-tan_binary64_12816 tan-+PI/2_binary64_12815 tan-+PI_binary64_12814 tan-PI_binary64_12813 tan-PI/3_binary64_12812 tan-PI/4_binary64_12811 tan-PI/6_binary64_12810 cos-+PI/2_binary64_12809 cos-+PI_binary64_12808 cos-PI_binary64_12807 cos-PI/2_binary64_12806 cos-PI/3_binary64_12805 cos-PI/4_binary64_12804 cos-PI/6_binary64_12803 sin-+PI/2_binary64_12802 sin-+PI_binary64_12801 sin-PI_binary64_12800 sin-PI/2_binary64_12799 sin-PI/3_binary64_12798 sin-PI/4_binary64_12797 sin-PI/6_binary64_12796 sub-1-sin_binary64_12795 sub-1-cos_binary64_12794 -1-add-sin_binary64_12793 -1-add-cos_binary64_12792 1-sub-sin_binary64_12791 1-sub-cos_binary64_12790 cos-sin-sum_binary64_12789 log-E_binary64_12785 log-pow_binary64_12784 log-rec_binary64_12783 log-div_binary64_12782 pow-base-0_binary64_12779 unpow1/3_binary64_12762 unpow2_binary64_12760 unpow1/2_binary64_12759 pow-plus_binary64_12758 pow-base-1_binary64_12755 unpow0_binary64_12754 unpow1_binary64_12753 unpow-1_binary64_12752 exp-lft-cube_binary64_12751 exp-lft-sqr_binary64_12750 exp-cbrt_binary64_12749 exp-sqrt_binary64_12748 e-exp-1_binary64_12740 exp-0_binary64_12737 rem-log-exp_binary64_12736 cube-mult_binary64_12725 cube-neg_binary64_12722 rem-3cbrt-rft_binary64_12721 rem-3cbrt-lft_binary64_12720 rem-cbrt-cube_binary64_12719 rem-cube-cbrt_binary64_12718 sqr-abs_binary64_12710 sqr-neg_binary64_12709 rem-sqrt-square_binary64_12708 rem-square-sqrt_binary64_12707 mul-1-neg_binary64_12687 --rgt-identity_binary64_12681 +-lft-identity_binary64_12679 div0_binary64_12676 *-inverses_binary64_12675 +-inverses_binary64_12674 lft-mult-inverse_binary64_12673 rgt-mult-inverse_binary64_12672 difference-of-sqr--1_binary64_12666 difference-of-sqr-1_binary64_12665 difference-of-squares_binary64_12664 swap-sqr_binary64_12662 cancel-sign-sub_binary64_12660 distribute-neg-frac_binary64_12659 distribute-frac-neg_binary64_12658 distribute-neg-out_binary64_12657 distribute-rgt-neg-out_binary64_12655 distribute-rgt1-in_binary64_12651 distribute-lft1-in_binary64_12650 distribute-rgt-out--_binary64_12649 distribute-rgt-out_binary64_12648 distribute-lft-out--_binary64_12647 distribute-lft-out_binary64_12646 count-2_binary64_12643

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	55	56
2	117	48
3	239	48
4	384	48
5	1011	48
6	3177	48
7	4712	48
8	4986	48
0	3	3
1	3	3

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
0%	99.9%	0.1%	5
9.4%	65.5%	25.1%	6
14%	60.8%	25.1%	7
14%	56.2%	29.8%	8
14%	36.7%	49.3%	9
14.8%	30.4%	54.8%	10
15.5%	28.3%	56.2%	11
16.4%	18.3%	65.2%	12
17.2%	15.2%	67.6%	13
17.7%	14.2%	68.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)