Details

analyze231.0ms (2.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
10.1%	64.7%	25.1%	8
17.2%	32.8%	50.1%	9
23%	26.9%	50.1%	10
26.8%	23.1%	50.1%	11
31.6%	18.3%	50.1%	12
35.2%	14.7%	50.1%	13
37.5%	12.4%	50.1%	14

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample22.0ms (0.2%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify492.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

774×	`exp-prod_binary64_5245`
473×	`unsub-neg_binary64_5187`
425×	`cube-prod_binary64_5221`
330×	`sub-neg_binary64_5186`
256×	`distribute-neg-in_binary64_5154`
193×	`distribute-rgt-in_binary64_5143`
182×	`associate--r+_binary64_5129`
180×	`swap-sqr_binary64_5160`
179×	`exp-sum_binary64_5239`
160×	`distribute-rgt-neg-in_binary64_5151`
155×	`distribute-rgt-neg-out_binary64_5153`
153×	`neg-mul-1_binary64_5189`
152×	`associate--l+_binary64_5130`
149×	`distribute-lft-neg-in_binary64_5150`
148×	`pow-plus_binary64_5256`
145×	`associate-+r+_binary64_5125`
144×	`associate-+l+_binary64_5126`
142×	`neg-sub0_binary64_5188`
133×	`exp-diff_binary64_5241`
128×	`+-commutative_binary64_5123`
122×	`cancel-sign-sub-inv_binary64_5159` `distribute-lft-neg-out_binary64_5152`
121×	`*-commutative_binary64_5124`
120×	`associate-+l-_binary64_5128`
119×	`log-pow_binary64_5282`
112×	`distribute-rgt1-in_binary64_5149`
103×	`associate--r-_binary64_5132` `associate-+r-_binary64_5127`
95×	`log-prod_binary64_5279`
82×	`cancel-sign-sub_binary64_5158`
71×	`associate--l-_binary64_5131`
66×	`distribute-lft-in_binary64_5142`
57×	`sqr-pow_binary64_5165`
55×	`remove-double-neg_binary64_5181`
43×	`associate-r_binary64_5133`
35×	`distribute-neg-out_binary64_5155`
34×	`exp-neg_binary64_5240`
33×	`exp-to-pow_binary64_5255` `sub0-neg_binary64_5180`
31×	`associate-l_binary64_5134`
28×	`pow-base-1_binary64_5253`
24×	`pow-sqr_binary64_5166`
23×	`+-rgt-identity_binary64_5178`
21×	`distribute-rgt-out--_binary64_5147`
19×	`sqr-neg_binary64_5207`
15×	`exp-lft-sqr_binary64_5248`
14×	`distribute-rgt-out_binary64_5146`
13×	`mul0-rgt_binary64_5176`
12×	`--rgt-identity_binary64_5179` `mul0-lft_binary64_5175`
7×	`distribute-lft1-in_binary64_5148`
6×	`cube-unmult_binary64_5230` `unswap-sqr_binary64_5161` `distribute-lft-out--_binary64_5145` `count-2_binary64_5141`
5×	`unpow1/2_binary64_5257` `prod-exp_binary64_5242`
4×	`log-div_binary64_5280` `difference-of-squares_binary64_5162`
3×	`mul-1-neg_binary64_5185` `+-lft-identity_binary64_5177` `difference-of-sqr--1_binary64_5164`
2×	`unpow-1_binary64_5250` `cube-div_binary64_5222` `+-inverses_binary64_5172` `distribute-lft-out_binary64_5144`
1×	`log-rec_binary64_5281` `unpow3_binary64_5259` `1-exp_binary64_5237` `exp-1-e_binary64_5236` `rem-exp-log_binary64_5233` `distribute-neg-frac_binary64_5157`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `cos-PI/6_binary64_5301` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sin-PI/6_binary64_5294` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `log-E_binary64_5283` `pow-base-0_binary64_5277` `unpow1/3_binary64_5260` `unpow2_binary64_5258` `unpow0_binary64_5252` `unpow1_binary64_5251` `exp-lft-cube_binary64_5249` `exp-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `div-exp_binary64_5244` `rec-exp_binary64_5243` `e-exp-1_binary64_5238` `exp-0_binary64_5235` `rem-log-exp_binary64_5234` `cube-mult_binary64_5223` `cube-neg_binary64_5220` `rem-3cbrt-rft_binary64_5219` `rem-3cbrt-lft_binary64_5218` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `rem-sqrt-square_binary64_5206` `rem-square-sqrt_binary64_5205` `times-frac_binary64_5199` `div-sub_binary64_5198` `/-rgt-identity_binary64_5184` `-rgt-identity_binary64_5183` `-lft-identity_binary64_5182` `div0_binary64_5174` `-inverses_binary64_5173` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `remove-double-div_binary64_5169` `difference-of-sqr-1_binary64_5163` `distribute-frac-neg_binary64_5156` `associate-/l/_binary64_5140` `associate-/r/_binary64_5139` `associate-/l_binary64_5138` `associate-/r_binary64_5137` `associate-l/_binary64_5136` `associate-*r/_binary64_5135`

Counts

1 → 4

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	25	18
2	72	18
3	235	18
4	565	18
5	1402	18
6	1529	18
7	2018	18
8	3363	18

prune6.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

5 → 1

Compiler

Compiled 60 to 38 computations (36.7% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y))
0.1b	(*.f64 (+.f64 y 1/2) (log.f64 y))
0.1b	(-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y)

rewrite128.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`add-sqr-sqrt_binary64_5215` `*-un-lft-identity_binary64_5193` `log-prod_binary64_5279`
14×	`add-cube-cbrt_binary64_5228`
12×	`associate--l+_binary64_5130`
10×	`add-log-exp_binary64_5232` `associate--r+_binary64_5129`
9×	`cancel-sign-sub-inv_binary64_5159` `distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142`
6×	`pow1_binary64_5254`
5×	`add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
4×	`diff-log_binary64_5285` `associate-l_binary64_5134` `associate-r_binary64_5133`
3×	`sub-neg_binary64_5186`
2×	`flip3--_binary64_5197` `flip--_binary64_5168` `associate-*l/_binary64_5136`
1×	`pow-prod-down_binary64_5264` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `unswap-sqr_binary64_5161` `flip3-+_binary64_5196` `flip-+_binary64_5167` `distribute-lft-out_binary64_5144` `log-pow_binary64_5282` `*-commutative_binary64_5124` `difference-of-squares_binary64_5162` `distribute-lft-out--_binary64_5145` `associate--r-_binary64_5132`

Counts

3 → 76

Calls

3 calls:

9.0ms	(-.f64 x (-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y))
7.0ms	(-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y)
7.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

Compiler

Compiled 1558 to 848 computations (45.6% saved)

series686.0ms (6.7%)

Error

0.0b

Counts

3 → 21

Calls

3 calls:

377.0ms	(-.f64 x (-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y))
184.0ms	(-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y)
102.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

Compiler

Compiled 794 to 589 computations (25.8% saved)

simplify695.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

418×	`times-frac_binary64_5199`
268×	`unsub-neg_binary64_5187`
237×	`associate--l+_binary64_5130`
217×	`sub-neg_binary64_5186`
198×	`associate--l-_binary64_5131`
189×	`distribute-rgt-out_binary64_5146` `*-commutative_binary64_5124`
172×	`distribute-lft-neg-out_binary64_5152`
159×	`exp-prod_binary64_5245` `distribute-rgt-neg-out_binary64_5153`
144×	`neg-sub0_binary64_5188`
143×	`exp-sum_binary64_5239` `associate-+l+_binary64_5126`
140×	`distribute-rgt-neg-in_binary64_5151`
138×	`neg-mul-1_binary64_5189`
128×	`associate-+r+_binary64_5125`
125×	`distribute-neg-in_binary64_5154`
110×	`distribute-lft-neg-in_binary64_5150`
101×	`+-commutative_binary64_5123`
99×	`sqr-pow_binary64_5165`
91×	`exp-diff_binary64_5241` `distribute-rgt-in_binary64_5143`
87×	`cancel-sign-sub-inv_binary64_5159`
85×	`distribute-lft-in_binary64_5142`
84×	`unswap-sqr_binary64_5161`
76×	`associate-/l*_binary64_5138`
74×	`distribute-rgt-out--_binary64_5147`
72×	`log-prod_binary64_5279`
69×	`associate--r-_binary64_5132`
68×	`associate-l_binary64_5134` `associate-r_binary64_5133`
61×	`associate--r+_binary64_5129`
57×	`cube-prod_binary64_5221`
53×	`associate-/r*_binary64_5137`
51×	`distribute-neg-out_binary64_5155`
47×	`associate-+r-_binary64_5127`
46×	`difference-of-squares_binary64_5162` `associate-+l-_binary64_5128`
41×	`pow-sqr_binary64_5166`
35×	`*-rgt-identity_binary64_5183`
34×	`*-lft-identity_binary64_5182`
27×	`+-rgt-identity_binary64_5178`
24×	`exp-to-pow_binary64_5255`
21×	`exp-neg_binary64_5240` `remove-double-neg_binary64_5181` `swap-sqr_binary64_5160`
20×	`sub0-neg_binary64_5180` `distribute-rgt1-in_binary64_5149`
16×	`associate-*l/_binary64_5136`
14×	`log-div_binary64_5280` `div-sub_binary64_5198`
13×	`count-2_binary64_5141`
12×	`unpow3_binary64_5259` `div-exp_binary64_5244`
10×	`distribute-lft-out_binary64_5144`
7×	`sqr-neg_binary64_5207` `mul-1-neg_binary64_5185` `distribute-frac-neg_binary64_5156` `associate-*r/_binary64_5135`
6×	`cube-mult_binary64_5223` `associate-/l/_binary64_5140`
5×	`cube-unmult_binary64_5230` `--rgt-identity_binary64_5179` `associate-/r/_binary64_5139`
4×	`cube-neg_binary64_5220` `rem-sqrt-square_binary64_5206`
3×	`log-pow_binary64_5282` `prod-exp_binary64_5242` `mul0-rgt_binary64_5176` `distribute-neg-frac_binary64_5157`
2×	`log-rec_binary64_5281` `pow-base-1_binary64_5253` `rem-3cbrt-lft_binary64_5218` `rem-square-sqrt_binary64_5205` `distribute-lft1-in_binary64_5148`
1×	`unpow1/2_binary64_5257` `pow-plus_binary64_5256` `1-exp_binary64_5237` `exp-1-e_binary64_5236` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `/-rgt-identity_binary64_5184` `div0_binary64_5174` `+-inverses_binary64_5172` `cancel-sign-sub_binary64_5158`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `cos-PI/6_binary64_5301` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sin-PI/6_binary64_5294` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `log-E_binary64_5283` `pow-base-0_binary64_5277` `unpow1/3_binary64_5260` `unpow2_binary64_5258` `unpow0_binary64_5252` `unpow1_binary64_5251` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `exp-lft-sqr_binary64_5248` `exp-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `rec-exp_binary64_5243` `e-exp-1_binary64_5238` `exp-0_binary64_5235` `cube-div_binary64_5222` `rem-3cbrt-rft_binary64_5219` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `+-lft-identity_binary64_5177` `mul0-lft_binary64_5175` `*-inverses_binary64_5173` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `remove-double-div_binary64_5169` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `distribute-lft-out--_binary64_5145`

Counts

97 → 200

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	163	1460
1	433	1401
2	1261	1363
3	2356	1357

prune252.0ms (2.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	194	6	200
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	195	6	201

Error

Counts

201 → 6

Compiler

Compiled 4380 to 2321 computations (47% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(-.f64 (+.f64 y x) (*.f64 (log.f64 y) (+.f64 1/2 y)))
0.1b	(*.f64 (log.f64 y) (+.f64 1/2 y))

rewrite70.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`add-log-exp_binary64_5232`
6×	`add-sqr-sqrt_binary64_5215` `-un-lft-identity_binary64_5193` `associate-r/_binary64_5135`
5×	`pow1_binary64_5254` `flip3-+_binary64_5196` `flip-+_binary64_5167`
4×	`add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229` `add-cube-cbrt_binary64_5228` `associate-l_binary64_5134` `associate-r_binary64_5133` `frac-sub_binary64_5202`
2×	`distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142` `diff-log_binary64_5285` `associate--r+_binary64_5129`
1×	`pow-prod-down_binary64_5264` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `unswap-sqr_binary64_5161` `log-pow_binary64_5282` `distribute-lft-out_binary64_5144` `*-commutative_binary64_5124` `sum-log_binary64_5284` `flip3--_binary64_5197` `sub-neg_binary64_5186` `flip--_binary64_5168` `cancel-sign-sub-inv_binary64_5159` `associate--l+_binary64_5130`

Counts

2 → 44

Calls

2 calls:

10.0ms	(*.f64 (log.f64 y) (+.f64 1/2 y))
7.0ms	(-.f64 (+.f64 y x) (*.f64 (log.f64 y) (+.f64 1/2 y)))

Compiler

Compiled 980 to 484 computations (50.6% saved)

series499.0ms (4.9%)

Error

Counts

2 → 16

Calls

2 calls:

369.0ms	(-.f64 (+.f64 y x) (*.f64 (log.f64 y) (+.f64 1/2 y)))
115.0ms	(*.f64 (log.f64 y) (+.f64 1/2 y))

Compiler

Compiled 582 to 419 computations (28% saved)

simplify187.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

327×	`unsub-neg_binary64_5187`
315×	`*-commutative_binary64_5124`
299×	`sub-neg_binary64_5186`
235×	`associate-+l+_binary64_5126`
216×	`distribute-rgt-neg-out_binary64_5153`
213×	`associate-+r+_binary64_5125`
200×	`distribute-neg-in_binary64_5154`
199×	`neg-sub0_binary64_5188`
195×	`neg-mul-1_binary64_5189`
174×	`cancel-sign-sub-inv_binary64_5159`
144×	`associate--r+_binary64_5129`
142×	`distribute-rgt-in_binary64_5143`
137×	`distribute-rgt-neg-in_binary64_5151`
131×	`distribute-lft-in_binary64_5142`
120×	`+-commutative_binary64_5123`
109×	`distribute-lft-neg-in_binary64_5150`
103×	`exp-sum_binary64_5239` `associate-r_binary64_5133`
98×	`cancel-sign-sub_binary64_5158`
94×	`associate-l_binary64_5134`
93×	`exp-prod_binary64_5245`
87×	`sqr-pow_binary64_5165`
85×	`distribute-neg-out_binary64_5155`
80×	`unswap-sqr_binary64_5161`
78×	`distribute-lft-neg-out_binary64_5152`
69×	`exp-diff_binary64_5241`
64×	`associate--l+_binary64_5130`
58×	`cube-prod_binary64_5221`
57×	`log-prod_binary64_5279`
55×	`associate-+l-_binary64_5128`
47×	`associate-+r-_binary64_5127`
39×	`pow-sqr_binary64_5166`
29×	`remove-double-neg_binary64_5181`
28×	`+-rgt-identity_binary64_5178`
27×	`sub0-neg_binary64_5180` `difference-of-squares_binary64_5162` `distribute-rgt-out_binary64_5146`
26×	`exp-to-pow_binary64_5255` `times-frac_binary64_5199`
18×	`swap-sqr_binary64_5160`
17×	`*-rgt-identity_binary64_5183`
16×	`distribute-rgt-out--_binary64_5147`
14×	`associate--r-_binary64_5132`
13×	`unpow3_binary64_5259`
12×	`*-lft-identity_binary64_5182`
11×	`div-exp_binary64_5244`
10×	`cube-mult_binary64_5223`
8×	`associate-/l_binary64_5138` `associate-/r_binary64_5137`
7×	`prod-exp_binary64_5242`
6×	`log-div_binary64_5280` `sqr-neg_binary64_5207` `div-sub_binary64_5198`
5×	`cube-neg_binary64_5220`
4×	`pow-plus_binary64_5256` `distribute-lft-out_binary64_5144`
3×	`distribute-frac-neg_binary64_5156` `associate--l-_binary64_5131`
2×	`log-pow_binary64_5282` `pow-base-1_binary64_5253` `mul-1-neg_binary64_5185` `--rgt-identity_binary64_5179`
1×	`log-E_binary64_5283` `log-rec_binary64_5281` `unpow1/2_binary64_5257` `1-exp_binary64_5237` `exp-1-e_binary64_5236` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `cube-unmult_binary64_5230` `/-rgt-identity_binary64_5184` `+-inverses_binary64_5172` `distribute-rgt1-in_binary64_5149` `associate-/l/_binary64_5140` `associate-/r/_binary64_5139` `associate-*r/_binary64_5135`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `cos-PI/6_binary64_5301` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sin-PI/6_binary64_5294` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `pow-base-0_binary64_5277` `unpow1/3_binary64_5260` `unpow2_binary64_5258` `unpow0_binary64_5252` `unpow1_binary64_5251` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `exp-lft-sqr_binary64_5248` `exp-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `rec-exp_binary64_5243` `exp-neg_binary64_5240` `e-exp-1_binary64_5238` `exp-0_binary64_5235` `cube-div_binary64_5222` `rem-3cbrt-rft_binary64_5219` `rem-3cbrt-lft_binary64_5218` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `rem-sqrt-square_binary64_5206` `rem-square-sqrt_binary64_5205` `+-lft-identity_binary64_5177` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175` `div0_binary64_5174` `-inverses_binary64_5173` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `remove-double-div_binary64_5169` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `distribute-neg-frac_binary64_5157` `distribute-lft1-in_binary64_5148` `distribute-lft-out--_binary64_5145` `count-2_binary64_5141` `associate-l/_binary64_5136`

Counts

60 → 93

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	1077
1	405	1042
2	1516	1008
3	3383	1008

prune120.0ms (1.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	93	6	99

Error

Counts

99 → 6

Compiler

Compiled 2548 to 1209 computations (52.6% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(-.f64 (*.f64 (log.f64 (cbrt.f64 y)) (+.f64 y 1/2)) y)
0.2b	(-.f64 (-.f64 x (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y))))) (-.f64 (*.f64 (log.f64 (cbrt.f64 y)) (+.f64 y 1/2)) y))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite155.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`add-log-exp_binary64_5232`
11×	`add-sqr-sqrt_binary64_5215` `*-un-lft-identity_binary64_5193`
10×	`cancel-sign-sub-inv_binary64_5159`
9×	`add-cube-cbrt_binary64_5228` `diff-log_binary64_5285`
6×	`cbrt-prod_binary64_5224` `flip3--_binary64_5197` `flip--_binary64_5168` `associate--l+_binary64_5130` `associate--r+_binary64_5129`
4×	`pow1_binary64_5254` `add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229` `frac-sub_binary64_5202` `sub-neg_binary64_5186`
2×	`pow1/3_binary64_5275` `distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142`
1×	`difference-of-squares_binary64_5162` `distribute-lft-out--_binary64_5145` `associate--r-_binary64_5132` `associate--l-_binary64_5131`

Counts

4 → 71

Calls

4 calls:

13.0ms	(-.f64 (-.f64 x (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y))))) (-.f64 (*.f64 (log.f64 (cbrt.f64 y)) (+.f64 y 1/2)) y))
6.0ms	(-.f64 (*.f64 (log.f64 (cbrt.f64 y)) (+.f64 y 1/2)) y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2633 to 1407 computations (46.6% saved)

series1.4s (14%)

Error

Counts

4 → 22

Calls

4 calls:

805.0ms	(-.f64 (-.f64 x (.f64 (+.f64 1/2 y) (.f64 2 (log.f64 (cbrt.f64 y))))) (-.f64 (*.f64 (log.f64 (cbrt.f64 y)) (+.f64 y 1/2)) y))
349.0ms	(-.f64 (*.f64 (log.f64 (cbrt.f64 y)) (+.f64 y 1/2)) y)
123.0ms	(cbrt.f64 y)
121.0ms	(cbrt.f64 y)

Compiler

Compiled 1327 to 1068 computations (19.5% saved)

simplify537.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

436×	`cancel-sign-sub-inv_binary64_5159`
418×	`associate-+l+_binary64_5126`
210×	`distribute-rgt-neg-in_binary64_5151`
202×	`associate--r+_binary64_5129`
165×	`distribute-lft-neg-in_binary64_5150`
153×	`associate-r_binary64_5133`
150×	`distribute-rgt-in_binary64_5143`
148×	`distribute-lft-in_binary64_5142`
144×	`sub-neg_binary64_5186` `associate-l_binary64_5134`
140×	`distribute-lft-neg-out_binary64_5152`
132×	`associate--l+_binary64_5130`
105×	`distribute-neg-in_binary64_5154`
85×	`exp-prod_binary64_5245` `*-commutative_binary64_5124`
83×	`distribute-rgt-out_binary64_5146`
82×	`distribute-rgt-neg-out_binary64_5153`
75×	`neg-sub0_binary64_5188`
74×	`associate-+r-_binary64_5127`
72×	`neg-mul-1_binary64_5189`
71×	`associate-+l-_binary64_5128`
63×	`unswap-sqr_binary64_5161`
61×	`sqr-pow_binary64_5165`
58×	`+-commutative_binary64_5123`
46×	`exp-sum_binary64_5239`
43×	`log-prod_binary64_5279`
41×	`distribute-lft-out_binary64_5144`
37×	`cube-prod_binary64_5221`
30×	`unsub-neg_binary64_5187` `swap-sqr_binary64_5160`
29×	`associate-/r*_binary64_5137`
28×	`pow-sqr_binary64_5166`
25×	`distribute-rgt-out--_binary64_5147`
17×	`exp-diff_binary64_5241` `associate--r-_binary64_5132`
15×	`associate-+r+_binary64_5125`
14×	`unpow3_binary64_5259`
13×	`cube-mult_binary64_5223` `distribute-lft-out--_binary64_5145`
12×	`log-pow_binary64_5282`
10×	`+-rgt-identity_binary64_5178` `associate-/l*_binary64_5138` `associate--l-_binary64_5131`
9×	`difference-of-squares_binary64_5162`
8×	`times-frac_binary64_5199`
7×	`*-lft-identity_binary64_5182`
6×	`exp-to-pow_binary64_5255` `div-exp_binary64_5244` `associate-*r/_binary64_5135`
5×	`rem-sqrt-square_binary64_5206` `mul-1-neg_binary64_5185` `associate-/l/_binary64_5140` `associate-*l/_binary64_5136`
4×	`pow-plus_binary64_5256` `exp-lft-sqr_binary64_5248` `prod-exp_binary64_5242` `cube-unmult_binary64_5230` `*-rgt-identity_binary64_5183` `distribute-lft1-in_binary64_5148`
3×	`log-div_binary64_5280` `count-2_binary64_5141`
2×	`unpow1/3_binary64_5260` `rem-3cbrt-lft_binary64_5218` `rem-square-sqrt_binary64_5205` `cancel-sign-sub_binary64_5158` `distribute-neg-out_binary64_5155` `distribute-rgt1-in_binary64_5149` `associate-/r/_binary64_5139`
1×	`log-rec_binary64_5281` `1-exp_binary64_5237` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `sqr-neg_binary64_5207` `remove-double-neg_binary64_5181` `sub0-neg_binary64_5180`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `cos-PI/6_binary64_5301` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sin-PI/6_binary64_5294` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `log-E_binary64_5283` `pow-base-0_binary64_5277` `unpow2_binary64_5258` `unpow1/2_binary64_5257` `pow-base-1_binary64_5253` `unpow0_binary64_5252` `unpow1_binary64_5251` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `exp-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `rec-exp_binary64_5243` `exp-neg_binary64_5240` `e-exp-1_binary64_5238` `exp-1-e_binary64_5236` `exp-0_binary64_5235` `cube-div_binary64_5222` `cube-neg_binary64_5220` `rem-3cbrt-rft_binary64_5219` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `div-sub_binary64_5198` `/-rgt-identity_binary64_5184` `--rgt-identity_binary64_5179` `+-lft-identity_binary64_5177` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175` `div0_binary64_5174` `*-inverses_binary64_5173` `+-inverses_binary64_5172` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `remove-double-div_binary64_5169` `difference-of-sqr--1_binary64_5164` `difference-of-sqr-1_binary64_5163` `distribute-neg-frac_binary64_5157` `distribute-frac-neg_binary64_5156`

Counts

93 → 233

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	173	2649
1	504	2361
2	2202	1937

prune713.0ms (7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	232	1	233
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	234	5	239

Error

Counts

239 → 5

Compiler

Compiled 12229 to 6711 computations (45.1% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 1 (log.f64 y))
0.0b	(-.f64 x (*.f64 y (neg.f64 (-.f64 1 (log.f64 y)))))
0.3b	(*.f64 y (neg.f64 (-.f64 1 (log.f64 y))))

rewrite116.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`*-un-lft-identity_binary64_5193`
24×	`add-sqr-sqrt_binary64_5215`
21×	`cancel-sign-sub-inv_binary64_5159`
20×	`distribute-neg-in_binary64_5154`
18×	`associate-r_binary64_5133`
13×	`pow1_binary64_5254` `add-cube-cbrt_binary64_5228` `associate--r+_binary64_5129`
10×	`distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142`
8×	`log-pow_binary64_5282`
7×	`distribute-rgt-neg-in_binary64_5151` `distribute-lft-neg-in_binary64_5150`
6×	`add-log-exp_binary64_5232` `sub-neg_binary64_5186` `difference-of-squares_binary64_5162` `distribute-lft-out--_binary64_5145`
5×	`add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
3×	`flip3--_binary64_5197` `flip--_binary64_5168` `associate-l_binary64_5134` `log-prod_binary64_5279`
2×	`distribute-neg-frac_binary64_5157` `associate-*r/_binary64_5135` `diff-log_binary64_5285`
1×	`pow-prod-down_binary64_5264` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `unswap-sqr_binary64_5161` `distribute-rgt-neg-out_binary64_5153` `neg-mul-1_binary64_5189` `*-commutative_binary64_5124`

Counts

3 → 90

Calls

3 calls:

10.0ms	(*.f64 y (neg.f64 (-.f64 1 (log.f64 y))))
5.0ms	(-.f64 1 (log.f64 y))
5.0ms	(-.f64 x (*.f64 y (neg.f64 (-.f64 1 (log.f64 y)))))

Compiler

Compiled 1633 to 919 computations (43.7% saved)

series437.0ms (4.3%)

Error

Counts

3 → 17

Calls

3 calls:

227.0ms	(-.f64 x (*.f64 y (neg.f64 (-.f64 1 (log.f64 y)))))
127.0ms	(*.f64 y (neg.f64 (-.f64 1 (log.f64 y))))
73.0ms	(-.f64 1 (log.f64 y))

Compiler

Compiled 494 to 377 computations (23.7% saved)

simplify850.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

495×	`distribute-rgt-in_binary64_5143`
456×	`distribute-lft-in_binary64_5142`
290×	`neg-sub0_binary64_5188`
273×	`div-sub_binary64_5198`
271×	`neg-mul-1_binary64_5189`
231×	`distribute-rgt-neg-out_binary64_5153`
182×	`distribute-lft-neg-out_binary64_5152`
173×	`exp-sum_binary64_5239`
162×	`cancel-sign-sub-inv_binary64_5159`
157×	`*-commutative_binary64_5124`
153×	`exp-prod_binary64_5245`
122×	`distribute-rgt-neg-in_binary64_5151`
115×	`associate-l_binary64_5134`
105×	`associate-r_binary64_5133`
101×	`cube-prod_binary64_5221`
99×	`distribute-lft-neg-in_binary64_5150`
95×	`sub-neg_binary64_5186`
86×	`log-prod_binary64_5279`
64×	`exp-diff_binary64_5241`
62×	`unsub-neg_binary64_5187`
56×	`distribute-neg-in_binary64_5154`
53×	`associate-+l-_binary64_5128` `+-commutative_binary64_5123`
52×	`associate-*l/_binary64_5136`
48×	`associate--r+_binary64_5129`
46×	`associate-+r-_binary64_5127`
40×	`sqr-pow_binary64_5165`
39×	`times-frac_binary64_5199`
38×	`unswap-sqr_binary64_5161`
32×	`associate-+l+_binary64_5126`
31×	`log-pow_binary64_5282`
29×	`associate--r-_binary64_5132` `associate-+r+_binary64_5125`
28×	`log-div_binary64_5280` `distribute-rgt-out_binary64_5146`
25×	`distribute-neg-out_binary64_5155`
24×	`*-rgt-identity_binary64_5183`
22×	`-lft-identity_binary64_5182` `associate-r/_binary64_5135`
20×	`associate-/r*_binary64_5137`
19×	`cube-div_binary64_5222`
18×	`pow-plus_binary64_5256` `pow-sqr_binary64_5166`
16×	`difference-of-squares_binary64_5162` `distribute-lft-out_binary64_5144`
15×	`unpow3_binary64_5259` `swap-sqr_binary64_5160`
14×	`associate-/l*_binary64_5138` `associate--l-_binary64_5131`
12×	`remove-double-neg_binary64_5181`
11×	`exp-to-pow_binary64_5255` `cube-neg_binary64_5220` `associate--l+_binary64_5130`
10×	`div-exp_binary64_5244` `sqr-neg_binary64_5207` `rem-sqrt-square_binary64_5206`
7×	`cube-mult_binary64_5223` `distribute-rgt-out--_binary64_5147`
6×	`pow-base-1_binary64_5253` `prod-exp_binary64_5242` `exp-neg_binary64_5240` `cube-unmult_binary64_5230` `+-rgt-identity_binary64_5178` `distribute-lft-out--_binary64_5145`
5×	`log-rec_binary64_5281` `distribute-frac-neg_binary64_5156` `distribute-rgt1-in_binary64_5149`
4×	`mul-1-neg_binary64_5185`
3×	`/-rgt-identity_binary64_5184` `sub0-neg_binary64_5180` `cancel-sign-sub_binary64_5158`
2×	`--rgt-identity_binary64_5179` `difference-of-sqr--1_binary64_5164` `count-2_binary64_5141`
1×	`log-E_binary64_5283` `1-exp_binary64_5237` `exp-1-e_binary64_5236` `rem-log-exp_binary64_5234` `rem-exp-log_binary64_5233` `rem-3cbrt-lft_binary64_5218` `rem-square-sqrt_binary64_5205` `+-inverses_binary64_5172` `distribute-neg-frac_binary64_5157` `associate-/l/_binary64_5140` `associate-/r/_binary64_5139`
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_5456` `erf-erfc_binary64_5455` `erf-odd_binary64_5454` `if-if-and-not_binary64_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `not-gte_binary64_5445` `not-lte_binary64_5444` `not-gt_binary64_5443` `not-lt_binary64_5442` `gte-same_binary64_5441` `lte-same_binary64_5440` `gt-same_binary64_5439` `lt-same_binary64_5438` `sinh---cosh_binary64_5385` `sinh-+-cosh_binary64_5384` `sinh-cosh_binary64_5383` `tanh-def-c_binary64_5382` `tanh-def-b_binary64_5381` `tanh-def-a_binary64_5380` `cosh-def_binary64_5379` `sinh-def_binary64_5378` `tan-neg_binary64_5325` `cos-neg_binary64_5324` `sin-neg_binary64_5323` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `hang-m-tan_binary64_5319` `hang-p-tan_binary64_5318` `hang-m0-tan_binary64_5317` `hang-p0-tan_binary64_5316` `hang-0m-tan_binary64_5315` `hang-0p-tan_binary64_5314` `tan-+PI/2_binary64_5313` `tan-+PI_binary64_5312` `tan-PI_binary64_5311` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_5309` `tan-PI/6_binary64_5308` `cos-+PI/2_binary64_5307` `cos-+PI_binary64_5306` `cos-PI_binary64_5305` `cos-PI/2_binary64_5304` `cos-PI/3_binary64_5303` `cos-PI/4_binary64_5302` `cos-PI/6_binary64_5301` `sin-+PI/2_binary64_5300` `sin-+PI_binary64_5299` `sin-PI_binary64_5298` `sin-PI/2_binary64_5297` `sin-PI/3_binary64_5296` `sin-PI/4_binary64_5295` `sin-PI/6_binary64_5294` `sub-1-sin_binary64_5293` `sub-1-cos_binary64_5292` `-1-add-sin_binary64_5291` `-1-add-cos_binary64_5290` `1-sub-sin_binary64_5289` `1-sub-cos_binary64_5288` `cos-sin-sum_binary64_5287` `pow-base-0_binary64_5277` `unpow1/3_binary64_5260` `unpow2_binary64_5258` `unpow1/2_binary64_5257` `unpow0_binary64_5252` `unpow1_binary64_5251` `unpow-1_binary64_5250` `exp-lft-cube_binary64_5249` `exp-lft-sqr_binary64_5248` `exp-cbrt_binary64_5247` `exp-sqrt_binary64_5246` `rec-exp_binary64_5243` `e-exp-1_binary64_5238` `exp-0_binary64_5235` `rem-3cbrt-rft_binary64_5219` `rem-cbrt-cube_binary64_5217` `rem-cube-cbrt_binary64_5216` `sqr-abs_binary64_5208` `+-lft-identity_binary64_5177` `mul0-rgt_binary64_5176` `mul0-lft_binary64_5175` `div0_binary64_5174` `*-inverses_binary64_5173` `lft-mult-inverse_binary64_5171` `rgt-mult-inverse_binary64_5170` `remove-double-div_binary64_5169` `difference-of-sqr-1_binary64_5163` `distribute-lft1-in_binary64_5148`

Counts

107 → 189

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	153	1195
1	389	1083
2	1153	1075
3	3721	1073

prune176.0ms (1.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	189	5	194

Error

Counts

194 → 5

Compiler

Compiled 3391 to 1467 computations (56.7% saved)

regimes615.0ms (6%)

Accuracy

Total 0.1b remaining (99%)

Threshold costs 0.1b (99%)

Compiler

Compiled 6030 to 4651 computations (22.9% saved)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

39×	`unsub-neg_binary64_5187`
35×	`cancel-sign-sub-inv_binary64_5159` `distribute-rgt-neg-in_binary64_5151`
26×	`neg-mul-1_binary64_5189` `neg-sub0_binary64_5188`
25×	`distribute-lft-neg-in_binary64_5150`
21×	`distribute-rgt-neg-out_binary64_5153`
20×	`sub-neg_binary64_5186` `distribute-neg-in_binary64_5154`
14×	`+-commutative_binary64_5123`
12×	`distribute-lft-neg-out_binary64_5152`
11×	`remove-double-neg_binary64_5181` `distribute-neg-out_binary64_5155` `*-commutative_binary64_5124`
1×	`1-exp_binary64_5237` `sqr-neg_binary64_5207` `--rgt-identity_binary64_5179`
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_5453` `if-if-and_binary64_5452` `if-if-or-not_binary64_5451` `if-if-or_binary64_5450` `if-not_binary64_5449` `if-same_binary64_5448` `if-false_binary64_5447` `if-true_binary64_5446` `tan-0_binary64_5322` `cos-0_binary64_5321` `sin-0_binary64_5320` `unpow1_binary64_5251` `e-exp-1_binary64_5238` `exp-1-e_binary64_5236` `exp-0_binary64_5235` `sqr-abs_binary64_5208` `mul-1-neg_binary64_5185` `/-rgt-identity_binary64_5184` `-rgt-identity_binary64_5183` `-lft-identity_binary64_5182` `sub0-neg_binary64_5180` `+-rgt-identity_binary64_5178` `+-lft-identity_binary64_5177` `cancel-sign-sub_binary64_5158` `distribute-neg-frac_binary64_5157` `distribute-frac-neg_binary64_5156`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	31
1	31	29
2	59	29
3	107	29
4	151	29
5	176	29
6	212	29
7	213	29
8	214	29

Proof

(- f64 (=> (- f64 h0 (neg f64 (+ f64 (* f64 h1 (log f64 (/ f64 1 h1))) (+ f64 h1 (* f64 1/2 (log f64 (/ f64 1 h1)))))))) h2)
sub-neg_binary64_5186 =>
(- f64 (+ f64 h0 (=> (neg f64 (neg f64 (+ f64 (* f64 h1 (log f64 (/ f64 1 h1))) (+ f64 h1 (* f64 1/2 (log f64 (/ f64 1 h1))))))))) h2)
remove-double-neg_binary64_5181 =>
(- f64 (+ f64 h0 (+ f64 (* f64 h1 (log f64 (/ f64 1 h1))) (+ f64 h1 (=> (* f64 1/2 (log f64 (/ f64 1 h1))))))) h2)
*-commutative_binary64_5124 =>
(- f64 (+ f64 h0 (+ f64 (* f64 h1 (log f64 (/ f64 1 h1))) (+ f64 h1 (* f64 (log f64 (/ f64 1 h1)) 1/2)))) h2)

end0.0ms (0%)

sample1.7s (17.1%)

Algorithm

1×

intervals

Results

366.0ms	7999×	body	128	valid
1.0ms	34×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 1240 to 959 computations (22.7% saved)

Details

analyze231.0ms (2.3%)

sample22.0ms (0.2%)

simplify492.0ms (4.8%)

prune6.0ms (0.1%)

localize9.0ms (0.1%)

rewrite128.0ms (1.2%)

series686.0ms (6.7%)

simplify695.0ms (6.8%)

prune252.0ms (2.5%)

localize9.0ms (0.1%)

rewrite70.0ms (0.7%)

series499.0ms (4.9%)

simplify187.0ms (1.8%)

prune120.0ms (1.2%)

localize15.0ms (0.2%)

rewrite155.0ms (1.5%)

series1.4s (14%)

simplify537.0ms (5.3%)

prune713.0ms (7%)

localize9.0ms (0.1%)

rewrite116.0ms (1.1%)

series437.0ms (4.3%)

simplify850.0ms (8.3%)

prune176.0ms (1.7%)

regimes615.0ms (6%)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

end0.0ms (0%)

sample1.7s (17.1%)

Profiling