analyze165.0ms (18.1%)

Algorithm

1×	search
2×	egg-herbie

Rules

40×	cancel-sign-sub-inv_binary64_6523
28×	sub-neg_binary64_6550
14×	distribute-lft-neg-out_binary64_6516 distribute-rgt-neg-in_binary64_6515 associate-/l*_binary64_6502 associate-/r*_binary64_6501
12×	neg-mul-1_binary64_6553
10×	neg-sub0_binary64_6552 distribute-rgt-neg-out_binary64_6517 associate--r+_binary64_6493 associate-+l-_binary64_6492 +-commutative_binary64_6487
8×	div-sub_binary64_6562 distribute-neg-in_binary64_6518 *-commutative_binary64_6488
6×	remove-double-neg_binary64_6545 sub0-neg_binary64_6544 distribute-neg-frac_binary64_6521 distribute-lft-neg-in_binary64_6514 associate-*l*_binary64_6498 associate-*r*_binary64_6497 associate-+l+_binary64_6490
4×	unsub-neg_binary64_6551 *-lft-identity_binary64_6546 distribute-frac-neg_binary64_6520 distribute-rgt-in_binary64_6507 associate-+r-_binary64_6491 associate-+r+_binary64_6489
2×	--rgt-identity_binary64_6543 +-rgt-identity_binary64_6542 +-lft-identity_binary64_6541 distribute-rgt-out--_binary64_6511 associate-/r/_binary64_6503 associate-*l/_binary64_6500
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 sinh-def_binary64_6742 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 unpow3_binary64_6623 unpow2_binary64_6622 unpow1/2_binary64_6621 pow-plus_binary64_6620 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 exp-prod_binary64_6609 div-exp_binary64_6608 rec-exp_binary64_6607 prod-exp_binary64_6606 exp-diff_binary64_6605 exp-neg_binary64_6604 exp-sum_binary64_6603 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-unmult_binary64_6594 cube-mult_binary64_6587 cube-div_binary64_6586 cube-prod_binary64_6585 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 times-frac_binary64_6563 mul-1-neg_binary64_6549 /-rgt-identity_binary64_6548 *-rgt-identity_binary64_6547 mul0-rgt_binary64_6540 mul0-lft_binary64_6539 div0_binary64_6538 *-inverses_binary64_6537 +-inverses_binary64_6536 lft-mult-inverse_binary64_6535 rgt-mult-inverse_binary64_6534 remove-double-div_binary64_6533 pow-sqr_binary64_6530 sqr-pow_binary64_6529 difference-of-sqr--1_binary64_6528 difference-of-sqr-1_binary64_6527 difference-of-squares_binary64_6526 unswap-sqr_binary64_6525 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 distribute-lft-in_binary64_6506 count-2_binary64_6505 associate-/l/_binary64_6504 associate-*r/_binary64_6499 associate--r-_binary64_6496 associate--l-_binary64_6495 associate--l+_binary64_6494

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14
2	24	14
3	40	14
4	58	14
5	100	14
6	126	14
7	214	14
8	218	14
9	220	14
10	182	14
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
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
87.4%	12.5%	0.1%	6
87.4%	12.5%	0.1%	7
93.7%	6.2%	0.1%	8
93.7%	6.2%	0.1%	9
96.8%	3.1%	0.1%	10
96.8%	3.1%	0.1%	11
98.3%	1.6%	0.1%	12
98.3%	1.6%	0.1%	13
99.1%	0.8%	0.1%	14

Compiler

Compiled 6 to 6 computations (0% saved)