Details

analyze41.0ms (0.8%)

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
25%	74.9%	0.1%	5
50%	50%	0.1%	6
62.4%	31.2%	6.3%	7
71.8%	21.9%	6.3%	8
76.5%	14%	9.5%	9
80.4%	10.1%	9.5%	10
82.3%	6.6%	11%	11
84.1%	4.9%	11%	12
85%	3.2%	11.8%	13
85.8%	2.4%	11.8%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample17.0ms (0.4%)

Algorithm

1×

intervals

Results

4.0ms	256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify148.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64_11603`
3×	`associate-l_binary64_11613` `associate-r_binary64_11612`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `log-E_binary64_11762` `log-pow_binary64_11761` `log-rec_binary64_11760` `log-div_binary64_11759` `log-prod_binary64_11758` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `unpow3_binary64_11738` `unpow2_binary64_11737` `unpow1/2_binary64_11736` `pow-plus_binary64_11735` `exp-to-pow_binary64_11734` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-lft-sqr_binary64_11727` `exp-cbrt_binary64_11726` `exp-sqrt_binary64_11725` `exp-prod_binary64_11724` `div-exp_binary64_11723` `rec-exp_binary64_11722` `prod-exp_binary64_11721` `exp-diff_binary64_11720` `exp-neg_binary64_11719` `exp-sum_binary64_11718` `e-exp-1_binary64_11717` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `exp-0_binary64_11714` `rem-log-exp_binary64_11713` `rem-exp-log_binary64_11712` `cube-unmult_binary64_11709` `cube-mult_binary64_11702` `cube-div_binary64_11701` `cube-prod_binary64_11700` `cube-neg_binary64_11699` `rem-3cbrt-rft_binary64_11698` `rem-3cbrt-lft_binary64_11697` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `rem-sqrt-square_binary64_11685` `rem-square-sqrt_binary64_11684` `times-frac_binary64_11678` `div-sub_binary64_11677` `neg-mul-1_binary64_11668` `neg-sub0_binary64_11667` `unsub-neg_binary64_11666` `sub-neg_binary64_11665` `mul-1-neg_binary64_11664` `/-rgt-identity_binary64_11663` `-rgt-identity_binary64_11662` `-lft-identity_binary64_11661` `remove-double-neg_binary64_11660` `sub0-neg_binary64_11659` `--rgt-identity_binary64_11658` `+-rgt-identity_binary64_11657` `+-lft-identity_binary64_11656` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `div0_binary64_11653` `-inverses_binary64_11652` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `remove-double-div_binary64_11648` `pow-sqr_binary64_11645` `sqr-pow_binary64_11644` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `unswap-sqr_binary64_11640` `swap-sqr_binary64_11639` `cancel-sign-sub-inv_binary64_11638` `cancel-sign-sub_binary64_11637` `distribute-neg-frac_binary64_11636` `distribute-frac-neg_binary64_11635` `distribute-neg-out_binary64_11634` `distribute-neg-in_binary64_11633` `distribute-rgt-neg-out_binary64_11632` `distribute-lft-neg-out_binary64_11631` `distribute-rgt-neg-in_binary64_11630` `distribute-lft-neg-in_binary64_11629` `distribute-rgt1-in_binary64_11628` `distribute-lft1-in_binary64_11627` `distribute-rgt-out--_binary64_11626` `distribute-rgt-out_binary64_11625` `distribute-lft-out--_binary64_11624` `distribute-lft-out_binary64_11623` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621` `count-2_binary64_11620` `associate-/l/_binary64_11619` `associate-/r/_binary64_11618` `associate-/l_binary64_11617` `associate-/r_binary64_11616` `associate-l/_binary64_11615` `associate-*r/_binary64_11614` `associate--r-_binary64_11611` `associate--l-_binary64_11610` `associate--l+_binary64_11609` `associate--r+_binary64_11608` `associate-+l-_binary64_11607` `associate-+r-_binary64_11606` `associate-+l+_binary64_11605` `associate-+r+_binary64_11604` `+-commutative_binary64_11602`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	16	7
3	16	7

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 2

Compiler

Compiled 15 to 15 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite25.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
3×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `associate-l_binary64_11613`
2×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
1×	`add-log-exp_binary64_11711` `associate-r_binary64_11612` `*-commutative_binary64_11603`

Counts

1 → 18

Calls

1 calls:

5.0ms

(*.f64 x (*.f64 27 y))

Compiler

Compiled 184 to 123 computations (33.2% saved)

series85.0ms (1.8%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

82.0ms

(*.f64 x (*.f64 27 y))

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify156.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

539×	`log-div_binary64_11759`
451×	`unswap-sqr_binary64_11640`
427×	`associate-l_binary64_11613`
362×	`associate-/r*_binary64_11616`
334×	`cube-div_binary64_11701`
287×	`sqr-pow_binary64_11644`
264×	`*-commutative_binary64_11603`
250×	`associate-r_binary64_11612`
192×	`pow-sqr_binary64_11645`
186×	`associate-/l/_binary64_11619`
129×	`associate-/l*_binary64_11617`
114×	`log-prod_binary64_11758`
111×	`cube-prod_binary64_11700`
80×	`exp-prod_binary64_11724`
79×	`associate-+r-_binary64_11606`
75×	`exp-sqrt_binary64_11725` `associate-*r/_binary64_11614`
68×	`associate-/r/_binary64_11618`
65×	`swap-sqr_binary64_11639`
50×	`times-frac_binary64_11678`
48×	`unpow3_binary64_11738`
46×	`associate-+l-_binary64_11607`
45×	`cube-mult_binary64_11702`
40×	`log-rec_binary64_11760` `/-rgt-identity_binary64_11663`
38×	`sub-neg_binary64_11665`
35×	`associate--l-_binary64_11610`
26×	`associate-+r+_binary64_11604`
20×	`associate-*l/_binary64_11615` `associate-+l+_binary64_11605`
14×	`exp-lft-sqr_binary64_11727`
10×	`*-lft-identity_binary64_11661` `+-commutative_binary64_11602`
8×	`prod-exp_binary64_11721`
7×	`cube-unmult_binary64_11709` `*-rgt-identity_binary64_11662`
6×	`associate--l+_binary64_11609`
4×	`div-exp_binary64_11723` `remove-double-div_binary64_11648`
3×	`log-pow_binary64_11761`
2×	`rec-exp_binary64_11722`
1×	`pow-plus_binary64_11735` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-log-exp_binary64_11713` `neg-mul-1_binary64_11668` `unsub-neg_binary64_11666` `*-inverses_binary64_11652` `distribute-lft-out_binary64_11623` `count-2_binary64_11620`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `log-E_binary64_11762` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `unpow2_binary64_11737` `unpow1/2_binary64_11736` `exp-to-pow_binary64_11734` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `exp-diff_binary64_11720` `exp-neg_binary64_11719` `exp-sum_binary64_11718` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `rem-exp-log_binary64_11712` `cube-neg_binary64_11699` `rem-3cbrt-rft_binary64_11698` `rem-3cbrt-lft_binary64_11697` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `rem-sqrt-square_binary64_11685` `rem-square-sqrt_binary64_11684` `div-sub_binary64_11677` `neg-sub0_binary64_11667` `mul-1-neg_binary64_11664` `remove-double-neg_binary64_11660` `sub0-neg_binary64_11659` `--rgt-identity_binary64_11658` `+-rgt-identity_binary64_11657` `+-lft-identity_binary64_11656` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `div0_binary64_11653` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `cancel-sign-sub-inv_binary64_11638` `cancel-sign-sub_binary64_11637` `distribute-neg-frac_binary64_11636` `distribute-frac-neg_binary64_11635` `distribute-neg-out_binary64_11634` `distribute-neg-in_binary64_11633` `distribute-rgt-neg-out_binary64_11632` `distribute-lft-neg-out_binary64_11631` `distribute-rgt-neg-in_binary64_11630` `distribute-lft-neg-in_binary64_11629` `distribute-rgt1-in_binary64_11628` `distribute-lft1-in_binary64_11627` `distribute-rgt-out--_binary64_11626` `distribute-rgt-out_binary64_11625` `distribute-lft-out--_binary64_11624` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621` `associate--r-_binary64_11611` `associate--r+_binary64_11608`

Counts

24 → 53

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	243
1	89	198
2	303	198
3	860	198
4	1072	198
5	1319	198
6	1656	198
7	2078	198
8	2989	198
9	4967	198

prune46.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	49	4	53
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	49	6	55

Error

0.0b

Counts

55 → 6

Compiler

Compiled 619 to 391 computations (36.8% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite21.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
3×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `associate-l_binary64_11613`
2×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
1×	`add-log-exp_binary64_11711` `associate-r_binary64_11612` `*-commutative_binary64_11603`

Counts

1 → 18

Calls

1 calls:

5.0ms

(*.f64 27 (*.f64 x y))

Compiler

Compiled 220 to 147 computations (33.2% saved)

series88.0ms (1.8%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

85.0ms

(*.f64 27 (*.f64 x y))

Compiler

Compiled 126 to 111 computations (11.9% saved)

simplify130.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

589×	`associate-/l*_binary64_11617`
546×	`associate-/r/_binary64_11618`
453×	`unswap-sqr_binary64_11640`
384×	`associate-l_binary64_11613`
303×	`*-commutative_binary64_11603`
301×	`log-div_binary64_11759`
300×	`cube-div_binary64_11701`
265×	`sqr-pow_binary64_11644`
264×	`log-prod_binary64_11758`
261×	`cube-prod_binary64_11700`
235×	`associate-r_binary64_11612`
187×	`pow-sqr_binary64_11645`
180×	`associate-/r*_binary64_11616`
162×	`associate-/l/_binary64_11619`
112×	`exp-prod_binary64_11724`
65×	`associate-*r/_binary64_11614`
46×	`times-frac_binary64_11678`
41×	`/-rgt-identity_binary64_11663`
33×	`log-rec_binary64_11760` `unpow3_binary64_11738` `exp-sqrt_binary64_11725`
31×	`cube-mult_binary64_11702`
28×	`swap-sqr_binary64_11639`
24×	`remove-double-div_binary64_11648`
15×	`exp-lft-sqr_binary64_11727` `sub-neg_binary64_11665` `associate-*l/_binary64_11615`
13×	`*-lft-identity_binary64_11661`
7×	`prod-exp_binary64_11721` `*-rgt-identity_binary64_11662`
6×	`cube-unmult_binary64_11709`
5×	`+-commutative_binary64_11602`
4×	`div-exp_binary64_11723`
3×	`associate-+l+_binary64_11605` `associate-+r+_binary64_11604`
2×	`rec-exp_binary64_11722` `*-inverses_binary64_11652`
1×	`pow-plus_binary64_11735` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-log-exp_binary64_11713` `neg-mul-1_binary64_11668` `unsub-neg_binary64_11666`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `log-E_binary64_11762` `log-pow_binary64_11761` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `unpow2_binary64_11737` `unpow1/2_binary64_11736` `exp-to-pow_binary64_11734` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `exp-diff_binary64_11720` `exp-neg_binary64_11719` `exp-sum_binary64_11718` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `rem-exp-log_binary64_11712` `cube-neg_binary64_11699` `rem-3cbrt-rft_binary64_11698` `rem-3cbrt-lft_binary64_11697` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `rem-sqrt-square_binary64_11685` `rem-square-sqrt_binary64_11684` `div-sub_binary64_11677` `neg-sub0_binary64_11667` `mul-1-neg_binary64_11664` `remove-double-neg_binary64_11660` `sub0-neg_binary64_11659` `--rgt-identity_binary64_11658` `+-rgt-identity_binary64_11657` `+-lft-identity_binary64_11656` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `div0_binary64_11653` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `cancel-sign-sub-inv_binary64_11638` `cancel-sign-sub_binary64_11637` `distribute-neg-frac_binary64_11636` `distribute-frac-neg_binary64_11635` `distribute-neg-out_binary64_11634` `distribute-neg-in_binary64_11633` `distribute-rgt-neg-out_binary64_11632` `distribute-lft-neg-out_binary64_11631` `distribute-rgt-neg-in_binary64_11630` `distribute-lft-neg-in_binary64_11629` `distribute-rgt1-in_binary64_11628` `distribute-lft1-in_binary64_11627` `distribute-rgt-out--_binary64_11626` `distribute-rgt-out_binary64_11625` `distribute-lft-out--_binary64_11624` `distribute-lft-out_binary64_11623` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621` `count-2_binary64_11620` `associate--r-_binary64_11611` `associate--l-_binary64_11610` `associate--l+_binary64_11609` `associate--r+_binary64_11608` `associate-+l-_binary64_11607` `associate-+r-_binary64_11606`

Counts

24 → 15

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	36	243
1	85	198
2	273	198
3	769	198
4	978	198
5	1208	198
6	1528	198
7	1918	198
8	3409	198

prune18.0ms (0.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	15	6	21

Error

0.0b

Counts

21 → 6

Compiler

Compiled 228 to 164 computations (28.1% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.5b	(.f64 (.f64 x 27) y)

rewrite20.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
3×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `associate-r_binary64_11612`
2×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
1×	`add-log-exp_binary64_11711` `associate-l_binary64_11613` `*-commutative_binary64_11603`

Counts

1 → 18

Calls

1 calls:

5.0ms

(*.f64 (*.f64 x 27) y)

Compiler

Compiled 184 to 123 computations (33.2% saved)

series82.0ms (1.7%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

78.0ms

(*.f64 (*.f64 x 27) y)

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify283.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

656×	`distribute-rgt-out--_binary64_11626`
362×	`sqr-pow_binary64_11644`
327×	`*-commutative_binary64_11603`
262×	`pow-sqr_binary64_11645`
245×	`unswap-sqr_binary64_11640`
196×	`log-prod_binary64_11758`
190×	`exp-prod_binary64_11724`
183×	`log-div_binary64_11759`
180×	`cube-div_binary64_11701`
173×	`exp-to-pow_binary64_11734`
166×	`cube-prod_binary64_11700`
157×	`distribute-lft-out_binary64_11623`
151×	`distribute-rgt-neg-in_binary64_11630`
138×	`associate-/l*_binary64_11617`
123×	`swap-sqr_binary64_11639`
110×	`associate-l_binary64_11613`
108×	`distribute-rgt-out_binary64_11625`
102×	`associate-/l/_binary64_11619`
77×	`associate-r_binary64_11612`
75×	`associate-l/_binary64_11615` `associate-r/_binary64_11614`
67×	`associate-/r/_binary64_11618`
61×	`exp-sum_binary64_11718`
46×	`log-pow_binary64_11761`
44×	`pow-plus_binary64_11735`
41×	`distribute-rgt1-in_binary64_11628`
38×	`times-frac_binary64_11678` `distribute-neg-in_binary64_11633`
37×	`*-rgt-identity_binary64_11662`
35×	`*-lft-identity_binary64_11661`
34×	`unpow3_binary64_11738`
33×	`cube-mult_binary64_11702` `associate-+l+_binary64_11605`
31×	`distribute-rgt-in_binary64_11622`
30×	`exp-lft-sqr_binary64_11727`
28×	`associate-+r+_binary64_11604`
27×	`associate-/r*_binary64_11616`
25×	`exp-sqrt_binary64_11725` `sub-neg_binary64_11665`
24×	`unsub-neg_binary64_11666`
23×	`distribute-lft-neg-in_binary64_11629`
20×	`distribute-lft1-in_binary64_11627` `distribute-lft-in_binary64_11621`
18×	`distribute-lft-neg-out_binary64_11631`
16×	`distribute-rgt-neg-out_binary64_11632`
15×	`log-rec_binary64_11760`
14×	`pow-base-1_binary64_11732` `div-sub_binary64_11677`
12×	`prod-exp_binary64_11721` `+-commutative_binary64_11602`
10×	`exp-diff_binary64_11720`
7×	`cube-unmult_binary64_11709` `associate-+l-_binary64_11607` `associate-+r-_binary64_11606`
4×	`rem-log-exp_binary64_11713` `neg-mul-1_binary64_11668` `distribute-neg-out_binary64_11634` `count-2_binary64_11620`
3×	`/-rgt-identity_binary64_11663`
2×	`rem-sqrt-square_binary64_11685` `distribute-frac-neg_binary64_11635`
1×	`1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-exp-log_binary64_11712` `+-rgt-identity_binary64_11657` `+-lft-identity_binary64_11656` `div0_binary64_11653` `rgt-mult-inverse_binary64_11649` `remove-double-div_binary64_11648`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `log-E_binary64_11762` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `unpow2_binary64_11737` `unpow1/2_binary64_11736` `unpow0_binary64_11731` `unpow1_binary64_11730` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `div-exp_binary64_11723` `rec-exp_binary64_11722` `exp-neg_binary64_11719` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `cube-neg_binary64_11699` `rem-3cbrt-rft_binary64_11698` `rem-3cbrt-lft_binary64_11697` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `rem-square-sqrt_binary64_11684` `neg-sub0_binary64_11667` `mul-1-neg_binary64_11664` `remove-double-neg_binary64_11660` `sub0-neg_binary64_11659` `--rgt-identity_binary64_11658` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `*-inverses_binary64_11652` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `cancel-sign-sub-inv_binary64_11638` `cancel-sign-sub_binary64_11637` `distribute-neg-frac_binary64_11636` `distribute-lft-out--_binary64_11624` `associate--r-_binary64_11611` `associate--l-_binary64_11610` `associate--l+_binary64_11609` `associate--r+_binary64_11608`

Counts

24 → 51

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	245
1	99	200
2	377	200
3	525	200
4	701	200
5	1022	200
6	1693	200
7	2701	200

prune40.0ms (0.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	51	6	57

Error

0.0b

Counts

57 → 6

Compiler

Compiled 593 to 370 computations (37.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 x (*.f64 27 y))))
7.8b	(cbrt.f64 (.f64 27 (.f64 x y)))
7.8b	(cbrt.f64 (.f64 x (.f64 27 y)))
7.8b	(cbrt.f64 (.f64 x (.f64 27 y)))

rewrite107.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`pow1_binary64_11733`
10×	`add-sqr-sqrt_binary64_11694`
9×	`pow1/3_binary64_11754`
8×	`add-cube-cbrt_binary64_11707` `*-un-lft-identity_binary64_11672`
7×	`cbrt-prod_binary64_11703`
6×	`add-exp-log_binary64_11710`
4×	`add-log-exp_binary64_11711` `add-cbrt-cube_binary64_11708` `swap-sqr_binary64_11639` `associate-l_binary64_11613` `associate-r_binary64_11612`
2×	`pow-prod-down_binary64_11743` `pow-prod-up_binary64_11742` `pow-sqr_binary64_11645`
1×	`pow2_binary64_11753` `pow-plus_binary64_11735` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `unswap-sqr_binary64_11640` `*-commutative_binary64_11603`

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 x (*.f64 27 y))))
4.0ms	(cbrt.f64 (.f64 27 (.f64 x y)))
4.0ms	(cbrt.f64 (.f64 x (.f64 27 y)))
3.0ms	(cbrt.f64 (.f64 x (.f64 27 y)))

Compiler

Compiled 1513 to 1034 computations (31.7% saved)

series1.4s (28.2%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

421.0ms	(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 x (*.f64 27 y))))
315.0ms	(cbrt.f64 (.f64 x (.f64 27 y)))
300.0ms	(cbrt.f64 (.f64 x (.f64 27 y)))
292.0ms	(cbrt.f64 (.f64 27 (.f64 x y)))

Compiler

Compiled 1806 to 1462 computations (19% saved)

simplify888.0ms (18.4%)

Algorithm

1×	egg-herbie

Rules

427×	`associate-l_binary64_11613`
379×	`exp-prod_binary64_11724`
368×	`distribute-rgt-in_binary64_11622`
352×	`associate-r_binary64_11612`
294×	`distribute-lft-in_binary64_11621`
276×	`cancel-sign-sub-inv_binary64_11638`
162×	`unswap-sqr_binary64_11640`
131×	`distribute-neg-out_binary64_11634`
128×	`div-sub_binary64_11677`
121×	`distribute-rgt-out_binary64_11625`
114×	`exp-sum_binary64_11718`
109×	`unsub-neg_binary64_11666`
98×	`distribute-rgt-out--_binary64_11626`
97×	`distribute-rgt-neg-out_binary64_11632`
95×	`log-prod_binary64_11758`
93×	`distribute-lft-out_binary64_11623`
88×	`swap-sqr_binary64_11639` `*-commutative_binary64_11603`
87×	`sqr-pow_binary64_11644`
85×	`distribute-rgt-neg-in_binary64_11630`
81×	`distribute-lft-neg-in_binary64_11629`
71×	`exp-diff_binary64_11720`
64×	`distribute-lft-neg-out_binary64_11631`
63×	`associate-*l/_binary64_11615`
62×	`cube-prod_binary64_11700`
55×	`sub-neg_binary64_11665`
52×	`distribute-lft-out--_binary64_11624`
48×	`log-div_binary64_11759` `times-frac_binary64_11678`
44×	`exp-to-pow_binary64_11734`
42×	`exp-sqrt_binary64_11725` `neg-sub0_binary64_11667`
36×	`exp-lft-sqr_binary64_11727`
34×	`*-rgt-identity_binary64_11662`
31×	`neg-mul-1_binary64_11668` `pow-sqr_binary64_11645` `distribute-neg-frac_binary64_11636`
28×	`distribute-frac-neg_binary64_11635`
26×	`cube-div_binary64_11701` `-lft-identity_binary64_11661` `associate-r/_binary64_11614`
24×	`exp-neg_binary64_11719`
20×	`associate-/l_binary64_11617` `associate-/r_binary64_11616`
15×	`pow-plus_binary64_11735`
14×	`unpow1/3_binary64_11739` `associate-+l-_binary64_11607`
13×	`log-pow_binary64_11761` `distribute-neg-in_binary64_11633`
12×	`associate--l-_binary64_11610` `associate-+r-_binary64_11606`
11×	`cube-unmult_binary64_11709`
10×	`+-commutative_binary64_11602`
8×	`distribute-rgt1-in_binary64_11628` `associate--r-_binary64_11611` `associate--r+_binary64_11608` `associate-+r+_binary64_11604`
7×	`log-rec_binary64_11760`
6×	`+-rgt-identity_binary64_11657` `associate-/r/_binary64_11618` `associate-+l+_binary64_11605`
5×	`rem-sqrt-square_binary64_11685` `remove-double-neg_binary64_11660` `count-2_binary64_11620` `associate-/l/_binary64_11619`
4×	`unpow3_binary64_11738` `unpow2_binary64_11737` `sub0-neg_binary64_11659` `associate--l+_binary64_11609`
3×	`unpow1_binary64_11730` `prod-exp_binary64_11721` `rem-3cbrt-lft_binary64_11697` `/-rgt-identity_binary64_11663` `--rgt-identity_binary64_11658` `mul0-lft_binary64_11654`
2×	`rem-exp-log_binary64_11712` `cube-mult_binary64_11702`
1×	`pow-base-1_binary64_11732` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-log-exp_binary64_11713` `rem-3cbrt-rft_binary64_11698` `rem-square-sqrt_binary64_11684` `mul0-rgt_binary64_11655` `*-inverses_binary64_11652`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `log-E_binary64_11762` `pow-base-0_binary64_11756` `unpow1/2_binary64_11736` `unpow0_binary64_11731` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `div-exp_binary64_11723` `rec-exp_binary64_11722` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `cube-neg_binary64_11699` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `mul-1-neg_binary64_11664` `+-lft-identity_binary64_11656` `div0_binary64_11653` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `remove-double-div_binary64_11648` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `cancel-sign-sub_binary64_11637` `distribute-lft1-in_binary64_11627`

Counts

82 → 253

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	126	1312
1	254	1222
2	595	1135
3	2087	997

prune483.0ms (10%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	253	0	253
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	253	6	259

Error

0.0b

Counts

259 → 6

Compiler

Compiled 6844 to 4716 computations (31.1% saved)

regimes140.0ms (2.9%)

Accuracy

Total 0.3b remaining (97.9%)

Threshold costs 0.3b (97.9%)

Compiler

Compiled 888 to 758 computations (14.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2× *-commutative_binary64_11603

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_11932 if-if-and_binary64_11931 if-if-or-not_binary64_11930 if-if-or_binary64_11929 if-not_binary64_11928 if-same_binary64_11927 if-false_binary64_11926 if-true_binary64_11925 tan-0_binary64_11801 cos-0_binary64_11800 sin-0_binary64_11799 unpow1_binary64_11730 e-exp-1_binary64_11717 1-exp_binary64_11716 exp-1-e_binary64_11715 exp-0_binary64_11714 sqr-abs_binary64_11687 sqr-neg_binary64_11686 neg-mul-1_binary64_11668 neg-sub0_binary64_11667 unsub-neg_binary64_11666 sub-neg_binary64_11665 mul-1-neg_binary64_11664 /-rgt-identity_binary64_11663 *-rgt-identity_binary64_11662 *-lft-identity_binary64_11661 remove-double-neg_binary64_11660 sub0-neg_binary64_11659 --rgt-identity_binary64_11658 +-rgt-identity_binary64_11657 +-lft-identity_binary64_11656 cancel-sign-sub-inv_binary64_11638 cancel-sign-sub_binary64_11637 distribute-neg-frac_binary64_11636 distribute-frac-neg_binary64_11635 distribute-neg-out_binary64_11634 distribute-neg-in_binary64_11633 distribute-rgt-neg-out_binary64_11632 distribute-lft-neg-out_binary64_11631 distribute-rgt-neg-in_binary64_11630 distribute-lft-neg-in_binary64_11629 +-commutative_binary64_11602

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7

Proof

(* f64 h0 (* f64 27 h1))

end0.0ms (0%)

sample616.0ms (12.8%)

Algorithm

1×

intervals

Results

144.0ms	8000×	body	128	valid
2.0ms	95×	body	128	invalid

Compiler

Compiled 223 to 191 computations (14.3% saved)

Details

analyze41.0ms (0.8%)

sample17.0ms (0.4%)

simplify148.0ms (3.1%)

prune4.0ms (0.1%)

localize4.0ms (0.1%)

rewrite25.0ms (0.5%)

series85.0ms (1.8%)

simplify156.0ms (3.2%)

prune46.0ms (1%)

localize5.0ms (0.1%)

rewrite21.0ms (0.4%)

series88.0ms (1.8%)

simplify130.0ms (2.7%)

prune18.0ms (0.4%)

localize4.0ms (0.1%)

rewrite20.0ms (0.4%)

series82.0ms (1.7%)

simplify283.0ms (5.9%)

prune40.0ms (0.8%)

localize11.0ms (0.2%)

rewrite107.0ms (2.2%)

series1.4s (28.2%)

simplify888.0ms (18.4%)

prune483.0ms (10%)

regimes140.0ms (2.9%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample616.0ms (12.8%)

Profiling