Details

analyze265.0ms (5.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

508×	`div-sub_binary64_22248`
484×	`times-frac_binary64_22249`
291×	`associate-/l*_binary64_22188`
250×	`cancel-sign-sub-inv_binary64_22209`
180×	`distribute-rgt-in_binary64_22193`
170×	`distribute-lft-in_binary64_22192`
169×	`sub-neg_binary64_22236`
140×	`associate-/r*_binary64_22187`
122×	`distribute-lft-neg-in_binary64_22200`
104×	`distribute-rgt-neg-in_binary64_22201` `associate-r_binary64_22183`
88×	`unsub-neg_binary64_22237`
68×	`distribute-neg-frac_binary64_22207`
56×	`associate-*r/_binary64_22185`
53×	`distribute-frac-neg_binary64_22206`
49×	`associate-l_binary64_22184`
48×	`*-commutative_binary64_22174`
43×	`distribute-rgt-neg-out_binary64_22203`
42×	`associate-*l/_binary64_22186`
40×	`distribute-lft-neg-out_binary64_22202`
39×	`associate-/l/_binary64_22190`
32×	`neg-mul-1_binary64_22239`
24×	`neg-sub0_binary64_22238` `associate--r+_binary64_22179`
20×	`associate--l-_binary64_22181` `+-commutative_binary64_22173`
16×	`mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `associate-/r/_binary64_22189`
14×	`div0_binary64_22224`
13×	`*-lft-identity_binary64_22232`
12×	`/-rgt-identity_binary64_22234`
11×	`associate--r-_binary64_22182`
8×	`*-rgt-identity_binary64_22233` `sub0-neg_binary64_22230`
6×	`+-lft-identity_binary64_22227` `associate-+l-_binary64_22178`
5×	`associate-+r-_binary64_22177` `associate-+r+_binary64_22175`
4×	`remove-double-neg_binary64_22231` `+-rgt-identity_binary64_22228` `remove-double-div_binary64_22219` `distribute-neg-out_binary64_22205` `distribute-neg-in_binary64_22204`
2×	`*-inverses_binary64_22223` `distribute-lft-out--_binary64_22195`
1×	`1-exp_binary64_22287` `distribute-rgt-out--_binary64_22197` `distribute-rgt-out_binary64_22196` `associate--l+_binary64_22180` `associate-+l+_binary64_22176`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `log-pow_binary64_22332` `log-rec_binary64_22331` `log-div_binary64_22330` `log-prod_binary64_22329` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `unpow3_binary64_22309` `unpow2_binary64_22308` `unpow1/2_binary64_22307` `pow-plus_binary64_22306` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow1_binary64_22301` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `exp-prod_binary64_22295` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `exp-diff_binary64_22291` `exp-neg_binary64_22290` `exp-sum_binary64_22289` `e-exp-1_binary64_22288` `exp-1-e_binary64_22286` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-unmult_binary64_22280` `cube-mult_binary64_22273` `cube-div_binary64_22272` `cube-prod_binary64_22271` `cube-neg_binary64_22270` `rem-3cbrt-rft_binary64_22269` `rem-3cbrt-lft_binary64_22268` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `rem-sqrt-square_binary64_22256` `rem-square-sqrt_binary64_22255` `mul-1-neg_binary64_22235` `--rgt-identity_binary64_22229` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `pow-sqr_binary64_22216` `sqr-pow_binary64_22215` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `difference-of-squares_binary64_22212` `unswap-sqr_binary64_22211` `swap-sqr_binary64_22210` `cancel-sign-sub_binary64_22208` `distribute-rgt1-in_binary64_22199` `distribute-lft1-in_binary64_22198` `distribute-lft-out_binary64_22194` `count-2_binary64_22191`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	17	20
2	29	20
3	47	20
4	83	20
5	123	20
6	202	20
7	342	20
8	826	20
9	1135	20
10	884	20
11	865	20
12	887	20
13	869	20
14	869	20
15	881	20
16	907	20
17	883	20
18	782	20
0	2	2
1	2	2

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
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
59.3%	40.6%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample15.0ms (0.3%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify74.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

365×	`times-frac_binary64_22249`
344×	`div-sub_binary64_22248`
156×	`associate-/l*_binary64_22188`
143×	`distribute-rgt-in_binary64_22193`
129×	`sub-neg_binary64_22236`
124×	`distribute-lft-in_binary64_22192`
118×	`cancel-sign-sub-inv_binary64_22209`
106×	`associate-/r*_binary64_22187`
99×	`unsub-neg_binary64_22237`
62×	`associate-/r/_binary64_22189`
48×	`associate-/l/_binary64_22190`
40×	`distribute-lft-neg-in_binary64_22200`
39×	`distribute-neg-frac_binary64_22207`
36×	`distribute-rgt-neg-in_binary64_22201`
34×	`distribute-frac-neg_binary64_22206`
31×	`neg-mul-1_binary64_22239`
30×	`associate-*l/_binary64_22186`
21×	`neg-sub0_binary64_22238` `associate--r+_binary64_22179`
20×	`associate-r_binary64_22183` `associate--r-_binary64_22182`
19×	`sub0-neg_binary64_22230` `associate--l-_binary64_22181`
17×	`distribute-rgt-neg-out_binary64_22203` `distribute-lft-neg-out_binary64_22202`
16×	`mul0-rgt_binary64_22226` `+-commutative_binary64_22173`
13×	`distribute-neg-in_binary64_22204`
12×	`*-lft-identity_binary64_22232` `mul0-lft_binary64_22225`
11×	`associate-l_binary64_22184` `*-commutative_binary64_22174`
10×	`associate-+l-_binary64_22178`
9×	`/-rgt-identity_binary64_22234` `div0_binary64_22224` `associate-+l+_binary64_22176`
7×	`*-rgt-identity_binary64_22233` `+-lft-identity_binary64_22227` `associate-+r-_binary64_22177`
6×	`associate-+r+_binary64_22175`
5×	`remove-double-neg_binary64_22231` `associate-*r/_binary64_22185`
4×	`+-rgt-identity_binary64_22228`
3×	`distribute-neg-out_binary64_22205`
2×	`mul-1-neg_binary64_22235` `*-inverses_binary64_22223` `remove-double-div_binary64_22219` `associate--l+_binary64_22180`
1×	`1-exp_binary64_22287` `--rgt-identity_binary64_22229` `distribute-rgt-out_binary64_22196`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `log-pow_binary64_22332` `log-rec_binary64_22331` `log-div_binary64_22330` `log-prod_binary64_22329` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `unpow3_binary64_22309` `unpow2_binary64_22308` `unpow1/2_binary64_22307` `pow-plus_binary64_22306` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow1_binary64_22301` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `exp-prod_binary64_22295` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `exp-diff_binary64_22291` `exp-neg_binary64_22290` `exp-sum_binary64_22289` `e-exp-1_binary64_22288` `exp-1-e_binary64_22286` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-unmult_binary64_22280` `cube-mult_binary64_22273` `cube-div_binary64_22272` `cube-prod_binary64_22271` `cube-neg_binary64_22270` `rem-3cbrt-rft_binary64_22269` `rem-3cbrt-lft_binary64_22268` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `rem-sqrt-square_binary64_22256` `rem-square-sqrt_binary64_22255` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `pow-sqr_binary64_22216` `sqr-pow_binary64_22215` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `difference-of-squares_binary64_22212` `unswap-sqr_binary64_22211` `swap-sqr_binary64_22210` `cancel-sign-sub_binary64_22208` `distribute-rgt1-in_binary64_22199` `distribute-lft1-in_binary64_22198` `distribute-rgt-out--_binary64_22197` `distribute-lft-out--_binary64_22195` `distribute-lft-out_binary64_22194` `count-2_binary64_22191`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	12	10
2	19	10
3	29	10
4	49	10
5	75	10
6	111	10
7	163	10
8	251	10
9	569	10
10	683	10
11	967	10
12	866	10
13	877	10
14	879	10
15	883	10
16	883	10
17	782	10

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

0.0b

Counts

1 → 1

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (+.f64 x y))

rewrite50.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`*-un-lft-identity_binary64_22243`
22×	`add-sqr-sqrt_binary64_22265`
20×	`times-frac_binary64_22249`
12×	`add-cube-cbrt_binary64_22278`
6×	`distribute-lft-out_binary64_22194`
5×	`difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195` `associate-/l*_binary64_22188`
4×	`associate-/r*_binary64_22187`
3×	`add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
2×	`associate-/l/_binary64_22190` `associate-/r/_binary64_22189`
1×	`pow1_binary64_22304` `div-exp_binary64_22294` `add-log-exp_binary64_22282` `cbrt-undiv_binary64_22277` `frac-2neg_binary64_22254` `div-sub_binary64_22248` `clear-num_binary64_22242` `div-inv_binary64_22240` `flip3--_binary64_22247` `flip--_binary64_22218` `flip3-+_binary64_22246` `flip-+_binary64_22217`

Counts

1 → 46

Calls

1 calls:

9.0ms

(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 725 to 165 computations (77.2% saved)

series136.0ms (2.8%)

Error

0.0b

Counts

1 → 24

Calls

1 calls:

112.0ms

(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 624 to 514 computations (17.6% saved)

simplify102.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

610×	`div-sub_binary64_22248`
521×	`cancel-sign-sub-inv_binary64_22209`
355×	`distribute-rgt-in_binary64_22193`
194×	`distribute-neg-frac_binary64_22207`
175×	`distribute-rgt-neg-in_binary64_22201`
167×	`distribute-lft-neg-in_binary64_22200`
164×	`associate-/l*_binary64_22188`
160×	`times-frac_binary64_22249`
135×	`associate-/r*_binary64_22187`
133×	`sub-neg_binary64_22236`
120×	`unswap-sqr_binary64_22211`
105×	`associate-*l/_binary64_22186`
103×	`distribute-lft-in_binary64_22192`
91×	`distribute-rgt-out_binary64_22196`
89×	`associate-l_binary64_22184`
88×	`associate-*r/_binary64_22185`
82×	`associate-r_binary64_22183`
70×	`associate-/r/_binary64_22189`
68×	`*-commutative_binary64_22174`
67×	`distribute-rgt-neg-out_binary64_22203`
64×	`neg-sub0_binary64_22238` `distribute-rgt-out--_binary64_22197`
60×	`associate-/l/_binary64_22190`
59×	`neg-mul-1_binary64_22239`
56×	`distribute-lft-out_binary64_22194`
55×	`distribute-lft-neg-out_binary64_22202`
50×	`+-commutative_binary64_22173`
39×	`distribute-frac-neg_binary64_22206`
37×	`associate-+l+_binary64_22176`
29×	`cube-prod_binary64_22271` `unsub-neg_binary64_22237`
28×	`sqr-pow_binary64_22215`
27×	`distribute-lft-out--_binary64_22195`
24×	`associate-+r+_binary64_22175`
23×	`associate--l+_binary64_22180` `associate-+l-_binary64_22178`
19×	`cube-div_binary64_22272`
17×	`unpow3_binary64_22309`
16×	`*-rgt-identity_binary64_22233` `associate--r+_binary64_22179`
15×	`cube-unmult_binary64_22280` `associate-+r-_binary64_22177`
12×	`distribute-neg-in_binary64_22204`
11×	`sqr-neg_binary64_22257` `sub0-neg_binary64_22230` `+-rgt-identity_binary64_22228` `difference-of-squares_binary64_22212`
8×	`cube-mult_binary64_22273` `distribute-rgt1-in_binary64_22199`
7×	`/-rgt-identity_binary64_22234`
6×	`log-prod_binary64_22329` `pow-plus_binary64_22306` `exp-diff_binary64_22291`
5×	`cube-neg_binary64_22270`
4×	`log-div_binary64_22330` `*-lft-identity_binary64_22232` `swap-sqr_binary64_22210`
3×	`exp-sum_binary64_22289` `rem-sqrt-square_binary64_22256`
2×	`unpow2_binary64_22308` `unpow1/2_binary64_22307` `unpow1_binary64_22301` `pow-sqr_binary64_22216` `distribute-lft1-in_binary64_22198` `associate--r-_binary64_22182` `associate--l-_binary64_22181`
1×	`exp-prod_binary64_22295` `exp-neg_binary64_22290` `1-exp_binary64_22287` `remove-double-neg_binary64_22231` `--rgt-identity_binary64_22229` `*-inverses_binary64_22223` `cancel-sign-sub_binary64_22208`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `log-pow_binary64_22332` `log-rec_binary64_22331` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `e-exp-1_binary64_22288` `exp-1-e_binary64_22286` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `rem-3cbrt-rft_binary64_22269` `rem-3cbrt-lft_binary64_22268` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `rem-square-sqrt_binary64_22255` `mul-1-neg_binary64_22235` `+-lft-identity_binary64_22227` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `div0_binary64_22224` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `remove-double-div_binary64_22219` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `distribute-neg-out_binary64_22205` `count-2_binary64_22191`

Counts

70 → 33

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	104	1289
1	274	1229
2	704	1191
3	2287	1155
4	4625	1155
5	5540	1155

prune29.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	31	2	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	3	34

Error

0.0b

Counts

34 → 3

Compiler

Compiled 441 to 181 computations (59% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
0.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3))
0.0b	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3)

rewrite249.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

150×	`*-un-lft-identity_binary64_22243`
100×	`times-frac_binary64_22249`
98×	`add-sqr-sqrt_binary64_22265`
58×	`cbrt-prod_binary64_22274`
56×	`add-cube-cbrt_binary64_22278`
52×	`unpow-prod-down_binary64_22322` `cube-prod_binary64_22271`
26×	`distribute-lft-out_binary64_22194`
21×	`difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195`
10×	`associate-/r/_binary64_22189`
8×	`add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
5×	`div-inv_binary64_22240` `flip3-+_binary64_22246` `flip-+_binary64_22217` `associate-/l*_binary64_22188`
4×	`pow1_binary64_22304` `associate-/r*_binary64_22187`
3×	`pow-unpow_binary64_22320` `add-log-exp_binary64_22282`
2×	`div-exp_binary64_22294` `pow-exp_binary64_22311` `unpow3_binary64_22309` `cube-mult_binary64_22273` `cube-div_binary64_22272` `rem-cube-cbrt_binary64_22266` `cbrt-undiv_binary64_22277` `sqr-pow_binary64_22215` `associate-/l/_binary64_22190`
1×	`pow-pow_binary64_22315` `pow-to-exp_binary64_22312` `pow1/3_binary64_22325` `cbrt-div_binary64_22275` `rem-cbrt-cube_binary64_22267` `frac-2neg_binary64_22254` `div-sub_binary64_22248` `clear-num_binary64_22242` `flip3--_binary64_22247` `flip--_binary64_22218`

Counts

3 → 186

Calls

3 calls:

12.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3))
11.0ms	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3)
8.0ms	(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 3948 to 1358 computations (65.6% saved)

series468.0ms (9.8%)

Error

0.0b

Counts

3 → 72

Calls

3 calls:

143.0ms	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3)
135.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3))
116.0ms	(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 2196 to 1837 computations (16.3% saved)

simplify154.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

453×	`unswap-sqr_binary64_22211`
298×	`distribute-rgt-in_binary64_22193`
276×	`distribute-lft-in_binary64_22192`
174×	`cancel-sign-sub-inv_binary64_22209`
146×	`sqr-pow_binary64_22215`
123×	`sub-neg_binary64_22236`
100×	`associate-/l*_binary64_22188`
92×	`associate-*l/_binary64_22186`
89×	`associate-*r/_binary64_22185`
87×	`log-prod_binary64_22329`
84×	`cube-div_binary64_22272`
67×	`times-frac_binary64_22249`
66×	`log-div_binary64_22330`
58×	`exp-prod_binary64_22295`
55×	`associate-/r*_binary64_22187`
54×	`associate-r_binary64_22183` `+-commutative_binary64_22173`
52×	`distribute-rgt-neg-in_binary64_22201`
50×	`distribute-neg-frac_binary64_22207`
48×	`div-sub_binary64_22248`
47×	`unpow3_binary64_22309` `cube-prod_binary64_22271` `distribute-lft-neg-in_binary64_22200`
46×	`cube-mult_binary64_22273` `*-commutative_binary64_22174`
44×	`associate-l_binary64_22184`
38×	`neg-sub0_binary64_22238`
37×	`neg-mul-1_binary64_22239`
34×	`associate--r+_binary64_22179`
33×	`swap-sqr_binary64_22210`
31×	`rem-cbrt-cube_binary64_22267` `associate--l+_binary64_22180`
28×	`associate-/l/_binary64_22190`
22×	`distribute-rgt-out_binary64_22196`
20×	`distribute-neg-in_binary64_22204`
15×	`rem-sqrt-square_binary64_22256` `*-rgt-identity_binary64_22233`
14×	`log-pow_binary64_22332` `unsub-neg_binary64_22237`
13×	`pow-sqr_binary64_22216` `distribute-lft-neg-out_binary64_22202` `associate-/r/_binary64_22189`
12×	`distribute-lft-out_binary64_22194` `associate-+l+_binary64_22176`
11×	`associate-+r+_binary64_22175`
9×	`pow-plus_binary64_22306` `distribute-rgt-out--_binary64_22197`
7×	`cube-unmult_binary64_22280` `/-rgt-identity_binary64_22234` `*-lft-identity_binary64_22232`
6×	`distribute-rgt-neg-out_binary64_22203`
3×	`unpow1/2_binary64_22307` `unpow1_binary64_22301` `rem-cube-cbrt_binary64_22266` `rem-square-sqrt_binary64_22255` `difference-of-squares_binary64_22212` `distribute-rgt1-in_binary64_22199` `distribute-lft-out--_binary64_22195`
2×	`unpow2_binary64_22308` `count-2_binary64_22191`
1×	`exp-diff_binary64_22291` `exp-sum_binary64_22289` `1-exp_binary64_22287` `rem-3cbrt-lft_binary64_22268` `mul-1-neg_binary64_22235` `remove-double-neg_binary64_22231` `associate--r-_binary64_22182` `associate-+l-_binary64_22178` `associate-+r-_binary64_22177`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `log-rec_binary64_22331` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `exp-neg_binary64_22290` `e-exp-1_binary64_22288` `exp-1-e_binary64_22286` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-neg_binary64_22270` `rem-3cbrt-rft_binary64_22269` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `sub0-neg_binary64_22230` `--rgt-identity_binary64_22229` `+-rgt-identity_binary64_22228` `+-lft-identity_binary64_22227` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `div0_binary64_22224` `*-inverses_binary64_22223` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `remove-double-div_binary64_22219` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `cancel-sign-sub_binary64_22208` `distribute-frac-neg_binary64_22206` `distribute-neg-out_binary64_22205` `distribute-lft1-in_binary64_22198` `associate--l-_binary64_22181`

Counts

258 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	240	5554
1	673	5174
2	2061	5017
3	4979	5017

prune159.0ms (3.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	183	1	184
Fresh	0	1	1
Picked	0	1	1
Done	1	0	1
Total	184	3	187

Error

Counts

187 → 3

Compiler

Compiled 3120 to 1057 computations (66.1% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
0.0b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2)) (cbrt.f64 (/.f64 (-.f64 x y) (+.f64 x y))))
0.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2))
0.0b	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2)

rewrite398.0ms (8.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

154×	`*-un-lft-identity_binary64_22243`
141×	`add-sqr-sqrt_binary64_22265`
117×	`cbrt-prod_binary64_22274`
109×	`times-frac_binary64_22249`
84×	`unpow-prod-down_binary64_22322`
60×	`add-cube-cbrt_binary64_22278`
34×	`associate-l_binary64_22184`
29×	`associate-r_binary64_22183`
26×	`distribute-lft-out_binary64_22194`
21×	`difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195`
18×	`unswap-sqr_binary64_22211`
11×	`add-exp-log_binary64_22281`
10×	`associate-/r/_binary64_22189`
8×	`unpow2_binary64_22308`
7×	`pow1_binary64_22304`
6×	`add-cbrt-cube_binary64_22279` `sqr-pow_binary64_22215`
5×	`div-inv_binary64_22240` `flip3-+_binary64_22246` `flip-+_binary64_22217` `associate-/l*_binary64_22188`
4×	`add-log-exp_binary64_22282` `associate-/r*_binary64_22187`
3×	`pow-unpow_binary64_22320` `pow1/3_binary64_22325`
2×	`div-exp_binary64_22294` `pow-exp_binary64_22311` `pow-prod-down_binary64_22314` `associate-/l/_binary64_22190`
1×	`pow-pow_binary64_22315` `pow-to-exp_binary64_22312` `pow3_binary64_22326` `prod-exp_binary64_22292` `cbrt-unprod_binary64_22276` `rem-3cbrt-lft_binary64_22268` `cbrt-div_binary64_22275` `associate-r/_binary64_22185` `-commutative_binary64_22174` `cbrt-undiv_binary64_22277` `frac-2neg_binary64_22254` `div-sub_binary64_22248` `clear-num_binary64_22242` `flip3--_binary64_22247` `flip--_binary64_22218`

Counts

4 → 223

Calls

4 calls:

41.0ms	(*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2)) (cbrt.f64 (/.f64 (-.f64 x y) (+.f64 x y))))
14.0ms	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2)
10.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2))
8.0ms	(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 6896 to 1909 computations (72.3% saved)

series730.0ms (15.2%)

Error

Counts

4 → 96

Calls

4 calls:

198.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2))
152.0ms	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2)
144.0ms	(*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2)) (cbrt.f64 (/.f64 (-.f64 x y) (+.f64 x y))))
125.0ms	(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 4116 to 2807 computations (31.8% saved)

simplify256.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

440×	`associate-/l*_binary64_22188`
422×	`times-frac_binary64_22249`
241×	`cancel-sign-sub-inv_binary64_22209`
200×	`distribute-rgt-in_binary64_22193`
173×	`distribute-lft-in_binary64_22192`
166×	`associate-/r/_binary64_22189`
143×	`sub-neg_binary64_22236`
130×	`sqr-pow_binary64_22215`
122×	`*-commutative_binary64_22174`
110×	`unswap-sqr_binary64_22211`
98×	`associate-r_binary64_22183`
91×	`associate-l_binary64_22184`
87×	`associate-/l/_binary64_22190`
79×	`distribute-rgt-neg-in_binary64_22201`
76×	`distribute-neg-frac_binary64_22207`
72×	`distribute-lft-neg-in_binary64_22200`
70×	`+-commutative_binary64_22173`
63×	`associate-l/_binary64_22186` `associate-r/_binary64_22185`
50×	`neg-sub0_binary64_22238` `associate-/r*_binary64_22187`
49×	`neg-mul-1_binary64_22239`
45×	`associate--l+_binary64_22180`
40×	`associate--r+_binary64_22179`
33×	`log-div_binary64_22330` `div-sub_binary64_22248`
32×	`unpow2_binary64_22308` `unpow1/2_binary64_22307` `unpow1_binary64_22301`
31×	`*-rgt-identity_binary64_22233`
27×	`log-prod_binary64_22329`
26×	`*-lft-identity_binary64_22232`
25×	`unsub-neg_binary64_22237`
24×	`distribute-neg-in_binary64_22204`
22×	`exp-prod_binary64_22295` `distribute-rgt-out_binary64_22196`
21×	`log-pow_binary64_22332`
19×	`swap-sqr_binary64_22210`
18×	`associate-+l+_binary64_22176`
16×	`cube-prod_binary64_22271`
15×	`distribute-lft-neg-out_binary64_22202`
13×	`pow-sqr_binary64_22216` `distribute-lft-out_binary64_22194`
11×	`cube-unmult_binary64_22280` `associate-+r+_binary64_22175`
9×	`cube-div_binary64_22272` `distribute-rgt-out--_binary64_22197`
7×	`pow-plus_binary64_22306` `/-rgt-identity_binary64_22234`
6×	`rem-sqrt-square_binary64_22256` `distribute-rgt-neg-out_binary64_22203`
4×	`count-2_binary64_22191`
3×	`unpow3_binary64_22309` `difference-of-squares_binary64_22212` `distribute-rgt1-in_binary64_22199` `distribute-lft-out--_binary64_22195`
2×	`cube-mult_binary64_22273` `rem-3cbrt-rft_binary64_22269` `rem-3cbrt-lft_binary64_22268` `rem-square-sqrt_binary64_22255`
1×	`exp-diff_binary64_22291` `exp-sum_binary64_22289` `1-exp_binary64_22287` `exp-1-e_binary64_22286` `mul-1-neg_binary64_22235` `remove-double-neg_binary64_22231` `associate--r-_binary64_22182` `associate-+l-_binary64_22178` `associate-+r-_binary64_22177`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `log-rec_binary64_22331` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `exp-neg_binary64_22290` `e-exp-1_binary64_22288` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-neg_binary64_22270` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `sub0-neg_binary64_22230` `--rgt-identity_binary64_22229` `+-rgt-identity_binary64_22228` `+-lft-identity_binary64_22227` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `div0_binary64_22224` `*-inverses_binary64_22223` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `remove-double-div_binary64_22219` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `cancel-sign-sub_binary64_22208` `distribute-frac-neg_binary64_22206` `distribute-neg-out_binary64_22205` `distribute-lft1-in_binary64_22198` `associate--l-_binary64_22181`

Counts

319 → 195

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	341	8320
1	805	7986
2	2073	7826
3	4967	7826
4	4972	7826

prune222.0ms (4.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	195	3	198

Error

Counts

198 → 3

Compiler

Compiled 5285 to 1537 computations (70.9% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (+.f64 x y))
0.2b	(*.f64 (/.f64 1 (+.f64 x y)) (-.f64 x y))

rewrite104.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

39×	`*-un-lft-identity_binary64_22243`
31×	`add-sqr-sqrt_binary64_22265`
26×	`times-frac_binary64_22249`
22×	`add-cube-cbrt_binary64_22278`
18×	`associate-l_binary64_22184`
15×	`add-exp-log_binary64_22281`
9×	`add-cbrt-cube_binary64_22279`
7×	`distribute-lft-out_binary64_22194`
6×	`cancel-sign-sub-inv_binary64_22209`
5×	`pow1_binary64_22304` `associate-r_binary64_22183`
4×	`div-exp_binary64_22294` `prod-exp_binary64_22292` `distribute-rgt-in_binary64_22193` `distribute-lft-in_binary64_22192` `associate-/r/_binary64_22189` `associate-/r*_binary64_22187`
3×	`unswap-sqr_binary64_22211` `associate-/l*_binary64_22188`
2×	`1-exp_binary64_22287` `rec-exp_binary64_22293` `add-log-exp_binary64_22282` `cbrt-unprod_binary64_22276` `cbrt-undiv_binary64_22277` `flip3--_binary64_22247` `frac-times_binary64_22253` `flip--_binary64_22218` `sub-neg_binary64_22236` `associate-*r/_binary64_22185` `div-inv_binary64_22240` `flip3-+_binary64_22246` `flip-+_binary64_22217`
1×	`pow-prod-down_binary64_22314` `associate-l/_binary64_22186` `difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195` `-commutative_binary64_22174` `inv-pow_binary64_22328` `pow-flip_binary64_22317` `frac-2neg_binary64_22254` `clear-num_binary64_22242`

Counts

2 → 91

Calls

2 calls:

14.0ms	(*.f64 (/.f64 1 (+.f64 x y)) (-.f64 x y))
6.0ms	(/.f64 1 (+.f64 x y))

Compiler

Compiled 1551 to 668 computations (56.9% saved)

series267.0ms (5.6%)

Error

Counts

2 → 48

Calls

2 calls:

116.0ms	(*.f64 (/.f64 1 (+.f64 x y)) (-.f64 x y))
104.0ms	(/.f64 1 (+.f64 x y))

Compiler

Compiled 1464 to 1091 computations (25.5% saved)

simplify153.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

333×	`times-frac_binary64_22249`
319×	`associate-/l*_binary64_22188`
258×	`distribute-rgt-in_binary64_22193`
235×	`distribute-lft-in_binary64_22192`
233×	`sub-neg_binary64_22236`
228×	`associate-/r*_binary64_22187`
210×	`exp-prod_binary64_22295`
177×	`unsub-neg_binary64_22237`
176×	`*-commutative_binary64_22174`
167×	`associate-*l/_binary64_22186`
154×	`unswap-sqr_binary64_22211`
146×	`div-sub_binary64_22248`
140×	`associate-*r/_binary64_22185`
114×	`neg-sub0_binary64_22238`
113×	`neg-mul-1_binary64_22239`
101×	`cancel-sign-sub-inv_binary64_22209`
93×	`associate-r_binary64_22183`
92×	`associate-l_binary64_22184`
84×	`+-commutative_binary64_22173`
75×	`associate-+l+_binary64_22176`
69×	`*-lft-identity_binary64_22232`
64×	`associate-/r/_binary64_22189`
61×	`*-rgt-identity_binary64_22233`
57×	`associate-+r+_binary64_22175`
56×	`exp-sum_binary64_22289`
50×	`associate-+l-_binary64_22178`
48×	`sqr-pow_binary64_22215`
46×	`distribute-rgt-neg-in_binary64_22201`
45×	`associate--l+_binary64_22180` `associate-+r-_binary64_22177`
43×	`cube-div_binary64_22272`
40×	`cube-prod_binary64_22271`
39×	`distribute-lft-neg-in_binary64_22200`
38×	`exp-diff_binary64_22291`
37×	`difference-of-squares_binary64_22212` `distribute-neg-frac_binary64_22207`
35×	`distribute-lft-neg-out_binary64_22202`
34×	`distribute-rgt-neg-out_binary64_22203`
29×	`unpow3_binary64_22309`
28×	`associate--r+_binary64_22179`
27×	`/-rgt-identity_binary64_22234` `+-rgt-identity_binary64_22228`
25×	`log-prod_binary64_22329`
22×	`log-div_binary64_22330` `sub0-neg_binary64_22230` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225`
21×	`cube-mult_binary64_22273`
20×	`associate-/l/_binary64_22190`
15×	`distribute-neg-in_binary64_22204`
14×	`cube-unmult_binary64_22280`
10×	`distribute-rgt-out--_binary64_22197`
9×	`distribute-rgt-out_binary64_22196`
7×	`pow-sqr_binary64_22216` `swap-sqr_binary64_22210`
6×	`log-rec_binary64_22331`
5×	`unpow1/2_binary64_22307`
4×	`pow-plus_binary64_22306` `distribute-rgt1-in_binary64_22199` `distribute-lft-out_binary64_22194`
3×	`exp-neg_binary64_22290` `div0_binary64_22224`
2×	`unpow2_binary64_22308` `unpow1_binary64_22301` `rem-sqrt-square_binary64_22256` `+-lft-identity_binary64_22227` `difference-of-sqr--1_binary64_22214` `distribute-lft-out--_binary64_22195`
1×	`1-exp_binary64_22287` `exp-1-e_binary64_22286` `rem-3cbrt-lft_binary64_22268` `sqr-neg_binary64_22257` `rem-square-sqrt_binary64_22255` `remove-double-neg_binary64_22231` `--rgt-identity_binary64_22229` `lft-mult-inverse_binary64_22221` `distribute-frac-neg_binary64_22206` `count-2_binary64_22191` `associate--l-_binary64_22181`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `log-pow_binary64_22332` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `e-exp-1_binary64_22288` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-neg_binary64_22270` `rem-3cbrt-rft_binary64_22269` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `mul-1-neg_binary64_22235` `*-inverses_binary64_22223` `+-inverses_binary64_22222` `rgt-mult-inverse_binary64_22220` `remove-double-div_binary64_22219` `difference-of-sqr-1_binary64_22213` `cancel-sign-sub_binary64_22208` `distribute-neg-out_binary64_22205` `distribute-lft1-in_binary64_22198` `associate--r-_binary64_22182`

Counts

139 → 104

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	2247
1	436	2073
2	1313	2001
3	3768	2001
4	4727	2001
5	4981	2001
6	4940	2001

prune79.0ms (1.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	104	3	107

Error

Counts

107 → 3

Compiler

Compiled 1566 to 540 computations (65.5% saved)

regimes114.0ms (2.4%)

Accuracy

Total 0.0b remaining (90.8%)

Threshold costs 0.0b (90.8%)

Compiler

Compiled 750 to 576 computations (23.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64_22173`
2×	`sub-neg_binary64_22236`
1×	`neg-mul-1_binary64_22239` `neg-sub0_binary64_22238` `*-commutative_binary64_22174`
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_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `unpow1_binary64_22301` `e-exp-1_binary64_22288` `1-exp_binary64_22287` `exp-1-e_binary64_22286` `exp-0_binary64_22285` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `unsub-neg_binary64_22237` `mul-1-neg_binary64_22235` `/-rgt-identity_binary64_22234` `-rgt-identity_binary64_22233` `-lft-identity_binary64_22232` `remove-double-neg_binary64_22231` `sub0-neg_binary64_22230` `--rgt-identity_binary64_22229` `+-rgt-identity_binary64_22228` `+-lft-identity_binary64_22227` `cancel-sign-sub-inv_binary64_22209` `cancel-sign-sub_binary64_22208` `distribute-neg-frac_binary64_22207` `distribute-frac-neg_binary64_22206` `distribute-neg-out_binary64_22205` `distribute-neg-in_binary64_22204` `distribute-rgt-neg-out_binary64_22203` `distribute-lft-neg-out_binary64_22202` `distribute-rgt-neg-in_binary64_22201` `distribute-lft-neg-in_binary64_22200`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	9	10
2	14	10
3	16	10
4	17	10
5	17	10

end0.0ms (0%)

sample742.0ms (15.5%)

Algorithm

1×

intervals

Results

195.0ms

8000×

body

128

valid

Compiler

Compiled 270 to 205 computations (24.1% saved)

Iter	Nodes	Cost
0	6	10
1	12	10
2	19	10
3	29	10
4	49	10
5	75	10
6	111	10
7	163	10
8	251	10
9	569	10
10	683	10
11	967	10
12	866	10
13	877	10
14	879	10
15	883	10
16	883	10
17	782	10

Iter	Nodes	Cost
0	6	10
1	12	10
2	19	10
3	29	10
4	49	10
5	75	10
6	111	10
7	163	10
8	251	10
9	569	10
10	683	10
11	967	10
12	866	10
13	877	10
14	879	10
15	883	10
16	883	10
17	782	10

Details

analyze265.0ms (5.5%)

sample15.0ms (0.3%)

simplify74.0ms (1.5%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite50.0ms (1%)

series136.0ms (2.8%)

simplify102.0ms (2.1%)

prune29.0ms (0.6%)

localize8.0ms (0.2%)

rewrite249.0ms (5.2%)

series468.0ms (9.8%)

simplify154.0ms (3.2%)

prune159.0ms (3.3%)

localize9.0ms (0.2%)

rewrite398.0ms (8.3%)

series730.0ms (15.2%)

simplify256.0ms (5.3%)

prune222.0ms (4.6%)

localize6.0ms (0.1%)

rewrite104.0ms (2.2%)

series267.0ms (5.6%)

simplify153.0ms (3.2%)

prune79.0ms (1.6%)

regimes114.0ms (2.4%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample742.0ms (15.5%)

Profiling

Iter	Nodes	Cost
0	6	10
1	12	10
2	19	10
3	29	10
4	49	10
5	75	10
6	111	10
7	163	10
8	251	10
9	569	10
10	683	10
11	967	10
12	866	10
13	877	10
14	879	10
15	883	10
16	883	10
17	782	10