analyze518.0ms (12.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

642×	div-sub_binary64_6562
482×	associate-*l/_binary64_6500
396×	associate-/r*_binary64_6501
392×	cancel-sign-sub-inv_binary64_6523
336×	associate-/r/_binary64_6503
326×	associate-*r/_binary64_6499
296×	associate-/l/_binary64_6504
234×	neg-mul-1_binary64_6553
184×	distribute-rgt-in_binary64_6507
178×	sub-neg_binary64_6550
160×	associate-/l*_binary64_6502
134×	neg-sub0_binary64_6552 distribute-neg-frac_binary64_6521
122×	distribute-lft-in_binary64_6506
114×	times-frac_binary64_6563
104×	distribute-rgt-neg-in_binary64_6515
96×	associate-*r*_binary64_6497
90×	distribute-lft-neg-in_binary64_6514 associate-*l*_binary64_6498
82×	*-commutative_binary64_6488
80×	unsub-neg_binary64_6551
58×	distribute-rgt-neg-out_binary64_6517
56×	distribute-frac-neg_binary64_6520
54×	distribute-lft-neg-out_binary64_6516
44×	div0_binary64_6538
42×	*-lft-identity_binary64_6546
32×	sqr-pow_binary64_6529
26×	mul0-rgt_binary64_6540
24×	+-commutative_binary64_6487
22×	*-rgt-identity_binary64_6547 mul0-lft_binary64_6539
20×	unswap-sqr_binary64_6525
16×	pow-sqr_binary64_6530
12×	sub0-neg_binary64_6544 distribute-neg-in_binary64_6518 associate-+l-_binary64_6492
10×	+-rgt-identity_binary64_6542 distribute-rgt-out--_binary64_6511
8×	/-rgt-identity_binary64_6548
6×	exp-diff_binary64_6605 exp-sum_binary64_6603 cube-unmult_binary64_6594 mul-1-neg_binary64_6549 associate--r+_binary64_6493 associate-+r-_binary64_6491
4×	unpow3_binary64_6623 exp-prod_binary64_6609 cube-prod_binary64_6585 --rgt-identity_binary64_6543 associate-+l+_binary64_6490
2×	sinh-def_binary64_6742 pow-plus_binary64_6620 exp-neg_binary64_6604 remove-double-neg_binary64_6545 associate-+r+_binary64_6489
1×	1-exp_binary64_6601
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_6820 erf-erfc_binary64_6819 erf-odd_binary64_6818 if-if-and-not_binary64_6817 if-if-and_binary64_6816 if-if-or-not_binary64_6815 if-if-or_binary64_6814 if-not_binary64_6813 if-same_binary64_6812 if-false_binary64_6811 if-true_binary64_6810 not-gte_binary64_6809 not-lte_binary64_6808 not-gt_binary64_6807 not-lt_binary64_6806 gte-same_binary64_6805 lte-same_binary64_6804 gt-same_binary64_6803 lt-same_binary64_6802 sinh---cosh_binary64_6749 sinh-+-cosh_binary64_6748 sinh-cosh_binary64_6747 tanh-def-c_binary64_6746 tanh-def-b_binary64_6745 tanh-def-a_binary64_6744 cosh-def_binary64_6743 tan-neg_binary64_6689 cos-neg_binary64_6688 sin-neg_binary64_6687 tan-0_binary64_6686 cos-0_binary64_6685 sin-0_binary64_6684 hang-m-tan_binary64_6683 hang-p-tan_binary64_6682 hang-m0-tan_binary64_6681 hang-p0-tan_binary64_6680 hang-0m-tan_binary64_6679 hang-0p-tan_binary64_6678 tan-+PI/2_binary64_6677 tan-+PI_binary64_6676 tan-PI_binary64_6675 tan-PI/3_binary64_6674 tan-PI/4_binary64_6673 tan-PI/6_binary64_6672 cos-+PI/2_binary64_6671 cos-+PI_binary64_6670 cos-PI_binary64_6669 cos-PI/2_binary64_6668 cos-PI/3_binary64_6667 cos-PI/4_binary64_6666 cos-PI/6_binary64_6665 sin-+PI/2_binary64_6664 sin-+PI_binary64_6663 sin-PI_binary64_6662 sin-PI/2_binary64_6661 sin-PI/3_binary64_6660 sin-PI/4_binary64_6659 sin-PI/6_binary64_6658 sub-1-sin_binary64_6657 sub-1-cos_binary64_6656 -1-add-sin_binary64_6655 -1-add-cos_binary64_6654 1-sub-sin_binary64_6653 1-sub-cos_binary64_6652 cos-sin-sum_binary64_6651 log-E_binary64_6647 log-pow_binary64_6646 log-rec_binary64_6645 log-div_binary64_6644 log-prod_binary64_6643 pow-base-0_binary64_6641 unpow1/3_binary64_6624 unpow2_binary64_6622 unpow1/2_binary64_6621 exp-to-pow_binary64_6619 pow-base-1_binary64_6617 unpow0_binary64_6616 unpow1_binary64_6615 unpow-1_binary64_6614 exp-lft-cube_binary64_6613 exp-lft-sqr_binary64_6612 exp-cbrt_binary64_6611 exp-sqrt_binary64_6610 div-exp_binary64_6608 rec-exp_binary64_6607 prod-exp_binary64_6606 e-exp-1_binary64_6602 exp-1-e_binary64_6600 exp-0_binary64_6599 rem-log-exp_binary64_6598 rem-exp-log_binary64_6597 cube-mult_binary64_6587 cube-div_binary64_6586 cube-neg_binary64_6584 rem-3cbrt-rft_binary64_6583 rem-3cbrt-lft_binary64_6582 rem-cbrt-cube_binary64_6581 rem-cube-cbrt_binary64_6580 sqr-abs_binary64_6572 sqr-neg_binary64_6571 rem-sqrt-square_binary64_6570 rem-square-sqrt_binary64_6569 +-lft-identity_binary64_6541 *-inverses_binary64_6537 +-inverses_binary64_6536 lft-mult-inverse_binary64_6535 rgt-mult-inverse_binary64_6534 remove-double-div_binary64_6533 difference-of-sqr--1_binary64_6528 difference-of-sqr-1_binary64_6527 difference-of-squares_binary64_6526 swap-sqr_binary64_6524 cancel-sign-sub_binary64_6522 distribute-neg-out_binary64_6519 distribute-rgt1-in_binary64_6513 distribute-lft1-in_binary64_6512 distribute-rgt-out_binary64_6510 distribute-lft-out--_binary64_6509 distribute-lft-out_binary64_6508 count-2_binary64_6505 associate--r-_binary64_6496 associate--l-_binary64_6495 associate--l+_binary64_6494

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	28	22
2	61	22
3	136	22
4	300	22
5	665	22
6	1827	22
7	3936	22
8	4736	22
9	4854	22
0	2	2
1	2	2

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
0%	99.9%	0.1%	6
37.5%	50%	12.6%	7
37.5%	50%	12.6%	8
43.7%	37.5%	18.8%	9
43.7%	37.5%	18.8%	10
46.8%	31.2%	22%	11
46.8%	31.2%	22%	12
48.4%	28.1%	23.5%	13
48.4%	28.1%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)