Details

analyze963.0ms (7%)

Algorithm

1×	search
2×	egg-herbie

Rules

1160×	`sub-neg_binary64_13370`
823×	`div-sub_binary64_13382`
449×	`neg-mul-1_binary64_13373`
443×	`cancel-sign-sub-inv_binary64_13343`
398×	`neg-sub0_binary64_13372`
364×	`distribute-neg-frac_binary64_13341`
350×	`*-commutative_binary64_13308`
333×	`associate-/l*_binary64_13322`
325×	`distribute-rgt-in_binary64_13327`
318×	`distribute-frac-neg_binary64_13340`
307×	`unsub-neg_binary64_13371`
288×	`times-frac_binary64_13383`
286×	`distribute-rgt-neg-out_binary64_13337`
231×	`distribute-lft-in_binary64_13326`
227×	`distribute-rgt-neg-in_binary64_13335`
225×	`associate-/r*_binary64_13321`
187×	`distribute-lft-neg-out_binary64_13336` `associate-+l-_binary64_13312`
178×	`associate-*l/_binary64_13320`
174×	`distribute-neg-in_binary64_13338`
143×	`+-lft-identity_binary64_13361`
129×	`remove-double-neg_binary64_13365`
113×	`associate--r+_binary64_13313`
107×	`distribute-lft-neg-in_binary64_13334`
96×	`associate-/r/_binary64_13323`
90×	`+-commutative_binary64_13307`
87×	`associate-r_binary64_13317`
79×	`associate-/l/_binary64_13324`
77×	`div0_binary64_13358`
76×	`-lft-identity_binary64_13366` `associate-r/_binary64_13319`
70×	`associate-+r-_binary64_13311`
69×	`associate-l_binary64_13318` `associate--r-_binary64_13316`
66×	`mul0-rgt_binary64_13360` `mul0-lft_binary64_13359`
62×	`cancel-sign-sub_binary64_13342`
57×	`sub0-neg_binary64_13364`
55×	`associate--l-_binary64_13315`
41×	`*-rgt-identity_binary64_13367`
40×	`+-rgt-identity_binary64_13362` `distribute-neg-out_binary64_13339`
38×	`associate--l+_binary64_13314`
31×	`associate-+l+_binary64_13310`
26×	`associate-+r+_binary64_13309`
24×	`--rgt-identity_binary64_13363`
17×	`/-rgt-identity_binary64_13368`
14×	`distribute-rgt-out--_binary64_13331` `distribute-lft-out_binary64_13328`
10×	`distribute-lft-out--_binary64_13329`
7×	`distribute-rgt-out_binary64_13330`
5×	`remove-double-div_binary64_13353`
1×	`1-exp_binary64_13421`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-pow_binary64_13466` `log-rec_binary64_13465` `log-div_binary64_13464` `log-prod_binary64_13463` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow3_binary64_13443` `unpow2_binary64_13442` `unpow1/2_binary64_13441` `pow-plus_binary64_13440` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow1_binary64_13435` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `exp-prod_binary64_13429` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-unmult_binary64_13414` `cube-mult_binary64_13407` `cube-div_binary64_13406` `cube-prod_binary64_13405` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `mul-1-neg_binary64_13369` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `pow-sqr_binary64_13350` `sqr-pow_binary64_13349` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `unswap-sqr_binary64_13345` `swap-sqr_binary64_13344` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `count-2_binary64_13325`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	112
1	66	112
2	146	112
3	314	112
4	520	112
5	992	112
6	1882	112
7	3797	112
8	3605	112
9	3748	112
10	3883	112
11	3981	112
12	3981	112
13	4500	112
14	4680	112
15	4881	112
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7.8%	92%	0.2%	8
16.4%	83.4%	0.2%	9
23.8%	76%	0.2%	10
25.1%	74.7%	0.2%	11
38.1%	59.4%	2.5%	12
41.8%	55.3%	2.9%	13
46.5%	50.3%	3.1%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample26.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
2.0ms	58×	body	128	invalid

Compiler

Compiled 23 to 25 computations (-8.7% saved)

simplify265.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1174×	`div-sub_binary64_13382`
414×	`associate-/l*_binary64_13322`
410×	`distribute-rgt-in_binary64_13327`
404×	`sub-neg_binary64_13370`
371×	`associate-/r/_binary64_13323`
370×	`associate-/l/_binary64_13324`
344×	`distribute-lft-in_binary64_13326`
327×	`unsub-neg_binary64_13371`
284×	`associate-/r*_binary64_13321`
249×	`cancel-sign-sub-inv_binary64_13343`
221×	`distribute-neg-frac_binary64_13341`
168×	`*-commutative_binary64_13308`
149×	`distribute-rgt-neg-out_binary64_13337`
135×	`distribute-lft-neg-out_binary64_13336`
133×	`distribute-rgt-neg-in_binary64_13335`
126×	`neg-mul-1_binary64_13373`
124×	`associate-*l/_binary64_13320`
109×	`distribute-lft-neg-in_binary64_13334`
103×	`neg-sub0_binary64_13372`
70×	`associate-r_binary64_13317`
65×	`associate-l_binary64_13318`
62×	`times-frac_binary64_13383` `distribute-frac-neg_binary64_13340` `associate--r+_binary64_13313`
61×	`mul0-rgt_binary64_13360`
57×	`mul0-lft_binary64_13359` `div0_binary64_13358` `associate-*r/_binary64_13319`
56×	`distribute-neg-in_binary64_13338`
51×	`associate-+l-_binary64_13312`
45×	`associate--r-_binary64_13316`
43×	`remove-double-neg_binary64_13365`
39×	`associate--l-_binary64_13315` `+-commutative_binary64_13307`
30×	`*-rgt-identity_binary64_13367` `associate-+r-_binary64_13311`
28×	`*-lft-identity_binary64_13366`
27×	`associate--l+_binary64_13314`
22×	`/-rgt-identity_binary64_13368`
20×	`remove-double-div_binary64_13353`
16×	`sub0-neg_binary64_13364`
13×	`associate-+l+_binary64_13310` `associate-+r+_binary64_13309`
12×	`cancel-sign-sub_binary64_13342`
9×	`--rgt-identity_binary64_13363`
7×	`distribute-neg-out_binary64_13339`
5×	`+-lft-identity_binary64_13361`
4×	`mul-1-neg_binary64_13369`
3×	`distribute-rgt-out--_binary64_13331` `distribute-lft-out_binary64_13328`
2×	`+-rgt-identity_binary64_13362`
1×	`1-exp_binary64_13421` `distribute-rgt-out_binary64_13330` `distribute-lft-out--_binary64_13329`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-pow_binary64_13466` `log-rec_binary64_13465` `log-div_binary64_13464` `log-prod_binary64_13463` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow3_binary64_13443` `unpow2_binary64_13442` `unpow1/2_binary64_13441` `pow-plus_binary64_13440` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow1_binary64_13435` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `exp-prod_binary64_13429` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-unmult_binary64_13414` `cube-mult_binary64_13407` `cube-div_binary64_13406` `cube-prod_binary64_13405` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `pow-sqr_binary64_13350` `sqr-pow_binary64_13349` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `unswap-sqr_binary64_13345` `swap-sqr_binary64_13344` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `count-2_binary64_13325`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	18	16
2	33	16
3	61	16
4	103	16
5	179	16
6	357	16
7	714	16
8	1261	16
9	1454	16
10	1447	16
11	1374	16
12	1377	16
13	1410	16
14	1499	16
15	1921	16
16	1599	16
17	1627	16
18	1645	16
19	1661	16
20	1653	16
21	1653	16
22	1653	16
23	1711	16
24	1669	16
25	1663	16
26	1665	16
27	1667	16
28	1669	16
29	1669	16
30	1484	16

prune3.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

3.9b

Counts

1 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 t (-.f64 1 z))
0.0b	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
3.7b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

rewrite275.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

111×	`add-sqr-sqrt_binary64_13399`
107×	`*-un-lft-identity_binary64_13377`
88×	`times-frac_binary64_13383`
72×	`cancel-sign-sub-inv_binary64_13343`
46×	`add-cube-cbrt_binary64_13412`
34×	`difference-of-squares_binary64_13346`
25×	`distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326`
21×	`distribute-lft-out--_binary64_13329`
10×	`associate-r_binary64_13317`
8×	`associate-/r/_binary64_13323`
7×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
6×	`flip3--_binary64_13381` `flip--_binary64_13352` `associate-/r*_binary64_13321`
5×	`pow1_binary64_13438` `add-log-exp_binary64_13416`
4×	`div-inv_binary64_13374`
3×	`sub-neg_binary64_13370` `associate-r/_binary64_13319` `associate-l_binary64_13318` `associate-/l_binary64_13322`
2×	`frac-sub_binary64_13386`
1×	`pow-prod-down_binary64_13448` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `unswap-sqr_binary64_13345` `*-commutative_binary64_13308` `diff-log_binary64_13469` `div-exp_binary64_13428` `cbrt-undiv_binary64_13411` `frac-2neg_binary64_13388` `clear-num_binary64_13376`

Counts

3 → 162

Calls

3 calls:

33.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
23.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
6.0ms	(/.f64 t (-.f64 1 z))

Compiler

Compiled 3485 to 1799 computations (48.4% saved)

series860.0ms (6.3%)

Error

0.1b

Counts

3 → 66

Calls

3 calls:

466.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
239.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
100.0ms	(/.f64 t (-.f64 1 z))

Compiler

Compiled 2046 to 1304 computations (36.3% saved)

simplify170.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

505×	`neg-mul-1_binary64_13373`
398×	`times-frac_binary64_13383`
237×	`distribute-lft-neg-out_binary64_13336`
231×	`distribute-rgt-neg-out_binary64_13337`
224×	`associate-l_binary64_13318`
208×	`associate-r_binary64_13317`
196×	`*-commutative_binary64_13308`
181×	`div-sub_binary64_13382`
171×	`neg-sub0_binary64_13372`
140×	`exp-prod_binary64_13429`
138×	`distribute-rgt-neg-in_binary64_13335`
134×	`associate-*l/_binary64_13320`
128×	`cancel-sign-sub-inv_binary64_13343`
117×	`sub-neg_binary64_13370`
114×	`associate-*r/_binary64_13319`
112×	`distribute-neg-frac_binary64_13341`
92×	`distribute-lft-neg-in_binary64_13334`
84×	`+-commutative_binary64_13307`
74×	`distribute-rgt-out_binary64_13330`
73×	`associate-/l*_binary64_13322`
69×	`distribute-neg-in_binary64_13338`
66×	`*-rgt-identity_binary64_13367`
60×	`*-lft-identity_binary64_13366`
56×	`distribute-rgt-in_binary64_13327`
51×	`associate-/r*_binary64_13321` `associate-+r+_binary64_13309`
48×	`distribute-lft-in_binary64_13326`
44×	`unsub-neg_binary64_13371`
40×	`distribute-frac-neg_binary64_13340` `associate-+l+_binary64_13310`
36×	`cube-prod_binary64_13405`
34×	`associate-/l/_binary64_13324`
31×	`log-prod_binary64_13463` `exp-neg_binary64_13424`
28×	`sqr-pow_binary64_13349`
21×	`exp-diff_binary64_13425`
19×	`/-rgt-identity_binary64_13368` `associate--r+_binary64_13313`
18×	`associate-/r/_binary64_13323`
14×	`distribute-rgt1-in_binary64_13333`
13×	`cube-div_binary64_13406`
11×	`exp-sum_binary64_13423`
10×	`distribute-lft-out_binary64_13328`
9×	`unpow3_binary64_13443` `swap-sqr_binary64_13344` `distribute-rgt-out--_binary64_13331`
8×	`cube-unmult_binary64_13414` `distribute-neg-out_binary64_13339`
7×	`log-div_binary64_13464` `div0_binary64_13358` `unswap-sqr_binary64_13345`
6×	`associate-+r-_binary64_13311`
5×	`mul-1-neg_binary64_13369`
4×	`cube-mult_binary64_13407` `distribute-lft1-in_binary64_13332`
3×	`rem-sqrt-square_binary64_13390` `+-rgt-identity_binary64_13362` `difference-of-squares_binary64_13346`
2×	`unpow1/2_binary64_13441` `rem-3cbrt-lft_binary64_13402` `rem-square-sqrt_binary64_13389` `associate--l+_binary64_13314`
1×	`log-pow_binary64_13466` `unpow2_binary64_13442` `pow-plus_binary64_13440` `unpow1_binary64_13435` `div-exp_binary64_13428` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `sqr-neg_binary64_13391` `remove-double-neg_binary64_13365` `pow-sqr_binary64_13350` `associate--r-_binary64_13316`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-rec_binary64_13465` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `cancel-sign-sub_binary64_13342` `distribute-lft-out--_binary64_13329` `count-2_binary64_13325` `associate--l-_binary64_13315` `associate-+l-_binary64_13312`

Counts

228 → 161

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	275	4826
1	762	4716
2	2714	4122
3	4202	4104
4	5037	4104

prune164.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	151	10	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	152	10	162

Error

3.3b

Counts

162 → 10

Compiler

Compiled 2775 to 1252 computations (54.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.6b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x)))
2.4b	(*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x))

rewrite175.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

25×	`add-sqr-sqrt_binary64_13399`
20×	`*-un-lft-identity_binary64_13377`
18×	`pow1_binary64_13438` `add-exp-log_binary64_13415`
11×	`add-cbrt-cube_binary64_13413` `associate-l_binary64_13318`
10×	`cbrt-prod_binary64_13408`
9×	`pow-prod-down_binary64_13448` `prod-exp_binary64_13426` `add-cube-cbrt_binary64_13412` `cbrt-unprod_binary64_13410`
8×	`times-frac_binary64_13383`
7×	`associate-r_binary64_13317`
6×	`associate-*l/_binary64_13320`
4×	`add-log-exp_binary64_13416` `difference-of-squares_binary64_13346` `distribute-lft-out--_binary64_13329`
3×	`associate-*r/_binary64_13319`
2×	`unswap-sqr_binary64_13345` `frac-sub_binary64_13386` `flip3--_binary64_13381` `flip--_binary64_13352` `*-commutative_binary64_13308` `pow1/3_binary64_13459`

Counts

4 → 79

Calls

4 calls:

31.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x)))
30.0ms	(*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2162 to 858 computations (60.3% saved)

series1.6s (11.7%)

Error

0.0b

Counts

4 → 58

Calls

4 calls:

816.0ms	(*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x))
491.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x)))
117.0ms	(cbrt.f64 x)
108.0ms	(cbrt.f64 x)

Compiler

Compiled 2713 to 1761 computations (35.1% saved)

simplify82.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

372×	`distribute-rgt-in_binary64_13327`
365×	`distribute-lft-in_binary64_13326`
265×	`times-frac_binary64_13383`
256×	`associate-/l*_binary64_13322`
205×	`associate-l_binary64_13318`
193×	`associate-r_binary64_13317`
104×	`distribute-lft-out_binary64_13328`
95×	`cancel-sign-sub-inv_binary64_13343`
93×	`distribute-rgt-out_binary64_13330`
86×	`*-commutative_binary64_13308`
82×	`distribute-rgt-neg-in_binary64_13335`
81×	`unswap-sqr_binary64_13345`
64×	`distribute-lft-neg-in_binary64_13334`
59×	`+-commutative_binary64_13307`
54×	`distribute-lft-neg-out_binary64_13336`
50×	`exp-prod_binary64_13429`
49×	`log-prod_binary64_13463`
46×	`sqr-pow_binary64_13349` `associate-/r/_binary64_13323`
45×	`associate-+r+_binary64_13309`
42×	`sub-neg_binary64_13370`
39×	`distribute-rgt-neg-out_binary64_13337`
33×	`associate-+l+_binary64_13310`
30×	`neg-sub0_binary64_13372`
29×	`cube-prod_binary64_13405`
28×	`associate-/r*_binary64_13321`
25×	`neg-mul-1_binary64_13373` `associate-/l/_binary64_13324`
21×	`swap-sqr_binary64_13344`
18×	`distribute-neg-frac_binary64_13341` `distribute-neg-in_binary64_13338` `associate-*l/_binary64_13320`
16×	`*-rgt-identity_binary64_13367`
13×	`-lft-identity_binary64_13366` `associate-r/_binary64_13319`
11×	`div-sub_binary64_13382`
10×	`exp-sum_binary64_13423`
7×	`unpow3_binary64_13443` `cube-unmult_binary64_13414` `cube-mult_binary64_13407` `mul-1-neg_binary64_13369`
6×	`unsub-neg_binary64_13371` `associate--r+_binary64_13313`
4×	`log-pow_binary64_13466` `pow-plus_binary64_13440` `exp-diff_binary64_13425` `rem-sqrt-square_binary64_13390` `pow-sqr_binary64_13350` `distribute-rgt-out--_binary64_13331`
3×	`difference-of-squares_binary64_13346` `distribute-rgt1-in_binary64_13333`
2×	`unpow1/3_binary64_13444` `cube-div_binary64_13406` `distribute-lft-out--_binary64_13329` `count-2_binary64_13325`
1×	`unpow2_binary64_13442` `unpow1/2_binary64_13441` `unpow1_binary64_13435` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `cube-neg_binary64_13404` `rem-3cbrt-lft_binary64_13402` `rem-cube-cbrt_binary64_13400` `sqr-neg_binary64_13391` `remove-double-neg_binary64_13365` `distribute-lft1-in_binary64_13332`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-rec_binary64_13465` `log-div_binary64_13464` `pow-base-0_binary64_13461` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-neg_binary64_13424` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `rem-3cbrt-rft_binary64_13403` `rem-cbrt-cube_binary64_13401` `sqr-abs_binary64_13392` `rem-square-sqrt_binary64_13389` `/-rgt-identity_binary64_13368` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `associate--r-_binary64_13316` `associate--l-_binary64_13315` `associate--l+_binary64_13314` `associate-+l-_binary64_13312` `associate-+r-_binary64_13311`

Counts

137 → 105

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	175	3055
1	449	2375
2	1587	2294
3	4966	2294

prune117.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	100	5	105
Fresh	7	2	9
Picked	1	0	1
Done	0	0	0
Total	108	7	115

Error

0.3b

Counts

115 → 7

Compiler

Compiled 2146 to 902 computations (58% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 y z) (.f64 (/.f64 t (-.f64 1 (.f64 z z))) (+.f64 1 z)))
3.7b	(.f64 x (-.f64 (/.f64 y z) (.f64 (/.f64 t (-.f64 1 (*.f64 z z))) (+.f64 1 z))))
5.3b	(/.f64 t (-.f64 1 (*.f64 z z)))
10.4b	(.f64 (/.f64 t (-.f64 1 (.f64 z z))) (+.f64 1 z))

rewrite230.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

40×	`add-sqr-sqrt_binary64_13399`
35×	`*-un-lft-identity_binary64_13377`
31×	`times-frac_binary64_13383`
26×	`add-cube-cbrt_binary64_13412`
24×	`associate-l_binary64_13318`
14×	`difference-of-squares_binary64_13346`
13×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413` `associate-*r/_binary64_13319`
10×	`frac-sub_binary64_13386`
8×	`pow1_binary64_13438`
7×	`associate-r_binary64_13317`
6×	`add-log-exp_binary64_13416` `flip3-+_binary64_13380` `frac-times_binary64_13387` `flip-+_binary64_13351`
5×	`associate-/r*_binary64_13321`
4×	`distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326` `flip3--_binary64_13381` `associate-/r/_binary64_13323` `flip--_binary64_13352`
3×	`prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `unswap-sqr_binary64_13345` `associate-l/_binary64_13320` `associate-/l_binary64_13322` `sub-neg_binary64_13370` `cancel-sign-sub-inv_binary64_13343`
2×	`pow-prod-down_binary64_13448` `div-exp_binary64_13428` `cbrt-undiv_binary64_13411` `div-inv_binary64_13374` `*-commutative_binary64_13308` `associate--r+_binary64_13313`
1×	`distribute-lft-out_binary64_13328` `frac-2neg_binary64_13388` `clear-num_binary64_13376` `diff-log_binary64_13469`

Counts

4 → 132

Calls

4 calls:

12.0ms	(.f64 (/.f64 t (-.f64 1 (.f64 z z))) (+.f64 1 z))
10.0ms	(.f64 x (-.f64 (/.f64 y z) (.f64 (/.f64 t (-.f64 1 (*.f64 z z))) (+.f64 1 z))))
8.0ms	(-.f64 (/.f64 y z) (.f64 (/.f64 t (-.f64 1 (.f64 z z))) (+.f64 1 z)))
5.0ms	(/.f64 t (-.f64 1 (*.f64 z z)))

Compiler

Compiled 3784 to 1992 computations (47.4% saved)

series1.8s (13.1%)

Error

0.0b

Counts

4 → 77

Calls

4 calls:

883.0ms	(.f64 x (-.f64 (/.f64 y z) (.f64 (/.f64 t (-.f64 1 (*.f64 z z))) (+.f64 1 z))))
531.0ms	(-.f64 (/.f64 y z) (.f64 (/.f64 t (-.f64 1 (.f64 z z))) (+.f64 1 z)))
166.0ms	(.f64 (/.f64 t (-.f64 1 (.f64 z z))) (+.f64 1 z))
141.0ms	(/.f64 t (-.f64 1 (*.f64 z z)))

Compiler

Compiled 3345 to 2252 computations (32.7% saved)

simplify130.0ms (1%)

Algorithm

1×	egg-herbie

Rules

732×	`associate-/l*_binary64_13322`
320×	`cancel-sign-sub-inv_binary64_13343`
230×	`associate-l_binary64_13318`
228×	`associate-r_binary64_13317`
220×	`distribute-rgt-in_binary64_13327`
218×	`distribute-rgt-neg-in_binary64_13335`
194×	`distribute-lft-in_binary64_13326`
168×	`distribute-lft-neg-in_binary64_13334`
156×	`*-commutative_binary64_13308`
154×	`distribute-rgt-out_binary64_13330`
135×	`associate-*l/_binary64_13320`
134×	`distribute-neg-in_binary64_13338`
113×	`associate-/l/_binary64_13324`
111×	`sub-neg_binary64_13370`
101×	`associate-/r/_binary64_13323`
97×	`distribute-neg-frac_binary64_13341`
95×	`+-commutative_binary64_13307`
90×	`associate-*r/_binary64_13319`
73×	`neg-sub0_binary64_13372` `distribute-lft-neg-out_binary64_13336`
69×	`*-rgt-identity_binary64_13367`
67×	`times-frac_binary64_13383`
66×	`neg-mul-1_binary64_13373`
64×	`*-lft-identity_binary64_13366`
63×	`associate-/r*_binary64_13321`
62×	`associate-+r+_binary64_13309`
53×	`associate-+l+_binary64_13310`
49×	`distribute-rgt-neg-out_binary64_13337`
42×	`exp-prod_binary64_13429`
41×	`div-sub_binary64_13382`
40×	`sqr-pow_binary64_13349`
34×	`unsub-neg_binary64_13371`
29×	`cube-prod_binary64_13405` `distribute-lft-out_binary64_13328`
26×	`associate--r+_binary64_13313`
24×	`log-prod_binary64_13463` `unswap-sqr_binary64_13345`
22×	`swap-sqr_binary64_13344`
21×	`exp-sum_binary64_13423`
18×	`/-rgt-identity_binary64_13368`
16×	`cube-div_binary64_13406`
15×	`distribute-rgt1-in_binary64_13333` `distribute-rgt-out--_binary64_13331`
14×	`log-div_binary64_13464`
13×	`exp-diff_binary64_13425`
9×	`unpow3_binary64_13443`
8×	`mul-1-neg_binary64_13369`
7×	`cube-mult_binary64_13407` `distribute-lft1-in_binary64_13332`
6×	`cube-unmult_binary64_13414` `associate--l+_binary64_13314`
5×	`associate-+r-_binary64_13311`
4×	`difference-of-squares_binary64_13346`
3×	`div0_binary64_13358` `associate-+l-_binary64_13312`
2×	`pow-plus_binary64_13440` `pow-sqr_binary64_13350` `distribute-lft-out--_binary64_13329`
1×	`log-rec_binary64_13465` `unpow2_binary64_13442` `unpow1/2_binary64_13441` `unpow1_binary64_13435` `div-exp_binary64_13428` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `remove-double-neg_binary64_13365` `sub0-neg_binary64_13364` `+-rgt-identity_binary64_13362` `*-inverses_binary64_13357` `difference-of-sqr--1_binary64_13348` `distribute-frac-neg_binary64_13340` `associate--r-_binary64_13316` `associate--l-_binary64_13315`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-pow_binary64_13466` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-neg_binary64_13424` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `--rgt-identity_binary64_13363` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `difference-of-sqr-1_binary64_13347` `cancel-sign-sub_binary64_13342` `distribute-neg-out_binary64_13339` `count-2_binary64_13325`

Counts

209 → 175

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	308	4666
1	919	4457
2	2929	4288
3	5123	4288

prune213.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	173	9	182

Error

0.0b

Counts

182 → 9

Compiler

Compiled 4134 to 2021 computations (51.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.2b	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))))
13.9b	(/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))
13.9b	(/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))
13.9b	(/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))

rewrite352.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

22×	`add-sqr-sqrt_binary64_13399`
19×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413` `*-un-lft-identity_binary64_13377`
16×	`times-frac_binary64_13383`
15×	`associate-/r*_binary64_13321`
14×	`difference-of-squares_binary64_13346`
11×	`add-cube-cbrt_binary64_13412`
6×	`div-exp_binary64_13428` `cbrt-undiv_binary64_13411` `associate-*r/_binary64_13319` `associate-/l/_binary64_13324` `associate-/r/_binary64_13323` `cbrt-prod_binary64_13408`
4×	`pow1_binary64_13438` `add-log-exp_binary64_13416` `flip3--_binary64_13381` `flip--_binary64_13352`
3×	`prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `frac-2neg_binary64_13388` `clear-num_binary64_13376` `div-inv_binary64_13374` `flip3-+_binary64_13380` `flip-+_binary64_13351` `associate-/l*_binary64_13322` `cbrt-div_binary64_13409`
1×	`pow1/3_binary64_13459` `frac-sub_binary64_13386` `distribute-lft-out--_binary64_13329`

Counts

4 → 104

Calls

4 calls:

14.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))))
9.0ms	(/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))
9.0ms	(/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))
9.0ms	(/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))

Compiler

Compiled 6479 to 3505 computations (45.9% saved)

series1.7s (12.7%)

Error

0.0b

Counts

4 → 62

Calls

4 calls:

988.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))))
199.0ms	(/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))
188.0ms	(/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))
175.0ms	(/.f64 (.f64 t (+.f64 z 1)) (-.f64 1 (.f64 z z)))

Compiler

Compiled 9515 to 6280 computations (34% saved)

simplify136.0ms (1%)

Algorithm

1×	egg-herbie

Rules

337×	`times-frac_binary64_13383`
277×	`cancel-sign-sub-inv_binary64_13343`
241×	`associate-/l*_binary64_13322`
238×	`associate-r_binary64_13317`
189×	`associate-/r*_binary64_13321`
163×	`associate-l_binary64_13318`
156×	`*-commutative_binary64_13308`
144×	`sub-neg_binary64_13370`
110×	`unswap-sqr_binary64_13345`
108×	`associate-*l/_binary64_13320`
107×	`associate-*r/_binary64_13319`
99×	`+-commutative_binary64_13307`
93×	`neg-sub0_binary64_13372`
89×	`neg-mul-1_binary64_13373`
78×	`sqr-pow_binary64_13349`
75×	`distribute-rgt-in_binary64_13327`
69×	`associate-+r+_binary64_13309`
60×	`distribute-lft-in_binary64_13326`
55×	`div-sub_binary64_13382`
49×	`unsub-neg_binary64_13371`
48×	`associate-+l+_binary64_13310`
35×	`distribute-neg-in_binary64_13338`
34×	`*-rgt-identity_binary64_13367` `associate-/r/_binary64_13323`
32×	`associate-/l/_binary64_13324`
31×	`exp-sum_binary64_13423`
28×	`distribute-rgt-neg-in_binary64_13335`
27×	`associate--r+_binary64_13313`
25×	`log-div_binary64_13464`
23×	`exp-prod_binary64_13429`
22×	`distribute-lft-neg-in_binary64_13334`
21×	`cube-div_binary64_13406`
19×	`log-prod_binary64_13463`
16×	`cube-prod_binary64_13405` `*-lft-identity_binary64_13366` `distribute-neg-frac_binary64_13341`
15×	`exp-diff_binary64_13425`
12×	`distribute-lft-out_binary64_13328`
10×	`unpow1/3_binary64_13444` `unpow3_binary64_13443` `distribute-rgt-out_binary64_13330`
9×	`cube-mult_binary64_13407`
8×	`swap-sqr_binary64_13344`
7×	`/-rgt-identity_binary64_13368`
6×	`pow-sqr_binary64_13350`
5×	`difference-of-squares_binary64_13346` `distribute-lft-neg-out_binary64_13336` `associate--r-_binary64_13316` `associate-+l-_binary64_13312`
4×	`log-pow_binary64_13466` `log-rec_binary64_13465` `unpow2_binary64_13442` `unpow1/2_binary64_13441` `exp-to-pow_binary64_13439` `unpow1_binary64_13435` `exp-neg_binary64_13424` `cube-unmult_binary64_13414` `mul-1-neg_binary64_13369` `distribute-rgt1-in_binary64_13333` `associate-+r-_binary64_13311`
3×	`rem-sqrt-square_binary64_13390` `remove-double-neg_binary64_13365`
2×	`pow-plus_binary64_13440` `distribute-neg-out_binary64_13339` `associate--l-_binary64_13315` `associate--l+_binary64_13314`
1×	`1-exp_binary64_13421` `rem-3cbrt-lft_binary64_13402` `*-inverses_binary64_13357` `rgt-mult-inverse_binary64_13354` `difference-of-sqr--1_binary64_13348` `distribute-rgt-neg-out_binary64_13337` `distribute-lft1-in_binary64_13332`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `pow-base-0_binary64_13461` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `e-exp-1_binary64_13422` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-square-sqrt_binary64_13389` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `remove-double-div_binary64_13353` `difference-of-sqr-1_binary64_13347` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-rgt-out--_binary64_13331` `distribute-lft-out--_binary64_13329` `count-2_binary64_13325`

Counts

166 → 119

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	308	4533
1	906	4433
2	3843	4368
3	5012	4368

prune325.0ms (2.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	119	9	128

Error

0.0b

Counts

128 → 9

Compiler

Compiled 7183 to 3761 computations (47.6% saved)

regimes1.7s (12.2%)

Accuracy

Total 2.4b remaining (99.4%)

Threshold costs 0b (0%)

Compiler

Compiled 12434 to 9216 computations (25.9% saved)

bsearch4.0ms (0%)

Compiler: Compiled 9 to 9 computations (0% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

21×	`*-commutative_binary64_13308`
20×	`+-commutative_binary64_13307`
18×	`sub-neg_binary64_13370`
13×	`neg-mul-1_binary64_13373` `neg-sub0_binary64_13372`
7×	`distribute-rgt-neg-in_binary64_13335` `distribute-lft-neg-in_binary64_13334`
4×	`distribute-neg-frac_binary64_13341`
3×	`unsub-neg_binary64_13371`
2×	`cancel-sign-sub-inv_binary64_13343` `distribute-neg-in_binary64_13338`
1×	`1-exp_binary64_13421` `distribute-rgt-neg-out_binary64_13337` `distribute-lft-neg-out_binary64_13336`
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_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `unpow1_binary64_13435` `e-exp-1_binary64_13422` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `mul-1-neg_binary64_13369` `/-rgt-identity_binary64_13368` `-rgt-identity_binary64_13367` `-lft-identity_binary64_13366` `remove-double-neg_binary64_13365` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	39	150
1	66	148
2	95	148
3	126	148
4	147	148
5	159	148
6	162	148
7	163	148
8	162	148

end0.0ms (0%)

sample2.3s (17%)

Algorithm

1×

intervals

Results

308.0ms	8000×	body	128	valid
70.0ms	1877×	body	128	invalid

Compiler

Compiled 2108 to 1545 computations (26.7% saved)

Iter	Nodes	Cost
0	39	150
1	66	148
2	95	148
3	126	148
4	147	148
5	159	148
6	162	148
7	163	148
8	162	148

Iter	Nodes	Cost
0	39	150
1	66	148
2	95	148
3	126	148
4	147	148
5	159	148
6	162	148
7	163	148
8	162	148

Details

analyze963.0ms (7%)

sample26.0ms (0.2%)

simplify265.0ms (1.9%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite275.0ms (2%)

series860.0ms (6.3%)

simplify170.0ms (1.2%)

prune164.0ms (1.2%)

localize12.0ms (0.1%)

rewrite175.0ms (1.3%)

series1.6s (11.7%)

simplify82.0ms (0.6%)

prune117.0ms (0.9%)

localize12.0ms (0.1%)

rewrite230.0ms (1.7%)

series1.8s (13.1%)

simplify130.0ms (1%)

prune213.0ms (1.6%)

localize16.0ms (0.1%)

rewrite352.0ms (2.6%)

series1.7s (12.7%)

simplify136.0ms (1%)

prune325.0ms (2.4%)

regimes1.7s (12.2%)

bsearch4.0ms (0%)

simplify14.0ms (0.1%)

end0.0ms (0%)

sample2.3s (17%)

Profiling

Iter	Nodes	Cost
0	39	150
1	66	148
2	95	148
3	126	148
4	147	148
5	159	148
6	162	148
7	163	148
8	162	148