Details

analyze263.0ms (0.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
6.2%	93.6%	0.2%	5
6.2%	68.6%	25.1%	6
6.2%	49.9%	43.9%	7
6.2%	35.9%	57.9%	8
6.2%	25.3%	68.4%	9
6.2%	20.1%	73.7%	10
6.2%	15.7%	78.1%	11
6.2%	12%	81.7%	12
6.2%	9%	84.8%	13
6.2%	7.5%	86.3%	14

Compiler

Compiled 32 to 28 computations (12.5% saved)

sample126.0ms (0.4%)

Algorithm

1×

intervals

Results

42.0ms	150×	body	512	valid
28.0ms	313×	body	128	nan
22.0ms	52×	body	1024	valid
6.0ms	34×	body	256	valid
2.0ms	20×	body	128	valid

Compiler

Compiled 63 to 59 computations (6.3% saved)

simplify217.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

651×	`cancel-sign-sub-inv_binary64_21186`
599×	`distribute-neg-in_binary64_21181`
528×	`associate-+r-_binary64_21154`
501×	`associate-+l-_binary64_21155`
470×	`associate--r+_binary64_21156`
356×	`associate--r-_binary64_21159`
336×	`associate--l+_binary64_21157`
313×	`+-commutative_binary64_21150`
244×	`sub-neg_binary64_21213`
231×	`unsub-neg_binary64_21214`
152×	`associate--l-_binary64_21158`
136×	`associate-+l+_binary64_21153`
117×	`neg-mul-1_binary64_21216` `neg-sub0_binary64_21215`
111×	`associate-+r+_binary64_21152`
86×	`sub0-neg_binary64_21207`
75×	`+-rgt-identity_binary64_21205`
43×	`--rgt-identity_binary64_21206`
35×	`distribute-neg-out_binary64_21182`
19×	`remove-double-neg_binary64_21208`
8×	`cancel-sign-sub_binary64_21185`
6×	`distribute-rgt-in_binary64_21170` `*-commutative_binary64_21151`
4×	`distribute-rgt-out_binary64_21173`
2×	`distribute-lft-neg-in_binary64_21177`
1×	`1-exp_binary64_21264` `distribute-lft-neg-out_binary64_21179` `distribute-rgt-neg-in_binary64_21178`
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` `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` `mul-1-neg_binary64_21212` `/-rgt-identity_binary64_21211` `-rgt-identity_binary64_21210` `-lft-identity_binary64_21209` `+-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` `distribute-neg-frac_binary64_21184` `distribute-frac-neg_binary64_21183` `distribute-rgt-neg-out_binary64_21180` `distribute-rgt1-in_binary64_21176` `distribute-lft1-in_binary64_21175` `distribute-rgt-out--_binary64_21174` `distribute-lft-out--_binary64_21172` `distribute-lft-out_binary64_21171` `distribute-lft-in_binary64_21169` `count-2_binary64_21168` `associate-/l/_binary64_21167` `associate-/r/_binary64_21166` `associate-/l_binary64_21165` `associate-/r_binary64_21164` `associate-l/_binary64_21163` `associate-r/_binary64_21162` `associate-l_binary64_21161` `associate-r*_binary64_21160`

Counts

1 → 5

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	50
1	54	50
2	166	50
3	881	50
4	3894	50

prune16.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

4.3b

Counts

6 → 3

Compiler

Compiled 248 to 184 computations (25.8% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.8b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
2.7b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
3.0b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

rewrite298.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

4.0b

Rules

44×	`add-sqr-sqrt_binary64_21242` `sqrt-prod_binary64_21236`
40×	`*-un-lft-identity_binary64_21220`
24×	`cancel-sign-sub-inv_binary64_21186`
16×	`difference-of-squares_binary64_21189`
12×	`add-log-exp_binary64_21259` `add-cube-cbrt_binary64_21255` `distribute-lft-out--_binary64_21172`
4×	`diff-log_binary64_21312` `pow1_binary64_21281` `add-exp-log_binary64_21258` `add-cbrt-cube_binary64_21256` `flip3--_binary64_21224` `sub-neg_binary64_21213` `flip--_binary64_21195` `distribute-lft-out_binary64_21171`

Counts

4 → 96

Calls

4 calls:

12.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
9.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
9.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

Compiler

Compiled 3760 to 2340 computations (37.8% saved)

series224.0ms (0.8%)

Error

4.3b

Counts

4 → 12

Calls

4 calls:

53.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
51.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
49.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
47.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

Compiler

Compiled 1300 to 1049 computations (19.3% saved)

simplify136.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

550×	`associate-r_binary64_21160`
544×	`associate-l_binary64_21161`
352×	`times-frac_binary64_21226`
237×	`associate-/r*_binary64_21164`
171×	`distribute-rgt-in_binary64_21170`
170×	`distribute-lft-in_binary64_21169`
132×	`associate-/l*_binary64_21165`
84×	`associate-+l+_binary64_21153`
83×	`distribute-lft-neg-out_binary64_21179`
77×	`sub-neg_binary64_21213`
64×	`exp-prod_binary64_21272` `*-commutative_binary64_21151`
62×	`neg-sub0_binary64_21215`
59×	`distribute-rgt-neg-in_binary64_21178`
57×	`neg-mul-1_binary64_21216` `distribute-rgt-neg-out_binary64_21180`
46×	`cancel-sign-sub-inv_binary64_21186`
43×	`associate-+r-_binary64_21154`
40×	`sqr-pow_binary64_21192`
39×	`distribute-lft-neg-in_binary64_21177`
37×	`+-commutative_binary64_21150`
28×	`distribute-rgt-out_binary64_21173`
24×	`associate--l+_binary64_21157`
20×	`cube-prod_binary64_21248` `distribute-neg-frac_binary64_21184` `associate-*l/_binary64_21163`
18×	`pow-sqr_binary64_21193`
17×	`associate-*r/_binary64_21162` `associate-+l-_binary64_21155`
16×	`rem-sqrt-square_binary64_21233` `div-sub_binary64_21225` `difference-of-squares_binary64_21189` `swap-sqr_binary64_21187` `associate-+r+_binary64_21152`
12×	`exp-sum_binary64_21266` `rem-square-sqrt_binary64_21232` `distribute-frac-neg_binary64_21183` `associate-/r/_binary64_21166`
9×	`unpow3_binary64_21286` `cube-mult_binary64_21250`
8×	`exp-diff_binary64_21268` `cube-unmult_binary64_21257` `unsub-neg_binary64_21214` `*-lft-identity_binary64_21209` `+-rgt-identity_binary64_21205` `unswap-sqr_binary64_21188`
7×	`mul-1-neg_binary64_21212`
5×	`*-rgt-identity_binary64_21210` `distribute-neg-in_binary64_21181` `distribute-rgt1-in_binary64_21176`
4×	`div-exp_binary64_21271` `rem-3cbrt-lft_binary64_21245` `+-inverses_binary64_21199` `distribute-rgt-out--_binary64_21174` `count-2_binary64_21168` `associate--r-_binary64_21159` `associate--r+_binary64_21156`
1×	`1-exp_binary64_21264` `associate-/l/_binary64_21167`
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` `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` `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-div_binary64_21249` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-cbrt-cube_binary64_21244` `rem-cube-cbrt_binary64_21243` `sqr-abs_binary64_21235` `sqr-neg_binary64_21234` `/-rgt-identity_binary64_21211` `remove-double-neg_binary64_21208` `sub0-neg_binary64_21207` `--rgt-identity_binary64_21206` `+-lft-identity_binary64_21204` `mul0-rgt_binary64_21203` `mul0-lft_binary64_21202` `div0_binary64_21201` `*-inverses_binary64_21200` `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` `cancel-sign-sub_binary64_21185` `distribute-neg-out_binary64_21182` `distribute-lft1-in_binary64_21175` `distribute-lft-out--_binary64_21172` `distribute-lft-out_binary64_21171` `associate--l-_binary64_21158`

Counts

108 → 194

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	196	1732
1	457	1640
2	1032	1628

prune582.0ms (2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	187	7	194
Fresh	2	0	2
Picked	1	0	1
Done	0	0	0
Total	190	7	197

Error

0.5b

Counts

197 → 7

Compiler

Compiled 8132 to 5138 computations (36.8% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (+.f64 1 0) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
1.8b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
3.0b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

rewrite386.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

92×	`*-un-lft-identity_binary64_21220`
53×	`sqrt-prod_binary64_21236`
46×	`add-sqr-sqrt_binary64_21242`
30×	`distribute-lft-out_binary64_21171`
24×	`times-frac_binary64_21226`
22×	`add-cube-cbrt_binary64_21255`
18×	`cancel-sign-sub-inv_binary64_21186`
12×	`difference-of-squares_binary64_21189`
10×	`add-log-exp_binary64_21259`
9×	`distribute-lft-out--_binary64_21172`
6×	`add-exp-log_binary64_21258` `add-cbrt-cube_binary64_21256` `associate-/r*_binary64_21164`
4×	`pow1_binary64_21281` `associate-/l*_binary64_21165`
3×	`diff-log_binary64_21312` `flip3--_binary64_21224` `sub-neg_binary64_21213` `flip--_binary64_21195`
2×	`flip3-+_binary64_21223` `associate-/l/_binary64_21167` `flip-+_binary64_21194` `associate-/r/_binary64_21166`
1×	`div-exp_binary64_21271` `cbrt-undiv_binary64_21254` `frac-2neg_binary64_21231` `clear-num_binary64_21219` `div-inv_binary64_21217`

Counts

4 → 122

Calls

4 calls:

13.0ms	(/.f64 (+.f64 1 0) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
9.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

Compiler

Compiled 5376 to 3631 computations (32.5% saved)

series217.0ms (0.8%)

Error

0.5b

Counts

4 → 12

Calls

4 calls:

54.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
53.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
53.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
34.0ms	(/.f64 (+.f64 1 0) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))

Compiler

Compiled 1348 to 1115 computations (17.3% saved)

simplify485.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

435×	`associate-l_binary64_21161`
420×	`associate-r_binary64_21160`
391×	`times-frac_binary64_21226`
289×	`distribute-rgt-in_binary64_21170`
261×	`distribute-lft-in_binary64_21169`
195×	`associate-/r*_binary64_21164`
180×	`associate-/l*_binary64_21165`
111×	`associate-+l-_binary64_21155`
84×	`associate-*l/_binary64_21163`
82×	`div-sub_binary64_21225` `sub-neg_binary64_21213`
73×	`associate-/r/_binary64_21166`
62×	`distribute-lft-neg-out_binary64_21179`
59×	`cancel-sign-sub-inv_binary64_21186`
58×	`*-commutative_binary64_21151`
56×	`exp-prod_binary64_21272`
53×	`neg-sub0_binary64_21215`
51×	`neg-mul-1_binary64_21216`
49×	`distribute-rgt-neg-in_binary64_21178`
46×	`sqr-pow_binary64_21192`
44×	`distribute-rgt-neg-out_binary64_21180`
42×	`associate-*r/_binary64_21162`
40×	`distribute-rgt-out_binary64_21173` `associate-/l/_binary64_21167`
36×	`associate--l-_binary64_21158` `associate-+l+_binary64_21153`
35×	`+-commutative_binary64_21150`
34×	`distribute-lft-neg-in_binary64_21177`
32×	`difference-of-squares_binary64_21189`
28×	`associate--l+_binary64_21157`
25×	`distribute-neg-frac_binary64_21184`
23×	`pow-sqr_binary64_21193`
22×	`cube-prod_binary64_21248`
21×	`exp-sum_binary64_21266` `unsub-neg_binary64_21214`
20×	`associate-+r+_binary64_21152`
18×	`unswap-sqr_binary64_21188`
16×	`*-rgt-identity_binary64_21210` `swap-sqr_binary64_21187`
15×	`rem-sqrt-square_binary64_21233`
13×	`distribute-neg-out_binary64_21182`
11×	`rem-square-sqrt_binary64_21232` `/-rgt-identity_binary64_21211` `+-rgt-identity_binary64_21205` `distribute-rgt-out--_binary64_21174` `associate-+r-_binary64_21154`
10×	`cube-unmult_binary64_21257` `*-lft-identity_binary64_21209`
9×	`unpow3_binary64_21286` `exp-diff_binary64_21268` `cube-mult_binary64_21250` `mul0-rgt_binary64_21203` `distribute-frac-neg_binary64_21183`
8×	`distribute-neg-in_binary64_21181` `distribute-rgt1-in_binary64_21176`
7×	`+-lft-identity_binary64_21204`
6×	`mul-1-neg_binary64_21212`
5×	`log-div_binary64_21307` `cube-div_binary64_21249` `mul0-lft_binary64_21202` `div0_binary64_21201` `+-inverses_binary64_21199` `associate--r+_binary64_21156`
4×	`div-exp_binary64_21271` `count-2_binary64_21168`
3×	`log-prod_binary64_21306` `pow-plus_binary64_21283` `exp-to-pow_binary64_21282` `rem-3cbrt-lft_binary64_21245` `distribute-lft-out_binary64_21171` `associate--r-_binary64_21159`
2×	`log-pow_binary64_21309` `log-rec_binary64_21308`
1×	`rec-exp_binary64_21270` `prod-exp_binary64_21269` `1-exp_binary64_21264` `exp-1-e_binary64_21263` `rem-log-exp_binary64_21261` `rem-cbrt-cube_binary64_21244` `sub0-neg_binary64_21207` `--rgt-identity_binary64_21206` `*-inverses_binary64_21200` `difference-of-sqr--1_binary64_21191` `difference-of-sqr-1_binary64_21190` `distribute-lft1-in_binary64_21175`
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` `unpow1/3_binary64_21287` `unpow2_binary64_21285` `unpow1/2_binary64_21284` `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-neg_binary64_21267` `e-exp-1_binary64_21265` `exp-0_binary64_21262` `rem-exp-log_binary64_21260` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-cube-cbrt_binary64_21243` `sqr-abs_binary64_21235` `sqr-neg_binary64_21234` `remove-double-neg_binary64_21208` `lft-mult-inverse_binary64_21198` `rgt-mult-inverse_binary64_21197` `remove-double-div_binary64_21196` `cancel-sign-sub_binary64_21185` `distribute-lft-out--_binary64_21172`

Counts

134 → 370

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	225	2497
1	491	2348
2	1207	2183

prune1.4s (5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	367	3	370
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	370	7	377

Error

0.5b

Counts

377 → 7

Compiler

Compiled 16953 to 11576 computations (31.7% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
0.2b	(/.f64 (+.f64 1 0) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
2.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
3.0b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

rewrite515.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

122×	`*-un-lft-identity_binary64_21220`
58×	`sqrt-prod_binary64_21236`
47×	`add-sqr-sqrt_binary64_21242`
45×	`distribute-lft-out_binary64_21171`
42×	`times-frac_binary64_21226`
31×	`add-cube-cbrt_binary64_21255`
12×	`cancel-sign-sub-inv_binary64_21186` `associate-/r*_binary64_21164`
10×	`add-exp-log_binary64_21258`
8×	`add-log-exp_binary64_21259` `add-cbrt-cube_binary64_21256` `difference-of-squares_binary64_21189`
7×	`associate-/l*_binary64_21165`
6×	`distribute-lft-out--_binary64_21172`
5×	`pow1_binary64_21281`
4×	`associate-/r/_binary64_21166`
3×	`div-exp_binary64_21271` `flip3-+_binary64_21223` `flip-+_binary64_21194`
2×	`diff-log_binary64_21312` `flip3--_binary64_21224` `sub-neg_binary64_21213` `flip--_binary64_21195` `cbrt-undiv_binary64_21254` `frac-2neg_binary64_21231` `clear-num_binary64_21219` `div-inv_binary64_21217` `associate-/l/_binary64_21167`
1×	`inv-pow_binary64_21305` `pow-flip_binary64_21294` `1-exp_binary64_21264` `rec-exp_binary64_21270`

Counts

4 → 143

Calls

4 calls:

14.0ms	(/.f64 (+.f64 1 0) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
10.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
9.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

Compiler

Compiled 6590 to 4589 computations (30.4% saved)

series198.0ms (0.7%)

Error

0.5b

Counts

4 → 12

Calls

4 calls:

54.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
50.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
36.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
31.0ms	(/.f64 (+.f64 1 0) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))

Compiler

Compiled 1342 to 1127 computations (16% saved)

simplify1.0s (3.5%)

Algorithm

1×	egg-herbie

Rules

606×	`times-frac_binary64_21226`
381×	`associate-l_binary64_21161`
357×	`associate-r_binary64_21160`
322×	`distribute-rgt-in_binary64_21170`
284×	`distribute-lft-in_binary64_21169`
261×	`associate-/l*_binary64_21165`
190×	`associate-/r*_binary64_21164`
178×	`associate-*l/_binary64_21163`
154×	`div-sub_binary64_21225`
134×	`associate-/l/_binary64_21167`
123×	`associate-*r/_binary64_21162`
101×	`associate-/r/_binary64_21166`
81×	`sub-neg_binary64_21213`
69×	`associate--l-_binary64_21158`
59×	`cancel-sign-sub-inv_binary64_21186`
51×	`*-commutative_binary64_21151`
50×	`distribute-lft-neg-out_binary64_21179`
47×	`sqr-pow_binary64_21192`
44×	`neg-sub0_binary64_21215`
43×	`exp-prod_binary64_21272` `neg-mul-1_binary64_21216`
42×	`distribute-rgt-neg-in_binary64_21178`
34×	`distribute-rgt-neg-out_binary64_21180`
32×	`distribute-rgt-out_binary64_21173`
31×	`+-commutative_binary64_21150`
30×	`distribute-lft-neg-in_binary64_21177` `associate-+l+_binary64_21153`
28×	`difference-of-squares_binary64_21189`
25×	`*-rgt-identity_binary64_21210`
23×	`pow-sqr_binary64_21193`
22×	`distribute-neg-frac_binary64_21184`
21×	`cube-prod_binary64_21248`
20×	`exp-sum_binary64_21266` `unsub-neg_binary64_21214`
18×	`/-rgt-identity_binary64_21211`
17×	`log-div_binary64_21307` `cube-div_binary64_21249`
16×	`associate-+r+_binary64_21152`
13×	`rem-sqrt-square_binary64_21233`
12×	`unswap-sqr_binary64_21188` `swap-sqr_binary64_21187` `distribute-rgt-out--_binary64_21174`
11×	`distribute-neg-out_binary64_21182`
10×	`cube-unmult_binary64_21257` `rem-square-sqrt_binary64_21232` `*-lft-identity_binary64_21209` `mul0-rgt_binary64_21203` `associate--r-_binary64_21159`
9×	`log-prod_binary64_21306` `unpow3_binary64_21286` `exp-diff_binary64_21268` `cube-mult_binary64_21250` `+-rgt-identity_binary64_21205` `div0_binary64_21201` `distribute-neg-in_binary64_21181` `associate-+r-_binary64_21154`
8×	`distribute-rgt1-in_binary64_21176` `associate--l+_binary64_21157`
6×	`+-lft-identity_binary64_21204` `distribute-frac-neg_binary64_21183`
5×	`mul-1-neg_binary64_21212` `+-inverses_binary64_21199` `associate-+l-_binary64_21155`
4×	`mul0-lft_binary64_21202`
3×	`log-rec_binary64_21308` `pow-plus_binary64_21283` `exp-to-pow_binary64_21282` `div-exp_binary64_21271` `distribute-lft-out_binary64_21171` `count-2_binary64_21168`
2×	`log-pow_binary64_21309` `rem-3cbrt-lft_binary64_21245` `associate--r+_binary64_21156`
1×	`rec-exp_binary64_21270` `prod-exp_binary64_21269` `1-exp_binary64_21264` `exp-1-e_binary64_21263` `rem-log-exp_binary64_21261` `rem-cbrt-cube_binary64_21244` `sqr-abs_binary64_21235` `sub0-neg_binary64_21207` `--rgt-identity_binary64_21206` `*-inverses_binary64_21200` `difference-of-sqr--1_binary64_21191` `difference-of-sqr-1_binary64_21190` `distribute-lft1-in_binary64_21175`
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` `unpow1/3_binary64_21287` `unpow2_binary64_21285` `unpow1/2_binary64_21284` `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-neg_binary64_21267` `e-exp-1_binary64_21265` `exp-0_binary64_21262` `rem-exp-log_binary64_21260` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-cube-cbrt_binary64_21243` `sqr-neg_binary64_21234` `remove-double-neg_binary64_21208` `lft-mult-inverse_binary64_21198` `rgt-mult-inverse_binary64_21197` `remove-double-div_binary64_21196` `cancel-sign-sub_binary64_21185` `distribute-lft-out--_binary64_21172`

Counts

155 → 534

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	3112
1	493	2924
2	1308	2557

prune2.9s (10.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	531	3	534
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	535	6	541

Error

0.0b

Counts

541 → 6

Compiler

Compiled 25421 to 17909 computations (29.6% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
0.2b	(/.f64 (+.f64 1 0) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
2.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite622.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

152×	`*-un-lft-identity_binary64_21220`
63×	`sqrt-prod_binary64_21236`
60×	`distribute-lft-out_binary64_21171` `times-frac_binary64_21226`
48×	`add-sqr-sqrt_binary64_21242`
40×	`add-cube-cbrt_binary64_21255`
18×	`associate-/r*_binary64_21164`
14×	`add-exp-log_binary64_21258`
10×	`add-cbrt-cube_binary64_21256` `associate-/l*_binary64_21165`
6×	`add-log-exp_binary64_21259` `pow1_binary64_21281` `cancel-sign-sub-inv_binary64_21186` `associate-/r/_binary64_21166`
5×	`div-exp_binary64_21271`
4×	`difference-of-squares_binary64_21189` `flip3-+_binary64_21223` `flip-+_binary64_21194`
3×	`distribute-lft-out--_binary64_21172` `cbrt-undiv_binary64_21254` `frac-2neg_binary64_21231` `clear-num_binary64_21219` `div-inv_binary64_21217`
2×	`associate-/l/_binary64_21167` `inv-pow_binary64_21305` `pow-flip_binary64_21294` `1-exp_binary64_21264` `rec-exp_binary64_21270`
1×	`diff-log_binary64_21312` `flip3--_binary64_21224` `sub-neg_binary64_21213` `flip--_binary64_21195`

Counts

4 → 164

Calls

4 calls:

14.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
13.0ms	(/.f64 (+.f64 1 0) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
10.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
9.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

Compiler

Compiled 7888 to 5631 computations (28.6% saved)

series187.0ms (0.6%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

54.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
37.0ms	(/.f64 (+.f64 1 0) (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
35.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
35.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))

Compiler

Compiled 1336 to 1139 computations (14.7% saved)

simplify1.5s (5.1%)

Algorithm

1×	egg-herbie

Rules

679×	`times-frac_binary64_21226`
356×	`distribute-rgt-in_binary64_21170`
316×	`distribute-lft-in_binary64_21169`
308×	`associate-l_binary64_21161`
306×	`associate-/l*_binary64_21165`
270×	`associate-r_binary64_21160`
215×	`div-sub_binary64_21225`
194×	`associate-/l/_binary64_21167`
187×	`associate-*l/_binary64_21163`
164×	`associate-/r*_binary64_21164`
140×	`associate-*r/_binary64_21162`
109×	`associate-+l-_binary64_21155`
108×	`associate-+l+_binary64_21153`
102×	`associate-/r/_binary64_21166`
79×	`sub-neg_binary64_21213`
62×	`associate--l-_binary64_21158`
56×	`cancel-sign-sub-inv_binary64_21186`
55×	`associate-+r-_binary64_21154`
48×	`sqr-pow_binary64_21192`
44×	`*-commutative_binary64_21151`
39×	`distribute-lft-neg-out_binary64_21179`
35×	`neg-mul-1_binary64_21216` `neg-sub0_binary64_21215`
33×	`*-rgt-identity_binary64_21210`
32×	`distribute-rgt-neg-in_binary64_21178`
29×	`exp-prod_binary64_21272`
27×	`+-commutative_binary64_21150`
25×	`/-rgt-identity_binary64_21211`
24×	`difference-of-squares_binary64_21189` `distribute-rgt-neg-out_binary64_21180` `distribute-lft-neg-in_binary64_21177` `distribute-rgt-out_binary64_21173`
23×	`log-div_binary64_21307` `pow-sqr_binary64_21193`
20×	`associate--l+_binary64_21157`
19×	`exp-sum_binary64_21266` `cube-div_binary64_21249` `unsub-neg_binary64_21214`
18×	`cube-prod_binary64_21248`
15×	`div0_binary64_21201` `distribute-neg-frac_binary64_21184`
13×	`distribute-rgt-out--_binary64_21174`
12×	`associate-+r+_binary64_21152`
11×	`log-prod_binary64_21306` `rem-sqrt-square_binary64_21233` `mul0-rgt_binary64_21203`
10×	`cube-unmult_binary64_21257` `*-lft-identity_binary64_21209` `distribute-neg-in_binary64_21181` `associate--r-_binary64_21159`
9×	`unpow3_binary64_21286` `cube-mult_binary64_21250` `rem-square-sqrt_binary64_21232` `distribute-neg-out_binary64_21182`
8×	`exp-diff_binary64_21268` `swap-sqr_binary64_21187` `distribute-rgt1-in_binary64_21176`
7×	`+-rgt-identity_binary64_21205`
6×	`unswap-sqr_binary64_21188`
5×	`+-lft-identity_binary64_21204` `+-inverses_binary64_21199` `associate--r+_binary64_21156`
4×	`log-rec_binary64_21308` `mul-1-neg_binary64_21212`
3×	`pow-plus_binary64_21283` `exp-to-pow_binary64_21282` `mul0-lft_binary64_21202` `distribute-frac-neg_binary64_21183` `distribute-lft-out_binary64_21171`
2×	`log-pow_binary64_21309` `div-exp_binary64_21271` `count-2_binary64_21168`
1×	`rec-exp_binary64_21270` `prod-exp_binary64_21269` `1-exp_binary64_21264` `exp-1-e_binary64_21263` `rem-log-exp_binary64_21261` `rem-3cbrt-lft_binary64_21245` `rem-cbrt-cube_binary64_21244` `sqr-abs_binary64_21235` `sub0-neg_binary64_21207` `--rgt-identity_binary64_21206` `*-inverses_binary64_21200` `difference-of-sqr--1_binary64_21191` `difference-of-sqr-1_binary64_21190` `distribute-lft1-in_binary64_21175`
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` `unpow1/3_binary64_21287` `unpow2_binary64_21285` `unpow1/2_binary64_21284` `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-neg_binary64_21267` `e-exp-1_binary64_21265` `exp-0_binary64_21262` `rem-exp-log_binary64_21260` `cube-neg_binary64_21247` `rem-3cbrt-rft_binary64_21246` `rem-cube-cbrt_binary64_21243` `sqr-neg_binary64_21234` `remove-double-neg_binary64_21208` `lft-mult-inverse_binary64_21198` `rgt-mult-inverse_binary64_21197` `remove-double-div_binary64_21196` `cancel-sign-sub_binary64_21185` `distribute-lft-out--_binary64_21172`

Counts

176 → 617

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	235	3707
1	493	3480
2	1358	2955

prune3.6s (12.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	613	4	617
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	615	8	623

Error

0.0b

Counts

623 → 8

Compiler

Compiled 30559 to 21909 computations (28.3% saved)

regimes5.6s (19.3%)

Accuracy

Total 0.1b remaining (63.5%)

Threshold costs 0.1b (63.5%)

Compiler

Compiled 81931 to 68497 computations (16.4% saved)

bsearch0.0ms (0%)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative_binary64_21150`
1×	`1-exp_binary64_21264` `+-rgt-identity_binary64_21205`
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-not_binary64_21478` `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` `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` `+-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_21151`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	62
1	44	62

Proof

(+ f64 (+ f64 (+ f64 (/ f64 1 (+ f64 (sqrt f64 (+ f64 h0 1)) (sqrt f64 h0))) (/ f64 (=> (+ f64 1 0)) (+ f64 (sqrt f64 (+ f64 h1 1)) (sqrt f64 h1)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 h2 1)) (sqrt f64 h2)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 h3 1)) (sqrt f64 h3))))
+-rgt-identity_binary64_21205 =>
(+ f64 (+ f64 (+ f64 (/ f64 1 (+ f64 (sqrt f64 (=> (+ f64 h0 1))) (sqrt f64 h0))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 h1 1)) (sqrt f64 h1)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 h2 1)) (sqrt f64 h2)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 h3 1)) (sqrt f64 h3))))
+-commutative_binary64_21150 =>
(+ f64 (+ f64 (+ f64 (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h0)) (sqrt f64 h0))) (/ f64 1 (+ f64 (sqrt f64 (=> (+ f64 h1 1))) (sqrt f64 h1)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 h2 1)) (sqrt f64 h2)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 h3 1)) (sqrt f64 h3))))
+-commutative_binary64_21150 =>
(+ f64 (+ f64 (+ f64 (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h0)) (sqrt f64 h0))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h1)) (sqrt f64 h1)))) (/ f64 1 (+ f64 (sqrt f64 (=> (+ f64 h2 1))) (sqrt f64 h2)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 h3 1)) (sqrt f64 h3))))
+-commutative_binary64_21150 =>
(+ f64 (+ f64 (+ f64 (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h0)) (sqrt f64 h0))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h1)) (sqrt f64 h1)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h2)) (sqrt f64 h2)))) (/ f64 1 (+ f64 (sqrt f64 (=> (+ f64 h3 1))) (sqrt f64 h3))))
+-commutative_binary64_21150 =>
(+ f64 (+ f64 (+ f64 (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h0)) (sqrt f64 h0))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h1)) (sqrt f64 h1)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h2)) (sqrt f64 h2)))) (/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h3)) (sqrt f64 h3))))

end0.0ms (0%)

sample8.4s (28.8%)

Algorithm

1×

intervals

Results

1.2s	4296×	body	512	valid
912.0ms	9534×	body	128	nan
667.0ms	1761×	body	1024	valid
201.0ms	1077×	body	256	valid
82.0ms	866×	body	128	valid

Compiler

Compiled 5991 to 5022 computations (16.2% saved)

Details

analyze263.0ms (0.9%)

sample126.0ms (0.4%)

simplify217.0ms (0.7%)

prune16.0ms (0.1%)

localize23.0ms (0.1%)

rewrite298.0ms (1%)

series224.0ms (0.8%)

simplify136.0ms (0.5%)

prune582.0ms (2%)

localize29.0ms (0.1%)

rewrite386.0ms (1.3%)

series217.0ms (0.8%)

simplify485.0ms (1.7%)

prune1.4s (5%)

localize30.0ms (0.1%)

rewrite515.0ms (1.8%)

series198.0ms (0.7%)

simplify1.0s (3.5%)

prune2.9s (10.2%)

localize27.0ms (0.1%)

rewrite622.0ms (2.1%)

series187.0ms (0.6%)

simplify1.5s (5.1%)

prune3.6s (12.4%)

regimes5.6s (19.3%)

bsearch0.0ms (0%)

simplify7.0ms (0%)

end0.0ms (0%)

sample8.4s (28.8%)

Profiling