Details

analyze601.0ms (7.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
0%	99.9%	0.1%	5
3.1%	90.5%	6.3%	6
4.7%	85.9%	9.5%	7
21.1%	64%	14.9%	8
23.4%	58.9%	17.7%	9
27.7%	51.3%	21%	10
28.9%	48.5%	22.6%	11
31.1%	44.4%	24.5%	12
31.7%	42.9%	25.4%	13
32.7%	41%	26.3%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample60.0ms (0.8%)

Algorithm

1×

intervals

Results

16.0ms	43×	body	1024	valid
9.0ms	157×	body	128	valid
8.0ms	34×	body	512	valid
5.0ms	7×	body	2048	valid
4.0ms	11×	body	1024	invalid
2.0ms	15×	body	256	valid
2.0ms	9×	body	512	invalid
1.0ms	7×	body	256	invalid
1.0ms	9×	body	128	invalid
0.0ms	6×	body	128	nan

Compiler

Compiled 23 to 19 computations (17.4% saved)

simplify250.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

559×	`unswap-sqr_binary64_18460`
258×	`div-sub_binary64_18497`
238×	`times-frac_binary64_18498`
235×	`associate-l_binary64_18433`
215×	`cancel-sign-sub-inv_binary64_18458`
203×	`associate-/l*_binary64_18437`
189×	`distribute-rgt-out_binary64_18445`
161×	`distribute-rgt-in_binary64_18442`
159×	`associate-r_binary64_18432`
146×	`associate-/l/_binary64_18439`
134×	`distribute-rgt-out--_binary64_18446`
125×	`associate-/r*_binary64_18436`
110×	`associate-/r/_binary64_18438`
94×	`distribute-frac-neg_binary64_18455`
89×	`sqr-pow_binary64_18464`
81×	`exp-prod_binary64_18544`
80×	`exp-sum_binary64_18538` `sub-neg_binary64_18485`
78×	`distribute-rgt-neg-out_binary64_18452`
62×	`distribute-lft-out_binary64_18443`
59×	`distribute-lft-neg-out_binary64_18451`
54×	`distribute-lft-out--_binary64_18444`
48×	`pow-sqr_binary64_18465`
47×	`neg-mul-1_binary64_18488`
46×	`unsub-neg_binary64_18486`
44×	`exp-diff_binary64_18540`
43×	`distribute-rgt-neg-in_binary64_18450`
41×	`neg-sub0_binary64_18487`
39×	`distribute-lft-neg-in_binary64_18449` `*-commutative_binary64_18423`
38×	`log-prod_binary64_18578` `/-rgt-identity_binary64_18483` `distribute-neg-frac_binary64_18456`
34×	`distribute-lft-in_binary64_18441`
33×	`associate-*r/_binary64_18434`
31×	`exp-to-pow_binary64_18554`
30×	`distribute-neg-in_binary64_18453`
26×	`associate-*l/_binary64_18435`
25×	`log-div_binary64_18579`
20×	`*-lft-identity_binary64_18481`
19×	`div-exp_binary64_18543`
17×	`+-commutative_binary64_18422`
15×	`cube-prod_binary64_18520` `associate--r+_binary64_18428`
14×	`*-rgt-identity_binary64_18482` `distribute-neg-out_binary64_18454` `distribute-rgt1-in_binary64_18448`
12×	`pow-plus_binary64_18555` `cancel-sign-sub_binary64_18457` `associate--l+_binary64_18429`
11×	`exp-neg_binary64_18539` `cube-unmult_binary64_18529`
10×	`log-pow_binary64_18581`
9×	`associate-+l-_binary64_18427`
8×	`exp-sqrt_binary64_18545` `prod-exp_binary64_18541` `associate-+r-_binary64_18426`
7×	`sub0-neg_binary64_18479` `--rgt-identity_binary64_18478` `associate-+r+_binary64_18424`
6×	`remove-double-neg_binary64_18480` `distribute-lft1-in_binary64_18447` `associate--l-_binary64_18430`
5×	`swap-sqr_binary64_18459`
4×	`exp-lft-sqr_binary64_18547` `+-rgt-identity_binary64_18477` `mul0-lft_binary64_18474` `associate-+l+_binary64_18425`
3×	`rem-exp-log_binary64_18532`
2×	`log-rec_binary64_18580` `rec-exp_binary64_18542` `rem-log-exp_binary64_18533` `cube-div_binary64_18521` `div0_binary64_18473` `count-2_binary64_18440` `associate--r-_binary64_18431`
1×	`unpow3_binary64_18558` `unpow-1_binary64_18549` `1-exp_binary64_18536` `exp-1-e_binary64_18535` `rem-sqrt-square_binary64_18505` `mul-1-neg_binary64_18484` `+-lft-identity_binary64_18476` `mul0-rgt_binary64_18475` `*-inverses_binary64_18472` `remove-double-div_binary64_18468`
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_18755` `erf-erfc_binary64_18754` `erf-odd_binary64_18753` `if-if-and-not_binary64_18752` `if-if-and_binary64_18751` `if-if-or-not_binary64_18750` `if-if-or_binary64_18749` `if-not_binary64_18748` `if-same_binary64_18747` `if-false_binary64_18746` `if-true_binary64_18745` `not-gte_binary64_18744` `not-lte_binary64_18743` `not-gt_binary64_18742` `not-lt_binary64_18741` `gte-same_binary64_18740` `lte-same_binary64_18739` `gt-same_binary64_18738` `lt-same_binary64_18737` `sinh---cosh_binary64_18684` `sinh-+-cosh_binary64_18683` `sinh-cosh_binary64_18682` `tanh-def-c_binary64_18681` `tanh-def-b_binary64_18680` `tanh-def-a_binary64_18679` `cosh-def_binary64_18678` `sinh-def_binary64_18677` `tan-neg_binary64_18624` `cos-neg_binary64_18623` `sin-neg_binary64_18622` `tan-0_binary64_18621` `cos-0_binary64_18620` `sin-0_binary64_18619` `hang-m-tan_binary64_18618` `hang-p-tan_binary64_18617` `hang-m0-tan_binary64_18616` `hang-p0-tan_binary64_18615` `hang-0m-tan_binary64_18614` `hang-0p-tan_binary64_18613` `tan-+PI/2_binary64_18612` `tan-+PI_binary64_18611` `tan-PI_binary64_18610` `tan-PI/3_binary64_18609` `tan-PI/4_binary64_18608` `tan-PI/6_binary64_18607` `cos-+PI/2_binary64_18606` `cos-+PI_binary64_18605` `cos-PI_binary64_18604` `cos-PI/2_binary64_18603` `cos-PI/3_binary64_18602` `cos-PI/4_binary64_18601` `cos-PI/6_binary64_18600` `sin-+PI/2_binary64_18599` `sin-+PI_binary64_18598` `sin-PI_binary64_18597` `sin-PI/2_binary64_18596` `sin-PI/3_binary64_18595` `sin-PI/4_binary64_18594` `sin-PI/6_binary64_18593` `sub-1-sin_binary64_18592` `sub-1-cos_binary64_18591` `-1-add-sin_binary64_18590` `-1-add-cos_binary64_18589` `1-sub-sin_binary64_18588` `1-sub-cos_binary64_18587` `cos-sin-sum_binary64_18586` `log-E_binary64_18582` `pow-base-0_binary64_18576` `unpow1/3_binary64_18559` `unpow2_binary64_18557` `unpow1/2_binary64_18556` `pow-base-1_binary64_18552` `unpow0_binary64_18551` `unpow1_binary64_18550` `exp-lft-cube_binary64_18548` `exp-cbrt_binary64_18546` `e-exp-1_binary64_18537` `exp-0_binary64_18534` `cube-mult_binary64_18522` `cube-neg_binary64_18519` `rem-3cbrt-rft_binary64_18518` `rem-3cbrt-lft_binary64_18517` `rem-cbrt-cube_binary64_18516` `rem-cube-cbrt_binary64_18515` `sqr-abs_binary64_18507` `sqr-neg_binary64_18506` `rem-square-sqrt_binary64_18504` `+-inverses_binary64_18471` `lft-mult-inverse_binary64_18470` `rgt-mult-inverse_binary64_18469` `difference-of-sqr--1_binary64_18463` `difference-of-sqr-1_binary64_18462` `difference-of-squares_binary64_18461`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	16	13
2	25	13
3	53	13
4	117	13
5	272	13
6	658	13
7	2243	13

prune6.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

7.0b

Counts

3 → 2

Compiler

Compiled 40 to 24 computations (40% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (pow.f64 (exp.f64 x) (log.f64 (/.f64 x (+.f64 x y)))) x)
0.0b	(/.f64 x (+.f64 x y))
0.1b	(pow.f64 (exp.f64 x) (log.f64 (/.f64 x (+.f64 x y))))
10.7b	(log.f64 (/.f64 x (+.f64 x y)))

rewrite296.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

159×	`times-frac_binary64_18498`
142×	`*-un-lft-identity_binary64_18492`
108×	`log-prod_binary64_18578`
98×	`add-cube-cbrt_binary64_18527` `add-sqr-sqrt_binary64_18514`
90×	`unpow-prod-up_binary64_18570`
28×	`associate-/l*_binary64_18437`
22×	`distribute-lft-out_binary64_18443`
15×	`unpow-prod-down_binary64_18571`
14×	`associate-/r/_binary64_18438`
13×	`add-exp-log_binary64_18530`
8×	`div-inv_binary64_18489` `add-cbrt-cube_binary64_18528`
7×	`pow1_binary64_18553` `flip3-+_binary64_18495` `flip-+_binary64_18466` `associate-/r*_binary64_18436`
5×	`div-exp_binary64_18543` `sqr-pow_binary64_18464`
4×	`add-log-exp_binary64_18531` `pow-unpow_binary64_18569` `pow-pow_binary64_18564`
3×	`log-div_binary64_18579` `exp-prod_binary64_18544`
2×	`log-pow_binary64_18581` `rem-log-exp_binary64_18533` `pow-sub_binary64_18568` `pow-to-exp_binary64_18561` `pow-exp_binary64_18560` `cbrt-undiv_binary64_18526` `frac-2neg_binary64_18503` `clear-num_binary64_18491`
1×	`associate-/l/_binary64_18439`

Counts

4 → 220

Calls

4 calls:

15.0ms	(/.f64 (pow.f64 (exp.f64 x) (log.f64 (/.f64 x (+.f64 x y)))) x)
9.0ms	(pow.f64 (exp.f64 x) (log.f64 (/.f64 x (+.f64 x y))))
6.0ms	(/.f64 x (+.f64 x y))
5.0ms	(log.f64 (/.f64 x (+.f64 x y)))

Compiler

Compiled 5058 to 1089 computations (78.5% saved)

series537.0ms (6.8%)

Error

0.9b

Counts

4 → 32

Calls

4 calls:

216.0ms	(/.f64 (pow.f64 (exp.f64 x) (log.f64 (/.f64 x (+.f64 x y)))) x)
165.0ms	(pow.f64 (exp.f64 x) (log.f64 (/.f64 x (+.f64 x y))))
84.0ms	(log.f64 (/.f64 x (+.f64 x y)))
33.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 1660 to 1204 computations (27.5% saved)

simplify479.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

191×	`associate-/l*_binary64_18437`
188×	`sqr-pow_binary64_18464`
185×	`distribute-rgt-in_binary64_18442`
165×	`distribute-lft-in_binary64_18441`
163×	`associate-r_binary64_18432`
150×	`sub-neg_binary64_18485`
148×	`distribute-rgt-neg-out_binary64_18452`
146×	`associate-/r/_binary64_18438`
144×	`associate-+r+_binary64_18424`
137×	`unswap-sqr_binary64_18460`
128×	`associate-l_binary64_18433`
122×	`associate-/l/_binary64_18439`
112×	`distribute-lft-neg-out_binary64_18451`
95×	`associate-+l+_binary64_18425`
94×	`+-commutative_binary64_18422`
92×	`unsub-neg_binary64_18486` `pow-sqr_binary64_18465`
87×	`distribute-rgt-out_binary64_18445`
79×	`times-frac_binary64_18498`
77×	`log-div_binary64_18579`
74×	`div-sub_binary64_18497`
68×	`*-commutative_binary64_18423`
63×	`associate-/r*_binary64_18436`
58×	`cancel-sign-sub-inv_binary64_18458`
50×	`neg-mul-1_binary64_18488`
49×	`/-rgt-identity_binary64_18483`
45×	`neg-sub0_binary64_18487`
39×	`associate-*l/_binary64_18435`
33×	`log-prod_binary64_18578`
32×	`associate--l+_binary64_18429`
30×	`distribute-neg-frac_binary64_18456`
29×	`distribute-lft-neg-in_binary64_18449`
26×	`distribute-rgt-neg-in_binary64_18450`
25×	`distribute-lft-out_binary64_18443`
24×	`*-rgt-identity_binary64_18482` `distribute-neg-in_binary64_18453`
19×	`log-rec_binary64_18580`
18×	`associate-*r/_binary64_18434`
17×	`associate--r+_binary64_18428`
16×	`pow-plus_binary64_18555` `distribute-frac-neg_binary64_18455`
14×	`exp-prod_binary64_18544`
11×	`log-pow_binary64_18581` `sub0-neg_binary64_18479` `associate--l-_binary64_18430`
8×	`cube-unmult_binary64_18529` `associate-+l-_binary64_18427`
7×	`cube-prod_binary64_18520` `*-lft-identity_binary64_18481` `swap-sqr_binary64_18459` `associate-+r-_binary64_18426`
6×	`unpow3_binary64_18558` `exp-sum_binary64_18538` `cube-div_binary64_18521` `distribute-rgt-out--_binary64_18446`
5×	`unpow1_binary64_18550` `+-lft-identity_binary64_18476` `difference-of-squares_binary64_18461` `distribute-rgt1-in_binary64_18448`
4×	`unpow2_binary64_18557` `exp-diff_binary64_18540` `cube-mult_binary64_18522` `distribute-neg-out_binary64_18454`
3×	`pow-base-1_binary64_18552` `prod-exp_binary64_18541` `rem-exp-log_binary64_18532` `sqr-neg_binary64_18506` `+-rgt-identity_binary64_18477`
2×	`exp-to-pow_binary64_18554` `rem-log-exp_binary64_18533` `rem-sqrt-square_binary64_18505`
1×	`unpow0_binary64_18551` `exp-sqrt_binary64_18545` `div-exp_binary64_18543` `rec-exp_binary64_18542` `1-exp_binary64_18536` `exp-1-e_binary64_18535` `cube-neg_binary64_18519` `mul-1-neg_binary64_18484` `div0_binary64_18473` `*-inverses_binary64_18472` `rgt-mult-inverse_binary64_18469` `distribute-lft-out--_binary64_18444` `count-2_binary64_18440`
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_18755` `erf-erfc_binary64_18754` `erf-odd_binary64_18753` `if-if-and-not_binary64_18752` `if-if-and_binary64_18751` `if-if-or-not_binary64_18750` `if-if-or_binary64_18749` `if-not_binary64_18748` `if-same_binary64_18747` `if-false_binary64_18746` `if-true_binary64_18745` `not-gte_binary64_18744` `not-lte_binary64_18743` `not-gt_binary64_18742` `not-lt_binary64_18741` `gte-same_binary64_18740` `lte-same_binary64_18739` `gt-same_binary64_18738` `lt-same_binary64_18737` `sinh---cosh_binary64_18684` `sinh-+-cosh_binary64_18683` `sinh-cosh_binary64_18682` `tanh-def-c_binary64_18681` `tanh-def-b_binary64_18680` `tanh-def-a_binary64_18679` `cosh-def_binary64_18678` `sinh-def_binary64_18677` `tan-neg_binary64_18624` `cos-neg_binary64_18623` `sin-neg_binary64_18622` `tan-0_binary64_18621` `cos-0_binary64_18620` `sin-0_binary64_18619` `hang-m-tan_binary64_18618` `hang-p-tan_binary64_18617` `hang-m0-tan_binary64_18616` `hang-p0-tan_binary64_18615` `hang-0m-tan_binary64_18614` `hang-0p-tan_binary64_18613` `tan-+PI/2_binary64_18612` `tan-+PI_binary64_18611` `tan-PI_binary64_18610` `tan-PI/3_binary64_18609` `tan-PI/4_binary64_18608` `tan-PI/6_binary64_18607` `cos-+PI/2_binary64_18606` `cos-+PI_binary64_18605` `cos-PI_binary64_18604` `cos-PI/2_binary64_18603` `cos-PI/3_binary64_18602` `cos-PI/4_binary64_18601` `cos-PI/6_binary64_18600` `sin-+PI/2_binary64_18599` `sin-+PI_binary64_18598` `sin-PI_binary64_18597` `sin-PI/2_binary64_18596` `sin-PI/3_binary64_18595` `sin-PI/4_binary64_18594` `sin-PI/6_binary64_18593` `sub-1-sin_binary64_18592` `sub-1-cos_binary64_18591` `-1-add-sin_binary64_18590` `-1-add-cos_binary64_18589` `1-sub-sin_binary64_18588` `1-sub-cos_binary64_18587` `cos-sin-sum_binary64_18586` `log-E_binary64_18582` `pow-base-0_binary64_18576` `unpow1/3_binary64_18559` `unpow1/2_binary64_18556` `unpow-1_binary64_18549` `exp-lft-cube_binary64_18548` `exp-lft-sqr_binary64_18547` `exp-cbrt_binary64_18546` `exp-neg_binary64_18539` `e-exp-1_binary64_18537` `exp-0_binary64_18534` `rem-3cbrt-rft_binary64_18518` `rem-3cbrt-lft_binary64_18517` `rem-cbrt-cube_binary64_18516` `rem-cube-cbrt_binary64_18515` `sqr-abs_binary64_18507` `rem-square-sqrt_binary64_18504` `remove-double-neg_binary64_18480` `--rgt-identity_binary64_18478` `mul0-rgt_binary64_18475` `mul0-lft_binary64_18474` `+-inverses_binary64_18471` `lft-mult-inverse_binary64_18470` `remove-double-div_binary64_18468` `difference-of-sqr--1_binary64_18463` `difference-of-sqr-1_binary64_18462` `cancel-sign-sub_binary64_18457` `distribute-lft1-in_binary64_18447` `associate--r-_binary64_18431`

Counts

252 → 170

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	411	6663
1	897	6444
2	3197	6364

prune184.0ms (2.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	166	4	170
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	167	5	172

Error

0.9b

Counts

172 → 5

Compiler

Compiled 4233 to 1039 computations (75.5% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 x)
10.7b	(log.f64 (/.f64 x (+.f64 x y)))
10.7b	(log.f64 (/.f64 x (+.f64 x y)))
10.7b	(log.f64 (/.f64 x (+.f64 x y)))

rewrite209.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

54×	`log-prod_binary64_18578`
47×	`*-un-lft-identity_binary64_18492`
36×	`times-frac_binary64_18498`
29×	`add-cube-cbrt_binary64_18527` `add-sqr-sqrt_binary64_18514`
13×	`add-exp-log_binary64_18530`
9×	`distribute-lft-out_binary64_18443`
7×	`pow1_binary64_18553`
6×	`associate-/r/_binary64_18438` `rem-log-exp_binary64_18533`
4×	`add-log-exp_binary64_18531` `add-cbrt-cube_binary64_18528`
3×	`log-pow_binary64_18581` `log-div_binary64_18579` `div-inv_binary64_18489` `flip3-+_binary64_18495` `flip-+_binary64_18466` `div-exp_binary64_18543` `cbrt-prod_binary64_18523`
1×	`pow1/3_binary64_18574`

Counts

4 → 98

Calls

4 calls:

6.0ms	(log.f64 (/.f64 x (+.f64 x y)))
5.0ms	(log.f64 (/.f64 x (+.f64 x y)))
5.0ms	(log.f64 (/.f64 x (+.f64 x y)))
1.0ms	(cbrt.f64 x)

Compiler

Compiled 4775 to 589 computations (87.7% saved)

series433.0ms (5.5%)

Error

0.9b

Counts

4 → 27

Calls

4 calls:

114.0ms	(cbrt.f64 x)
93.0ms	(log.f64 (/.f64 x (+.f64 x y)))
90.0ms	(log.f64 (/.f64 x (+.f64 x y)))
87.0ms	(log.f64 (/.f64 x (+.f64 x y)))

Compiler

Compiled 3345 to 1284 computations (61.6% saved)

simplify244.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

500×	`associate-/r/_binary64_18438`
288×	`log-div_binary64_18579`
267×	`cancel-sign-sub-inv_binary64_18458`
235×	`unswap-sqr_binary64_18460`
208×	`log-prod_binary64_18578`
151×	`sub-neg_binary64_18485`
144×	`associate-/l*_binary64_18437`
137×	`distribute-rgt-in_binary64_18442`
135×	`associate-l_binary64_18433`
131×	`distribute-rgt-neg-in_binary64_18450`
122×	`distribute-lft-neg-in_binary64_18449`
108×	`distribute-lft-in_binary64_18441`
101×	`times-frac_binary64_18498`
96×	`associate-/r_binary64_18436` `associate-r*_binary64_18432`
89×	`distribute-rgt-out_binary64_18445`
79×	`div-sub_binary64_18497`
71×	`distribute-rgt-out--_binary64_18446` `associate-/l/_binary64_18439`
64×	`distribute-neg-frac_binary64_18456`
59×	`distribute-lft-out_binary64_18443`
53×	`associate-*l/_binary64_18435`
52×	`cube-prod_binary64_18520`
51×	`sqr-pow_binary64_18464`
47×	`distribute-lft-out--_binary64_18444`
44×	`+-commutative_binary64_18422`
43×	`associate--r-_binary64_18431`
41×	`associate-r/_binary64_18434` `-commutative_binary64_18423`
39×	`associate-+l+_binary64_18425`
37×	`neg-mul-1_binary64_18488`
36×	`unsub-neg_binary64_18486` `pow-sqr_binary64_18465`
32×	`cube-div_binary64_18521` `neg-sub0_binary64_18487`
28×	`sub0-neg_binary64_18479` `distribute-neg-in_binary64_18453` `associate-+l-_binary64_18427`
26×	`associate--l+_binary64_18429`
24×	`exp-prod_binary64_18544` `associate--l-_binary64_18430`
23×	`exp-sum_binary64_18538`
20×	`distribute-lft-neg-out_binary64_18451` `associate-+r+_binary64_18424`
19×	`associate-+r-_binary64_18426`
17×	`log-rec_binary64_18580` `pow-plus_binary64_18555` `*-rgt-identity_binary64_18482`
15×	`swap-sqr_binary64_18459`
13×	`/-rgt-identity_binary64_18483` `+-lft-identity_binary64_18476` `distribute-rgt-neg-out_binary64_18452`
12×	`count-2_binary64_18440`
11×	`log-pow_binary64_18581`
9×	`exp-diff_binary64_18540` `cube-unmult_binary64_18529` `*-lft-identity_binary64_18481`
8×	`rem-sqrt-square_binary64_18505` `+-rgt-identity_binary64_18477` `distribute-frac-neg_binary64_18455`
7×	`unpow3_binary64_18558`
6×	`exp-to-pow_binary64_18554` `distribute-rgt1-in_binary64_18448`
5×	`cube-mult_binary64_18522` `distribute-neg-out_binary64_18454`
4×	`prod-exp_binary64_18541` `div0_binary64_18473` `difference-of-squares_binary64_18461` `associate--r+_binary64_18428`
3×	`rem-exp-log_binary64_18532` `mul-1-neg_binary64_18484`
2×	`unpow1/3_binary64_18559` `div-exp_binary64_18543`
1×	`rec-exp_binary64_18542` `1-exp_binary64_18536` `rem-log-exp_binary64_18533` `rem-3cbrt-lft_binary64_18517` `rem-cbrt-cube_binary64_18516` `remove-double-neg_binary64_18480` `+-inverses_binary64_18471`
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_18755` `erf-erfc_binary64_18754` `erf-odd_binary64_18753` `if-if-and-not_binary64_18752` `if-if-and_binary64_18751` `if-if-or-not_binary64_18750` `if-if-or_binary64_18749` `if-not_binary64_18748` `if-same_binary64_18747` `if-false_binary64_18746` `if-true_binary64_18745` `not-gte_binary64_18744` `not-lte_binary64_18743` `not-gt_binary64_18742` `not-lt_binary64_18741` `gte-same_binary64_18740` `lte-same_binary64_18739` `gt-same_binary64_18738` `lt-same_binary64_18737` `sinh---cosh_binary64_18684` `sinh-+-cosh_binary64_18683` `sinh-cosh_binary64_18682` `tanh-def-c_binary64_18681` `tanh-def-b_binary64_18680` `tanh-def-a_binary64_18679` `cosh-def_binary64_18678` `sinh-def_binary64_18677` `tan-neg_binary64_18624` `cos-neg_binary64_18623` `sin-neg_binary64_18622` `tan-0_binary64_18621` `cos-0_binary64_18620` `sin-0_binary64_18619` `hang-m-tan_binary64_18618` `hang-p-tan_binary64_18617` `hang-m0-tan_binary64_18616` `hang-p0-tan_binary64_18615` `hang-0m-tan_binary64_18614` `hang-0p-tan_binary64_18613` `tan-+PI/2_binary64_18612` `tan-+PI_binary64_18611` `tan-PI_binary64_18610` `tan-PI/3_binary64_18609` `tan-PI/4_binary64_18608` `tan-PI/6_binary64_18607` `cos-+PI/2_binary64_18606` `cos-+PI_binary64_18605` `cos-PI_binary64_18604` `cos-PI/2_binary64_18603` `cos-PI/3_binary64_18602` `cos-PI/4_binary64_18601` `cos-PI/6_binary64_18600` `sin-+PI/2_binary64_18599` `sin-+PI_binary64_18598` `sin-PI_binary64_18597` `sin-PI/2_binary64_18596` `sin-PI/3_binary64_18595` `sin-PI/4_binary64_18594` `sin-PI/6_binary64_18593` `sub-1-sin_binary64_18592` `sub-1-cos_binary64_18591` `-1-add-sin_binary64_18590` `-1-add-cos_binary64_18589` `1-sub-sin_binary64_18588` `1-sub-cos_binary64_18587` `cos-sin-sum_binary64_18586` `log-E_binary64_18582` `pow-base-0_binary64_18576` `unpow2_binary64_18557` `unpow1/2_binary64_18556` `pow-base-1_binary64_18552` `unpow0_binary64_18551` `unpow1_binary64_18550` `unpow-1_binary64_18549` `exp-lft-cube_binary64_18548` `exp-lft-sqr_binary64_18547` `exp-cbrt_binary64_18546` `exp-sqrt_binary64_18545` `exp-neg_binary64_18539` `e-exp-1_binary64_18537` `exp-1-e_binary64_18535` `exp-0_binary64_18534` `cube-neg_binary64_18519` `rem-3cbrt-rft_binary64_18518` `rem-cube-cbrt_binary64_18515` `sqr-abs_binary64_18507` `sqr-neg_binary64_18506` `rem-square-sqrt_binary64_18504` `--rgt-identity_binary64_18478` `mul0-rgt_binary64_18475` `mul0-lft_binary64_18474` `*-inverses_binary64_18472` `lft-mult-inverse_binary64_18470` `rgt-mult-inverse_binary64_18469` `remove-double-div_binary64_18468` `difference-of-sqr--1_binary64_18463` `difference-of-sqr-1_binary64_18462` `cancel-sign-sub_binary64_18457` `distribute-lft1-in_binary64_18447`

Counts

125 → 158

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	107	1927
1	208	1791
2	511	1734
3	1930	1732

prune256.0ms (3.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	157	1	158
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	158	5	163

Error

0.9b

Counts

163 → 5

Compiler

Compiled 7487 to 880 computations (88.2% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

10.2b

(pow.f64 (exp.f64 x) (neg.f64 (/.f64 y x)))

rewrite51.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`pow-unpow_binary64_18569`
18×	`add-cube-cbrt_binary64_18527` `add-sqr-sqrt_binary64_18514` `*-un-lft-identity_binary64_18492` `times-frac_binary64_18498`
13×	`distribute-rgt-neg-in_binary64_18450` `distribute-lft-neg-in_binary64_18449`
4×	`pow-pow_binary64_18564`
3×	`unpow-prod-down_binary64_18571` `exp-prod_binary64_18544`
2×	`div-inv_binary64_18489` `pow1_binary64_18553`
1×	`neg-mul-1_binary64_18488` `neg-sub0_binary64_18487` `pow-sub_binary64_18568` `pow-neg_binary64_18565` `pow-to-exp_binary64_18561` `pow-exp_binary64_18560` `add-log-exp_binary64_18531` `add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528` `sqr-pow_binary64_18464`

Counts

1 → 49

Calls

1 calls:

6.0ms

(pow.f64 (exp.f64 x) (neg.f64 (/.f64 y x)))

Compiler

Compiled 781 to 247 computations (68.4% saved)

series98.0ms (1.2%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

92.0ms

(pow.f64 (exp.f64 x) (neg.f64 (/.f64 y x)))

Compiler

Compiled 138 to 112 computations (18.8% saved)

simplify282.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

392×	`div-sub_binary64_18497`
258×	`distribute-rgt-in_binary64_18442`
245×	`sqr-pow_binary64_18464`
234×	`distribute-lft-in_binary64_18441`
208×	`associate-/l/_binary64_18439`
196×	`associate-/l*_binary64_18437`
176×	`distribute-frac-neg_binary64_18455`
174×	`pow-sqr_binary64_18465`
160×	`unswap-sqr_binary64_18460`
157×	`times-frac_binary64_18498`
125×	`associate-*r/_binary64_18434`
115×	`associate-l_binary64_18433`
104×	`distribute-lft-neg-out_binary64_18451`
101×	`distribute-neg-frac_binary64_18456` `distribute-rgt-neg-out_binary64_18452`
96×	`unsub-neg_binary64_18486`
92×	`associate-r_binary64_18432`
91×	`neg-mul-1_binary64_18488` `associate-/r*_binary64_18436`
87×	`*-commutative_binary64_18423`
85×	`sub-neg_binary64_18485`
83×	`neg-sub0_binary64_18487`
70×	`exp-prod_binary64_18544`
67×	`associate-/r/_binary64_18438`
66×	`distribute-neg-out_binary64_18454`
59×	`distribute-lft-out_binary64_18443`
57×	`associate-*l/_binary64_18435`
42×	`distribute-rgt-neg-in_binary64_18450`
36×	`cube-unmult_binary64_18529`
35×	`distribute-lft-neg-in_binary64_18449`
33×	`cancel-sign-sub-inv_binary64_18458` `distribute-rgt-out_binary64_18445`
32×	`log-prod_binary64_18578` `div-exp_binary64_18543` `exp-sum_binary64_18538` `*-rgt-identity_binary64_18482`
31×	`/-rgt-identity_binary64_18483` `*-lft-identity_binary64_18481`
27×	`prod-exp_binary64_18541`
24×	`div0_binary64_18473`
19×	`log-pow_binary64_18581`
17×	`cube-prod_binary64_18520` `mul0-rgt_binary64_18475` `distribute-rgt-out--_binary64_18446`
15×	`mul0-lft_binary64_18474`
13×	`pow-plus_binary64_18555` `swap-sqr_binary64_18459` `+-commutative_binary64_18422`
9×	`distribute-lft-out--_binary64_18444`
8×	`rec-exp_binary64_18542`
7×	`rem-sqrt-square_binary64_18505`
6×	`log-div_binary64_18579` `exp-diff_binary64_18540` `distribute-neg-in_binary64_18453`
5×	`cube-div_binary64_18521`
4×	`exp-to-pow_binary64_18554` `pow-base-1_binary64_18552` `exp-sqrt_binary64_18545` `remove-double-div_binary64_18468` `distribute-rgt1-in_binary64_18448`
3×	`exp-lft-sqr_binary64_18547` `exp-neg_binary64_18539` `rem-log-exp_binary64_18533`
2×	`rem-exp-log_binary64_18532` `mul-1-neg_binary64_18484` `--rgt-identity_binary64_18478` `distribute-lft1-in_binary64_18447` `count-2_binary64_18440`
1×	`log-rec_binary64_18580` `unpow3_binary64_18558` `unpow0_binary64_18551` `unpow1_binary64_18550` `unpow-1_binary64_18549` `1-exp_binary64_18536` `exp-1-e_binary64_18535` `cube-mult_binary64_18522` `*-inverses_binary64_18472` `rgt-mult-inverse_binary64_18469` `associate--r+_binary64_18428`
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_18755` `erf-erfc_binary64_18754` `erf-odd_binary64_18753` `if-if-and-not_binary64_18752` `if-if-and_binary64_18751` `if-if-or-not_binary64_18750` `if-if-or_binary64_18749` `if-not_binary64_18748` `if-same_binary64_18747` `if-false_binary64_18746` `if-true_binary64_18745` `not-gte_binary64_18744` `not-lte_binary64_18743` `not-gt_binary64_18742` `not-lt_binary64_18741` `gte-same_binary64_18740` `lte-same_binary64_18739` `gt-same_binary64_18738` `lt-same_binary64_18737` `sinh---cosh_binary64_18684` `sinh-+-cosh_binary64_18683` `sinh-cosh_binary64_18682` `tanh-def-c_binary64_18681` `tanh-def-b_binary64_18680` `tanh-def-a_binary64_18679` `cosh-def_binary64_18678` `sinh-def_binary64_18677` `tan-neg_binary64_18624` `cos-neg_binary64_18623` `sin-neg_binary64_18622` `tan-0_binary64_18621` `cos-0_binary64_18620` `sin-0_binary64_18619` `hang-m-tan_binary64_18618` `hang-p-tan_binary64_18617` `hang-m0-tan_binary64_18616` `hang-p0-tan_binary64_18615` `hang-0m-tan_binary64_18614` `hang-0p-tan_binary64_18613` `tan-+PI/2_binary64_18612` `tan-+PI_binary64_18611` `tan-PI_binary64_18610` `tan-PI/3_binary64_18609` `tan-PI/4_binary64_18608` `tan-PI/6_binary64_18607` `cos-+PI/2_binary64_18606` `cos-+PI_binary64_18605` `cos-PI_binary64_18604` `cos-PI/2_binary64_18603` `cos-PI/3_binary64_18602` `cos-PI/4_binary64_18601` `cos-PI/6_binary64_18600` `sin-+PI/2_binary64_18599` `sin-+PI_binary64_18598` `sin-PI_binary64_18597` `sin-PI/2_binary64_18596` `sin-PI/3_binary64_18595` `sin-PI/4_binary64_18594` `sin-PI/6_binary64_18593` `sub-1-sin_binary64_18592` `sub-1-cos_binary64_18591` `-1-add-sin_binary64_18590` `-1-add-cos_binary64_18589` `1-sub-sin_binary64_18588` `1-sub-cos_binary64_18587` `cos-sin-sum_binary64_18586` `log-E_binary64_18582` `pow-base-0_binary64_18576` `unpow1/3_binary64_18559` `unpow2_binary64_18557` `unpow1/2_binary64_18556` `exp-lft-cube_binary64_18548` `exp-cbrt_binary64_18546` `e-exp-1_binary64_18537` `exp-0_binary64_18534` `cube-neg_binary64_18519` `rem-3cbrt-rft_binary64_18518` `rem-3cbrt-lft_binary64_18517` `rem-cbrt-cube_binary64_18516` `rem-cube-cbrt_binary64_18515` `sqr-abs_binary64_18507` `sqr-neg_binary64_18506` `rem-square-sqrt_binary64_18504` `remove-double-neg_binary64_18480` `sub0-neg_binary64_18479` `+-rgt-identity_binary64_18477` `+-lft-identity_binary64_18476` `+-inverses_binary64_18471` `lft-mult-inverse_binary64_18470` `difference-of-sqr--1_binary64_18463` `difference-of-sqr-1_binary64_18462` `difference-of-squares_binary64_18461` `cancel-sign-sub_binary64_18457` `associate--r-_binary64_18431` `associate--l-_binary64_18430` `associate--l+_binary64_18429` `associate-+l-_binary64_18427` `associate-+r-_binary64_18426` `associate-+l+_binary64_18425` `associate-+r+_binary64_18424`

Counts

55 → 105

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	103	698
1	280	666
2	809	600
3	2485	600

prune91.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	103	2	105
Fresh	2	1	3
Picked	0	1	1
Done	1	0	1
Total	106	4	110

Error

0.0b

Counts

110 → 4

Compiler

Compiled 1677 to 454 computations (72.9% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (exp.f64 (neg.f64 y)) x)

rewrite29.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`add-cube-cbrt_binary64_18527` `add-sqr-sqrt_binary64_18514` `times-frac_binary64_18498` `*-un-lft-identity_binary64_18492`
3×	`add-cbrt-cube_binary64_18528` `associate-/l_binary64_18437` `associate-/r_binary64_18436`
2×	`add-exp-log_binary64_18530` `associate-/l/_binary64_18439`
1×	`pow1_binary64_18553` `div-exp_binary64_18543` `add-log-exp_binary64_18531` `cbrt-undiv_binary64_18526` `frac-2neg_binary64_18503` `clear-num_binary64_18491` `div-inv_binary64_18489` `neg-sub0_binary64_18487` `exp-diff_binary64_18540` `exp-neg_binary64_18539`

Counts

1 → 29

Calls

1 calls:

5.0ms

(/.f64 (exp.f64 (neg.f64 y)) x)

Compiler

Compiled 340 to 95 computations (72.1% saved)

series113.0ms (1.4%)

Error

0.0b

Counts

1 → 9

Calls

1 calls:

103.0ms

(/.f64 (exp.f64 (neg.f64 y)) x)

Compiler

Compiled 174 to 131 computations (24.7% saved)

simplify140.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

437×	`associate-*l/_binary64_18435`
432×	`associate-/r/_binary64_18438`
367×	`associate-/r*_binary64_18436`
349×	`associate-l_binary64_18433`
338×	`associate-*r/_binary64_18434`
297×	`associate-r_binary64_18432`
144×	`log-prod_binary64_18578`
129×	`exp-prod_binary64_18544`
121×	`log-div_binary64_18579`
120×	`*-commutative_binary64_18423`
96×	`associate-/l*_binary64_18437`
90×	`associate-/l/_binary64_18439`
80×	`times-frac_binary64_18498`
79×	`cancel-sign-sub-inv_binary64_18458`
74×	`associate-+l-_binary64_18427`
65×	`sub-neg_binary64_18485`
58×	`unswap-sqr_binary64_18460`
46×	`prod-exp_binary64_18541`
45×	`exp-sqrt_binary64_18545` `exp-sum_binary64_18538`
43×	`associate--l-_binary64_18430`
41×	`distribute-rgt-neg-in_binary64_18450` `associate-+r-_binary64_18426`
37×	`exp-diff_binary64_18540`
36×	`distribute-lft-neg-in_binary64_18449`
34×	`div-exp_binary64_18543` `sqr-pow_binary64_18464`
28×	`exp-lft-sqr_binary64_18547`
25×	`distribute-neg-frac_binary64_18456` `associate--l+_binary64_18429` `associate-+l+_binary64_18425`
24×	`cube-prod_binary64_18520` `unsub-neg_binary64_18486` `+-commutative_binary64_18422`
23×	`exp-to-pow_binary64_18554` `cube-div_binary64_18521`
22×	`neg-sub0_binary64_18487`
21×	`neg-mul-1_binary64_18488` `pow-sqr_binary64_18465` `distribute-lft-neg-out_binary64_18451`
20×	`associate-+r+_binary64_18424`
19×	`unpow3_binary64_18558`
18×	`div-sub_binary64_18497`
17×	`pow-plus_binary64_18555`
16×	`*-rgt-identity_binary64_18482` `distribute-neg-out_binary64_18454` `associate--r+_binary64_18428`
15×	`distribute-lft-out_binary64_18443`
14×	`/-rgt-identity_binary64_18483`
13×	`log-pow_binary64_18581`
12×	`associate--r-_binary64_18431`
11×	`swap-sqr_binary64_18459` `distribute-rgt-neg-out_binary64_18452` `distribute-rgt-out_binary64_18445`
10×	`log-rec_binary64_18580`
9×	`*-lft-identity_binary64_18481` `distribute-rgt1-in_binary64_18448`
8×	`sub0-neg_binary64_18479` `distribute-rgt-in_binary64_18442`
7×	`cube-unmult_binary64_18529`
6×	`rec-exp_binary64_18542` `exp-neg_binary64_18539` `distribute-neg-in_binary64_18453`
5×	`rem-log-exp_binary64_18533` `rem-sqrt-square_binary64_18505` `+-rgt-identity_binary64_18477` `distribute-lft-in_binary64_18441` `count-2_binary64_18440`
4×	`remove-double-div_binary64_18468`
3×	`cube-mult_binary64_18522` `remove-double-neg_binary64_18480` `distribute-frac-neg_binary64_18455` `distribute-lft1-in_binary64_18447`
2×	`distribute-rgt-out--_binary64_18446` `distribute-lft-out--_binary64_18444`
1×	`unpow2_binary64_18557` `pow-base-1_binary64_18552` `unpow1_binary64_18550` `1-exp_binary64_18536` `mul0-rgt_binary64_18475` `mul0-lft_binary64_18474` `div0_binary64_18473` `*-inverses_binary64_18472` `rgt-mult-inverse_binary64_18469` `cancel-sign-sub_binary64_18457`
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_18755` `erf-erfc_binary64_18754` `erf-odd_binary64_18753` `if-if-and-not_binary64_18752` `if-if-and_binary64_18751` `if-if-or-not_binary64_18750` `if-if-or_binary64_18749` `if-not_binary64_18748` `if-same_binary64_18747` `if-false_binary64_18746` `if-true_binary64_18745` `not-gte_binary64_18744` `not-lte_binary64_18743` `not-gt_binary64_18742` `not-lt_binary64_18741` `gte-same_binary64_18740` `lte-same_binary64_18739` `gt-same_binary64_18738` `lt-same_binary64_18737` `sinh---cosh_binary64_18684` `sinh-+-cosh_binary64_18683` `sinh-cosh_binary64_18682` `tanh-def-c_binary64_18681` `tanh-def-b_binary64_18680` `tanh-def-a_binary64_18679` `cosh-def_binary64_18678` `sinh-def_binary64_18677` `tan-neg_binary64_18624` `cos-neg_binary64_18623` `sin-neg_binary64_18622` `tan-0_binary64_18621` `cos-0_binary64_18620` `sin-0_binary64_18619` `hang-m-tan_binary64_18618` `hang-p-tan_binary64_18617` `hang-m0-tan_binary64_18616` `hang-p0-tan_binary64_18615` `hang-0m-tan_binary64_18614` `hang-0p-tan_binary64_18613` `tan-+PI/2_binary64_18612` `tan-+PI_binary64_18611` `tan-PI_binary64_18610` `tan-PI/3_binary64_18609` `tan-PI/4_binary64_18608` `tan-PI/6_binary64_18607` `cos-+PI/2_binary64_18606` `cos-+PI_binary64_18605` `cos-PI_binary64_18604` `cos-PI/2_binary64_18603` `cos-PI/3_binary64_18602` `cos-PI/4_binary64_18601` `cos-PI/6_binary64_18600` `sin-+PI/2_binary64_18599` `sin-+PI_binary64_18598` `sin-PI_binary64_18597` `sin-PI/2_binary64_18596` `sin-PI/3_binary64_18595` `sin-PI/4_binary64_18594` `sin-PI/6_binary64_18593` `sub-1-sin_binary64_18592` `sub-1-cos_binary64_18591` `-1-add-sin_binary64_18590` `-1-add-cos_binary64_18589` `1-sub-sin_binary64_18588` `1-sub-cos_binary64_18587` `cos-sin-sum_binary64_18586` `log-E_binary64_18582` `pow-base-0_binary64_18576` `unpow1/3_binary64_18559` `unpow1/2_binary64_18556` `unpow0_binary64_18551` `unpow-1_binary64_18549` `exp-lft-cube_binary64_18548` `exp-cbrt_binary64_18546` `e-exp-1_binary64_18537` `exp-1-e_binary64_18535` `exp-0_binary64_18534` `rem-exp-log_binary64_18532` `cube-neg_binary64_18519` `rem-3cbrt-rft_binary64_18518` `rem-3cbrt-lft_binary64_18517` `rem-cbrt-cube_binary64_18516` `rem-cube-cbrt_binary64_18515` `sqr-abs_binary64_18507` `sqr-neg_binary64_18506` `rem-square-sqrt_binary64_18504` `mul-1-neg_binary64_18484` `--rgt-identity_binary64_18478` `+-lft-identity_binary64_18476` `+-inverses_binary64_18471` `lft-mult-inverse_binary64_18470` `difference-of-sqr--1_binary64_18463` `difference-of-sqr-1_binary64_18462` `difference-of-squares_binary64_18461`

Counts

38 → 27

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	553
1	143	519
2	381	510
3	1007	510
4	4316	510

prune23.0ms (0.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	25	2	27
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	26	5	31

Error

Counts

31 → 5

Compiler

Compiled 371 to 123 computations (66.8% saved)

regimes541.0ms (6.9%)

Accuracy

Total 1.6b remaining (98.6%)

Threshold costs 0b (0%)

Compiler

Compiled 3551 to 2031 computations (42.8% saved)

bsearch3.0ms (0%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64_18423`
3×	`+-commutative_binary64_18422`
2×	`neg-mul-1_binary64_18488` `neg-sub0_binary64_18487` `sub-neg_binary64_18485`
1×	`1-exp_binary64_18536` `distribute-neg-frac_binary64_18456`
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_18752` `if-if-and_binary64_18751` `if-if-or-not_binary64_18750` `if-if-or_binary64_18749` `if-not_binary64_18748` `if-same_binary64_18747` `if-false_binary64_18746` `if-true_binary64_18745` `tan-0_binary64_18621` `cos-0_binary64_18620` `sin-0_binary64_18619` `unpow1_binary64_18550` `e-exp-1_binary64_18537` `exp-1-e_binary64_18535` `exp-0_binary64_18534` `sqr-abs_binary64_18507` `sqr-neg_binary64_18506` `unsub-neg_binary64_18486` `mul-1-neg_binary64_18484` `/-rgt-identity_binary64_18483` `-rgt-identity_binary64_18482` `-lft-identity_binary64_18481` `remove-double-neg_binary64_18480` `sub0-neg_binary64_18479` `--rgt-identity_binary64_18478` `+-rgt-identity_binary64_18477` `+-lft-identity_binary64_18476` `cancel-sign-sub-inv_binary64_18458` `cancel-sign-sub_binary64_18457` `distribute-frac-neg_binary64_18455` `distribute-neg-out_binary64_18454` `distribute-neg-in_binary64_18453` `distribute-rgt-neg-out_binary64_18452` `distribute-lft-neg-out_binary64_18451` `distribute-rgt-neg-in_binary64_18450` `distribute-lft-neg-in_binary64_18449`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	147
1	51	147
2	55	147
3	57	147

Proof

(if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) -8132958944010023841107542016) (/ f64 1 h0) (if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) -5052428589958093/1412006979354108748474554421102313931675676955925788762341700965431346915180599249952936960497614998485448932749141998289061648432939195473813276544243473053215398045741358060286316036246351763861878679739417265182867456) (/ f64 (exp f64 0) (* f64 h0 (exp f64 h1))) (if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) 0) (/ f64 (pow f64 (exp f64 h0) (neg f64 (/ f64 h1 h0))) h0) (if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) 3453634318493065/1897137590064188545819787018382342682267975428761855001222473056385648716020711424) (/ f64 (exp f64 (neg f64 h1)) h0) (/ f64 (pow f64 (exp f64 (sqrt f64 h0)) (* f64 (log f64 (/ f64 h0 (+ f64 h0 h1))) (sqrt f64 h0))) h0)))))
<= 1-exp_binary64_18536
(if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) -8132958944010023841107542016) (/ f64 1 h0) (if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) -5052428589958093/1412006979354108748474554421102313931675676955925788762341700965431346915180599249952936960497614998485448932749141998289061648432939195473813276544243473053215398045741358060286316036246351763861878679739417265182867456) (/ f64 (<= 1) (* f64 h0 (exp f64 h1))) (if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) 0) (/ f64 (pow f64 (exp f64 h0) (=> (neg f64 (/ f64 h1 h0)))) h0) (if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) 3453634318493065/1897137590064188545819787018382342682267975428761855001222473056385648716020711424) (/ f64 (exp f64 (neg f64 h1)) h0) (/ f64 (pow f64 (exp f64 (sqrt f64 h0)) (* f64 (log f64 (/ f64 h0 (+ f64 h0 h1))) (sqrt f64 h0))) h0)))))
distribute-neg-frac_binary64_18456 =>
(if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) -8132958944010023841107542016) (/ f64 1 h0) (if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) -5052428589958093/1412006979354108748474554421102313931675676955925788762341700965431346915180599249952936960497614998485448932749141998289061648432939195473813276544243473053215398045741358060286316036246351763861878679739417265182867456) (/ f64 1 (* f64 h0 (exp f64 h1))) (if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) 0) (/ f64 (pow f64 (exp f64 h0) (/ f64 (neg f64 h1) h0)) h0) (if real (<= f64 (/ f64 (exp f64 (* f64 h0 (log f64 (/ f64 h0 (+ f64 h0 h1))))) h0) 3453634318493065/1897137590064188545819787018382342682267975428761855001222473056385648716020711424) (/ f64 (exp f64 (neg f64 h1)) h0) (/ f64 (pow f64 (exp f64 (sqrt f64 h0)) (* f64 (log f64 (/ f64 h0 (+ f64 h0 h1))) (sqrt f64 h0))) h0)))))

end0.0ms (0%)

sample2.9s (36.8%)

Algorithm

1×

intervals

Results

666.0ms	1749×	body	1024	valid
271.0ms	4567×	body	128	valid
235.0ms	1006×	body	512	valid
108.0ms	163×	body	2048	valid
72.0ms	515×	body	256	valid
63.0ms	182×	body	1024	invalid
55.0ms	251×	body	512	invalid
21.0ms	158×	body	256	invalid
14.0ms	220×	body	128	invalid
11.0ms	186×	body	128	nan

Compiler

Compiled 1325 to 743 computations (43.9% saved)

Details

analyze601.0ms (7.6%)

sample60.0ms (0.8%)

simplify250.0ms (3.2%)

prune6.0ms (0.1%)

localize9.0ms (0.1%)

rewrite296.0ms (3.8%)

series537.0ms (6.8%)

simplify479.0ms (6.1%)

prune184.0ms (2.3%)

localize15.0ms (0.2%)

rewrite209.0ms (2.7%)

series433.0ms (5.5%)

simplify244.0ms (3.1%)

prune256.0ms (3.3%)

localize7.0ms (0.1%)

rewrite51.0ms (0.6%)

series98.0ms (1.2%)

simplify282.0ms (3.6%)

prune91.0ms (1.2%)

localize6.0ms (0.1%)

rewrite29.0ms (0.4%)

series113.0ms (1.4%)

simplify140.0ms (1.8%)

prune23.0ms (0.3%)

regimes541.0ms (6.9%)

bsearch3.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample2.9s (36.8%)

Profiling