Details

analyze516.0ms (6.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

795×	`sub-neg_binary64_13370`
682×	`unsub-neg_binary64_13371`
574×	`+-commutative_binary64_13307`
540×	`neg-sub0_binary64_13372`
481×	`distribute-neg-in_binary64_13338`
371×	`neg-mul-1_binary64_13373`
370×	`distribute-neg-out_binary64_13339`
283×	`distribute-rgt-neg-in_binary64_13335`
272×	`distribute-lft-neg-in_binary64_13334`
263×	`remove-double-neg_binary64_13365`
224×	`*-commutative_binary64_13308`
204×	`distribute-rgt-out--_binary64_13331`
190×	`associate-+l+_binary64_13310`
188×	`associate-+l-_binary64_13312`
183×	`associate--r+_binary64_13313`
156×	`associate--l+_binary64_13314`
155×	`associate-+r-_binary64_13311`
151×	`distribute-lft-neg-out_binary64_13336`
141×	`distribute-lft-out--_binary64_13329`
139×	`associate-+r+_binary64_13309`
134×	`cancel-sign-sub_binary64_13342`
130×	`distribute-rgt-in_binary64_13327`
124×	`cancel-sign-sub-inv_binary64_13343`
110×	`associate-l_binary64_13318`
100×	`mul-1-neg_binary64_13369`
93×	`*-lft-identity_binary64_13366`
86×	`distribute-rgt-neg-out_binary64_13337`
83×	`distribute-rgt-out_binary64_13330`
68×	`distribute-lft-in_binary64_13326` `associate--r-_binary64_13316`
67×	`associate-r_binary64_13317`
64×	`associate--l-_binary64_13315`
50×	`sub0-neg_binary64_13364`
40×	`distribute-lft-out_binary64_13328`
29×	`+-rgt-identity_binary64_13362`
24×	`log-prod_binary64_13463`
19×	`--rgt-identity_binary64_13363`
17×	`*-rgt-identity_binary64_13367`
12×	`mul0-rgt_binary64_13360` `mul0-lft_binary64_13359`
9×	`distribute-rgt1-in_binary64_13333`
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` `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` `times-frac_binary64_13383` `div-sub_binary64_13382` `/-rgt-identity_binary64_13368` `+-lft-identity_binary64_13361` `div0_binary64_13358` `-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `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-neg-frac_binary64_13341` `distribute-frac-neg_binary64_13340` `distribute-lft1-in_binary64_13332` `count-2_binary64_13325` `associate-/l/_binary64_13324` `associate-/r/_binary64_13323` `associate-/l_binary64_13322` `associate-/r_binary64_13321` `associate-l/_binary64_13320` `associate-*r/_binary64_13319`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	72
1	75	72
2	228	72
3	741	72
4	1924	72
5	2766	72
6	3683	72
7	3978	72
8	4187	72
9	4073	72
10	4011	72
11	4689	72
12	4991	72
13	4949	72
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
10.1%	64.7%	25.1%	8
17.2%	32.8%	50.1%	9
23%	26.9%	50.1%	10
26.8%	23.1%	50.1%	11
31.6%	18.3%	50.1%	12
35.2%	14.7%	50.1%	13
37.5%	12.4%	50.1%	14

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample23.0ms (0.3%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify173.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

763×	`associate--r+_binary64_13313`
658×	`associate--r-_binary64_13316`
630×	`associate--l+_binary64_13314`
490×	`associate--l-_binary64_13315`
440×	`associate-+l-_binary64_13312`
374×	`unsub-neg_binary64_13371`
316×	`distribute-neg-out_binary64_13339`
312×	`cancel-sign-sub-inv_binary64_13343`
306×	`sub-neg_binary64_13370`
258×	`distribute-rgt-in_binary64_13327`
238×	`distribute-neg-in_binary64_13338`
156×	`+-commutative_binary64_13307`
147×	`associate-+r+_binary64_13309`
143×	`associate-+l+_binary64_13310`
106×	`distribute-lft-in_binary64_13326`
104×	`distribute-rgt-neg-in_binary64_13335`
97×	`associate-l_binary64_13318`
89×	`associate-+r-_binary64_13311`
81×	`neg-sub0_binary64_13372`
78×	`neg-mul-1_binary64_13373`
77×	`distribute-lft-neg-out_binary64_13336` `*-commutative_binary64_13308`
62×	`associate-r_binary64_13317`
61×	`distribute-lft-neg-in_binary64_13334`
42×	`distribute-rgt-neg-out_binary64_13337`
40×	`cancel-sign-sub_binary64_13342`
36×	`sub0-neg_binary64_13364`
17×	`remove-double-neg_binary64_13365` `distribute-rgt1-in_binary64_13333`
16×	`distribute-rgt-out--_binary64_13331`
15×	`*-lft-identity_binary64_13366`
13×	`+-rgt-identity_binary64_13362` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `distribute-lft-out--_binary64_13329`
12×	`*-rgt-identity_binary64_13367`
9×	`--rgt-identity_binary64_13363`
8×	`log-prod_binary64_13463`
6×	`distribute-rgt-out_binary64_13330`
2×	`mul-1-neg_binary64_13369` `+-lft-identity_binary64_13361` `distribute-lft-out_binary64_13328`
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` `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` `times-frac_binary64_13383` `div-sub_binary64_13382` `/-rgt-identity_binary64_13368` `div0_binary64_13358` `-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `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-neg-frac_binary64_13341` `distribute-frac-neg_binary64_13340` `distribute-lft1-in_binary64_13332` `count-2_binary64_13325` `associate-/l/_binary64_13324` `associate-/r/_binary64_13323` `associate-/l_binary64_13322` `associate-/r_binary64_13321` `associate-l/_binary64_13320` `associate-*r/_binary64_13319`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	25	18
2	73	18
3	229	18
4	556	18
5	1278	18
6	1440	18
7	1609	18
8	1711	18
9	1737	18
10	1764	18
11	1764	18
12	1910	18
13	1850	18
14	1850	18
15	1850	18
16	4710	18
17	4948	18

prune6.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.1b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite101.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`*-un-lft-identity_binary64_13377`
12×	`log-prod_binary64_13463`
11×	`add-sqr-sqrt_binary64_13399`
10×	`add-log-exp_binary64_13416`
9×	`add-cube-cbrt_binary64_13412`
6×	`pow1_binary64_13438` `distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326` `associate--r+_binary64_13313`
5×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
4×	`associate-l_binary64_13318` `associate-r_binary64_13317`
2×	`flip3-+_binary64_13380` `associate-*l/_binary64_13320` `flip-+_binary64_13351` `distribute-lft-out_binary64_13328` `diff-log_binary64_13469` `sum-log_binary64_13468` `sub-neg_binary64_13370` `associate-+l+_binary64_13310` `cancel-sign-sub-inv_binary64_13343`
1×	`pow-prod-down_binary64_13448` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `unswap-sqr_binary64_13345` `log-pow_binary64_13466` `*-commutative_binary64_13308` `associate-+l-_binary64_13312` `+-commutative_binary64_13307` `flip3--_binary64_13381` `flip--_binary64_13352`

Counts

3 → 62

Calls

3 calls:

8.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))
6.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
5.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))

Compiler

Compiled 1251 to 694 computations (44.5% saved)

series839.0ms (10.6%)

Error

0.1b

Counts

3 → 27

Calls

3 calls:

358.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
351.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
104.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

Compiler

Compiled 968 to 690 computations (28.7% saved)

simplify152.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

770×	`distribute-rgt-in_binary64_13327`
737×	`distribute-lft-in_binary64_13326`
159×	`exp-sum_binary64_13423`
141×	`associate-+l+_binary64_13310`
138×	`cancel-sign-sub-inv_binary64_13343`
125×	`associate-+r+_binary64_13309`
124×	`neg-mul-1_binary64_13373`
106×	`distribute-rgt-neg-in_binary64_13335`
100×	`sub-neg_binary64_13370`
97×	`associate--r+_binary64_13313`
86×	`exp-diff_binary64_13425`
81×	`exp-prod_binary64_13429`
80×	`distribute-lft-neg-in_binary64_13334`
74×	`distribute-neg-in_binary64_13338`
70×	`associate-l_binary64_13318`
66×	`*-commutative_binary64_13308`
61×	`associate-r_binary64_13317`
55×	`log-prod_binary64_13463`
45×	`neg-sub0_binary64_13372` `associate-+l-_binary64_13312`
43×	`+-commutative_binary64_13307`
40×	`associate--l+_binary64_13314`
39×	`distribute-lft-neg-out_binary64_13336`
36×	`associate-+r-_binary64_13311`
24×	`distribute-rgt-neg-out_binary64_13337`
23×	`associate--r-_binary64_13316`
22×	`sqr-pow_binary64_13349` `distribute-rgt-out_binary64_13330`
20×	`cube-prod_binary64_13405`
18×	`exp-to-pow_binary64_13439`
16×	`unsub-neg_binary64_13371`
15×	`*-rgt-identity_binary64_13367`
14×	`log-pow_binary64_13466` `log-div_binary64_13464`
12×	`*-lft-identity_binary64_13366`
10×	`times-frac_binary64_13383`
8×	`mul-1-neg_binary64_13369`
7×	`distribute-rgt-out--_binary64_13331`
6×	`unpow3_binary64_13443` `unswap-sqr_binary64_13345` `swap-sqr_binary64_13344` `distribute-lft-out_binary64_13328`
5×	`div-exp_binary64_13428` `sqr-neg_binary64_13391` `associate-/l*_binary64_13322` `associate--l-_binary64_13315`
4×	`prod-exp_binary64_13426` `cube-mult_binary64_13407` `div-sub_binary64_13382` `remove-double-neg_binary64_13365` `difference-of-squares_binary64_13346` `count-2_binary64_13325` `associate-/r*_binary64_13321`
3×	`log-rec_binary64_13465` `+-rgt-identity_binary64_13362`
2×	`unpow1/2_binary64_13441` `cube-neg_binary64_13404` `associate-*l/_binary64_13320`
1×	`log-E_binary64_13467` `rec-exp_binary64_13427` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `rem-exp-log_binary64_13417` `cube-unmult_binary64_13414` `+-inverses_binary64_13356` `pow-sqr_binary64_13350` `cancel-sign-sub_binary64_13342` `distribute-neg-out_binary64_13339` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `associate-*r/_binary64_13319`
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` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow2_binary64_13442` `pow-plus_binary64_13440` `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-neg_binary64_13424` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `cube-div_binary64_13406` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `/-rgt-identity_binary64_13368` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `*-inverses_binary64_13357` `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` `distribute-neg-frac_binary64_13341` `distribute-frac-neg_binary64_13340` `distribute-lft-out--_binary64_13329` `associate-/l/_binary64_13324` `associate-/r/_binary64_13323`

Counts

89 → 77

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	148	1341
1	391	1278
2	1132	1259
3	4552	1259
4	4948	1256
5	4997	1256
6	4996	1256
7	4949	1256

prune100.0ms (1.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	69	8	77
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	8	78

Error

0.0b

Counts

78 → 8

Compiler

Compiled 1454 to 803 computations (44.8% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite82.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`add-log-exp_binary64_13416`
9×	`*-un-lft-identity_binary64_13377`
7×	`add-sqr-sqrt_binary64_13399`
6×	`pow1_binary64_13438`
5×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413` `add-cube-cbrt_binary64_13412`
4×	`associate-l_binary64_13318` `associate-r_binary64_13317`
2×	`distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326` `flip3-+_binary64_13380` `associate-*r/_binary64_13319` `flip-+_binary64_13351` `distribute-lft-out_binary64_13328` `diff-log_binary64_13469` `sub-neg_binary64_13370` `cancel-sign-sub-inv_binary64_13343` `associate--r+_binary64_13313` `sum-log_binary64_13468` `associate-+l+_binary64_13310`
1×	`pow-prod-down_binary64_13448` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `unswap-sqr_binary64_13345` `log-pow_binary64_13466` `*-commutative_binary64_13308` `flip3--_binary64_13381` `flip--_binary64_13352` `associate-+l-_binary64_13312` `+-commutative_binary64_13307`

Counts

3 → 54

Calls

3 calls:

7.0ms	(*.f64 (log.f64 y) (+.f64 1/2 y))
6.0ms	(+.f64 (-.f64 y (*.f64 (log.f64 y) (+.f64 1/2 y))) x)
3.0ms	(-.f64 y (*.f64 (log.f64 y) (+.f64 1/2 y)))

Compiler

Compiled 1055 to 585 computations (44.5% saved)

series666.0ms (8.4%)

Error

0.0b

Counts

3 → 21

Calls

3 calls:

366.0ms	(+.f64 (-.f64 y (*.f64 (log.f64 y) (+.f64 1/2 y))) x)
173.0ms	(-.f64 y (*.f64 (log.f64 y) (+.f64 1/2 y)))
108.0ms	(*.f64 (log.f64 y) (+.f64 1/2 y))

Compiler

Compiled 787 to 582 computations (26% saved)

simplify80.0ms (1%)

Algorithm

1×	egg-herbie

Rules

788×	`distribute-rgt-in_binary64_13327`
774×	`distribute-lft-in_binary64_13326`
169×	`associate-+l+_binary64_13310`
160×	`associate-+r+_binary64_13309`
107×	`cancel-sign-sub-inv_binary64_13343`
93×	`associate--r+_binary64_13313`
92×	`exp-diff_binary64_13425`
85×	`distribute-rgt-neg-in_binary64_13335`
76×	`sub-neg_binary64_13370`
75×	`exp-prod_binary64_13429`
68×	`distribute-lft-neg-in_binary64_13334`
67×	`distribute-neg-in_binary64_13338` `associate-l_binary64_13318`
57×	`exp-sum_binary64_13423`
56×	`*-commutative_binary64_13308`
54×	`associate-r_binary64_13317`
52×	`associate-+l-_binary64_13312`
48×	`associate-+r-_binary64_13311`
45×	`associate--l+_binary64_13314`
44×	`log-prod_binary64_13463`
40×	`distribute-lft-neg-out_binary64_13336`
38×	`+-commutative_binary64_13307`
32×	`neg-sub0_binary64_13372` `distribute-rgt-neg-out_binary64_13337`
29×	`neg-mul-1_binary64_13373`
24×	`associate--r-_binary64_13316`
22×	`sqr-pow_binary64_13349`
21×	`exp-to-pow_binary64_13439` `distribute-rgt-out_binary64_13330`
18×	`cube-prod_binary64_13405` `unsub-neg_binary64_13371`
14×	`associate--l-_binary64_13315`
10×	`*-lft-identity_binary64_13366`
9×	`unpow3_binary64_13443`
8×	`*-rgt-identity_binary64_13367` `swap-sqr_binary64_13344` `distribute-rgt-out--_binary64_13331`
6×	`div-exp_binary64_13428` `prod-exp_binary64_13426` `times-frac_binary64_13383` `unswap-sqr_binary64_13345`
5×	`remove-double-neg_binary64_13365` `associate-/l_binary64_13322` `associate-/r_binary64_13321`
4×	`log-div_binary64_13464` `cube-mult_binary64_13407` `difference-of-squares_binary64_13346`
3×	`+-rgt-identity_binary64_13362` `distribute-lft-out_binary64_13328`
2×	`pow-plus_binary64_13440` `mul-1-neg_binary64_13369` `pow-sqr_binary64_13350` `distribute-neg-out_binary64_13339` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332`
1×	`log-E_binary64_13467` `log-pow_binary64_13466` `log-rec_binary64_13465` `unpow1/2_binary64_13441` `rec-exp_binary64_13427` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `rem-exp-log_binary64_13417` `cube-unmult_binary64_13414` `cube-neg_binary64_13404` `sqr-neg_binary64_13391` `sub0-neg_binary64_13364` `+-inverses_binary64_13356` `cancel-sign-sub_binary64_13342` `distribute-lft-out--_binary64_13329` `associate-l/_binary64_13320` `associate-r/_binary64_13319`
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` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow2_binary64_13442` `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-neg_binary64_13424` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `cube-div_binary64_13406` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `div-sub_binary64_13382` `/-rgt-identity_binary64_13368` `--rgt-identity_binary64_13363` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `*-inverses_binary64_13357` `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` `distribute-neg-frac_binary64_13341` `distribute-frac-neg_binary64_13340` `count-2_binary64_13325` `associate-/l/_binary64_13324` `associate-/r/_binary64_13323`

Counts

75 → 54

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	127	1116
1	331	1067
2	991	1036
3	4862	1036
4	5011	1036

prune62.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	54	8	62

Error

0.0b

Counts

62 → 8

Compiler

Compiled 1011 to 532 computations (47.4% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y)))))
0.1b	(+.f64 (-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y))))) y)
0.4b	(*.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y)))
0.4b	(.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y))))

rewrite174.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`*-un-lft-identity_binary64_13377`
14×	`sqrt-div_binary64_13394`
13×	`add-sqr-sqrt_binary64_13399`
12×	`pow1_binary64_13438`
11×	`add-exp-log_binary64_13415` `add-log-exp_binary64_13416` `add-cbrt-cube_binary64_13413` `associate-l_binary64_13318`
10×	`associate-*r/_binary64_13319`
9×	`add-cube-cbrt_binary64_13412` `sqrt-prod_binary64_13393`
8×	`flip3-+_binary64_13380` `flip-+_binary64_13351` `associate-r_binary64_13317`
4×	`pow-prod-down_binary64_13448` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `frac-times_binary64_13387`
3×	`distribute-lft-out_binary64_13328`
2×	`associate-l/_binary64_13320` `-commutative_binary64_13308` `unswap-sqr_binary64_13345` `diff-log_binary64_13469` `sum-log_binary64_13468` `sub-neg_binary64_13370` `associate-+l+_binary64_13310` `cancel-sign-sub-inv_binary64_13343`
1×	`log-pow_binary64_13466` `associate-+l-_binary64_13312` `+-commutative_binary64_13307` `flip3--_binary64_13381` `flip--_binary64_13352`

Counts

4 → 84

Calls

4 calls:

14.0ms	(.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y))))
9.0ms	(*.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y)))
6.0ms	(+.f64 (-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y))))) y)
3.0ms	(-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y)))))

Compiler

Compiled 2422 to 1584 computations (34.6% saved)

series959.0ms (12.1%)

Error

0.0b

Counts

4 → 31

Calls

4 calls:

367.0ms	(+.f64 (-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y))))) y)
355.0ms	(-.f64 x (.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y)))))
140.0ms	(.f64 (sqrt.f64 (+.f64 y 1/2)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y))))
67.0ms	(*.f64 (log.f64 y) (sqrt.f64 (+.f64 1/2 y)))

Compiler

Compiled 1275 to 928 computations (27.2% saved)

simplify123.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

483×	`distribute-rgt-in_binary64_13327`
465×	`distribute-lft-in_binary64_13326`
314×	`distribute-neg-in_binary64_13338`
254×	`*-commutative_binary64_13308`
240×	`exp-sum_binary64_13423`
211×	`unsub-neg_binary64_13371`
202×	`sub-neg_binary64_13370`
152×	`cancel-sign-sub-inv_binary64_13343`
146×	`exp-prod_binary64_13429`
142×	`exp-diff_binary64_13425`
133×	`distribute-rgt-neg-in_binary64_13335`
131×	`associate-l_binary64_13318`
127×	`associate-r_binary64_13317`
110×	`neg-sub0_binary64_13372`
108×	`distribute-lft-neg-in_binary64_13334`
105×	`times-frac_binary64_13383`
101×	`neg-mul-1_binary64_13373`
86×	`log-prod_binary64_13463`
79×	`associate-+l+_binary64_13310`
73×	`+-commutative_binary64_13307`
72×	`associate-+r+_binary64_13309`
61×	`sqr-pow_binary64_13349`
58×	`unswap-sqr_binary64_13345`
50×	`associate--r+_binary64_13313`
44×	`associate-+l-_binary64_13312`
41×	`associate-+r-_binary64_13311`
38×	`exp-to-pow_binary64_13439`
37×	`associate--l+_binary64_13314`
33×	`distribute-lft-neg-out_binary64_13336`
31×	`cube-prod_binary64_13405`
29×	`div-sub_binary64_13382`
28×	`swap-sqr_binary64_13344` `distribute-neg-out_binary64_13339`
27×	`distribute-rgt-out_binary64_13330`
21×	`cancel-sign-sub_binary64_13342` `associate-/l*_binary64_13322`
20×	`remove-double-neg_binary64_13365` `distribute-rgt-neg-out_binary64_13337`
19×	`*-rgt-identity_binary64_13367`
18×	`sub0-neg_binary64_13364` `associate--r-_binary64_13316`
17×	`+-rgt-identity_binary64_13362`
16×	`*-lft-identity_binary64_13366`
14×	`unpow3_binary64_13443`
13×	`mul0-rgt_binary64_13360` `mul0-lft_binary64_13359`
12×	`difference-of-squares_binary64_13346`
10×	`log-pow_binary64_13466` `distribute-rgt-out--_binary64_13331` `associate-/r*_binary64_13321`
9×	`mul-1-neg_binary64_13369` `pow-sqr_binary64_13350` `distribute-frac-neg_binary64_13340`
8×	`log-div_binary64_13464`
7×	`prod-exp_binary64_13426` `exp-neg_binary64_13424`
6×	`associate-/r/_binary64_13323` `associate--l-_binary64_13315`
4×	`unpow1/2_binary64_13441` `pow-plus_binary64_13440` `div-exp_binary64_13428` `cube-mult_binary64_13407` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389`
3×	`--rgt-identity_binary64_13363` `associate-*l/_binary64_13320`
2×	`log-rec_binary64_13465` `cube-unmult_binary64_13414` `cube-neg_binary64_13404` `sqr-neg_binary64_13391` `/-rgt-identity_binary64_13368` `distribute-lft-out_binary64_13328` `associate-*r/_binary64_13319`
1×	`log-E_binary64_13467` `rec-exp_binary64_13427` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `rem-exp-log_binary64_13417` `+-inverses_binary64_13356` `distribute-rgt1-in_binary64_13333` `distribute-lft-out--_binary64_13329` `count-2_binary64_13325` `associate-/l/_binary64_13324`
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` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow2_binary64_13442` `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` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `cube-div_binary64_13406` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `+-lft-identity_binary64_13361` `div0_binary64_13358` `*-inverses_binary64_13357` `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` `distribute-neg-frac_binary64_13341` `distribute-lft1-in_binary64_13332`

Counts

115 → 91

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	198	2416
1	476	1779
2	1117	1703
3	3264	1703
4	4666	1699
5	4901	1699

prune105.0ms (1.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	91	8	99

Error

0.0b

Counts

99 → 8

Compiler

Compiled 1824 to 1050 computations (42.4% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 y (.f64 (log.f64 y) (-.f64 -1/2 y)))) (cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y)))))
0.5b	(cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y))))
0.5b	(cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y))))
0.5b	(cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y))))

rewrite238.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64_13408`
23×	`add-sqr-sqrt_binary64_13399`
18×	`cbrt-div_binary64_13409`
15×	`add-cube-cbrt_binary64_13412` `*-un-lft-identity_binary64_13377`
11×	`pow1_binary64_13438`
9×	`pow1/3_binary64_13459` `flip3-+_binary64_13380` `flip-+_binary64_13351`
6×	`add-exp-log_binary64_13415` `swap-sqr_binary64_13344` `associate-l_binary64_13318` `associate-r_binary64_13317`
4×	`add-log-exp_binary64_13416` `add-cbrt-cube_binary64_13413` `frac-times_binary64_13387` `unswap-sqr_binary64_13345`
2×	`pow-prod-down_binary64_13448` `pow-prod-up_binary64_13447` `pow-sqr_binary64_13350` `associate-l/_binary64_13320` `associate-r/_binary64_13319`
1×	`pow2_binary64_13458` `pow-plus_binary64_13440` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `*-commutative_binary64_13308`

Counts

4 → 87

Calls

4 calls:

11.0ms	(.f64 (cbrt.f64 (+.f64 y (.f64 (log.f64 y) (-.f64 -1/2 y)))) (cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y)))))
3.0ms	(cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y))))
3.0ms	(cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y))))
3.0ms	(cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y))))

Compiler

Compiled 4106 to 2455 computations (40.2% saved)

series878.0ms (11.1%)

Error

0.0b

Counts

4 → 17

Calls

4 calls:

423.0ms	(.f64 (cbrt.f64 (+.f64 y (.f64 (log.f64 y) (-.f64 -1/2 y)))) (cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y)))))
140.0ms	(cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y))))
137.0ms	(cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y))))
137.0ms	(cbrt.f64 (+.f64 y (*.f64 (log.f64 y) (-.f64 -1/2 y))))

Compiler

Compiled 3052 to 2467 computations (19.2% saved)

simplify135.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

501×	`associate-l_binary64_13318`
457×	`associate-r_binary64_13317`
407×	`div-sub_binary64_13382`
251×	`times-frac_binary64_13383`
191×	`distribute-rgt-in_binary64_13327`
189×	`*-commutative_binary64_13308`
174×	`distribute-lft-in_binary64_13326`
165×	`associate-/l*_binary64_13322`
146×	`exp-prod_binary64_13429`
128×	`associate-/r*_binary64_13321`
81×	`exp-sum_binary64_13423`
74×	`cancel-sign-sub-inv_binary64_13343` `distribute-rgt-neg-out_binary64_13337`
62×	`distribute-lft-neg-out_binary64_13336`
57×	`associate-*l/_binary64_13320`
52×	`log-prod_binary64_13463` `sqr-pow_binary64_13349`
51×	`associate-*r/_binary64_13319`
48×	`distribute-rgt-neg-in_binary64_13335`
43×	`sub-neg_binary64_13370` `distribute-lft-neg-in_binary64_13334`
41×	`cube-prod_binary64_13405` `+-commutative_binary64_13307`
39×	`unswap-sqr_binary64_13345` `associate-+l+_binary64_13310`
38×	`associate-/r/_binary64_13323`
36×	`exp-diff_binary64_13425`
29×	`neg-mul-1_binary64_13373` `neg-sub0_binary64_13372` `associate-+r+_binary64_13309`
28×	`distribute-frac-neg_binary64_13340`
23×	`associate-+r-_binary64_13311`
21×	`exp-to-pow_binary64_13439` `distribute-rgt-out_binary64_13330` `associate-+l-_binary64_13312`
19×	`associate--r+_binary64_13313`
18×	`distribute-lft-out_binary64_13328`
16×	`associate--r-_binary64_13316`
15×	`cube-unmult_binary64_13414`
14×	`distribute-neg-in_binary64_13338` `associate-/l/_binary64_13324`
13×	`pow-plus_binary64_13440` `associate--l+_binary64_13314`
12×	`exp-lft-sqr_binary64_13432`
11×	`*-rgt-identity_binary64_13367`
10×	`log-pow_binary64_13466` `*-lft-identity_binary64_13366`
9×	`rem-sqrt-square_binary64_13390` `swap-sqr_binary64_13344` `distribute-rgt-out--_binary64_13331`
8×	`unpow3_binary64_13443` `unsub-neg_binary64_13371` `pow-sqr_binary64_13350`
7×	`unpow1/3_binary64_13444` `exp-neg_binary64_13424`
6×	`sqr-neg_binary64_13391`
5×	`unpow1/2_binary64_13441` `rem-exp-log_binary64_13417` `distribute-lft-out--_binary64_13329`
4×	`log-div_binary64_13464` `unpow2_binary64_13442` `unpow1_binary64_13435` `cube-mult_binary64_13407` `remove-double-neg_binary64_13365`
3×	`cube-neg_binary64_13404`
2×	`rem-3cbrt-lft_binary64_13402` `count-2_binary64_13325`
1×	`log-rec_binary64_13465` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `rem-3cbrt-rft_binary64_13403` `rem-square-sqrt_binary64_13389` `+-inverses_binary64_13356` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `distribute-rgt1-in_binary64_13333` `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` `pow-base-0_binary64_13461` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `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-0_binary64_13419` `rem-log-exp_binary64_13418` `cube-div_binary64_13406` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `mul-1-neg_binary64_13369` `/-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` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `difference-of-sqr--1_binary64_13348` `cancel-sign-sub_binary64_13342` `distribute-neg-frac_binary64_13341` `distribute-neg-out_binary64_13339` `distribute-lft1-in_binary64_13332`

Counts

104 → 67

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	138	3495
1	336	3250
2	976	2923
3	4212	2817
4	5383	2817

prune135.0ms (1.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	67	8	75

Error

0.0b

Counts

75 → 8

Compiler

Compiled 2717 to 1654 computations (39.1% saved)

regimes597.0ms (7.5%)

Accuracy

Total 0.1b remaining (95.4%)

Threshold costs 0.1b (95.4%)

Compiler

Compiled 6014 to 4564 computations (24.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64_13307`
8×	`sub-neg_binary64_13370`
7×	`*-commutative_binary64_13308`
6×	`neg-mul-1_binary64_13373` `neg-sub0_binary64_13372`
2×	`unsub-neg_binary64_13371` `cancel-sign-sub-inv_binary64_13343` `distribute-neg-in_binary64_13338` `distribute-rgt-neg-in_binary64_13335`
1×	`distribute-lft-neg-out_binary64_13336` `distribute-lft-neg-in_binary64_13334`
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` `1-exp_binary64_13421` `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-neg-frac_binary64_13341` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt-neg-out_binary64_13337`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	21	18
2	34	18
3	46	18
4	57	18
5	62	18
6	64	18
7	64	18

end0.0ms (0%)

sample1.7s (21.8%)

Algorithm

1×

intervals

Results

392.0ms	7997×	body	128	valid
1.0ms	32×	body	128	invalid
0.0ms	2×	body	512	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 1216 to 925 computations (23.9% saved)

Details

analyze516.0ms (6.5%)

sample23.0ms (0.3%)

simplify173.0ms (2.2%)

prune6.0ms (0.1%)

localize10.0ms (0.1%)

rewrite101.0ms (1.3%)

series839.0ms (10.6%)

simplify152.0ms (1.9%)

prune100.0ms (1.3%)

localize11.0ms (0.1%)

rewrite82.0ms (1%)

series666.0ms (8.4%)

simplify80.0ms (1%)

prune62.0ms (0.8%)

localize13.0ms (0.2%)

rewrite174.0ms (2.2%)

series959.0ms (12.1%)

simplify123.0ms (1.5%)

prune105.0ms (1.3%)

localize14.0ms (0.2%)

rewrite238.0ms (3%)

series878.0ms (11.1%)

simplify135.0ms (1.7%)

prune135.0ms (1.7%)

regimes597.0ms (7.5%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.7s (21.8%)

Profiling