Details

analyze156.0ms (2.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

15×	`sub-neg_binary64_753`
14×	`cancel-sign-sub-inv_binary64_726`
10×	`distribute-rgt-in_binary64_710`
9×	`neg-mul-1_binary64_756`
8×	`associate--r+_binary64_696`
7×	`unsub-neg_binary64_754`
6×	`neg-sub0_binary64_755`
5×	`distribute-neg-in_binary64_721` `distribute-lft-neg-out_binary64_719` `distribute-rgt-neg-in_binary64_718` `distribute-lft-in_binary64_709` `associate--r-_binary64_699` `+-commutative_binary64_690`
4×	`*-lft-identity_binary64_749` `sub0-neg_binary64_747` `associate-+l-_binary64_695`
3×	`+-lft-identity_binary64_744` `distribute-rgt-neg-out_binary64_720` `associate-+l+_binary64_693` `*-commutative_binary64_691`
2×	`*-rgt-identity_binary64_750`
1×	`1-exp_binary64_804` `remove-double-neg_binary64_748` `--rgt-identity_binary64_746` `+-rgt-identity_binary64_745` `distribute-lft-neg-in_binary64_717` `associate--l+_binary64_697` `associate-+r-_binary64_694` `associate-+r+_binary64_692`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `log-pow_binary64_849` `log-rec_binary64_848` `log-div_binary64_847` `log-prod_binary64_846` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow3_binary64_826` `unpow2_binary64_825` `unpow1/2_binary64_824` `pow-plus_binary64_823` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow1_binary64_818` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `exp-prod_binary64_812` `div-exp_binary64_811` `rec-exp_binary64_810` `prod-exp_binary64_809` `exp-diff_binary64_808` `exp-neg_binary64_807` `exp-sum_binary64_806` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-unmult_binary64_797` `cube-mult_binary64_790` `cube-div_binary64_789` `cube-prod_binary64_788` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `rem-sqrt-square_binary64_773` `rem-square-sqrt_binary64_772` `times-frac_binary64_766` `div-sub_binary64_765` `mul-1-neg_binary64_752` `/-rgt-identity_binary64_751` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `div0_binary64_741` `-inverses_binary64_740` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `pow-sqr_binary64_733` `sqr-pow_binary64_732` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `difference-of-squares_binary64_729` `unswap-sqr_binary64_728` `swap-sqr_binary64_727` `cancel-sign-sub_binary64_725` `distribute-neg-frac_binary64_724` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715` `distribute-rgt-out--_binary64_714` `distribute-rgt-out_binary64_713` `distribute-lft-out--_binary64_712` `distribute-lft-out_binary64_711` `count-2_binary64_708` `associate-/l/_binary64_707` `associate-/r/_binary64_706` `associate-/l_binary64_705` `associate-/r_binary64_704` `associate-l/_binary64_703` `associate-r/_binary64_702` `associate-l_binary64_701` `associate-r*_binary64_700` `associate--l-_binary64_698`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11
0	1	1
1	1	1

Search

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

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample20.0ms (0.4%)

Algorithm

1×

intervals

Results

5.0ms	59×	body	1024	valid
3.0ms	137×	body	128	valid
2.0ms	37×	body	512	valid
1.0ms	7×	body	2048	valid
1.0ms	16×	body	256	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

15×	`sub-neg_binary64_753`
14×	`cancel-sign-sub-inv_binary64_726`
10×	`distribute-rgt-in_binary64_710`
9×	`neg-mul-1_binary64_756`
8×	`associate--r+_binary64_696`
7×	`unsub-neg_binary64_754`
6×	`neg-sub0_binary64_755`
5×	`distribute-neg-in_binary64_721` `distribute-lft-neg-out_binary64_719` `distribute-rgt-neg-in_binary64_718` `distribute-lft-in_binary64_709` `associate--r-_binary64_699` `+-commutative_binary64_690`
4×	`*-lft-identity_binary64_749` `sub0-neg_binary64_747` `associate-+l-_binary64_695`
3×	`+-lft-identity_binary64_744` `distribute-rgt-neg-out_binary64_720` `associate-+l+_binary64_693` `*-commutative_binary64_691`
2×	`*-rgt-identity_binary64_750`
1×	`1-exp_binary64_804` `remove-double-neg_binary64_748` `--rgt-identity_binary64_746` `+-rgt-identity_binary64_745` `distribute-lft-neg-in_binary64_717` `associate--l+_binary64_697` `associate-+r-_binary64_694` `associate-+r+_binary64_692`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `log-pow_binary64_849` `log-rec_binary64_848` `log-div_binary64_847` `log-prod_binary64_846` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow3_binary64_826` `unpow2_binary64_825` `unpow1/2_binary64_824` `pow-plus_binary64_823` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow1_binary64_818` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `exp-prod_binary64_812` `div-exp_binary64_811` `rec-exp_binary64_810` `prod-exp_binary64_809` `exp-diff_binary64_808` `exp-neg_binary64_807` `exp-sum_binary64_806` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-unmult_binary64_797` `cube-mult_binary64_790` `cube-div_binary64_789` `cube-prod_binary64_788` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `rem-sqrt-square_binary64_773` `rem-square-sqrt_binary64_772` `times-frac_binary64_766` `div-sub_binary64_765` `mul-1-neg_binary64_752` `/-rgt-identity_binary64_751` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `div0_binary64_741` `-inverses_binary64_740` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `pow-sqr_binary64_733` `sqr-pow_binary64_732` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `difference-of-squares_binary64_729` `unswap-sqr_binary64_728` `swap-sqr_binary64_727` `cancel-sign-sub_binary64_725` `distribute-neg-frac_binary64_724` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715` `distribute-rgt-out--_binary64_714` `distribute-rgt-out_binary64_713` `distribute-lft-out--_binary64_712` `distribute-lft-out_binary64_711` `count-2_binary64_708` `associate-/l/_binary64_707` `associate-/r/_binary64_706` `associate-/l_binary64_705` `associate-/r_binary64_704` `associate-l/_binary64_703` `associate-r/_binary64_702` `associate-l_binary64_701` `associate-r*_binary64_700` `associate--l-_binary64_698`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11

prune2.0ms (0%)

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

30.0b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b	(cbrt.f64 (+.f64 x 1))
0.5b	(cbrt.f64 x)
3.1b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite82.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

29.3b

Rules

18×	`cbrt-prod_binary64_791`
16×	`*-un-lft-identity_binary64_760`
15×	`add-sqr-sqrt_binary64_782`
7×	`add-cube-cbrt_binary64_795`
6×	`cancel-sign-sub-inv_binary64_726`
5×	`add-log-exp_binary64_799`
4×	`difference-of-squares_binary64_729`
3×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712`
2×	`distribute-lft-out_binary64_711` `pow1/3_binary64_842` `cbrt-div_binary64_792`
1×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `flip3-+_binary64_763` `flip-+_binary64_734`

Counts

3 → 49

Calls

3 calls:

9.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

Compiler

Compiled 676 to 421 computations (37.7% saved)

series281.0ms (5.1%)

Error

15.9b

Counts

3 → 17

Calls

3 calls:

108.0ms	(cbrt.f64 x)
107.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
47.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 560 to 482 computations (13.9% saved)

simplify120.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

438×	`associate-l_binary64_701`
411×	`associate-r_binary64_700`
269×	`distribute-rgt-neg-in_binary64_718`
254×	`distribute-lft-neg-in_binary64_717`
214×	`difference-of-squares_binary64_729`
209×	`log-prod_binary64_846`
177×	`sub-neg_binary64_753`
107×	`*-commutative_binary64_691`
95×	`cancel-sign-sub-inv_binary64_726`
93×	`cube-prod_binary64_788`
78×	`sqr-pow_binary64_732` `+-commutative_binary64_690`
77×	`distribute-lft-neg-out_binary64_719`
70×	`distribute-rgt-neg-out_binary64_720`
65×	`log-pow_binary64_849`
62×	`unswap-sqr_binary64_728`
61×	`exp-prod_binary64_812`
60×	`distribute-rgt-in_binary64_710`
57×	`unsub-neg_binary64_754`
55×	`distribute-lft-in_binary64_709`
54×	`unpow3_binary64_826` `neg-sub0_binary64_755`
53×	`swap-sqr_binary64_727`
51×	`associate-/r*_binary64_704`
49×	`log-div_binary64_847` `associate--l+_binary64_697`
48×	`exp-sum_binary64_806` `neg-mul-1_binary64_756`
44×	`distribute-neg-in_binary64_721`
42×	`associate-+l+_binary64_693` `associate-+r+_binary64_692`
35×	`pow-plus_binary64_823`
32×	`associate-+l-_binary64_695`
25×	`associate-+r-_binary64_694`
24×	`*-rgt-identity_binary64_750`
20×	`exp-diff_binary64_808`
19×	`*-lft-identity_binary64_749` `sub0-neg_binary64_747`
18×	`distribute-rgt-out_binary64_713` `associate--r+_binary64_696`
17×	`+-rgt-identity_binary64_745` `distribute-rgt-out--_binary64_714`
16×	`cube-unmult_binary64_797` `pow-sqr_binary64_733`
11×	`div-sub_binary64_765` `difference-of-sqr--1_binary64_731`
10×	`mul0-rgt_binary64_743` `mul0-lft_binary64_742` `difference-of-sqr-1_binary64_730` `distribute-lft-out_binary64_711`
9×	`mul-1-neg_binary64_752` `+-inverses_binary64_739`
8×	`exp-to-pow_binary64_822`
7×	`unpow1/3_binary64_827` `rem-sqrt-square_binary64_773`
6×	`distribute-rgt1-in_binary64_716` `distribute-lft-out--_binary64_712`
4×	`cube-mult_binary64_790` `+-lft-identity_binary64_744`
3×	`exp-lft-cube_binary64_816` `rem-3cbrt-lft_binary64_785` `associate--r-_binary64_699`
2×	`log-rec_binary64_848` `unpow2_binary64_825` `exp-neg_binary64_807` `rem-exp-log_binary64_800` `cancel-sign-sub_binary64_725` `distribute-neg-out_binary64_722` `count-2_binary64_708`
1×	`unpow1/2_binary64_824` `unpow1_binary64_818` `div-exp_binary64_811` `1-exp_binary64_804` `rem-cube-cbrt_binary64_783` `sqr-neg_binary64_774` `rem-square-sqrt_binary64_772` `remove-double-neg_binary64_748`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `pow-base-0_binary64_844` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `rec-exp_binary64_810` `prod-exp_binary64_809` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-log-exp_binary64_801` `cube-div_binary64_789` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-cbrt-cube_binary64_784` `sqr-abs_binary64_775` `times-frac_binary64_766` `/-rgt-identity_binary64_751` `--rgt-identity_binary64_746` `div0_binary64_741` `-inverses_binary64_740` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `distribute-neg-frac_binary64_724` `distribute-frac-neg_binary64_723` `distribute-lft1-in_binary64_715` `associate-/l/_binary64_707` `associate-/r/_binary64_706` `associate-/l_binary64_705` `associate-l/_binary64_703` `associate-r/_binary64_702` `associate--l-_binary64_698`

Counts

66 → 50

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	121	875
1	275	840
2	698	815
3	2800	808
4	4751	808
5	4991	808
6	4818	808

prune59.0ms (1.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	43	7	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	7	51

Error

7.2b

Counts

51 → 7

Compiler

Compiled 720 to 489 computations (32.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)
3.1b	(-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))
3.1b	(-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))

rewrite130.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

7.2b

Rules

28×	`cbrt-prod_binary64_791`
26×	`add-sqr-sqrt_binary64_782`
24×	`*-un-lft-identity_binary64_760`
12×	`cancel-sign-sub-inv_binary64_726`
10×	`add-cube-cbrt_binary64_795`
8×	`add-log-exp_binary64_799` `difference-of-squares_binary64_729`
6×	`distribute-lft-out--_binary64_712`
4×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
2×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `distribute-lft-out_binary64_711` `pow1/3_binary64_842`

Counts

4 → 70

Calls

4 calls:

9.0ms	(-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))
9.0ms	(-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1674 to 1038 computations (38% saved)

series415.0ms (7.6%)

Error

7.2b

Counts

4 → 18

Calls

4 calls:

111.0ms	(cbrt.f64 x)
108.0ms	(cbrt.f64 x)
84.0ms	(-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))
84.0ms	(-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))

Compiler

Compiled 1052 to 872 computations (17.1% saved)

simplify97.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

398×	`distribute-rgt-in_binary64_710`
351×	`associate-l_binary64_701`
321×	`associate-r_binary64_700`
231×	`distribute-rgt-neg-in_binary64_718`
228×	`distribute-lft-neg-in_binary64_717`
137×	`sub-neg_binary64_753`
129×	`distribute-rgt-out_binary64_713`
121×	`distribute-rgt-out--_binary64_714`
96×	`distribute-lft-out--_binary64_712`
86×	`distribute-lft-out_binary64_711`
85×	`*-commutative_binary64_691`
83×	`difference-of-squares_binary64_729`
78×	`distribute-lft-neg-out_binary64_719`
76×	`cancel-sign-sub-inv_binary64_726`
75×	`log-prod_binary64_846`
70×	`sqr-pow_binary64_732` `distribute-rgt-neg-out_binary64_720`
65×	`+-commutative_binary64_690`
63×	`cube-prod_binary64_788`
56×	`unswap-sqr_binary64_728`
54×	`unsub-neg_binary64_754`
53×	`swap-sqr_binary64_727`
51×	`exp-prod_binary64_812`
47×	`neg-sub0_binary64_755`
46×	`log-div_binary64_847`
44×	`associate-/r*_binary64_704`
43×	`exp-sum_binary64_806` `distribute-lft-in_binary64_709`
42×	`neg-mul-1_binary64_756`
39×	`associate--l+_binary64_697`
34×	`associate-+l+_binary64_693`
33×	`distribute-neg-in_binary64_721`
30×	`log-pow_binary64_849`
27×	`associate-+r+_binary64_692`
23×	`associate-+l-_binary64_695`
18×	`exp-diff_binary64_808` `associate-+r-_binary64_694`
17×	`pow-plus_binary64_823` `associate--r+_binary64_696`
16×	`pow-sqr_binary64_733`
15×	`+-rgt-identity_binary64_745`
14×	`cube-unmult_binary64_797` `sub0-neg_binary64_747`
13×	`unpow3_binary64_826`
10×	`mul0-rgt_binary64_743` `mul0-lft_binary64_742`
9×	`div-sub_binary64_765` `+-inverses_binary64_739`
7×	`rem-sqrt-square_binary64_773`
5×	`mul-1-neg_binary64_752` `distribute-rgt1-in_binary64_716`
4×	`unpow1/3_binary64_827` `cube-mult_binary64_790`
3×	`exp-to-pow_binary64_822` `+-lft-identity_binary64_744` `associate--r-_binary64_699`
2×	`log-rec_binary64_848` `exp-neg_binary64_807` `rem-exp-log_binary64_800` `rem-3cbrt-lft_binary64_785` `rem-cube-cbrt_binary64_783` `difference-of-sqr-1_binary64_730` `cancel-sign-sub_binary64_725` `count-2_binary64_708`
1×	`unpow2_binary64_825` `unpow1/2_binary64_824` `unpow1_binary64_818` `exp-lft-cube_binary64_816` `div-exp_binary64_811` `1-exp_binary64_804` `sqr-neg_binary64_774` `rem-square-sqrt_binary64_772` `*-lft-identity_binary64_749` `remove-double-neg_binary64_748` `distribute-neg-out_binary64_722`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `pow-base-0_binary64_844` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `rec-exp_binary64_810` `prod-exp_binary64_809` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-log-exp_binary64_801` `cube-div_binary64_789` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-cbrt-cube_binary64_784` `sqr-abs_binary64_775` `times-frac_binary64_766` `/-rgt-identity_binary64_751` `-rgt-identity_binary64_750` `--rgt-identity_binary64_746` `div0_binary64_741` `-inverses_binary64_740` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `distribute-neg-frac_binary64_724` `distribute-frac-neg_binary64_723` `distribute-lft1-in_binary64_715` `associate-/l/_binary64_707` `associate-/r/_binary64_706` `associate-/l_binary64_705` `associate-l/_binary64_703` `associate-*r/_binary64_702` `associate--l-_binary64_698`

Counts

88 → 46

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	1254
1	216	1184
2	562	1134
3	2251	1120
4	4962	1120
5	4749	1120

prune65.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	46	0	46
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	46	7	53

Error

7.2b

Counts

53 → 7

Compiler

Compiled 1074 to 731 computations (31.9% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))
0.3b	(*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
0.5b	(cbrt.f64 x)
8.7b	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))

rewrite212.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Error

7.2b

Rules

41×	`cbrt-prod_binary64_791`
33×	`*-un-lft-identity_binary64_760`
25×	`add-sqr-sqrt_binary64_782`
17×	`add-cube-cbrt_binary64_795`
16×	`cbrt-div_binary64_792`
11×	`pow1_binary64_821`
9×	`swap-sqr_binary64_727`
8×	`pow1/3_binary64_842`
7×	`flip3-+_binary64_763` `flip-+_binary64_734` `distribute-lft-out_binary64_711` `associate-l_binary64_701` `associate-r_binary64_700`
6×	`add-log-exp_binary64_799` `add-exp-log_binary64_798` `cancel-sign-sub-inv_binary64_726`
4×	`add-cbrt-cube_binary64_796` `frac-times_binary64_770` `unswap-sqr_binary64_728`
2×	`pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-sqr_binary64_733` `associate-l/_binary64_703` `associate-r/_binary64_702`
1×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `pow2_binary64_841` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 98

Calls

4 calls:

15.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))
12.0ms	(*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
6.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2765 to 2086 computations (24.6% saved)

series378.0ms (6.9%)

Error

7.2b

Counts

4 → 25

Calls

4 calls:

124.0ms	(cbrt.f64 x)
105.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))
61.0ms	(*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
59.0ms	(cbrt.f64 (cbrt.f64 (+.f64 1 x)))

Compiler

Compiled 1210 to 1018 computations (15.9% saved)

simplify123.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

435×	`cancel-sign-sub-inv_binary64_726`
327×	`*-commutative_binary64_691`
258×	`difference-of-squares_binary64_729`
203×	`log-prod_binary64_846`
191×	`sub-neg_binary64_753`
176×	`exp-prod_binary64_812`
157×	`sqr-pow_binary64_732`
148×	`exp-sum_binary64_806` `swap-sqr_binary64_727`
137×	`unswap-sqr_binary64_728`
134×	`associate-r_binary64_700`
127×	`associate-l_binary64_701`
114×	`+-commutative_binary64_690`
85×	`distribute-rgt-in_binary64_710`
83×	`cube-prod_binary64_788`
76×	`distribute-lft-in_binary64_709`
69×	`associate-+r+_binary64_692`
67×	`associate-/r*_binary64_704` `associate-+l+_binary64_693`
62×	`unsub-neg_binary64_754`
60×	`neg-mul-1_binary64_756`
59×	`neg-sub0_binary64_755`
58×	`associate--l+_binary64_697`
57×	`exp-diff_binary64_808`
49×	`log-div_binary64_847`
48×	`distribute-rgt-neg-in_binary64_718`
46×	`pow-sqr_binary64_733`
43×	`log-pow_binary64_849` `unpow3_binary64_826`
38×	`pow-plus_binary64_823`
36×	`distribute-lft-neg-in_binary64_717`
35×	`distribute-rgt-out_binary64_713`
33×	`associate-+l-_binary64_695`
28×	`associate-+r-_binary64_694`
23×	`+-rgt-identity_binary64_745`
19×	`rem-sqrt-square_binary64_773` `sub0-neg_binary64_747` `distribute-lft-out_binary64_711` `associate--r+_binary64_696`
18×	`difference-of-sqr-1_binary64_730` `distribute-lft-neg-out_binary64_719`
16×	`cube-unmult_binary64_797`
14×	`*-lft-identity_binary64_749`
13×	`*-rgt-identity_binary64_750`
12×	`distribute-rgt-out--_binary64_714`
11×	`div-sub_binary64_765`
10×	`mul0-rgt_binary64_743` `mul0-lft_binary64_742`
9×	`unpow1/3_binary64_827` `distribute-rgt-neg-out_binary64_720`
8×	`exp-to-pow_binary64_822` `times-frac_binary64_766` `distribute-neg-in_binary64_721`
7×	`cube-mult_binary64_790` `distribute-rgt1-in_binary64_716`
6×	`+-lft-identity_binary64_744` `associate-/l*_binary64_705`
5×	`unpow2_binary64_825` `distribute-lft-out--_binary64_712`
4×	`prod-exp_binary64_809` `exp-neg_binary64_807` `rem-3cbrt-lft_binary64_785` `count-2_binary64_708`
3×	`unpow1/2_binary64_824` `rem-cbrt-cube_binary64_784` `mul-1-neg_binary64_752` `difference-of-sqr--1_binary64_731` `associate-/l/_binary64_707` `associate--r-_binary64_699`
2×	`log-rec_binary64_848` `exp-lft-cube_binary64_816` `rec-exp_binary64_810` `rem-exp-log_binary64_800` `rem-cube-cbrt_binary64_783` `rem-square-sqrt_binary64_772` `+-inverses_binary64_739`
1×	`unpow1_binary64_818` `div-exp_binary64_811` `1-exp_binary64_804` `exp-1-e_binary64_803` `rem-3cbrt-rft_binary64_786` `sqr-neg_binary64_774` `remove-double-neg_binary64_748` `distribute-lft1-in_binary64_715`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `pow-base-0_binary64_844` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `e-exp-1_binary64_805` `exp-0_binary64_802` `rem-log-exp_binary64_801` `cube-div_binary64_789` `cube-neg_binary64_787` `sqr-abs_binary64_775` `/-rgt-identity_binary64_751` `--rgt-identity_binary64_746` `div0_binary64_741` `-inverses_binary64_740` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `cancel-sign-sub_binary64_725` `distribute-neg-frac_binary64_724` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `associate-/r/_binary64_706` `associate-l/_binary64_703` `associate-*r/_binary64_702` `associate--l-_binary64_698`

Counts

123 → 85

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	197	2263
1	435	2178
2	1234	1762
3	2655	1632
4	4593	1593
5	4822	1593

prune121.0ms (2.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	86	6	92

Error

7.2b

Counts

92 → 6

Compiler

Compiled 1840 to 1373 computations (25.4% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)
0.4b	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 4)
0.5b	(cbrt.f64 x)
16.2b	(-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 4) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))

rewrite206.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

7.2b

Rules

21×	`cbrt-prod_binary64_791`
18×	`*-un-lft-identity_binary64_760`
17×	`unpow-prod-down_binary64_839`
14×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
6×	`add-log-exp_binary64_799` `pow1_binary64_821` `add-exp-log_binary64_798` `cancel-sign-sub-inv_binary64_726` `pow-unpow_binary64_837`
4×	`add-cbrt-cube_binary64_796` `pow-pow_binary64_832`
3×	`pow1/3_binary64_842`
2×	`distribute-lft-out_binary64_711` `pow-to-exp_binary64_829` `pow-exp_binary64_828` `sqr-pow_binary64_732`
1×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `unpow2_binary64_825`

Counts

4 → 76

Calls

4 calls:

12.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 4) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))
8.0ms	(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)
6.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 4)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2595 to 2093 computations (19.3% saved)

series415.0ms (7.6%)

Error

7.2b

Counts

4 → 24

Calls

4 calls:

107.0ms	(cbrt.f64 x)
103.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 4) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 x))
92.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 4)
72.0ms	(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)

Compiler

Compiled 1464 to 1264 computations (13.7% saved)

simplify111.0ms (2%)

Algorithm

1×	egg-herbie

Rules

321×	`distribute-rgt-in_binary64_710`
285×	`cancel-sign-sub-inv_binary64_726`
247×	`sqr-pow_binary64_732`
242×	`*-commutative_binary64_691`
218×	`exp-sum_binary64_806`
199×	`log-prod_binary64_846`
196×	`exp-prod_binary64_812`
161×	`sub-neg_binary64_753`
142×	`unswap-sqr_binary64_728`
140×	`distribute-rgt-neg-in_binary64_718`
133×	`distribute-lft-neg-in_binary64_717`
89×	`+-commutative_binary64_690`
79×	`log-pow_binary64_849`
76×	`pow-sqr_binary64_733`
71×	`associate-r_binary64_700`
69×	`associate-l_binary64_701`
67×	`cube-prod_binary64_788`
65×	`difference-of-squares_binary64_729`
63×	`swap-sqr_binary64_727`
61×	`distribute-rgt-out_binary64_713` `associate-/r*_binary64_704`
59×	`unpow3_binary64_826`
58×	`neg-mul-1_binary64_756`
57×	`neg-sub0_binary64_755` `unsub-neg_binary64_754`
56×	`associate--l+_binary64_697`
52×	`exp-diff_binary64_808`
50×	`distribute-lft-in_binary64_709`
49×	`associate-+l+_binary64_693`
48×	`associate-+r+_binary64_692`
46×	`log-div_binary64_847`
43×	`pow-plus_binary64_823`
37×	`rem-sqrt-square_binary64_773` `distribute-lft-out_binary64_711`
33×	`distribute-neg-in_binary64_721`
29×	`associate-+l-_binary64_695`
25×	`distribute-lft-neg-out_binary64_719`
24×	`associate-+r-_binary64_694`
23×	`cube-unmult_binary64_797`
22×	`distribute-rgt-neg-out_binary64_720`
21×	`+-rgt-identity_binary64_745`
18×	`unpow2_binary64_825` `unpow1/2_binary64_824` `unpow1_binary64_818`
17×	`sub0-neg_binary64_747` `associate--r+_binary64_696`
13×	`exp-to-pow_binary64_822` `prod-exp_binary64_809` `distribute-lft-out--_binary64_712`
12×	`distribute-rgt-out--_binary64_714`
10×	`mul0-rgt_binary64_743` `mul0-lft_binary64_742`
9×	`unpow1/3_binary64_827` `div-sub_binary64_765`
8×	`cube-mult_binary64_790` `associate-/l/_binary64_707`
7×	`+-lft-identity_binary64_744`
5×	`exp-neg_binary64_807` `associate-*r/_binary64_702`
4×	`associate-/l*_binary64_705`
3×	`exp-lft-cube_binary64_816` `rec-exp_binary64_810` `rem-cube-cbrt_binary64_783` `times-frac_binary64_766` `mul-1-neg_binary64_752` `*-rgt-identity_binary64_750` `count-2_binary64_708` `associate--r-_binary64_699`
2×	`log-rec_binary64_848` `rem-exp-log_binary64_800` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-square-sqrt_binary64_772` `difference-of-sqr-1_binary64_730` `associate-/r/_binary64_706`
1×	`div-exp_binary64_811` `1-exp_binary64_804` `sqr-neg_binary64_774` `*-lft-identity_binary64_749` `remove-double-neg_binary64_748` `+-inverses_binary64_739` `cancel-sign-sub_binary64_725` `distribute-neg-out_binary64_722`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `pow-base-0_binary64_844` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-log-exp_binary64_801` `cube-div_binary64_789` `cube-neg_binary64_787` `sqr-abs_binary64_775` `/-rgt-identity_binary64_751` `--rgt-identity_binary64_746` `div0_binary64_741` `-inverses_binary64_740` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `distribute-neg-frac_binary64_724` `distribute-frac-neg_binary64_723` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715` `associate-l/_binary64_703` `associate--l-_binary64_698`

Counts

100 → 66

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	197	1951
1	455	1775
2	1110	1706
3	2428	1236
4	4485	1229
5	4942	1229

prune104.0ms (1.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	66	6	72

Error

7.2b

Counts

72 → 6

Compiler

Compiled 1625 to 1279 computations (21.3% saved)

regimes321.0ms (5.9%)

Accuracy

Total 0.4b remaining (4.5%)

Threshold costs 0.4b (4.5%)

Compiler

Compiled 2639 to 2096 computations (20.6% saved)

bsearch53.0ms (1%)

Steps

Iters	Range		Point
9	4.90459583130333e-08	0.69293070405252	2.9708167353134948e-06
11	-2.1193600986340275e+20	-2.7329607245277505	-78001.84799997171

Compiler

Compiled 1 to 1 computations (0% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64_690`
8×	`*-commutative_binary64_691`
6×	`sub-neg_binary64_753`
4×	`neg-mul-1_binary64_756` `neg-sub0_binary64_755`
2×	`cancel-sign-sub-inv_binary64_726` `distribute-rgt-neg-in_binary64_718`
1×	`1-exp_binary64_804` `distribute-lft-neg-out_binary64_719` `distribute-lft-neg-in_binary64_717`
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_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `unpow1_binary64_818` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `unsub-neg_binary64_754` `mul-1-neg_binary64_752` `/-rgt-identity_binary64_751` `-rgt-identity_binary64_750` `-lft-identity_binary64_749` `remove-double-neg_binary64_748` `sub0-neg_binary64_747` `--rgt-identity_binary64_746` `+-rgt-identity_binary64_745` `+-lft-identity_binary64_744` `cancel-sign-sub_binary64_725` `distribute-neg-frac_binary64_724` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-neg-in_binary64_721` `distribute-rgt-neg-out_binary64_720`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	95
1	51	95
2	63	95
3	71	95
4	76	95
5	77	95
6	76	95

end0.0ms (0%)

sample1.9s (35.6%)

Algorithm

1×

intervals

Results

186.0ms	1986×	body	1024	valid
101.0ms	4287×	body	128	valid
64.0ms	990×	body	512	valid
29.0ms	216×	body	2048	valid
26.0ms	521×	body	256	valid

Compiler

Compiled 1344 to 1068 computations (20.5% saved)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11
0	1	1
1	1	1

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11
0	1	1
1	1	1

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11

Details

analyze156.0ms (2.8%)

sample20.0ms (0.4%)

simplify12.0ms (0.2%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite82.0ms (1.5%)

series281.0ms (5.1%)

simplify120.0ms (2.2%)

prune59.0ms (1.1%)

localize10.0ms (0.2%)

rewrite130.0ms (2.4%)

series415.0ms (7.6%)

simplify97.0ms (1.8%)

prune65.0ms (1.2%)

localize10.0ms (0.2%)

rewrite212.0ms (3.9%)

series378.0ms (6.9%)

simplify123.0ms (2.2%)

prune121.0ms (2.2%)

localize15.0ms (0.3%)

rewrite206.0ms (3.8%)

series415.0ms (7.6%)

simplify111.0ms (2%)

prune104.0ms (1.9%)

regimes321.0ms (5.9%)

bsearch53.0ms (1%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.9s (35.6%)

Profiling

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11
0	1	1
1	1	1

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11