Details

analyze779.0ms (9.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

7×	`+-commutative_binary64_17058`
4×	`associate-+l+_binary64_17061`
1×	`swap-x-y` `swap-x-z`
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` `1-exp_binary64_17172` `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` `div-sub_binary64_17133` `neg-mul-1_binary64_17124` `neg-sub0_binary64_17123` `unsub-neg_binary64_17122` `sub-neg_binary64_17121` `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` `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` `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-inv_binary64_17094` `cancel-sign-sub_binary64_17093` `distribute-neg-frac_binary64_17092` `distribute-frac-neg_binary64_17091` `distribute-neg-out_binary64_17090` `distribute-neg-in_binary64_17089` `distribute-rgt-neg-out_binary64_17088` `distribute-lft-neg-out_binary64_17087` `distribute-rgt-neg-in_binary64_17086` `distribute-lft-neg-in_binary64_17085` `distribute-rgt1-in_binary64_17084` `distribute-lft1-in_binary64_17083` `distribute-rgt-out--_binary64_17082` `distribute-rgt-out_binary64_17081` `distribute-lft-out--_binary64_17080` `distribute-lft-out_binary64_17079` `distribute-rgt-in_binary64_17078` `distribute-lft-in_binary64_17077` `count-2_binary64_17076` `associate-/l/_binary64_17075` `associate-/r/_binary64_17074` `associate-/l_binary64_17073` `associate-/r_binary64_17072` `associate-l/_binary64_17071` `associate-r/_binary64_17070` `associate-l_binary64_17069` `associate-r_binary64_17068` `associate--r-_binary64_17067` `associate--l-_binary64_17066` `associate--l+_binary64_17065` `associate--r+_binary64_17064` `associate-+l-_binary64_17063` `associate-+r-_binary64_17062` `associate-+r+_binary64_17060` `-commutative_binary64_17059` `swap-y-z`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	72
1	20	72
2	20	72
0	3	3
1	3	3

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%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
28.1%	71.8%	0.1%	9
42.1%	57.7%	0.1%	10
49.1%	50.7%	0.1%	11
57.3%	42.5%	0.1%	12
66.9%	33%	0.1%	13
71.7%	28.2%	0.1%	14

Symmetry

(sort x y z)

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample33.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms

256×

body

128

valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_17058`
3×	`associate-+l+_binary64_17061` `associate-+r+_binary64_17060`
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` `1-exp_binary64_17172` `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` `div-sub_binary64_17133` `neg-mul-1_binary64_17124` `neg-sub0_binary64_17123` `unsub-neg_binary64_17122` `sub-neg_binary64_17121` `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` `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` `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-inv_binary64_17094` `cancel-sign-sub_binary64_17093` `distribute-neg-frac_binary64_17092` `distribute-frac-neg_binary64_17091` `distribute-neg-out_binary64_17090` `distribute-neg-in_binary64_17089` `distribute-rgt-neg-out_binary64_17088` `distribute-lft-neg-out_binary64_17087` `distribute-rgt-neg-in_binary64_17086` `distribute-lft-neg-in_binary64_17085` `distribute-rgt1-in_binary64_17084` `distribute-lft1-in_binary64_17083` `distribute-rgt-out--_binary64_17082` `distribute-rgt-out_binary64_17081` `distribute-lft-out--_binary64_17080` `distribute-lft-out_binary64_17079` `distribute-rgt-in_binary64_17078` `distribute-lft-in_binary64_17077` `count-2_binary64_17076` `associate-/l/_binary64_17075` `associate-/r/_binary64_17074` `associate-/l_binary64_17073` `associate-/r_binary64_17072` `associate-l/_binary64_17071` `associate-r/_binary64_17070` `associate-l_binary64_17069` `associate-r_binary64_17068` `associate--r-_binary64_17067` `associate--l-_binary64_17066` `associate--l+_binary64_17065` `associate--r+_binary64_17064` `associate-+l-_binary64_17063` `associate-+r-_binary64_17062` `-commutative_binary64_17059`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	14	18
2	20	18
3	20	18
4	20	18

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

35.4b

Counts

1 → 1

Compiler

Compiled 12 to 9 computations (25% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
32.8b	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

rewrite47.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

35.4b

Rules

7×	`add-log-exp_binary64_17167`
4×	`add-sqr-sqrt_binary64_17150`
3×	`pow1_binary64_17189` `add-cube-cbrt_binary64_17163` `sqrt-prod_binary64_17144` `*-un-lft-identity_binary64_17128` `sum-log_binary64_17219`
2×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164` `flip3-+_binary64_17131` `sqrt-div_binary64_17145` `flip-+_binary64_17102`
1×	`pow1/2_binary64_17208` `sqrt-pow1_binary64_17146` `rem-sqrt-square_binary64_17141` `associate-+l+_binary64_17061` `+-commutative_binary64_17058`

Counts

2 → 28

Calls

2 calls:

7.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
6.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

Compiler

Compiled 677 to 102 computations (84.9% saved)

series603.0ms (7.5%)

Error

0.6b

Counts

2 → 38

Calls

2 calls:

293.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
261.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))

Compiler

Compiled 1653 to 1434 computations (13.2% saved)

simplify80.0ms (1%)

Algorithm

1×	egg-herbie

Rules

661×	`times-frac_binary64_17134`
461×	`associate-/l*_binary64_17073`
336×	`distribute-rgt-in_binary64_17078`
298×	`cancel-sign-sub-inv_binary64_17094`
296×	`distribute-lft-in_binary64_17077`
130×	`neg-sub0_binary64_17123`
127×	`neg-mul-1_binary64_17124`
111×	`sub-neg_binary64_17121`
98×	`unswap-sqr_binary64_17096`
84×	`distribute-rgt-neg-in_binary64_17086`
80×	`associate-/r/_binary64_17074`
76×	`distribute-lft-neg-in_binary64_17085`
74×	`*-commutative_binary64_17059`
73×	`associate-r_binary64_17068`
67×	`+-commutative_binary64_17058`
52×	`distribute-neg-frac_binary64_17092` `associate-/r*_binary64_17072`
50×	`associate-l_binary64_17069`
46×	`sqr-pow_binary64_17100`
45×	`associate-+l+_binary64_17061`
41×	`associate-+r+_binary64_17060`
38×	`distribute-neg-in_binary64_17089`
36×	`associate--r+_binary64_17064`
34×	`associate--l+_binary64_17065`
24×	`unsub-neg_binary64_17122`
20×	`distribute-lft-out_binary64_17079` `associate-l/_binary64_17071` `associate-r/_binary64_17070`
19×	`distribute-rgt-out_binary64_17081`
18×	`associate-/l/_binary64_17075`
12×	`cube-unmult_binary64_17165`
11×	`unpow3_binary64_17194`
10×	`exp-prod_binary64_17180`
9×	`div-sub_binary64_17133` `distribute-lft-neg-out_binary64_17087`
8×	`pow-plus_binary64_17191`
7×	`cube-prod_binary64_17156`
6×	`cube-mult_binary64_17158` `difference-of-squares_binary64_17097`
5×	`prod-exp_binary64_17177` `rem-sqrt-square_binary64_17141` `pow-sqr_binary64_17101` `distribute-rgt-out--_binary64_17082`
4×	`exp-sum_binary64_17174` `swap-sqr_binary64_17095`
3×	`unpow2_binary64_17193` `unpow1/2_binary64_17192` `unpow1_binary64_17186` `mul-1-neg_binary64_17120`
1×	`log-prod_binary64_17214` `1-exp_binary64_17172` `rem-square-sqrt_binary64_17140` `distribute-rgt-neg-out_binary64_17088` `count-2_binary64_17076` `associate-+l-_binary64_17063` `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` `log-div_binary64_17215` `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` `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-3cbrt-lft_binary64_17153` `rem-cbrt-cube_binary64_17152` `rem-cube-cbrt_binary64_17151` `sqr-abs_binary64_17143` `sqr-neg_binary64_17142` `/-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` `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` `distribute-rgt1-in_binary64_17084` `distribute-lft1-in_binary64_17083` `distribute-lft-out--_binary64_17080` `associate--r-_binary64_17067` `associate--l-_binary64_17066`

Counts

66 → 56

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	168	1624
1	436	1559
2	1536	1528
3	4869	1528
4	5035	1528

prune61.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	5	57

Error

5.3b

Counts

57 → 5

Compiler

Compiled 1131 to 315 computations (72.1% saved)

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

5.3b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 5.3b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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 1-exp_binary64_17172 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 div-sub_binary64_17133 neg-mul-1_binary64_17124 neg-sub0_binary64_17123 unsub-neg_binary64_17122 sub-neg_binary64_17121 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 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 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-inv_binary64_17094 cancel-sign-sub_binary64_17093 distribute-neg-frac_binary64_17092 distribute-frac-neg_binary64_17091 distribute-neg-out_binary64_17090 distribute-neg-in_binary64_17089 distribute-rgt-neg-out_binary64_17088 distribute-lft-neg-out_binary64_17087 distribute-rgt-neg-in_binary64_17086 distribute-lft-neg-in_binary64_17085 distribute-rgt1-in_binary64_17084 distribute-lft1-in_binary64_17083 distribute-rgt-out--_binary64_17082 distribute-rgt-out_binary64_17081 distribute-lft-out--_binary64_17080 distribute-lft-out_binary64_17079 distribute-rgt-in_binary64_17078 distribute-lft-in_binary64_17077 count-2_binary64_17076 associate-/l/_binary64_17075 associate-/r/_binary64_17074 associate-/l*_binary64_17073 associate-/r*_binary64_17072 associate-*l/_binary64_17071 associate-*r/_binary64_17070 associate-*l*_binary64_17069 associate-*r*_binary64_17068 associate--r-_binary64_17067 associate--l-_binary64_17066 associate--l+_binary64_17065 associate--r+_binary64_17064 associate-+l-_binary64_17063 associate-+r-_binary64_17062 associate-+l+_binary64_17061 associate-+r+_binary64_17060 *-commutative_binary64_17059 +-commutative_binary64_17058

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune4.0ms (0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

5.3b

Counts

5 → 5

Compiler

Compiled 46 to 27 computations (41.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x)))))
0.5b	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (.f64 x x))))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))))
32.8b	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))
32.8b	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))

rewrite243.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

5.3b

Rules

86×	`sqrt-prod_binary64_17144`
62×	`add-sqr-sqrt_binary64_17150`
38×	`sqrt-pow1_binary64_17146`
32×	`sqrt-div_binary64_17145`
31×	`pow1_binary64_17189`
20×	`pow1/2_binary64_17208` `add-cube-cbrt_binary64_17163` `*-un-lft-identity_binary64_17128`
15×	`swap-sqr_binary64_17095`
12×	`rem-sqrt-square_binary64_17141`
9×	`flip3-+_binary64_17131` `flip-+_binary64_17102` `pow-prod-up_binary64_17198` `unswap-sqr_binary64_17096` `associate-l_binary64_17069` `associate-r_binary64_17068`
6×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164`
5×	`pow-prod-down_binary64_17199` `pow-sqr_binary64_17101`
4×	`add-log-exp_binary64_17167` `sqr-abs_binary64_17143` `frac-times_binary64_17138`
2×	`associate-l/_binary64_17071` `associate-r/_binary64_17070`
1×	`pow2_binary64_17209` `pow-plus_binary64_17191` `prod-exp_binary64_17177` `cbrt-unprod_binary64_17161` `sqrt-unprod_binary64_17148` `rem-square-sqrt_binary64_17140` `*-commutative_binary64_17059`

Counts

4 → 138

Calls

4 calls:

27.0ms	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (.f64 x x))))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))))
7.0ms	(sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x)))))
7.0ms	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))
6.0ms	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))

Compiler

Compiled 5920 to 468 computations (92.1% saved)

series1.6s (20.2%)

Error

0.6b

Counts

4 → 78

Calls

4 calls:

530.0ms	(sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x)))))
319.0ms	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (.f64 x x))))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))))
316.0ms	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))
314.0ms	(sqrt.f64 (+.f64 (.f64 z z) (+.f64 (.f64 y y) (*.f64 x x))))

Compiler

Compiled 7044 to 5054 computations (28.3% saved)

simplify165.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

711×	`times-frac_binary64_17134`
632×	`cancel-sign-sub-inv_binary64_17094`
200×	`associate-r_binary64_17068`
183×	`sub-neg_binary64_17121`
159×	`associate-l_binary64_17069`
153×	`*-commutative_binary64_17059`
149×	`unswap-sqr_binary64_17096`
111×	`+-commutative_binary64_17058`
89×	`sqr-pow_binary64_17100`
75×	`associate-+r+_binary64_17060`
71×	`associate-/r*_binary64_17072`
68×	`associate-+l+_binary64_17061`
66×	`associate--r+_binary64_17064`
58×	`associate-/l*_binary64_17073` `associate--l+_binary64_17065`
54×	`neg-sub0_binary64_17123`
51×	`neg-mul-1_binary64_17124`
50×	`distribute-neg-frac_binary64_17092`
44×	`distribute-rgt-in_binary64_17078`
35×	`unsub-neg_binary64_17122`
34×	`distribute-lft-in_binary64_17077`
24×	`distribute-neg-in_binary64_17089` `associate-l/_binary64_17071` `associate-r/_binary64_17070`
16×	`rem-sqrt-square_binary64_17141`
15×	`swap-sqr_binary64_17095`
13×	`distribute-rgt-neg-in_binary64_17086`
12×	`log-prod_binary64_17214` `exp-prod_binary64_17180` `distribute-rgt-out_binary64_17081`
11×	`cube-prod_binary64_17156` `rem-square-sqrt_binary64_17140` `distribute-lft-neg-in_binary64_17085`
10×	`*-rgt-identity_binary64_17118`
9×	`*-lft-identity_binary64_17117`
8×	`unpow3_binary64_17194` `cube-unmult_binary64_17165` `cube-mult_binary64_17158` `difference-of-squares_binary64_17097`
6×	`pow-plus_binary64_17191` `associate-/r/_binary64_17074`
5×	`pow-sqr_binary64_17101` `distribute-lft-out_binary64_17079`
3×	`unpow2_binary64_17193` `unpow1/2_binary64_17192` `unpow1_binary64_17186` `mul-1-neg_binary64_17120`
2×	`distribute-lft-neg-out_binary64_17087`
1×	`log-pow_binary64_17217` `1-exp_binary64_17172` `exp-1-e_binary64_17171` `rem-3cbrt-rft_binary64_17154` `rem-3cbrt-lft_binary64_17153` `distribute-rgt-out--_binary64_17082` `count-2_binary64_17076` `associate-+l-_binary64_17063` `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-rec_binary64_17216` `log-div_binary64_17215` `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` `exp-sum_binary64_17174` `e-exp-1_binary64_17173` `exp-0_binary64_17170` `rem-log-exp_binary64_17169` `rem-exp-log_binary64_17168` `cube-div_binary64_17157` `cube-neg_binary64_17155` `rem-cbrt-cube_binary64_17152` `rem-cube-cbrt_binary64_17151` `sqr-abs_binary64_17143` `sqr-neg_binary64_17142` `div-sub_binary64_17133` `/-rgt-identity_binary64_17119` `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` `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-rgt-neg-out_binary64_17088` `distribute-rgt1-in_binary64_17084` `distribute-lft1-in_binary64_17083` `distribute-lft-out--_binary64_17080` `associate-/l/_binary64_17075` `associate--r-_binary64_17067` `associate--l-_binary64_17066`

Counts

216 → 182

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	307	6800
1	751	6397
2	2552	6314
3	4947	6314

prune243.0ms (3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	181	1	182
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	182	5	187

Error

5.3b

Counts

187 → 5

Compiler

Compiled 6180 to 1313 computations (78.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 z (.f64 1/2 (+.f64 (/.f64 (.f64 x x) z) (/.f64 (*.f64 y y) z))))
0.0b	(+.f64 (/.f64 (.f64 x x) z) (/.f64 (.f64 y y) z))
6.8b	(/.f64 (*.f64 x x) z)
7.7b	(/.f64 (*.f64 y y) z)

rewrite100.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

14×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164`
10×	`*-un-lft-identity_binary64_17128`
8×	`add-log-exp_binary64_17167` `add-cube-cbrt_binary64_17163` `add-sqr-sqrt_binary64_17150`
6×	`times-frac_binary64_17134` `associate-/r*_binary64_17072`
4×	`pow1_binary64_17189` `div-exp_binary64_17179` `cbrt-undiv_binary64_17162` `div-inv_binary64_17125`
2×	`prod-exp_binary64_17177` `cbrt-unprod_binary64_17161` `frac-2neg_binary64_17139` `clear-num_binary64_17127` `associate-/l*_binary64_17073` `sum-log_binary64_17219` `flip3-+_binary64_17131` `flip-+_binary64_17102` `+-commutative_binary64_17058` `associate-+r+_binary64_17060`
1×	`frac-add_binary64_17136` `distribute-rgt-out_binary64_17081` `distribute-lft-out_binary64_17079` `distribute-rgt-in_binary64_17078` `distribute-lft-in_binary64_17077`

Counts

4 → 69

Calls

4 calls:

9.0ms	(+.f64 (/.f64 (.f64 x x) z) (/.f64 (.f64 y y) z))
5.0ms	(/.f64 (*.f64 y y) z)
5.0ms	(/.f64 (*.f64 x x) z)
4.0ms	(+.f64 z (.f64 1/2 (+.f64 (/.f64 (.f64 x x) z) (/.f64 (*.f64 y y) z))))

Compiler

Compiled 1585 to 484 computations (69.5% saved)

series1.0s (12.8%)

Error

0.6b

Counts

4 → 45

Calls

4 calls:

472.0ms	(+.f64 z (.f64 1/2 (+.f64 (/.f64 (.f64 x x) z) (/.f64 (*.f64 y y) z))))
312.0ms	(+.f64 (/.f64 (.f64 x x) z) (/.f64 (.f64 y y) z))
102.0ms	(/.f64 (*.f64 x x) z)
101.0ms	(/.f64 (*.f64 y y) z)

Compiler

Compiled 1616 to 1273 computations (21.2% saved)

simplify121.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

467×	`associate-/l*_binary64_17073`
418×	`associate-*l/_binary64_17071`
410×	`times-frac_binary64_17134`
404×	`distribute-rgt-in_binary64_17078`
381×	`distribute-lft-in_binary64_17077`
311×	`associate-/l/_binary64_17075`
165×	`associate-/r*_binary64_17072`
155×	`associate-/r/_binary64_17074`
85×	`neg-mul-1_binary64_17124`
61×	`associate-*r/_binary64_17070`
58×	`cancel-sign-sub-inv_binary64_17094`
52×	`associate-l_binary64_17069`
51×	`distribute-neg-frac_binary64_17092`
50×	`distribute-rgt-neg-in_binary64_17086`
48×	`div-sub_binary64_17133` `sub-neg_binary64_17121`
44×	`log-div_binary64_17215` `*-commutative_binary64_17059`
40×	`cube-div_binary64_17157` `distribute-lft-neg-in_binary64_17085`
38×	`associate-r_binary64_17068`
34×	`sqr-pow_binary64_17100`
31×	`unswap-sqr_binary64_17096`
29×	`log-prod_binary64_17214` `+-commutative_binary64_17058`
28×	`cube-prod_binary64_17156` `distribute-neg-in_binary64_17089`
23×	`exp-prod_binary64_17180`
22×	`neg-sub0_binary64_17123`
18×	`distribute-lft-neg-out_binary64_17087`
17×	`unpow3_binary64_17194`
16×	`distribute-rgt-out_binary64_17081`
10×	`exp-sum_binary64_17174` `cube-mult_binary64_17158`
8×	`pow-plus_binary64_17191` `distribute-rgt-out--_binary64_17082`
6×	`log-pow_binary64_17217` `swap-sqr_binary64_17095` `distribute-rgt-neg-out_binary64_17088`
5×	`unpow1/2_binary64_17192` `pow-sqr_binary64_17101`
4×	`/-rgt-identity_binary64_17119` `*-rgt-identity_binary64_17118` `distribute-lft-out_binary64_17079` `associate--l+_binary64_17065` `associate-+l+_binary64_17061`
3×	`cube-unmult_binary64_17165`
2×	`log-rec_binary64_17216` `unpow2_binary64_17193` `unpow1_binary64_17186` `prod-exp_binary64_17177` `rem-sqrt-square_binary64_17141` `unsub-neg_binary64_17122` `*-lft-identity_binary64_17117` `difference-of-squares_binary64_17097` `count-2_binary64_17076` `associate--r+_binary64_17064` `associate-+l-_binary64_17063` `associate-+r-_binary64_17062` `associate-+r+_binary64_17060`
1×	`1-exp_binary64_17172` `distribute-lft-out--_binary64_17080`
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` `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-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-square-sqrt_binary64_17140` `mul-1-neg_binary64_17120` `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` `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-rgt1-in_binary64_17084` `distribute-lft1-in_binary64_17083` `associate--r-_binary64_17067` `associate--l-_binary64_17066`

Counts

114 → 81

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	141	1730
1	370	1631
2	1176	1631
3	4772	1631
4	4999	1631
5	4968	1631

prune60.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	81	5	86

Error

0.8b

Counts

86 → 5

Compiler

Compiled 1405 to 391 computations (72.2% saved)

regimes985.0ms (12.3%)

Accuracy

Total 10.6b remaining (96.8%)

Threshold costs 0b (0%)

Compiler

Compiled 4480 to 3356 computations (25.1% saved)

bsearch44.0ms (0.5%)

Steps

Iters	Range		Point
5	9.644254343456772e+119	2.0540162453404698e+120	1.3237415513114882e+120
8	8.901221738959522e-44	1.0457666413414164e-39	9.069523159749288e-44

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify20.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64_17058`
1×	`neg-sub0_binary64_17123` `sub-neg_binary64_17121` `mul-1-neg_binary64_17120` `*-commutative_binary64_17059`
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` `neg-mul-1_binary64_17124` `unsub-neg_binary64_17122` `/-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-inv_binary64_17094` `cancel-sign-sub_binary64_17093` `distribute-neg-frac_binary64_17092` `distribute-frac-neg_binary64_17091` `distribute-neg-out_binary64_17090` `distribute-neg-in_binary64_17089` `distribute-rgt-neg-out_binary64_17088` `distribute-lft-neg-out_binary64_17087` `distribute-rgt-neg-in_binary64_17086` `distribute-lft-neg-in_binary64_17085`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	34
1	23	34
2	25	34
3	26	34
4	27	34
5	27	34

Compiler

Compiled 46 to 32 computations (30.4% saved)

end0.0ms (0%)

sample1.7s (21.7%)

Algorithm

1×

intervals

Results

342.0ms

8000×

body

128

valid

Compiler

Compiled 470 to 354 computations (24.7% saved)

Details

analyze779.0ms (9.7%)

sample33.0ms (0.4%)

simplify8.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite47.0ms (0.6%)

series603.0ms (7.5%)

simplify80.0ms (1%)

prune61.0ms (0.8%)

localize2.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.1%)

prune4.0ms (0%)

localize10.0ms (0.1%)

rewrite243.0ms (3%)

series1.6s (20.2%)

simplify165.0ms (2.1%)

prune243.0ms (3%)

localize10.0ms (0.1%)

rewrite100.0ms (1.2%)

series1.0s (12.8%)

simplify121.0ms (1.5%)

prune60.0ms (0.7%)

regimes985.0ms (12.3%)

bsearch44.0ms (0.5%)

simplify20.0ms (0.3%)

end0.0ms (0%)

sample1.7s (21.7%)

Profiling