Metrics for AI.Clustering.Hierarchical.Internal:average from clustering-0.2.1, B

analyze176.0ms (5%)

Algorithm

1×	search
2×	egg-herbie

Rules

1× +-commutative_binary64_7510

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_7843 erf-erfc_binary64_7842 erf-odd_binary64_7841 if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 not-gte_binary64_7832 not-lte_binary64_7831 not-gt_binary64_7830 not-lt_binary64_7829 gte-same_binary64_7828 lte-same_binary64_7827 gt-same_binary64_7826 lt-same_binary64_7825 sinh---cosh_binary64_7772 sinh-+-cosh_binary64_7771 sinh-cosh_binary64_7770 tanh-def-c_binary64_7769 tanh-def-b_binary64_7768 tanh-def-a_binary64_7767 cosh-def_binary64_7766 sinh-def_binary64_7765 tan-neg_binary64_7712 cos-neg_binary64_7711 sin-neg_binary64_7710 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 hang-m-tan_binary64_7706 hang-p-tan_binary64_7705 hang-m0-tan_binary64_7704 hang-p0-tan_binary64_7703 hang-0m-tan_binary64_7702 hang-0p-tan_binary64_7701 tan-+PI/2_binary64_7700 tan-+PI_binary64_7699 tan-PI_binary64_7698 tan-PI/3_binary64_7697 tan-PI/4_binary64_7696 tan-PI/6_binary64_7695 cos-+PI/2_binary64_7694 cos-+PI_binary64_7693 cos-PI_binary64_7692 cos-PI/2_binary64_7691 cos-PI/3_binary64_7690 cos-PI/4_binary64_7689 cos-PI/6_binary64_7688 sin-+PI/2_binary64_7687 sin-+PI_binary64_7686 sin-PI_binary64_7685 sin-PI/2_binary64_7684 sin-PI/3_binary64_7683 sin-PI/4_binary64_7682 sin-PI/6_binary64_7681 sub-1-sin_binary64_7680 sub-1-cos_binary64_7679 -1-add-sin_binary64_7678 -1-add-cos_binary64_7677 1-sub-sin_binary64_7676 1-sub-cos_binary64_7675 cos-sin-sum_binary64_7674 log-E_binary64_7670 log-pow_binary64_7669 log-rec_binary64_7668 log-div_binary64_7667 log-prod_binary64_7666 pow-base-0_binary64_7664 unpow1/3_binary64_7647 unpow3_binary64_7646 unpow2_binary64_7645 unpow1/2_binary64_7644 pow-plus_binary64_7643 exp-to-pow_binary64_7642 pow-base-1_binary64_7640 unpow0_binary64_7639 unpow1_binary64_7638 unpow-1_binary64_7637 exp-lft-cube_binary64_7636 exp-lft-sqr_binary64_7635 exp-cbrt_binary64_7634 exp-sqrt_binary64_7633 exp-prod_binary64_7632 div-exp_binary64_7631 rec-exp_binary64_7630 prod-exp_binary64_7629 exp-diff_binary64_7628 exp-neg_binary64_7627 exp-sum_binary64_7626 e-exp-1_binary64_7625 1-exp_binary64_7624 exp-1-e_binary64_7623 exp-0_binary64_7622 rem-log-exp_binary64_7621 rem-exp-log_binary64_7620 cube-unmult_binary64_7617 cube-mult_binary64_7610 cube-div_binary64_7609 cube-prod_binary64_7608 cube-neg_binary64_7607 rem-3cbrt-rft_binary64_7606 rem-3cbrt-lft_binary64_7605 rem-cbrt-cube_binary64_7604 rem-cube-cbrt_binary64_7603 sqr-abs_binary64_7595 sqr-neg_binary64_7594 rem-sqrt-square_binary64_7593 rem-square-sqrt_binary64_7592 times-frac_binary64_7586 div-sub_binary64_7585 neg-mul-1_binary64_7576 neg-sub0_binary64_7575 unsub-neg_binary64_7574 sub-neg_binary64_7573 mul-1-neg_binary64_7572 /-rgt-identity_binary64_7571 *-rgt-identity_binary64_7570 *-lft-identity_binary64_7569 remove-double-neg_binary64_7568 sub0-neg_binary64_7567 --rgt-identity_binary64_7566 +-rgt-identity_binary64_7565 +-lft-identity_binary64_7564 mul0-rgt_binary64_7563 mul0-lft_binary64_7562 div0_binary64_7561 *-inverses_binary64_7560 +-inverses_binary64_7559 lft-mult-inverse_binary64_7558 rgt-mult-inverse_binary64_7557 remove-double-div_binary64_7556 pow-sqr_binary64_7553 sqr-pow_binary64_7552 difference-of-sqr--1_binary64_7551 difference-of-sqr-1_binary64_7550 difference-of-squares_binary64_7549 unswap-sqr_binary64_7548 swap-sqr_binary64_7547 cancel-sign-sub-inv_binary64_7546 cancel-sign-sub_binary64_7545 distribute-neg-frac_binary64_7544 distribute-frac-neg_binary64_7543 distribute-neg-out_binary64_7542 distribute-neg-in_binary64_7541 distribute-rgt-neg-out_binary64_7540 distribute-lft-neg-out_binary64_7539 distribute-rgt-neg-in_binary64_7538 distribute-lft-neg-in_binary64_7537 distribute-rgt1-in_binary64_7536 distribute-lft1-in_binary64_7535 distribute-rgt-out--_binary64_7534 distribute-rgt-out_binary64_7533 distribute-lft-out--_binary64_7532 distribute-lft-out_binary64_7531 distribute-rgt-in_binary64_7530 distribute-lft-in_binary64_7529 count-2_binary64_7528 associate-/l/_binary64_7527 associate-/r/_binary64_7526 associate-/l*_binary64_7525 associate-/r*_binary64_7524 associate-*l/_binary64_7523 associate-*r/_binary64_7522 associate-*l*_binary64_7521 associate-*r*_binary64_7520 associate--r-_binary64_7519 associate--l-_binary64_7518 associate--l+_binary64_7517 associate--r+_binary64_7516 associate-+l-_binary64_7515 associate-+r-_binary64_7514 associate-+l+_binary64_7513 associate-+r+_binary64_7512 *-commutative_binary64_7511

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	7	14
2	7	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
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
65.6%	34.3%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample13.0ms (0.4%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 11 to 11 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_7510

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_7843 erf-erfc_binary64_7842 erf-odd_binary64_7841 if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 not-gte_binary64_7832 not-lte_binary64_7831 not-gt_binary64_7830 not-lt_binary64_7829 gte-same_binary64_7828 lte-same_binary64_7827 gt-same_binary64_7826 lt-same_binary64_7825 sinh---cosh_binary64_7772 sinh-+-cosh_binary64_7771 sinh-cosh_binary64_7770 tanh-def-c_binary64_7769 tanh-def-b_binary64_7768 tanh-def-a_binary64_7767 cosh-def_binary64_7766 sinh-def_binary64_7765 tan-neg_binary64_7712 cos-neg_binary64_7711 sin-neg_binary64_7710 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 hang-m-tan_binary64_7706 hang-p-tan_binary64_7705 hang-m0-tan_binary64_7704 hang-p0-tan_binary64_7703 hang-0m-tan_binary64_7702 hang-0p-tan_binary64_7701 tan-+PI/2_binary64_7700 tan-+PI_binary64_7699 tan-PI_binary64_7698 tan-PI/3_binary64_7697 tan-PI/4_binary64_7696 tan-PI/6_binary64_7695 cos-+PI/2_binary64_7694 cos-+PI_binary64_7693 cos-PI_binary64_7692 cos-PI/2_binary64_7691 cos-PI/3_binary64_7690 cos-PI/4_binary64_7689 cos-PI/6_binary64_7688 sin-+PI/2_binary64_7687 sin-+PI_binary64_7686 sin-PI_binary64_7685 sin-PI/2_binary64_7684 sin-PI/3_binary64_7683 sin-PI/4_binary64_7682 sin-PI/6_binary64_7681 sub-1-sin_binary64_7680 sub-1-cos_binary64_7679 -1-add-sin_binary64_7678 -1-add-cos_binary64_7677 1-sub-sin_binary64_7676 1-sub-cos_binary64_7675 cos-sin-sum_binary64_7674 log-E_binary64_7670 log-pow_binary64_7669 log-rec_binary64_7668 log-div_binary64_7667 log-prod_binary64_7666 pow-base-0_binary64_7664 unpow1/3_binary64_7647 unpow3_binary64_7646 unpow2_binary64_7645 unpow1/2_binary64_7644 pow-plus_binary64_7643 exp-to-pow_binary64_7642 pow-base-1_binary64_7640 unpow0_binary64_7639 unpow1_binary64_7638 unpow-1_binary64_7637 exp-lft-cube_binary64_7636 exp-lft-sqr_binary64_7635 exp-cbrt_binary64_7634 exp-sqrt_binary64_7633 exp-prod_binary64_7632 div-exp_binary64_7631 rec-exp_binary64_7630 prod-exp_binary64_7629 exp-diff_binary64_7628 exp-neg_binary64_7627 exp-sum_binary64_7626 e-exp-1_binary64_7625 1-exp_binary64_7624 exp-1-e_binary64_7623 exp-0_binary64_7622 rem-log-exp_binary64_7621 rem-exp-log_binary64_7620 cube-unmult_binary64_7617 cube-mult_binary64_7610 cube-div_binary64_7609 cube-prod_binary64_7608 cube-neg_binary64_7607 rem-3cbrt-rft_binary64_7606 rem-3cbrt-lft_binary64_7605 rem-cbrt-cube_binary64_7604 rem-cube-cbrt_binary64_7603 sqr-abs_binary64_7595 sqr-neg_binary64_7594 rem-sqrt-square_binary64_7593 rem-square-sqrt_binary64_7592 times-frac_binary64_7586 div-sub_binary64_7585 neg-mul-1_binary64_7576 neg-sub0_binary64_7575 unsub-neg_binary64_7574 sub-neg_binary64_7573 mul-1-neg_binary64_7572 /-rgt-identity_binary64_7571 *-rgt-identity_binary64_7570 *-lft-identity_binary64_7569 remove-double-neg_binary64_7568 sub0-neg_binary64_7567 --rgt-identity_binary64_7566 +-rgt-identity_binary64_7565 +-lft-identity_binary64_7564 mul0-rgt_binary64_7563 mul0-lft_binary64_7562 div0_binary64_7561 *-inverses_binary64_7560 +-inverses_binary64_7559 lft-mult-inverse_binary64_7558 rgt-mult-inverse_binary64_7557 remove-double-div_binary64_7556 pow-sqr_binary64_7553 sqr-pow_binary64_7552 difference-of-sqr--1_binary64_7551 difference-of-sqr-1_binary64_7550 difference-of-squares_binary64_7549 unswap-sqr_binary64_7548 swap-sqr_binary64_7547 cancel-sign-sub-inv_binary64_7546 cancel-sign-sub_binary64_7545 distribute-neg-frac_binary64_7544 distribute-frac-neg_binary64_7543 distribute-neg-out_binary64_7542 distribute-neg-in_binary64_7541 distribute-rgt-neg-out_binary64_7540 distribute-lft-neg-out_binary64_7539 distribute-rgt-neg-in_binary64_7538 distribute-lft-neg-in_binary64_7537 distribute-rgt1-in_binary64_7536 distribute-lft1-in_binary64_7535 distribute-rgt-out--_binary64_7534 distribute-rgt-out_binary64_7533 distribute-lft-out--_binary64_7532 distribute-lft-out_binary64_7531 distribute-rgt-in_binary64_7530 distribute-lft-in_binary64_7529 count-2_binary64_7528 associate-/l/_binary64_7527 associate-/r/_binary64_7526 associate-/l*_binary64_7525 associate-/r*_binary64_7524 associate-*l/_binary64_7523 associate-*r/_binary64_7522 associate-*l*_binary64_7521 associate-*r*_binary64_7520 associate--r-_binary64_7519 associate--l-_binary64_7518 associate--l+_binary64_7517 associate--r+_binary64_7516 associate-+l-_binary64_7515 associate-+r-_binary64_7514 associate-+l+_binary64_7513 associate-+r+_binary64_7512 *-commutative_binary64_7511

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	6	7
2	6	7

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.0b

Counts

2 → 1

Compiler

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 x (+.f64 y x))

rewrite37.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

18×	`*-un-lft-identity_binary64_7580`
12×	`times-frac_binary64_7586`
10×	`add-cube-cbrt_binary64_7615` `add-sqr-sqrt_binary64_7602`
4×	`distribute-lft-out_binary64_7531` `associate-/r*_binary64_7524`
3×	`add-exp-log_binary64_7618` `add-cbrt-cube_binary64_7616` `associate-/l*_binary64_7525`
2×	`associate-/r/_binary64_7526`
1×	`pow1_binary64_7641` `div-exp_binary64_7631` `add-log-exp_binary64_7619` `cbrt-undiv_binary64_7614` `frac-2neg_binary64_7591` `clear-num_binary64_7579` `div-inv_binary64_7577` `flip3-+_binary64_7583` `flip-+_binary64_7554`

Counts

1 → 33

Calls

1 calls:

6.0ms

(/.f64 x (+.f64 y x))

Compiler

Compiled 404 to 116 computations (71.3% saved)

series120.0ms (3.4%)

Error

0.0b

Counts

1 → 24

Calls

1 calls:

100.0ms

(/.f64 x (+.f64 y x))

Compiler

Compiled 600 to 439 computations (26.8% saved)

simplify127.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

547×	`associate-/r*_binary64_7524`
527×	`associate-*l/_binary64_7523`
430×	`associate-/l/_binary64_7527`
325×	`associate-/r/_binary64_7526`
301×	`cancel-sign-sub-inv_binary64_7546`
167×	`distribute-rgt-in_binary64_7530`
152×	`distribute-lft-in_binary64_7529`
142×	`unswap-sqr_binary64_7548`
139×	`associate-/l*_binary64_7525`
118×	`times-frac_binary64_7586`
115×	`distribute-neg-frac_binary64_7544`
104×	`sub-neg_binary64_7573`
90×	`distribute-rgt-neg-in_binary64_7538`
89×	`distribute-lft-neg-in_binary64_7537`
49×	`associate-r/_binary64_7522` `associate-l*_binary64_7521`
40×	`distribute-rgt-out_binary64_7533`
37×	`distribute-rgt-out--_binary64_7534` `associate-r_binary64_7520`
32×	`neg-mul-1_binary64_7576` `neg-sub0_binary64_7575` `*-commutative_binary64_7511`
29×	`+-commutative_binary64_7510`
28×	`associate-+l+_binary64_7513`
27×	`sqr-pow_binary64_7552` `associate-+r+_binary64_7512`
25×	`associate-+l-_binary64_7515`
24×	`distribute-lft-out_binary64_7531` `associate--l+_binary64_7517`
20×	`unpow3_binary64_7646`
19×	`cube-unmult_binary64_7617` `associate-+r-_binary64_7514`
18×	`unsub-neg_binary64_7574`
17×	`pow-plus_binary64_7643`
16×	`log-div_binary64_7667` `div-sub_binary64_7585` `difference-of-squares_binary64_7549` `distribute-lft-out--_binary64_7532`
14×	`cube-prod_binary64_7608`
13×	`sub0-neg_binary64_7567` `associate--r+_binary64_7516`
12×	`*-rgt-identity_binary64_7570`
11×	`log-prod_binary64_7666`
10×	`cube-div_binary64_7609` `+-rgt-identity_binary64_7565`
7×	`distribute-rgt1-in_binary64_7536`
6×	`*-lft-identity_binary64_7569` `distribute-neg-in_binary64_7541`
4×	`log-pow_binary64_7669` `/-rgt-identity_binary64_7571`
3×	`swap-sqr_binary64_7547` `distribute-lft-neg-out_binary64_7539`
2×	`log-rec_binary64_7668` `unpow2_binary64_7645` `unpow1/2_binary64_7644` `unpow1_binary64_7638` `cube-mult_binary64_7610` `rem-sqrt-square_binary64_7593` `div0_binary64_7561` `pow-sqr_binary64_7553` `difference-of-sqr--1_binary64_7551` `cancel-sign-sub_binary64_7545` `distribute-rgt-neg-out_binary64_7540` `count-2_binary64_7528` `associate--l-_binary64_7518`
1×	`exp-prod_binary64_7632` `1-exp_binary64_7624` `--rgt-identity_binary64_7566` `mul0-rgt_binary64_7563` `mul0-lft_binary64_7562` `distribute-frac-neg_binary64_7543`
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_7843` `erf-erfc_binary64_7842` `erf-odd_binary64_7841` `if-if-and-not_binary64_7840` `if-if-and_binary64_7839` `if-if-or-not_binary64_7838` `if-if-or_binary64_7837` `if-not_binary64_7836` `if-same_binary64_7835` `if-false_binary64_7834` `if-true_binary64_7833` `not-gte_binary64_7832` `not-lte_binary64_7831` `not-gt_binary64_7830` `not-lt_binary64_7829` `gte-same_binary64_7828` `lte-same_binary64_7827` `gt-same_binary64_7826` `lt-same_binary64_7825` `sinh---cosh_binary64_7772` `sinh-+-cosh_binary64_7771` `sinh-cosh_binary64_7770` `tanh-def-c_binary64_7769` `tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767` `cosh-def_binary64_7766` `sinh-def_binary64_7765` `tan-neg_binary64_7712` `cos-neg_binary64_7711` `sin-neg_binary64_7710` `tan-0_binary64_7709` `cos-0_binary64_7708` `sin-0_binary64_7707` `hang-m-tan_binary64_7706` `hang-p-tan_binary64_7705` `hang-m0-tan_binary64_7704` `hang-p0-tan_binary64_7703` `hang-0m-tan_binary64_7702` `hang-0p-tan_binary64_7701` `tan-+PI/2_binary64_7700` `tan-+PI_binary64_7699` `tan-PI_binary64_7698` `tan-PI/3_binary64_7697` `tan-PI/4_binary64_7696` `tan-PI/6_binary64_7695` `cos-+PI/2_binary64_7694` `cos-+PI_binary64_7693` `cos-PI_binary64_7692` `cos-PI/2_binary64_7691` `cos-PI/3_binary64_7690` `cos-PI/4_binary64_7689` `cos-PI/6_binary64_7688` `sin-+PI/2_binary64_7687` `sin-+PI_binary64_7686` `sin-PI_binary64_7685` `sin-PI/2_binary64_7684` `sin-PI/3_binary64_7683` `sin-PI/4_binary64_7682` `sin-PI/6_binary64_7681` `sub-1-sin_binary64_7680` `sub-1-cos_binary64_7679` `-1-add-sin_binary64_7678` `-1-add-cos_binary64_7677` `1-sub-sin_binary64_7676` `1-sub-cos_binary64_7675` `cos-sin-sum_binary64_7674` `log-E_binary64_7670` `pow-base-0_binary64_7664` `unpow1/3_binary64_7647` `exp-to-pow_binary64_7642` `pow-base-1_binary64_7640` `unpow0_binary64_7639` `unpow-1_binary64_7637` `exp-lft-cube_binary64_7636` `exp-lft-sqr_binary64_7635` `exp-cbrt_binary64_7634` `exp-sqrt_binary64_7633` `div-exp_binary64_7631` `rec-exp_binary64_7630` `prod-exp_binary64_7629` `exp-diff_binary64_7628` `exp-neg_binary64_7627` `exp-sum_binary64_7626` `e-exp-1_binary64_7625` `exp-1-e_binary64_7623` `exp-0_binary64_7622` `rem-log-exp_binary64_7621` `rem-exp-log_binary64_7620` `cube-neg_binary64_7607` `rem-3cbrt-rft_binary64_7606` `rem-3cbrt-lft_binary64_7605` `rem-cbrt-cube_binary64_7604` `rem-cube-cbrt_binary64_7603` `sqr-abs_binary64_7595` `sqr-neg_binary64_7594` `rem-square-sqrt_binary64_7592` `mul-1-neg_binary64_7572` `remove-double-neg_binary64_7568` `+-lft-identity_binary64_7564` `*-inverses_binary64_7560` `+-inverses_binary64_7559` `lft-mult-inverse_binary64_7558` `rgt-mult-inverse_binary64_7557` `remove-double-div_binary64_7556` `difference-of-sqr-1_binary64_7550` `distribute-neg-out_binary64_7542` `distribute-lft1-in_binary64_7535` `associate--r-_binary64_7519`

Counts

57 → 45

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	896
1	179	866
2	463	821
3	1445	794
4	4969	794
5	4984	794
6	5000	794
7	5000	794
8	4946	794

prune37.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	41	4	45
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	5	46

Error

0b

Counts

46 → 5

Compiler

Compiled 598 to 199 computations (66.7% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (+.f64 x y))
0.2b	(*.f64 x (/.f64 1 (+.f64 x y)))

rewrite81.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

35×	`*-un-lft-identity_binary64_7580`
27×	`add-sqr-sqrt_binary64_7602`
26×	`times-frac_binary64_7586`
20×	`add-cube-cbrt_binary64_7615`
18×	`associate-r_binary64_7520`
15×	`add-exp-log_binary64_7618`
9×	`add-cbrt-cube_binary64_7616`
7×	`distribute-lft-out_binary64_7531`
5×	`pow1_binary64_7641`
4×	`div-exp_binary64_7631` `prod-exp_binary64_7629` `associate-/r/_binary64_7526` `associate-/r*_binary64_7524`
3×	`unswap-sqr_binary64_7548` `associate-l_binary64_7521` `associate-/l*_binary64_7525`
2×	`1-exp_binary64_7624` `rec-exp_binary64_7630` `add-log-exp_binary64_7619` `cbrt-unprod_binary64_7613` `cbrt-undiv_binary64_7614` `div-inv_binary64_7577` `flip3-+_binary64_7583` `flip-+_binary64_7554`
1×	`pow-prod-down_binary64_7651` `un-div-inv_binary64_7578` `associate-r/_binary64_7522` `-commutative_binary64_7511` `inv-pow_binary64_7665` `pow-flip_binary64_7654` `frac-2neg_binary64_7591` `clear-num_binary64_7579`

Counts

2 → 78

Calls

2 calls:

12.0ms	(*.f64 x (/.f64 1 (+.f64 x y)))
6.0ms	(/.f64 1 (+.f64 x y))

Compiler

Compiled 1106 to 560 computations (49.4% saved)

series245.0ms (6.9%)

Error

0b

Counts

2 → 48

Calls

2 calls:

104.0ms	(*.f64 x (/.f64 1 (+.f64 x y)))
100.0ms	(/.f64 1 (+.f64 x y))

Compiler

Compiled 1344 to 991 computations (26.3% saved)

simplify136.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

722×	`cancel-sign-sub-inv_binary64_7546`
528×	`div-sub_binary64_7585`
296×	`sub-neg_binary64_7573`
280×	`times-frac_binary64_7586`
256×	`associate-/l*_binary64_7525`
217×	`unswap-sqr_binary64_7548`
196×	`associate-l_binary64_7521`
193×	`neg-mul-1_binary64_7576`
177×	`neg-sub0_binary64_7575`
176×	`distribute-rgt-neg-in_binary64_7538`
169×	`distribute-lft-neg-in_binary64_7537`
164×	`distribute-neg-frac_binary64_7544`
152×	`associate-r_binary64_7520`
141×	`associate-/r*_binary64_7524`
132×	`associate-*l/_binary64_7523`
128×	`associate-*r/_binary64_7522`
91×	`sqr-pow_binary64_7552`
80×	`distribute-rgt-out--_binary64_7534`
75×	`*-commutative_binary64_7511`
67×	`distribute-rgt-in_binary64_7530`
64×	`distribute-rgt-out_binary64_7533`
62×	`+-commutative_binary64_7510`
57×	`distribute-lft-in_binary64_7529`
53×	`associate-/r/_binary64_7526`
47×	`associate-+r+_binary64_7512`
46×	`associate-+l-_binary64_7515`
45×	`unsub-neg_binary64_7574` `associate--l+_binary64_7517` `associate-+l+_binary64_7513`
44×	`cube-prod_binary64_7608` `associate-+r-_binary64_7514`
42×	`associate-/l/_binary64_7527`
39×	`distribute-lft-out_binary64_7531`
37×	`*-rgt-identity_binary64_7570`
36×	`*-lft-identity_binary64_7569`
30×	`difference-of-squares_binary64_7549`
28×	`distribute-lft-out--_binary64_7532` `associate--r+_binary64_7516`
24×	`cube-div_binary64_7609` `remove-double-neg_binary64_7568` `+-rgt-identity_binary64_7565`
23×	`exp-prod_binary64_7632`
22×	`unpow3_binary64_7646` `/-rgt-identity_binary64_7571` `sub0-neg_binary64_7567`
21×	`log-prod_binary64_7666` `swap-sqr_binary64_7547` `distribute-neg-in_binary64_7541`
20×	`pow-plus_binary64_7643`
18×	`rem-sqrt-square_binary64_7593` `pow-sqr_binary64_7553`
15×	`cube-unmult_binary64_7617` `sqr-neg_binary64_7594`
12×	`cube-mult_binary64_7610` `div0_binary64_7561`
10×	`log-div_binary64_7667` `distribute-rgt1-in_binary64_7536`
7×	`cube-neg_binary64_7607`
6×	`unpow1/2_binary64_7644`
4×	`log-pow_binary64_7669` `cancel-sign-sub_binary64_7545`
3×	`log-rec_binary64_7668` `unpow2_binary64_7645` `distribute-lft-neg-out_binary64_7539`
2×	`unpow1_binary64_7638` `exp-diff_binary64_7628` `+-lft-identity_binary64_7564` `difference-of-sqr--1_binary64_7551` `distribute-rgt-neg-out_binary64_7540`
1×	`exp-sum_binary64_7626` `1-exp_binary64_7624` `exp-1-e_binary64_7623` `--rgt-identity_binary64_7566` `*-inverses_binary64_7560` `remove-double-div_binary64_7556` `distribute-frac-neg_binary64_7543` `distribute-lft1-in_binary64_7535` `count-2_binary64_7528` `associate--l-_binary64_7518`
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_7843` `erf-erfc_binary64_7842` `erf-odd_binary64_7841` `if-if-and-not_binary64_7840` `if-if-and_binary64_7839` `if-if-or-not_binary64_7838` `if-if-or_binary64_7837` `if-not_binary64_7836` `if-same_binary64_7835` `if-false_binary64_7834` `if-true_binary64_7833` `not-gte_binary64_7832` `not-lte_binary64_7831` `not-gt_binary64_7830` `not-lt_binary64_7829` `gte-same_binary64_7828` `lte-same_binary64_7827` `gt-same_binary64_7826` `lt-same_binary64_7825` `sinh---cosh_binary64_7772` `sinh-+-cosh_binary64_7771` `sinh-cosh_binary64_7770` `tanh-def-c_binary64_7769` `tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767` `cosh-def_binary64_7766` `sinh-def_binary64_7765` `tan-neg_binary64_7712` `cos-neg_binary64_7711` `sin-neg_binary64_7710` `tan-0_binary64_7709` `cos-0_binary64_7708` `sin-0_binary64_7707` `hang-m-tan_binary64_7706` `hang-p-tan_binary64_7705` `hang-m0-tan_binary64_7704` `hang-p0-tan_binary64_7703` `hang-0m-tan_binary64_7702` `hang-0p-tan_binary64_7701` `tan-+PI/2_binary64_7700` `tan-+PI_binary64_7699` `tan-PI_binary64_7698` `tan-PI/3_binary64_7697` `tan-PI/4_binary64_7696` `tan-PI/6_binary64_7695` `cos-+PI/2_binary64_7694` `cos-+PI_binary64_7693` `cos-PI_binary64_7692` `cos-PI/2_binary64_7691` `cos-PI/3_binary64_7690` `cos-PI/4_binary64_7689` `cos-PI/6_binary64_7688` `sin-+PI/2_binary64_7687` `sin-+PI_binary64_7686` `sin-PI_binary64_7685` `sin-PI/2_binary64_7684` `sin-PI/3_binary64_7683` `sin-PI/4_binary64_7682` `sin-PI/6_binary64_7681` `sub-1-sin_binary64_7680` `sub-1-cos_binary64_7679` `-1-add-sin_binary64_7678` `-1-add-cos_binary64_7677` `1-sub-sin_binary64_7676` `1-sub-cos_binary64_7675` `cos-sin-sum_binary64_7674` `log-E_binary64_7670` `pow-base-0_binary64_7664` `unpow1/3_binary64_7647` `exp-to-pow_binary64_7642` `pow-base-1_binary64_7640` `unpow0_binary64_7639` `unpow-1_binary64_7637` `exp-lft-cube_binary64_7636` `exp-lft-sqr_binary64_7635` `exp-cbrt_binary64_7634` `exp-sqrt_binary64_7633` `div-exp_binary64_7631` `rec-exp_binary64_7630` `prod-exp_binary64_7629` `exp-neg_binary64_7627` `e-exp-1_binary64_7625` `exp-0_binary64_7622` `rem-log-exp_binary64_7621` `rem-exp-log_binary64_7620` `rem-3cbrt-rft_binary64_7606` `rem-3cbrt-lft_binary64_7605` `rem-cbrt-cube_binary64_7604` `rem-cube-cbrt_binary64_7603` `sqr-abs_binary64_7595` `rem-square-sqrt_binary64_7592` `mul-1-neg_binary64_7572` `mul0-rgt_binary64_7563` `mul0-lft_binary64_7562` `+-inverses_binary64_7559` `lft-mult-inverse_binary64_7558` `rgt-mult-inverse_binary64_7557` `difference-of-sqr-1_binary64_7550` `distribute-neg-out_binary64_7542` `associate--r-_binary64_7519`

Counts

126 → 85

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	126	1842
1	292	1749
2	866	1668
3	2562	1614
4	4244	1614
5	4886	1605
6	5602	1605

prune59.0ms (1.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	85	5	90

Error

0b

Counts

90 → 5

Compiler

Compiled 1081 to 448 computations (58.6% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 x y) x)
0.3b	(/.f64 1 (/.f64 (+.f64 x y) x))

rewrite124.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

108×	`times-frac_binary64_7586`
92×	`*-un-lft-identity_binary64_7580`
60×	`add-cube-cbrt_binary64_7615` `add-sqr-sqrt_binary64_7602`
19×	`associate-/r*_binary64_7524`
16×	`distribute-lft-out_binary64_7531`
15×	`add-exp-log_binary64_7618`
9×	`add-cbrt-cube_binary64_7616`
8×	`div-exp_binary64_7631`
7×	`associate-/l*_binary64_7525`
6×	`div-inv_binary64_7577`
4×	`cbrt-undiv_binary64_7614`
3×	`pow1_binary64_7641`
2×	`1-exp_binary64_7624` `rec-exp_binary64_7630` `add-log-exp_binary64_7619` `frac-2neg_binary64_7591` `clear-num_binary64_7579` `associate-/l/_binary64_7527`
1×	`inv-pow_binary64_7665` `pow-flip_binary64_7654` `associate-/r/_binary64_7526` `flip3-+_binary64_7583` `flip-+_binary64_7554`

Counts

2 → 121

Calls

2 calls:

9.0ms	(/.f64 1 (/.f64 (+.f64 x y) x))
6.0ms	(/.f64 (+.f64 x y) x)

Compiler

Compiled 1985 to 779 computations (60.8% saved)

series243.0ms (6.9%)

Error

0b

Counts

2 → 36

Calls

2 calls:

111.0ms	(/.f64 (+.f64 x y) x)
103.0ms	(/.f64 1 (/.f64 (+.f64 x y) x))

Compiler

Compiled 774 to 592 computations (23.5% saved)

simplify139.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

466×	`cancel-sign-sub-inv_binary64_7546`
364×	`div-sub_binary64_7585`
359×	`times-frac_binary64_7586`
279×	`associate-/l*_binary64_7525`
261×	`associate-/r/_binary64_7526`
245×	`associate-/r*_binary64_7524`
239×	`associate-/l/_binary64_7527`
217×	`associate-*l/_binary64_7523`
198×	`associate-l_binary64_7521`
177×	`unswap-sqr_binary64_7548`
173×	`associate-r_binary64_7520`
170×	`associate-*r/_binary64_7522`
148×	`distribute-rgt-neg-in_binary64_7538`
141×	`*-commutative_binary64_7511`
134×	`distribute-lft-neg-in_binary64_7537`
133×	`distribute-neg-frac_binary64_7544`
132×	`sub-neg_binary64_7573`
83×	`distribute-rgt-in_binary64_7530`
75×	`distribute-rgt-out_binary64_7533`
66×	`distribute-lft-in_binary64_7529`
65×	`cube-prod_binary64_7608`
57×	`distribute-rgt-out--_binary64_7534`
51×	`*-rgt-identity_binary64_7570`
50×	`exp-prod_binary64_7632`
49×	`associate-+r+_binary64_7512`
43×	`neg-mul-1_binary64_7576`
41×	`neg-sub0_binary64_7575`
40×	`+-commutative_binary64_7510`
39×	`sqr-pow_binary64_7552`
38×	`unsub-neg_binary64_7574`
36×	`cube-div_binary64_7609`
35×	`associate-+r-_binary64_7514`
33×	`log-prod_binary64_7666`
32×	`associate-+l-_binary64_7515` `associate-+l+_binary64_7513`
29×	`/-rgt-identity_binary64_7571` `swap-sqr_binary64_7547`
27×	`log-div_binary64_7667`
26×	`associate--l+_binary64_7517`
25×	`*-lft-identity_binary64_7569`
24×	`difference-of-squares_binary64_7549`
21×	`unpow3_binary64_7646`
18×	`distribute-neg-in_binary64_7541` `associate--r+_binary64_7516`
16×	`+-rgt-identity_binary64_7565`
15×	`exp-sum_binary64_7626` `cube-unmult_binary64_7617` `sub0-neg_binary64_7567`
13×	`cube-mult_binary64_7610`
11×	`pow-plus_binary64_7643`
9×	`distribute-rgt-neg-out_binary64_7540`
8×	`distribute-lft-neg-out_binary64_7539`
7×	`log-rec_binary64_7668`
6×	`exp-diff_binary64_7628` `remove-double-div_binary64_7556` `distribute-rgt1-in_binary64_7536` `associate--r-_binary64_7519`
4×	`unpow1/2_binary64_7644` `sqr-neg_binary64_7594` `distribute-frac-neg_binary64_7543`
3×	`log-pow_binary64_7669` `rem-sqrt-square_binary64_7593` `--rgt-identity_binary64_7566` `+-lft-identity_binary64_7564` `pow-sqr_binary64_7553`
2×	`unpow2_binary64_7645` `unpow1_binary64_7638` `div0_binary64_7561` `difference-of-sqr--1_binary64_7551` `cancel-sign-sub_binary64_7545` `associate--l-_binary64_7518`
1×	`1-exp_binary64_7624` `exp-1-e_binary64_7623` `cube-neg_binary64_7607` `remove-double-neg_binary64_7568` `mul0-rgt_binary64_7563` `mul0-lft_binary64_7562` `*-inverses_binary64_7560` `lft-mult-inverse_binary64_7558` `distribute-lft1-in_binary64_7535` `distribute-lft-out--_binary64_7532` `count-2_binary64_7528`
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_7843` `erf-erfc_binary64_7842` `erf-odd_binary64_7841` `if-if-and-not_binary64_7840` `if-if-and_binary64_7839` `if-if-or-not_binary64_7838` `if-if-or_binary64_7837` `if-not_binary64_7836` `if-same_binary64_7835` `if-false_binary64_7834` `if-true_binary64_7833` `not-gte_binary64_7832` `not-lte_binary64_7831` `not-gt_binary64_7830` `not-lt_binary64_7829` `gte-same_binary64_7828` `lte-same_binary64_7827` `gt-same_binary64_7826` `lt-same_binary64_7825` `sinh---cosh_binary64_7772` `sinh-+-cosh_binary64_7771` `sinh-cosh_binary64_7770` `tanh-def-c_binary64_7769` `tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767` `cosh-def_binary64_7766` `sinh-def_binary64_7765` `tan-neg_binary64_7712` `cos-neg_binary64_7711` `sin-neg_binary64_7710` `tan-0_binary64_7709` `cos-0_binary64_7708` `sin-0_binary64_7707` `hang-m-tan_binary64_7706` `hang-p-tan_binary64_7705` `hang-m0-tan_binary64_7704` `hang-p0-tan_binary64_7703` `hang-0m-tan_binary64_7702` `hang-0p-tan_binary64_7701` `tan-+PI/2_binary64_7700` `tan-+PI_binary64_7699` `tan-PI_binary64_7698` `tan-PI/3_binary64_7697` `tan-PI/4_binary64_7696` `tan-PI/6_binary64_7695` `cos-+PI/2_binary64_7694` `cos-+PI_binary64_7693` `cos-PI_binary64_7692` `cos-PI/2_binary64_7691` `cos-PI/3_binary64_7690` `cos-PI/4_binary64_7689` `cos-PI/6_binary64_7688` `sin-+PI/2_binary64_7687` `sin-+PI_binary64_7686` `sin-PI_binary64_7685` `sin-PI/2_binary64_7684` `sin-PI/3_binary64_7683` `sin-PI/4_binary64_7682` `sin-PI/6_binary64_7681` `sub-1-sin_binary64_7680` `sub-1-cos_binary64_7679` `-1-add-sin_binary64_7678` `-1-add-cos_binary64_7677` `1-sub-sin_binary64_7676` `1-sub-cos_binary64_7675` `cos-sin-sum_binary64_7674` `log-E_binary64_7670` `pow-base-0_binary64_7664` `unpow1/3_binary64_7647` `exp-to-pow_binary64_7642` `pow-base-1_binary64_7640` `unpow0_binary64_7639` `unpow-1_binary64_7637` `exp-lft-cube_binary64_7636` `exp-lft-sqr_binary64_7635` `exp-cbrt_binary64_7634` `exp-sqrt_binary64_7633` `div-exp_binary64_7631` `rec-exp_binary64_7630` `prod-exp_binary64_7629` `exp-neg_binary64_7627` `e-exp-1_binary64_7625` `exp-0_binary64_7622` `rem-log-exp_binary64_7621` `rem-exp-log_binary64_7620` `rem-3cbrt-rft_binary64_7606` `rem-3cbrt-lft_binary64_7605` `rem-cbrt-cube_binary64_7604` `rem-cube-cbrt_binary64_7603` `sqr-abs_binary64_7595` `rem-square-sqrt_binary64_7592` `mul-1-neg_binary64_7572` `+-inverses_binary64_7559` `rgt-mult-inverse_binary64_7557` `difference-of-sqr-1_binary64_7550` `distribute-neg-out_binary64_7542` `distribute-lft-out_binary64_7531`

Counts

157 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	156	2699
1	349	2454
2	1047	2385
3	3063	2365
4	4375	2365
5	5036	2365

prune87.0ms (2.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	118	5	123

Error

0b

Counts

123 → 5

Compiler

Compiled 1564 to 592 computations (62.1% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 x (+.f64 x y))
0.1b	(*.f64 (sqrt.f64 (/.f64 x (+.f64 x y))) (sqrt.f64 (/.f64 x (+.f64 x y))))
8.3b	(sqrt.f64 (/.f64 x (+.f64 x y)))
8.3b	(sqrt.f64 (/.f64 x (+.f64 x y)))

rewrite250.0ms (7.1%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

134×	`sqrt-prod_binary64_7596`
131×	`*-un-lft-identity_binary64_7580`
109×	`add-sqr-sqrt_binary64_7602`
106×	`times-frac_binary64_7586`
69×	`add-cube-cbrt_binary64_7615`
29×	`swap-sqr_binary64_7547`
28×	`distribute-lft-out_binary64_7531`
21×	`pow1_binary64_7641` `associate-l_binary64_7521` `associate-r_binary64_7520`
14×	`associate-/r/_binary64_7526`
10×	`pow1/2_binary64_7660` `sqrt-pow1_binary64_7598`
9×	`unswap-sqr_binary64_7548`
8×	`add-exp-log_binary64_7618` `add-cbrt-cube_binary64_7616` `rem-sqrt-square_binary64_7593`
7×	`div-inv_binary64_7577` `flip3-+_binary64_7583` `flip-+_binary64_7554`
6×	`sqrt-div_binary64_7597`
5×	`pow-prod-up_binary64_7650`
4×	`add-log-exp_binary64_7619` `associate-/r*_binary64_7524`
3×	`pow-prod-down_binary64_7651` `pow-sqr_binary64_7553` `associate-/l*_binary64_7525`
2×	`sqr-abs_binary64_7595`
1×	`pow2_binary64_7661` `pow-plus_binary64_7643` `prod-exp_binary64_7629` `cbrt-unprod_binary64_7613` `sqrt-unprod_binary64_7600` `rem-square-sqrt_binary64_7592` `frac-times_binary64_7590` `associate-l/_binary64_7523` `associate-r/_binary64_7522` `*-commutative_binary64_7511` `div-exp_binary64_7631` `cbrt-undiv_binary64_7614` `frac-2neg_binary64_7591` `clear-num_binary64_7579`

Counts

4 → 203

Calls

4 calls:

28.0ms	(*.f64 (sqrt.f64 (/.f64 x (+.f64 x y))) (sqrt.f64 (/.f64 x (+.f64 x y))))
7.0ms	(sqrt.f64 (/.f64 x (+.f64 x y)))
6.0ms	(sqrt.f64 (/.f64 x (+.f64 x y)))
5.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 4595 to 809 computations (82.4% saved)

series491.0ms (13.9%)

Error

0b

Counts

4 → 78

Calls

4 calls:

113.0ms	(*.f64 (sqrt.f64 (/.f64 x (+.f64 x y))) (sqrt.f64 (/.f64 x (+.f64 x y))))
112.0ms	(/.f64 x (+.f64 x y))
97.0ms	(sqrt.f64 (/.f64 x (+.f64 x y)))
95.0ms	(sqrt.f64 (/.f64 x (+.f64 x y)))

Compiler

Compiled 2900 to 1890 computations (34.8% saved)

simplify174.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

600×	`times-frac_binary64_7586`
430×	`associate-/l*_binary64_7525`
269×	`associate-/r*_binary64_7524`
225×	`*-commutative_binary64_7511`
219×	`associate-*l/_binary64_7523`
166×	`sub-neg_binary64_7573`
155×	`associate-*r/_binary64_7522`
136×	`associate-/l/_binary64_7527`
131×	`cancel-sign-sub-inv_binary64_7546`
128×	`associate-/r/_binary64_7526`
124×	`associate-r_binary64_7520`
121×	`associate-l_binary64_7521`
88×	`unswap-sqr_binary64_7548`
87×	`div-sub_binary64_7585`
70×	`cube-prod_binary64_7608`
68×	`cube-div_binary64_7609`
67×	`log-prod_binary64_7666`
61×	`distribute-rgt-in_binary64_7530`
60×	`neg-sub0_binary64_7575`
57×	`neg-mul-1_binary64_7576`
53×	`log-div_binary64_7667`
46×	`distribute-lft-in_binary64_7529` `+-commutative_binary64_7510`
42×	`distribute-rgt-neg-in_binary64_7538`
41×	`associate-+l+_binary64_7513`
39×	`rem-sqrt-square_binary64_7593`
38×	`exp-prod_binary64_7632` `associate--l+_binary64_7517`
37×	`distribute-lft-neg-in_binary64_7537` `associate-+l-_binary64_7515`
35×	`*-rgt-identity_binary64_7570` `associate-+r+_binary64_7512`
33×	`unsub-neg_binary64_7574` `distribute-neg-frac_binary64_7544`
28×	`associate-+r-_binary64_7514`
27×	`*-lft-identity_binary64_7569`
26×	`rem-square-sqrt_binary64_7592`
25×	`sqr-pow_binary64_7552`
21×	`associate--r+_binary64_7516`
18×	`pow-plus_binary64_7643`
16×	`cube-unmult_binary64_7617`
12×	`unpow3_binary64_7646`
11×	`swap-sqr_binary64_7547`
9×	`distribute-neg-in_binary64_7541`
8×	`distribute-rgt-out_binary64_7533`
7×	`log-pow_binary64_7669` `cube-mult_binary64_7610`
6×	`distribute-rgt-out--_binary64_7534`
5×	`pow-sqr_binary64_7553` `distribute-lft-out_binary64_7531`
4×	`/-rgt-identity_binary64_7571` `difference-of-squares_binary64_7549` `distribute-lft-neg-out_binary64_7539` `count-2_binary64_7528`
3×	`unpow1/2_binary64_7644` `mul-1-neg_binary64_7572` `distribute-rgt1-in_binary64_7536`
2×	`log-rec_binary64_7668` `unpow2_binary64_7645` `unpow1_binary64_7638` `distribute-lft-out--_binary64_7532` `associate--l-_binary64_7518`
1×	`1-exp_binary64_7624` `exp-1-e_binary64_7623` `rem-3cbrt-rft_binary64_7606` `rem-3cbrt-lft_binary64_7605` `sub0-neg_binary64_7567` `distribute-rgt-neg-out_binary64_7540` `associate--r-_binary64_7519`
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_7843` `erf-erfc_binary64_7842` `erf-odd_binary64_7841` `if-if-and-not_binary64_7840` `if-if-and_binary64_7839` `if-if-or-not_binary64_7838` `if-if-or_binary64_7837` `if-not_binary64_7836` `if-same_binary64_7835` `if-false_binary64_7834` `if-true_binary64_7833` `not-gte_binary64_7832` `not-lte_binary64_7831` `not-gt_binary64_7830` `not-lt_binary64_7829` `gte-same_binary64_7828` `lte-same_binary64_7827` `gt-same_binary64_7826` `lt-same_binary64_7825` `sinh---cosh_binary64_7772` `sinh-+-cosh_binary64_7771` `sinh-cosh_binary64_7770` `tanh-def-c_binary64_7769` `tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767` `cosh-def_binary64_7766` `sinh-def_binary64_7765` `tan-neg_binary64_7712` `cos-neg_binary64_7711` `sin-neg_binary64_7710` `tan-0_binary64_7709` `cos-0_binary64_7708` `sin-0_binary64_7707` `hang-m-tan_binary64_7706` `hang-p-tan_binary64_7705` `hang-m0-tan_binary64_7704` `hang-p0-tan_binary64_7703` `hang-0m-tan_binary64_7702` `hang-0p-tan_binary64_7701` `tan-+PI/2_binary64_7700` `tan-+PI_binary64_7699` `tan-PI_binary64_7698` `tan-PI/3_binary64_7697` `tan-PI/4_binary64_7696` `tan-PI/6_binary64_7695` `cos-+PI/2_binary64_7694` `cos-+PI_binary64_7693` `cos-PI_binary64_7692` `cos-PI/2_binary64_7691` `cos-PI/3_binary64_7690` `cos-PI/4_binary64_7689` `cos-PI/6_binary64_7688` `sin-+PI/2_binary64_7687` `sin-+PI_binary64_7686` `sin-PI_binary64_7685` `sin-PI/2_binary64_7684` `sin-PI/3_binary64_7683` `sin-PI/4_binary64_7682` `sin-PI/6_binary64_7681` `sub-1-sin_binary64_7680` `sub-1-cos_binary64_7679` `-1-add-sin_binary64_7678` `-1-add-cos_binary64_7677` `1-sub-sin_binary64_7676` `1-sub-cos_binary64_7675` `cos-sin-sum_binary64_7674` `log-E_binary64_7670` `pow-base-0_binary64_7664` `unpow1/3_binary64_7647` `exp-to-pow_binary64_7642` `pow-base-1_binary64_7640` `unpow0_binary64_7639` `unpow-1_binary64_7637` `exp-lft-cube_binary64_7636` `exp-lft-sqr_binary64_7635` `exp-cbrt_binary64_7634` `exp-sqrt_binary64_7633` `div-exp_binary64_7631` `rec-exp_binary64_7630` `prod-exp_binary64_7629` `exp-diff_binary64_7628` `exp-neg_binary64_7627` `exp-sum_binary64_7626` `e-exp-1_binary64_7625` `exp-0_binary64_7622` `rem-log-exp_binary64_7621` `rem-exp-log_binary64_7620` `cube-neg_binary64_7607` `rem-cbrt-cube_binary64_7604` `rem-cube-cbrt_binary64_7603` `sqr-abs_binary64_7595` `sqr-neg_binary64_7594` `remove-double-neg_binary64_7568` `--rgt-identity_binary64_7566` `+-rgt-identity_binary64_7565` `+-lft-identity_binary64_7564` `mul0-rgt_binary64_7563` `mul0-lft_binary64_7562` `div0_binary64_7561` `*-inverses_binary64_7560` `+-inverses_binary64_7559` `lft-mult-inverse_binary64_7558` `rgt-mult-inverse_binary64_7557` `remove-double-div_binary64_7556` `difference-of-sqr--1_binary64_7551` `difference-of-sqr-1_binary64_7550` `cancel-sign-sub_binary64_7545` `distribute-frac-neg_binary64_7543` `distribute-neg-out_binary64_7542` `distribute-lft1-in_binary64_7535`

Counts

281 → 179

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	205	4799
1	376	4570
2	1267	4408
3	4334	4343
4	4966	4343

prune139.0ms (3.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	179	0	179
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	179	5	184

Error

0b

Counts

184 → 5

Compiler

Compiled 3113 to 674 computations (78.3% saved)

regimes133.0ms (3.8%)

Accuracy

Total 0.0b remaining (92.7%)

Threshold costs 0.0b (92.7%)

Compiler

Compiled 851 to 595 computations (30.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_7510

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 if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 unpow1_binary64_7638 e-exp-1_binary64_7625 1-exp_binary64_7624 exp-1-e_binary64_7623 exp-0_binary64_7622 sqr-abs_binary64_7595 sqr-neg_binary64_7594 neg-mul-1_binary64_7576 neg-sub0_binary64_7575 unsub-neg_binary64_7574 sub-neg_binary64_7573 mul-1-neg_binary64_7572 /-rgt-identity_binary64_7571 *-rgt-identity_binary64_7570 *-lft-identity_binary64_7569 remove-double-neg_binary64_7568 sub0-neg_binary64_7567 --rgt-identity_binary64_7566 +-rgt-identity_binary64_7565 +-lft-identity_binary64_7564 cancel-sign-sub-inv_binary64_7546 cancel-sign-sub_binary64_7545 distribute-neg-frac_binary64_7544 distribute-frac-neg_binary64_7543 distribute-neg-out_binary64_7542 distribute-neg-in_binary64_7541 distribute-rgt-neg-out_binary64_7540 distribute-lft-neg-out_binary64_7539 distribute-rgt-neg-in_binary64_7538 distribute-lft-neg-in_binary64_7537 *-commutative_binary64_7511

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	6	7
2	6	7

end0.0ms (0%)

sample700.0ms (19.8%)

Algorithm

1×

intervals

Results

158.0ms

8000×

body

128

valid

Compiler

Compiled 290 to 204 computations (29.7% saved)

Details

analyze176.0ms (5%)

sample13.0ms (0.4%)

simplify8.0ms (0.2%)

prune2.0ms (0.1%)

localize3.0ms (0.1%)

rewrite37.0ms (1%)

series120.0ms (3.4%)

simplify127.0ms (3.6%)

prune37.0ms (1%)

localize5.0ms (0.1%)

rewrite81.0ms (2.3%)

series245.0ms (6.9%)

simplify136.0ms (3.8%)

prune59.0ms (1.7%)

localize4.0ms (0.1%)

rewrite124.0ms (3.5%)

series243.0ms (6.9%)

simplify139.0ms (3.9%)

prune87.0ms (2.4%)

localize6.0ms (0.2%)

rewrite250.0ms (7.1%)

series491.0ms (13.9%)

simplify174.0ms (4.9%)

prune139.0ms (3.9%)

regimes133.0ms (3.8%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample700.0ms (19.8%)

Profiling