Details

analyze477.0ms (8.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

9×	`*-commutative_binary64_21151`
6×	`associate-/r/_binary64_21166` `associate-/l*_binary64_21165`
1×	`swap-x-y`
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_21483` `erf-erfc_binary64_21482` `erf-odd_binary64_21481` `if-if-and-not_binary64_21480` `if-if-and_binary64_21479` `if-if-or-not_binary64_21478` `if-if-or_binary64_21477` `if-not_binary64_21476` `if-same_binary64_21475` `if-false_binary64_21474` `if-true_binary64_21473` `not-gte_binary64_21472` `not-lte_binary64_21471` `not-gt_binary64_21470` `not-lt_binary64_21469` `gte-same_binary64_21468` `lte-same_binary64_21467` `gt-same_binary64_21466` `lt-same_binary64_21465` `sinh---cosh_binary64_21412` `sinh-+-cosh_binary64_21411` `sinh-cosh_binary64_21410` `tanh-def-c_binary64_21409` `tanh-def-b_binary64_21408` `tanh-def-a_binary64_21407` `cosh-def_binary64_21406` `sinh-def_binary64_21405` `tan-neg_binary64_21352` `cos-neg_binary64_21351` `sin-neg_binary64_21350` `tan-0_binary64_21349` `cos-0_binary64_21348` `sin-0_binary64_21347` `hang-m-tan_binary64_21346` `hang-p-tan_binary64_21345` `hang-m0-tan_binary64_21344` `hang-p0-tan_binary64_21343` `hang-0m-tan_binary64_21342` `hang-0p-tan_binary64_21341` `tan-+PI/2_binary64_21340` `tan-+PI_binary64_21339` `tan-PI_binary64_21338` `tan-PI/3_binary64_21337` `tan-PI/4_binary64_21336` `tan-PI/6_binary64_21335` `cos-+PI/2_binary64_21334` `cos-+PI_binary64_21333` `cos-PI_binary64_21332` `cos-PI/2_binary64_21331` `cos-PI/3_binary64_21330` `cos-PI/4_binary64_21329` `cos-PI/6_binary64_21328` `sin-+PI/2_binary64_21327` `sin-+PI_binary64_21326` `sin-PI_binary64_21325` `sin-PI/2_binary64_21324` `sin-PI/3_binary64_21323` `sin-PI/4_binary64_21322` `sin-PI/6_binary64_21321` `sub-1-sin_binary64_21320` `sub-1-cos_binary64_21319` `-1-add-sin_binary64_21318` `-1-add-cos_binary64_21317` `1-sub-sin_binary64_21316` `1-sub-cos_binary64_21315` `cos-sin-sum_binary64_21314` `log-E_binary64_21310` `log-pow_binary64_21309` `log-rec_binary64_21308` `log-div_binary64_21307` `log-prod_binary64_21306` `pow-base-0_binary64_21304` `unpow1/3_binary64_21287` `unpow3_binary64_21286` `unpow2_binary64_21285` `unpow1/2_binary64_21284` `pow-plus_binary64_21283` `exp-to-pow_binary64_21282` `pow-base-1_binary64_21280` `unpow0_binary64_21279` `unpow1_binary64_21278` `unpow-1_binary64_21277` `exp-lft-cube_binary64_21276` `exp-lft-sqr_binary64_21275` `exp-cbrt_binary64_21274` `exp-sqrt_binary64_21273` `exp-prod_binary64_21272` `div-exp_binary64_21271` `rec-exp_binary64_21270` `prod-exp_binary64_21269` `exp-diff_binary64_21268` `exp-neg_binary64_21267` `exp-sum_binary64_21266` `e-exp-1_binary64_21265` `1-exp_binary64_21264` `exp-1-e_binary64_21263` `exp-0_binary64_21262` `rem-log-exp_binary64_21261` `rem-exp-log_binary64_21260` `cube-unmult_binary64_21257` `cube-mult_binary64_21250` `cube-div_binary64_21249` `cube-prod_binary64_21248` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-3cbrt-lft_binary64_21245` `rem-cbrt-cube_binary64_21244` `rem-cube-cbrt_binary64_21243` `sqr-abs_binary64_21235` `sqr-neg_binary64_21234` `rem-sqrt-square_binary64_21233` `rem-square-sqrt_binary64_21232` `times-frac_binary64_21226` `div-sub_binary64_21225` `neg-mul-1_binary64_21216` `neg-sub0_binary64_21215` `unsub-neg_binary64_21214` `sub-neg_binary64_21213` `mul-1-neg_binary64_21212` `/-rgt-identity_binary64_21211` `-rgt-identity_binary64_21210` `-lft-identity_binary64_21209` `remove-double-neg_binary64_21208` `sub0-neg_binary64_21207` `--rgt-identity_binary64_21206` `+-rgt-identity_binary64_21205` `+-lft-identity_binary64_21204` `mul0-rgt_binary64_21203` `mul0-lft_binary64_21202` `div0_binary64_21201` `-inverses_binary64_21200` `+-inverses_binary64_21199` `lft-mult-inverse_binary64_21198` `rgt-mult-inverse_binary64_21197` `remove-double-div_binary64_21196` `pow-sqr_binary64_21193` `sqr-pow_binary64_21192` `difference-of-sqr--1_binary64_21191` `difference-of-sqr-1_binary64_21190` `difference-of-squares_binary64_21189` `unswap-sqr_binary64_21188` `swap-sqr_binary64_21187` `cancel-sign-sub-inv_binary64_21186` `cancel-sign-sub_binary64_21185` `distribute-neg-frac_binary64_21184` `distribute-frac-neg_binary64_21183` `distribute-neg-out_binary64_21182` `distribute-neg-in_binary64_21181` `distribute-rgt-neg-out_binary64_21180` `distribute-lft-neg-out_binary64_21179` `distribute-rgt-neg-in_binary64_21178` `distribute-lft-neg-in_binary64_21177` `distribute-rgt1-in_binary64_21176` `distribute-lft1-in_binary64_21175` `distribute-rgt-out--_binary64_21174` `distribute-rgt-out_binary64_21173` `distribute-lft-out--_binary64_21172` `distribute-lft-out_binary64_21171` `distribute-rgt-in_binary64_21170` `distribute-lft-in_binary64_21169` `count-2_binary64_21168` `associate-/l/_binary64_21167` `associate-/r_binary64_21164` `associate-l/_binary64_21163` `associate-r/_binary64_21162` `associate-l_binary64_21161` `associate-r_binary64_21160` `associate--r-_binary64_21159` `associate--l-_binary64_21158` `associate--l+_binary64_21157` `associate--r+_binary64_21156` `associate-+l-_binary64_21155` `associate-+r-_binary64_21154` `associate-+l+_binary64_21153` `associate-+r+_binary64_21152` `+-commutative_binary64_21150`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	28
1	21	28
2	29	28
3	35	28
4	37	28
5	37	28
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
31.2%	68.6%	0.1%	7
37.4%	62.4%	0.1%	8
40.6%	57.7%	1.7%	9
54.6%	41.3%	4%	10
59.3%	36.7%	4%	11
61.6%	32.6%	5.8%	12
68.3%	22.7%	9%	13
71%	20%	9%	14

Symmetry

(sort x y)

Compiler

Compiled 6 to 6 computations (0% saved)

sample24.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
1.0ms	23×	body	128	invalid

Compiler

Compiled 11 to 14 computations (-27.3% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64_21151`
2×	`associate-/r/_binary64_21166` `associate-/l*_binary64_21165`
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_21483` `erf-erfc_binary64_21482` `erf-odd_binary64_21481` `if-if-and-not_binary64_21480` `if-if-and_binary64_21479` `if-if-or-not_binary64_21478` `if-if-or_binary64_21477` `if-not_binary64_21476` `if-same_binary64_21475` `if-false_binary64_21474` `if-true_binary64_21473` `not-gte_binary64_21472` `not-lte_binary64_21471` `not-gt_binary64_21470` `not-lt_binary64_21469` `gte-same_binary64_21468` `lte-same_binary64_21467` `gt-same_binary64_21466` `lt-same_binary64_21465` `sinh---cosh_binary64_21412` `sinh-+-cosh_binary64_21411` `sinh-cosh_binary64_21410` `tanh-def-c_binary64_21409` `tanh-def-b_binary64_21408` `tanh-def-a_binary64_21407` `cosh-def_binary64_21406` `sinh-def_binary64_21405` `tan-neg_binary64_21352` `cos-neg_binary64_21351` `sin-neg_binary64_21350` `tan-0_binary64_21349` `cos-0_binary64_21348` `sin-0_binary64_21347` `hang-m-tan_binary64_21346` `hang-p-tan_binary64_21345` `hang-m0-tan_binary64_21344` `hang-p0-tan_binary64_21343` `hang-0m-tan_binary64_21342` `hang-0p-tan_binary64_21341` `tan-+PI/2_binary64_21340` `tan-+PI_binary64_21339` `tan-PI_binary64_21338` `tan-PI/3_binary64_21337` `tan-PI/4_binary64_21336` `tan-PI/6_binary64_21335` `cos-+PI/2_binary64_21334` `cos-+PI_binary64_21333` `cos-PI_binary64_21332` `cos-PI/2_binary64_21331` `cos-PI/3_binary64_21330` `cos-PI/4_binary64_21329` `cos-PI/6_binary64_21328` `sin-+PI/2_binary64_21327` `sin-+PI_binary64_21326` `sin-PI_binary64_21325` `sin-PI/2_binary64_21324` `sin-PI/3_binary64_21323` `sin-PI/4_binary64_21322` `sin-PI/6_binary64_21321` `sub-1-sin_binary64_21320` `sub-1-cos_binary64_21319` `-1-add-sin_binary64_21318` `-1-add-cos_binary64_21317` `1-sub-sin_binary64_21316` `1-sub-cos_binary64_21315` `cos-sin-sum_binary64_21314` `log-E_binary64_21310` `log-pow_binary64_21309` `log-rec_binary64_21308` `log-div_binary64_21307` `log-prod_binary64_21306` `pow-base-0_binary64_21304` `unpow1/3_binary64_21287` `unpow3_binary64_21286` `unpow2_binary64_21285` `unpow1/2_binary64_21284` `pow-plus_binary64_21283` `exp-to-pow_binary64_21282` `pow-base-1_binary64_21280` `unpow0_binary64_21279` `unpow1_binary64_21278` `unpow-1_binary64_21277` `exp-lft-cube_binary64_21276` `exp-lft-sqr_binary64_21275` `exp-cbrt_binary64_21274` `exp-sqrt_binary64_21273` `exp-prod_binary64_21272` `div-exp_binary64_21271` `rec-exp_binary64_21270` `prod-exp_binary64_21269` `exp-diff_binary64_21268` `exp-neg_binary64_21267` `exp-sum_binary64_21266` `e-exp-1_binary64_21265` `1-exp_binary64_21264` `exp-1-e_binary64_21263` `exp-0_binary64_21262` `rem-log-exp_binary64_21261` `rem-exp-log_binary64_21260` `cube-unmult_binary64_21257` `cube-mult_binary64_21250` `cube-div_binary64_21249` `cube-prod_binary64_21248` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-3cbrt-lft_binary64_21245` `rem-cbrt-cube_binary64_21244` `rem-cube-cbrt_binary64_21243` `sqr-abs_binary64_21235` `sqr-neg_binary64_21234` `rem-sqrt-square_binary64_21233` `rem-square-sqrt_binary64_21232` `times-frac_binary64_21226` `div-sub_binary64_21225` `neg-mul-1_binary64_21216` `neg-sub0_binary64_21215` `unsub-neg_binary64_21214` `sub-neg_binary64_21213` `mul-1-neg_binary64_21212` `/-rgt-identity_binary64_21211` `-rgt-identity_binary64_21210` `-lft-identity_binary64_21209` `remove-double-neg_binary64_21208` `sub0-neg_binary64_21207` `--rgt-identity_binary64_21206` `+-rgt-identity_binary64_21205` `+-lft-identity_binary64_21204` `mul0-rgt_binary64_21203` `mul0-lft_binary64_21202` `div0_binary64_21201` `-inverses_binary64_21200` `+-inverses_binary64_21199` `lft-mult-inverse_binary64_21198` `rgt-mult-inverse_binary64_21197` `remove-double-div_binary64_21196` `pow-sqr_binary64_21193` `sqr-pow_binary64_21192` `difference-of-sqr--1_binary64_21191` `difference-of-sqr-1_binary64_21190` `difference-of-squares_binary64_21189` `unswap-sqr_binary64_21188` `swap-sqr_binary64_21187` `cancel-sign-sub-inv_binary64_21186` `cancel-sign-sub_binary64_21185` `distribute-neg-frac_binary64_21184` `distribute-frac-neg_binary64_21183` `distribute-neg-out_binary64_21182` `distribute-neg-in_binary64_21181` `distribute-rgt-neg-out_binary64_21180` `distribute-lft-neg-out_binary64_21179` `distribute-rgt-neg-in_binary64_21178` `distribute-lft-neg-in_binary64_21177` `distribute-rgt1-in_binary64_21176` `distribute-lft1-in_binary64_21175` `distribute-rgt-out--_binary64_21174` `distribute-rgt-out_binary64_21173` `distribute-lft-out--_binary64_21172` `distribute-lft-out_binary64_21171` `distribute-rgt-in_binary64_21170` `distribute-lft-in_binary64_21169` `count-2_binary64_21168` `associate-/l/_binary64_21167` `associate-/r_binary64_21164` `associate-l/_binary64_21163` `associate-r/_binary64_21162` `associate-l_binary64_21161` `associate-r_binary64_21160` `associate--r-_binary64_21159` `associate--l-_binary64_21158` `associate--l+_binary64_21157` `associate--r+_binary64_21156` `associate-+l-_binary64_21155` `associate-+r-_binary64_21154` `associate-+l+_binary64_21153` `associate-+r+_binary64_21152` `+-commutative_binary64_21150`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	13	7
3	16	7
4	17	7
5	17	7

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

6.2b

Counts

1 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

6.1b	(/.f64 (*.f64 x y) z)

rewrite24.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-exp-log_binary64_21258` `add-cbrt-cube_binary64_21256`
3×	`add-cube-cbrt_binary64_21255` `add-sqr-sqrt_binary64_21242` `times-frac_binary64_21226` `-un-lft-identity_binary64_21220` `associate-/r_binary64_21164`
2×	`div-exp_binary64_21271` `cbrt-undiv_binary64_21254`
1×	`pow1_binary64_21281` `prod-exp_binary64_21269` `add-log-exp_binary64_21259` `cbrt-unprod_binary64_21253` `frac-2neg_binary64_21231` `clear-num_binary64_21219` `div-inv_binary64_21217` `associate-/l*_binary64_21165`

Counts

1 → 21

Calls

1 calls:

4.0ms

(/.f64 (*.f64 x y) z)

Compiler

Compiled 214 to 74 computations (65.4% saved)

series151.0ms (2.7%)

Error

6.2b

Counts

1 → 9

Calls

1 calls:

148.0ms

(/.f64 (*.f64 x y) z)

Compiler

Compiled 135 to 95 computations (29.6% saved)

simplify119.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1114×	`div-sub_binary64_21225`
1002×	`associate-/r/_binary64_21166`
543×	`sub-neg_binary64_21213`
355×	`associate-/l*_binary64_21165`
299×	`*-commutative_binary64_21151`
294×	`times-frac_binary64_21226`
280×	`cancel-sign-sub-inv_binary64_21186`
263×	`unsub-neg_binary64_21214`
189×	`sqr-pow_binary64_21192`
184×	`+-commutative_binary64_21150`
176×	`div0_binary64_21201`
163×	`distribute-neg-in_binary64_21181` `associate--l-_binary64_21158`
150×	`associate-/l/_binary64_21167`
136×	`distribute-rgt-in_binary64_21170`
133×	`associate-*l/_binary64_21163`
122×	`associate--l+_binary64_21157`
109×	`associate--r-_binary64_21159`
107×	`associate-l_binary64_21161`
102×	`unswap-sqr_binary64_21188`
98×	`associate-*r/_binary64_21162`
91×	`associate-/r*_binary64_21164`
90×	`associate-+l-_binary64_21155`
81×	`pow-sqr_binary64_21193`
73×	`associate-+r-_binary64_21154`
58×	`distribute-rgt-neg-in_binary64_21178` `associate-r_binary64_21160`
57×	`distribute-lft-in_binary64_21169`
54×	`distribute-lft-neg-in_binary64_21177`
50×	`associate-+l+_binary64_21153`
44×	`neg-mul-1_binary64_21216` `neg-sub0_binary64_21215`
43×	`distribute-neg-out_binary64_21182`
41×	`distribute-lft-neg-out_binary64_21179`
33×	`mul0-rgt_binary64_21203` `mul0-lft_binary64_21202`
30×	`associate--r+_binary64_21156`
26×	`*-rgt-identity_binary64_21210`
23×	`log-div_binary64_21307`
20×	`log-prod_binary64_21306` `swap-sqr_binary64_21187` `cancel-sign-sub_binary64_21185`
19×	`distribute-rgt-neg-out_binary64_21180`
18×	`cube-div_binary64_21249` `cube-prod_binary64_21248` `/-rgt-identity_binary64_21211`
17×	`*-lft-identity_binary64_21209`
16×	`distribute-lft-out--_binary64_21172`
15×	`associate-+r+_binary64_21152`
14×	`distribute-rgt-out_binary64_21173`
10×	`--rgt-identity_binary64_21206`
8×	`exp-sum_binary64_21266` `remove-double-neg_binary64_21208`
7×	`unpow3_binary64_21286` `+-rgt-identity_binary64_21205`
6×	`exp-prod_binary64_21272` `exp-diff_binary64_21268` `sub0-neg_binary64_21207` `distribute-rgt1-in_binary64_21176` `distribute-rgt-out--_binary64_21174`
5×	`cube-unmult_binary64_21257` `distribute-neg-frac_binary64_21184` `distribute-lft-out_binary64_21171`
4×	`cube-mult_binary64_21250`
2×	`log-rec_binary64_21308` `distribute-lft1-in_binary64_21175`
1×	`1-exp_binary64_21264` `mul-1-neg_binary64_21212` `+-lft-identity_binary64_21204` `count-2_binary64_21168`
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_21483` `erf-erfc_binary64_21482` `erf-odd_binary64_21481` `if-if-and-not_binary64_21480` `if-if-and_binary64_21479` `if-if-or-not_binary64_21478` `if-if-or_binary64_21477` `if-not_binary64_21476` `if-same_binary64_21475` `if-false_binary64_21474` `if-true_binary64_21473` `not-gte_binary64_21472` `not-lte_binary64_21471` `not-gt_binary64_21470` `not-lt_binary64_21469` `gte-same_binary64_21468` `lte-same_binary64_21467` `gt-same_binary64_21466` `lt-same_binary64_21465` `sinh---cosh_binary64_21412` `sinh-+-cosh_binary64_21411` `sinh-cosh_binary64_21410` `tanh-def-c_binary64_21409` `tanh-def-b_binary64_21408` `tanh-def-a_binary64_21407` `cosh-def_binary64_21406` `sinh-def_binary64_21405` `tan-neg_binary64_21352` `cos-neg_binary64_21351` `sin-neg_binary64_21350` `tan-0_binary64_21349` `cos-0_binary64_21348` `sin-0_binary64_21347` `hang-m-tan_binary64_21346` `hang-p-tan_binary64_21345` `hang-m0-tan_binary64_21344` `hang-p0-tan_binary64_21343` `hang-0m-tan_binary64_21342` `hang-0p-tan_binary64_21341` `tan-+PI/2_binary64_21340` `tan-+PI_binary64_21339` `tan-PI_binary64_21338` `tan-PI/3_binary64_21337` `tan-PI/4_binary64_21336` `tan-PI/6_binary64_21335` `cos-+PI/2_binary64_21334` `cos-+PI_binary64_21333` `cos-PI_binary64_21332` `cos-PI/2_binary64_21331` `cos-PI/3_binary64_21330` `cos-PI/4_binary64_21329` `cos-PI/6_binary64_21328` `sin-+PI/2_binary64_21327` `sin-+PI_binary64_21326` `sin-PI_binary64_21325` `sin-PI/2_binary64_21324` `sin-PI/3_binary64_21323` `sin-PI/4_binary64_21322` `sin-PI/6_binary64_21321` `sub-1-sin_binary64_21320` `sub-1-cos_binary64_21319` `-1-add-sin_binary64_21318` `-1-add-cos_binary64_21317` `1-sub-sin_binary64_21316` `1-sub-cos_binary64_21315` `cos-sin-sum_binary64_21314` `log-E_binary64_21310` `log-pow_binary64_21309` `pow-base-0_binary64_21304` `unpow1/3_binary64_21287` `unpow2_binary64_21285` `unpow1/2_binary64_21284` `pow-plus_binary64_21283` `exp-to-pow_binary64_21282` `pow-base-1_binary64_21280` `unpow0_binary64_21279` `unpow1_binary64_21278` `unpow-1_binary64_21277` `exp-lft-cube_binary64_21276` `exp-lft-sqr_binary64_21275` `exp-cbrt_binary64_21274` `exp-sqrt_binary64_21273` `div-exp_binary64_21271` `rec-exp_binary64_21270` `prod-exp_binary64_21269` `exp-neg_binary64_21267` `e-exp-1_binary64_21265` `exp-1-e_binary64_21263` `exp-0_binary64_21262` `rem-log-exp_binary64_21261` `rem-exp-log_binary64_21260` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-3cbrt-lft_binary64_21245` `rem-cbrt-cube_binary64_21244` `rem-cube-cbrt_binary64_21243` `sqr-abs_binary64_21235` `sqr-neg_binary64_21234` `rem-sqrt-square_binary64_21233` `rem-square-sqrt_binary64_21232` `*-inverses_binary64_21200` `+-inverses_binary64_21199` `lft-mult-inverse_binary64_21198` `rgt-mult-inverse_binary64_21197` `remove-double-div_binary64_21196` `difference-of-sqr--1_binary64_21191` `difference-of-sqr-1_binary64_21190` `difference-of-squares_binary64_21189` `distribute-frac-neg_binary64_21183`

Counts

30 → 9

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	49	306
1	115	261
2	397	261
3	1588	261
4	1967	261
5	2299	261
6	2896	261
7	3453	261
8	3850	261
9	4637	261
10	4671	261

prune11.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	5	4	9
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	5	5	10

Error

0.1b

Counts

10 → 5

Compiler

Compiled 103 to 55 computations (46.6% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
1.6b	(/.f64 (.f64 y (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z))
3.3b	(.f64 y (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))))

rewrite110.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`add-exp-log_binary64_21258`
19×	`add-cbrt-cube_binary64_21256`
17×	`add-sqr-sqrt_binary64_21242`
13×	`add-cube-cbrt_binary64_21255` `*-un-lft-identity_binary64_21220`
12×	`cbrt-prod_binary64_21251`
10×	`times-frac_binary64_21226`
8×	`prod-exp_binary64_21269` `div-exp_binary64_21271` `cbrt-unprod_binary64_21253` `cbrt-undiv_binary64_21254`
7×	`associate-r_binary64_21160`
6×	`pow1_binary64_21281` `associate-/r*_binary64_21164`
4×	`add-log-exp_binary64_21259`
3×	`associate-l_binary64_21161`
2×	`unswap-sqr_binary64_21188` `associate-*r/_binary64_21162` `div-inv_binary64_21217` `pow1/3_binary64_21302`
1×	`pow-prod-down_binary64_21291` `-commutative_binary64_21151` `frac-2neg_binary64_21231` `clear-num_binary64_21219` `associate-/l/_binary64_21167` `associate-/l_binary64_21165`

Counts

4 → 82

Calls

4 calls:

10.0ms	(/.f64 (.f64 y (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z))
9.0ms	(.f64 y (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 1517 to 296 computations (80.5% saved)

series987.0ms (17.9%)

Error

0.1b

Counts

4 → 24

Calls

4 calls:

581.0ms	(.f64 y (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))))
179.0ms	(/.f64 (.f64 y (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z))
108.0ms	(cbrt.f64 z)
104.0ms	(cbrt.f64 z)

Compiler

Compiled 813 to 619 computations (23.9% saved)

simplify103.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

814×	`associate-/r/_binary64_21166`
299×	`*-commutative_binary64_21151`
237×	`unswap-sqr_binary64_21188`
181×	`cancel-sign-sub-inv_binary64_21186`
169×	`log-div_binary64_21307`
157×	`log-prod_binary64_21306`
145×	`distribute-rgt-neg-in_binary64_21178`
135×	`sub-neg_binary64_21213`
132×	`cube-prod_binary64_21248`
120×	`associate-/l*_binary64_21165`
117×	`distribute-lft-neg-in_binary64_21177`
109×	`times-frac_binary64_21226`
98×	`sqr-pow_binary64_21192`
89×	`associate-l_binary64_21161`
81×	`cube-div_binary64_21249`
80×	`distribute-neg-frac_binary64_21184` `associate-/r*_binary64_21164`
73×	`associate-*l/_binary64_21163`
72×	`associate-*r/_binary64_21162`
71×	`distribute-rgt-in_binary64_21170`
67×	`distribute-lft-in_binary64_21169` `associate-r_binary64_21160`
65×	`exp-prod_binary64_21272`
61×	`swap-sqr_binary64_21187`
57×	`neg-sub0_binary64_21215`
54×	`neg-mul-1_binary64_21216`
46×	`associate-/l/_binary64_21167`
37×	`div-sub_binary64_21225`
32×	`distribute-neg-in_binary64_21181`
29×	`associate--l+_binary64_21157`
28×	`unpow3_binary64_21286`
27×	`/-rgt-identity_binary64_21211`
25×	`cube-mult_binary64_21250` `associate-+l-_binary64_21155`
23×	`*-rgt-identity_binary64_21210`
22×	`associate--l-_binary64_21158`
21×	`associate-+l+_binary64_21153`
19×	`unsub-neg_binary64_21214` `associate-+r-_binary64_21154`
18×	`*-lft-identity_binary64_21209`
17×	`log-pow_binary64_21309` `log-rec_binary64_21308` `+-commutative_binary64_21150`
15×	`associate--r+_binary64_21156`
14×	`associate-+r+_binary64_21152`
13×	`cube-unmult_binary64_21257`
10×	`pow-plus_binary64_21283` `pow-sqr_binary64_21193` `distribute-lft-neg-out_binary64_21179`
9×	`distribute-frac-neg_binary64_21183` `distribute-rgt-neg-out_binary64_21180`
8×	`distribute-rgt-out_binary64_21173` `distribute-lft-out_binary64_21171` `count-2_binary64_21168`
7×	`+-rgt-identity_binary64_21205`
6×	`distribute-neg-out_binary64_21182`
5×	`rem-sqrt-square_binary64_21233` `remove-double-neg_binary64_21208` `distribute-lft-out--_binary64_21172`
4×	`mul-1-neg_binary64_21212` `div0_binary64_21201`
3×	`unpow1/3_binary64_21287` `unpow2_binary64_21285` `unpow1/2_binary64_21284` `distribute-rgt-out--_binary64_21174` `associate--r-_binary64_21159`
2×	`unpow1_binary64_21278`
1×	`exp-diff_binary64_21268` `exp-sum_binary64_21266` `1-exp_binary64_21264` `exp-1-e_binary64_21263` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-3cbrt-lft_binary64_21245` `rem-cube-cbrt_binary64_21243` `sqr-neg_binary64_21234` `sub0-neg_binary64_21207` `--rgt-identity_binary64_21206` `mul0-rgt_binary64_21203` `mul0-lft_binary64_21202` `+-inverses_binary64_21199` `remove-double-div_binary64_21196` `distribute-rgt1-in_binary64_21176`
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_21483` `erf-erfc_binary64_21482` `erf-odd_binary64_21481` `if-if-and-not_binary64_21480` `if-if-and_binary64_21479` `if-if-or-not_binary64_21478` `if-if-or_binary64_21477` `if-not_binary64_21476` `if-same_binary64_21475` `if-false_binary64_21474` `if-true_binary64_21473` `not-gte_binary64_21472` `not-lte_binary64_21471` `not-gt_binary64_21470` `not-lt_binary64_21469` `gte-same_binary64_21468` `lte-same_binary64_21467` `gt-same_binary64_21466` `lt-same_binary64_21465` `sinh---cosh_binary64_21412` `sinh-+-cosh_binary64_21411` `sinh-cosh_binary64_21410` `tanh-def-c_binary64_21409` `tanh-def-b_binary64_21408` `tanh-def-a_binary64_21407` `cosh-def_binary64_21406` `sinh-def_binary64_21405` `tan-neg_binary64_21352` `cos-neg_binary64_21351` `sin-neg_binary64_21350` `tan-0_binary64_21349` `cos-0_binary64_21348` `sin-0_binary64_21347` `hang-m-tan_binary64_21346` `hang-p-tan_binary64_21345` `hang-m0-tan_binary64_21344` `hang-p0-tan_binary64_21343` `hang-0m-tan_binary64_21342` `hang-0p-tan_binary64_21341` `tan-+PI/2_binary64_21340` `tan-+PI_binary64_21339` `tan-PI_binary64_21338` `tan-PI/3_binary64_21337` `tan-PI/4_binary64_21336` `tan-PI/6_binary64_21335` `cos-+PI/2_binary64_21334` `cos-+PI_binary64_21333` `cos-PI_binary64_21332` `cos-PI/2_binary64_21331` `cos-PI/3_binary64_21330` `cos-PI/4_binary64_21329` `cos-PI/6_binary64_21328` `sin-+PI/2_binary64_21327` `sin-+PI_binary64_21326` `sin-PI_binary64_21325` `sin-PI/2_binary64_21324` `sin-PI/3_binary64_21323` `sin-PI/4_binary64_21322` `sin-PI/6_binary64_21321` `sub-1-sin_binary64_21320` `sub-1-cos_binary64_21319` `-1-add-sin_binary64_21318` `-1-add-cos_binary64_21317` `1-sub-sin_binary64_21316` `1-sub-cos_binary64_21315` `cos-sin-sum_binary64_21314` `log-E_binary64_21310` `pow-base-0_binary64_21304` `exp-to-pow_binary64_21282` `pow-base-1_binary64_21280` `unpow0_binary64_21279` `unpow-1_binary64_21277` `exp-lft-cube_binary64_21276` `exp-lft-sqr_binary64_21275` `exp-cbrt_binary64_21274` `exp-sqrt_binary64_21273` `div-exp_binary64_21271` `rec-exp_binary64_21270` `prod-exp_binary64_21269` `exp-neg_binary64_21267` `e-exp-1_binary64_21265` `exp-0_binary64_21262` `rem-log-exp_binary64_21261` `rem-exp-log_binary64_21260` `rem-cbrt-cube_binary64_21244` `sqr-abs_binary64_21235` `rem-square-sqrt_binary64_21232` `+-lft-identity_binary64_21204` `*-inverses_binary64_21200` `lft-mult-inverse_binary64_21198` `rgt-mult-inverse_binary64_21197` `difference-of-sqr--1_binary64_21191` `difference-of-sqr-1_binary64_21190` `difference-of-squares_binary64_21189` `cancel-sign-sub_binary64_21185` `distribute-lft1-in_binary64_21175`

Counts

106 → 71

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	131	1794
1	302	1115
2	1350	1115
3	2702	1115
4	4979	1115
5	4959	1115

prune65.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	66	5	71
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	69	7	76

Error

Counts

76 → 7

Compiler

Compiled 974 to 401 computations (58.8% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
1.6b	(/.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 z))) (cbrt.f64 z))
3.0b	(*.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 z)))

rewrite160.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

66×	`add-sqr-sqrt_binary64_21242`
54×	`times-frac_binary64_21226`
36×	`add-cube-cbrt_binary64_21255` `*-un-lft-identity_binary64_21220` `cbrt-prod_binary64_21251`
34×	`add-exp-log_binary64_21258`
22×	`associate-l_binary64_21161` `associate-r_binary64_21160`
21×	`add-cbrt-cube_binary64_21256`
13×	`div-exp_binary64_21271` `cbrt-undiv_binary64_21254`
9×	`unswap-sqr_binary64_21188`
8×	`prod-exp_binary64_21269` `cbrt-unprod_binary64_21253`
6×	`pow1_binary64_21281` `associate-/r*_binary64_21164`
4×	`add-log-exp_binary64_21259`
3×	`div-inv_binary64_21217` `associate-/l/_binary64_21167`
2×	`frac-times_binary64_21230` `associate-l/_binary64_21163` `associate-r/_binary64_21162` `pow1/3_binary64_21302`
1×	`pow-prod-down_binary64_21291` `-commutative_binary64_21151` `frac-2neg_binary64_21231` `clear-num_binary64_21219` `associate-/l_binary64_21165`

Counts

4 → 131

Calls

4 calls:

20.0ms	(*.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 z)))
15.0ms	(/.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 z))) (cbrt.f64 z))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 2592 to 501 computations (80.7% saved)

series989.0ms (17.9%)

Error

Counts

4 → 24

Calls

4 calls:

593.0ms	(*.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 z)))
168.0ms	(/.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 z))) (cbrt.f64 z))
108.0ms	(cbrt.f64 z)
104.0ms	(cbrt.f64 z)

Compiler

Compiled 813 to 616 computations (24.2% saved)

simplify162.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

536×	`associate-/r/_binary64_21166`
469×	`*-commutative_binary64_21151`
282×	`log-prod_binary64_21306`
218×	`associate-/l*_binary64_21165`
193×	`log-div_binary64_21307`
188×	`associate-*r/_binary64_21162`
183×	`associate-*l/_binary64_21163`
165×	`cancel-sign-sub-inv_binary64_21186`
153×	`cube-prod_binary64_21248`
140×	`sub-neg_binary64_21213`
138×	`times-frac_binary64_21226`
125×	`unswap-sqr_binary64_21188`
115×	`associate-l_binary64_21161`
110×	`associate-/r*_binary64_21164`
108×	`sqr-pow_binary64_21192` `associate-r_binary64_21160`
107×	`associate-/l/_binary64_21167`
93×	`cube-div_binary64_21249`
87×	`swap-sqr_binary64_21187`
75×	`exp-prod_binary64_21272`
58×	`neg-sub0_binary64_21215`
56×	`neg-mul-1_binary64_21216`
52×	`distribute-rgt-neg-in_binary64_21178`
50×	`distribute-lft-neg-in_binary64_21177`
45×	`distribute-neg-frac_binary64_21184`
43×	`div-sub_binary64_21225` `associate--l+_binary64_21157`
36×	`*-rgt-identity_binary64_21210`
31×	`*-lft-identity_binary64_21209`
29×	`unpow3_binary64_21286` `/-rgt-identity_binary64_21211`
27×	`associate-+l-_binary64_21155`
26×	`cube-mult_binary64_21250`
23×	`log-pow_binary64_21309`
21×	`associate-+l+_binary64_21153` `associate-+r+_binary64_21152`
20×	`associate-+r-_binary64_21154`
19×	`unsub-neg_binary64_21214`
17×	`associate--l-_binary64_21158`
15×	`log-rec_binary64_21308`
14×	`associate--r+_binary64_21156`
13×	`+-commutative_binary64_21150`
11×	`pow-sqr_binary64_21193`
10×	`cube-unmult_binary64_21257`
8×	`associate--r-_binary64_21159`
6×	`+-rgt-identity_binary64_21205`
5×	`pow-plus_binary64_21283` `rem-sqrt-square_binary64_21233` `distribute-neg-in_binary64_21181`
4×	`remove-double-neg_binary64_21208` `div0_binary64_21201` `distribute-frac-neg_binary64_21183`
3×	`unpow1/3_binary64_21287` `unpow1/2_binary64_21284` `mul-1-neg_binary64_21212` `--rgt-identity_binary64_21206`
2×	`unpow2_binary64_21285` `unpow1_binary64_21278` `remove-double-div_binary64_21196` `distribute-rgt-in_binary64_21170` `distribute-lft-in_binary64_21169` `count-2_binary64_21168`
1×	`exp-diff_binary64_21268` `exp-sum_binary64_21266` `1-exp_binary64_21264` `exp-1-e_binary64_21263` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-3cbrt-lft_binary64_21245` `rem-cube-cbrt_binary64_21243` `sqr-neg_binary64_21234` `sub0-neg_binary64_21207` `mul0-rgt_binary64_21203` `mul0-lft_binary64_21202` `+-inverses_binary64_21199` `distribute-rgt-neg-out_binary64_21180` `distribute-lft-neg-out_binary64_21179` `distribute-rgt-out_binary64_21173` `distribute-lft-out_binary64_21171`
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_21483` `erf-erfc_binary64_21482` `erf-odd_binary64_21481` `if-if-and-not_binary64_21480` `if-if-and_binary64_21479` `if-if-or-not_binary64_21478` `if-if-or_binary64_21477` `if-not_binary64_21476` `if-same_binary64_21475` `if-false_binary64_21474` `if-true_binary64_21473` `not-gte_binary64_21472` `not-lte_binary64_21471` `not-gt_binary64_21470` `not-lt_binary64_21469` `gte-same_binary64_21468` `lte-same_binary64_21467` `gt-same_binary64_21466` `lt-same_binary64_21465` `sinh---cosh_binary64_21412` `sinh-+-cosh_binary64_21411` `sinh-cosh_binary64_21410` `tanh-def-c_binary64_21409` `tanh-def-b_binary64_21408` `tanh-def-a_binary64_21407` `cosh-def_binary64_21406` `sinh-def_binary64_21405` `tan-neg_binary64_21352` `cos-neg_binary64_21351` `sin-neg_binary64_21350` `tan-0_binary64_21349` `cos-0_binary64_21348` `sin-0_binary64_21347` `hang-m-tan_binary64_21346` `hang-p-tan_binary64_21345` `hang-m0-tan_binary64_21344` `hang-p0-tan_binary64_21343` `hang-0m-tan_binary64_21342` `hang-0p-tan_binary64_21341` `tan-+PI/2_binary64_21340` `tan-+PI_binary64_21339` `tan-PI_binary64_21338` `tan-PI/3_binary64_21337` `tan-PI/4_binary64_21336` `tan-PI/6_binary64_21335` `cos-+PI/2_binary64_21334` `cos-+PI_binary64_21333` `cos-PI_binary64_21332` `cos-PI/2_binary64_21331` `cos-PI/3_binary64_21330` `cos-PI/4_binary64_21329` `cos-PI/6_binary64_21328` `sin-+PI/2_binary64_21327` `sin-+PI_binary64_21326` `sin-PI_binary64_21325` `sin-PI/2_binary64_21324` `sin-PI/3_binary64_21323` `sin-PI/4_binary64_21322` `sin-PI/6_binary64_21321` `sub-1-sin_binary64_21320` `sub-1-cos_binary64_21319` `-1-add-sin_binary64_21318` `-1-add-cos_binary64_21317` `1-sub-sin_binary64_21316` `1-sub-cos_binary64_21315` `cos-sin-sum_binary64_21314` `log-E_binary64_21310` `pow-base-0_binary64_21304` `exp-to-pow_binary64_21282` `pow-base-1_binary64_21280` `unpow0_binary64_21279` `unpow-1_binary64_21277` `exp-lft-cube_binary64_21276` `exp-lft-sqr_binary64_21275` `exp-cbrt_binary64_21274` `exp-sqrt_binary64_21273` `div-exp_binary64_21271` `rec-exp_binary64_21270` `prod-exp_binary64_21269` `exp-neg_binary64_21267` `e-exp-1_binary64_21265` `exp-0_binary64_21262` `rem-log-exp_binary64_21261` `rem-exp-log_binary64_21260` `rem-cbrt-cube_binary64_21244` `sqr-abs_binary64_21235` `rem-square-sqrt_binary64_21232` `+-lft-identity_binary64_21204` `*-inverses_binary64_21200` `lft-mult-inverse_binary64_21198` `rgt-mult-inverse_binary64_21197` `difference-of-sqr--1_binary64_21191` `difference-of-sqr-1_binary64_21190` `difference-of-squares_binary64_21189` `cancel-sign-sub_binary64_21185` `distribute-neg-out_binary64_21182` `distribute-rgt1-in_binary64_21176` `distribute-lft1-in_binary64_21175` `distribute-rgt-out--_binary64_21174` `distribute-lft-out--_binary64_21172`

Counts

155 → 107

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	198	2934
1	543	2146
2	2187	2146
3	3539	2146
4	4778	2146
5	4985	2146
6	4947	2146

prune89.0ms (1.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	107	7	114

Error

Counts

114 → 7

Compiler

Compiled 1695 to 554 computations (67.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

5.8b	(*.f64 y (/.f64 x z))

rewrite34.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`add-sqr-sqrt_binary64_21242`
13×	`associate-r_binary64_21160`
10×	`times-frac_binary64_21226`
9×	`add-cube-cbrt_binary64_21255` `*-un-lft-identity_binary64_21220`
6×	`add-exp-log_binary64_21258` `add-cbrt-cube_binary64_21256`
3×	`pow1_binary64_21281` `associate-l_binary64_21161`
2×	`prod-exp_binary64_21269` `cbrt-unprod_binary64_21253` `unswap-sqr_binary64_21188`
1×	`pow-prod-down_binary64_21291` `div-exp_binary64_21271` `add-log-exp_binary64_21259` `cbrt-undiv_binary64_21254` `associate-r/_binary64_21162` `div-inv_binary64_21217` `-commutative_binary64_21151`

Counts

1 → 32

Calls

1 calls:

8.0ms

(*.f64 y (/.f64 x z))

Compiler

Compiled 373 to 120 computations (67.8% saved)

series132.0ms (2.4%)

Error

Counts

1 → 9

Calls

1 calls:

128.0ms

(*.f64 y (/.f64 x z))

Compiler

Compiled 135 to 95 computations (29.6% saved)

simplify113.0ms (2%)

Algorithm

1×	egg-herbie

Rules

550×	`unsub-neg_binary64_21214`
443×	`unswap-sqr_binary64_21188`
384×	`associate-/l/_binary64_21167`
375×	`distribute-rgt-in_binary64_21170`
359×	`distribute-neg-in_binary64_21181`
349×	`sub-neg_binary64_21213`
337×	`sqr-pow_binary64_21192`
299×	`associate--l+_binary64_21157`
297×	`cancel-sign-sub-inv_binary64_21186`
286×	`associate-/r*_binary64_21164`
284×	`associate-/r/_binary64_21166`
225×	`associate-l_binary64_21161`
201×	`*-commutative_binary64_21151`
196×	`associate-*r/_binary64_21162`
193×	`associate-*l/_binary64_21163`
191×	`pow-sqr_binary64_21193`
172×	`associate-+l-_binary64_21155`
168×	`associate-/l*_binary64_21165`
162×	`associate-r_binary64_21160`
110×	`associate--l-_binary64_21158`
109×	`neg-sub0_binary64_21215`
106×	`neg-mul-1_binary64_21216`
93×	`times-frac_binary64_21226`
84×	`*-rgt-identity_binary64_21210`
82×	`associate-+l+_binary64_21153`
80×	`rem-sqrt-square_binary64_21233` `associate--r-_binary64_21159`
70×	`distribute-neg-out_binary64_21182`
67×	`*-lft-identity_binary64_21209`
63×	`associate-+r-_binary64_21154`
60×	`distribute-rgt-neg-in_binary64_21178`
58×	`associate-+r+_binary64_21152`
55×	`distribute-lft-in_binary64_21169`
51×	`distribute-lft-neg-out_binary64_21179`
41×	`distribute-rgt-out--_binary64_21174`
35×	`distribute-lft-neg-in_binary64_21177`
32×	`associate--r+_binary64_21156`
26×	`+-rgt-identity_binary64_21205`
25×	`+-commutative_binary64_21150`
24×	`distribute-rgt-neg-out_binary64_21180`
23×	`remove-double-neg_binary64_21208`
22×	`/-rgt-identity_binary64_21211`
19×	`log-div_binary64_21307` `log-prod_binary64_21306`
18×	`exp-prod_binary64_21272` `distribute-lft-out--_binary64_21172`
16×	`distribute-rgt-out_binary64_21173`
15×	`cube-div_binary64_21249` `cancel-sign-sub_binary64_21185`
13×	`swap-sqr_binary64_21187`
12×	`cube-prod_binary64_21248`
8×	`sub0-neg_binary64_21207` `distribute-lft-out_binary64_21171`
7×	`unpow3_binary64_21286`
6×	`unpow1/2_binary64_21284` `cube-mult_binary64_21250` `distribute-rgt1-in_binary64_21176`
5×	`cube-unmult_binary64_21257` `mul-1-neg_binary64_21212` `--rgt-identity_binary64_21206` `distribute-lft1-in_binary64_21175`
4×	`log-rec_binary64_21308` `remove-double-div_binary64_21196`
2×	`+-lft-identity_binary64_21204` `+-inverses_binary64_21199`
1×	`1-exp_binary64_21264` `exp-1-e_binary64_21263` `count-2_binary64_21168`
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_21483` `erf-erfc_binary64_21482` `erf-odd_binary64_21481` `if-if-and-not_binary64_21480` `if-if-and_binary64_21479` `if-if-or-not_binary64_21478` `if-if-or_binary64_21477` `if-not_binary64_21476` `if-same_binary64_21475` `if-false_binary64_21474` `if-true_binary64_21473` `not-gte_binary64_21472` `not-lte_binary64_21471` `not-gt_binary64_21470` `not-lt_binary64_21469` `gte-same_binary64_21468` `lte-same_binary64_21467` `gt-same_binary64_21466` `lt-same_binary64_21465` `sinh---cosh_binary64_21412` `sinh-+-cosh_binary64_21411` `sinh-cosh_binary64_21410` `tanh-def-c_binary64_21409` `tanh-def-b_binary64_21408` `tanh-def-a_binary64_21407` `cosh-def_binary64_21406` `sinh-def_binary64_21405` `tan-neg_binary64_21352` `cos-neg_binary64_21351` `sin-neg_binary64_21350` `tan-0_binary64_21349` `cos-0_binary64_21348` `sin-0_binary64_21347` `hang-m-tan_binary64_21346` `hang-p-tan_binary64_21345` `hang-m0-tan_binary64_21344` `hang-p0-tan_binary64_21343` `hang-0m-tan_binary64_21342` `hang-0p-tan_binary64_21341` `tan-+PI/2_binary64_21340` `tan-+PI_binary64_21339` `tan-PI_binary64_21338` `tan-PI/3_binary64_21337` `tan-PI/4_binary64_21336` `tan-PI/6_binary64_21335` `cos-+PI/2_binary64_21334` `cos-+PI_binary64_21333` `cos-PI_binary64_21332` `cos-PI/2_binary64_21331` `cos-PI/3_binary64_21330` `cos-PI/4_binary64_21329` `cos-PI/6_binary64_21328` `sin-+PI/2_binary64_21327` `sin-+PI_binary64_21326` `sin-PI_binary64_21325` `sin-PI/2_binary64_21324` `sin-PI/3_binary64_21323` `sin-PI/4_binary64_21322` `sin-PI/6_binary64_21321` `sub-1-sin_binary64_21320` `sub-1-cos_binary64_21319` `-1-add-sin_binary64_21318` `-1-add-cos_binary64_21317` `1-sub-sin_binary64_21316` `1-sub-cos_binary64_21315` `cos-sin-sum_binary64_21314` `log-E_binary64_21310` `log-pow_binary64_21309` `pow-base-0_binary64_21304` `unpow1/3_binary64_21287` `unpow2_binary64_21285` `pow-plus_binary64_21283` `exp-to-pow_binary64_21282` `pow-base-1_binary64_21280` `unpow0_binary64_21279` `unpow1_binary64_21278` `unpow-1_binary64_21277` `exp-lft-cube_binary64_21276` `exp-lft-sqr_binary64_21275` `exp-cbrt_binary64_21274` `exp-sqrt_binary64_21273` `div-exp_binary64_21271` `rec-exp_binary64_21270` `prod-exp_binary64_21269` `exp-diff_binary64_21268` `exp-neg_binary64_21267` `exp-sum_binary64_21266` `e-exp-1_binary64_21265` `exp-0_binary64_21262` `rem-log-exp_binary64_21261` `rem-exp-log_binary64_21260` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-3cbrt-lft_binary64_21245` `rem-cbrt-cube_binary64_21244` `rem-cube-cbrt_binary64_21243` `sqr-abs_binary64_21235` `sqr-neg_binary64_21234` `rem-square-sqrt_binary64_21232` `div-sub_binary64_21225` `mul0-rgt_binary64_21203` `mul0-lft_binary64_21202` `div0_binary64_21201` `*-inverses_binary64_21200` `lft-mult-inverse_binary64_21198` `rgt-mult-inverse_binary64_21197` `difference-of-sqr--1_binary64_21191` `difference-of-sqr-1_binary64_21190` `difference-of-squares_binary64_21189` `distribute-neg-frac_binary64_21184` `distribute-frac-neg_binary64_21183`

Counts

41 → 21

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	70	435
1	160	390
2	524	390
3	1313	390
4	2188	390
5	2511	390
6	3496	390
7	3853	390
8	4216	390
9	5386	390

prune12.0ms (0.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	1	3	4
Picked	0	1	1
Done	1	1	2
Total	22	6	28

Error

Counts

28 → 6

Compiler

Compiled 184 to 57 computations (69% saved)

regimes452.0ms (8.2%)

Accuracy

Total 2.4b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 3265 to 2002 computations (38.7% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64_21151`
1×	`if-if-or-not_binary64_21478`
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_21480` `if-if-and_binary64_21479` `if-if-or_binary64_21477` `if-not_binary64_21476` `if-same_binary64_21475` `if-false_binary64_21474` `if-true_binary64_21473` `tan-0_binary64_21349` `cos-0_binary64_21348` `sin-0_binary64_21347` `unpow1_binary64_21278` `e-exp-1_binary64_21265` `1-exp_binary64_21264` `exp-1-e_binary64_21263` `exp-0_binary64_21262` `sqr-abs_binary64_21235` `sqr-neg_binary64_21234` `neg-mul-1_binary64_21216` `neg-sub0_binary64_21215` `unsub-neg_binary64_21214` `sub-neg_binary64_21213` `mul-1-neg_binary64_21212` `/-rgt-identity_binary64_21211` `-rgt-identity_binary64_21210` `-lft-identity_binary64_21209` `remove-double-neg_binary64_21208` `sub0-neg_binary64_21207` `--rgt-identity_binary64_21206` `+-rgt-identity_binary64_21205` `+-lft-identity_binary64_21204` `cancel-sign-sub-inv_binary64_21186` `cancel-sign-sub_binary64_21185` `distribute-neg-frac_binary64_21184` `distribute-frac-neg_binary64_21183` `distribute-neg-out_binary64_21182` `distribute-neg-in_binary64_21181` `distribute-rgt-neg-out_binary64_21180` `distribute-lft-neg-out_binary64_21179` `distribute-rgt-neg-in_binary64_21178` `distribute-lft-neg-in_binary64_21177` `+-commutative_binary64_21150`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	58
1	28	58
2	28	58

Compiler

Compiled 74 to 42 computations (43.2% saved)

end0.0ms (0%)

sample1.3s (22.9%)

Algorithm

1×

intervals

Results

197.0ms	8000×	body	128	valid
20.0ms	735×	body	128	invalid

Compiler

Compiled 663 to 405 computations (38.9% saved)

Details

analyze477.0ms (8.6%)

sample24.0ms (0.4%)

simplify9.0ms (0.2%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite24.0ms (0.4%)

series151.0ms (2.7%)

simplify119.0ms (2.1%)

prune11.0ms (0.2%)

localize8.0ms (0.1%)

rewrite110.0ms (2%)

series987.0ms (17.9%)

simplify103.0ms (1.9%)

prune65.0ms (1.2%)

localize8.0ms (0.1%)

rewrite160.0ms (2.9%)

series989.0ms (17.9%)

simplify162.0ms (2.9%)

prune89.0ms (1.6%)

localize4.0ms (0.1%)

rewrite34.0ms (0.6%)

series132.0ms (2.4%)

simplify113.0ms (2%)

prune12.0ms (0.2%)

regimes452.0ms (8.2%)

bsearch2.0ms (0%)

simplify12.0ms (0.2%)

end0.0ms (0%)

sample1.3s (22.9%)

Profiling