Details

analyze913.0ms (7.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

715×	`div-sub_binary64_765`
690×	`sub-neg_binary64_753`
580×	`neg-mul-1_binary64_756`
490×	`neg-sub0_binary64_755`
476×	`associate-/r*_binary64_704`
402×	`distribute-neg-frac_binary64_724`
320×	`distribute-rgt-neg-in_binary64_718`
280×	`distribute-rgt-neg-out_binary64_720`
254×	`distribute-lft-neg-in_binary64_717`
248×	`distribute-lft-neg-out_binary64_719`
231×	`+-commutative_binary64_690`
226×	`associate-/r/_binary64_706`
220×	`associate-/l*_binary64_705`
217×	`associate-*l/_binary64_703`
200×	`associate-+l-_binary64_695`
198×	`remove-double-neg_binary64_748`
189×	`distribute-rgt-in_binary64_710`
185×	`cancel-sign-sub-inv_binary64_726`
144×	`times-frac_binary64_766`
140×	`unsub-neg_binary64_754`
131×	`associate-/l/_binary64_707`
119×	`associate-*r/_binary64_702`
117×	`associate--r+_binary64_696`
100×	`distribute-lft-in_binary64_709`
93×	`distribute-frac-neg_binary64_723`
88×	`sub0-neg_binary64_747`
76×	`cancel-sign-sub_binary64_725`
72×	`*-lft-identity_binary64_749`
71×	`associate--l-_binary64_698`
68×	`distribute-neg-in_binary64_721`
65×	`*-commutative_binary64_691`
61×	`+-lft-identity_binary64_744`
57×	`associate--r-_binary64_699`
54×	`/-rgt-identity_binary64_751`
53×	`+-rgt-identity_binary64_745`
48×	`associate-r_binary64_700`
40×	`associate-+r-_binary64_694` `associate-+l+_binary64_693`
36×	`div0_binary64_741`
34×	`associate-l_binary64_701`
24×	`--rgt-identity_binary64_746`
18×	`mul0-rgt_binary64_743` `mul0-lft_binary64_742` `associate--l+_binary64_697`
17×	`associate-+r+_binary64_692`
6×	`*-rgt-identity_binary64_750`
3×	`sqr-neg_binary64_774` `swap-sqr_binary64_727`
1×	`1-exp_binary64_804`
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` `rem-sqrt-square_binary64_773` `rem-square-sqrt_binary64_772` `mul-1-neg_binary64_752` `*-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` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	104
1	82	96
2	160	96
3	321	96
4	480	96
5	786	96
6	1384	96
7	2448	96
8	3546	96
9	4339	96
10	4614	96
11	4871	96
12	4961	96
13	5132	96
0	3	3
1	3	3

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
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample43.0ms (0.3%)

Algorithm

1×

intervals

Results

11.0ms	45×	body	2048	valid
8.0ms	161×	body	128	valid
5.0ms	25×	body	1024	valid
4.0ms	12×	body	4096	valid
1.0ms	9×	body	512	valid
1.0ms	21×	body	128	nan
1.0ms	9×	body	128	invalid
0.0ms	4×	body	256	valid

Compiler

Compiled 35 to 32 computations (8.6% saved)

simplify352.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1228×	`associate-/l*_binary64_705`
1150×	`div-sub_binary64_765`
630×	`distribute-rgt-in_binary64_710`
619×	`times-frac_binary64_766`
588×	`associate-/r*_binary64_704`
554×	`distribute-lft-in_binary64_709`
519×	`unsub-neg_binary64_754`
479×	`associate-/r/_binary64_706`
457×	`cancel-sign-sub-inv_binary64_726`
434×	`sub-neg_binary64_753`
393×	`*-commutative_binary64_691`
381×	`associate-/l/_binary64_707`
225×	`distribute-rgt-neg-in_binary64_718`
224×	`associate-*l/_binary64_703`
212×	`distribute-rgt-out--_binary64_714`
198×	`distribute-lft-neg-in_binary64_717`
184×	`distribute-neg-frac_binary64_724`
179×	`neg-mul-1_binary64_756`
156×	`distribute-rgt-out_binary64_713`
141×	`neg-sub0_binary64_755`
121×	`associate--r+_binary64_696`
120×	`distribute-rgt-neg-out_binary64_720`
101×	`associate--r-_binary64_699` `+-commutative_binary64_690`
98×	`associate-*r/_binary64_702`
87×	`distribute-lft-neg-out_binary64_719`
86×	`mul0-rgt_binary64_743`
80×	`mul0-lft_binary64_742`
69×	`distribute-frac-neg_binary64_723`
68×	`distribute-neg-out_binary64_722`
64×	`distribute-lft-out_binary64_711`
62×	`div0_binary64_741`
61×	`associate--l-_binary64_698`
60×	`*-lft-identity_binary64_749`
57×	`associate-r_binary64_700`
51×	`associate-l_binary64_701`
48×	`distribute-lft-out--_binary64_712`
30×	`+-lft-identity_binary64_744` `distribute-neg-in_binary64_721`
28×	`associate--l+_binary64_697`
27×	`remove-double-neg_binary64_748`
26×	`/-rgt-identity_binary64_751`
24×	`associate-+r-_binary64_694`
19×	`sub0-neg_binary64_747` `--rgt-identity_binary64_746`
17×	`*-rgt-identity_binary64_750`
16×	`mul-1-neg_binary64_752`
14×	`remove-double-div_binary64_736` `associate-+l+_binary64_693`
13×	`associate-+l-_binary64_695`
7×	`associate-+r+_binary64_692`
5×	`+-rgt-identity_binary64_745`
1×	`1-exp_binary64_804` `swap-sqr_binary64_727`
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` `*-inverses_binary64_740` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `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` `cancel-sign-sub_binary64_725` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715` `count-2_binary64_708`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	24
2	62	24
3	121	24
4	172	24
5	282	24
6	460	24
7	748	24
8	1084	24
9	1128	24
10	1799	24
11	2594	24
12	2001	24
13	2089	24
14	2153	24
15	2179	24
16	2431	24
17	2909	24
18	2913	24
19	2991	24
20	3053	24
21	3065	24
22	3035	24
23	3211	24
24	3211	24
25	2043	24
26	2195	24
27	2097	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	1834	24

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

34.2b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
0.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
0.6b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
23.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite159.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

34.0b

Rules

21×	`add-sqr-sqrt_binary64_782`
14×	`*-un-lft-identity_binary64_760`
9×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
8×	`add-log-exp_binary64_799` `add-cube-cbrt_binary64_795`
6×	`sqrt-prod_binary64_776` `difference-of-squares_binary64_729` `times-frac_binary64_766` `associate-/l*_binary64_705`
5×	`pow1_binary64_821`
4×	`flip3--_binary64_764` `flip--_binary64_735` `cancel-sign-sub-inv_binary64_726`
3×	`distribute-lft-out--_binary64_712`
2×	`sqrt-div_binary64_777` `diff-log_binary64_852` `sub-neg_binary64_753` `div-exp_binary64_811` `cbrt-undiv_binary64_794` `associate-/l/_binary64_707`
1×	`pow1/2_binary64_840` `sqrt-pow1_binary64_778` `rem-sqrt-square_binary64_773` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `frac-2neg_binary64_771` `div-sub_binary64_765` `clear-num_binary64_759` `div-inv_binary64_757` `associate-/r*_binary64_704`

Counts

4 → 74

Calls

4 calls:

12.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2100 to 1088 computations (48.2% saved)

series1.0s (8.2%)

Error

5.1b

Counts

4 → 71

Calls

4 calls:

300.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
238.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
227.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
194.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 3132 to 2372 computations (24.3% saved)

simplify91.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

740×	`times-frac_binary64_766`
558×	`associate-/l*_binary64_705`
178×	`distribute-rgt-in_binary64_710`
174×	`distribute-lft-in_binary64_709`
154×	`cancel-sign-sub-inv_binary64_726`
152×	`distribute-rgt-neg-in_binary64_718`
135×	`distribute-lft-neg-in_binary64_717`
113×	`associate-/r/_binary64_706`
108×	`sub-neg_binary64_753`
102×	`associate-/l/_binary64_707`
97×	`associate-r_binary64_700`
93×	`associate-l_binary64_701` `*-commutative_binary64_691`
63×	`unswap-sqr_binary64_728`
59×	`div-sub_binary64_765`
58×	`+-commutative_binary64_690`
57×	`associate-/r*_binary64_704`
52×	`neg-sub0_binary64_755`
49×	`neg-mul-1_binary64_756`
44×	`sqr-pow_binary64_732`
39×	`exp-prod_binary64_812`
37×	`distribute-neg-frac_binary64_724` `distribute-rgt-out_binary64_713`
29×	`associate-*l/_binary64_703`
27×	`associate-*r/_binary64_702` `associate--l+_binary64_697`
23×	`distribute-lft-neg-out_binary64_719`
18×	`cube-prod_binary64_788`
15×	`swap-sqr_binary64_727`
13×	`distribute-neg-in_binary64_721` `associate-+l+_binary64_693`
12×	`distribute-lft-out_binary64_711` `associate-+r-_binary64_694`
11×	`+-rgt-identity_binary64_745` `distribute-rgt-neg-out_binary64_720`
10×	`unsub-neg_binary64_754`
9×	`associate-+r+_binary64_692`
8×	`unpow3_binary64_826` `exp-sum_binary64_806` `cube-mult_binary64_790` `difference-of-squares_binary64_729` `associate--r+_binary64_696`
7×	`exp-diff_binary64_808`
6×	`cube-unmult_binary64_797` `mul-1-neg_binary64_752`
5×	`distribute-lft-out--_binary64_712`
4×	`log-div_binary64_847` `pow-plus_binary64_823` `pow-sqr_binary64_733`
3×	`log-prod_binary64_846` `unpow2_binary64_825` `unpow1/2_binary64_824` `unpow1_binary64_818` `exp-sqrt_binary64_813` `rem-sqrt-square_binary64_773` `distribute-rgt-out--_binary64_714` `associate-+l-_binary64_695`
2×	`div-exp_binary64_811` `cube-div_binary64_789` `rem-square-sqrt_binary64_772`
1×	`log-pow_binary64_849` `exp-lft-sqr_binary64_815` `1-exp_binary64_804` `rem-3cbrt-lft_binary64_785` `remove-double-neg_binary64_748` `div0_binary64_741` `*-inverses_binary64_740` `cancel-sign-sub_binary64_725` `distribute-neg-out_binary64_722` `count-2_binary64_708` `associate--r-_binary64_699` `associate--l-_binary64_698`
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-rec_binary64_848` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-cbrt_binary64_814` `rec-exp_binary64_810` `prod-exp_binary64_809` `exp-neg_binary64_807` `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-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `/-rgt-identity_binary64_751` `-rgt-identity_binary64_750` `-lft-identity_binary64_749` `sub0-neg_binary64_747` `--rgt-identity_binary64_746` `+-lft-identity_binary64_744` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `distribute-frac-neg_binary64_723` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715`

Counts

145 → 93

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	206	3156
1	556	2897
2	1690	2891
3	5000	2891

prune116.0ms (0.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	85	8	93
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	85	9	94

Error

5.0b

Counts

94 → 9

Compiler

Compiled 1927 to 1013 computations (47.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
0.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
0.6b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
23.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite1.0s (8.2%)

Algorithm

1×	rewrite-expression-head

Error

5.0b

Rules

693×	`times-frac_binary64_766`
439×	`add-sqr-sqrt_binary64_782`
364×	`*-un-lft-identity_binary64_760`
290×	`add-cube-cbrt_binary64_795`
74×	`difference-of-squares_binary64_729`
71×	`associate-/r*_binary64_704`
40×	`sqrt-prod_binary64_776`
37×	`distribute-lft-out--_binary64_712`
25×	`add-exp-log_binary64_798`
17×	`div-inv_binary64_757`
15×	`div-exp_binary64_811`
13×	`add-cbrt-cube_binary64_796`
8×	`add-log-exp_binary64_799`
6×	`pow1_binary64_821` `cbrt-undiv_binary64_794`
5×	`associate-/r/_binary64_706`
4×	`cancel-sign-sub-inv_binary64_726`
3×	`flip3--_binary64_764` `flip--_binary64_735` `1-exp_binary64_804` `rec-exp_binary64_810` `associate-/l*_binary64_705`
2×	`sqrt-div_binary64_777` `diff-log_binary64_852` `sub-neg_binary64_753`
1×	`pow1/2_binary64_840` `sqrt-pow1_binary64_778` `rem-sqrt-square_binary64_773` `inv-pow_binary64_845` `pow-flip_binary64_834` `frac-2neg_binary64_771` `clear-num_binary64_759`

Counts

4 → 356

Calls

4 calls:

23.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
11.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
5.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 14021 to 8305 computations (40.8% saved)

series1.0s (8.1%)

Error

5.0b

Counts

4 → 71

Calls

4 calls:

308.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
233.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
227.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
183.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 3398 to 2638 computations (22.4% saved)

simplify560.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

478×	`associate-/r/_binary64_706`
327×	`associate-*l/_binary64_703`
326×	`*-commutative_binary64_691`
279×	`associate-/l/_binary64_707`
267×	`associate-*r/_binary64_702`
206×	`associate-/r*_binary64_704`
205×	`associate-/l*_binary64_705`
160×	`associate-r_binary64_700`
121×	`sub-neg_binary64_753`
116×	`div-sub_binary64_765`
113×	`times-frac_binary64_766`
99×	`associate-l_binary64_701`
97×	`exp-prod_binary64_812`
77×	`unswap-sqr_binary64_728`
76×	`*-rgt-identity_binary64_750`
68×	`neg-sub0_binary64_755`
67×	`neg-mul-1_binary64_756`
63×	`+-commutative_binary64_690`
51×	`cube-prod_binary64_788`
49×	`cancel-sign-sub-inv_binary64_726`
48×	`sqr-pow_binary64_732`
37×	`distribute-rgt-in_binary64_710`
35×	`distribute-lft-in_binary64_709`
33×	`distribute-rgt-neg-in_binary64_718`
29×	`distribute-lft-neg-in_binary64_717`
27×	`unpow3_binary64_826` `associate--l+_binary64_697`
26×	`log-div_binary64_847` `log-prod_binary64_846`
25×	`*-lft-identity_binary64_749` `remove-double-div_binary64_736`
22×	`cube-div_binary64_789`
19×	`/-rgt-identity_binary64_751`
18×	`exp-sum_binary64_806` `associate-+r+_binary64_692`
17×	`cube-mult_binary64_790` `associate-+r-_binary64_694`
14×	`unsub-neg_binary64_754`
13×	`exp-diff_binary64_808` `associate-+l+_binary64_693`
12×	`+-rgt-identity_binary64_745`
11×	`pow-plus_binary64_823` `cube-unmult_binary64_797`
10×	`associate--r+_binary64_696`
8×	`difference-of-squares_binary64_729` `swap-sqr_binary64_727`
7×	`log-rec_binary64_848` `distribute-neg-frac_binary64_724` `distribute-neg-in_binary64_721`
6×	`mul-1-neg_binary64_752`
5×	`rem-sqrt-square_binary64_773` `distribute-rgt-out_binary64_713` `distribute-lft-out--_binary64_712`
4×	`unpow2_binary64_825` `exp-sqrt_binary64_813` `pow-sqr_binary64_733` `distribute-lft-neg-out_binary64_719`
3×	`log-pow_binary64_849` `unpow1/2_binary64_824` `unpow1_binary64_818` `associate--r-_binary64_699` `associate-+l-_binary64_695`
2×	`div-exp_binary64_811` `rem-square-sqrt_binary64_772` `+-lft-identity_binary64_744`
1×	`unpow-1_binary64_817` `1-exp_binary64_804` `exp-1-e_binary64_803` `rem-3cbrt-lft_binary64_785` `remove-double-neg_binary64_748` `sub0-neg_binary64_747` `div0_binary64_741` `*-inverses_binary64_740` `distribute-rgt-neg-out_binary64_720` `distribute-rgt-out--_binary64_714` `distribute-lft-out_binary64_711` `associate--l-_binary64_698`
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` `unpow1/3_binary64_827` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `rec-exp_binary64_810` `prod-exp_binary64_809` `exp-neg_binary64_807` `e-exp-1_binary64_805` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `--rgt-identity_binary64_746` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `cancel-sign-sub_binary64_725` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715` `count-2_binary64_708`

Counts

427 → 365

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	522	18266
1	1271	17391
2	4422	17198
3	4662	17198
4	4983	17198
5	4955	17198

prune744.0ms (5.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	363	2	365
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	364	10	374

Error

5.0b

Counts

374 → 10

Compiler

Compiled 11858 to 6521 computations (45% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.6b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
23.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
23.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite126.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

5.0b

Rules

8×	`add-log-exp_binary64_799` `add-sqr-sqrt_binary64_782`
6×	`pow1_binary64_821` `add-cube-cbrt_binary64_795` `sqrt-prod_binary64_776` `*-un-lft-identity_binary64_760`
4×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `flip3--_binary64_764` `sqrt-div_binary64_777` `flip--_binary64_735`
2×	`pow1/2_binary64_840` `sqrt-pow1_binary64_778` `rem-sqrt-square_binary64_773` `diff-log_binary64_852` `sub-neg_binary64_753` `cancel-sign-sub-inv_binary64_726`

Counts

4 → 54

Calls

4 calls:

5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
5.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 2260 to 1171 computations (48.2% saved)

series982.0ms (7.8%)

Error

5.0b

Counts

4 → 74

Calls

4 calls:

250.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
218.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
207.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
206.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 5854 to 3949 computations (32.5% saved)

simplify95.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

574×	`cancel-sign-sub-inv_binary64_726`
559×	`associate-l_binary64_701`
520×	`associate-r_binary64_700`
464×	`unswap-sqr_binary64_728`
278×	`times-frac_binary64_766`
194×	`associate-/l*_binary64_705`
128×	`*-commutative_binary64_691`
124×	`associate-/r*_binary64_704`
104×	`distribute-rgt-neg-in_binary64_718`
97×	`distribute-lft-neg-in_binary64_717`
85×	`exp-prod_binary64_812`
84×	`sqr-pow_binary64_732`
81×	`neg-sub0_binary64_755`
75×	`neg-mul-1_binary64_756`
67×	`sub-neg_binary64_753`
42×	`swap-sqr_binary64_727` `associate-/r/_binary64_706`
40×	`distribute-rgt-in_binary64_710` `associate-*r/_binary64_702`
39×	`distribute-lft-in_binary64_709` `associate-*l/_binary64_703`
33×	`unsub-neg_binary64_754`
32×	`cube-prod_binary64_788`
31×	`+-commutative_binary64_690`
24×	`distribute-rgt-out_binary64_713`
21×	`distribute-neg-frac_binary64_724`
20×	`associate-/l/_binary64_707`
14×	`difference-of-squares_binary64_729`
13×	`associate-+r+_binary64_692`
12×	`cube-unmult_binary64_797` `associate--l+_binary64_697` `associate-+l-_binary64_695`
11×	`unpow3_binary64_826` `pow-plus_binary64_823` `pow-sqr_binary64_733` `associate-+r-_binary64_694` `associate-+l+_binary64_693`
10×	`+-rgt-identity_binary64_745` `distribute-lft-neg-out_binary64_719`
9×	`sub0-neg_binary64_747`
8×	`exp-sum_binary64_806` `cube-mult_binary64_790`
7×	`div-sub_binary64_765`
6×	`exp-diff_binary64_808` `mul0-rgt_binary64_743` `mul0-lft_binary64_742`
5×	`rem-sqrt-square_binary64_773` `mul-1-neg_binary64_752` `distribute-lft-out_binary64_711`
4×	`unpow2_binary64_825` `distribute-neg-in_binary64_721` `distribute-rgt-neg-out_binary64_720`
3×	`unpow1/2_binary64_824` `unpow1_binary64_818`
2×	`associate--r+_binary64_696`
1×	`log-prod_binary64_846` `div-exp_binary64_811` `1-exp_binary64_804` `sqr-neg_binary64_774` `rem-square-sqrt_binary64_772` `distribute-rgt-out--_binary64_714` `count-2_binary64_708`
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` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `rec-exp_binary64_810` `prod-exp_binary64_809` `exp-neg_binary64_807` `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-div_binary64_789` `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` `/-rgt-identity_binary64_751` `-rgt-identity_binary64_750` `-lft-identity_binary64_749` `remove-double-neg_binary64_748` `--rgt-identity_binary64_746` `+-lft-identity_binary64_744` `div0_binary64_741` `*-inverses_binary64_740` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `cancel-sign-sub_binary64_725` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715` `distribute-lft-out--_binary64_712` `associate--r-_binary64_699` `associate--l-_binary64_698`

Counts

128 → 80

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	86	2112
1	222	1986
2	706	1986
3	3552	1986
4	5579	1986

prune123.0ms (1%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	80	10	90

Error

5.0b

Counts

90 → 10

Compiler

Compiled 2820 to 1501 computations (46.8% saved)

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

5.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

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

simplify8.0ms (0.1%)

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_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 1-exp_binary64_804 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 neg-mul-1_binary64_756 neg-sub0_binary64_755 unsub-neg_binary64_754 sub-neg_binary64_753 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 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-inv_binary64_726 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 distribute-lft-neg-out_binary64_719 distribute-rgt-neg-in_binary64_718 distribute-lft-neg-in_binary64_717 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 distribute-rgt-in_binary64_710 distribute-lft-in_binary64_709 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--r-_binary64_699 associate--l-_binary64_698 associate--l+_binary64_697 associate--r+_binary64_696 associate-+l-_binary64_695 associate-+r-_binary64_694 associate-+l+_binary64_693 associate-+r+_binary64_692 *-commutative_binary64_691 +-commutative_binary64_690

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune1.0ms (0%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	6	6
Picked	1	1
Done	3	3
Total	10	10

Error

5.0b

Counts

10 → 10

Compiler

Compiled 0 to 0 computations (0% saved)

regimes1.8s (14.6%)

Accuracy

Total 4.4b remaining (44.8%)

Threshold costs 0b (0%)

Compiler

Compiled 9848 to 7382 computations (25% saved)

bsearch76.0ms (0.6%)

Steps

Iters	Range		Point
7	2.2792639689583562e-113	8.206238737732625e-112	8.121459778481235e-112
10	-2.4490456912145345e+129	-2.6432076806516105e+114	-3.738973093885898e+117

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64_691` `+-commutative_binary64_690`
10×	`sub-neg_binary64_753`
8×	`neg-sub0_binary64_755`
7×	`neg-mul-1_binary64_756`
4×	`distribute-rgt-neg-in_binary64_718`
3×	`distribute-lft-neg-in_binary64_717`
2×	`cancel-sign-sub-inv_binary64_726` `distribute-neg-frac_binary64_724`
1×	`unsub-neg_binary64_754` `mul-1-neg_binary64_752` `distribute-lft-neg-out_binary64_719`
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` `1-exp_binary64_804` `exp-1-e_binary64_803` `exp-0_binary64_802` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `/-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-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-neg-in_binary64_721` `distribute-rgt-neg-out_binary64_720`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	54
1	43	52
2	61	52
3	78	52
4	88	52
5	92	52
6	93	52
7	93	52

end0.0ms (0%)

sample3.2s (25.6%)

Algorithm

1×

intervals

Results

301.0ms	1183×	body	2048	valid
277.0ms	5212×	body	128	valid
142.0ms	709×	body	1024	valid
129.0ms	410×	body	4096	valid
48.0ms	317×	body	512	valid
32.0ms	675×	body	128	nan
23.0ms	402×	body	128	invalid
16.0ms	169×	body	256	valid

Compiler

Compiled 2547 to 1902 computations (25.3% saved)

Details

analyze913.0ms (7.2%)

sample43.0ms (0.3%)

simplify352.0ms (2.8%)

prune4.0ms (0%)

localize11.0ms (0.1%)

rewrite159.0ms (1.3%)

series1.0s (8.2%)

simplify91.0ms (0.7%)

prune116.0ms (0.9%)

localize13.0ms (0.1%)

rewrite1.0s (8.2%)

series1.0s (8.1%)

simplify560.0ms (4.4%)

prune744.0ms (5.9%)

localize16.0ms (0.1%)

rewrite126.0ms (1%)

series982.0ms (7.8%)

simplify95.0ms (0.8%)

prune123.0ms (1%)

localize3.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.1%)

prune1.0ms (0%)

regimes1.8s (14.6%)

bsearch76.0ms (0.6%)

simplify6.0ms (0%)

end0.0ms (0%)

sample3.2s (25.6%)

Profiling