Details

analyze86.0ms (0.6%)

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
50%	50%	0.1%	6
62.4%	34.3%	3.2%	7
62.4%	32.8%	4.8%	8
68.7%	21.1%	10.2%	9
68.7%	19.1%	12.2%	10
71.8%	11.5%	16.7%	11
71.8%	10.2%	18%	12
73.4%	6%	20.6%	13
73.4%	5.3%	21.3%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample16.0ms (0.1%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	17×	body	128	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify1.2s (7.7%)

Algorithm

1×	egg-herbie

Rules

1335×	`exp-prod_binary64_15816`
604×	`cube-prod_binary64_15792`
551×	`distribute-rgt-out--_binary64_15718`
523×	`distribute-rgt-out_binary64_15717`
467×	`swap-sqr_binary64_15731`
373×	`exp-diff_binary64_15812`
340×	`distribute-rgt-neg-in_binary64_15722`
264×	`sub-neg_binary64_15757`
261×	`div-sub_binary64_15769`
255×	`exp-sum_binary64_15810`
182×	`*-commutative_binary64_15695`
180×	`associate-/r/_binary64_15710`
179×	`associate--r-_binary64_15703`
176×	`cancel-sign-sub-inv_binary64_15730`
172×	`unsub-neg_binary64_15758`
136×	`associate--l-_binary64_15702`
131×	`pow-plus_binary64_15827`
122×	`associate-/l*_binary64_15709`
120×	`associate-+r-_binary64_15698`
91×	`associate-+l-_binary64_15699`
74×	`+-commutative_binary64_15694`
73×	`times-frac_binary64_15770`
63×	`distribute-lft-neg-in_binary64_15721` `distribute-rgt1-in_binary64_15720`
60×	`cube-div_binary64_15793`
49×	`distribute-neg-out_binary64_15726`
41×	`neg-mul-1_binary64_15760`
39×	`neg-sub0_binary64_15759`
37×	`sqr-pow_binary64_15736` `distribute-rgt-in_binary64_15714`
28×	`distribute-neg-frac_binary64_15728`
23×	`distribute-neg-in_binary64_15725`
19×	`associate-r_binary64_15704`
17×	`associate--r+_binary64_15700`
16×	`distribute-rgt-neg-out_binary64_15724` `distribute-lft-in_binary64_15713` `associate-+l+_binary64_15697`
15×	`+-inverses_binary64_15743` `difference-of-squares_binary64_15733`
14×	`pow-base-1_binary64_15824` `associate-+r+_binary64_15696`
13×	`cube-unmult_binary64_15801` `count-2_binary64_15712`
12×	`distribute-lft-neg-out_binary64_15723`
11×	`remove-double-neg_binary64_15752` `distribute-lft1-in_binary64_15719`
10×	`exp-lft-sqr_binary64_15819` `pow-sqr_binary64_15737` `associate--l+_binary64_15701`
8×	`distribute-frac-neg_binary64_15727`
7×	`associate-/r*_binary64_15708`
6×	`-rgt-identity_binary64_15754` `-lft-identity_binary64_15753`
5×	`sub0-neg_binary64_15751` `+-rgt-identity_binary64_15749` `associate-l_binary64_15705`
4×	`exp-neg_binary64_15811` `+-lft-identity_binary64_15748` `associate-*l/_binary64_15707`
3×	`--rgt-identity_binary64_15750` `difference-of-sqr--1_binary64_15735` `distribute-lft-out--_binary64_15716` `distribute-lft-out_binary64_15715`
2×	`sqr-neg_binary64_15778` `mul0-lft_binary64_15746` `div0_binary64_15745`
1×	`unpow3_binary64_15830` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `cube-neg_binary64_15791` `associate-/l/_binary64_15711`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `log-div_binary64_15851` `log-prod_binary64_15850` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow2_binary64_15829` `unpow1/2_binary64_15828` `exp-to-pow_binary64_15826` `unpow0_binary64_15823` `unpow1_binary64_15822` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `e-exp-1_binary64_15809` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-mult_binary64_15794` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `mul0-rgt_binary64_15747` `-inverses_binary64_15744` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `difference-of-sqr-1_binary64_15734` `unswap-sqr_binary64_15732` `cancel-sign-sub_binary64_15729` `associate-r/_binary64_15706`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10
2	16	10
3	22	10
4	30	10
5	49	10
6	104	10
7	243	10
8	2053	10
9	3191	10

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

3.5b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

10.0b

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

rewrite32.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
3×	`add-cube-cbrt_binary64_15799` `add-sqr-sqrt_binary64_15786` `times-frac_binary64_15770` `-un-lft-identity_binary64_15764` `associate-/l_binary64_15709`
2×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798`
1×	`pow1_binary64_15825` `prod-exp_binary64_15813` `add-log-exp_binary64_15803` `cbrt-unprod_binary64_15797` `frac-2neg_binary64_15775` `clear-num_binary64_15763` `div-inv_binary64_15761` `associate-/r*_binary64_15708`

Counts

1 → 21

Calls

1 calls:

5.0ms

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

Compiler

Compiled 256 to 108 computations (57.8% saved)

series112.0ms (0.7%)

Error

3.5b

Counts

1 → 6

Calls

1 calls:

108.0ms

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

Compiler

Compiled 126 to 116 computations (7.9% saved)

simplify140.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

770×	`times-frac_binary64_15770`
560×	`unswap-sqr_binary64_15732`
330×	`associate-/l*_binary64_15709`
303×	`associate-/l/_binary64_15711`
297×	`associate-/r*_binary64_15708`
264×	`distribute-rgt-in_binary64_15714`
205×	`distribute-lft-in_binary64_15713`
187×	`cancel-sign-sub-inv_binary64_15730`
166×	`associate-l_binary64_15705`
140×	`associate-*l/_binary64_15707`
111×	`sqr-pow_binary64_15736`
106×	`distribute-rgt-out_binary64_15717`
101×	`associate-/r/_binary64_15710`
99×	`associate-r_binary64_15704`
90×	`sub-neg_binary64_15757`
81×	`associate-*r/_binary64_15706`
80×	`div-sub_binary64_15769`
69×	`pow-sqr_binary64_15737`
67×	`distribute-rgt-neg-in_binary64_15722`
64×	`distribute-lft-neg-in_binary64_15721`
54×	`distribute-rgt-out--_binary64_15718`
46×	`distribute-neg-in_binary64_15725`
42×	`pow-plus_binary64_15827`
40×	`log-prod_binary64_15850`
38×	`associate--r-_binary64_15703`
35×	`neg-mul-1_binary64_15760` `unsub-neg_binary64_15758`
34×	`neg-sub0_binary64_15759`
33×	`cube-prod_binary64_15792` `distribute-lft-out_binary64_15715`
24×	`associate-+l+_binary64_15697` `*-commutative_binary64_15695`
23×	`swap-sqr_binary64_15731` `associate--r+_binary64_15700`
20×	`cube-div_binary64_15793` `distribute-neg-frac_binary64_15728` `distribute-rgt1-in_binary64_15720`
19×	`log-div_binary64_15851` `distribute-rgt-neg-out_binary64_15724` `distribute-lft-neg-out_binary64_15723`
18×	`unpow3_binary64_15830` `-rgt-identity_binary64_15754` `-lft-identity_binary64_15753` `associate--l+_binary64_15701`
16×	`log-pow_binary64_15853` `cube-unmult_binary64_15801` `associate-+l-_binary64_15699`
14×	`count-2_binary64_15712`
13×	`distribute-lft-out--_binary64_15716` `associate-+r+_binary64_15696` `+-commutative_binary64_15694`
10×	`exp-prod_binary64_15816`
9×	`div-exp_binary64_15815`
8×	`prod-exp_binary64_15813` `cube-mult_binary64_15794` `sub0-neg_binary64_15751`
7×	`--rgt-identity_binary64_15750` `mul0-rgt_binary64_15747`
6×	`+-rgt-identity_binary64_15749` `mul0-lft_binary64_15746` `associate-+r-_binary64_15698`
5×	`/-rgt-identity_binary64_15755` `associate--l-_binary64_15702`
4×	`remove-double-neg_binary64_15752` `distribute-neg-out_binary64_15726`
3×	`rec-exp_binary64_15814` `distribute-lft1-in_binary64_15719`
1×	`unpow2_binary64_15829` `unpow1_binary64_15822` `exp-lft-sqr_binary64_15819` `exp-sqrt_binary64_15817` `exp-sum_binary64_15810` `1-exp_binary64_15808` `sqr-neg_binary64_15778` `+-lft-identity_binary64_15748` `*-inverses_binary64_15744` `rgt-mult-inverse_binary64_15741`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-rec_binary64_15852` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-cbrt_binary64_15818` `exp-diff_binary64_15812` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `mul-1-neg_binary64_15756` `div0_binary64_15745` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `remove-double-div_binary64_15740` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `difference-of-squares_binary64_15733` `cancel-sign-sub_binary64_15729` `distribute-frac-neg_binary64_15727`

Counts

27 → 30

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	289
1	93	244
2	261	244
3	559	244
4	2290	244
5	3765	244

prune31.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	26	4	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	5	31

Error

0.0b

Counts

31 → 5

Compiler

Compiled 373 to 157 computations (57.9% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 y (/.f64 x y))
0.5b	(/.f64 1 (/.f64 y (/.f64 x y)))

rewrite407.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

471×	`times-frac_binary64_15770`
229×	`add-cube-cbrt_binary64_15799` `add-sqr-sqrt_binary64_15786` `*-un-lft-identity_binary64_15764`
57×	`associate-/r*_binary64_15708`
28×	`add-exp-log_binary64_15802`
22×	`div-inv_binary64_15761`
18×	`div-exp_binary64_15815`
16×	`add-cbrt-cube_binary64_15800`
9×	`cbrt-undiv_binary64_15798`
6×	`associate-/r/_binary64_15710` `associate-/l*_binary64_15709`
3×	`pow1_binary64_15825` `1-exp_binary64_15808` `rec-exp_binary64_15814`
2×	`add-log-exp_binary64_15803` `frac-2neg_binary64_15775` `clear-num_binary64_15763`
1×	`inv-pow_binary64_15849` `pow-flip_binary64_15838`

Counts

2 → 274

Calls

2 calls:

14.0ms	(/.f64 1 (/.f64 y (/.f64 x y)))
6.0ms	(/.f64 y (/.f64 x y))

Compiler

Compiled 5823 to 2541 computations (56.4% saved)

series219.0ms (1.5%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

110.0ms	(/.f64 y (/.f64 x y))
102.0ms	(/.f64 1 (/.f64 y (/.f64 x y)))

Compiler

Compiled 288 to 266 computations (7.6% saved)

simplify4.3s (28.3%)

Algorithm

1×	egg-herbie

Rules

961×	`div-sub_binary64_15769`
434×	`associate-/r/_binary64_15710`
373×	`associate-/l*_binary64_15709`
366×	`associate-/l/_binary64_15711`
334×	`times-frac_binary64_15770`
276×	`associate-*r/_binary64_15706`
246×	`associate-*l/_binary64_15707`
232×	`associate-/r*_binary64_15708`
204×	`*-commutative_binary64_15695`
152×	`unswap-sqr_binary64_15732`
106×	`associate-l_binary64_15705`
98×	`exp-prod_binary64_15816`
91×	`associate-r_binary64_15704`
85×	`log-prod_binary64_15850`
76×	`distribute-rgt-in_binary64_15714`
65×	`cancel-sign-sub-inv_binary64_15730`
60×	`log-div_binary64_15851`
59×	`cube-prod_binary64_15792`
57×	`unsub-neg_binary64_15758`
55×	`exp-sum_binary64_15810`
54×	`distribute-lft-in_binary64_15713`
52×	`sqr-pow_binary64_15736`
49×	`distribute-rgt-neg-in_binary64_15722`
48×	`swap-sqr_binary64_15731`
47×	`*-rgt-identity_binary64_15754`
46×	`cube-div_binary64_15793`
42×	`distribute-neg-frac_binary64_15728`
41×	`distribute-lft-neg-in_binary64_15721`
37×	`associate--l-_binary64_15702`
35×	`neg-mul-1_binary64_15760`
34×	`sub-neg_binary64_15757` `associate-+l-_binary64_15699`
33×	`exp-diff_binary64_15812`
32×	`*-lft-identity_binary64_15753`
31×	`remove-double-div_binary64_15740`
30×	`exp-to-pow_binary64_15826`
29×	`/-rgt-identity_binary64_15755`
26×	`neg-sub0_binary64_15759`
25×	`associate--r+_binary64_15700`
22×	`log-pow_binary64_15853` `pow-sqr_binary64_15737` `associate-+r-_binary64_15698`
21×	`associate--r-_binary64_15703`
19×	`log-rec_binary64_15852` `pow-plus_binary64_15827`
17×	`associate-+r+_binary64_15696`
16×	`associate--l+_binary64_15701`
15×	`cube-unmult_binary64_15801` `+-commutative_binary64_15694`
14×	`distribute-neg-out_binary64_15726` `distribute-lft-neg-out_binary64_15723` `distribute-rgt-out_binary64_15717`
13×	`unpow3_binary64_15830` `associate-+l+_binary64_15697`
11×	`distribute-rgt-out--_binary64_15718`
10×	`distribute-rgt-neg-out_binary64_15724`
8×	`sqr-neg_binary64_15778` `sub0-neg_binary64_15751` `mul0-lft_binary64_15746` `distribute-neg-in_binary64_15725`
7×	`cube-mult_binary64_15794` `rem-sqrt-square_binary64_15777` `mul0-rgt_binary64_15747`
6×	`div0_binary64_15745` `distribute-lft-out--_binary64_15716`
5×	`count-2_binary64_15712`
4×	`pow-base-1_binary64_15824` `exp-neg_binary64_15811` `+-lft-identity_binary64_15748` `distribute-rgt1-in_binary64_15720` `distribute-lft-out_binary64_15715`
3×	`exp-sqrt_binary64_15817` `cube-neg_binary64_15791`
2×	`cancel-sign-sub_binary64_15729`
1×	`unpow2_binary64_15829` `unpow1_binary64_15822` `exp-lft-sqr_binary64_15819` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-square-sqrt_binary64_15776` `remove-double-neg_binary64_15752` `*-inverses_binary64_15744` `rgt-mult-inverse_binary64_15741` `distribute-frac-neg_binary64_15727`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-cbrt_binary64_15818` `e-exp-1_binary64_15809` `exp-0_binary64_15806` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `mul-1-neg_binary64_15756` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `difference-of-squares_binary64_15733` `distribute-lft1-in_binary64_15719`

Counts

286 → 2350

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	418	7488
1	876	6962
2	3108	5071
3	2370	5071
4	3421	5071

prune4.8s (31.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	2347	3	2350
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	2350	5	2355

Error

Counts

2355 → 5

Compiler

Compiled 53581 to 21474 computations (59.9% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

rewrite72.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`times-frac_binary64_15770`
43×	`add-cube-cbrt_binary64_15799` `add-sqr-sqrt_binary64_15786` `*-un-lft-identity_binary64_15764`
13×	`associate-/l*_binary64_15709`
6×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
5×	`div-inv_binary64_15761`
3×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798` `associate-/r*_binary64_15708`
1×	`pow1_binary64_15825` `add-log-exp_binary64_15803` `frac-2neg_binary64_15775` `clear-num_binary64_15763` `associate-/l/_binary64_15711`

Counts

1 → 70

Calls

1 calls:

6.0ms

(/.f64 (/.f64 x y) y)

Compiler

Compiled 1151 to 418 computations (63.7% saved)

series101.0ms (0.7%)

Error

Counts

1 → 6

Calls

1 calls:

96.0ms

(/.f64 (/.f64 x y) y)

Compiler

Compiled 126 to 116 computations (7.9% saved)

simplify308.0ms (2%)

Algorithm

1×	egg-herbie

Rules

465×	`times-frac_binary64_15770`
341×	`*-commutative_binary64_15695`
308×	`associate-/l/_binary64_15711`
229×	`associate-/l*_binary64_15709`
187×	`associate-/r*_binary64_15708`
186×	`cancel-sign-sub-inv_binary64_15730`
167×	`distribute-rgt-in_binary64_15714`
158×	`associate--l-_binary64_15702`
151×	`associate--r-_binary64_15703`
150×	`associate--l+_binary64_15701`
134×	`associate-/r/_binary64_15710`
131×	`log-prod_binary64_15850`
121×	`unswap-sqr_binary64_15732`
111×	`distribute-lft-in_binary64_15713`
108×	`cube-prod_binary64_15792`
97×	`associate-*l/_binary64_15707`
91×	`log-div_binary64_15851`
87×	`sqr-pow_binary64_15736`
86×	`associate-*r/_binary64_15706`
82×	`distribute-rgt-neg-in_binary64_15722`
81×	`div-sub_binary64_15769`
80×	`sub-neg_binary64_15757`
77×	`distribute-rgt-out_binary64_15717`
75×	`associate-l_binary64_15705`
73×	`swap-sqr_binary64_15731`
72×	`cube-div_binary64_15793`
71×	`distribute-rgt-out--_binary64_15718`
67×	`distribute-lft-neg-in_binary64_15721`
60×	`distribute-lft-out_binary64_15715`
48×	`distribute-lft-out--_binary64_15716`
45×	`distribute-neg-frac_binary64_15728`
41×	`pow-sqr_binary64_15737`
39×	`exp-prod_binary64_15816`
37×	`neg-mul-1_binary64_15760`
32×	`pow-plus_binary64_15827` `neg-sub0_binary64_15759`
31×	`distribute-neg-in_binary64_15725`
29×	`*-rgt-identity_binary64_15754`
28×	`associate-r_binary64_15704`
27×	`/-rgt-identity_binary64_15755`
26×	`unpow3_binary64_15830` `*-lft-identity_binary64_15753`
23×	`cube-mult_binary64_15794`
20×	`log-pow_binary64_15853` `unsub-neg_binary64_15758`
19×	`associate-+l-_binary64_15699`
16×	`div-exp_binary64_15815` `prod-exp_binary64_15813`
15×	`log-rec_binary64_15852` `cube-unmult_binary64_15801`
13×	`distribute-rgt1-in_binary64_15720`
11×	`count-2_binary64_15712`
10×	`exp-to-pow_binary64_15826` `distribute-rgt-neg-out_binary64_15724`
9×	`sub0-neg_binary64_15751` `distribute-lft-neg-out_binary64_15723` `associate-+r-_binary64_15698`
8×	`distribute-neg-out_binary64_15726` `associate--r+_binary64_15700`
7×	`+-commutative_binary64_15694`
6×	`exp-diff_binary64_15812` `+-lft-identity_binary64_15748`
5×	`rem-sqrt-square_binary64_15777`
4×	`rec-exp_binary64_15814` `exp-sum_binary64_15810` `associate-+l+_binary64_15697`
3×	`exp-lft-sqr_binary64_15819` `exp-sqrt_binary64_15817` `div0_binary64_15745` `distribute-frac-neg_binary64_15727` `distribute-lft1-in_binary64_15719`
2×	`remove-double-neg_binary64_15752` `--rgt-identity_binary64_15750` `+-inverses_binary64_15743` `associate-+r+_binary64_15696`
1×	`unpow2_binary64_15829` `pow-base-1_binary64_15824` `unpow1_binary64_15822` `1-exp_binary64_15808` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `sqr-neg_binary64_15778` `rem-square-sqrt_binary64_15776` `*-inverses_binary64_15744` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `cancel-sign-sub_binary64_15729`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-cbrt_binary64_15818` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `cube-neg_binary64_15791` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `mul-1-neg_binary64_15756` `+-rgt-identity_binary64_15749` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `lft-mult-inverse_binary64_15742` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `difference-of-squares_binary64_15733`

Counts

76 → 243

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	141	1330
1	299	1229
2	629	1157
3	1721	1157
4	2617	1157

prune210.0ms (1.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	243	0	243
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	243	5	248

Error

Counts

248 → 5

Compiler

Compiled 4433 to 1127 computations (74.6% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

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

rewrite72.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`add-sqr-sqrt_binary64_15786`
25×	`times-frac_binary64_15770`
23×	`add-exp-log_binary64_15802`
17×	`*-un-lft-identity_binary64_15764`
15×	`add-cube-cbrt_binary64_15799`
13×	`add-cbrt-cube_binary64_15800` `associate-l_binary64_15705` `associate-r_binary64_15704`
8×	`div-exp_binary64_15815` `prod-exp_binary64_15813`
6×	`unswap-sqr_binary64_15732`
4×	`cbrt-unprod_binary64_15797` `cbrt-undiv_binary64_15798`
3×	`pow1_binary64_15825`
2×	`1-exp_binary64_15808` `rec-exp_binary64_15814` `div-inv_binary64_15761`
1×	`pow-prod-down_binary64_15835` `add-log-exp_binary64_15803` `frac-times_binary64_15774` `associate-l/_binary64_15707` `associate-r/_binary64_15706` `*-commutative_binary64_15695`

Counts

1 → 56

Calls

1 calls:

12.0ms

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

Compiler

Compiled 936 to 512 computations (45.3% saved)

series115.0ms (0.8%)

Error

Counts

1 → 6

Calls

1 calls:

111.0ms

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

Compiler

Compiled 126 to 116 computations (7.9% saved)

simplify438.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

532×	`times-frac_binary64_15770`
457×	`associate-/l*_binary64_15709`
363×	`distribute-lft-out_binary64_15715`
360×	`*-commutative_binary64_15695`
353×	`distribute-lft-out--_binary64_15716`
334×	`associate-/l/_binary64_15711`
192×	`cancel-sign-sub-inv_binary64_15730`
137×	`associate-/r/_binary64_15710`
133×	`associate-r_binary64_15704`
128×	`sqr-pow_binary64_15736`
125×	`distribute-rgt-out--_binary64_15718`
114×	`associate-/r*_binary64_15708`
111×	`distribute-rgt-out_binary64_15717`
108×	`associate-*l/_binary64_15707`
100×	`associate-l_binary64_15705`
90×	`associate-*r/_binary64_15706`
83×	`unswap-sqr_binary64_15732`
75×	`log-div_binary64_15851`
69×	`log-prod_binary64_15850`
68×	`cube-div_binary64_15793`
62×	`remove-double-div_binary64_15740`
59×	`cube-prod_binary64_15792` `*-lft-identity_binary64_15753`
58×	`sub-neg_binary64_15757`
56×	`swap-sqr_binary64_15731`
54×	`pow-sqr_binary64_15737`
52×	`exp-prod_binary64_15816`
31×	`distribute-rgt-neg-in_binary64_15722`
30×	`/-rgt-identity_binary64_15755`
29×	`distribute-neg-in_binary64_15725`
28×	`*-rgt-identity_binary64_15754`
25×	`unpow3_binary64_15830`
24×	`associate-+l-_binary64_15699`
23×	`log-rec_binary64_15852` `pow-plus_binary64_15827` `distribute-lft-neg-in_binary64_15721`
22×	`cube-mult_binary64_15794`
20×	`exp-to-pow_binary64_15826`
19×	`log-pow_binary64_15853`
18×	`associate--r-_binary64_15703`
14×	`associate--l-_binary64_15702`
13×	`neg-mul-1_binary64_15760` `distribute-rgt1-in_binary64_15720` `associate--r+_binary64_15700`
12×	`unsub-neg_binary64_15758` `distribute-rgt-in_binary64_15714` `associate-+r-_binary64_15698`
9×	`cube-unmult_binary64_15801` `rem-sqrt-square_binary64_15777`
8×	`distribute-lft-neg-out_binary64_15723`
7×	`exp-lft-sqr_binary64_15819` `exp-sqrt_binary64_15817` `prod-exp_binary64_15813`
6×	`neg-sub0_binary64_15759` `distribute-rgt-neg-out_binary64_15724`
5×	`sub0-neg_binary64_15751` `+-commutative_binary64_15694`
4×	`pow-base-1_binary64_15824` `exp-sum_binary64_15810` `distribute-neg-out_binary64_15726` `count-2_binary64_15712`
3×	`+-inverses_binary64_15743`
2×	`exp-diff_binary64_15812` `+-lft-identity_binary64_15748` `distribute-lft1-in_binary64_15719` `associate--l+_binary64_15701` `associate-+l+_binary64_15697` `associate-+r+_binary64_15696`
1×	`unpow2_binary64_15829` `unpow1_binary64_15822` `div-exp_binary64_15815` `rec-exp_binary64_15814` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `rem-cbrt-cube_binary64_15788` `rem-square-sqrt_binary64_15776` `*-inverses_binary64_15744` `rgt-mult-inverse_binary64_15741` `distribute-neg-frac_binary64_15728`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-cbrt_binary64_15818` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-0_binary64_15806` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `div-sub_binary64_15769` `mul-1-neg_binary64_15756` `remove-double-neg_binary64_15752` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `lft-mult-inverse_binary64_15742` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `difference-of-squares_binary64_15733` `cancel-sign-sub_binary64_15729` `distribute-frac-neg_binary64_15727` `distribute-lft-in_binary64_15713`

Counts

62 → 164

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	111	833
1	289	722
2	961	702
3	2215	667
4	2763	667

prune144.0ms (1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	164	5	169

Error

Counts

169 → 5

Compiler

Compiled 2650 to 1004 computations (62.1% saved)

regimes685.0ms (4.5%)

Accuracy

Total 0.1b remaining (98.6%)

Threshold costs 0.1b (98.6%)

Compiler

Compiled 6850 to 4992 computations (27.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`sub-neg_binary64_15757` `+-commutative_binary64_15694`
1×	`neg-mul-1_binary64_15760` `neg-sub0_binary64_15759` `*-commutative_binary64_15695`
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_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `unpow1_binary64_15822` `e-exp-1_binary64_15809` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `unsub-neg_binary64_15758` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `-rgt-identity_binary64_15754` `-lft-identity_binary64_15753` `remove-double-neg_binary64_15752` `sub0-neg_binary64_15751` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748` `cancel-sign-sub-inv_binary64_15730` `cancel-sign-sub_binary64_15729` `distribute-neg-frac_binary64_15728` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-neg-in_binary64_15725` `distribute-rgt-neg-out_binary64_15724` `distribute-lft-neg-out_binary64_15723` `distribute-rgt-neg-in_binary64_15722` `distribute-lft-neg-in_binary64_15721`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	9	10
2	14	10
3	16	10
4	17	10

Proof

(- f64 (/ f64 (/ f64 h0 h1) h1) 3)

end0.0ms (0%)

sample1.6s (10.8%)

Algorithm

1×

intervals

Results

190.0ms	8000×	body	128	valid
14.0ms	424×	body	128	invalid

Compiler

Compiled 1333 to 979 computations (26.6% saved)

Details

analyze86.0ms (0.6%)

sample16.0ms (0.1%)

simplify1.2s (7.7%)

prune2.0ms (0%)

localize5.0ms (0%)

rewrite32.0ms (0.2%)

series112.0ms (0.7%)

simplify140.0ms (0.9%)

prune31.0ms (0.2%)

localize6.0ms (0%)

rewrite407.0ms (2.7%)

series219.0ms (1.5%)

simplify4.3s (28.3%)

prune4.8s (31.8%)

localize5.0ms (0%)

rewrite72.0ms (0.5%)

series101.0ms (0.7%)

simplify308.0ms (2%)

prune210.0ms (1.4%)

localize6.0ms (0%)

rewrite72.0ms (0.5%)

series115.0ms (0.8%)

simplify438.0ms (2.9%)

prune144.0ms (1%)

regimes685.0ms (4.5%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.6s (10.8%)

Profiling