Details

analyze34.0ms (0.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
68.7%	31.2%	0.1%	6
68.7%	18.7%	12.6%	7
71.8%	15.6%	12.6%	8
71.8%	9.4%	18.8%	9
73.4%	7.8%	18.8%	10
73.4%	4.7%	22%	11
74.1%	3.9%	22%	12
74.1%	2.3%	23.5%	13
74.5%	2%	23.5%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample21.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
3.0ms	131×	body	128	invalid

Compiler

Compiled 13 to 13 computations (0% saved)

simplify278.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

733×	`pow-sqr_binary64_15396`
528×	`exp-prod_binary64_15475`
431×	`associate-l_binary64_15364`
383×	`sqr-pow_binary64_15395`
368×	`unswap-sqr_binary64_15391`
248×	`cube-prod_binary64_15451`
213×	`times-frac_binary64_15429`
179×	`associate-r_binary64_15363`
157×	`pow-plus_binary64_15486`
142×	`swap-sqr_binary64_15390`
131×	`associate-/l/_binary64_15370`
110×	`associate-/l*_binary64_15368`
109×	`distribute-rgt-out_binary64_15376`
84×	`*-commutative_binary64_15354`
73×	`prod-exp_binary64_15472`
72×	`rem-sqrt-square_binary64_15436`
68×	`unpow3_binary64_15489`
62×	`cube-mult_binary64_15453`
56×	`cube-div_binary64_15452`
54×	`distribute-rgt-in_binary64_15373`
51×	`associate-/r/_binary64_15369`
44×	`associate-*r/_binary64_15365`
42×	`associate-*l/_binary64_15366`
39×	`associate-/r*_binary64_15367`
35×	`distribute-lft-in_binary64_15372`
33×	`distribute-lft-out_binary64_15374`
26×	`sub-neg_binary64_15416`
25×	`exp-sqrt_binary64_15476`
24×	`exp-sum_binary64_15469` `distribute-rgt-out--_binary64_15377` `associate-+l+_binary64_15356`
21×	`exp-lft-sqr_binary64_15478`
20×	`*-lft-identity_binary64_15412`
18×	`*-rgt-identity_binary64_15413`
17×	`distribute-rgt1-in_binary64_15379`
15×	`+-commutative_binary64_15353`
12×	`div-exp_binary64_15474` `neg-mul-1_binary64_15419` `neg-sub0_binary64_15418` `cancel-sign-sub-inv_binary64_15389` `distribute-lft-neg-in_binary64_15380`
11×	`cube-unmult_binary64_15460`
10×	`+-inverses_binary64_15402`
9×	`distribute-rgt-neg-in_binary64_15381`
8×	`count-2_binary64_15371`
5×	`unpow2_binary64_15488` `pow-base-1_binary64_15483` `rem-square-sqrt_binary64_15435` `unsub-neg_binary64_15417` `/-rgt-identity_binary64_15414` `remove-double-div_binary64_15399`
4×	`rec-exp_binary64_15473` `div-sub_binary64_15428` `mul0-lft_binary64_15405` `distribute-lft-out--_binary64_15375` `associate-+r+_binary64_15355`
3×	`exp-diff_binary64_15471` `distribute-neg-frac_binary64_15387`
2×	`unpow1_binary64_15481` `--rgt-identity_binary64_15409` `distribute-lft1-in_binary64_15378`
1×	`1-exp_binary64_15467` `exp-1-e_binary64_15466` `remove-double-neg_binary64_15411` `+-rgt-identity_binary64_15408` `+-lft-identity_binary64_15407` `div0_binary64_15404` `*-inverses_binary64_15403` `distribute-neg-in_binary64_15384` `associate--l+_binary64_15360` `associate--r+_binary64_15359`
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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-E_binary64_15513` `log-pow_binary64_15512` `log-rec_binary64_15511` `log-div_binary64_15510` `log-prod_binary64_15509` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow1/2_binary64_15487` `exp-to-pow_binary64_15485` `unpow0_binary64_15482` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-cbrt_binary64_15477` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-0_binary64_15465` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463` `cube-neg_binary64_15450` `rem-3cbrt-rft_binary64_15449` `rem-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `sqr-neg_binary64_15437` `mul-1-neg_binary64_15415` `sub0-neg_binary64_15410` `mul0-rgt_binary64_15406` `lft-mult-inverse_binary64_15401` `rgt-mult-inverse_binary64_15400` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `difference-of-squares_binary64_15392` `cancel-sign-sub_binary64_15388` `distribute-frac-neg_binary64_15386` `distribute-neg-out_binary64_15385` `distribute-rgt-neg-out_binary64_15383` `distribute-lft-neg-out_binary64_15382` `associate--r-_binary64_15362` `associate--l-_binary64_15361` `associate-+l-_binary64_15358` `associate-+r-_binary64_15357`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	9	9
2	13	9
3	22	9
4	47	9
5	105	9
6	269	9
7	726	9
8	1540	9
9	1806	9
10	2487	9
11	4031	9

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(pow.f64 (exp.f64 y) y)
0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))

rewrite51.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-sqr-sqrt_binary64_15445`
8×	`add-cube-cbrt_binary64_15458` `*-un-lft-identity_binary64_15423`
7×	`unpow-prod-down_binary64_15502` `associate-r_binary64_15363`
6×	`add-exp-log_binary64_15461`
4×	`add-cbrt-cube_binary64_15459` `pow-pow_binary64_15495`
3×	`pow1_binary64_15484` `prod-exp_binary64_15472` `unswap-sqr_binary64_15391` `sqr-pow_binary64_15395` `associate-l_binary64_15364` `pow-unpow_binary64_15500` `exp-prod_binary64_15475`
2×	`pow-to-exp_binary64_15492` `pow-exp_binary64_15491` `add-log-exp_binary64_15462`
1×	`cbrt-unprod_binary64_15456` `*-commutative_binary64_15354`

Counts

2 → 45

Calls

2 calls:

6.0ms	(*.f64 x (pow.f64 (exp.f64 y) y))
3.0ms	(pow.f64 (exp.f64 y) y)

Compiler

Compiled 542 to 159 computations (70.7% saved)

series296.0ms (5.8%)

Error

0.0b

Counts

2 → 15

Calls

2 calls:

229.0ms	(*.f64 x (pow.f64 (exp.f64 y) y))
54.0ms	(pow.f64 (exp.f64 y) y)

Compiler

Compiled 344 to 245 computations (28.8% saved)

simplify208.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

743×	`associate-*l/_binary64_15366`
689×	`associate-*r/_binary64_15365`
330×	`times-frac_binary64_15429`
307×	`associate-l_binary64_15364`
239×	`associate-r_binary64_15363`
172×	`unswap-sqr_binary64_15391`
160×	`associate-/l*_binary64_15368`
118×	`associate-/r*_binary64_15367`
112×	`associate-/r/_binary64_15369`
97×	`sqr-pow_binary64_15395`
81×	`exp-prod_binary64_15475` `associate-/l/_binary64_15370`
71×	`*-commutative_binary64_15354`
69×	`log-prod_binary64_15509`
68×	`distribute-rgt-in_binary64_15373`
63×	`distribute-lft-in_binary64_15372`
59×	`distribute-rgt-out_binary64_15376`
54×	`associate-+l+_binary64_15356`
49×	`pow-sqr_binary64_15396`
46×	`cube-prod_binary64_15451`
35×	`associate-+r+_binary64_15355`
27×	`+-commutative_binary64_15353`
26×	`*-lft-identity_binary64_15412`
25×	`*-rgt-identity_binary64_15413`
22×	`log-pow_binary64_15512`
18×	`cube-unmult_binary64_15460` `swap-sqr_binary64_15390`
16×	`exp-sqrt_binary64_15476` `count-2_binary64_15371`
15×	`distribute-lft-out_binary64_15374`
14×	`pow-plus_binary64_15486`
13×	`log-div_binary64_15510`
12×	`prod-exp_binary64_15472` `exp-sum_binary64_15469`
11×	`cube-div_binary64_15452`
10×	`distribute-rgt1-in_binary64_15379`
7×	`exp-to-pow_binary64_15485`
4×	`pow-base-1_binary64_15483` `rem-sqrt-square_binary64_15436` `distribute-lft1-in_binary64_15378`
3×	`exp-lft-sqr_binary64_15478`
2×	`unpow3_binary64_15489` `unpow1_binary64_15481` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463`
1×	`log-E_binary64_15513` `unpow2_binary64_15488` `exp-diff_binary64_15471` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `cube-mult_binary64_15453` `sub-neg_binary64_15416` `/-rgt-identity_binary64_15414` `*-inverses_binary64_15403` `rgt-mult-inverse_binary64_15400`
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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-rec_binary64_15511` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow1/2_binary64_15487` `unpow0_binary64_15482` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-cbrt_binary64_15477` `div-exp_binary64_15474` `rec-exp_binary64_15473` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-0_binary64_15465` `cube-neg_binary64_15450` `rem-3cbrt-rft_binary64_15449` `rem-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `sqr-neg_binary64_15437` `rem-square-sqrt_binary64_15435` `div-sub_binary64_15428` `neg-mul-1_binary64_15419` `neg-sub0_binary64_15418` `unsub-neg_binary64_15417` `mul-1-neg_binary64_15415` `remove-double-neg_binary64_15411` `sub0-neg_binary64_15410` `--rgt-identity_binary64_15409` `+-rgt-identity_binary64_15408` `+-lft-identity_binary64_15407` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `div0_binary64_15404` `+-inverses_binary64_15402` `lft-mult-inverse_binary64_15401` `remove-double-div_binary64_15399` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `difference-of-squares_binary64_15392` `cancel-sign-sub-inv_binary64_15389` `cancel-sign-sub_binary64_15388` `distribute-neg-frac_binary64_15387` `distribute-frac-neg_binary64_15386` `distribute-neg-out_binary64_15385` `distribute-neg-in_binary64_15384` `distribute-rgt-neg-out_binary64_15383` `distribute-lft-neg-out_binary64_15382` `distribute-rgt-neg-in_binary64_15381` `distribute-lft-neg-in_binary64_15380` `distribute-rgt-out--_binary64_15377` `distribute-lft-out--_binary64_15375` `associate--r-_binary64_15362` `associate--l-_binary64_15361` `associate--l+_binary64_15360` `associate--r+_binary64_15359` `associate-+l-_binary64_15358` `associate-+r-_binary64_15357`

Counts

60 → 54

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	694
1	185	658
2	536	652
3	1468	649

prune48.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	2	55

Error

0.0b

Counts

55 → 2

Compiler

Compiled 648 to 271 computations (58.2% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (exp.f64 y) y)
0.0b	(cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3))
0.0b	(*.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3)))
0.0b	(pow.f64 (pow.f64 (exp.f64 y) y) 3)

rewrite174.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

48×	`cbrt-prod_binary64_15454`
47×	`unpow-prod-down_binary64_15502`
39×	`add-sqr-sqrt_binary64_15445`
24×	`add-cube-cbrt_binary64_15458` `*-un-lft-identity_binary64_15423` `cube-prod_binary64_15451`
23×	`associate-r_binary64_15363`
13×	`sqr-pow_binary64_15395`
9×	`unswap-sqr_binary64_15391`
7×	`add-exp-log_binary64_15461` `pow1_binary64_15484`
6×	`pow-unpow_binary64_15500` `add-cbrt-cube_binary64_15459`
5×	`pow-pow_binary64_15495` `pow-exp_binary64_15491`
4×	`add-log-exp_binary64_15462`
3×	`pow-to-exp_binary64_15492` `unpow3_binary64_15489` `cube-mult_binary64_15453` `associate-l_binary64_15364` `exp-prod_binary64_15475`
1×	`rem-cube-cbrt_binary64_15446` `pow-prod-down_binary64_15494` `prod-exp_binary64_15472` `cbrt-unprod_binary64_15456` `*-commutative_binary64_15354` `pow1/3_binary64_15505` `rem-cbrt-cube_binary64_15447`

Counts

4 → 128

Calls

4 calls:

13.0ms	(*.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3)))
4.0ms	(cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3))
4.0ms	(pow.f64 (pow.f64 (exp.f64 y) y) 3)
3.0ms	(pow.f64 (exp.f64 y) y)

Compiler

Compiled 2208 to 1047 computations (52.6% saved)

series471.0ms (9.3%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

221.0ms	(*.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3)))
120.0ms	(pow.f64 (pow.f64 (exp.f64 y) y) 3)
54.0ms	(cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3))
50.0ms	(pow.f64 (exp.f64 y) y)

Compiler

Compiled 688 to 529 computations (23.1% saved)

simplify1.2s (24.2%)

Algorithm

1×	egg-herbie

Rules

457×	`times-frac_binary64_15429`
311×	`distribute-rgt-in_binary64_15373`
298×	`sqr-pow_binary64_15395`
243×	`exp-prod_binary64_15475`
239×	`distribute-lft-in_binary64_15372`
215×	`log-prod_binary64_15509`
213×	`*-commutative_binary64_15354`
180×	`distribute-rgt-out_binary64_15376`
160×	`cube-prod_binary64_15451`
145×	`pow-sqr_binary64_15396`
139×	`associate-r_binary64_15363`
132×	`associate-l_binary64_15364`
127×	`associate-+l+_binary64_15356`
109×	`associate-+r+_binary64_15355`
98×	`swap-sqr_binary64_15390`
78×	`exp-sum_binary64_15469`
73×	`log-pow_binary64_15512`
53×	`associate-*r/_binary64_15365`
52×	`pow-plus_binary64_15486`
47×	`unpow3_binary64_15489`
45×	`+-commutative_binary64_15353`
39×	`associate-*l/_binary64_15366`
37×	`cube-mult_binary64_15453`
36×	`distribute-lft-out_binary64_15374`
31×	`unswap-sqr_binary64_15391`
28×	`exp-sqrt_binary64_15476`
27×	`cube-div_binary64_15452`
26×	`*-rgt-identity_binary64_15413`
25×	`log-div_binary64_15510`
23×	`*-lft-identity_binary64_15412`
20×	`associate-/l*_binary64_15368`
18×	`prod-exp_binary64_15472` `rem-sqrt-square_binary64_15436` `associate-/l/_binary64_15370`
15×	`distribute-rgt1-in_binary64_15379`
13×	`cube-unmult_binary64_15460`
10×	`pow-base-1_binary64_15483`
9×	`exp-to-pow_binary64_15485` `rem-cbrt-cube_binary64_15447`
7×	`count-2_binary64_15371`
6×	`rem-exp-log_binary64_15463` `distribute-lft1-in_binary64_15378`
5×	`associate-/r/_binary64_15369`
4×	`exp-lft-sqr_binary64_15478`
3×	`unpow1_binary64_15481`
2×	`exp-lft-cube_binary64_15479` `rem-log-exp_binary64_15464`
1×	`log-E_binary64_15513` `unpow2_binary64_15488` `exp-diff_binary64_15471` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `rem-3cbrt-lft_binary64_15448` `rem-cube-cbrt_binary64_15446` `rem-square-sqrt_binary64_15435` `sub-neg_binary64_15416` `/-rgt-identity_binary64_15414` `-inverses_binary64_15403` `rgt-mult-inverse_binary64_15400` `associate-/r_binary64_15367`
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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-rec_binary64_15511` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow1/2_binary64_15487` `unpow0_binary64_15482` `unpow-1_binary64_15480` `exp-cbrt_binary64_15477` `div-exp_binary64_15474` `rec-exp_binary64_15473` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-0_binary64_15465` `cube-neg_binary64_15450` `rem-3cbrt-rft_binary64_15449` `sqr-abs_binary64_15438` `sqr-neg_binary64_15437` `div-sub_binary64_15428` `neg-mul-1_binary64_15419` `neg-sub0_binary64_15418` `unsub-neg_binary64_15417` `mul-1-neg_binary64_15415` `remove-double-neg_binary64_15411` `sub0-neg_binary64_15410` `--rgt-identity_binary64_15409` `+-rgt-identity_binary64_15408` `+-lft-identity_binary64_15407` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `div0_binary64_15404` `+-inverses_binary64_15402` `lft-mult-inverse_binary64_15401` `remove-double-div_binary64_15399` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `difference-of-squares_binary64_15392` `cancel-sign-sub-inv_binary64_15389` `cancel-sign-sub_binary64_15388` `distribute-neg-frac_binary64_15387` `distribute-frac-neg_binary64_15386` `distribute-neg-out_binary64_15385` `distribute-neg-in_binary64_15384` `distribute-rgt-neg-out_binary64_15383` `distribute-lft-neg-out_binary64_15382` `distribute-rgt-neg-in_binary64_15381` `distribute-lft-neg-in_binary64_15380` `distribute-rgt-out--_binary64_15377` `distribute-lft-out--_binary64_15375` `associate--r-_binary64_15362` `associate--l-_binary64_15361` `associate--l+_binary64_15360` `associate--r+_binary64_15359` `associate-+l-_binary64_15358` `associate-+r-_binary64_15357`

Counts

155 → 334

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	159	1971
1	302	1929
2	1057	1923
3	2250	1920

prune323.0ms (6.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

336 → 2

Compiler

Compiled 5194 to 2177 computations (58.1% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 1/2 (pow.f64 y 4))
0.0b	(+.f64 (.f64 y y) (.f64 1/2 (pow.f64 y 4)))
9.0b	(.f64 x (+.f64 (.f64 y y) (*.f64 1/2 (pow.f64 y 4))))

rewrite90.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

15×	`add-sqr-sqrt_binary64_15445`
10×	`add-exp-log_binary64_15461` `associate-r_binary64_15363`
8×	`add-cube-cbrt_binary64_15458` `*-un-lft-identity_binary64_15423`
7×	`add-cbrt-cube_binary64_15459`
6×	`associate-l_binary64_15364`
5×	`pow1_binary64_15484` `add-log-exp_binary64_15462`
4×	`prod-exp_binary64_15472` `unswap-sqr_binary64_15391` `unpow-prod-down_binary64_15502`
2×	`cbrt-unprod_binary64_15456` `flip3-+_binary64_15426` `associate-r/_binary64_15365` `flip-+_binary64_15397` `-commutative_binary64_15354` `sqr-pow_binary64_15395`
1×	`pow-prod-down_binary64_15494` `distribute-rgt-in_binary64_15373` `distribute-lft-in_binary64_15372` `sum-log_binary64_15514` `+-commutative_binary64_15353` `pow-to-exp_binary64_15492` `pow-exp_binary64_15491`

Counts

3 → 58

Calls

3 calls:

7.0ms	(.f64 x (+.f64 (.f64 y y) (*.f64 1/2 (pow.f64 y 4))))
6.0ms	(*.f64 1/2 (pow.f64 y 4))
4.0ms	(+.f64 (.f64 y y) (.f64 1/2 (pow.f64 y 4)))

Compiler

Compiled 1260 to 767 computations (39.1% saved)

series422.0ms (8.3%)

Error

0.0b

Counts

3 → 18

Calls

3 calls:

247.0ms	(.f64 x (+.f64 (.f64 y y) (*.f64 1/2 (pow.f64 y 4))))
111.0ms	(+.f64 (.f64 y y) (.f64 1/2 (pow.f64 y 4)))
51.0ms	(*.f64 1/2 (pow.f64 y 4))

Compiler

Compiled 586 to 448 computations (23.5% saved)

simplify239.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

282×	`times-frac_binary64_15429`
238×	`distribute-rgt-in_binary64_15373`
229×	`unswap-sqr_binary64_15391`
227×	`distribute-lft-in_binary64_15372`
212×	`*-commutative_binary64_15354`
179×	`associate-+l+_binary64_15356`
172×	`associate-+r+_binary64_15355`
160×	`associate-l_binary64_15364`
147×	`associate-r_binary64_15363`
143×	`associate-/r*_binary64_15367`
139×	`associate-/l*_binary64_15368`
127×	`log-prod_binary64_15509`
125×	`distribute-rgt-neg-in_binary64_15381`
122×	`sqr-pow_binary64_15395`
115×	`associate-/r/_binary64_15369`
106×	`distribute-lft-neg-in_binary64_15380`
95×	`cancel-sign-sub-inv_binary64_15389`
90×	`exp-prod_binary64_15475`
65×	`log-div_binary64_15510`
64×	`+-commutative_binary64_15353`
57×	`pow-sqr_binary64_15396`
53×	`associate-*r/_binary64_15365`
52×	`associate-*l/_binary64_15366`
48×	`distribute-rgt-out_binary64_15376`
44×	`-rgt-identity_binary64_15413` `-lft-identity_binary64_15412`
42×	`log-pow_binary64_15512`
41×	`associate-/l/_binary64_15370`
38×	`cube-prod_binary64_15451`
36×	`sub-neg_binary64_15416`
33×	`pow-plus_binary64_15486`
32×	`exp-sqrt_binary64_15476` `neg-mul-1_binary64_15419` `neg-sub0_binary64_15418`
28×	`swap-sqr_binary64_15390`
26×	`associate-+l-_binary64_15358`
24×	`distribute-neg-frac_binary64_15387`
23×	`cube-div_binary64_15452`
22×	`associate-+r-_binary64_15357`
18×	`distribute-lft-neg-out_binary64_15382` `associate--l-_binary64_15361`
17×	`distribute-rgt-out--_binary64_15377`
12×	`unpow3_binary64_15489`
9×	`cube-unmult_binary64_15460` `unsub-neg_binary64_15417`
8×	`distribute-lft-out_binary64_15374`
7×	`distribute-rgt-neg-out_binary64_15383`
5×	`pow-base-1_binary64_15483` `+-rgt-identity_binary64_15408`
4×	`cube-mult_binary64_15453` `distribute-neg-in_binary64_15384` `count-2_binary64_15371` `associate--r+_binary64_15359`
3×	`unpow1/2_binary64_15487` `sub0-neg_binary64_15410`
2×	`log-rec_binary64_15511` `prod-exp_binary64_15472` `exp-sum_binary64_15469` `rem-sqrt-square_binary64_15436` `/-rgt-identity_binary64_15414` `difference-of-squares_binary64_15392` `distribute-rgt1-in_binary64_15379` `distribute-lft-out--_binary64_15375`
1×	`unpow2_binary64_15488` `unpow1_binary64_15481` `exp-lft-sqr_binary64_15478` `exp-diff_binary64_15471` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `rem-log-exp_binary64_15464` `*-inverses_binary64_15403` `associate--l+_binary64_15360`
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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-E_binary64_15513` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `exp-to-pow_binary64_15485` `unpow0_binary64_15482` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-cbrt_binary64_15477` `div-exp_binary64_15474` `rec-exp_binary64_15473` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-0_binary64_15465` `rem-exp-log_binary64_15463` `cube-neg_binary64_15450` `rem-3cbrt-rft_binary64_15449` `rem-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `sqr-neg_binary64_15437` `rem-square-sqrt_binary64_15435` `div-sub_binary64_15428` `mul-1-neg_binary64_15415` `remove-double-neg_binary64_15411` `--rgt-identity_binary64_15409` `+-lft-identity_binary64_15407` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `div0_binary64_15404` `+-inverses_binary64_15402` `lft-mult-inverse_binary64_15401` `rgt-mult-inverse_binary64_15400` `remove-double-div_binary64_15399` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `cancel-sign-sub_binary64_15388` `distribute-frac-neg_binary64_15386` `distribute-neg-out_binary64_15385` `distribute-lft1-in_binary64_15378` `associate--r-_binary64_15362`

Counts

76 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	107	1219
1	269	1117
2	969	1116
3	2256	1116
4	4865	1116

prune109.0ms (2.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

92 → 2

Compiler

Compiled 1959 to 1161 computations (40.7% saved)

regimes156.0ms (3.1%)

Accuracy

Total 0.0b remaining (81.9%)

Threshold costs 0.0b (81.9%)

Compiler

Compiled 1030 to 709 computations (31.2% saved)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64_15354

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_15683 if-if-and_binary64_15682 if-if-or-not_binary64_15681 if-if-or_binary64_15680 if-not_binary64_15679 if-same_binary64_15678 if-false_binary64_15677 if-true_binary64_15676 tan-0_binary64_15552 cos-0_binary64_15551 sin-0_binary64_15550 unpow1_binary64_15481 e-exp-1_binary64_15468 1-exp_binary64_15467 exp-1-e_binary64_15466 exp-0_binary64_15465 sqr-abs_binary64_15438 sqr-neg_binary64_15437 neg-mul-1_binary64_15419 neg-sub0_binary64_15418 unsub-neg_binary64_15417 sub-neg_binary64_15416 mul-1-neg_binary64_15415 /-rgt-identity_binary64_15414 *-rgt-identity_binary64_15413 *-lft-identity_binary64_15412 remove-double-neg_binary64_15411 sub0-neg_binary64_15410 --rgt-identity_binary64_15409 +-rgt-identity_binary64_15408 +-lft-identity_binary64_15407 cancel-sign-sub-inv_binary64_15389 cancel-sign-sub_binary64_15388 distribute-neg-frac_binary64_15387 distribute-frac-neg_binary64_15386 distribute-neg-out_binary64_15385 distribute-neg-in_binary64_15384 distribute-rgt-neg-out_binary64_15383 distribute-lft-neg-out_binary64_15382 distribute-rgt-neg-in_binary64_15381 distribute-lft-neg-in_binary64_15380 +-commutative_binary64_15353

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	7	9

Proof

(* f64 h0 (pow f64 (exp f64 h1) h1))

end0.0ms (0%)

sample899.0ms (17.7%)

Algorithm

1×

intervals

Results

187.0ms	8000×	body	128	valid
110.0ms	4244×	body	128	invalid

Compiler

Compiled 210 to 144 computations (31.4% saved)

Details

analyze34.0ms (0.7%)

sample21.0ms (0.4%)

simplify278.0ms (5.5%)

prune5.0ms (0.1%)

localize6.0ms (0.1%)

rewrite51.0ms (1%)

series296.0ms (5.8%)

simplify208.0ms (4.1%)

prune48.0ms (1%)

localize8.0ms (0.2%)

rewrite174.0ms (3.4%)

series471.0ms (9.3%)

simplify1.2s (24.2%)

prune323.0ms (6.4%)

localize8.0ms (0.2%)

rewrite90.0ms (1.8%)

series422.0ms (8.3%)

simplify239.0ms (4.7%)

prune109.0ms (2.1%)

regimes156.0ms (3.1%)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample899.0ms (17.7%)

Profiling