analyze311.0ms (28.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

1030×	sqr-pow_binary64_3460
855×	unswap-sqr_binary64_3456
550×	associate-*l*_binary64_3429
440×	pow-sqr_binary64_3461
283×	associate-*r*_binary64_3428
269×	*-commutative_binary64_3419
260×	cube-prod_binary64_3516
228×	unpow3_binary64_3554
221×	cube-mult_binary64_3518
69×	pow-plus_binary64_3551
30×	rem-sqrt-square_binary64_3501
15×	cube-unmult_binary64_3525
10×	unpow2_binary64_3553 unpow1/2_binary64_3552 unpow1_binary64_3546
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 exp-to-pow_binary64_3550 pow-base-1_binary64_3548 unpow0_binary64_3547 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-div_binary64_3517 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 sqr-neg_binary64_3502 rem-square-sqrt_binary64_3500 times-frac_binary64_3494 div-sub_binary64_3493 neg-mul-1_binary64_3484 neg-sub0_binary64_3483 unsub-neg_binary64_3482 sub-neg_binary64_3481 mul-1-neg_binary64_3480 /-rgt-identity_binary64_3479 *-rgt-identity_binary64_3478 *-lft-identity_binary64_3477 remove-double-neg_binary64_3476 sub0-neg_binary64_3475 --rgt-identity_binary64_3474 +-rgt-identity_binary64_3473 +-lft-identity_binary64_3472 mul0-rgt_binary64_3471 mul0-lft_binary64_3470 div0_binary64_3469 *-inverses_binary64_3468 +-inverses_binary64_3467 lft-mult-inverse_binary64_3466 rgt-mult-inverse_binary64_3465 remove-double-div_binary64_3464 difference-of-sqr--1_binary64_3459 difference-of-sqr-1_binary64_3458 difference-of-squares_binary64_3457 swap-sqr_binary64_3455 cancel-sign-sub-inv_binary64_3454 cancel-sign-sub_binary64_3453 distribute-neg-frac_binary64_3452 distribute-frac-neg_binary64_3451 distribute-neg-out_binary64_3450 distribute-neg-in_binary64_3449 distribute-rgt-neg-out_binary64_3448 distribute-lft-neg-out_binary64_3447 distribute-rgt-neg-in_binary64_3446 distribute-lft-neg-in_binary64_3445 distribute-rgt1-in_binary64_3444 distribute-lft1-in_binary64_3443 distribute-rgt-out--_binary64_3442 distribute-rgt-out_binary64_3441 distribute-lft-out--_binary64_3440 distribute-lft-out_binary64_3439 distribute-rgt-in_binary64_3438 distribute-lft-in_binary64_3437 count-2_binary64_3436 associate-/l/_binary64_3435 associate-/r/_binary64_3434 associate-/l*_binary64_3433 associate-/r*_binary64_3432 associate-*l/_binary64_3431 associate-*r/_binary64_3430 associate--r-_binary64_3427 associate--l-_binary64_3426 associate--l+_binary64_3425 associate--r+_binary64_3424 associate-+l-_binary64_3423 associate-+r-_binary64_3422 associate-+l+_binary64_3421 associate-+r+_binary64_3420 +-commutative_binary64_3418

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	24	16
2	52	10
3	105	4
4	273	4
5	825	4
6	1585	4
7	1720	4
8	1936	4
9	2221	4
10	2580	4
11	3050	4
12	3610	4
13	4266	4
14	4426	4
15	4526	4
16	4540	4
17	4542	4
18	4542	4
19	5008	4
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
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
53.1%	3.1%	43.8%	7
54.7%	1.6%	43.8%	8
54.7%	0.8%	44.6%	9
54.7%	0.4%	44.9%	10
54.9%	0.2%	44.9%	11
54.9%	0.1%	45%	12
54.9%	0%	45%	13
54.9%	0%	45%	14

Compiler

Compiled 20 to 10 computations (50% saved)