analyze185.0ms (100%)

Algorithm

1×	egg-herbie

Rules

756×	neg-mul-1_binary64_3484
741×	neg-sub0_binary64_3483
638×	associate-/l*_binary64_3433
470×	distribute-frac-neg_binary64_3451
468×	div-sub_binary64_3493
448×	unsub-neg_binary64_3482
352×	sub-neg_binary64_3481
260×	distribute-rgt-in_binary64_3438
256×	times-frac_binary64_3494
236×	distribute-lft-neg-out_binary64_3447
234×	distribute-rgt-neg-out_binary64_3448
198×	distribute-lft-in_binary64_3437 associate-*l/_binary64_3431
187×	associate-*l*_binary64_3429
177×	cancel-sign-sub-inv_binary64_3454
173×	associate-*r/_binary64_3430
172×	distribute-neg-frac_binary64_3452
170×	associate-*r*_binary64_3428
155×	associate-/r/_binary64_3434
149×	associate-/r*_binary64_3432
122×	*-lft-identity_binary64_3477
117×	associate-/l/_binary64_3435
103×	*-rgt-identity_binary64_3478
97×	*-commutative_binary64_3419
90×	remove-double-neg_binary64_3476
82×	distribute-rgt-neg-in_binary64_3446
78×	cancel-sign-sub_binary64_3453
77×	/-rgt-identity_binary64_3479
53×	div0_binary64_3469
44×	distribute-rgt-out_binary64_3441 associate--r+_binary64_3424 +-commutative_binary64_3418
42×	distribute-lft-neg-in_binary64_3445
40×	distribute-rgt-out--_binary64_3442
34×	+-lft-identity_binary64_3472
32×	associate-+l-_binary64_3423 associate-+r+_binary64_3420
29×	distribute-neg-in_binary64_3449
28×	sub0-neg_binary64_3475 distribute-neg-out_binary64_3450
24×	associate-+r-_binary64_3422
22×	associate-+l+_binary64_3421
19×	+-rgt-identity_binary64_3473
17×	remove-double-div_binary64_3464
16×	difference-of-squares_binary64_3457
15×	mul0-rgt_binary64_3471 mul0-lft_binary64_3470
12×	distribute-lft-out_binary64_3439
10×	associate--r-_binary64_3427
8×	associate--l+_binary64_3425
6×	swap-sqr_binary64_3455
4×	associate--l-_binary64_3426
3×	sqr-neg_binary64_3502 --rgt-identity_binary64_3474
2×	mul-1-neg_binary64_3480
1×	1-exp_binary64_3532
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_3751 erf-erfc_binary64_3750 erf-odd_binary64_3749 if-if-and-not_binary64_3748 if-if-and_binary64_3747 if-if-or-not_binary64_3746 if-if-or_binary64_3745 if-not_binary64_3744 if-same_binary64_3743 if-false_binary64_3742 if-true_binary64_3741 not-gte_binary64_3740 not-lte_binary64_3739 not-gt_binary64_3738 not-lt_binary64_3737 gte-same_binary64_3736 lte-same_binary64_3735 gt-same_binary64_3734 lt-same_binary64_3733 sinh---cosh_binary64_3680 sinh-+-cosh_binary64_3679 sinh-cosh_binary64_3678 tanh-def-c_binary64_3677 tanh-def-b_binary64_3676 tanh-def-a_binary64_3675 cosh-def_binary64_3674 sinh-def_binary64_3673 tan-neg_binary64_3620 cos-neg_binary64_3619 sin-neg_binary64_3618 tan-0_binary64_3617 cos-0_binary64_3616 sin-0_binary64_3615 hang-m-tan_binary64_3614 hang-p-tan_binary64_3613 hang-m0-tan_binary64_3612 hang-p0-tan_binary64_3611 hang-0m-tan_binary64_3610 hang-0p-tan_binary64_3609 tan-+PI/2_binary64_3608 tan-+PI_binary64_3607 tan-PI_binary64_3606 tan-PI/3_binary64_3605 tan-PI/4_binary64_3604 tan-PI/6_binary64_3603 cos-+PI/2_binary64_3602 cos-+PI_binary64_3601 cos-PI_binary64_3600 cos-PI/2_binary64_3599 cos-PI/3_binary64_3598 cos-PI/4_binary64_3597 cos-PI/6_binary64_3596 sin-+PI/2_binary64_3595 sin-+PI_binary64_3594 sin-PI_binary64_3593 sin-PI/2_binary64_3592 sin-PI/3_binary64_3591 sin-PI/4_binary64_3590 sin-PI/6_binary64_3589 sub-1-sin_binary64_3588 sub-1-cos_binary64_3587 -1-add-sin_binary64_3586 -1-add-cos_binary64_3585 1-sub-sin_binary64_3584 1-sub-cos_binary64_3583 cos-sin-sum_binary64_3582 log-E_binary64_3578 log-pow_binary64_3577 log-rec_binary64_3576 log-div_binary64_3575 log-prod_binary64_3574 pow-base-0_binary64_3572 unpow1/3_binary64_3555 unpow3_binary64_3554 unpow2_binary64_3553 unpow1/2_binary64_3552 pow-plus_binary64_3551 exp-to-pow_binary64_3550 pow-base-1_binary64_3548 unpow0_binary64_3547 unpow1_binary64_3546 unpow-1_binary64_3545 exp-lft-cube_binary64_3544 exp-lft-sqr_binary64_3543 exp-cbrt_binary64_3542 exp-sqrt_binary64_3541 exp-prod_binary64_3540 div-exp_binary64_3539 rec-exp_binary64_3538 prod-exp_binary64_3537 exp-diff_binary64_3536 exp-neg_binary64_3535 exp-sum_binary64_3534 e-exp-1_binary64_3533 exp-1-e_binary64_3531 exp-0_binary64_3530 rem-log-exp_binary64_3529 rem-exp-log_binary64_3528 cube-unmult_binary64_3525 cube-mult_binary64_3518 cube-div_binary64_3517 cube-prod_binary64_3516 cube-neg_binary64_3515 rem-3cbrt-rft_binary64_3514 rem-3cbrt-lft_binary64_3513 rem-cbrt-cube_binary64_3512 rem-cube-cbrt_binary64_3511 sqr-abs_binary64_3503 rem-sqrt-square_binary64_3501 rem-square-sqrt_binary64_3500 *-inverses_binary64_3468 +-inverses_binary64_3467 lft-mult-inverse_binary64_3466 rgt-mult-inverse_binary64_3465 pow-sqr_binary64_3461 sqr-pow_binary64_3460 difference-of-sqr--1_binary64_3459 difference-of-sqr-1_binary64_3458 unswap-sqr_binary64_3456 distribute-rgt1-in_binary64_3444 distribute-lft1-in_binary64_3443 distribute-lft-out--_binary64_3440 count-2_binary64_3436

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	54	208
1	161	200
2	483	200
3	1371	192
4	2735	192
5	3995	192
6	4316	192
7	4707	192
8	5013	192