Details

analyze1.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 6 to 6 computations (0% saved)

sample11.0ms (0.8%)

Algorithm

1×

intervals

Results

4.0ms

256×

body

128

valid

Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify160.0ms (10.6%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_14671

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_15004 erf-erfc_binary64_15003 erf-odd_binary64_15002 if-if-and-not_binary64_15001 if-if-and_binary64_15000 if-if-or-not_binary64_14999 if-if-or_binary64_14998 if-not_binary64_14997 if-same_binary64_14996 if-false_binary64_14995 if-true_binary64_14994 not-gte_binary64_14993 not-lte_binary64_14992 not-gt_binary64_14991 not-lt_binary64_14990 gte-same_binary64_14989 lte-same_binary64_14988 gt-same_binary64_14987 lt-same_binary64_14986 sinh---cosh_binary64_14933 sinh-+-cosh_binary64_14932 sinh-cosh_binary64_14931 tanh-def-c_binary64_14930 tanh-def-b_binary64_14929 tanh-def-a_binary64_14928 cosh-def_binary64_14927 sinh-def_binary64_14926 tan-neg_binary64_14873 cos-neg_binary64_14872 sin-neg_binary64_14871 tan-0_binary64_14870 cos-0_binary64_14869 sin-0_binary64_14868 hang-m-tan_binary64_14867 hang-p-tan_binary64_14866 hang-m0-tan_binary64_14865 hang-p0-tan_binary64_14864 hang-0m-tan_binary64_14863 hang-0p-tan_binary64_14862 tan-+PI/2_binary64_14861 tan-+PI_binary64_14860 tan-PI_binary64_14859 tan-PI/3_binary64_14858 tan-PI/4_binary64_14857 tan-PI/6_binary64_14856 cos-+PI/2_binary64_14855 cos-+PI_binary64_14854 cos-PI_binary64_14853 cos-PI/2_binary64_14852 cos-PI/3_binary64_14851 cos-PI/4_binary64_14850 cos-PI/6_binary64_14849 sin-+PI/2_binary64_14848 sin-+PI_binary64_14847 sin-PI_binary64_14846 sin-PI/2_binary64_14845 sin-PI/3_binary64_14844 sin-PI/4_binary64_14843 sin-PI/6_binary64_14842 sub-1-sin_binary64_14841 sub-1-cos_binary64_14840 -1-add-sin_binary64_14839 -1-add-cos_binary64_14838 1-sub-sin_binary64_14837 1-sub-cos_binary64_14836 cos-sin-sum_binary64_14835 log-E_binary64_14831 log-pow_binary64_14830 log-rec_binary64_14829 log-div_binary64_14828 log-prod_binary64_14827 pow-base-0_binary64_14825 unpow1/3_binary64_14808 unpow3_binary64_14807 unpow2_binary64_14806 unpow1/2_binary64_14805 pow-plus_binary64_14804 exp-to-pow_binary64_14803 pow-base-1_binary64_14801 unpow0_binary64_14800 unpow1_binary64_14799 unpow-1_binary64_14798 exp-lft-cube_binary64_14797 exp-lft-sqr_binary64_14796 exp-cbrt_binary64_14795 exp-sqrt_binary64_14794 exp-prod_binary64_14793 div-exp_binary64_14792 rec-exp_binary64_14791 prod-exp_binary64_14790 exp-diff_binary64_14789 exp-neg_binary64_14788 exp-sum_binary64_14787 e-exp-1_binary64_14786 1-exp_binary64_14785 exp-1-e_binary64_14784 exp-0_binary64_14783 rem-log-exp_binary64_14782 rem-exp-log_binary64_14781 cube-unmult_binary64_14778 cube-mult_binary64_14771 cube-div_binary64_14770 cube-prod_binary64_14769 cube-neg_binary64_14768 rem-3cbrt-rft_binary64_14767 rem-3cbrt-lft_binary64_14766 rem-cbrt-cube_binary64_14765 rem-cube-cbrt_binary64_14764 sqr-abs_binary64_14756 sqr-neg_binary64_14755 rem-sqrt-square_binary64_14754 rem-square-sqrt_binary64_14753 times-frac_binary64_14747 div-sub_binary64_14746 neg-mul-1_binary64_14737 neg-sub0_binary64_14736 unsub-neg_binary64_14735 sub-neg_binary64_14734 mul-1-neg_binary64_14733 /-rgt-identity_binary64_14732 *-rgt-identity_binary64_14731 *-lft-identity_binary64_14730 remove-double-neg_binary64_14729 sub0-neg_binary64_14728 --rgt-identity_binary64_14727 +-rgt-identity_binary64_14726 +-lft-identity_binary64_14725 mul0-rgt_binary64_14724 mul0-lft_binary64_14723 div0_binary64_14722 *-inverses_binary64_14721 +-inverses_binary64_14720 lft-mult-inverse_binary64_14719 rgt-mult-inverse_binary64_14718 remove-double-div_binary64_14717 pow-sqr_binary64_14714 sqr-pow_binary64_14713 difference-of-sqr--1_binary64_14712 difference-of-sqr-1_binary64_14711 difference-of-squares_binary64_14710 unswap-sqr_binary64_14709 swap-sqr_binary64_14708 cancel-sign-sub-inv_binary64_14707 cancel-sign-sub_binary64_14706 distribute-neg-frac_binary64_14705 distribute-frac-neg_binary64_14704 distribute-neg-out_binary64_14703 distribute-neg-in_binary64_14702 distribute-rgt-neg-out_binary64_14701 distribute-lft-neg-out_binary64_14700 distribute-rgt-neg-in_binary64_14699 distribute-lft-neg-in_binary64_14698 distribute-rgt1-in_binary64_14697 distribute-lft1-in_binary64_14696 distribute-rgt-out--_binary64_14695 distribute-rgt-out_binary64_14694 distribute-lft-out--_binary64_14693 distribute-lft-out_binary64_14692 distribute-rgt-in_binary64_14691 distribute-lft-in_binary64_14690 count-2_binary64_14689 associate-/l/_binary64_14688 associate-/r/_binary64_14687 associate-/l*_binary64_14686 associate-/r*_binary64_14685 associate-*l/_binary64_14684 associate-*r/_binary64_14683 associate-*l*_binary64_14682 associate-*r*_binary64_14681 associate--r-_binary64_14680 associate--l-_binary64_14679 associate--l+_binary64_14678 associate--r+_binary64_14677 associate-+l-_binary64_14676 associate-+r-_binary64_14675 associate-+l+_binary64_14674 associate-+r+_binary64_14673 *-commutative_binary64_14672

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x 16) 116)

rewrite46.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`*-un-lft-identity_binary64_14741`
12×	`times-frac_binary64_14747`
10×	`add-cube-cbrt_binary64_14776` `add-sqr-sqrt_binary64_14763`
4×	`distribute-lft-out_binary64_14692` `associate-/l*_binary64_14686`
3×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `associate-/r*_binary64_14685`
2×	`associate-/l/_binary64_14688`
1×	`pow1_binary64_14802` `div-exp_binary64_14792` `add-log-exp_binary64_14780` `cbrt-undiv_binary64_14775` `frac-2neg_binary64_14752` `clear-num_binary64_14740` `div-inv_binary64_14738` `flip3-+_binary64_14744` `flip-+_binary64_14715`

Counts

1 → 33

Calls

1 calls:

7.0ms

(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 404 to 347 computations (14.1% saved)

series51.0ms (3.4%)

Error

Counts

1 → 6

Calls

1 calls:

46.0ms

(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 59 to 56 computations (5.1% saved)

simplify189.0ms (12.6%)

Algorithm

1×	egg-herbie

Rules

398×	`times-frac_binary64_14747`
304×	`distribute-rgt-neg-out_binary64_14701`
294×	`distribute-rgt-out--_binary64_14695`
271×	`associate-+l+_binary64_14674`
268×	`distribute-lft-neg-out_binary64_14700`
246×	`distribute-frac-neg_binary64_14704`
226×	`associate-+r+_binary64_14673`
219×	`associate-/r*_binary64_14685`
208×	`associate-/l*_binary64_14686`
185×	`sub-neg_binary64_14734`
178×	`associate-/r/_binary64_14687`
156×	`distribute-rgt-in_binary64_14691`
146×	`distribute-rgt-out_binary64_14694`
145×	`div-sub_binary64_14746`
138×	`distribute-lft-in_binary64_14690`
127×	`*-commutative_binary64_14672`
117×	`unsub-neg_binary64_14735`
113×	`associate-l_binary64_14682`
95×	`associate-/l/_binary64_14688`
93×	`unswap-sqr_binary64_14709`
80×	`associate-*l/_binary64_14684`
77×	`associate-r_binary64_14681`
75×	`cancel-sign-sub-inv_binary64_14707`
63×	`distribute-rgt-neg-in_binary64_14699`
61×	`exp-to-pow_binary64_14803`
53×	`swap-sqr_binary64_14708`
51×	`sqr-pow_binary64_14713`
50×	`associate-*r/_binary64_14683`
47×	`associate-+l-_binary64_14676`
41×	`neg-mul-1_binary64_14737`
40×	`*-lft-identity_binary64_14730`
37×	`neg-sub0_binary64_14736`
35×	`distribute-neg-out_binary64_14703` `+-commutative_binary64_14671`
34×	`exp-prod_binary64_14793` `distribute-lft-neg-in_binary64_14698`
33×	`*-rgt-identity_binary64_14731`
32×	`sub0-neg_binary64_14728` `pow-sqr_binary64_14714`
30×	`associate-+r-_binary64_14675`
27×	`distribute-rgt1-in_binary64_14697`
26×	`distribute-lft-out_binary64_14692`
24×	`cube-prod_binary64_14769`
21×	`+-lft-identity_binary64_14725`
20×	`associate--l-_binary64_14679`
19×	`cube-div_binary64_14770` `/-rgt-identity_binary64_14732` `distribute-neg-in_binary64_14702`
18×	`associate--r+_binary64_14677`
16×	`log-prod_binary64_14827`
15×	`log-pow_binary64_14830` `+-rgt-identity_binary64_14726`
14×	`distribute-neg-frac_binary64_14705`
12×	`pow-plus_binary64_14804` `exp-diff_binary64_14789` `div0_binary64_14722`
11×	`log-div_binary64_14828` `associate--r-_binary64_14680`
9×	`div-exp_binary64_14792` `prod-exp_binary64_14790` `exp-sum_binary64_14787`
8×	`log-rec_binary64_14829` `cube-unmult_binary64_14778` `--rgt-identity_binary64_14727` `distribute-lft-out--_binary64_14693`
7×	`associate--l+_binary64_14678`
6×	`remove-double-div_binary64_14717`
5×	`mul0-rgt_binary64_14724` `mul0-lft_binary64_14723`
4×	`pow-base-1_binary64_14801` `cube-neg_binary64_14768` `sqr-neg_binary64_14755` `remove-double-neg_binary64_14729` `+-inverses_binary64_14720` `count-2_binary64_14689`
3×	`unpow3_binary64_14807` `rec-exp_binary64_14791` `cube-mult_binary64_14771`
2×	`rem-log-exp_binary64_14782`
1×	`1-exp_binary64_14785` `exp-1-e_binary64_14784` `distribute-lft1-in_binary64_14696`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `unpow0_binary64_14800` `unpow1_binary64_14799` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `exp-neg_binary64_14788` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-exp-log_binary64_14781` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `rem-sqrt-square_binary64_14754` `rem-square-sqrt_binary64_14753` `mul-1-neg_binary64_14733` `*-inverses_binary64_14721` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `difference-of-squares_binary64_14710` `cancel-sign-sub_binary64_14706`

Counts

39 → 22

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	494
1	138	464
2	327	464
3	704	464
4	1723	464
5	2812	464

prune25.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	21	1	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	2	23

Error

Counts

23 → 2

Compiler

Compiled 285 to 244 computations (14.4% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 4/29 (*.f64 1/116 x))
0.1b	(*.f64 1/116 x)

rewrite30.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-sqr-sqrt_binary64_14763`
4×	`pow1_binary64_14802` `add-exp-log_binary64_14779` `add-log-exp_binary64_14780` `add-cbrt-cube_binary64_14777` `add-cube-cbrt_binary64_14776` `*-un-lft-identity_binary64_14741`
3×	`associate-l_binary64_14682` `associate-r_binary64_14681`
1×	`pow-prod-down_binary64_14812` `prod-exp_binary64_14790` `cbrt-unprod_binary64_14774` `unswap-sqr_binary64_14709` `*-commutative_binary64_14672` `sum-log_binary64_14832` `flip3-+_binary64_14744` `flip-+_binary64_14715` `+-commutative_binary64_14671`

Counts

2 → 29

Calls

2 calls:

4.0ms	(*.f64 1/116 x)
3.0ms	(+.f64 4/29 (*.f64 1/116 x))

Compiler

Compiled 308 to 254 computations (17.5% saved)

series75.0ms (5%)

Error

Counts

2 → 9

Calls

2 calls:

42.0ms	(+.f64 4/29 (*.f64 1/116 x))
25.0ms	(*.f64 1/116 x)

Compiler

Compiled 104 to 98 computations (5.8% saved)

simplify326.0ms (21.7%)

Algorithm

1×	egg-herbie

Rules

567×	`distribute-rgt-in_binary64_14691`
476×	`distribute-lft-in_binary64_14690`
349×	`distribute-rgt-out--_binary64_14695`
214×	`unswap-sqr_binary64_14709`
192×	`distribute-rgt-out_binary64_14694`
178×	`associate-l_binary64_14682`
171×	`associate-*l/_binary64_14684`
165×	`*-commutative_binary64_14672`
156×	`unsub-neg_binary64_14735`
153×	`sub-neg_binary64_14734`
147×	`associate-*r/_binary64_14683`
143×	`associate-+l-_binary64_14676`
140×	`distribute-lft-out--_binary64_14693`
134×	`associate-r_binary64_14681`
113×	`sqr-pow_binary64_14713`
110×	`cancel-sign-sub-inv_binary64_14707`
108×	`distribute-rgt-neg-in_binary64_14699`
104×	`+-commutative_binary64_14671`
81×	`associate-+l+_binary64_14674`
79×	`*-rgt-identity_binary64_14731`
76×	`associate-+r+_binary64_14673`
75×	`associate-/l/_binary64_14688`
74×	`*-lft-identity_binary64_14730`
72×	`pow-sqr_binary64_14714` `associate-/l*_binary64_14686`
62×	`distribute-rgt-neg-out_binary64_14701`
61×	`distribute-lft-out_binary64_14692` `associate-+r-_binary64_14675`
59×	`distribute-lft-neg-in_binary64_14698`
58×	`distribute-lft-neg-out_binary64_14700`
51×	`log-prod_binary64_14827`
48×	`pow-plus_binary64_14804` `associate--r+_binary64_14677`
46×	`associate--l-_binary64_14679`
45×	`distribute-neg-in_binary64_14702`
44×	`log-pow_binary64_14830` `times-frac_binary64_14747`
43×	`neg-mul-1_binary64_14737`
37×	`neg-sub0_binary64_14736` `distribute-rgt1-in_binary64_14697`
36×	`exp-prod_binary64_14793` `associate-/r/_binary64_14687`
32×	`swap-sqr_binary64_14708` `associate--r-_binary64_14680`
30×	`mul0-lft_binary64_14723`
29×	`mul0-rgt_binary64_14724`
28×	`log-div_binary64_14828`
27×	`cancel-sign-sub_binary64_14706`
25×	`sub0-neg_binary64_14728`
20×	`associate-/r*_binary64_14685`
19×	`distribute-neg-out_binary64_14703`
17×	`cube-prod_binary64_14769`
15×	`exp-to-pow_binary64_14803`
13×	`remove-double-neg_binary64_14729`
11×	`+-rgt-identity_binary64_14726`
10×	`exp-sum_binary64_14787` `associate--l+_binary64_14678`
9×	`unpow3_binary64_14807` `count-2_binary64_14689`
8×	`cube-unmult_binary64_14778`
5×	`pow-base-1_binary64_14801`
3×	`log-rec_binary64_14829` `exp-diff_binary64_14789` `cube-mult_binary64_14771` `cube-div_binary64_14770` `div-sub_binary64_14746` `difference-of-squares_binary64_14710`
2×	`exp-sqrt_binary64_14794` `prod-exp_binary64_14790` `/-rgt-identity_binary64_14732` `--rgt-identity_binary64_14727`
1×	`exp-lft-sqr_binary64_14796` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-log-exp_binary64_14782` `cube-neg_binary64_14768` `sqr-neg_binary64_14755` `+-lft-identity_binary64_14725` `*-inverses_binary64_14721` `+-inverses_binary64_14720` `rgt-mult-inverse_binary64_14718` `difference-of-sqr--1_binary64_14712` `distribute-neg-frac_binary64_14705` `distribute-frac-neg_binary64_14704` `distribute-lft1-in_binary64_14696`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `unpow0_binary64_14800` `unpow1_binary64_14799` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-cbrt_binary64_14795` `div-exp_binary64_14792` `rec-exp_binary64_14791` `exp-neg_binary64_14788` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-exp-log_binary64_14781` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `rem-sqrt-square_binary64_14754` `rem-square-sqrt_binary64_14753` `mul-1-neg_binary64_14733` `div0_binary64_14722` `lft-mult-inverse_binary64_14719` `remove-double-div_binary64_14717` `difference-of-sqr-1_binary64_14711`

Counts

38 → 28

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	314
1	131	299
2	359	299
3	825	299
4	1525	299
5	2903	299
6	4865	299

prune30.0ms (2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

30 → 2

Compiler

Compiled 408 to 351 computations (14% saved)

regimes63.0ms (4.2%)

Accuracy

Total 0.0b remaining (96.6%)

Threshold costs 0.0b (96.6%)

Compiler

Compiled 312 to 300 computations (3.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_14671

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7

Proof

(/ f64 (+ f64 h0 16) 116)

end0.0ms (0%)

sample482.0ms (32.1%)

Algorithm

1×

intervals

Results

138.0ms

8000×

body

128

valid

Compiler

Compiled 109 to 106 computations (2.8% saved)

Details

analyze1.0ms (0.1%)

sample11.0ms (0.8%)

simplify160.0ms (10.6%)

prune2.0ms (0.1%)

localize4.0ms (0.3%)

rewrite46.0ms (3.1%)

series51.0ms (3.4%)

simplify189.0ms (12.6%)

prune25.0ms (1.7%)

localize4.0ms (0.2%)

rewrite30.0ms (2%)

series75.0ms (5%)

simplify326.0ms (21.7%)

prune30.0ms (2%)

regimes63.0ms (4.2%)

bsearch0.0ms (0%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample482.0ms (32.1%)

Profiling