Details

analyze785.0ms (8.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

2114×	`associate-/l/_binary64_16052`
1242×	`div-sub_binary64_16110`
837×	`sub-neg_binary64_16098`
831×	`unsub-neg_binary64_16099`
744×	`distribute-rgt-in_binary64_16055`
714×	`distribute-lft-in_binary64_16054`
643×	`associate-/l*_binary64_16050`
445×	`cancel-sign-sub-inv_binary64_16071`
380×	`distribute-rgt-out--_binary64_16059`
356×	`*-commutative_binary64_16036`
341×	`associate-*l/_binary64_16048`
315×	`associate-/r/_binary64_16051`
302×	`associate-/r*_binary64_16049`
280×	`times-frac_binary64_16111`
266×	`associate-r_binary64_16045`
229×	`neg-mul-1_binary64_16101`
221×	`distribute-rgt-neg-in_binary64_16063`
220×	`associate-l_binary64_16046`
188×	`distribute-lft-neg-in_binary64_16062`
181×	`distribute-rgt-out_binary64_16058`
167×	`associate-*r/_binary64_16047`
165×	`distribute-rgt-neg-out_binary64_16065`
159×	`neg-sub0_binary64_16100`
153×	`distribute-frac-neg_binary64_16068`
139×	`associate--r+_binary64_16041`
126×	`associate--l+_binary64_16042`
123×	`distribute-neg-frac_binary64_16069`
120×	`distribute-lft-neg-out_binary64_16064`
114×	`associate--l-_binary64_16043`
109×	`associate-+l-_binary64_16040`
86×	`+-commutative_binary64_16035`
85×	`distribute-neg-out_binary64_16067`
79×	`associate-+r+_binary64_16037`
68×	`distribute-neg-in_binary64_16066`
64×	`associate--r-_binary64_16044`
58×	`mul0-rgt_binary64_16088` `mul0-lft_binary64_16087` `div0_binary64_16086`
55×	`remove-double-neg_binary64_16093`
43×	`associate-+r-_binary64_16039`
42×	`associate-+l+_binary64_16038`
39×	`--rgt-identity_binary64_16091`
38×	`remove-double-div_binary64_16081`
36×	`distribute-rgt1-in_binary64_16061`
30×	`sub0-neg_binary64_16092`
24×	`*-lft-identity_binary64_16094`
20×	`distribute-lft1-in_binary64_16060`
15×	`*-rgt-identity_binary64_16095`
14×	`+-rgt-identity_binary64_16090`
12×	`lft-mult-inverse_binary64_16083` `cancel-sign-sub_binary64_16070`
11×	`/-rgt-identity_binary64_16096`
6×	`+-lft-identity_binary64_16089` `*-inverses_binary64_16085` `distribute-lft-out--_binary64_16057`
5×	`mul-1-neg_binary64_16097`
4×	`distribute-lft-out_binary64_16056`
1×	`1-exp_binary64_16149`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `log-pow_binary64_16194` `log-rec_binary64_16193` `log-div_binary64_16192` `log-prod_binary64_16191` `pow-base-0_binary64_16189` `unpow1/3_binary64_16172` `unpow3_binary64_16171` `unpow2_binary64_16170` `unpow1/2_binary64_16169` `pow-plus_binary64_16168` `exp-to-pow_binary64_16167` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow1_binary64_16163` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `exp-prod_binary64_16157` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `exp-diff_binary64_16153` `exp-neg_binary64_16152` `exp-sum_binary64_16151` `e-exp-1_binary64_16150` `exp-1-e_binary64_16148` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `cube-unmult_binary64_16142` `cube-mult_binary64_16135` `cube-div_binary64_16134` `cube-prod_binary64_16133` `cube-neg_binary64_16132` `rem-3cbrt-rft_binary64_16131` `rem-3cbrt-lft_binary64_16130` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `sqr-neg_binary64_16119` `rem-sqrt-square_binary64_16118` `rem-square-sqrt_binary64_16117` `+-inverses_binary64_16084` `rgt-mult-inverse_binary64_16082` `pow-sqr_binary64_16078` `sqr-pow_binary64_16077` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `difference-of-squares_binary64_16074` `unswap-sqr_binary64_16073` `swap-sqr_binary64_16072` `count-2_binary64_16053`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	33	52
2	53	52
3	76	52
4	113	52
5	152	52
6	185	52
7	210	52
8	261	52
9	369	52
10	673	52
11	1242	52
12	2331	52
13	2223	52
14	2145	52
15	2219	52
16	2267	52
17	2289	52
18	3343	52
19	2455	52
20	2391	52
21	2391	52
22	2391	52
23	3537	52
24	3255	52
25	3409	52
26	3925	52
27	3783	52
28	3795	52
29	4005	52
30	4057	52
31	4057	52
32	4057	52
33	5927	52
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
12.5%	87.4%	0.1%	4
12.5%	87.4%	0.1%	5
15.6%	84.3%	0.1%	6
32.8%	67.1%	0.1%	7
38.2%	61.6%	0.1%	8
46%	53.8%	0.1%	9
62.6%	37.3%	0.1%	10
67.2%	32.7%	0.1%	11
71.1%	28.8%	0.1%	12
81.6%	18.2%	0.1%	13
84.1%	15.7%	0.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample19.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms

256×

body

128

valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify205.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

2278×	`div-sub_binary64_16110`
968×	`associate-/l/_binary64_16052`
868×	`cancel-sign-sub-inv_binary64_16071`
705×	`associate-/r/_binary64_16051`
621×	`associate-/l*_binary64_16050`
585×	`distribute-rgt-in_binary64_16055`
539×	`sub-neg_binary64_16098`
426×	`distribute-lft-in_binary64_16054`
414×	`associate-*l/_binary64_16048`
307×	`unsub-neg_binary64_16099`
287×	`distribute-neg-frac_binary64_16069`
267×	`associate-r_binary64_16045`
253×	`associate-*r/_binary64_16047`
243×	`associate-/r*_binary64_16049`
186×	`*-commutative_binary64_16036`
182×	`times-frac_binary64_16111`
177×	`associate-l_binary64_16046`
138×	`neg-mul-1_binary64_16101`
137×	`distribute-rgt-neg-in_binary64_16063`
129×	`distribute-lft-neg-in_binary64_16062`
122×	`associate--r+_binary64_16041`
118×	`neg-sub0_binary64_16100`
115×	`distribute-frac-neg_binary64_16068`
88×	`distribute-lft-neg-out_binary64_16064`
85×	`associate--l-_binary64_16043`
80×	`distribute-neg-in_binary64_16066`
79×	`distribute-rgt-neg-out_binary64_16065` `associate--r-_binary64_16044`
67×	`+-commutative_binary64_16035`
57×	`associate--l+_binary64_16042`
56×	`div0_binary64_16086`
47×	`mul0-rgt_binary64_16088`
45×	`*-lft-identity_binary64_16094` `mul0-lft_binary64_16087`
42×	`*-rgt-identity_binary64_16095` `associate-+l-_binary64_16040`
40×	`/-rgt-identity_binary64_16096`
36×	`associate-+r-_binary64_16039`
22×	`remove-double-neg_binary64_16093` `remove-double-div_binary64_16081`
20×	`distribute-rgt-out--_binary64_16059`
17×	`cancel-sign-sub_binary64_16070` `associate-+l+_binary64_16038`
15×	`sub0-neg_binary64_16092`
11×	`+-rgt-identity_binary64_16090`
6×	`associate-+r+_binary64_16037`
5×	`distribute-rgt-out_binary64_16058`
4×	`--rgt-identity_binary64_16091` `*-inverses_binary64_16085` `lft-mult-inverse_binary64_16083` `swap-sqr_binary64_16072` `distribute-rgt1-in_binary64_16061`
3×	`mul-1-neg_binary64_16097`
2×	`sqr-neg_binary64_16119` `distribute-neg-out_binary64_16067`
1×	`1-exp_binary64_16149` `+-lft-identity_binary64_16089` `distribute-lft-out_binary64_16056`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `log-pow_binary64_16194` `log-rec_binary64_16193` `log-div_binary64_16192` `log-prod_binary64_16191` `pow-base-0_binary64_16189` `unpow1/3_binary64_16172` `unpow3_binary64_16171` `unpow2_binary64_16170` `unpow1/2_binary64_16169` `pow-plus_binary64_16168` `exp-to-pow_binary64_16167` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow1_binary64_16163` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `exp-prod_binary64_16157` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `exp-diff_binary64_16153` `exp-neg_binary64_16152` `exp-sum_binary64_16151` `e-exp-1_binary64_16150` `exp-1-e_binary64_16148` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `cube-unmult_binary64_16142` `cube-mult_binary64_16135` `cube-div_binary64_16134` `cube-prod_binary64_16133` `cube-neg_binary64_16132` `rem-3cbrt-rft_binary64_16131` `rem-3cbrt-lft_binary64_16130` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `rem-sqrt-square_binary64_16118` `rem-square-sqrt_binary64_16117` `+-inverses_binary64_16084` `rgt-mult-inverse_binary64_16082` `pow-sqr_binary64_16078` `sqr-pow_binary64_16077` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `difference-of-squares_binary64_16074` `unswap-sqr_binary64_16073` `distribute-lft1-in_binary64_16060` `distribute-lft-out--_binary64_16057` `count-2_binary64_16053`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	14	13
2	20	13
3	27	13
4	39	13
5	51	13
6	63	13
7	73	13
8	90	13
9	115	13
10	143	13
11	200	13
12	318	13
13	583	13
14	1010	13
15	1390	13
16	1486	13
17	1511	13
18	1606	13
19	1706	13
20	1471	13
21	1776	13
22	1698	13
23	1787	13
24	1894	13
25	1962	13
26	1996	13
27	2006	13
28	1986	13
29	1986	13
30	3184	13
31	5249	13

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

8.1b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

8.1b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

rewrite92.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

5.9b

Rules

55×	`add-sqr-sqrt_binary64_16127`
53×	`*-un-lft-identity_binary64_16105`
42×	`times-frac_binary64_16111`
20×	`difference-of-squares_binary64_16074`
15×	`add-cube-cbrt_binary64_16140`
9×	`distribute-lft-out_binary64_16056`
8×	`associate-/r*_binary64_16049`
5×	`distribute-lft-out--_binary64_16057`
4×	`associate-/l*_binary64_16050`
3×	`add-exp-log_binary64_16143` `add-cbrt-cube_binary64_16141`
2×	`associate-/l/_binary64_16052` `associate-/r/_binary64_16051`
1×	`pow1_binary64_16166` `div-exp_binary64_16156` `add-log-exp_binary64_16144` `cbrt-undiv_binary64_16139` `frac-2neg_binary64_16116` `clear-num_binary64_16104` `div-inv_binary64_16102` `flip3-+_binary64_16108` `flip-+_binary64_16079` `flip3--_binary64_16109` `flip--_binary64_16080`

Counts

1 → 60

Calls

1 calls:

12.0ms

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

Compiler

Compiled 1216 to 500 computations (58.9% saved)

series295.0ms (3.1%)

Error

0.0b

Counts

1 → 22

Calls

1 calls:

269.0ms

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

Compiler

Compiled 879 to 598 computations (32% saved)

simplify117.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

366×	`div-sub_binary64_16110`
349×	`associate-+l+_binary64_16038`
294×	`cancel-sign-sub-inv_binary64_16071`
278×	`associate-+r+_binary64_16037`
206×	`distribute-rgt-out_binary64_16058`
190×	`associate-/l*_binary64_16050`
175×	`times-frac_binary64_16111`
151×	`distribute-rgt-neg-in_binary64_16063`
149×	`distribute-neg-frac_binary64_16069`
143×	`distribute-rgt-in_binary64_16055`
140×	`associate-/r*_binary64_16049`
132×	`distribute-lft-neg-in_binary64_16062`
128×	`sub-neg_binary64_16098`
122×	`distribute-lft-in_binary64_16054` `+-commutative_binary64_16035`
115×	`associate-*l/_binary64_16048`
110×	`unswap-sqr_binary64_16073`
98×	`associate-r_binary64_16045`
90×	`associate-l_binary64_16046`
89×	`associate-*r/_binary64_16047`
88×	`*-commutative_binary64_16036`
75×	`neg-sub0_binary64_16100`
66×	`distribute-rgt-neg-out_binary64_16065` `associate-/r/_binary64_16051`
64×	`neg-mul-1_binary64_16101` `unsub-neg_binary64_16099`
63×	`distribute-lft-neg-out_binary64_16064` `associate-/l/_binary64_16052`
50×	`distribute-neg-in_binary64_16066`
34×	`cube-prod_binary64_16133`
31×	`sqr-pow_binary64_16077`
27×	`distribute-rgt1-in_binary64_16061`
26×	`*-rgt-identity_binary64_16095` `associate--r+_binary64_16041`
25×	`distribute-rgt-out--_binary64_16059`
23×	`associate-+l-_binary64_16040`
22×	`cube-div_binary64_16134`
21×	`distribute-frac-neg_binary64_16068`
19×	`*-lft-identity_binary64_16094`
17×	`cube-unmult_binary64_16142` `sub0-neg_binary64_16092` `distribute-neg-out_binary64_16067` `associate-+r-_binary64_16039`
16×	`unpow3_binary64_16171`
12×	`+-rgt-identity_binary64_16090`
9×	`associate--l+_binary64_16042`
8×	`/-rgt-identity_binary64_16096`
7×	`distribute-lft1-in_binary64_16060`
6×	`pow-plus_binary64_16168` `cancel-sign-sub_binary64_16070`
5×	`cube-mult_binary64_16135` `sqr-neg_binary64_16119` `associate--l-_binary64_16043`
4×	`rem-sqrt-square_binary64_16118` `difference-of-sqr-1_binary64_16075`
3×	`log-div_binary64_16192` `cube-neg_binary64_16132` `mul-1-neg_binary64_16097` `div0_binary64_16086` `swap-sqr_binary64_16072`
2×	`log-prod_binary64_16191` `unpow2_binary64_16170` `unpow1/2_binary64_16169` `unpow1_binary64_16163` `remove-double-neg_binary64_16093` `pow-sqr_binary64_16078` `distribute-lft-out_binary64_16056`
1×	`1-exp_binary64_16149` `--rgt-identity_binary64_16091` `difference-of-sqr--1_binary64_16076` `associate--r-_binary64_16044`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `log-pow_binary64_16194` `log-rec_binary64_16193` `pow-base-0_binary64_16189` `unpow1/3_binary64_16172` `exp-to-pow_binary64_16167` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `exp-prod_binary64_16157` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `exp-diff_binary64_16153` `exp-neg_binary64_16152` `exp-sum_binary64_16151` `e-exp-1_binary64_16150` `exp-1-e_binary64_16148` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `rem-3cbrt-rft_binary64_16131` `rem-3cbrt-lft_binary64_16130` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `rem-square-sqrt_binary64_16117` `+-lft-identity_binary64_16089` `mul0-rgt_binary64_16088` `mul0-lft_binary64_16087` `*-inverses_binary64_16085` `+-inverses_binary64_16084` `lft-mult-inverse_binary64_16083` `rgt-mult-inverse_binary64_16082` `remove-double-div_binary64_16081` `difference-of-squares_binary64_16074` `distribute-lft-out--_binary64_16057` `count-2_binary64_16053`

Counts

82 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	140	1954
1	336	1898
2	973	1850
3	3168	1788
4	4659	1788
5	5136	1788

prune80.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	70	4	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	70	5	75

Error

0.0b

Counts

75 → 5

Compiler

Compiled 1357 to 535 computations (60.6% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
8.1b	(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x))

rewrite399.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

316×	`times-frac_binary64_16111`
275×	`add-sqr-sqrt_binary64_16127`
273×	`*-un-lft-identity_binary64_16105`
107×	`add-cube-cbrt_binary64_16140`
84×	`difference-of-squares_binary64_16074`
42×	`associate-/r*_binary64_16049`
41×	`distribute-lft-out_binary64_16056`
21×	`distribute-lft-out--_binary64_16057`
15×	`add-exp-log_binary64_16143`
11×	`associate-/r/_binary64_16051` `associate-/l*_binary64_16050`
9×	`add-cbrt-cube_binary64_16141`
8×	`div-exp_binary64_16156`
6×	`div-inv_binary64_16102`
5×	`flip3-+_binary64_16108` `flip-+_binary64_16079`
4×	`cbrt-undiv_binary64_16139`
3×	`pow1_binary64_16166`
2×	`add-log-exp_binary64_16144` `frac-2neg_binary64_16116` `clear-num_binary64_16104` `associate-/l/_binary64_16052` `1-exp_binary64_16149` `rec-exp_binary64_16155`
1×	`div-sub_binary64_16110` `flip3--_binary64_16109` `flip--_binary64_16080` `inv-pow_binary64_16190` `pow-flip_binary64_16179`

Counts

2 → 237

Calls

2 calls:

19.0ms	(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
14.0ms	(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x))

Compiler

Compiled 5936 to 2948 computations (50.3% saved)

series474.0ms (5.1%)

Error

0.0b

Counts

2 → 40

Calls

2 calls:

238.0ms	(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
201.0ms	(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x))

Compiler

Compiled 1618 to 1137 computations (29.7% saved)

simplify243.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

626×	`times-frac_binary64_16111`
437×	`associate-/r/_binary64_16051`
389×	`associate-/l/_binary64_16052`
344×	`distribute-rgt-in_binary64_16055`
300×	`distribute-lft-in_binary64_16054`
223×	`div-sub_binary64_16110`
106×	`associate-*l/_binary64_16048`
98×	`associate-/l*_binary64_16050`
97×	`*-commutative_binary64_16036`
88×	`sub-neg_binary64_16098`
76×	`+-commutative_binary64_16035`
73×	`associate-+r+_binary64_16037`
67×	`distribute-neg-frac_binary64_16069` `associate-/r*_binary64_16049`
66×	`exp-prod_binary64_16157`
63×	`associate-*r/_binary64_16047`
55×	`associate-+l+_binary64_16038`
52×	`associate-r_binary64_16045`
50×	`neg-sub0_binary64_16100`
49×	`neg-mul-1_binary64_16101`
45×	`cancel-sign-sub-inv_binary64_16071`
43×	`*-rgt-identity_binary64_16095`
41×	`distribute-rgt-neg-in_binary64_16063`
36×	`distribute-neg-in_binary64_16066`
34×	`distribute-lft-neg-in_binary64_16062`
33×	`associate-l_binary64_16046`
32×	`cube-prod_binary64_16133`
30×	`unswap-sqr_binary64_16073`
25×	`sqr-pow_binary64_16077`
24×	`/-rgt-identity_binary64_16096`
23×	`exp-sum_binary64_16151`
21×	`unsub-neg_binary64_16099`
17×	`*-lft-identity_binary64_16094` `associate--r+_binary64_16041`
15×	`distribute-lft-neg-out_binary64_16064` `distribute-rgt-out_binary64_16058`
11×	`log-div_binary64_16192` `log-prod_binary64_16191`
10×	`distribute-rgt-neg-out_binary64_16065` `associate--l+_binary64_16042`
9×	`exp-diff_binary64_16153` `cube-div_binary64_16134` `swap-sqr_binary64_16072` `distribute-rgt1-in_binary64_16061` `distribute-rgt-out--_binary64_16059`
8×	`unpow3_binary64_16171` `cube-unmult_binary64_16142`
5×	`cube-mult_binary64_16135` `remove-double-div_binary64_16081` `associate-+r-_binary64_16039`
4×	`log-rec_binary64_16193` `rem-sqrt-square_binary64_16118` `mul-1-neg_binary64_16097` `associate--r-_binary64_16044`
3×	`unpow2_binary64_16170` `unpow1/2_binary64_16169` `pow-plus_binary64_16168` `unpow1_binary64_16163` `difference-of-squares_binary64_16074` `distribute-lft-out_binary64_16056`
2×	`sqr-neg_binary64_16119` `remove-double-neg_binary64_16093` `+-rgt-identity_binary64_16090` `+-lft-identity_binary64_16089` `distribute-lft-out--_binary64_16057`
1×	`1-exp_binary64_16149` `exp-1-e_binary64_16148` `sub0-neg_binary64_16092` `div0_binary64_16086` `distribute-neg-out_binary64_16067` `distribute-lft1-in_binary64_16060` `count-2_binary64_16053` `associate-+l-_binary64_16040`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `log-pow_binary64_16194` `pow-base-0_binary64_16189` `unpow1/3_binary64_16172` `exp-to-pow_binary64_16167` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `exp-neg_binary64_16152` `e-exp-1_binary64_16150` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `cube-neg_binary64_16132` `rem-3cbrt-rft_binary64_16131` `rem-3cbrt-lft_binary64_16130` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `rem-square-sqrt_binary64_16117` `--rgt-identity_binary64_16091` `mul0-rgt_binary64_16088` `mul0-lft_binary64_16087` `*-inverses_binary64_16085` `+-inverses_binary64_16084` `lft-mult-inverse_binary64_16083` `rgt-mult-inverse_binary64_16082` `pow-sqr_binary64_16078` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `cancel-sign-sub_binary64_16070` `distribute-frac-neg_binary64_16068` `associate--l-_binary64_16043`

Counts

277 → 254

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	272	7632
1	673	7257
2	2190	7047
3	4601	7047
4	4998	7047

prune285.0ms (3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	252	2	254
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	253	6	259

Error

Counts

259 → 6

Compiler

Compiled 5441 to 2344 computations (56.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (+.f64 y x))
0.5b	(cbrt.f64 (+.f64 y x))
2.8b	(/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z)))
5.4b	(.f64 (.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) (/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z))))

rewrite374.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

181×	`add-sqr-sqrt_binary64_16127`
154×	`*-un-lft-identity_binary64_16105`
144×	`times-frac_binary64_16111`
77×	`cbrt-prod_binary64_16136`
62×	`associate-r_binary64_16045`
60×	`difference-of-squares_binary64_16074`
56×	`add-cube-cbrt_binary64_16140`
30×	`cbrt-div_binary64_16137`
19×	`distribute-lft-out_binary64_16056`
18×	`add-exp-log_binary64_16143`
16×	`frac-times_binary64_16115`
15×	`flip3-+_binary64_16108` `flip-+_binary64_16079` `distribute-lft-out--_binary64_16057`
12×	`associate-*l/_binary64_16048`
11×	`add-cbrt-cube_binary64_16141`
9×	`pow1_binary64_16166`
8×	`associate-/r*_binary64_16049`
7×	`associate-/l*_binary64_16050`
6×	`prod-exp_binary64_16154` `cbrt-unprod_binary64_16138`
5×	`associate-*r/_binary64_16047`
4×	`add-log-exp_binary64_16144` `associate-/r/_binary64_16051`
3×	`pow-prod-down_binary64_16176` `div-exp_binary64_16156` `cbrt-undiv_binary64_16139` `unswap-sqr_binary64_16073`
2×	`div-inv_binary64_16102` `flip3--_binary64_16109` `flip--_binary64_16080` `associate-/l/_binary64_16052` `pow1/3_binary64_16187`
1×	`associate-l_binary64_16046` `*-commutative_binary64_16036` `frac-2neg_binary64_16116` `clear-num_binary64_16104`

Counts

4 → 216

Calls

4 calls:

35.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) (/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z))))
16.0ms	(/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z)))
3.0ms	(cbrt.f64 (+.f64 y x))
3.0ms	(cbrt.f64 (+.f64 y x))

Compiler

Compiled 7132 to 1994 computations (72% saved)

series891.0ms (9.5%)

Error

Counts

4 → 57

Calls

4 calls:

305.0ms	(/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z)))
268.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) (/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (/.f64 y z))))
134.0ms	(cbrt.f64 (+.f64 y x))
122.0ms	(cbrt.f64 (+.f64 y x))

Compiler

Compiled 3699 to 2443 computations (34% saved)

simplify280.0ms (3%)

Algorithm

1×	egg-herbie

Rules

679×	`times-frac_binary64_16111`
334×	`associate-l_binary64_16046`
242×	`associate-r_binary64_16045`
207×	`*-commutative_binary64_16036`
182×	`associate-/l*_binary64_16050`
172×	`unswap-sqr_binary64_16073`
133×	`associate-*r/_binary64_16047`
126×	`div-sub_binary64_16110` `associate-*l/_binary64_16048`
100×	`distribute-rgt-neg-in_binary64_16063`
90×	`distribute-lft-neg-in_binary64_16062`
75×	`+-commutative_binary64_16035`
72×	`associate-/l/_binary64_16052`
71×	`cancel-sign-sub-inv_binary64_16071`
70×	`associate-+r+_binary64_16037`
69×	`log-prod_binary64_16191`
63×	`sqr-pow_binary64_16077`
57×	`sub-neg_binary64_16098`
56×	`neg-sub0_binary64_16100`
53×	`exp-prod_binary64_16157` `*-rgt-identity_binary64_16095` `associate-+l+_binary64_16038`
51×	`distribute-neg-frac_binary64_16069`
49×	`neg-mul-1_binary64_16101` `*-lft-identity_binary64_16094`
46×	`cube-prod_binary64_16133`
41×	`distribute-neg-in_binary64_16066`
39×	`unpow3_binary64_16171`
38×	`associate-/r*_binary64_16049`
36×	`distribute-rgt-in_binary64_16055`
33×	`log-div_binary64_16192`
26×	`distribute-lft-in_binary64_16054`
25×	`distribute-rgt-out_binary64_16058`
21×	`associate-/r/_binary64_16051`
19×	`log-pow_binary64_16194` `cube-div_binary64_16134`
18×	`exp-sum_binary64_16151`
17×	`distribute-lft-neg-out_binary64_16064`
14×	`cube-unmult_binary64_16142`
13×	`unsub-neg_binary64_16099`
12×	`pow-plus_binary64_16168` `/-rgt-identity_binary64_16096`
11×	`unpow1/3_binary64_16172`
10×	`distribute-rgt-neg-out_binary64_16065`
9×	`cube-mult_binary64_16135`
8×	`rem-sqrt-square_binary64_16118` `distribute-rgt1-in_binary64_16061`
7×	`mul-1-neg_binary64_16097` `swap-sqr_binary64_16072` `associate--r+_binary64_16041`
6×	`exp-diff_binary64_16153`
5×	`log-rec_binary64_16193` `rem-exp-log_binary64_16145` `pow-sqr_binary64_16078` `distribute-rgt-out--_binary64_16059` `associate-+r-_binary64_16039`
4×	`unpow1/2_binary64_16169` `exp-neg_binary64_16152`
3×	`unpow2_binary64_16170` `unpow1_binary64_16163` `difference-of-squares_binary64_16074` `distribute-lft1-in_binary64_16060` `associate--r-_binary64_16044`
2×	`associate-+l-_binary64_16040`
1×	`exp-to-pow_binary64_16167` `1-exp_binary64_16149` `exp-1-e_binary64_16148` `cube-neg_binary64_16132` `rem-3cbrt-lft_binary64_16130` `sqr-neg_binary64_16119` `remove-double-neg_binary64_16093` `+-rgt-identity_binary64_16090` `+-inverses_binary64_16084` `distribute-neg-out_binary64_16067` `count-2_binary64_16053`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `pow-base-0_binary64_16189` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `e-exp-1_binary64_16150` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-3cbrt-rft_binary64_16131` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `rem-square-sqrt_binary64_16117` `sub0-neg_binary64_16092` `--rgt-identity_binary64_16091` `+-lft-identity_binary64_16089` `mul0-rgt_binary64_16088` `mul0-lft_binary64_16087` `div0_binary64_16086` `*-inverses_binary64_16085` `lft-mult-inverse_binary64_16083` `rgt-mult-inverse_binary64_16082` `remove-double-div_binary64_16081` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `cancel-sign-sub_binary64_16070` `distribute-frac-neg_binary64_16068` `distribute-lft-out--_binary64_16057` `distribute-lft-out_binary64_16056` `associate--l-_binary64_16043` `associate--l+_binary64_16042`

Counts

273 → 252

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	325	7398
1	827	6569
2	2927	6471
3	4626	6447
4	4942	6447
5	4941	6447

prune310.0ms (3.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	251	1	252
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	252	6	258

Error

Counts

258 → 6

Compiler

Compiled 6939 to 2263 computations (67.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (-.f64 y x))
0.0b	(*.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) (-.f64 y x))
8.1b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
19.0b	(.f64 (.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) (-.f64 y x)) (/.f64 1 (-.f64 y x)))

rewrite426.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

146×	`add-sqr-sqrt_binary64_16127`
139×	`*-un-lft-identity_binary64_16105`
113×	`times-frac_binary64_16111`
54×	`add-exp-log_binary64_16143`
53×	`add-cube-cbrt_binary64_16140`
44×	`difference-of-squares_binary64_16074`
39×	`associate-l_binary64_16046`
34×	`add-cbrt-cube_binary64_16141`
26×	`associate-r_binary64_16045`
22×	`prod-exp_binary64_16154`
17×	`distribute-lft-out--_binary64_16057` `distribute-lft-out_binary64_16056`
14×	`div-exp_binary64_16156`
13×	`associate-/r*_binary64_16049`
12×	`pow1_binary64_16166` `cbrt-unprod_binary64_16138`
11×	`frac-times_binary64_16115`
10×	`flip3--_binary64_16109` `flip--_binary64_16080`
8×	`cbrt-undiv_binary64_16139` `associate-*l/_binary64_16048` `associate-/r/_binary64_16051`
7×	`associate-r/_binary64_16047` `associate-/l_binary64_16050`
6×	`cancel-sign-sub-inv_binary64_16071`
4×	`pow-prod-down_binary64_16176` `1-exp_binary64_16149` `rec-exp_binary64_16155` `add-log-exp_binary64_16144` `div-inv_binary64_16102` `distribute-rgt-in_binary64_16055` `distribute-lft-in_binary64_16054`
2×	`*-commutative_binary64_16036` `frac-2neg_binary64_16116` `clear-num_binary64_16104` `associate-/l/_binary64_16052` `unswap-sqr_binary64_16073` `sub-neg_binary64_16098`
1×	`un-div-inv_binary64_16103` `flip3-+_binary64_16108` `flip-+_binary64_16079` `inv-pow_binary64_16190` `pow-flip_binary64_16179`

Counts

4 → 234

Calls

4 calls:

27.0ms	(.f64 (.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) (-.f64 y x)) (/.f64 1 (-.f64 y x)))
23.0ms	(*.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) (-.f64 y x))
12.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
6.0ms	(/.f64 1 (-.f64 y x))

Compiler

Compiled 7008 to 2800 computations (60% saved)

series1.1s (11.8%)

Error

Counts

4 → 80

Calls

4 calls:

427.0ms	(*.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) (-.f64 y x))
271.0ms	(.f64 (.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) (-.f64 y x)) (/.f64 1 (-.f64 y x)))
257.0ms	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
65.0ms	(/.f64 1 (-.f64 y x))

Compiler

Compiled 4441 to 2900 computations (34.7% saved)

simplify227.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

751×	`div-sub_binary64_16110`
366×	`associate-l_binary64_16046`
244×	`associate-r_binary64_16045`
237×	`associate-*l/_binary64_16048`
214×	`*-commutative_binary64_16036`
196×	`associate-/l*_binary64_16050`
176×	`sub-neg_binary64_16098`
167×	`associate-*r/_binary64_16047`
136×	`cancel-sign-sub-inv_binary64_16071`
127×	`distribute-rgt-in_binary64_16055`
108×	`distribute-lft-in_binary64_16054`
105×	`+-commutative_binary64_16035`
96×	`times-frac_binary64_16111`
91×	`associate-+l+_binary64_16038` `associate-+r+_binary64_16037`
85×	`distribute-neg-frac_binary64_16069`
82×	`exp-prod_binary64_16157`
80×	`distribute-neg-in_binary64_16066`
72×	`neg-sub0_binary64_16100`
62×	`neg-mul-1_binary64_16101`
59×	`*-rgt-identity_binary64_16095`
57×	`cube-prod_binary64_16133` `associate-/r*_binary64_16049`
54×	`associate-/l/_binary64_16052`
53×	`*-lft-identity_binary64_16094`
49×	`unswap-sqr_binary64_16073`
45×	`log-prod_binary64_16191` `associate--r+_binary64_16041`
41×	`log-div_binary64_16192` `cube-div_binary64_16134` `unsub-neg_binary64_16099`
40×	`sqr-pow_binary64_16077`
38×	`associate-/r/_binary64_16051`
26×	`swap-sqr_binary64_16072`
24×	`exp-diff_binary64_16153`
22×	`unpow3_binary64_16171`
21×	`associate--l+_binary64_16042`
20×	`associate-+r-_binary64_16039`
18×	`cube-mult_binary64_16135` `/-rgt-identity_binary64_16096` `distribute-rgt-neg-in_binary64_16063`
16×	`exp-sum_binary64_16151`
12×	`distribute-lft-neg-in_binary64_16062`
11×	`cube-unmult_binary64_16142` `distribute-lft-neg-out_binary64_16064` `associate-+l-_binary64_16040`
9×	`mul-1-neg_binary64_16097` `+-rgt-identity_binary64_16090` `distribute-rgt-neg-out_binary64_16065`
6×	`log-rec_binary64_16193`
5×	`unpow1/2_binary64_16169` `difference-of-squares_binary64_16074`
4×	`rgt-mult-inverse_binary64_16082` `distribute-rgt-out_binary64_16058`
3×	`unpow2_binary64_16170` `pow-plus_binary64_16168` `unpow1_binary64_16163` `sqr-neg_binary64_16119` `rem-sqrt-square_binary64_16118` `lft-mult-inverse_binary64_16083` `distribute-rgt1-in_binary64_16061`
2×	`cube-neg_binary64_16132` `remove-double-neg_binary64_16093` `sub0-neg_binary64_16092` `remove-double-div_binary64_16081` `pow-sqr_binary64_16078` `associate--r-_binary64_16044`
1×	`exp-neg_binary64_16152` `1-exp_binary64_16149` `exp-1-e_binary64_16148` `rem-3cbrt-lft_binary64_16130` `rem-square-sqrt_binary64_16117` `--rgt-identity_binary64_16091` `+-lft-identity_binary64_16089` `mul0-lft_binary64_16087` `distribute-frac-neg_binary64_16068` `distribute-neg-out_binary64_16067` `distribute-rgt-out--_binary64_16059` `associate--l-_binary64_16043`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `log-pow_binary64_16194` `pow-base-0_binary64_16189` `unpow1/3_binary64_16172` `exp-to-pow_binary64_16167` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `e-exp-1_binary64_16150` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `rem-3cbrt-rft_binary64_16131` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `mul0-rgt_binary64_16088` `div0_binary64_16086` `*-inverses_binary64_16085` `+-inverses_binary64_16084` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `cancel-sign-sub_binary64_16070` `distribute-lft1-in_binary64_16060` `distribute-lft-out--_binary64_16057` `distribute-lft-out_binary64_16056` `count-2_binary64_16053`

Counts

314 → 270

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	367	7123
1	963	6531
2	3599	6504
3	4654	6504
4	6240	6504

prune304.0ms (3.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

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

Error

Counts

276 → 6

Compiler

Compiled 6724 to 2471 computations (63.3% saved)

regimes796.0ms (8.5%)

Accuracy

Total 0.2b remaining (98.7%)

Threshold costs 0.2b (98.7%)

Compiler

Compiled 4898 to 3600 computations (26.5% saved)

bsearch6.0ms (0.1%)

Compiler: Compiled 9 to 8 computations (11.1% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative_binary64_16035`
11×	`sub-neg_binary64_16098`
10×	`*-commutative_binary64_16036`
9×	`neg-mul-1_binary64_16101` `neg-sub0_binary64_16100`
3×	`unsub-neg_binary64_16099` `distribute-neg-frac_binary64_16069`
2×	`distribute-neg-out_binary64_16067` `distribute-neg-in_binary64_16066` `distribute-rgt-neg-in_binary64_16063` `distribute-lft-neg-in_binary64_16062`
1×	`if-if-or-not_binary64_16363` `1-exp_binary64_16149` `cancel-sign-sub-inv_binary64_16071`
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_16365` `if-if-and_binary64_16364` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `unpow1_binary64_16163` `e-exp-1_binary64_16150` `exp-1-e_binary64_16148` `exp-0_binary64_16147` `sqr-abs_binary64_16120` `sqr-neg_binary64_16119` `mul-1-neg_binary64_16097` `/-rgt-identity_binary64_16096` `-rgt-identity_binary64_16095` `-lft-identity_binary64_16094` `remove-double-neg_binary64_16093` `sub0-neg_binary64_16092` `--rgt-identity_binary64_16091` `+-rgt-identity_binary64_16090` `+-lft-identity_binary64_16089` `cancel-sign-sub_binary64_16070` `distribute-frac-neg_binary64_16068` `distribute-rgt-neg-out_binary64_16065` `distribute-lft-neg-out_binary64_16064`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	81
1	39	81
2	61	81
3	83	81
4	96	81
5	101	81
6	100	81

end0.0ms (0%)

sample1.6s (17.2%)

Algorithm

1×

intervals

Results

261.0ms	7999×	body	128	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 1288 to 930 computations (27.8% saved)

Details

analyze785.0ms (8.4%)

sample19.0ms (0.2%)

simplify205.0ms (2.2%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite92.0ms (1%)

series295.0ms (3.1%)

simplify117.0ms (1.3%)

prune80.0ms (0.8%)

localize7.0ms (0.1%)

rewrite399.0ms (4.3%)

series474.0ms (5.1%)

simplify243.0ms (2.6%)

prune285.0ms (3%)

localize10.0ms (0.1%)

rewrite374.0ms (4%)

series891.0ms (9.5%)

simplify280.0ms (3%)

prune310.0ms (3.3%)

localize14.0ms (0.1%)

rewrite426.0ms (4.5%)

series1.1s (11.8%)

simplify227.0ms (2.4%)

prune304.0ms (3.2%)

regimes796.0ms (8.5%)

bsearch6.0ms (0.1%)

simplify7.0ms (0.1%)

end0.0ms (0%)

sample1.6s (17.2%)

Profiling