Details

analyze46.0ms (4.4%)

Algorithm

1×

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
37.5%	62.4%	0.1%	5
56.2%	43.7%	0.1%	6
65.6%	34.3%	0.1%	7
76.5%	23.4%	0.1%	8
82%	18%	0.1%	9
87.8%	12.1%	0.1%	10
90.7%	9.2%	0.1%	11
93.8%	6.1%	0.1%	12
95.3%	4.6%	0.1%	13
96.8%	3.1%	0.1%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample11.0ms (1.1%)

Algorithm

1×

intervals

Results

4.0ms

256×

body

128

valid

Compiler

Compiled 11 to 11 computations (0% saved)

simplify158.0ms (15.2%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-+l+_binary64_23540` `+-commutative_binary64_23537`
1×	`count-2_binary64_23555` `associate-+r+_binary64_23539` `*-commutative_binary64_23538`
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_23870` `erf-erfc_binary64_23869` `erf-odd_binary64_23868` `if-if-and-not_binary64_23867` `if-if-and_binary64_23866` `if-if-or-not_binary64_23865` `if-if-or_binary64_23864` `if-not_binary64_23863` `if-same_binary64_23862` `if-false_binary64_23861` `if-true_binary64_23860` `not-gte_binary64_23859` `not-lte_binary64_23858` `not-gt_binary64_23857` `not-lt_binary64_23856` `gte-same_binary64_23855` `lte-same_binary64_23854` `gt-same_binary64_23853` `lt-same_binary64_23852` `sinh---cosh_binary64_23799` `sinh-+-cosh_binary64_23798` `sinh-cosh_binary64_23797` `tanh-def-c_binary64_23796` `tanh-def-b_binary64_23795` `tanh-def-a_binary64_23794` `cosh-def_binary64_23793` `sinh-def_binary64_23792` `tan-neg_binary64_23739` `cos-neg_binary64_23738` `sin-neg_binary64_23737` `tan-0_binary64_23736` `cos-0_binary64_23735` `sin-0_binary64_23734` `hang-m-tan_binary64_23733` `hang-p-tan_binary64_23732` `hang-m0-tan_binary64_23731` `hang-p0-tan_binary64_23730` `hang-0m-tan_binary64_23729` `hang-0p-tan_binary64_23728` `tan-+PI/2_binary64_23727` `tan-+PI_binary64_23726` `tan-PI_binary64_23725` `tan-PI/3_binary64_23724` `tan-PI/4_binary64_23723` `tan-PI/6_binary64_23722` `cos-+PI/2_binary64_23721` `cos-+PI_binary64_23720` `cos-PI_binary64_23719` `cos-PI/2_binary64_23718` `cos-PI/3_binary64_23717` `cos-PI/4_binary64_23716` `cos-PI/6_binary64_23715` `sin-+PI/2_binary64_23714` `sin-+PI_binary64_23713` `sin-PI_binary64_23712` `sin-PI/2_binary64_23711` `sin-PI/3_binary64_23710` `sin-PI/4_binary64_23709` `sin-PI/6_binary64_23708` `sub-1-sin_binary64_23707` `sub-1-cos_binary64_23706` `-1-add-sin_binary64_23705` `-1-add-cos_binary64_23704` `1-sub-sin_binary64_23703` `1-sub-cos_binary64_23702` `cos-sin-sum_binary64_23701` `log-E_binary64_23697` `log-pow_binary64_23696` `log-rec_binary64_23695` `log-div_binary64_23694` `log-prod_binary64_23693` `pow-base-0_binary64_23691` `unpow1/3_binary64_23674` `unpow3_binary64_23673` `unpow2_binary64_23672` `unpow1/2_binary64_23671` `pow-plus_binary64_23670` `exp-to-pow_binary64_23669` `pow-base-1_binary64_23667` `unpow0_binary64_23666` `unpow1_binary64_23665` `unpow-1_binary64_23664` `exp-lft-cube_binary64_23663` `exp-lft-sqr_binary64_23662` `exp-cbrt_binary64_23661` `exp-sqrt_binary64_23660` `exp-prod_binary64_23659` `div-exp_binary64_23658` `rec-exp_binary64_23657` `prod-exp_binary64_23656` `exp-diff_binary64_23655` `exp-neg_binary64_23654` `exp-sum_binary64_23653` `e-exp-1_binary64_23652` `1-exp_binary64_23651` `exp-1-e_binary64_23650` `exp-0_binary64_23649` `rem-log-exp_binary64_23648` `rem-exp-log_binary64_23647` `cube-unmult_binary64_23644` `cube-mult_binary64_23637` `cube-div_binary64_23636` `cube-prod_binary64_23635` `cube-neg_binary64_23634` `rem-3cbrt-rft_binary64_23633` `rem-3cbrt-lft_binary64_23632` `rem-cbrt-cube_binary64_23631` `rem-cube-cbrt_binary64_23630` `sqr-abs_binary64_23622` `sqr-neg_binary64_23621` `rem-sqrt-square_binary64_23620` `rem-square-sqrt_binary64_23619` `times-frac_binary64_23613` `div-sub_binary64_23612` `neg-mul-1_binary64_23603` `neg-sub0_binary64_23602` `unsub-neg_binary64_23601` `sub-neg_binary64_23600` `mul-1-neg_binary64_23599` `/-rgt-identity_binary64_23598` `-rgt-identity_binary64_23597` `-lft-identity_binary64_23596` `remove-double-neg_binary64_23595` `sub0-neg_binary64_23594` `--rgt-identity_binary64_23593` `+-rgt-identity_binary64_23592` `+-lft-identity_binary64_23591` `mul0-rgt_binary64_23590` `mul0-lft_binary64_23589` `div0_binary64_23588` `-inverses_binary64_23587` `+-inverses_binary64_23586` `lft-mult-inverse_binary64_23585` `rgt-mult-inverse_binary64_23584` `remove-double-div_binary64_23583` `pow-sqr_binary64_23580` `sqr-pow_binary64_23579` `difference-of-sqr--1_binary64_23578` `difference-of-sqr-1_binary64_23577` `difference-of-squares_binary64_23576` `unswap-sqr_binary64_23575` `swap-sqr_binary64_23574` `cancel-sign-sub-inv_binary64_23573` `cancel-sign-sub_binary64_23572` `distribute-neg-frac_binary64_23571` `distribute-frac-neg_binary64_23570` `distribute-neg-out_binary64_23569` `distribute-neg-in_binary64_23568` `distribute-rgt-neg-out_binary64_23567` `distribute-lft-neg-out_binary64_23566` `distribute-rgt-neg-in_binary64_23565` `distribute-lft-neg-in_binary64_23564` `distribute-rgt1-in_binary64_23563` `distribute-lft1-in_binary64_23562` `distribute-rgt-out--_binary64_23561` `distribute-rgt-out_binary64_23560` `distribute-lft-out--_binary64_23559` `distribute-lft-out_binary64_23558` `distribute-rgt-in_binary64_23557` `distribute-lft-in_binary64_23556` `associate-/l/_binary64_23554` `associate-/r/_binary64_23553` `associate-/l_binary64_23552` `associate-/r_binary64_23551` `associate-l/_binary64_23550` `associate-r/_binary64_23549` `associate-l_binary64_23548` `associate-r*_binary64_23547` `associate--r-_binary64_23546` `associate--l-_binary64_23545` `associate--l+_binary64_23544` `associate--r+_binary64_23543` `associate-+l-_binary64_23542` `associate-+r-_binary64_23541`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	7	7
2	10	7
3	12	7
4	13	7

prune2.0ms (0.2%)

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.3%)

Local error

Found 1 expressions with local error:

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

rewrite17.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-log-exp_binary64_23646` `*-un-lft-identity_binary64_23607`
3×	`sum-log_binary64_23698` `distribute-lft-out_binary64_23558`
1×	`pow1_binary64_23668` `add-exp-log_binary64_23645` `add-cbrt-cube_binary64_23643` `add-cube-cbrt_binary64_23642` `add-sqr-sqrt_binary64_23629` `flip3-+_binary64_23610` `flip-+_binary64_23581` `associate-+l+_binary64_23540` `+-commutative_binary64_23537`

Counts

1 → 15

Calls

1 calls:

7.0ms

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

Compiler

Compiled 164 to 49 computations (70.1% saved)

series98.0ms (9.5%)

Error

Counts

1 → 12

Calls

1 calls:

91.0ms

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

Compiler

Compiled 114 to 104 computations (8.8% saved)

simplify151.0ms (14.6%)

Algorithm

1×	egg-herbie

Rules

683×	`unsub-neg_binary64_23601`
431×	`exp-prod_binary64_23659`
403×	`distribute-rgt-in_binary64_23557`
389×	`associate-l_binary64_23548`
362×	`distribute-lft-in_binary64_23556`
353×	`cancel-sign-sub-inv_binary64_23573`
286×	`associate-r_binary64_23547`
233×	`exp-sum_binary64_23653`
213×	`sub-neg_binary64_23600`
183×	`times-frac_binary64_23613`
177×	`distribute-lft-out--_binary64_23559`
161×	`distribute-rgt-out_binary64_23560`
147×	`neg-mul-1_binary64_23603`
142×	`neg-sub0_binary64_23602`
133×	`+-commutative_binary64_23537`
119×	`distribute-neg-in_binary64_23568`
103×	`*-commutative_binary64_23538`
94×	`exp-diff_binary64_23655`
86×	`distribute-rgt-out--_binary64_23561`
81×	`associate-+l+_binary64_23540`
69×	`associate--l+_binary64_23544`
66×	`associate--r+_binary64_23543`
63×	`associate-+l-_binary64_23542`
54×	`associate-+r+_binary64_23539`
49×	`distribute-lft-neg-out_binary64_23566`
47×	`associate-+r-_binary64_23541`
45×	`distribute-rgt-neg-out_binary64_23567`
36×	`unswap-sqr_binary64_23575`
29×	`sqr-pow_binary64_23579`
28×	`distribute-lft-neg-in_binary64_23564`
24×	`distribute-rgt-neg-in_binary64_23565`
22×	`cube-prod_binary64_23635`
18×	`sub0-neg_binary64_23594` `pow-sqr_binary64_23580` `distribute-rgt1-in_binary64_23563`
14×	`associate-/l/_binary64_23554`
13×	`cube-unmult_binary64_23644`
12×	`associate--l-_binary64_23545`
10×	`pow-plus_binary64_23670` `+-rgt-identity_binary64_23592`
9×	`distribute-neg-out_binary64_23569` `count-2_binary64_23555`
8×	`associate-/l*_binary64_23552` `associate--r-_binary64_23546`
7×	`associate-*r/_binary64_23549`
5×	`div-sub_binary64_23612` `mul0-lft_binary64_23589`
4×	`sqr-neg_binary64_23621` `+-inverses_binary64_23586` `difference-of-squares_binary64_23576` `cancel-sign-sub_binary64_23572` `distribute-lft1-in_binary64_23562`
3×	`unpow3_binary64_23673` `prod-exp_binary64_23656` `exp-neg_binary64_23654` `cube-mult_binary64_23637` `cube-neg_binary64_23634` `swap-sqr_binary64_23574`
2×	`+-lft-identity_binary64_23591` `associate-/r/_binary64_23553`
1×	`unpow1_binary64_23665` `1-exp_binary64_23651` `mul-1-neg_binary64_23599` `remove-double-neg_binary64_23595` `--rgt-identity_binary64_23593` `mul0-rgt_binary64_23590` `-inverses_binary64_23587` `distribute-lft-out_binary64_23558` `associate-l/_binary64_23550`
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_23870` `erf-erfc_binary64_23869` `erf-odd_binary64_23868` `if-if-and-not_binary64_23867` `if-if-and_binary64_23866` `if-if-or-not_binary64_23865` `if-if-or_binary64_23864` `if-not_binary64_23863` `if-same_binary64_23862` `if-false_binary64_23861` `if-true_binary64_23860` `not-gte_binary64_23859` `not-lte_binary64_23858` `not-gt_binary64_23857` `not-lt_binary64_23856` `gte-same_binary64_23855` `lte-same_binary64_23854` `gt-same_binary64_23853` `lt-same_binary64_23852` `sinh---cosh_binary64_23799` `sinh-+-cosh_binary64_23798` `sinh-cosh_binary64_23797` `tanh-def-c_binary64_23796` `tanh-def-b_binary64_23795` `tanh-def-a_binary64_23794` `cosh-def_binary64_23793` `sinh-def_binary64_23792` `tan-neg_binary64_23739` `cos-neg_binary64_23738` `sin-neg_binary64_23737` `tan-0_binary64_23736` `cos-0_binary64_23735` `sin-0_binary64_23734` `hang-m-tan_binary64_23733` `hang-p-tan_binary64_23732` `hang-m0-tan_binary64_23731` `hang-p0-tan_binary64_23730` `hang-0m-tan_binary64_23729` `hang-0p-tan_binary64_23728` `tan-+PI/2_binary64_23727` `tan-+PI_binary64_23726` `tan-PI_binary64_23725` `tan-PI/3_binary64_23724` `tan-PI/4_binary64_23723` `tan-PI/6_binary64_23722` `cos-+PI/2_binary64_23721` `cos-+PI_binary64_23720` `cos-PI_binary64_23719` `cos-PI/2_binary64_23718` `cos-PI/3_binary64_23717` `cos-PI/4_binary64_23716` `cos-PI/6_binary64_23715` `sin-+PI/2_binary64_23714` `sin-+PI_binary64_23713` `sin-PI_binary64_23712` `sin-PI/2_binary64_23711` `sin-PI/3_binary64_23710` `sin-PI/4_binary64_23709` `sin-PI/6_binary64_23708` `sub-1-sin_binary64_23707` `sub-1-cos_binary64_23706` `-1-add-sin_binary64_23705` `-1-add-cos_binary64_23704` `1-sub-sin_binary64_23703` `1-sub-cos_binary64_23702` `cos-sin-sum_binary64_23701` `log-E_binary64_23697` `log-pow_binary64_23696` `log-rec_binary64_23695` `log-div_binary64_23694` `log-prod_binary64_23693` `pow-base-0_binary64_23691` `unpow1/3_binary64_23674` `unpow2_binary64_23672` `unpow1/2_binary64_23671` `exp-to-pow_binary64_23669` `pow-base-1_binary64_23667` `unpow0_binary64_23666` `unpow-1_binary64_23664` `exp-lft-cube_binary64_23663` `exp-lft-sqr_binary64_23662` `exp-cbrt_binary64_23661` `exp-sqrt_binary64_23660` `div-exp_binary64_23658` `rec-exp_binary64_23657` `e-exp-1_binary64_23652` `exp-1-e_binary64_23650` `exp-0_binary64_23649` `rem-log-exp_binary64_23648` `rem-exp-log_binary64_23647` `cube-div_binary64_23636` `rem-3cbrt-rft_binary64_23633` `rem-3cbrt-lft_binary64_23632` `rem-cbrt-cube_binary64_23631` `rem-cube-cbrt_binary64_23630` `sqr-abs_binary64_23622` `rem-sqrt-square_binary64_23620` `rem-square-sqrt_binary64_23619` `/-rgt-identity_binary64_23598` `-rgt-identity_binary64_23597` `-lft-identity_binary64_23596` `div0_binary64_23588` `lft-mult-inverse_binary64_23585` `rgt-mult-inverse_binary64_23584` `remove-double-div_binary64_23583` `difference-of-sqr--1_binary64_23578` `difference-of-sqr-1_binary64_23577` `distribute-neg-frac_binary64_23571` `distribute-frac-neg_binary64_23570` `associate-/r*_binary64_23551`

Counts

27 → 59

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	235
1	84	220
2	218	210
3	659	205
4	1624	205
5	3303	205

prune37.0ms (3.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	1	60

Error

Counts

60 → 1

Compiler

Compiled 694 to 157 computations (77.4% saved)

localize3.0ms (0.3%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series3.0ms (0.3%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

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_23870 erf-erfc_binary64_23869 erf-odd_binary64_23868 if-if-and-not_binary64_23867 if-if-and_binary64_23866 if-if-or-not_binary64_23865 if-if-or_binary64_23864 if-not_binary64_23863 if-same_binary64_23862 if-false_binary64_23861 if-true_binary64_23860 not-gte_binary64_23859 not-lte_binary64_23858 not-gt_binary64_23857 not-lt_binary64_23856 gte-same_binary64_23855 lte-same_binary64_23854 gt-same_binary64_23853 lt-same_binary64_23852 sinh---cosh_binary64_23799 sinh-+-cosh_binary64_23798 sinh-cosh_binary64_23797 tanh-def-c_binary64_23796 tanh-def-b_binary64_23795 tanh-def-a_binary64_23794 cosh-def_binary64_23793 sinh-def_binary64_23792 tan-neg_binary64_23739 cos-neg_binary64_23738 sin-neg_binary64_23737 tan-0_binary64_23736 cos-0_binary64_23735 sin-0_binary64_23734 hang-m-tan_binary64_23733 hang-p-tan_binary64_23732 hang-m0-tan_binary64_23731 hang-p0-tan_binary64_23730 hang-0m-tan_binary64_23729 hang-0p-tan_binary64_23728 tan-+PI/2_binary64_23727 tan-+PI_binary64_23726 tan-PI_binary64_23725 tan-PI/3_binary64_23724 tan-PI/4_binary64_23723 tan-PI/6_binary64_23722 cos-+PI/2_binary64_23721 cos-+PI_binary64_23720 cos-PI_binary64_23719 cos-PI/2_binary64_23718 cos-PI/3_binary64_23717 cos-PI/4_binary64_23716 cos-PI/6_binary64_23715 sin-+PI/2_binary64_23714 sin-+PI_binary64_23713 sin-PI_binary64_23712 sin-PI/2_binary64_23711 sin-PI/3_binary64_23710 sin-PI/4_binary64_23709 sin-PI/6_binary64_23708 sub-1-sin_binary64_23707 sub-1-cos_binary64_23706 -1-add-sin_binary64_23705 -1-add-cos_binary64_23704 1-sub-sin_binary64_23703 1-sub-cos_binary64_23702 cos-sin-sum_binary64_23701 log-E_binary64_23697 log-pow_binary64_23696 log-rec_binary64_23695 log-div_binary64_23694 log-prod_binary64_23693 pow-base-0_binary64_23691 unpow1/3_binary64_23674 unpow3_binary64_23673 unpow2_binary64_23672 unpow1/2_binary64_23671 pow-plus_binary64_23670 exp-to-pow_binary64_23669 pow-base-1_binary64_23667 unpow0_binary64_23666 unpow1_binary64_23665 unpow-1_binary64_23664 exp-lft-cube_binary64_23663 exp-lft-sqr_binary64_23662 exp-cbrt_binary64_23661 exp-sqrt_binary64_23660 exp-prod_binary64_23659 div-exp_binary64_23658 rec-exp_binary64_23657 prod-exp_binary64_23656 exp-diff_binary64_23655 exp-neg_binary64_23654 exp-sum_binary64_23653 e-exp-1_binary64_23652 1-exp_binary64_23651 exp-1-e_binary64_23650 exp-0_binary64_23649 rem-log-exp_binary64_23648 rem-exp-log_binary64_23647 cube-unmult_binary64_23644 cube-mult_binary64_23637 cube-div_binary64_23636 cube-prod_binary64_23635 cube-neg_binary64_23634 rem-3cbrt-rft_binary64_23633 rem-3cbrt-lft_binary64_23632 rem-cbrt-cube_binary64_23631 rem-cube-cbrt_binary64_23630 sqr-abs_binary64_23622 sqr-neg_binary64_23621 rem-sqrt-square_binary64_23620 rem-square-sqrt_binary64_23619 times-frac_binary64_23613 div-sub_binary64_23612 neg-mul-1_binary64_23603 neg-sub0_binary64_23602 unsub-neg_binary64_23601 sub-neg_binary64_23600 mul-1-neg_binary64_23599 /-rgt-identity_binary64_23598 *-rgt-identity_binary64_23597 *-lft-identity_binary64_23596 remove-double-neg_binary64_23595 sub0-neg_binary64_23594 --rgt-identity_binary64_23593 +-rgt-identity_binary64_23592 +-lft-identity_binary64_23591 mul0-rgt_binary64_23590 mul0-lft_binary64_23589 div0_binary64_23588 *-inverses_binary64_23587 +-inverses_binary64_23586 lft-mult-inverse_binary64_23585 rgt-mult-inverse_binary64_23584 remove-double-div_binary64_23583 pow-sqr_binary64_23580 sqr-pow_binary64_23579 difference-of-sqr--1_binary64_23578 difference-of-sqr-1_binary64_23577 difference-of-squares_binary64_23576 unswap-sqr_binary64_23575 swap-sqr_binary64_23574 cancel-sign-sub-inv_binary64_23573 cancel-sign-sub_binary64_23572 distribute-neg-frac_binary64_23571 distribute-frac-neg_binary64_23570 distribute-neg-out_binary64_23569 distribute-neg-in_binary64_23568 distribute-rgt-neg-out_binary64_23567 distribute-lft-neg-out_binary64_23566 distribute-rgt-neg-in_binary64_23565 distribute-lft-neg-in_binary64_23564 distribute-rgt1-in_binary64_23563 distribute-lft1-in_binary64_23562 distribute-rgt-out--_binary64_23561 distribute-rgt-out_binary64_23560 distribute-lft-out--_binary64_23559 distribute-lft-out_binary64_23558 distribute-rgt-in_binary64_23557 distribute-lft-in_binary64_23556 count-2_binary64_23555 associate-/l/_binary64_23554 associate-/r/_binary64_23553 associate-/l*_binary64_23552 associate-/r*_binary64_23551 associate-*l/_binary64_23550 associate-*r/_binary64_23549 associate-*l*_binary64_23548 associate-*r*_binary64_23547 associate--r-_binary64_23546 associate--l-_binary64_23545 associate--l+_binary64_23544 associate--r+_binary64_23543 associate-+l-_binary64_23542 associate-+r-_binary64_23541 associate-+l+_binary64_23540 associate-+r+_binary64_23539 *-commutative_binary64_23538 +-commutative_binary64_23537

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

prune0.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Error

Counts

1 → 1

Compiler

Compiled 0 to 0 computations (0% saved)

regimes53.0ms (5.1%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 175 to 145 computations (17.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64_23538 +-commutative_binary64_23537

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7

Proof

(+ f64 h0 (* f64 2 h1))

end0.0ms (0%)

sample443.0ms (42.7%)

Algorithm

1×

intervals

Results

127.0ms	8000×	body	128	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 58 to 52 computations (10.3% saved)

Details

analyze46.0ms (4.4%)

sample11.0ms (1.1%)

simplify158.0ms (15.2%)

prune2.0ms (0.2%)

localize3.0ms (0.3%)

rewrite17.0ms (1.7%)

series98.0ms (9.5%)

simplify151.0ms (14.6%)

prune37.0ms (3.6%)

localize3.0ms (0.3%)

rewrite0.0ms (0%)

series3.0ms (0.3%)

simplify8.0ms (0.8%)

prune0.0ms (0%)

regimes53.0ms (5.1%)

bsearch0.0ms (0%)

simplify3.0ms (0.3%)

end0.0ms (0%)

sample443.0ms (42.7%)

Profiling