Details

analyze63.0ms (1.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
56.2%	43.7%	0.1%	6
71.8%	28.1%	0.1%	7
73.4%	25%	1.7%	8
80.4%	16.4%	3.2%	9
80.8%	14%	5.2%	10
84.1%	8.8%	7.1%	11
84.2%	7.4%	8.4%	12
85.8%	4.5%	9.7%	13
85.8%	3.8%	10.4%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample15.0ms (0.3%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify165.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64_29689`
1×	`*-commutative_binary64_29676`
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_30008` `erf-erfc_binary64_30007` `erf-odd_binary64_30006` `if-if-and-not_binary64_30005` `if-if-and_binary64_30004` `if-if-or-not_binary64_30003` `if-if-or_binary64_30002` `if-not_binary64_30001` `if-same_binary64_30000` `if-false_binary64_29999` `if-true_binary64_29998` `not-gte_binary64_29997` `not-lte_binary64_29996` `not-gt_binary64_29995` `not-lt_binary64_29994` `gte-same_binary64_29993` `lte-same_binary64_29992` `gt-same_binary64_29991` `lt-same_binary64_29990` `sinh---cosh_binary64_29937` `sinh-+-cosh_binary64_29936` `sinh-cosh_binary64_29935` `tanh-def-c_binary64_29934` `tanh-def-b_binary64_29933` `tanh-def-a_binary64_29932` `cosh-def_binary64_29931` `sinh-def_binary64_29930` `tan-neg_binary64_29877` `cos-neg_binary64_29876` `sin-neg_binary64_29875` `tan-0_binary64_29874` `cos-0_binary64_29873` `sin-0_binary64_29872` `hang-m-tan_binary64_29871` `hang-p-tan_binary64_29870` `hang-m0-tan_binary64_29869` `hang-p0-tan_binary64_29868` `hang-0m-tan_binary64_29867` `hang-0p-tan_binary64_29866` `tan-+PI/2_binary64_29865` `tan-+PI_binary64_29864` `tan-PI_binary64_29863` `tan-PI/3_binary64_29862` `tan-PI/4_binary64_29861` `tan-PI/6_binary64_29860` `cos-+PI/2_binary64_29859` `cos-+PI_binary64_29858` `cos-PI_binary64_29857` `cos-PI/2_binary64_29856` `cos-PI/3_binary64_29855` `cos-PI/4_binary64_29854` `cos-PI/6_binary64_29853` `sin-+PI/2_binary64_29852` `sin-+PI_binary64_29851` `sin-PI_binary64_29850` `sin-PI/2_binary64_29849` `sin-PI/3_binary64_29848` `sin-PI/4_binary64_29847` `sin-PI/6_binary64_29846` `sub-1-sin_binary64_29845` `sub-1-cos_binary64_29844` `-1-add-sin_binary64_29843` `-1-add-cos_binary64_29842` `1-sub-sin_binary64_29841` `1-sub-cos_binary64_29840` `cos-sin-sum_binary64_29839` `log-E_binary64_29835` `log-pow_binary64_29834` `log-rec_binary64_29833` `log-div_binary64_29832` `log-prod_binary64_29831` `pow-base-0_binary64_29829` `unpow1/3_binary64_29812` `unpow3_binary64_29811` `unpow2_binary64_29810` `unpow1/2_binary64_29809` `pow-plus_binary64_29808` `exp-to-pow_binary64_29807` `pow-base-1_binary64_29805` `unpow0_binary64_29804` `unpow1_binary64_29803` `unpow-1_binary64_29802` `exp-lft-cube_binary64_29801` `exp-lft-sqr_binary64_29800` `exp-cbrt_binary64_29799` `exp-sqrt_binary64_29798` `exp-prod_binary64_29797` `div-exp_binary64_29796` `rec-exp_binary64_29795` `prod-exp_binary64_29794` `exp-diff_binary64_29793` `exp-neg_binary64_29792` `exp-sum_binary64_29791` `e-exp-1_binary64_29790` `1-exp_binary64_29789` `exp-1-e_binary64_29788` `exp-0_binary64_29787` `rem-log-exp_binary64_29786` `rem-exp-log_binary64_29785` `cube-unmult_binary64_29782` `cube-mult_binary64_29775` `cube-div_binary64_29774` `cube-prod_binary64_29773` `cube-neg_binary64_29772` `rem-3cbrt-rft_binary64_29771` `rem-3cbrt-lft_binary64_29770` `rem-cbrt-cube_binary64_29769` `rem-cube-cbrt_binary64_29768` `sqr-abs_binary64_29760` `sqr-neg_binary64_29759` `rem-sqrt-square_binary64_29758` `rem-square-sqrt_binary64_29757` `times-frac_binary64_29751` `div-sub_binary64_29750` `neg-mul-1_binary64_29741` `neg-sub0_binary64_29740` `unsub-neg_binary64_29739` `sub-neg_binary64_29738` `mul-1-neg_binary64_29737` `/-rgt-identity_binary64_29736` `-rgt-identity_binary64_29735` `-lft-identity_binary64_29734` `remove-double-neg_binary64_29733` `sub0-neg_binary64_29732` `--rgt-identity_binary64_29731` `+-rgt-identity_binary64_29730` `+-lft-identity_binary64_29729` `mul0-rgt_binary64_29728` `mul0-lft_binary64_29727` `div0_binary64_29726` `-inverses_binary64_29725` `+-inverses_binary64_29724` `lft-mult-inverse_binary64_29723` `rgt-mult-inverse_binary64_29722` `remove-double-div_binary64_29721` `pow-sqr_binary64_29718` `sqr-pow_binary64_29717` `difference-of-sqr--1_binary64_29716` `difference-of-sqr-1_binary64_29715` `difference-of-squares_binary64_29714` `unswap-sqr_binary64_29713` `swap-sqr_binary64_29712` `cancel-sign-sub-inv_binary64_29711` `cancel-sign-sub_binary64_29710` `distribute-neg-frac_binary64_29709` `distribute-frac-neg_binary64_29708` `distribute-neg-out_binary64_29707` `distribute-neg-in_binary64_29706` `distribute-rgt-neg-out_binary64_29705` `distribute-lft-neg-out_binary64_29704` `distribute-rgt-neg-in_binary64_29703` `distribute-lft-neg-in_binary64_29702` `distribute-rgt1-in_binary64_29701` `distribute-lft1-in_binary64_29700` `distribute-rgt-out--_binary64_29699` `distribute-rgt-out_binary64_29698` `distribute-lft-out--_binary64_29697` `distribute-lft-out_binary64_29696` `distribute-rgt-in_binary64_29695` `distribute-lft-in_binary64_29694` `count-2_binary64_29693` `associate-/l/_binary64_29692` `associate-/r/_binary64_29691` `associate-/l_binary64_29690` `associate-l/_binary64_29688` `associate-r/_binary64_29687` `associate-l_binary64_29686` `associate-r_binary64_29685` `associate--r-_binary64_29684` `associate--l-_binary64_29683` `associate--l+_binary64_29682` `associate--r+_binary64_29681` `associate-+l-_binary64_29680` `associate-+r-_binary64_29679` `associate-+l+_binary64_29678` `associate-+r+_binary64_29677` `+-commutative_binary64_29675`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	11	7

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

0.2b

Counts

1 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(/.f64 x (*.f64 y 3))

rewrite34.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-exp-log_binary64_29783` `add-cbrt-cube_binary64_29781`
3×	`add-cube-cbrt_binary64_29780` `add-sqr-sqrt_binary64_29767` `times-frac_binary64_29751` `-un-lft-identity_binary64_29745` `associate-/l_binary64_29690`
2×	`div-exp_binary64_29796` `cbrt-undiv_binary64_29779`
1×	`pow1_binary64_29806` `prod-exp_binary64_29794` `add-log-exp_binary64_29784` `cbrt-unprod_binary64_29778` `frac-2neg_binary64_29756` `clear-num_binary64_29744` `div-inv_binary64_29742` `associate-/r*_binary64_29689`

Counts

1 → 21

Calls

1 calls:

6.0ms

(/.f64 x (*.f64 y 3))

Compiler

Compiled 214 to 138 computations (35.5% saved)

series97.0ms (1.9%)

Error

0.1b

Counts

1 → 6

Calls

1 calls:

93.0ms

(/.f64 x (*.f64 y 3))

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify433.0ms (8.6%)

Algorithm

1×	egg-herbie

Rules

840×	`div-sub_binary64_29750`
649×	`associate-/l*_binary64_29690`
518×	`exp-prod_binary64_29797`
429×	`associate-/r/_binary64_29691`
388×	`associate-/r*_binary64_29689`
349×	`associate-*l/_binary64_29688`
280×	`cancel-sign-sub-inv_binary64_29711`
236×	`times-frac_binary64_29751`
224×	`*-commutative_binary64_29676`
217×	`distribute-rgt-in_binary64_29695`
191×	`distribute-rgt-out--_binary64_29699`
173×	`distribute-rgt-out_binary64_29698`
158×	`associate-*r/_binary64_29687`
144×	`unswap-sqr_binary64_29713`
139×	`sub-neg_binary64_29738`
129×	`associate-l_binary64_29686`
107×	`distribute-lft-in_binary64_29694`
103×	`associate-r_binary64_29685`
84×	`sqr-pow_binary64_29717`
83×	`associate-/l/_binary64_29692`
77×	`div0_binary64_29726`
61×	`mul0-rgt_binary64_29728` `mul0-lft_binary64_29727`
58×	`pow-sqr_binary64_29718`
51×	`neg-mul-1_binary64_29741`
46×	`distribute-rgt-neg-in_binary64_29703`
39×	`associate-+l-_binary64_29680`
36×	`exp-sum_binary64_29791`
33×	`distribute-neg-in_binary64_29706`
29×	`associate-+l+_binary64_29678`
28×	`unsub-neg_binary64_29739` `associate-+r+_binary64_29677`
27×	`associate--r+_binary64_29681` `+-commutative_binary64_29675`
25×	`distribute-lft-neg-in_binary64_29702`
21×	`pow-plus_binary64_29808`
20×	`neg-sub0_binary64_29740`
18×	`exp-diff_binary64_29793` `distribute-rgt1-in_binary64_29701` `associate-+r-_binary64_29679`
12×	`sub0-neg_binary64_29732`
11×	`distribute-lft-neg-out_binary64_29704` `associate--l+_binary64_29682`
10×	`associate--r-_binary64_29684`
8×	`distribute-lft-out_binary64_29696`
7×	`cube-unmult_binary64_29782` `--rgt-identity_binary64_29731` `+-rgt-identity_binary64_29730`
6×	`remove-double-neg_binary64_29733` `swap-sqr_binary64_29712`
5×	`log-div_binary64_29832` `count-2_binary64_29693` `associate--l-_binary64_29683`
4×	`pow-base-1_binary64_29805` `distribute-neg-out_binary64_29707` `distribute-rgt-neg-out_binary64_29705`
3×	`log-prod_binary64_29831` `exp-lft-cube_binary64_29801` `cube-prod_binary64_29773`
2×	`unpow3_binary64_29811` `exp-lft-sqr_binary64_29800` `exp-cbrt_binary64_29799` `cube-div_binary64_29774`
1×	`exp-sqrt_binary64_29798` `1-exp_binary64_29789` `exp-1-e_binary64_29788` `sqr-neg_binary64_29759` `+-lft-identity_binary64_29729` `distribute-lft1-in_binary64_29700`
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_30008` `erf-erfc_binary64_30007` `erf-odd_binary64_30006` `if-if-and-not_binary64_30005` `if-if-and_binary64_30004` `if-if-or-not_binary64_30003` `if-if-or_binary64_30002` `if-not_binary64_30001` `if-same_binary64_30000` `if-false_binary64_29999` `if-true_binary64_29998` `not-gte_binary64_29997` `not-lte_binary64_29996` `not-gt_binary64_29995` `not-lt_binary64_29994` `gte-same_binary64_29993` `lte-same_binary64_29992` `gt-same_binary64_29991` `lt-same_binary64_29990` `sinh---cosh_binary64_29937` `sinh-+-cosh_binary64_29936` `sinh-cosh_binary64_29935` `tanh-def-c_binary64_29934` `tanh-def-b_binary64_29933` `tanh-def-a_binary64_29932` `cosh-def_binary64_29931` `sinh-def_binary64_29930` `tan-neg_binary64_29877` `cos-neg_binary64_29876` `sin-neg_binary64_29875` `tan-0_binary64_29874` `cos-0_binary64_29873` `sin-0_binary64_29872` `hang-m-tan_binary64_29871` `hang-p-tan_binary64_29870` `hang-m0-tan_binary64_29869` `hang-p0-tan_binary64_29868` `hang-0m-tan_binary64_29867` `hang-0p-tan_binary64_29866` `tan-+PI/2_binary64_29865` `tan-+PI_binary64_29864` `tan-PI_binary64_29863` `tan-PI/3_binary64_29862` `tan-PI/4_binary64_29861` `tan-PI/6_binary64_29860` `cos-+PI/2_binary64_29859` `cos-+PI_binary64_29858` `cos-PI_binary64_29857` `cos-PI/2_binary64_29856` `cos-PI/3_binary64_29855` `cos-PI/4_binary64_29854` `cos-PI/6_binary64_29853` `sin-+PI/2_binary64_29852` `sin-+PI_binary64_29851` `sin-PI_binary64_29850` `sin-PI/2_binary64_29849` `sin-PI/3_binary64_29848` `sin-PI/4_binary64_29847` `sin-PI/6_binary64_29846` `sub-1-sin_binary64_29845` `sub-1-cos_binary64_29844` `-1-add-sin_binary64_29843` `-1-add-cos_binary64_29842` `1-sub-sin_binary64_29841` `1-sub-cos_binary64_29840` `cos-sin-sum_binary64_29839` `log-E_binary64_29835` `log-pow_binary64_29834` `log-rec_binary64_29833` `pow-base-0_binary64_29829` `unpow1/3_binary64_29812` `unpow2_binary64_29810` `unpow1/2_binary64_29809` `exp-to-pow_binary64_29807` `unpow0_binary64_29804` `unpow1_binary64_29803` `unpow-1_binary64_29802` `div-exp_binary64_29796` `rec-exp_binary64_29795` `prod-exp_binary64_29794` `exp-neg_binary64_29792` `e-exp-1_binary64_29790` `exp-0_binary64_29787` `rem-log-exp_binary64_29786` `rem-exp-log_binary64_29785` `cube-mult_binary64_29775` `cube-neg_binary64_29772` `rem-3cbrt-rft_binary64_29771` `rem-3cbrt-lft_binary64_29770` `rem-cbrt-cube_binary64_29769` `rem-cube-cbrt_binary64_29768` `sqr-abs_binary64_29760` `rem-sqrt-square_binary64_29758` `rem-square-sqrt_binary64_29757` `mul-1-neg_binary64_29737` `/-rgt-identity_binary64_29736` `-rgt-identity_binary64_29735` `-lft-identity_binary64_29734` `*-inverses_binary64_29725` `+-inverses_binary64_29724` `lft-mult-inverse_binary64_29723` `rgt-mult-inverse_binary64_29722` `remove-double-div_binary64_29721` `difference-of-sqr--1_binary64_29716` `difference-of-sqr-1_binary64_29715` `difference-of-squares_binary64_29714` `cancel-sign-sub_binary64_29710` `distribute-neg-frac_binary64_29709` `distribute-frac-neg_binary64_29708` `distribute-lft-out--_binary64_29697`

Counts

27 → 47

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	50	289
1	112	243
2	330	243
3	1074	243
4	1846	243
5	1962	243
6	2595	243
7	4063	243

prune43.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	5	48

Error

0.0b

Counts

48 → 5

Compiler

Compiled 481 to 293 computations (39.1% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 x (/.f64 1/3 y))
0.3b	(/.f64 1/3 y)

rewrite68.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`add-sqr-sqrt_binary64_29767`
19×	`times-frac_binary64_29751`
18×	`add-cube-cbrt_binary64_29780` `*-un-lft-identity_binary64_29745`
13×	`associate-r_binary64_29685`
9×	`add-exp-log_binary64_29783` `add-cbrt-cube_binary64_29781`
4×	`pow1_binary64_29806`
3×	`associate-/l_binary64_29690` `associate-/r_binary64_29689` `associate-l_binary64_29686`
2×	`div-exp_binary64_29796` `add-log-exp_binary64_29784` `cbrt-undiv_binary64_29779` `div-inv_binary64_29742` `prod-exp_binary64_29794` `cbrt-unprod_binary64_29778` `unswap-sqr_binary64_29713`
1×	`frac-2neg_binary64_29756` `clear-num_binary64_29744` `pow-prod-down_binary64_29816` `associate-r/_binary64_29687` `-commutative_binary64_29676`

Counts

2 → 59

Calls

2 calls:

8.0ms	(*.f64 x (/.f64 1/3 y))
3.0ms	(/.f64 1/3 y)

Compiler

Compiled 664 to 438 computations (34% saved)

series120.0ms (2.4%)

Error

0.0b

Counts

2 → 9

Calls

2 calls:

90.0ms	(*.f64 x (/.f64 1/3 y))
25.0ms	(/.f64 1/3 y)

Compiler

Compiled 135 to 114 computations (15.6% saved)

simplify272.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

284×	`associate-l_binary64_29686`
276×	`associate-/l*_binary64_29690`
264×	`associate-*l/_binary64_29688`
246×	`*-commutative_binary64_29676`
221×	`times-frac_binary64_29751`
220×	`distribute-rgt-neg-out_binary64_29705`
217×	`distribute-lft-neg-out_binary64_29704`
212×	`div-sub_binary64_29750`
210×	`associate-*r/_binary64_29687`
198×	`associate-r_binary64_29685`
190×	`distribute-rgt-in_binary64_29695`
165×	`distribute-rgt-out--_binary64_29699`
160×	`sqr-pow_binary64_29717`
151×	`associate-/l/_binary64_29692`
142×	`distribute-frac-neg_binary64_29708`
139×	`distribute-lft-in_binary64_29694`
112×	`distribute-rgt-out_binary64_29698`
96×	`pow-sqr_binary64_29718`
88×	`unswap-sqr_binary64_29713`
78×	`*-lft-identity_binary64_29734`
69×	`cancel-sign-sub-inv_binary64_29711`
67×	`associate-/r*_binary64_29689`
62×	`swap-sqr_binary64_29712`
58×	`associate-/r/_binary64_29691`
53×	`exp-to-pow_binary64_29807`
49×	`sub-neg_binary64_29738`
45×	`exp-prod_binary64_29797` `*-rgt-identity_binary64_29735`
39×	`log-prod_binary64_29831`
38×	`log-div_binary64_29832` `cube-div_binary64_29774`
37×	`unsub-neg_binary64_29739` `distribute-rgt-neg-in_binary64_29703`
34×	`cube-prod_binary64_29773`
27×	`remove-double-div_binary64_29721`
26×	`distribute-lft-neg-in_binary64_29702`
24×	`associate-+l-_binary64_29680`
23×	`neg-mul-1_binary64_29741`
16×	`log-rec_binary64_29833` `/-rgt-identity_binary64_29736`
15×	`log-pow_binary64_29834` `associate--r-_binary64_29684`
14×	`neg-sub0_binary64_29740` `distribute-neg-out_binary64_29707`
13×	`distribute-rgt1-in_binary64_29701`
11×	`unpow3_binary64_29811` `pow-plus_binary64_29808` `sub0-neg_binary64_29732`
10×	`associate--r+_binary64_29681`
9×	`div-exp_binary64_29796` `prod-exp_binary64_29794` `exp-sum_binary64_29791` `cube-unmult_binary64_29782` `cube-mult_binary64_29775` `+-lft-identity_binary64_29729` `distribute-lft-out_binary64_29696` `associate--l-_binary64_29683`
8×	`+-commutative_binary64_29675`
7×	`exp-diff_binary64_29793` `--rgt-identity_binary64_29731`
6×	`distribute-lft-out--_binary64_29697`
5×	`associate-+l+_binary64_29678`
4×	`pow-base-1_binary64_29805` `+-rgt-identity_binary64_29730` `+-inverses_binary64_29724` `distribute-neg-frac_binary64_29709` `associate-+r-_binary64_29679` `associate-+r+_binary64_29677`
3×	`rec-exp_binary64_29795` `remove-double-neg_binary64_29733` `associate--l+_binary64_29682`
2×	`unpow1/3_binary64_29812` `rem-log-exp_binary64_29786` `cube-neg_binary64_29772` `sqr-neg_binary64_29759` `div0_binary64_29726` `count-2_binary64_29693`
1×	`1-exp_binary64_29789` `exp-1-e_binary64_29788` `rgt-mult-inverse_binary64_29722` `distribute-lft1-in_binary64_29700`
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_30008` `erf-erfc_binary64_30007` `erf-odd_binary64_30006` `if-if-and-not_binary64_30005` `if-if-and_binary64_30004` `if-if-or-not_binary64_30003` `if-if-or_binary64_30002` `if-not_binary64_30001` `if-same_binary64_30000` `if-false_binary64_29999` `if-true_binary64_29998` `not-gte_binary64_29997` `not-lte_binary64_29996` `not-gt_binary64_29995` `not-lt_binary64_29994` `gte-same_binary64_29993` `lte-same_binary64_29992` `gt-same_binary64_29991` `lt-same_binary64_29990` `sinh---cosh_binary64_29937` `sinh-+-cosh_binary64_29936` `sinh-cosh_binary64_29935` `tanh-def-c_binary64_29934` `tanh-def-b_binary64_29933` `tanh-def-a_binary64_29932` `cosh-def_binary64_29931` `sinh-def_binary64_29930` `tan-neg_binary64_29877` `cos-neg_binary64_29876` `sin-neg_binary64_29875` `tan-0_binary64_29874` `cos-0_binary64_29873` `sin-0_binary64_29872` `hang-m-tan_binary64_29871` `hang-p-tan_binary64_29870` `hang-m0-tan_binary64_29869` `hang-p0-tan_binary64_29868` `hang-0m-tan_binary64_29867` `hang-0p-tan_binary64_29866` `tan-+PI/2_binary64_29865` `tan-+PI_binary64_29864` `tan-PI_binary64_29863` `tan-PI/3_binary64_29862` `tan-PI/4_binary64_29861` `tan-PI/6_binary64_29860` `cos-+PI/2_binary64_29859` `cos-+PI_binary64_29858` `cos-PI_binary64_29857` `cos-PI/2_binary64_29856` `cos-PI/3_binary64_29855` `cos-PI/4_binary64_29854` `cos-PI/6_binary64_29853` `sin-+PI/2_binary64_29852` `sin-+PI_binary64_29851` `sin-PI_binary64_29850` `sin-PI/2_binary64_29849` `sin-PI/3_binary64_29848` `sin-PI/4_binary64_29847` `sin-PI/6_binary64_29846` `sub-1-sin_binary64_29845` `sub-1-cos_binary64_29844` `-1-add-sin_binary64_29843` `-1-add-cos_binary64_29842` `1-sub-sin_binary64_29841` `1-sub-cos_binary64_29840` `cos-sin-sum_binary64_29839` `log-E_binary64_29835` `pow-base-0_binary64_29829` `unpow2_binary64_29810` `unpow1/2_binary64_29809` `unpow0_binary64_29804` `unpow1_binary64_29803` `unpow-1_binary64_29802` `exp-lft-cube_binary64_29801` `exp-lft-sqr_binary64_29800` `exp-cbrt_binary64_29799` `exp-sqrt_binary64_29798` `exp-neg_binary64_29792` `e-exp-1_binary64_29790` `exp-0_binary64_29787` `rem-exp-log_binary64_29785` `rem-3cbrt-rft_binary64_29771` `rem-3cbrt-lft_binary64_29770` `rem-cbrt-cube_binary64_29769` `rem-cube-cbrt_binary64_29768` `sqr-abs_binary64_29760` `rem-sqrt-square_binary64_29758` `rem-square-sqrt_binary64_29757` `mul-1-neg_binary64_29737` `mul0-rgt_binary64_29728` `mul0-lft_binary64_29727` `*-inverses_binary64_29725` `lft-mult-inverse_binary64_29723` `difference-of-sqr--1_binary64_29716` `difference-of-sqr-1_binary64_29715` `difference-of-squares_binary64_29714` `cancel-sign-sub_binary64_29710` `distribute-neg-in_binary64_29706`

Counts

68 → 118

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	87	697
1	182	634
2	614	633
3	1838	633
4	2038	633
5	2497	633

prune109.0ms (2.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	116	2	118
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	116	7	123

Error

Counts

123 → 7

Compiler

Compiled 1479 to 917 computations (38% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.6b	(/.f64 1/3 (/.f64 y x))

rewrite80.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`times-frac_binary64_29751`
43×	`add-cube-cbrt_binary64_29780` `add-sqr-sqrt_binary64_29767` `*-un-lft-identity_binary64_29745`
13×	`associate-/r*_binary64_29689`
6×	`add-exp-log_binary64_29783` `add-cbrt-cube_binary64_29781`
5×	`div-inv_binary64_29742`
3×	`div-exp_binary64_29796` `cbrt-undiv_binary64_29779` `associate-/l*_binary64_29690`
1×	`pow1_binary64_29806` `add-log-exp_binary64_29784` `frac-2neg_binary64_29756` `clear-num_binary64_29744` `associate-/r/_binary64_29691`

Counts

1 → 70

Calls

1 calls:

7.0ms

(/.f64 1/3 (/.f64 y x))

Compiler

Compiled 1011 to 514 computations (49.2% saved)

series91.0ms (1.8%)

Error

Counts

1 → 6

Calls

1 calls:

86.0ms

(/.f64 1/3 (/.f64 y x))

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify796.0ms (15.8%)

Algorithm

1×	egg-herbie

Rules

720×	`times-frac_binary64_29751`
488×	`exp-to-pow_binary64_29807`
460×	`associate-/l*_binary64_29690`
350×	`associate-/l/_binary64_29692`
271×	`associate-/r/_binary64_29691`
253×	`distribute-lft-out_binary64_29696`
252×	`distribute-lft-out--_binary64_29697`
241×	`associate-*l/_binary64_29688`
220×	`associate-/r*_binary64_29689`
171×	`associate-l_binary64_29686`
161×	`*-commutative_binary64_29676`
135×	`cancel-sign-sub-inv_binary64_29711`
134×	`associate-*r/_binary64_29687`
108×	`distribute-rgt-out--_binary64_29699`
90×	`associate-r_binary64_29685`
89×	`distribute-rgt-out_binary64_29698`
82×	`unswap-sqr_binary64_29713`
72×	`sqr-pow_binary64_29717`
65×	`exp-prod_binary64_29797`
53×	`log-prod_binary64_29831`
43×	`sub-neg_binary64_29738`
41×	`cube-div_binary64_29774`
40×	`log-div_binary64_29832`
37×	`log-pow_binary64_29834` `pow-plus_binary64_29808` `cube-prod_binary64_29773` `/-rgt-identity_binary64_29736`
35×	`*-rgt-identity_binary64_29735`
33×	`*-lft-identity_binary64_29734`
32×	`distribute-rgt-in_binary64_29695`
31×	`pow-sqr_binary64_29718`
29×	`swap-sqr_binary64_29712`
28×	`distribute-rgt-neg-in_binary64_29703`
23×	`associate-+l-_binary64_29680`
21×	`div-sub_binary64_29750`
20×	`unsub-neg_binary64_29739` `distribute-lft-neg-in_binary64_29702`
19×	`remove-double-div_binary64_29721` `associate--l-_binary64_29683` `+-commutative_binary64_29675`
18×	`neg-mul-1_binary64_29741`
16×	`div-exp_binary64_29796` `prod-exp_binary64_29794` `associate--r+_binary64_29681`
15×	`distribute-neg-out_binary64_29707`
14×	`log-rec_binary64_29833` `neg-sub0_binary64_29740` `distribute-lft-in_binary64_29694`
12×	`pow-base-1_binary64_29805`
11×	`associate--r-_binary64_29684`
10×	`sub0-neg_binary64_29732` `associate--l+_binary64_29682` `associate-+l+_binary64_29678`
9×	`unpow3_binary64_29811`
8×	`cube-mult_binary64_29775` `associate-+r+_binary64_29677`
7×	`+-lft-identity_binary64_29729` `distribute-neg-frac_binary64_29709` `distribute-rgt-neg-out_binary64_29705` `distribute-rgt1-in_binary64_29701`
6×	`cube-unmult_binary64_29782` `associate-+r-_binary64_29679`
4×	`rec-exp_binary64_29795` `exp-sum_binary64_29791` `count-2_binary64_29693`
3×	`unpow1/3_binary64_29812` `mul0-lft_binary64_29727` `+-inverses_binary64_29724` `distribute-neg-in_binary64_29706`
2×	`exp-lft-cube_binary64_29801` `exp-diff_binary64_29793` `--rgt-identity_binary64_29731` `distribute-lft-neg-out_binary64_29704`
1×	`exp-lft-sqr_binary64_29800` `1-exp_binary64_29789` `exp-1-e_binary64_29788` `rem-log-exp_binary64_29786` `sqr-neg_binary64_29759` `remove-double-neg_binary64_29733` `div0_binary64_29726`
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_30008` `erf-erfc_binary64_30007` `erf-odd_binary64_30006` `if-if-and-not_binary64_30005` `if-if-and_binary64_30004` `if-if-or-not_binary64_30003` `if-if-or_binary64_30002` `if-not_binary64_30001` `if-same_binary64_30000` `if-false_binary64_29999` `if-true_binary64_29998` `not-gte_binary64_29997` `not-lte_binary64_29996` `not-gt_binary64_29995` `not-lt_binary64_29994` `gte-same_binary64_29993` `lte-same_binary64_29992` `gt-same_binary64_29991` `lt-same_binary64_29990` `sinh---cosh_binary64_29937` `sinh-+-cosh_binary64_29936` `sinh-cosh_binary64_29935` `tanh-def-c_binary64_29934` `tanh-def-b_binary64_29933` `tanh-def-a_binary64_29932` `cosh-def_binary64_29931` `sinh-def_binary64_29930` `tan-neg_binary64_29877` `cos-neg_binary64_29876` `sin-neg_binary64_29875` `tan-0_binary64_29874` `cos-0_binary64_29873` `sin-0_binary64_29872` `hang-m-tan_binary64_29871` `hang-p-tan_binary64_29870` `hang-m0-tan_binary64_29869` `hang-p0-tan_binary64_29868` `hang-0m-tan_binary64_29867` `hang-0p-tan_binary64_29866` `tan-+PI/2_binary64_29865` `tan-+PI_binary64_29864` `tan-PI_binary64_29863` `tan-PI/3_binary64_29862` `tan-PI/4_binary64_29861` `tan-PI/6_binary64_29860` `cos-+PI/2_binary64_29859` `cos-+PI_binary64_29858` `cos-PI_binary64_29857` `cos-PI/2_binary64_29856` `cos-PI/3_binary64_29855` `cos-PI/4_binary64_29854` `cos-PI/6_binary64_29853` `sin-+PI/2_binary64_29852` `sin-+PI_binary64_29851` `sin-PI_binary64_29850` `sin-PI/2_binary64_29849` `sin-PI/3_binary64_29848` `sin-PI/4_binary64_29847` `sin-PI/6_binary64_29846` `sub-1-sin_binary64_29845` `sub-1-cos_binary64_29844` `-1-add-sin_binary64_29843` `-1-add-cos_binary64_29842` `1-sub-sin_binary64_29841` `1-sub-cos_binary64_29840` `cos-sin-sum_binary64_29839` `log-E_binary64_29835` `pow-base-0_binary64_29829` `unpow2_binary64_29810` `unpow1/2_binary64_29809` `unpow0_binary64_29804` `unpow1_binary64_29803` `unpow-1_binary64_29802` `exp-cbrt_binary64_29799` `exp-sqrt_binary64_29798` `exp-neg_binary64_29792` `e-exp-1_binary64_29790` `exp-0_binary64_29787` `rem-exp-log_binary64_29785` `cube-neg_binary64_29772` `rem-3cbrt-rft_binary64_29771` `rem-3cbrt-lft_binary64_29770` `rem-cbrt-cube_binary64_29769` `rem-cube-cbrt_binary64_29768` `sqr-abs_binary64_29760` `rem-sqrt-square_binary64_29758` `rem-square-sqrt_binary64_29757` `mul-1-neg_binary64_29737` `+-rgt-identity_binary64_29730` `mul0-rgt_binary64_29728` `*-inverses_binary64_29725` `lft-mult-inverse_binary64_29723` `rgt-mult-inverse_binary64_29722` `difference-of-sqr--1_binary64_29716` `difference-of-sqr-1_binary64_29715` `difference-of-squares_binary64_29714` `cancel-sign-sub_binary64_29710` `distribute-frac-neg_binary64_29708` `distribute-lft1-in_binary64_29700`

Counts

76 → 380

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	151	1286
1	314	1226
2	1033	1223
3	2752	1222
4	3032	1222
5	4408	1222

prune436.0ms (8.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	379	1	380
Fresh	2	2	4
Picked	0	1	1
Done	0	2	2
Total	381	6	387

Error

Counts

387 → 6

Compiler

Compiled 6253 to 3194 computations (48.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b	(*.f64 (/.f64 1 y) x)
0.3b	(.f64 1/3 (.f64 (/.f64 1 y) x))

rewrite71.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

26×	`add-exp-log_binary64_29783`
18×	`add-sqr-sqrt_binary64_29767`
16×	`add-cbrt-cube_binary64_29781` `associate-l_binary64_29686`
13×	`prod-exp_binary64_29794`
12×	`*-un-lft-identity_binary64_29745`
11×	`add-cube-cbrt_binary64_29780` `times-frac_binary64_29751`
9×	`pow1_binary64_29806`
7×	`cbrt-unprod_binary64_29778`
4×	`pow-prod-down_binary64_29816` `div-exp_binary64_29796` `associate-r_binary64_29685`
3×	`unswap-sqr_binary64_29713`
2×	`1-exp_binary64_29789` `rec-exp_binary64_29795` `add-log-exp_binary64_29784` `cbrt-undiv_binary64_29779` `associate-l/_binary64_29688` `-commutative_binary64_29676`
1×	`associate-*r/_binary64_29687` `div-inv_binary64_29742`

Counts

2 → 58

Calls

2 calls:

8.0ms	(*.f64 (/.f64 1 y) x)
8.0ms	(.f64 1/3 (.f64 (/.f64 1 y) x))

Compiler

Compiled 775 to 550 computations (29% saved)

series160.0ms (3.2%)

Error

Counts

2 → 12

Calls

2 calls:

88.0ms	(.f64 1/3 (.f64 (/.f64 1 y) x))
63.0ms	(*.f64 (/.f64 1 y) x)

Compiler

Compiled 180 to 147 computations (18.3% saved)

simplify498.0ms (9.9%)

Algorithm

1×	egg-herbie

Rules

648×	`distribute-rgt-out--_binary64_29699`
501×	`associate-/l*_binary64_29690`
301×	`times-frac_binary64_29751`
222×	`sqr-pow_binary64_29717`
208×	`*-commutative_binary64_29676`
194×	`unswap-sqr_binary64_29713`
178×	`associate-*l/_binary64_29688`
177×	`associate-/l/_binary64_29692`
165×	`associate-*r/_binary64_29687`
155×	`associate-/r*_binary64_29689`
145×	`pow-sqr_binary64_29718`
115×	`exp-to-pow_binary64_29807`
114×	`associate-/r/_binary64_29691`
113×	`associate-r_binary64_29685`
109×	`distribute-rgt-neg-in_binary64_29703`
105×	`associate-l_binary64_29686`
83×	`sub-neg_binary64_29738`
66×	`*-rgt-identity_binary64_29735`
62×	`cancel-sign-sub-inv_binary64_29711`
57×	`exp-prod_binary64_29797`
54×	`*-lft-identity_binary64_29734`
49×	`distribute-rgt-out_binary64_29698`
34×	`log-prod_binary64_29831` `distribute-lft-neg-in_binary64_29702`
32×	`distribute-lft-out--_binary64_29697` `distribute-lft-out_binary64_29696`
31×	`log-pow_binary64_29834`
29×	`pow-plus_binary64_29808`
24×	`neg-mul-1_binary64_29741` `unsub-neg_binary64_29739` `associate--r+_binary64_29681`
22×	`swap-sqr_binary64_29712`
21×	`distribute-rgt-in_binary64_29695`
20×	`neg-sub0_binary64_29740`
19×	`log-div_binary64_29832`
18×	`cube-div_binary64_29774` `distribute-neg-in_binary64_29706`
16×	`cube-prod_binary64_29773` `distribute-rgt1-in_binary64_29701`
14×	`associate-+l-_binary64_29680`
13×	`associate--l+_binary64_29682` `+-commutative_binary64_29675`
12×	`pow-base-1_binary64_29805`
11×	`associate-+l+_binary64_29678`
7×	`log-rec_binary64_29833` `cube-unmult_binary64_29782` `+-inverses_binary64_29724` `distribute-lft1-in_binary64_29700` `associate-+r-_binary64_29679`
6×	`exp-sum_binary64_29791` `/-rgt-identity_binary64_29736` `remove-double-neg_binary64_29733` `distribute-lft-neg-out_binary64_29704` `associate-+r+_binary64_29677`
5×	`unpow3_binary64_29811` `cube-mult_binary64_29775` `sub0-neg_binary64_29732` `associate--r-_binary64_29684`
4×	`unpow1/3_binary64_29812` `mul0-lft_binary64_29727` `distribute-neg-out_binary64_29707` `associate--l-_binary64_29683`
3×	`rem-log-exp_binary64_29786` `rem-sqrt-square_binary64_29758` `+-lft-identity_binary64_29729` `distribute-rgt-neg-out_binary64_29705` `distribute-lft-in_binary64_29694` `count-2_binary64_29693`
2×	`div-sub_binary64_29750`
1×	`exp-lft-cube_binary64_29801` `exp-lft-sqr_binary64_29800` `prod-exp_binary64_29794` `exp-diff_binary64_29793` `1-exp_binary64_29789` `exp-1-e_binary64_29788` `rem-cbrt-cube_binary64_29769` `--rgt-identity_binary64_29731` `+-rgt-identity_binary64_29730` `div0_binary64_29726` `rgt-mult-inverse_binary64_29722` `distribute-neg-frac_binary64_29709`
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_30008` `erf-erfc_binary64_30007` `erf-odd_binary64_30006` `if-if-and-not_binary64_30005` `if-if-and_binary64_30004` `if-if-or-not_binary64_30003` `if-if-or_binary64_30002` `if-not_binary64_30001` `if-same_binary64_30000` `if-false_binary64_29999` `if-true_binary64_29998` `not-gte_binary64_29997` `not-lte_binary64_29996` `not-gt_binary64_29995` `not-lt_binary64_29994` `gte-same_binary64_29993` `lte-same_binary64_29992` `gt-same_binary64_29991` `lt-same_binary64_29990` `sinh---cosh_binary64_29937` `sinh-+-cosh_binary64_29936` `sinh-cosh_binary64_29935` `tanh-def-c_binary64_29934` `tanh-def-b_binary64_29933` `tanh-def-a_binary64_29932` `cosh-def_binary64_29931` `sinh-def_binary64_29930` `tan-neg_binary64_29877` `cos-neg_binary64_29876` `sin-neg_binary64_29875` `tan-0_binary64_29874` `cos-0_binary64_29873` `sin-0_binary64_29872` `hang-m-tan_binary64_29871` `hang-p-tan_binary64_29870` `hang-m0-tan_binary64_29869` `hang-p0-tan_binary64_29868` `hang-0m-tan_binary64_29867` `hang-0p-tan_binary64_29866` `tan-+PI/2_binary64_29865` `tan-+PI_binary64_29864` `tan-PI_binary64_29863` `tan-PI/3_binary64_29862` `tan-PI/4_binary64_29861` `tan-PI/6_binary64_29860` `cos-+PI/2_binary64_29859` `cos-+PI_binary64_29858` `cos-PI_binary64_29857` `cos-PI/2_binary64_29856` `cos-PI/3_binary64_29855` `cos-PI/4_binary64_29854` `cos-PI/6_binary64_29853` `sin-+PI/2_binary64_29852` `sin-+PI_binary64_29851` `sin-PI_binary64_29850` `sin-PI/2_binary64_29849` `sin-PI/3_binary64_29848` `sin-PI/4_binary64_29847` `sin-PI/6_binary64_29846` `sub-1-sin_binary64_29845` `sub-1-cos_binary64_29844` `-1-add-sin_binary64_29843` `-1-add-cos_binary64_29842` `1-sub-sin_binary64_29841` `1-sub-cos_binary64_29840` `cos-sin-sum_binary64_29839` `log-E_binary64_29835` `pow-base-0_binary64_29829` `unpow2_binary64_29810` `unpow1/2_binary64_29809` `unpow0_binary64_29804` `unpow1_binary64_29803` `unpow-1_binary64_29802` `exp-cbrt_binary64_29799` `exp-sqrt_binary64_29798` `div-exp_binary64_29796` `rec-exp_binary64_29795` `exp-neg_binary64_29792` `e-exp-1_binary64_29790` `exp-0_binary64_29787` `rem-exp-log_binary64_29785` `cube-neg_binary64_29772` `rem-3cbrt-rft_binary64_29771` `rem-3cbrt-lft_binary64_29770` `rem-cube-cbrt_binary64_29768` `sqr-abs_binary64_29760` `sqr-neg_binary64_29759` `rem-square-sqrt_binary64_29757` `mul-1-neg_binary64_29737` `mul0-rgt_binary64_29728` `*-inverses_binary64_29725` `lft-mult-inverse_binary64_29723` `remove-double-div_binary64_29721` `difference-of-sqr--1_binary64_29716` `difference-of-sqr-1_binary64_29715` `difference-of-squares_binary64_29714` `cancel-sign-sub_binary64_29710` `distribute-frac-neg_binary64_29708`

Counts

70 → 104

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	98	653
1	209	551
2	607	530
3	1139	530
4	2337	530
5	3146	530

prune98.0ms (2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	104	6	110

Error

Counts

110 → 6

Compiler

Compiled 1377 to 782 computations (43.2% saved)

regimes348.0ms (6.9%)

Accuracy

Total 0.2b remaining (99.9%)

Threshold costs 0.2b (99.9%)

Compiler

Compiled 2210 to 1878 computations (15% saved)

bsearch0.0ms (0%)

simplify3.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 if-if-and-not_binary64_30005 if-if-and_binary64_30004 if-if-or-not_binary64_30003 if-if-or_binary64_30002 if-not_binary64_30001 if-same_binary64_30000 if-false_binary64_29999 if-true_binary64_29998 tan-0_binary64_29874 cos-0_binary64_29873 sin-0_binary64_29872 unpow1_binary64_29803 e-exp-1_binary64_29790 1-exp_binary64_29789 exp-1-e_binary64_29788 exp-0_binary64_29787 sqr-abs_binary64_29760 sqr-neg_binary64_29759 neg-mul-1_binary64_29741 neg-sub0_binary64_29740 unsub-neg_binary64_29739 sub-neg_binary64_29738 mul-1-neg_binary64_29737 /-rgt-identity_binary64_29736 *-rgt-identity_binary64_29735 *-lft-identity_binary64_29734 remove-double-neg_binary64_29733 sub0-neg_binary64_29732 --rgt-identity_binary64_29731 +-rgt-identity_binary64_29730 +-lft-identity_binary64_29729 cancel-sign-sub-inv_binary64_29711 cancel-sign-sub_binary64_29710 distribute-neg-frac_binary64_29709 distribute-frac-neg_binary64_29708 distribute-neg-out_binary64_29707 distribute-neg-in_binary64_29706 distribute-rgt-neg-out_binary64_29705 distribute-lft-neg-out_binary64_29704 distribute-rgt-neg-in_binary64_29703 distribute-lft-neg-in_binary64_29702 *-commutative_binary64_29676 +-commutative_binary64_29675

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7

Proof

(/ f64 (/ f64 h0 h1) 3)

end0.0ms (0%)

sample1.0s (20%)

Algorithm

1×

intervals

Results

169.0ms	8000×	body	128	valid
4.0ms	196×	body	128	invalid

Compiler

Compiled 502 to 428 computations (14.7% saved)

Details

analyze63.0ms (1.3%)

sample15.0ms (0.3%)

simplify165.0ms (3.3%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite34.0ms (0.7%)

series97.0ms (1.9%)

simplify433.0ms (8.6%)

prune43.0ms (0.8%)

localize4.0ms (0.1%)

rewrite68.0ms (1.4%)

series120.0ms (2.4%)

simplify272.0ms (5.4%)

prune109.0ms (2.2%)

localize4.0ms (0.1%)

rewrite80.0ms (1.6%)

series91.0ms (1.8%)

simplify796.0ms (15.8%)

prune436.0ms (8.7%)

localize5.0ms (0.1%)

rewrite71.0ms (1.4%)

series160.0ms (3.2%)

simplify498.0ms (9.9%)

prune98.0ms (2%)

regimes348.0ms (6.9%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.0s (20%)

Profiling