analyze387.0ms (8.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

1760×	associate--l+_binary64_356
1745×	associate--r+_binary64_355
455×	unsub-neg_binary64_413
435×	distribute-rgt-in_binary64_369
425×	sub-neg_binary64_412
323×	distribute-neg-in_binary64_380
321×	distribute-lft-in_binary64_368
175×	associate-+l-_binary64_354
154×	+-commutative_binary64_349
144×	cancel-sign-sub-inv_binary64_385
126×	associate-+r-_binary64_353
114×	associate--l-_binary64_357
93×	distribute-lft-neg-out_binary64_378
92×	associate--r-_binary64_358
86×	associate-*r*_binary64_359
83×	associate-*l*_binary64_360
82×	*-commutative_binary64_350
78×	neg-sub0_binary64_414 distribute-rgt-neg-out_binary64_379
72×	associate-+r+_binary64_351
71×	distribute-rgt-neg-in_binary64_377
67×	neg-mul-1_binary64_415
63×	distribute-lft-neg-in_binary64_376 associate-+l+_binary64_352
55×	distribute-rgt-out--_binary64_373
47×	distribute-neg-out_binary64_381
29×	distribute-rgt-out_binary64_372
28×	mul0-rgt_binary64_402 mul0-lft_binary64_401
27×	sub0-neg_binary64_406
26×	*-rgt-identity_binary64_409
19×	*-lft-identity_binary64_408 remove-double-neg_binary64_407
17×	distribute-rgt1-in_binary64_375
16×	log-prod_binary64_505
15×	--rgt-identity_binary64_405
12×	+-rgt-identity_binary64_404
10×	cancel-sign-sub_binary64_384
8×	+-lft-identity_binary64_403
4×	distribute-lft-out--_binary64_371
2×	distribute-lft-out_binary64_370
1×	1-exp_binary64_463 +-inverses_binary64_398 distribute-lft1-in_binary64_374 count-2_binary64_367
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_682 erf-erfc_binary64_681 erf-odd_binary64_680 if-if-and-not_binary64_679 if-if-and_binary64_678 if-if-or-not_binary64_677 if-if-or_binary64_676 if-not_binary64_675 if-same_binary64_674 if-false_binary64_673 if-true_binary64_672 not-gte_binary64_671 not-lte_binary64_670 not-gt_binary64_669 not-lt_binary64_668 gte-same_binary64_667 lte-same_binary64_666 gt-same_binary64_665 lt-same_binary64_664 sinh---cosh_binary64_611 sinh-+-cosh_binary64_610 sinh-cosh_binary64_609 tanh-def-c_binary64_608 tanh-def-b_binary64_607 tanh-def-a_binary64_606 cosh-def_binary64_605 sinh-def_binary64_604 tan-neg_binary64_551 cos-neg_binary64_550 sin-neg_binary64_549 tan-0_binary64_548 cos-0_binary64_547 sin-0_binary64_546 hang-m-tan_binary64_545 hang-p-tan_binary64_544 hang-m0-tan_binary64_543 hang-p0-tan_binary64_542 hang-0m-tan_binary64_541 hang-0p-tan_binary64_540 tan-+PI/2_binary64_539 tan-+PI_binary64_538 tan-PI_binary64_537 tan-PI/3_binary64_536 tan-PI/4_binary64_535 tan-PI/6_binary64_534 cos-+PI/2_binary64_533 cos-+PI_binary64_532 cos-PI_binary64_531 cos-PI/2_binary64_530 cos-PI/3_binary64_529 cos-PI/4_binary64_528 cos-PI/6_binary64_527 sin-+PI/2_binary64_526 sin-+PI_binary64_525 sin-PI_binary64_524 sin-PI/2_binary64_523 sin-PI/3_binary64_522 sin-PI/4_binary64_521 sin-PI/6_binary64_520 sub-1-sin_binary64_519 sub-1-cos_binary64_518 -1-add-sin_binary64_517 -1-add-cos_binary64_516 1-sub-sin_binary64_515 1-sub-cos_binary64_514 cos-sin-sum_binary64_513 log-E_binary64_509 log-pow_binary64_508 log-rec_binary64_507 log-div_binary64_506 pow-base-0_binary64_503 unpow1/3_binary64_486 unpow3_binary64_485 unpow2_binary64_484 unpow1/2_binary64_483 pow-plus_binary64_482 exp-to-pow_binary64_481 pow-base-1_binary64_479 unpow0_binary64_478 unpow1_binary64_477 unpow-1_binary64_476 exp-lft-cube_binary64_475 exp-lft-sqr_binary64_474 exp-cbrt_binary64_473 exp-sqrt_binary64_472 exp-prod_binary64_471 div-exp_binary64_470 rec-exp_binary64_469 prod-exp_binary64_468 exp-diff_binary64_467 exp-neg_binary64_466 exp-sum_binary64_465 e-exp-1_binary64_464 exp-1-e_binary64_462 exp-0_binary64_461 rem-log-exp_binary64_460 rem-exp-log_binary64_459 cube-unmult_binary64_456 cube-mult_binary64_449 cube-div_binary64_448 cube-prod_binary64_447 cube-neg_binary64_446 rem-3cbrt-rft_binary64_445 rem-3cbrt-lft_binary64_444 rem-cbrt-cube_binary64_443 rem-cube-cbrt_binary64_442 sqr-abs_binary64_434 sqr-neg_binary64_433 rem-sqrt-square_binary64_432 rem-square-sqrt_binary64_431 times-frac_binary64_425 div-sub_binary64_424 mul-1-neg_binary64_411 /-rgt-identity_binary64_410 div0_binary64_400 *-inverses_binary64_399 lft-mult-inverse_binary64_397 rgt-mult-inverse_binary64_396 remove-double-div_binary64_395 pow-sqr_binary64_392 sqr-pow_binary64_391 difference-of-sqr--1_binary64_390 difference-of-sqr-1_binary64_389 difference-of-squares_binary64_388 unswap-sqr_binary64_387 swap-sqr_binary64_386 distribute-neg-frac_binary64_383 distribute-frac-neg_binary64_382 associate-/l/_binary64_366 associate-/r/_binary64_365 associate-/l*_binary64_364 associate-/r*_binary64_363 associate-*l/_binary64_362 associate-*r/_binary64_361

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	25	23
2	51	23
3	91	23
4	195	23
5	328	23
6	532	23
7	817	23
8	1428	23
9	1449	23
10	1675	23
11	1757	23
12	1815	23
13	1828	23
14	2029	23
15	1969	23
16	2031	23
17	2041	23
18	2051	23
19	2051	23
20	2081	23
21	2061	23
22	2061	23
23	2185	23
24	2137	23
25	2137	23
26	6094	23
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	23.7%	76.3%	0
0%	23.7%	76.3%	1
11.9%	11.9%	76.3%	2
17.8%	5.9%	76.3%	3
20.8%	3%	76.3%	4
22.2%	1.5%	76.3%	5
23%	0.7%	76.3%	6
23.3%	0.4%	76.3%	7
23.3%	0.4%	76.3%	8
23.4%	0.3%	76.3%	9
23.5%	0.2%	76.3%	10
23.5%	0.2%	76.3%	11
23.5%	0.2%	76.3%	12
23.6%	0.2%	76.3%	13
23.6%	0.1%	76.3%	14

Compiler

Compiled 18 to 14 computations (22.2% saved)