Details

analyze1.5s (3.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

915×	`neg-mul-1_binary64_17124`
771×	`neg-sub0_binary64_17123`
526×	`div-sub_binary64_17133`
440×	`associate--r+_binary64_17064`
408×	`distribute-frac-neg_binary64_17091`
358×	`distribute-rgt-in_binary64_17078`
331×	`unsub-neg_binary64_17122`
323×	`distribute-neg-out_binary64_17090`
300×	`sub-neg_binary64_17121`
264×	`remove-double-neg_binary64_17116`
260×	`associate-+l-_binary64_17063`
235×	`distribute-lft-in_binary64_17077`
225×	`+-commutative_binary64_17058`
183×	`associate-+r+_binary64_17060`
158×	`sub0-neg_binary64_17115` `associate-+l+_binary64_17061`
114×	`distribute-rgt-neg-out_binary64_17088`
97×	`associate--l+_binary64_17065`
88×	`*-commutative_binary64_17059`
81×	`distribute-lft-neg-out_binary64_17087`
77×	`associate-+r-_binary64_17062`
60×	`cancel-sign-sub-inv_binary64_17094`
48×	`associate--r-_binary64_17067`
47×	`div0_binary64_17109`
46×	`mul0-rgt_binary64_17111`
45×	`distribute-neg-frac_binary64_17092`
43×	`associate-r_binary64_17068`
39×	`distribute-rgt-neg-in_binary64_17086`
38×	`distribute-neg-in_binary64_17089`
36×	`mul0-lft_binary64_17110` `distribute-lft-neg-in_binary64_17085`
30×	`+-rgt-identity_binary64_17113` `associate-/l*_binary64_17073`
29×	`associate-l_binary64_17069`
28×	`--rgt-identity_binary64_17114`
18×	`associate--l-_binary64_17066`
16×	`distribute-rgt-out--_binary64_17082`
10×	`distribute-lft1-in_binary64_17083`
8×	`*-lft-identity_binary64_17117`
4×	`+-lft-identity_binary64_17112`
1×	`1-exp_binary64_17172`
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_17391` `erf-erfc_binary64_17390` `erf-odd_binary64_17389` `if-if-and-not_binary64_17388` `if-if-and_binary64_17387` `if-if-or-not_binary64_17386` `if-if-or_binary64_17385` `if-not_binary64_17384` `if-same_binary64_17383` `if-false_binary64_17382` `if-true_binary64_17381` `not-gte_binary64_17380` `not-lte_binary64_17379` `not-gt_binary64_17378` `not-lt_binary64_17377` `gte-same_binary64_17376` `lte-same_binary64_17375` `gt-same_binary64_17374` `lt-same_binary64_17373` `sinh---cosh_binary64_17320` `sinh-+-cosh_binary64_17319` `sinh-cosh_binary64_17318` `tanh-def-c_binary64_17317` `tanh-def-b_binary64_17316` `tanh-def-a_binary64_17315` `cosh-def_binary64_17314` `sinh-def_binary64_17313` `tan-neg_binary64_17260` `cos-neg_binary64_17259` `sin-neg_binary64_17258` `tan-0_binary64_17257` `cos-0_binary64_17256` `sin-0_binary64_17255` `hang-m-tan_binary64_17254` `hang-p-tan_binary64_17253` `hang-m0-tan_binary64_17252` `hang-p0-tan_binary64_17251` `hang-0m-tan_binary64_17250` `hang-0p-tan_binary64_17249` `tan-+PI/2_binary64_17248` `tan-+PI_binary64_17247` `tan-PI_binary64_17246` `tan-PI/3_binary64_17245` `tan-PI/4_binary64_17244` `tan-PI/6_binary64_17243` `cos-+PI/2_binary64_17242` `cos-+PI_binary64_17241` `cos-PI_binary64_17240` `cos-PI/2_binary64_17239` `cos-PI/3_binary64_17238` `cos-PI/4_binary64_17237` `cos-PI/6_binary64_17236` `sin-+PI/2_binary64_17235` `sin-+PI_binary64_17234` `sin-PI_binary64_17233` `sin-PI/2_binary64_17232` `sin-PI/3_binary64_17231` `sin-PI/4_binary64_17230` `sin-PI/6_binary64_17229` `sub-1-sin_binary64_17228` `sub-1-cos_binary64_17227` `-1-add-sin_binary64_17226` `-1-add-cos_binary64_17225` `1-sub-sin_binary64_17224` `1-sub-cos_binary64_17223` `cos-sin-sum_binary64_17222` `log-E_binary64_17218` `log-pow_binary64_17217` `log-rec_binary64_17216` `log-div_binary64_17215` `log-prod_binary64_17214` `pow-base-0_binary64_17212` `unpow1/3_binary64_17195` `unpow3_binary64_17194` `unpow2_binary64_17193` `unpow1/2_binary64_17192` `pow-plus_binary64_17191` `exp-to-pow_binary64_17190` `pow-base-1_binary64_17188` `unpow0_binary64_17187` `unpow1_binary64_17186` `unpow-1_binary64_17185` `exp-lft-cube_binary64_17184` `exp-lft-sqr_binary64_17183` `exp-cbrt_binary64_17182` `exp-sqrt_binary64_17181` `exp-prod_binary64_17180` `div-exp_binary64_17179` `rec-exp_binary64_17178` `prod-exp_binary64_17177` `exp-diff_binary64_17176` `exp-neg_binary64_17175` `exp-sum_binary64_17174` `e-exp-1_binary64_17173` `exp-1-e_binary64_17171` `exp-0_binary64_17170` `rem-log-exp_binary64_17169` `rem-exp-log_binary64_17168` `cube-unmult_binary64_17165` `cube-mult_binary64_17158` `cube-div_binary64_17157` `cube-prod_binary64_17156` `cube-neg_binary64_17155` `rem-3cbrt-rft_binary64_17154` `rem-3cbrt-lft_binary64_17153` `rem-cbrt-cube_binary64_17152` `rem-cube-cbrt_binary64_17151` `sqr-abs_binary64_17143` `sqr-neg_binary64_17142` `rem-sqrt-square_binary64_17141` `rem-square-sqrt_binary64_17140` `times-frac_binary64_17134` `mul-1-neg_binary64_17120` `/-rgt-identity_binary64_17119` `-rgt-identity_binary64_17118` `-inverses_binary64_17108` `+-inverses_binary64_17107` `lft-mult-inverse_binary64_17106` `rgt-mult-inverse_binary64_17105` `remove-double-div_binary64_17104` `pow-sqr_binary64_17101` `sqr-pow_binary64_17100` `difference-of-sqr--1_binary64_17099` `difference-of-sqr-1_binary64_17098` `difference-of-squares_binary64_17097` `unswap-sqr_binary64_17096` `swap-sqr_binary64_17095` `cancel-sign-sub_binary64_17093` `distribute-rgt1-in_binary64_17084` `distribute-rgt-out_binary64_17081` `distribute-lft-out--_binary64_17080` `distribute-lft-out_binary64_17079` `count-2_binary64_17076` `associate-/l/_binary64_17075` `associate-/r/_binary64_17074` `associate-/r_binary64_17072` `associate-l/_binary64_17071` `associate-*r/_binary64_17070`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	104	400
1	187	400
2	309	400
3	528	400
4	826	400
5	1830	400
6	3132	400
7	4225	400
8	4544	400
9	4900	400
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0.6%	99.1%	0.3%	11
1.8%	98%	0.3%	12
2.6%	97.1%	0.3%	13
4%	95.7%	0.3%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample28.0ms (0.1%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
1.0ms	12×	body	128	invalid

Compiler

Compiled 35 to 35 computations (0% saved)

simplify94.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

920×	`times-frac_binary64_17134`
546×	`neg-mul-1_binary64_17124`
543×	`div-sub_binary64_17133`
509×	`neg-sub0_binary64_17123`
505×	`sub-neg_binary64_17121`
447×	`associate-/l*_binary64_17073`
419×	`distribute-frac-neg_binary64_17091`
284×	`distribute-rgt-neg-in_binary64_17086`
233×	`associate-/r*_binary64_17072`
227×	`unsub-neg_binary64_17122`
223×	`distribute-lft-neg-in_binary64_17085`
211×	`distribute-neg-frac_binary64_17092`
167×	`cancel-sign-sub-inv_binary64_17094`
132×	`distribute-rgt-in_binary64_17078`
131×	`distribute-rgt-neg-out_binary64_17088`
124×	`distribute-lft-neg-out_binary64_17087`
92×	`distribute-neg-out_binary64_17090`
83×	`distribute-lft-in_binary64_17077`
74×	`associate--r+_binary64_17064`
71×	`remove-double-neg_binary64_17116`
67×	`associate-r_binary64_17068`
54×	`associate--l-_binary64_17066`
51×	`distribute-neg-in_binary64_17089` `*-commutative_binary64_17059`
49×	`associate-l_binary64_17069`
48×	`associate-/r/_binary64_17074`
47×	`associate--r-_binary64_17067`
44×	`associate-+l-_binary64_17063`
42×	`/-rgt-identity_binary64_17119`
37×	`+-commutative_binary64_17058`
32×	`associate--l+_binary64_17065`
31×	`*-lft-identity_binary64_17117` `sub0-neg_binary64_17115`
30×	`associate-+r-_binary64_17062` `associate-+l+_binary64_17061` `associate-+r+_binary64_17060`
29×	`div0_binary64_17109`
23×	`*-rgt-identity_binary64_17118`
22×	`mul0-rgt_binary64_17111` `associate-*l/_binary64_17071`
21×	`mul0-lft_binary64_17110`
16×	`associate-*r/_binary64_17070`
14×	`+-lft-identity_binary64_17112` `associate-/l/_binary64_17075`
13×	`remove-double-div_binary64_17104`
12×	`mul-1-neg_binary64_17120`
11×	`distribute-rgt-out--_binary64_17082`
6×	`--rgt-identity_binary64_17114` `+-rgt-identity_binary64_17113`
4×	`distribute-lft-out--_binary64_17080`
2×	`*-inverses_binary64_17108` `distribute-rgt-out_binary64_17081` `distribute-lft-out_binary64_17079`
1×	`1-exp_binary64_17172` `distribute-rgt1-in_binary64_17084` `distribute-lft1-in_binary64_17083`
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_17391` `erf-erfc_binary64_17390` `erf-odd_binary64_17389` `if-if-and-not_binary64_17388` `if-if-and_binary64_17387` `if-if-or-not_binary64_17386` `if-if-or_binary64_17385` `if-not_binary64_17384` `if-same_binary64_17383` `if-false_binary64_17382` `if-true_binary64_17381` `not-gte_binary64_17380` `not-lte_binary64_17379` `not-gt_binary64_17378` `not-lt_binary64_17377` `gte-same_binary64_17376` `lte-same_binary64_17375` `gt-same_binary64_17374` `lt-same_binary64_17373` `sinh---cosh_binary64_17320` `sinh-+-cosh_binary64_17319` `sinh-cosh_binary64_17318` `tanh-def-c_binary64_17317` `tanh-def-b_binary64_17316` `tanh-def-a_binary64_17315` `cosh-def_binary64_17314` `sinh-def_binary64_17313` `tan-neg_binary64_17260` `cos-neg_binary64_17259` `sin-neg_binary64_17258` `tan-0_binary64_17257` `cos-0_binary64_17256` `sin-0_binary64_17255` `hang-m-tan_binary64_17254` `hang-p-tan_binary64_17253` `hang-m0-tan_binary64_17252` `hang-p0-tan_binary64_17251` `hang-0m-tan_binary64_17250` `hang-0p-tan_binary64_17249` `tan-+PI/2_binary64_17248` `tan-+PI_binary64_17247` `tan-PI_binary64_17246` `tan-PI/3_binary64_17245` `tan-PI/4_binary64_17244` `tan-PI/6_binary64_17243` `cos-+PI/2_binary64_17242` `cos-+PI_binary64_17241` `cos-PI_binary64_17240` `cos-PI/2_binary64_17239` `cos-PI/3_binary64_17238` `cos-PI/4_binary64_17237` `cos-PI/6_binary64_17236` `sin-+PI/2_binary64_17235` `sin-+PI_binary64_17234` `sin-PI_binary64_17233` `sin-PI/2_binary64_17232` `sin-PI/3_binary64_17231` `sin-PI/4_binary64_17230` `sin-PI/6_binary64_17229` `sub-1-sin_binary64_17228` `sub-1-cos_binary64_17227` `-1-add-sin_binary64_17226` `-1-add-cos_binary64_17225` `1-sub-sin_binary64_17224` `1-sub-cos_binary64_17223` `cos-sin-sum_binary64_17222` `log-E_binary64_17218` `log-pow_binary64_17217` `log-rec_binary64_17216` `log-div_binary64_17215` `log-prod_binary64_17214` `pow-base-0_binary64_17212` `unpow1/3_binary64_17195` `unpow3_binary64_17194` `unpow2_binary64_17193` `unpow1/2_binary64_17192` `pow-plus_binary64_17191` `exp-to-pow_binary64_17190` `pow-base-1_binary64_17188` `unpow0_binary64_17187` `unpow1_binary64_17186` `unpow-1_binary64_17185` `exp-lft-cube_binary64_17184` `exp-lft-sqr_binary64_17183` `exp-cbrt_binary64_17182` `exp-sqrt_binary64_17181` `exp-prod_binary64_17180` `div-exp_binary64_17179` `rec-exp_binary64_17178` `prod-exp_binary64_17177` `exp-diff_binary64_17176` `exp-neg_binary64_17175` `exp-sum_binary64_17174` `e-exp-1_binary64_17173` `exp-1-e_binary64_17171` `exp-0_binary64_17170` `rem-log-exp_binary64_17169` `rem-exp-log_binary64_17168` `cube-unmult_binary64_17165` `cube-mult_binary64_17158` `cube-div_binary64_17157` `cube-prod_binary64_17156` `cube-neg_binary64_17155` `rem-3cbrt-rft_binary64_17154` `rem-3cbrt-lft_binary64_17153` `rem-cbrt-cube_binary64_17152` `rem-cube-cbrt_binary64_17151` `sqr-abs_binary64_17143` `sqr-neg_binary64_17142` `rem-sqrt-square_binary64_17141` `rem-square-sqrt_binary64_17140` `+-inverses_binary64_17107` `lft-mult-inverse_binary64_17106` `rgt-mult-inverse_binary64_17105` `pow-sqr_binary64_17101` `sqr-pow_binary64_17100` `difference-of-sqr--1_binary64_17099` `difference-of-sqr-1_binary64_17098` `difference-of-squares_binary64_17097` `unswap-sqr_binary64_17096` `swap-sqr_binary64_17095` `cancel-sign-sub_binary64_17093` `count-2_binary64_17076`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	24	25
2	44	25
3	81	25
4	121	25
5	197	25
6	313	25
7	562	25
8	1021	25
9	3344	25
10	4156	25
11	4764	25
12	4854	25

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

20.1b

Counts

1 → 1

Compiler

Compiled 17 to 14 computations (17.6% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 z (-.f64 b y))
0.0b	(*.f64 z (-.f64 t a))
0.7b	(+.f64 (.f64 x y) (.f64 z (-.f64 t a)))
19.5b	(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))

rewrite190.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

20.0b

Rules

30×	`add-sqr-sqrt_binary64_17150`
26×	`*-un-lft-identity_binary64_17128`
22×	`add-cube-cbrt_binary64_17163`
18×	`cancel-sign-sub-inv_binary64_17094`
12×	`distribute-rgt-in_binary64_17078` `distribute-lft-in_binary64_17077`
10×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164` `associate-r_binary64_17068`
9×	`times-frac_binary64_17134`
8×	`pow1_binary64_17189` `associate-+r+_binary64_17060`
6×	`add-log-exp_binary64_17167` `sub-neg_binary64_17121` `associate-l_binary64_17069`
4×	`associate-*r/_binary64_17070`
3×	`flip3-+_binary64_17131` `flip-+_binary64_17102` `associate-/l_binary64_17073` `associate-/r_binary64_17072`
2×	`associate-/l/_binary64_17075` `associate-/r/_binary64_17074` `pow-prod-down_binary64_17199` `prod-exp_binary64_17177` `cbrt-unprod_binary64_17161` `unswap-sqr_binary64_17096` `flip3--_binary64_17132` `flip--_binary64_17103` `difference-of-squares_binary64_17097` `distribute-lft-out--_binary64_17080` `*-commutative_binary64_17059`
1×	`div-exp_binary64_17179` `cbrt-undiv_binary64_17162` `frac-2neg_binary64_17139` `clear-num_binary64_17127` `div-inv_binary64_17125` `sum-log_binary64_17219` `+-commutative_binary64_17058`

Counts

4 → 110

Calls

4 calls:

12.0ms	(*.f64 z (-.f64 b y))
9.0ms	(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
8.0ms	(*.f64 z (-.f64 t a))
6.0ms	(+.f64 (.f64 x y) (.f64 z (-.f64 t a)))

Compiler

Compiled 2937 to 511 computations (82.6% saved)

series2.6s (6.2%)

Error

0.8b

Counts

4 → 108

Calls

4 calls:

1.7s	(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
384.0ms	(+.f64 (.f64 x y) (.f64 z (-.f64 t a)))
155.0ms	(*.f64 z (-.f64 t a))
144.0ms	(*.f64 z (-.f64 b y))

Compiler

Compiled 9905 to 5590 computations (43.6% saved)

simplify128.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

667×	`times-frac_binary64_17134`
457×	`associate-/r*_binary64_17072`
420×	`associate-/l*_binary64_17073`
158×	`+-commutative_binary64_17058`
127×	`*-commutative_binary64_17059`
118×	`sub-neg_binary64_17121` `distribute-rgt-in_binary64_17078`
116×	`associate-+r+_binary64_17060`
109×	`distribute-lft-in_binary64_17077`
88×	`associate-/r/_binary64_17074`
67×	`distribute-neg-in_binary64_17089`
59×	`cancel-sign-sub-inv_binary64_17094`
49×	`neg-sub0_binary64_17123`
48×	`neg-mul-1_binary64_17124` `sqr-pow_binary64_17100`
37×	`distribute-rgt-neg-in_binary64_17086`
32×	`associate-r_binary64_17068`
31×	`unswap-sqr_binary64_17096`
26×	`distribute-lft-neg-in_binary64_17085`
25×	`associate-/l/_binary64_17075`
24×	`div-sub_binary64_17133`
22×	`associate--l+_binary64_17065`
20×	`associate--r+_binary64_17064`
18×	`associate-l_binary64_17069`
17×	`distribute-lft-neg-out_binary64_17087`
16×	`associate-*r/_binary64_17070`
14×	`unpow3_binary64_17194`
13×	`cube-mult_binary64_17158`
12×	`distribute-rgt-neg-out_binary64_17088`
8×	`unpow2_binary64_17193` `unpow1_binary64_17186` `exp-prod_binary64_17180`
7×	`cube-prod_binary64_17156` `mul-1-neg_binary64_17120` `swap-sqr_binary64_17095`
6×	`difference-of-squares_binary64_17097`
5×	`distribute-rgt-out_binary64_17081`
4×	`log-prod_binary64_17214` `exp-sum_binary64_17174`
3×	`exp-diff_binary64_17176` `cube-unmult_binary64_17165` `/-rgt-identity_binary64_17119` `distribute-rgt-out--_binary64_17082`
2×	`log-div_binary64_17215` `rem-3cbrt-lft_binary64_17153` `rem-square-sqrt_binary64_17140` `unsub-neg_binary64_17122` `distribute-neg-frac_binary64_17092`
1×	`prod-exp_binary64_17177` `1-exp_binary64_17172` `-rgt-identity_binary64_17118` `distribute-rgt1-in_binary64_17084` `distribute-lft1-in_binary64_17083` `distribute-lft-out--_binary64_17080` `associate-l/_binary64_17071` `associate-+r-_binary64_17062`
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_17391` `erf-erfc_binary64_17390` `erf-odd_binary64_17389` `if-if-and-not_binary64_17388` `if-if-and_binary64_17387` `if-if-or-not_binary64_17386` `if-if-or_binary64_17385` `if-not_binary64_17384` `if-same_binary64_17383` `if-false_binary64_17382` `if-true_binary64_17381` `not-gte_binary64_17380` `not-lte_binary64_17379` `not-gt_binary64_17378` `not-lt_binary64_17377` `gte-same_binary64_17376` `lte-same_binary64_17375` `gt-same_binary64_17374` `lt-same_binary64_17373` `sinh---cosh_binary64_17320` `sinh-+-cosh_binary64_17319` `sinh-cosh_binary64_17318` `tanh-def-c_binary64_17317` `tanh-def-b_binary64_17316` `tanh-def-a_binary64_17315` `cosh-def_binary64_17314` `sinh-def_binary64_17313` `tan-neg_binary64_17260` `cos-neg_binary64_17259` `sin-neg_binary64_17258` `tan-0_binary64_17257` `cos-0_binary64_17256` `sin-0_binary64_17255` `hang-m-tan_binary64_17254` `hang-p-tan_binary64_17253` `hang-m0-tan_binary64_17252` `hang-p0-tan_binary64_17251` `hang-0m-tan_binary64_17250` `hang-0p-tan_binary64_17249` `tan-+PI/2_binary64_17248` `tan-+PI_binary64_17247` `tan-PI_binary64_17246` `tan-PI/3_binary64_17245` `tan-PI/4_binary64_17244` `tan-PI/6_binary64_17243` `cos-+PI/2_binary64_17242` `cos-+PI_binary64_17241` `cos-PI_binary64_17240` `cos-PI/2_binary64_17239` `cos-PI/3_binary64_17238` `cos-PI/4_binary64_17237` `cos-PI/6_binary64_17236` `sin-+PI/2_binary64_17235` `sin-+PI_binary64_17234` `sin-PI_binary64_17233` `sin-PI/2_binary64_17232` `sin-PI/3_binary64_17231` `sin-PI/4_binary64_17230` `sin-PI/6_binary64_17229` `sub-1-sin_binary64_17228` `sub-1-cos_binary64_17227` `-1-add-sin_binary64_17226` `-1-add-cos_binary64_17225` `1-sub-sin_binary64_17224` `1-sub-cos_binary64_17223` `cos-sin-sum_binary64_17222` `log-E_binary64_17218` `log-pow_binary64_17217` `log-rec_binary64_17216` `pow-base-0_binary64_17212` `unpow1/3_binary64_17195` `unpow1/2_binary64_17192` `pow-plus_binary64_17191` `exp-to-pow_binary64_17190` `pow-base-1_binary64_17188` `unpow0_binary64_17187` `unpow-1_binary64_17185` `exp-lft-cube_binary64_17184` `exp-lft-sqr_binary64_17183` `exp-cbrt_binary64_17182` `exp-sqrt_binary64_17181` `div-exp_binary64_17179` `rec-exp_binary64_17178` `exp-neg_binary64_17175` `e-exp-1_binary64_17173` `exp-1-e_binary64_17171` `exp-0_binary64_17170` `rem-log-exp_binary64_17169` `rem-exp-log_binary64_17168` `cube-div_binary64_17157` `cube-neg_binary64_17155` `rem-3cbrt-rft_binary64_17154` `rem-cbrt-cube_binary64_17152` `rem-cube-cbrt_binary64_17151` `sqr-abs_binary64_17143` `sqr-neg_binary64_17142` `rem-sqrt-square_binary64_17141` `-lft-identity_binary64_17117` `remove-double-neg_binary64_17116` `sub0-neg_binary64_17115` `--rgt-identity_binary64_17114` `+-rgt-identity_binary64_17113` `+-lft-identity_binary64_17112` `mul0-rgt_binary64_17111` `mul0-lft_binary64_17110` `div0_binary64_17109` `-inverses_binary64_17108` `+-inverses_binary64_17107` `lft-mult-inverse_binary64_17106` `rgt-mult-inverse_binary64_17105` `remove-double-div_binary64_17104` `pow-sqr_binary64_17101` `difference-of-sqr--1_binary64_17099` `difference-of-sqr-1_binary64_17098` `cancel-sign-sub_binary64_17093` `distribute-frac-neg_binary64_17091` `distribute-neg-out_binary64_17090` `distribute-lft-out_binary64_17079` `count-2_binary64_17076` `associate--r-_binary64_17067` `associate--l-_binary64_17066` `associate-+l-_binary64_17063` `associate-+l+_binary64_17061`

Counts

218 → 166

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	564	6711
1	1819	6549
2	5100	6549

prune229.0ms (0.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	154	12	166
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	155	12	167

Error

3.1b

Counts

167 → 12

Compiler

Compiled 5711 to 1301 computations (77.2% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

1.7b	(cbrt.f64 (/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y)))))
19.5b	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y))))
19.5b	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y))))
19.5b	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y))))

rewrite271.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

3.1b

Rules

36×	`times-frac_binary64_17134`
35×	`add-cube-cbrt_binary64_17163` `add-sqr-sqrt_binary64_17150` `*-un-lft-identity_binary64_17128`
15×	`cbrt-prod_binary64_17159`
10×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164`
9×	`associate-/l_binary64_17073` `associate-/r_binary64_17072`
8×	`associate-/r/_binary64_17074`
7×	`flip3-+_binary64_17131` `flip-+_binary64_17102`
6×	`associate-/l/_binary64_17075`
4×	`pow1_binary64_17189` `add-log-exp_binary64_17167` `div-inv_binary64_17125`
3×	`div-exp_binary64_17179` `cbrt-undiv_binary64_17162` `frac-2neg_binary64_17139` `clear-num_binary64_17127`
1×	`pow1/3_binary64_17210` `cbrt-div_binary64_17160`

Counts

4 → 117

Calls

4 calls:

12.0ms	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y))))
12.0ms	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y))))
12.0ms	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y))))
9.0ms	(cbrt.f64 (/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y)))))

Compiler

Compiled 8549 to 525 computations (93.9% saved)

series23.5s (56.1%)

Error

3.1b

Counts

4 → 179

Calls

4 calls:

17.4s	(cbrt.f64 (/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y)))))
1.8s	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y))))
1.8s	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y))))
1.8s	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y))))

Compiler

Compiled 65370 to 29530 computations (54.8% saved)

simplify445.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

392×	`*-commutative_binary64_17059`
251×	`+-commutative_binary64_17058`
185×	`sub-neg_binary64_17121`
182×	`associate-+r+_binary64_17060`
169×	`associate-r_binary64_17068`
164×	`associate-/l*_binary64_17073`
130×	`associate-/r*_binary64_17072`
116×	`times-frac_binary64_17134`
111×	`sqr-pow_binary64_17100`
109×	`cancel-sign-sub-inv_binary64_17094`
105×	`distribute-neg-in_binary64_17089`
96×	`associate-*r/_binary64_17070`
66×	`neg-sub0_binary64_17123`
61×	`neg-mul-1_binary64_17124`
59×	`distribute-rgt-out_binary64_17081`
49×	`unswap-sqr_binary64_17096`
36×	`associate--l+_binary64_17065`
34×	`associate--r+_binary64_17064`
30×	`unpow1/3_binary64_17195`
27×	`exp-prod_binary64_17180` `distribute-rgt-neg-in_binary64_17086`
22×	`div-sub_binary64_17133`
20×	`distribute-lft-neg-in_binary64_17085`
19×	`log-prod_binary64_17214`
17×	`log-div_binary64_17215` `distribute-lft-out_binary64_17079`
16×	`unpow2_binary64_17193` `unpow1/2_binary64_17192` `unpow1_binary64_17186`
15×	`associate-*l/_binary64_17071`
14×	`associate-l_binary64_17069`
8×	`log-pow_binary64_17217` `unpow3_binary64_17194` `cube-mult_binary64_17158` `distribute-lft-neg-out_binary64_17087`
7×	`swap-sqr_binary64_17095` `distribute-rgt-in_binary64_17078` `distribute-lft-in_binary64_17077`
6×	`mul-1-neg_binary64_17120` `distribute-rgt-out--_binary64_17082`
5×	`distribute-neg-frac_binary64_17092`
4×	`log-rec_binary64_17216` `exp-to-pow_binary64_17190` `exp-sum_binary64_17174` `cube-unmult_binary64_17165`
3×	`unsub-neg_binary64_17122` `/-rgt-identity_binary64_17119` `remove-double-neg_binary64_17116`
2×	`associate-+r-_binary64_17062`
1×	`1-exp_binary64_17172` `cube-prod_binary64_17156` `rem-3cbrt-lft_binary64_17153` `difference-of-squares_binary64_17097` `distribute-rgt-neg-out_binary64_17088` `distribute-rgt1-in_binary64_17084` `distribute-lft1-in_binary64_17083`
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_17391` `erf-erfc_binary64_17390` `erf-odd_binary64_17389` `if-if-and-not_binary64_17388` `if-if-and_binary64_17387` `if-if-or-not_binary64_17386` `if-if-or_binary64_17385` `if-not_binary64_17384` `if-same_binary64_17383` `if-false_binary64_17382` `if-true_binary64_17381` `not-gte_binary64_17380` `not-lte_binary64_17379` `not-gt_binary64_17378` `not-lt_binary64_17377` `gte-same_binary64_17376` `lte-same_binary64_17375` `gt-same_binary64_17374` `lt-same_binary64_17373` `sinh---cosh_binary64_17320` `sinh-+-cosh_binary64_17319` `sinh-cosh_binary64_17318` `tanh-def-c_binary64_17317` `tanh-def-b_binary64_17316` `tanh-def-a_binary64_17315` `cosh-def_binary64_17314` `sinh-def_binary64_17313` `tan-neg_binary64_17260` `cos-neg_binary64_17259` `sin-neg_binary64_17258` `tan-0_binary64_17257` `cos-0_binary64_17256` `sin-0_binary64_17255` `hang-m-tan_binary64_17254` `hang-p-tan_binary64_17253` `hang-m0-tan_binary64_17252` `hang-p0-tan_binary64_17251` `hang-0m-tan_binary64_17250` `hang-0p-tan_binary64_17249` `tan-+PI/2_binary64_17248` `tan-+PI_binary64_17247` `tan-PI_binary64_17246` `tan-PI/3_binary64_17245` `tan-PI/4_binary64_17244` `tan-PI/6_binary64_17243` `cos-+PI/2_binary64_17242` `cos-+PI_binary64_17241` `cos-PI_binary64_17240` `cos-PI/2_binary64_17239` `cos-PI/3_binary64_17238` `cos-PI/4_binary64_17237` `cos-PI/6_binary64_17236` `sin-+PI/2_binary64_17235` `sin-+PI_binary64_17234` `sin-PI_binary64_17233` `sin-PI/2_binary64_17232` `sin-PI/3_binary64_17231` `sin-PI/4_binary64_17230` `sin-PI/6_binary64_17229` `sub-1-sin_binary64_17228` `sub-1-cos_binary64_17227` `-1-add-sin_binary64_17226` `-1-add-cos_binary64_17225` `1-sub-sin_binary64_17224` `1-sub-cos_binary64_17223` `cos-sin-sum_binary64_17222` `log-E_binary64_17218` `pow-base-0_binary64_17212` `pow-plus_binary64_17191` `pow-base-1_binary64_17188` `unpow0_binary64_17187` `unpow-1_binary64_17185` `exp-lft-cube_binary64_17184` `exp-lft-sqr_binary64_17183` `exp-cbrt_binary64_17182` `exp-sqrt_binary64_17181` `div-exp_binary64_17179` `rec-exp_binary64_17178` `prod-exp_binary64_17177` `exp-diff_binary64_17176` `exp-neg_binary64_17175` `e-exp-1_binary64_17173` `exp-1-e_binary64_17171` `exp-0_binary64_17170` `rem-log-exp_binary64_17169` `rem-exp-log_binary64_17168` `cube-div_binary64_17157` `cube-neg_binary64_17155` `rem-3cbrt-rft_binary64_17154` `rem-cbrt-cube_binary64_17152` `rem-cube-cbrt_binary64_17151` `sqr-abs_binary64_17143` `sqr-neg_binary64_17142` `rem-sqrt-square_binary64_17141` `rem-square-sqrt_binary64_17140` `-rgt-identity_binary64_17118` `-lft-identity_binary64_17117` `sub0-neg_binary64_17115` `--rgt-identity_binary64_17114` `+-rgt-identity_binary64_17113` `+-lft-identity_binary64_17112` `mul0-rgt_binary64_17111` `mul0-lft_binary64_17110` `div0_binary64_17109` `*-inverses_binary64_17108` `+-inverses_binary64_17107` `lft-mult-inverse_binary64_17106` `rgt-mult-inverse_binary64_17105` `remove-double-div_binary64_17104` `pow-sqr_binary64_17101` `difference-of-sqr--1_binary64_17099` `difference-of-sqr-1_binary64_17098` `cancel-sign-sub_binary64_17093` `distribute-frac-neg_binary64_17091` `distribute-neg-out_binary64_17090` `distribute-lft-out--_binary64_17080` `count-2_binary64_17076` `associate-/l/_binary64_17075` `associate-/r/_binary64_17074` `associate--r-_binary64_17067` `associate--l-_binary64_17066` `associate-+l-_binary64_17063` `associate-+l+_binary64_17061`

Counts

296 → 272

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	1086	24064
1	3833	22776
2	4933	22671
3	4973	22671

prune755.0ms (1.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	272	0	272
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	272	12	284

Error

3.1b

Counts

284 → 12

Compiler

Compiled 26220 to 4231 computations (83.9% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.6b	(*.f64 z (pow.f64 (-.f64 b y) 2))
10.7b	(/.f64 (.f64 y x) (.f64 z (-.f64 b y)))
14.4b	(/.f64 (.f64 t y) (.f64 z (pow.f64 (-.f64 b y) 2)))
15.2b	(/.f64 (.f64 a y) (.f64 z (pow.f64 (-.f64 b y) 2)))

rewrite243.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

2.2b

Rules

69×	`add-exp-log_binary64_17166`
42×	`add-cbrt-cube_binary64_17164`
27×	`prod-exp_binary64_17177`
20×	`div-exp_binary64_17179`
15×	`add-sqr-sqrt_binary64_17150`
13×	`cbrt-unprod_binary64_17161`
12×	`cbrt-undiv_binary64_17162`
10×	`associate-r_binary64_17068`
9×	`*-un-lft-identity_binary64_17128`
7×	`add-cube-cbrt_binary64_17163`
6×	`unpow-prod-down_binary64_17207`
5×	`pow-to-exp_binary64_17197` `pow-exp_binary64_17196`
4×	`pow1_binary64_17189` `add-log-exp_binary64_17167` `unswap-sqr_binary64_17096`
3×	`frac-2neg_binary64_17139` `times-frac_binary64_17134` `clear-num_binary64_17127` `div-inv_binary64_17125` `associate-/l_binary64_17073` `associate-/r_binary64_17072` `associate-l_binary64_17069`
2×	`associate-*r/_binary64_17070` `associate-/r/_binary64_17074` `unpow2_binary64_17193` `sqr-pow_binary64_17100`
1×	`flip3--_binary64_17132` `flip--_binary64_17103` `difference-of-squares_binary64_17097` `distribute-lft-out--_binary64_17080` `*-commutative_binary64_17059`

Counts

4 → 102

Calls

4 calls:

11.0ms	(*.f64 z (pow.f64 (-.f64 b y) 2))
11.0ms	(/.f64 (.f64 a y) (.f64 z (pow.f64 (-.f64 b y) 2)))
10.0ms	(/.f64 (.f64 t y) (.f64 z (pow.f64 (-.f64 b y) 2)))
9.0ms	(/.f64 (.f64 y x) (.f64 z (-.f64 b y)))

Compiler

Compiled 5425 to 1637 computations (69.8% saved)

series1.8s (4.2%)

Error

2.2b

Counts

4 → 69

Calls

4 calls:

484.0ms	(/.f64 (.f64 a y) (.f64 z (pow.f64 (-.f64 b y) 2)))
467.0ms	(/.f64 (.f64 t y) (.f64 z (pow.f64 (-.f64 b y) 2)))
368.0ms	(/.f64 (.f64 y x) (.f64 z (-.f64 b y)))
329.0ms	(*.f64 z (pow.f64 (-.f64 b y) 2))

Compiler

Compiled 9138 to 4549 computations (50.2% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

637×	`times-frac_binary64_17134`
337×	`associate-/l*_binary64_17073`
296×	`associate-/r*_binary64_17072`
291×	`distribute-rgt-in_binary64_17078`
264×	`distribute-lft-in_binary64_17077`
222×	`associate-l_binary64_17069`
188×	`associate-r_binary64_17068`
102×	`cancel-sign-sub-inv_binary64_17094`
99×	`*-commutative_binary64_17059`
82×	`sub-neg_binary64_17121` `distribute-rgt-neg-in_binary64_17086`
76×	`associate-*l/_binary64_17071`
74×	`distribute-lft-neg-in_binary64_17085`
72×	`log-div_binary64_17215`
63×	`associate-*r/_binary64_17070`
61×	`unswap-sqr_binary64_17096`
60×	`log-prod_binary64_17214`
48×	`sqr-pow_binary64_17100`
38×	`neg-sub0_binary64_17123`
37×	`neg-mul-1_binary64_17124` `associate-/r/_binary64_17074`
33×	`cube-prod_binary64_17156`
31×	`+-commutative_binary64_17058`
30×	`exp-prod_binary64_17180`
29×	`swap-sqr_binary64_17095`
28×	`div-sub_binary64_17133`
23×	`cube-div_binary64_17157`
22×	`/-rgt-identity_binary64_17119` `*-lft-identity_binary64_17117`
20×	`distribute-neg-in_binary64_17089`
18×	`associate--l+_binary64_17065`
17×	`*-rgt-identity_binary64_17118` `distribute-lft-neg-out_binary64_17087`
16×	`cube-unmult_binary64_17165`
15×	`distribute-rgt-neg-out_binary64_17088`
14×	`associate--r+_binary64_17064`
13×	`distribute-neg-frac_binary64_17092`
12×	`unsub-neg_binary64_17122` `distribute-lft-out_binary64_17079`
8×	`distribute-rgt-out--_binary64_17082` `distribute-rgt-out_binary64_17081` `associate-/l/_binary64_17075`
7×	`associate-+l+_binary64_17061`
6×	`log-pow_binary64_17217` `unpow2_binary64_17193` `unpow1/2_binary64_17192` `unpow1_binary64_17186`
4×	`pow-plus_binary64_17191` `exp-sum_binary64_17174` `rem-sqrt-square_binary64_17141` `pow-sqr_binary64_17101` `difference-of-squares_binary64_17097`
3×	`distribute-rgt1-in_binary64_17084` `distribute-lft-out--_binary64_17080`
2×	`log-rec_binary64_17216` `unpow3_binary64_17194` `cube-mult_binary64_17158` `remove-double-neg_binary64_17116` `distribute-lft1-in_binary64_17083` `associate-+r+_binary64_17060`
1×	`1-exp_binary64_17172` `exp-1-e_binary64_17171` `rem-3cbrt-rft_binary64_17154` `rem-3cbrt-lft_binary64_17153` `rem-square-sqrt_binary64_17140` `mul-1-neg_binary64_17120` `associate--r-_binary64_17067`
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_17391` `erf-erfc_binary64_17390` `erf-odd_binary64_17389` `if-if-and-not_binary64_17388` `if-if-and_binary64_17387` `if-if-or-not_binary64_17386` `if-if-or_binary64_17385` `if-not_binary64_17384` `if-same_binary64_17383` `if-false_binary64_17382` `if-true_binary64_17381` `not-gte_binary64_17380` `not-lte_binary64_17379` `not-gt_binary64_17378` `not-lt_binary64_17377` `gte-same_binary64_17376` `lte-same_binary64_17375` `gt-same_binary64_17374` `lt-same_binary64_17373` `sinh---cosh_binary64_17320` `sinh-+-cosh_binary64_17319` `sinh-cosh_binary64_17318` `tanh-def-c_binary64_17317` `tanh-def-b_binary64_17316` `tanh-def-a_binary64_17315` `cosh-def_binary64_17314` `sinh-def_binary64_17313` `tan-neg_binary64_17260` `cos-neg_binary64_17259` `sin-neg_binary64_17258` `tan-0_binary64_17257` `cos-0_binary64_17256` `sin-0_binary64_17255` `hang-m-tan_binary64_17254` `hang-p-tan_binary64_17253` `hang-m0-tan_binary64_17252` `hang-p0-tan_binary64_17251` `hang-0m-tan_binary64_17250` `hang-0p-tan_binary64_17249` `tan-+PI/2_binary64_17248` `tan-+PI_binary64_17247` `tan-PI_binary64_17246` `tan-PI/3_binary64_17245` `tan-PI/4_binary64_17244` `tan-PI/6_binary64_17243` `cos-+PI/2_binary64_17242` `cos-+PI_binary64_17241` `cos-PI_binary64_17240` `cos-PI/2_binary64_17239` `cos-PI/3_binary64_17238` `cos-PI/4_binary64_17237` `cos-PI/6_binary64_17236` `sin-+PI/2_binary64_17235` `sin-+PI_binary64_17234` `sin-PI_binary64_17233` `sin-PI/2_binary64_17232` `sin-PI/3_binary64_17231` `sin-PI/4_binary64_17230` `sin-PI/6_binary64_17229` `sub-1-sin_binary64_17228` `sub-1-cos_binary64_17227` `-1-add-sin_binary64_17226` `-1-add-cos_binary64_17225` `1-sub-sin_binary64_17224` `1-sub-cos_binary64_17223` `cos-sin-sum_binary64_17222` `log-E_binary64_17218` `pow-base-0_binary64_17212` `unpow1/3_binary64_17195` `exp-to-pow_binary64_17190` `pow-base-1_binary64_17188` `unpow0_binary64_17187` `unpow-1_binary64_17185` `exp-lft-cube_binary64_17184` `exp-lft-sqr_binary64_17183` `exp-cbrt_binary64_17182` `exp-sqrt_binary64_17181` `div-exp_binary64_17179` `rec-exp_binary64_17178` `prod-exp_binary64_17177` `exp-diff_binary64_17176` `exp-neg_binary64_17175` `e-exp-1_binary64_17173` `exp-0_binary64_17170` `rem-log-exp_binary64_17169` `rem-exp-log_binary64_17168` `cube-neg_binary64_17155` `rem-cbrt-cube_binary64_17152` `rem-cube-cbrt_binary64_17151` `sqr-abs_binary64_17143` `sqr-neg_binary64_17142` `sub0-neg_binary64_17115` `--rgt-identity_binary64_17114` `+-rgt-identity_binary64_17113` `+-lft-identity_binary64_17112` `mul0-rgt_binary64_17111` `mul0-lft_binary64_17110` `div0_binary64_17109` `*-inverses_binary64_17108` `+-inverses_binary64_17107` `lft-mult-inverse_binary64_17106` `rgt-mult-inverse_binary64_17105` `remove-double-div_binary64_17104` `difference-of-sqr--1_binary64_17099` `difference-of-sqr-1_binary64_17098` `cancel-sign-sub_binary64_17093` `distribute-frac-neg_binary64_17091` `distribute-neg-out_binary64_17090` `count-2_binary64_17076` `associate--l-_binary64_17066` `associate-+l-_binary64_17063` `associate-+r-_binary64_17062`

Counts

171 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	229	3347
1	655	2750
2	3305	2610
3	5247	2610

prune237.0ms (0.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	127	3	130
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	129	13	142

Error

2.2b

Counts

142 → 13

Compiler

Compiled 6495 to 1958 computations (69.9% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.6b	(*.f64 z (pow.f64 (-.f64 b y) 2))
6.6b	(*.f64 z (pow.f64 (-.f64 b y) 2))
14.4b	(/.f64 (.f64 t y) (.f64 z (pow.f64 (-.f64 b y) 2)))
15.2b	(/.f64 (.f64 a y) (.f64 z (pow.f64 (-.f64 b y) 2)))

rewrite261.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

1.7b

Rules

62×	`add-exp-log_binary64_17166`
32×	`add-cbrt-cube_binary64_17164`
26×	`prod-exp_binary64_17177` `add-sqr-sqrt_binary64_17150`
20×	`associate-r_binary64_17068`
16×	`div-exp_binary64_17179`
14×	`*-un-lft-identity_binary64_17128`
12×	`unpow-prod-down_binary64_17207`
10×	`add-cube-cbrt_binary64_17163` `cbrt-unprod_binary64_17161`
8×	`cbrt-undiv_binary64_17162` `unswap-sqr_binary64_17096`
6×	`pow-to-exp_binary64_17197` `pow-exp_binary64_17196` `associate-l_binary64_17069`
4×	`pow1_binary64_17189` `add-log-exp_binary64_17167` `unpow2_binary64_17193` `sqr-pow_binary64_17100`
2×	`frac-2neg_binary64_17139` `times-frac_binary64_17134` `clear-num_binary64_17127` `div-inv_binary64_17125` `associate-/l_binary64_17073` `associate-/r_binary64_17072` `difference-of-squares_binary64_17097` `distribute-lft-out--_binary64_17080` `*-commutative_binary64_17059`

Counts

4 → 108

Calls

4 calls:

10.0ms	(/.f64 (.f64 a y) (.f64 z (pow.f64 (-.f64 b y) 2)))
10.0ms	(/.f64 (.f64 t y) (.f64 z (pow.f64 (-.f64 b y) 2)))
9.0ms	(*.f64 z (pow.f64 (-.f64 b y) 2))
9.0ms	(*.f64 z (pow.f64 (-.f64 b y) 2))

Compiler

Compiled 5714 to 1731 computations (69.7% saved)

series1.7s (4.1%)

Error

1.7b

Counts

4 → 69

Calls

4 calls:

512.0ms	(/.f64 (.f64 a y) (.f64 z (pow.f64 (-.f64 b y) 2)))
468.0ms	(/.f64 (.f64 t y) (.f64 z (pow.f64 (-.f64 b y) 2)))
317.0ms	(*.f64 z (pow.f64 (-.f64 b y) 2))
303.0ms	(*.f64 z (pow.f64 (-.f64 b y) 2))

Compiler

Compiled 8958 to 4406 computations (50.8% saved)

simplify124.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

472×	`associate-/l/_binary64_17075`
467×	`*-commutative_binary64_17059`
378×	`times-frac_binary64_17134`
305×	`associate-/r/_binary64_17074`
231×	`unswap-sqr_binary64_17096`
201×	`associate-/l*_binary64_17073`
178×	`associate-/r*_binary64_17072`
151×	`sub-neg_binary64_17121`
145×	`associate-l_binary64_17069`
132×	`distribute-rgt-in_binary64_17078`
123×	`distribute-lft-in_binary64_17077`
121×	`associate-r_binary64_17068`
98×	`sqr-pow_binary64_17100`
97×	`log-prod_binary64_17214`
95×	`log-div_binary64_17215`
80×	`cube-div_binary64_17157`
73×	`cancel-sign-sub-inv_binary64_17094`
68×	`cube-prod_binary64_17156`
59×	`exp-prod_binary64_17180`
50×	`distribute-rgt-neg-in_binary64_17086`
46×	`distribute-lft-neg-in_binary64_17085` `associate-*l/_binary64_17071`
43×	`neg-mul-1_binary64_17124` `neg-sub0_binary64_17123` `*-lft-identity_binary64_17117`
38×	`associate-*r/_binary64_17070`
36×	`+-commutative_binary64_17058`
34×	`div-sub_binary64_17133`
33×	`associate--r+_binary64_17064`
31×	`exp-sum_binary64_17174`
28×	`*-rgt-identity_binary64_17118`
24×	`unsub-neg_binary64_17122`
23×	`/-rgt-identity_binary64_17119`
22×	`associate--l+_binary64_17065`
20×	`unpow3_binary64_17194`
19×	`cube-mult_binary64_17158` `swap-sqr_binary64_17095`
17×	`associate-+l-_binary64_17063`
16×	`associate-+l+_binary64_17061`
15×	`cube-unmult_binary64_17165` `associate-+r+_binary64_17060`
13×	`log-pow_binary64_17217`
12×	`+-rgt-identity_binary64_17113` `pow-sqr_binary64_17101` `associate-+r-_binary64_17062`
11×	`pow-plus_binary64_17191` `rem-sqrt-square_binary64_17141`
10×	`distribute-neg-in_binary64_17089`
7×	`unpow1/2_binary64_17192` `sub0-neg_binary64_17115` `distribute-rgt-out--_binary64_17082`
6×	`unpow2_binary64_17193` `unpow1_binary64_17186` `distribute-rgt-out_binary64_17081`
5×	`distribute-lft-neg-out_binary64_17087`
4×	`log-rec_binary64_17216` `remove-double-neg_binary64_17116` `distribute-rgt-neg-out_binary64_17088`
3×	`exp-diff_binary64_17176` `difference-of-squares_binary64_17097`
2×	`exp-neg_binary64_17175` `distribute-lft-out--_binary64_17080` `distribute-lft-out_binary64_17079`
1×	`1-exp_binary64_17172` `exp-1-e_binary64_17171` `rem-3cbrt-rft_binary64_17154` `rem-3cbrt-lft_binary64_17153` `sqr-neg_binary64_17142` `rem-square-sqrt_binary64_17140`
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_17391` `erf-erfc_binary64_17390` `erf-odd_binary64_17389` `if-if-and-not_binary64_17388` `if-if-and_binary64_17387` `if-if-or-not_binary64_17386` `if-if-or_binary64_17385` `if-not_binary64_17384` `if-same_binary64_17383` `if-false_binary64_17382` `if-true_binary64_17381` `not-gte_binary64_17380` `not-lte_binary64_17379` `not-gt_binary64_17378` `not-lt_binary64_17377` `gte-same_binary64_17376` `lte-same_binary64_17375` `gt-same_binary64_17374` `lt-same_binary64_17373` `sinh---cosh_binary64_17320` `sinh-+-cosh_binary64_17319` `sinh-cosh_binary64_17318` `tanh-def-c_binary64_17317` `tanh-def-b_binary64_17316` `tanh-def-a_binary64_17315` `cosh-def_binary64_17314` `sinh-def_binary64_17313` `tan-neg_binary64_17260` `cos-neg_binary64_17259` `sin-neg_binary64_17258` `tan-0_binary64_17257` `cos-0_binary64_17256` `sin-0_binary64_17255` `hang-m-tan_binary64_17254` `hang-p-tan_binary64_17253` `hang-m0-tan_binary64_17252` `hang-p0-tan_binary64_17251` `hang-0m-tan_binary64_17250` `hang-0p-tan_binary64_17249` `tan-+PI/2_binary64_17248` `tan-+PI_binary64_17247` `tan-PI_binary64_17246` `tan-PI/3_binary64_17245` `tan-PI/4_binary64_17244` `tan-PI/6_binary64_17243` `cos-+PI/2_binary64_17242` `cos-+PI_binary64_17241` `cos-PI_binary64_17240` `cos-PI/2_binary64_17239` `cos-PI/3_binary64_17238` `cos-PI/4_binary64_17237` `cos-PI/6_binary64_17236` `sin-+PI/2_binary64_17235` `sin-+PI_binary64_17234` `sin-PI_binary64_17233` `sin-PI/2_binary64_17232` `sin-PI/3_binary64_17231` `sin-PI/4_binary64_17230` `sin-PI/6_binary64_17229` `sub-1-sin_binary64_17228` `sub-1-cos_binary64_17227` `-1-add-sin_binary64_17226` `-1-add-cos_binary64_17225` `1-sub-sin_binary64_17224` `1-sub-cos_binary64_17223` `cos-sin-sum_binary64_17222` `log-E_binary64_17218` `pow-base-0_binary64_17212` `unpow1/3_binary64_17195` `exp-to-pow_binary64_17190` `pow-base-1_binary64_17188` `unpow0_binary64_17187` `unpow-1_binary64_17185` `exp-lft-cube_binary64_17184` `exp-lft-sqr_binary64_17183` `exp-cbrt_binary64_17182` `exp-sqrt_binary64_17181` `div-exp_binary64_17179` `rec-exp_binary64_17178` `prod-exp_binary64_17177` `e-exp-1_binary64_17173` `exp-0_binary64_17170` `rem-log-exp_binary64_17169` `rem-exp-log_binary64_17168` `cube-neg_binary64_17155` `rem-cbrt-cube_binary64_17152` `rem-cube-cbrt_binary64_17151` `sqr-abs_binary64_17143` `mul-1-neg_binary64_17120` `--rgt-identity_binary64_17114` `+-lft-identity_binary64_17112` `mul0-rgt_binary64_17111` `mul0-lft_binary64_17110` `div0_binary64_17109` `*-inverses_binary64_17108` `+-inverses_binary64_17107` `lft-mult-inverse_binary64_17106` `rgt-mult-inverse_binary64_17105` `remove-double-div_binary64_17104` `difference-of-sqr--1_binary64_17099` `difference-of-sqr-1_binary64_17098` `cancel-sign-sub_binary64_17093` `distribute-neg-frac_binary64_17092` `distribute-frac-neg_binary64_17091` `distribute-neg-out_binary64_17090` `distribute-rgt1-in_binary64_17084` `distribute-lft1-in_binary64_17083` `count-2_binary64_17076` `associate--r-_binary64_17067` `associate--l-_binary64_17066`

Counts

177 → 136

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	157	3215
1	423	2711
2	1986	2569
3	4102	2563
4	5120	2563

prune226.0ms (0.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	3	8	11
Picked	1	0	1
Done	0	1	1
Total	138	11	149

Error

1.7b

Counts

149 → 11

Compiler

Compiled 6479 to 1725 computations (73.4% saved)

regimes4.2s (10.1%)

Accuracy

Total 8.7b remaining (97%)

Threshold costs 0b (0%)

Compiler

Compiled 33788 to 20050 computations (40.7% saved)

bsearch12.0ms (0%)

Compiler: Compiled 17 to 14 computations (17.6% saved)

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

43×	`+-commutative_binary64_17058`
40×	`*-commutative_binary64_17059`
30×	`sub-neg_binary64_17121`
25×	`neg-mul-1_binary64_17124` `neg-sub0_binary64_17123`
11×	`unsub-neg_binary64_17122`
10×	`distribute-neg-in_binary64_17089`
9×	`distribute-neg-frac_binary64_17092`
8×	`distribute-rgt-neg-in_binary64_17086` `distribute-lft-neg-in_binary64_17085`
2×	`cancel-sign-sub-inv_binary64_17094`
1×	`distribute-rgt-neg-out_binary64_17088` `distribute-lft-neg-out_binary64_17087`
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_17388` `if-if-and_binary64_17387` `if-if-or-not_binary64_17386` `if-if-or_binary64_17385` `if-not_binary64_17384` `if-same_binary64_17383` `if-false_binary64_17382` `if-true_binary64_17381` `tan-0_binary64_17257` `cos-0_binary64_17256` `sin-0_binary64_17255` `unpow1_binary64_17186` `e-exp-1_binary64_17173` `1-exp_binary64_17172` `exp-1-e_binary64_17171` `exp-0_binary64_17170` `sqr-abs_binary64_17143` `sqr-neg_binary64_17142` `mul-1-neg_binary64_17120` `/-rgt-identity_binary64_17119` `-rgt-identity_binary64_17118` `-lft-identity_binary64_17117` `remove-double-neg_binary64_17116` `sub0-neg_binary64_17115` `--rgt-identity_binary64_17114` `+-rgt-identity_binary64_17113` `+-lft-identity_binary64_17112` `cancel-sign-sub_binary64_17093` `distribute-frac-neg_binary64_17091` `distribute-neg-out_binary64_17090`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	80	378
1	121	374
2	150	374
3	193	374
4	237	374
5	275	374
6	301	374
7	312	374
8	315	374
9	315	374

end0.0ms (0%)

sample3.1s (7.4%)

Algorithm

1×

intervals

Results

411.0ms	8000×	body	128	valid
20.0ms	440×	body	128	invalid

Compiler

Compiled 4276 to 2483 computations (41.9% saved)

Iter	Nodes	Cost
0	80	378
1	121	374
2	150	374
3	193	374
4	237	374
5	275	374
6	301	374
7	312	374
8	315	374
9	315	374

Iter	Nodes	Cost
0	80	378
1	121	374
2	150	374
3	193	374
4	237	374
5	275	374
6	301	374
7	312	374
8	315	374
9	315	374

Details

analyze1.5s (3.7%)

sample28.0ms (0.1%)

simplify94.0ms (0.2%)

prune2.0ms (0%)

localize12.0ms (0%)

rewrite190.0ms (0.5%)

series2.6s (6.2%)

simplify128.0ms (0.3%)

prune229.0ms (0.5%)

localize18.0ms (0%)

rewrite271.0ms (0.6%)

series23.5s (56.1%)

simplify445.0ms (1.1%)

prune755.0ms (1.8%)

localize22.0ms (0.1%)

rewrite243.0ms (0.6%)

series1.8s (4.2%)

simplify101.0ms (0.2%)

prune237.0ms (0.6%)

localize22.0ms (0.1%)

rewrite261.0ms (0.6%)

series1.7s (4.1%)

simplify124.0ms (0.3%)

prune226.0ms (0.5%)

regimes4.2s (10.1%)

bsearch12.0ms (0%)

simplify21.0ms (0.1%)

end0.0ms (0%)

sample3.1s (7.4%)

Profiling

Iter	Nodes	Cost
0	80	378
1	121	374
2	150	374
3	193	374
4	237	374
5	275	374
6	301	374
7	312	374
8	315	374
9	315	374