Details

analyze824.0ms (9.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

788×	`sub-neg_binary64_20190`
779×	`div-sub_binary64_20202`
524×	`neg-mul-1_binary64_20193`
431×	`cancel-sign-sub-inv_binary64_20163`
426×	`distribute-rgt-in_binary64_20147`
370×	`distribute-neg-frac_binary64_20161`
312×	`unsub-neg_binary64_20191`
308×	`neg-sub0_binary64_20192`
272×	`times-frac_binary64_20203`
189×	`distribute-neg-in_binary64_20158`
177×	`cancel-sign-sub_binary64_20162`
174×	`distribute-frac-neg_binary64_20160`
170×	`associate-/l*_binary64_20142`
125×	`associate--r+_binary64_20133`
87×	`distribute-lft-neg-in_binary64_20154`
86×	`distribute-rgt-neg-in_binary64_20155` `distribute-lft-in_binary64_20146`
79×	`associate-+r+_binary64_20129`
77×	`associate--l+_binary64_20134`
72×	`associate-/r*_binary64_20141`
68×	`remove-double-neg_binary64_20185`
64×	`+-commutative_binary64_20127`
57×	`*-commutative_binary64_20128`
55×	`+-rgt-identity_binary64_20182` `associate-*r/_binary64_20139`
51×	`associate-+l+_binary64_20130`
48×	`associate-*l/_binary64_20140`
46×	`distribute-lft-neg-out_binary64_20156`
45×	`sub0-neg_binary64_20184` `mul0-lft_binary64_20179`
38×	`associate-/r/_binary64_20143`
37×	`associate-+l-_binary64_20132`
35×	`associate-r_binary64_20137`
33×	`distribute-rgt-neg-out_binary64_20157`
32×	`associate-/l/_binary64_20144`
28×	`div0_binary64_20178` `associate-l_binary64_20138`
24×	`associate-+r-_binary64_20131`
23×	`+-lft-identity_binary64_20181`
15×	`*-rgt-identity_binary64_20187`
14×	`*-lft-identity_binary64_20186` `associate--r-_binary64_20136`
10×	`mul0-rgt_binary64_20180`
6×	`difference-of-squares_binary64_20166` `swap-sqr_binary64_20164`
4×	`mul-1-neg_binary64_20189` `distribute-rgt-out--_binary64_20151`
3×	`sqr-neg_binary64_20211` `/-rgt-identity_binary64_20188` `*-inverses_binary64_20177` `distribute-lft-out_binary64_20148` `associate--l-_binary64_20135`
1×	`1-exp_binary64_20241`
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_20460` `erf-erfc_binary64_20459` `erf-odd_binary64_20458` `if-if-and-not_binary64_20457` `if-if-and_binary64_20456` `if-if-or-not_binary64_20455` `if-if-or_binary64_20454` `if-not_binary64_20453` `if-same_binary64_20452` `if-false_binary64_20451` `if-true_binary64_20450` `not-gte_binary64_20449` `not-lte_binary64_20448` `not-gt_binary64_20447` `not-lt_binary64_20446` `gte-same_binary64_20445` `lte-same_binary64_20444` `gt-same_binary64_20443` `lt-same_binary64_20442` `sinh---cosh_binary64_20389` `sinh-+-cosh_binary64_20388` `sinh-cosh_binary64_20387` `tanh-def-c_binary64_20386` `tanh-def-b_binary64_20385` `tanh-def-a_binary64_20384` `cosh-def_binary64_20383` `sinh-def_binary64_20382` `tan-neg_binary64_20329` `cos-neg_binary64_20328` `sin-neg_binary64_20327` `tan-0_binary64_20326` `cos-0_binary64_20325` `sin-0_binary64_20324` `hang-m-tan_binary64_20323` `hang-p-tan_binary64_20322` `hang-m0-tan_binary64_20321` `hang-p0-tan_binary64_20320` `hang-0m-tan_binary64_20319` `hang-0p-tan_binary64_20318` `tan-+PI/2_binary64_20317` `tan-+PI_binary64_20316` `tan-PI_binary64_20315` `tan-PI/3_binary64_20314` `tan-PI/4_binary64_20313` `tan-PI/6_binary64_20312` `cos-+PI/2_binary64_20311` `cos-+PI_binary64_20310` `cos-PI_binary64_20309` `cos-PI/2_binary64_20308` `cos-PI/3_binary64_20307` `cos-PI/4_binary64_20306` `cos-PI/6_binary64_20305` `sin-+PI/2_binary64_20304` `sin-+PI_binary64_20303` `sin-PI_binary64_20302` `sin-PI/2_binary64_20301` `sin-PI/3_binary64_20300` `sin-PI/4_binary64_20299` `sin-PI/6_binary64_20298` `sub-1-sin_binary64_20297` `sub-1-cos_binary64_20296` `-1-add-sin_binary64_20295` `-1-add-cos_binary64_20294` `1-sub-sin_binary64_20293` `1-sub-cos_binary64_20292` `cos-sin-sum_binary64_20291` `log-E_binary64_20287` `log-pow_binary64_20286` `log-rec_binary64_20285` `log-div_binary64_20284` `log-prod_binary64_20283` `pow-base-0_binary64_20281` `unpow1/3_binary64_20264` `unpow3_binary64_20263` `unpow2_binary64_20262` `unpow1/2_binary64_20261` `pow-plus_binary64_20260` `exp-to-pow_binary64_20259` `pow-base-1_binary64_20257` `unpow0_binary64_20256` `unpow1_binary64_20255` `unpow-1_binary64_20254` `exp-lft-cube_binary64_20253` `exp-lft-sqr_binary64_20252` `exp-cbrt_binary64_20251` `exp-sqrt_binary64_20250` `exp-prod_binary64_20249` `div-exp_binary64_20248` `rec-exp_binary64_20247` `prod-exp_binary64_20246` `exp-diff_binary64_20245` `exp-neg_binary64_20244` `exp-sum_binary64_20243` `e-exp-1_binary64_20242` `exp-1-e_binary64_20240` `exp-0_binary64_20239` `rem-log-exp_binary64_20238` `rem-exp-log_binary64_20237` `cube-unmult_binary64_20234` `cube-mult_binary64_20227` `cube-div_binary64_20226` `cube-prod_binary64_20225` `cube-neg_binary64_20224` `rem-3cbrt-rft_binary64_20223` `rem-3cbrt-lft_binary64_20222` `rem-cbrt-cube_binary64_20221` `rem-cube-cbrt_binary64_20220` `sqr-abs_binary64_20212` `rem-sqrt-square_binary64_20210` `rem-square-sqrt_binary64_20209` `--rgt-identity_binary64_20183` `+-inverses_binary64_20176` `lft-mult-inverse_binary64_20175` `rgt-mult-inverse_binary64_20174` `remove-double-div_binary64_20173` `pow-sqr_binary64_20170` `sqr-pow_binary64_20169` `difference-of-sqr--1_binary64_20168` `difference-of-sqr-1_binary64_20167` `unswap-sqr_binary64_20165` `distribute-neg-out_binary64_20159` `distribute-rgt1-in_binary64_20153` `distribute-lft1-in_binary64_20152` `distribute-rgt-out_binary64_20150` `distribute-lft-out--_binary64_20149` `count-2_binary64_20145`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	88
1	70	88
2	187	88
3	367	88
4	837	88
5	2236	88
6	3898	76
7	4445	76
8	4945	76
9	4978	76
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%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
12.5%	85.8%	1.7%	9
16.4%	79.2%	4.4%	10
20.7%	72.4%	7%	11
32.6%	53.3%	14.1%	12
36%	45.5%	18.5%	13
38.3%	41.1%	20.6%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample28.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
4.0ms	94×	body	128	invalid

Compiler

Compiled 31 to 26 computations (16.1% saved)

simplify78.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

822×	`div-sub_binary64_20202`
608×	`neg-mul-1_binary64_20193`
536×	`times-frac_binary64_20203`
461×	`unsub-neg_binary64_20191`
417×	`distribute-frac-neg_binary64_20160`
410×	`distribute-rgt-in_binary64_20147`
364×	`sub-neg_binary64_20190`
190×	`neg-sub0_binary64_20192`
152×	`distribute-lft-in_binary64_20146`
143×	`associate-/l*_binary64_20142`
129×	`distribute-neg-frac_binary64_20161`
128×	`distribute-neg-in_binary64_20158`
124×	`+-commutative_binary64_20127`
108×	`associate--l+_binary64_20134`
105×	`cancel-sign-sub-inv_binary64_20163` `associate--r+_binary64_20133`
96×	`remove-double-neg_binary64_20185` `associate-+r+_binary64_20129`
92×	`associate-+l-_binary64_20132`
91×	`associate-+l+_binary64_20130`
88×	`sub0-neg_binary64_20184`
72×	`distribute-rgt-neg-in_binary64_20155`
69×	`distribute-lft-neg-in_binary64_20154`
64×	`distribute-neg-out_binary64_20159`
61×	`*-commutative_binary64_20128`
51×	`cancel-sign-sub_binary64_20162`
49×	`distribute-lft-neg-out_binary64_20156`
47×	`distribute-rgt-neg-out_binary64_20157`
45×	`associate-/r/_binary64_20143`
42×	`div0_binary64_20178` `associate-/l/_binary64_20144`
41×	`associate-*l/_binary64_20140`
40×	`/-rgt-identity_binary64_20188`
39×	`mul0-lft_binary64_20179` `associate-+r-_binary64_20131`
38×	`associate--r-_binary64_20136`
35×	`associate-*r/_binary64_20139`
34×	`cube-prod_binary64_20225` `associate-r_binary64_20137`
33×	`associate-/r_binary64_20141` `associate-l*_binary64_20138`
30×	`+-rgt-identity_binary64_20182` `distribute-lft-out_binary64_20148`
26×	`mul0-rgt_binary64_20180`
25×	`associate--l-_binary64_20135`
21×	`distribute-rgt-out_binary64_20150`
20×	`+-lft-identity_binary64_20181`
19×	`--rgt-identity_binary64_20183`
16×	`distribute-rgt-out--_binary64_20151`
15×	`*-rgt-identity_binary64_20187`
12×	`mul-1-neg_binary64_20189`
9×	`swap-sqr_binary64_20164`
8×	`cube-div_binary64_20226`
6×	`unpow3_binary64_20263` `*-lft-identity_binary64_20186`
5×	`cube-mult_binary64_20227` `cube-neg_binary64_20224` `difference-of-squares_binary64_20166`
4×	`distribute-lft-out--_binary64_20149`
3×	`sqr-neg_binary64_20211`
1×	`1-exp_binary64_20241` `cube-unmult_binary64_20234` `*-inverses_binary64_20177` `sqr-pow_binary64_20169` `distribute-rgt1-in_binary64_20153` `distribute-lft1-in_binary64_20152`
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_20460` `erf-erfc_binary64_20459` `erf-odd_binary64_20458` `if-if-and-not_binary64_20457` `if-if-and_binary64_20456` `if-if-or-not_binary64_20455` `if-if-or_binary64_20454` `if-not_binary64_20453` `if-same_binary64_20452` `if-false_binary64_20451` `if-true_binary64_20450` `not-gte_binary64_20449` `not-lte_binary64_20448` `not-gt_binary64_20447` `not-lt_binary64_20446` `gte-same_binary64_20445` `lte-same_binary64_20444` `gt-same_binary64_20443` `lt-same_binary64_20442` `sinh---cosh_binary64_20389` `sinh-+-cosh_binary64_20388` `sinh-cosh_binary64_20387` `tanh-def-c_binary64_20386` `tanh-def-b_binary64_20385` `tanh-def-a_binary64_20384` `cosh-def_binary64_20383` `sinh-def_binary64_20382` `tan-neg_binary64_20329` `cos-neg_binary64_20328` `sin-neg_binary64_20327` `tan-0_binary64_20326` `cos-0_binary64_20325` `sin-0_binary64_20324` `hang-m-tan_binary64_20323` `hang-p-tan_binary64_20322` `hang-m0-tan_binary64_20321` `hang-p0-tan_binary64_20320` `hang-0m-tan_binary64_20319` `hang-0p-tan_binary64_20318` `tan-+PI/2_binary64_20317` `tan-+PI_binary64_20316` `tan-PI_binary64_20315` `tan-PI/3_binary64_20314` `tan-PI/4_binary64_20313` `tan-PI/6_binary64_20312` `cos-+PI/2_binary64_20311` `cos-+PI_binary64_20310` `cos-PI_binary64_20309` `cos-PI/2_binary64_20308` `cos-PI/3_binary64_20307` `cos-PI/4_binary64_20306` `cos-PI/6_binary64_20305` `sin-+PI/2_binary64_20304` `sin-+PI_binary64_20303` `sin-PI_binary64_20302` `sin-PI/2_binary64_20301` `sin-PI/3_binary64_20300` `sin-PI/4_binary64_20299` `sin-PI/6_binary64_20298` `sub-1-sin_binary64_20297` `sub-1-cos_binary64_20296` `-1-add-sin_binary64_20295` `-1-add-cos_binary64_20294` `1-sub-sin_binary64_20293` `1-sub-cos_binary64_20292` `cos-sin-sum_binary64_20291` `log-E_binary64_20287` `log-pow_binary64_20286` `log-rec_binary64_20285` `log-div_binary64_20284` `log-prod_binary64_20283` `pow-base-0_binary64_20281` `unpow1/3_binary64_20264` `unpow2_binary64_20262` `unpow1/2_binary64_20261` `pow-plus_binary64_20260` `exp-to-pow_binary64_20259` `pow-base-1_binary64_20257` `unpow0_binary64_20256` `unpow1_binary64_20255` `unpow-1_binary64_20254` `exp-lft-cube_binary64_20253` `exp-lft-sqr_binary64_20252` `exp-cbrt_binary64_20251` `exp-sqrt_binary64_20250` `exp-prod_binary64_20249` `div-exp_binary64_20248` `rec-exp_binary64_20247` `prod-exp_binary64_20246` `exp-diff_binary64_20245` `exp-neg_binary64_20244` `exp-sum_binary64_20243` `e-exp-1_binary64_20242` `exp-1-e_binary64_20240` `exp-0_binary64_20239` `rem-log-exp_binary64_20238` `rem-exp-log_binary64_20237` `rem-3cbrt-rft_binary64_20223` `rem-3cbrt-lft_binary64_20222` `rem-cbrt-cube_binary64_20221` `rem-cube-cbrt_binary64_20220` `sqr-abs_binary64_20212` `rem-sqrt-square_binary64_20210` `rem-square-sqrt_binary64_20209` `+-inverses_binary64_20176` `lft-mult-inverse_binary64_20175` `rgt-mult-inverse_binary64_20174` `remove-double-div_binary64_20173` `pow-sqr_binary64_20170` `difference-of-sqr--1_binary64_20168` `difference-of-sqr-1_binary64_20167` `unswap-sqr_binary64_20165` `count-2_binary64_20145`

Counts

1 → 1

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	26	22
2	61	22
3	116	22
4	247	22
5	541	22
6	1124	19
7	2215	19
8	4371	19
9	4645	19
10	4898	19

prune9.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

11.4b

Counts

2 → 2

Compiler

Compiled 41 to 31 computations (24.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 (-.f64 (.f64 z z) (.f64 x x)) y) y)
0.8b	(-.f64 (.f64 z z) (.f64 x x))
12.3b	(/.f64 (-.f64 (.f64 z z) (.f64 x x)) y)

rewrite105.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`add-sqr-sqrt_binary64_20219`
15×	`*-un-lft-identity_binary64_20197`
13×	`add-cube-cbrt_binary64_20232` `times-frac_binary64_20203`
7×	`add-log-exp_binary64_20236` `difference-of-squares_binary64_20166`
5×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
4×	`associate-/l*_binary64_20142` `cancel-sign-sub-inv_binary64_20163`
3×	`pow1_binary64_20258` `flip3--_binary64_20201` `flip--_binary64_20172` `associate-/r*_binary64_20141`
2×	`div-sub_binary64_20202` `associate-/l/_binary64_20144` `diff-log_binary64_20289` `sub-neg_binary64_20190`
1×	`div-exp_binary64_20248` `cbrt-undiv_binary64_20231` `frac-2neg_binary64_20208` `clear-num_binary64_20196` `div-inv_binary64_20194` `distribute-lft-out--_binary64_20149` `associate--l-_binary64_20135`

Counts

3 → 65

Calls

3 calls:

11.0ms	(-.f64 (/.f64 (-.f64 (.f64 z z) (.f64 x x)) y) y)
6.0ms	(/.f64 (-.f64 (.f64 z z) (.f64 x x)) y)
4.0ms	(-.f64 (.f64 z z) (.f64 x x))

Compiler

Compiled 1473 to 394 computations (73.3% saved)

series831.0ms (9.3%)

Error

7.0b

Counts

3 → 45

Calls

3 calls:

357.0ms	(-.f64 (/.f64 (-.f64 (.f64 z z) (.f64 x x)) y) y)
306.0ms	(/.f64 (-.f64 (.f64 z z) (.f64 x x)) y)
129.0ms	(-.f64 (.f64 z z) (.f64 x x))

Compiler

Compiled 1418 to 1185 computations (16.4% saved)

simplify98.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

341×	`div-sub_binary64_20202`
337×	`associate-l_binary64_20138`
315×	`associate-r_binary64_20137`
298×	`times-frac_binary64_20203`
266×	`distribute-rgt-in_binary64_20147`
261×	`distribute-lft-in_binary64_20146`
225×	`associate-/l*_binary64_20142`
179×	`associate-*l/_binary64_20140`
160×	`exp-prod_binary64_20249`
138×	`associate-/r*_binary64_20141`
129×	`associate-*r/_binary64_20139`
119×	`*-commutative_binary64_20128`
87×	`associate-/l/_binary64_20144`
83×	`exp-sum_binary64_20243`
79×	`cube-prod_binary64_20225`
63×	`log-prod_binary64_20283` `+-commutative_binary64_20127`
59×	`sub-neg_binary64_20190`
54×	`cancel-sign-sub-inv_binary64_20163`
51×	`associate-/r/_binary64_20143`
48×	`unswap-sqr_binary64_20165`
43×	`cube-div_binary64_20226`
38×	`exp-diff_binary64_20245` `distribute-rgt-neg-in_binary64_20155`
34×	`associate-+l+_binary64_20130`
32×	`sqr-pow_binary64_20169`
31×	`neg-sub0_binary64_20192`
30×	`log-div_binary64_20284` `distribute-lft-neg-in_binary64_20154` `associate-+r+_binary64_20129`
29×	`neg-mul-1_binary64_20193`
25×	`distribute-lft-neg-out_binary64_20156`
21×	`distribute-neg-frac_binary64_20161` `associate-+l-_binary64_20132`
17×	`unpow3_binary64_20263` `difference-of-squares_binary64_20166` `distribute-rgt-neg-out_binary64_20157` `associate-+r-_binary64_20131`
14×	`cube-unmult_binary64_20234` `distribute-rgt-out_binary64_20150`
13×	`distribute-neg-in_binary64_20158`
10×	`cube-mult_binary64_20227`
8×	`sqr-neg_binary64_20211` `associate--r+_binary64_20133`
7×	`pow-plus_binary64_20260` `/-rgt-identity_binary64_20188` `+-rgt-identity_binary64_20182` `associate--l+_binary64_20134`
6×	`mul-1-neg_binary64_20189` `pow-sqr_binary64_20170`
4×	`*-rgt-identity_binary64_20187` `swap-sqr_binary64_20164`
3×	`div-exp_binary64_20248` `cube-neg_binary64_20224` `rem-sqrt-square_binary64_20210` `associate--r-_binary64_20136`
2×	`unpow2_binary64_20262` `unpow1/2_binary64_20261` `unpow1_binary64_20255` `exp-neg_binary64_20244` `unsub-neg_binary64_20191` `remove-double-neg_binary64_20185` `distribute-lft-out_binary64_20148` `associate--l-_binary64_20135`
1×	`log-pow_binary64_20286` `log-rec_binary64_20285` `prod-exp_binary64_20246` `1-exp_binary64_20241` `rem-3cbrt-lft_binary64_20222` `rem-square-sqrt_binary64_20209` `-lft-identity_binary64_20186` `div0_binary64_20178` `-inverses_binary64_20177` `cancel-sign-sub_binary64_20162` `distribute-frac-neg_binary64_20160`
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_20460` `erf-erfc_binary64_20459` `erf-odd_binary64_20458` `if-if-and-not_binary64_20457` `if-if-and_binary64_20456` `if-if-or-not_binary64_20455` `if-if-or_binary64_20454` `if-not_binary64_20453` `if-same_binary64_20452` `if-false_binary64_20451` `if-true_binary64_20450` `not-gte_binary64_20449` `not-lte_binary64_20448` `not-gt_binary64_20447` `not-lt_binary64_20446` `gte-same_binary64_20445` `lte-same_binary64_20444` `gt-same_binary64_20443` `lt-same_binary64_20442` `sinh---cosh_binary64_20389` `sinh-+-cosh_binary64_20388` `sinh-cosh_binary64_20387` `tanh-def-c_binary64_20386` `tanh-def-b_binary64_20385` `tanh-def-a_binary64_20384` `cosh-def_binary64_20383` `sinh-def_binary64_20382` `tan-neg_binary64_20329` `cos-neg_binary64_20328` `sin-neg_binary64_20327` `tan-0_binary64_20326` `cos-0_binary64_20325` `sin-0_binary64_20324` `hang-m-tan_binary64_20323` `hang-p-tan_binary64_20322` `hang-m0-tan_binary64_20321` `hang-p0-tan_binary64_20320` `hang-0m-tan_binary64_20319` `hang-0p-tan_binary64_20318` `tan-+PI/2_binary64_20317` `tan-+PI_binary64_20316` `tan-PI_binary64_20315` `tan-PI/3_binary64_20314` `tan-PI/4_binary64_20313` `tan-PI/6_binary64_20312` `cos-+PI/2_binary64_20311` `cos-+PI_binary64_20310` `cos-PI_binary64_20309` `cos-PI/2_binary64_20308` `cos-PI/3_binary64_20307` `cos-PI/4_binary64_20306` `cos-PI/6_binary64_20305` `sin-+PI/2_binary64_20304` `sin-+PI_binary64_20303` `sin-PI_binary64_20302` `sin-PI/2_binary64_20301` `sin-PI/3_binary64_20300` `sin-PI/4_binary64_20299` `sin-PI/6_binary64_20298` `sub-1-sin_binary64_20297` `sub-1-cos_binary64_20296` `-1-add-sin_binary64_20295` `-1-add-cos_binary64_20294` `1-sub-sin_binary64_20293` `1-sub-cos_binary64_20292` `cos-sin-sum_binary64_20291` `log-E_binary64_20287` `pow-base-0_binary64_20281` `unpow1/3_binary64_20264` `exp-to-pow_binary64_20259` `pow-base-1_binary64_20257` `unpow0_binary64_20256` `unpow-1_binary64_20254` `exp-lft-cube_binary64_20253` `exp-lft-sqr_binary64_20252` `exp-cbrt_binary64_20251` `exp-sqrt_binary64_20250` `rec-exp_binary64_20247` `e-exp-1_binary64_20242` `exp-1-e_binary64_20240` `exp-0_binary64_20239` `rem-log-exp_binary64_20238` `rem-exp-log_binary64_20237` `rem-3cbrt-rft_binary64_20223` `rem-cbrt-cube_binary64_20221` `rem-cube-cbrt_binary64_20220` `sqr-abs_binary64_20212` `sub0-neg_binary64_20184` `--rgt-identity_binary64_20183` `+-lft-identity_binary64_20181` `mul0-rgt_binary64_20180` `mul0-lft_binary64_20179` `+-inverses_binary64_20176` `lft-mult-inverse_binary64_20175` `rgt-mult-inverse_binary64_20174` `remove-double-div_binary64_20173` `difference-of-sqr--1_binary64_20168` `difference-of-sqr-1_binary64_20167` `distribute-neg-out_binary64_20159` `distribute-rgt1-in_binary64_20153` `distribute-lft1-in_binary64_20152` `distribute-rgt-out--_binary64_20151` `distribute-lft-out--_binary64_20149` `count-2_binary64_20145`

Counts

110 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	132	1835
1	322	1749
2	869	1737
3	4282	1737
4	5443	1737

prune80.0ms (0.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	80	4	84
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	81	5	86

Error

0.0b

Counts

86 → 5

Compiler

Compiled 1410 to 399 computations (71.7% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite91.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

24×	`add-sqr-sqrt_binary64_20219`
21×	`*-un-lft-identity_binary64_20197`
19×	`associate-l_binary64_20138`
16×	`times-frac_binary64_20203`
13×	`add-cube-cbrt_binary64_20232`
7×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
4×	`pow1_binary64_20258` `add-log-exp_binary64_20236` `associate-r_binary64_20137`
3×	`difference-of-squares_binary64_20166` `distribute-lft-out--_binary64_20149` `cancel-sign-sub-inv_binary64_20163`
2×	`prod-exp_binary64_20246` `cbrt-unprod_binary64_20230` `flip3-+_binary64_20200` `frac-times_binary64_20207` `flip-+_binary64_20171` `unswap-sqr_binary64_20165` `distribute-rgt-in_binary64_20147` `distribute-lft-in_binary64_20146` `associate-*r/_binary64_20139` `associate--l+_binary64_20134`
1×	`pow-prod-down_binary64_20268` `div-exp_binary64_20248` `cbrt-undiv_binary64_20231` `associate-l/_binary64_20140` `div-inv_binary64_20194` `distribute-lft-out_binary64_20148` `-commutative_binary64_20128` `diff-log_binary64_20289` `flip3--_binary64_20201` `sub-neg_binary64_20190` `flip--_binary64_20172`

Counts

2 → 61

Calls

2 calls:

13.0ms	(*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))
12.0ms	(-.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)

Compiler

Compiled 1368 to 400 computations (70.8% saved)

series680.0ms (7.6%)

Error

0.0b

Counts

2 → 33

Calls

2 calls:

355.0ms	(-.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)) y)
301.0ms	(*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))

Compiler

Compiled 1064 to 879 computations (17.4% saved)

simplify60.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

577×	`distribute-rgt-in_binary64_20147`
556×	`distribute-lft-in_binary64_20146`
459×	`times-frac_binary64_20203`
326×	`associate-/l*_binary64_20142`
241×	`associate-/r*_binary64_20141`
110×	`*-commutative_binary64_20128`
82×	`associate-*l/_binary64_20140`
79×	`associate-l_binary64_20138`
65×	`associate-r_binary64_20137`
63×	`associate-*r/_binary64_20139`
53×	`sub-neg_binary64_20190`
42×	`associate-/r/_binary64_20143`
41×	`div-sub_binary64_20202`
36×	`unswap-sqr_binary64_20165`
33×	`sqr-pow_binary64_20169`
32×	`exp-prod_binary64_20249`
27×	`neg-sub0_binary64_20192`
26×	`+-commutative_binary64_20127`
25×	`neg-mul-1_binary64_20193`
23×	`distribute-lft-neg-out_binary64_20156`
18×	`distribute-rgt-neg-out_binary64_20157`
17×	`exp-sum_binary64_20243`
16×	`cube-prod_binary64_20225`
15×	`cancel-sign-sub-inv_binary64_20163` `distribute-rgt-neg-in_binary64_20155`
14×	`log-prod_binary64_20283`
13×	`associate-/l/_binary64_20144`
12×	`*-lft-identity_binary64_20186`
11×	`*-rgt-identity_binary64_20187` `distribute-neg-frac_binary64_20161`
10×	`swap-sqr_binary64_20164` `distribute-lft-neg-in_binary64_20154` `distribute-rgt-out_binary64_20150`
8×	`unpow3_binary64_20263` `exp-diff_binary64_20245`
7×	`log-div_binary64_20284` `cube-div_binary64_20226` `difference-of-squares_binary64_20166` `associate-+r-_binary64_20131`
6×	`cube-mult_binary64_20227` `mul-1-neg_binary64_20189` `distribute-neg-in_binary64_20158`
5×	`distribute-lft-out_binary64_20148` `associate-+l+_binary64_20130` `associate-+r+_binary64_20129`
4×	`+-rgt-identity_binary64_20182`
3×	`cube-unmult_binary64_20234` `rem-sqrt-square_binary64_20210` `unsub-neg_binary64_20191`
2×	`unpow2_binary64_20262` `unpow1/2_binary64_20261` `unpow1_binary64_20255` `associate--r+_binary64_20133` `associate-+l-_binary64_20132`
1×	`pow-plus_binary64_20260` `div-exp_binary64_20248` `1-exp_binary64_20241` `exp-1-e_binary64_20240` `rem-3cbrt-lft_binary64_20222` `rem-square-sqrt_binary64_20209` `/-rgt-identity_binary64_20188` `pow-sqr_binary64_20170` `distribute-rgt-out--_binary64_20151` `associate--l+_binary64_20134`
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_20460` `erf-erfc_binary64_20459` `erf-odd_binary64_20458` `if-if-and-not_binary64_20457` `if-if-and_binary64_20456` `if-if-or-not_binary64_20455` `if-if-or_binary64_20454` `if-not_binary64_20453` `if-same_binary64_20452` `if-false_binary64_20451` `if-true_binary64_20450` `not-gte_binary64_20449` `not-lte_binary64_20448` `not-gt_binary64_20447` `not-lt_binary64_20446` `gte-same_binary64_20445` `lte-same_binary64_20444` `gt-same_binary64_20443` `lt-same_binary64_20442` `sinh---cosh_binary64_20389` `sinh-+-cosh_binary64_20388` `sinh-cosh_binary64_20387` `tanh-def-c_binary64_20386` `tanh-def-b_binary64_20385` `tanh-def-a_binary64_20384` `cosh-def_binary64_20383` `sinh-def_binary64_20382` `tan-neg_binary64_20329` `cos-neg_binary64_20328` `sin-neg_binary64_20327` `tan-0_binary64_20326` `cos-0_binary64_20325` `sin-0_binary64_20324` `hang-m-tan_binary64_20323` `hang-p-tan_binary64_20322` `hang-m0-tan_binary64_20321` `hang-p0-tan_binary64_20320` `hang-0m-tan_binary64_20319` `hang-0p-tan_binary64_20318` `tan-+PI/2_binary64_20317` `tan-+PI_binary64_20316` `tan-PI_binary64_20315` `tan-PI/3_binary64_20314` `tan-PI/4_binary64_20313` `tan-PI/6_binary64_20312` `cos-+PI/2_binary64_20311` `cos-+PI_binary64_20310` `cos-PI_binary64_20309` `cos-PI/2_binary64_20308` `cos-PI/3_binary64_20307` `cos-PI/4_binary64_20306` `cos-PI/6_binary64_20305` `sin-+PI/2_binary64_20304` `sin-+PI_binary64_20303` `sin-PI_binary64_20302` `sin-PI/2_binary64_20301` `sin-PI/3_binary64_20300` `sin-PI/4_binary64_20299` `sin-PI/6_binary64_20298` `sub-1-sin_binary64_20297` `sub-1-cos_binary64_20296` `-1-add-sin_binary64_20295` `-1-add-cos_binary64_20294` `1-sub-sin_binary64_20293` `1-sub-cos_binary64_20292` `cos-sin-sum_binary64_20291` `log-E_binary64_20287` `log-pow_binary64_20286` `log-rec_binary64_20285` `pow-base-0_binary64_20281` `unpow1/3_binary64_20264` `exp-to-pow_binary64_20259` `pow-base-1_binary64_20257` `unpow0_binary64_20256` `unpow-1_binary64_20254` `exp-lft-cube_binary64_20253` `exp-lft-sqr_binary64_20252` `exp-cbrt_binary64_20251` `exp-sqrt_binary64_20250` `rec-exp_binary64_20247` `prod-exp_binary64_20246` `exp-neg_binary64_20244` `e-exp-1_binary64_20242` `exp-0_binary64_20239` `rem-log-exp_binary64_20238` `rem-exp-log_binary64_20237` `cube-neg_binary64_20224` `rem-3cbrt-rft_binary64_20223` `rem-cbrt-cube_binary64_20221` `rem-cube-cbrt_binary64_20220` `sqr-abs_binary64_20212` `sqr-neg_binary64_20211` `remove-double-neg_binary64_20185` `sub0-neg_binary64_20184` `--rgt-identity_binary64_20183` `+-lft-identity_binary64_20181` `mul0-rgt_binary64_20180` `mul0-lft_binary64_20179` `div0_binary64_20178` `*-inverses_binary64_20177` `+-inverses_binary64_20176` `lft-mult-inverse_binary64_20175` `rgt-mult-inverse_binary64_20174` `remove-double-div_binary64_20173` `difference-of-sqr--1_binary64_20168` `difference-of-sqr-1_binary64_20167` `cancel-sign-sub_binary64_20162` `distribute-frac-neg_binary64_20160` `distribute-neg-out_binary64_20159` `distribute-rgt1-in_binary64_20153` `distribute-lft1-in_binary64_20152` `distribute-lft-out--_binary64_20149` `count-2_binary64_20145` `associate--r-_binary64_20136` `associate--l-_binary64_20135`

Counts

94 → 81

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	1498
1	481	1462
2	1253	1450
3	5052	1450

prune69.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	80	6	86

Error

0.0b

Counts

86 → 6

Compiler

Compiled 1481 to 431 computations (70.9% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))) (cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))))
8.7b	(cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)))
8.7b	(cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)))
8.7b	(cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)))

rewrite212.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

75×	`cbrt-div_binary64_20229`
55×	`frac-times_binary64_20207`
35×	`associate-*r/_binary64_20139`
30×	`flip3-+_binary64_20200` `flip-+_binary64_20171`
20×	`associate-*l/_binary64_20140`
11×	`pow1_binary64_20258`
10×	`add-sqr-sqrt_binary64_20219`
9×	`pow1/3_binary64_20279`
8×	`add-cube-cbrt_binary64_20232` `*-un-lft-identity_binary64_20197`
7×	`cbrt-prod_binary64_20228`
6×	`add-exp-log_binary64_20235`
4×	`add-log-exp_binary64_20236` `add-cbrt-cube_binary64_20233` `swap-sqr_binary64_20164` `associate-l_binary64_20138` `associate-r_binary64_20137`
2×	`pow-prod-down_binary64_20268` `pow-prod-up_binary64_20267` `pow-sqr_binary64_20170`
1×	`pow2_binary64_20278` `pow-plus_binary64_20260` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230` `unswap-sqr_binary64_20165` `*-commutative_binary64_20128`

Counts

4 → 108

Calls

4 calls:

10.0ms	(.f64 (cbrt.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))) (cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))))
9.0ms	(cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)))
9.0ms	(cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)))
9.0ms	(cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)))

Compiler

Compiled 5168 to 905 computations (82.5% saved)

series2.4s (26.5%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

581.0ms	(.f64 (cbrt.f64 (.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))) (cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z))))
573.0ms	(cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)))
562.0ms	(cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)))
556.0ms	(cbrt.f64 (*.f64 (/.f64 (-.f64 z x) y) (+.f64 x z)))

Compiler

Compiled 6896 to 4307 computations (37.5% saved)

simplify168.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

280×	`distribute-rgt-in_binary64_20147`
267×	`distribute-lft-in_binary64_20146`
206×	`associate-/l*_binary64_20142`
198×	`exp-prod_binary64_20249`
196×	`times-frac_binary64_20203`
143×	`associate-/r*_binary64_20141`
137×	`associate-*l/_binary64_20140`
129×	`associate-*r/_binary64_20139`
114×	`*-commutative_binary64_20128`
105×	`unswap-sqr_binary64_20165` `associate-r_binary64_20137`
93×	`associate-l_binary64_20138`
91×	`cancel-sign-sub-inv_binary64_20163`
89×	`distribute-rgt-neg-in_binary64_20155`
88×	`sqr-pow_binary64_20169`
87×	`distribute-lft-neg-in_binary64_20154`
83×	`sub-neg_binary64_20190`
65×	`exp-sum_binary64_20243`
63×	`log-prod_binary64_20283`
58×	`neg-sub0_binary64_20192`
57×	`neg-mul-1_binary64_20193`
54×	`associate-/r/_binary64_20143`
50×	`distribute-rgt-neg-out_binary64_20157`
43×	`distribute-lft-neg-out_binary64_20156`
42×	`distribute-neg-frac_binary64_20161`
39×	`exp-to-pow_binary64_20259` `div-sub_binary64_20202`
38×	`associate-+l-_binary64_20132`
30×	`exp-diff_binary64_20245` `+-commutative_binary64_20127`
28×	`unpow1/3_binary64_20264`
23×	`unsub-neg_binary64_20191`
17×	`log-pow_binary64_20286`
16×	`log-div_binary64_20284` `pow-sqr_binary64_20170`
13×	`exp-lft-sqr_binary64_20252` `distribute-neg-out_binary64_20159` `associate--l+_binary64_20134`
11×	`pow-plus_binary64_20260` `*-rgt-identity_binary64_20187`
10×	`*-lft-identity_binary64_20186` `remove-double-neg_binary64_20185`
9×	`cube-prod_binary64_20225` `distribute-lft-out_binary64_20148`
8×	`associate--r-_binary64_20136` `associate--l-_binary64_20135`
7×	`unpow1/2_binary64_20261` `exp-neg_binary64_20244` `associate-/l/_binary64_20144`
6×	`unpow3_binary64_20263` `unpow2_binary64_20262` `unpow1_binary64_20255` `swap-sqr_binary64_20164`
5×	`log-rec_binary64_20285` `distribute-frac-neg_binary64_20160` `distribute-neg-in_binary64_20158` `associate-+r-_binary64_20131`
4×	`cube-unmult_binary64_20234` `difference-of-squares_binary64_20166` `cancel-sign-sub_binary64_20162` `associate--r+_binary64_20133` `associate-+l+_binary64_20130`
3×	`associate-+r+_binary64_20129`
2×	`cube-mult_binary64_20227` `rem-3cbrt-lft_binary64_20222` `rem-sqrt-square_binary64_20210` `distribute-rgt-out_binary64_20150` `count-2_binary64_20145`
1×	`1-exp_binary64_20241` `exp-1-e_binary64_20240` `rem-3cbrt-rft_binary64_20223` `rem-square-sqrt_binary64_20209` `mul-1-neg_binary64_20189` `distribute-rgt-out--_binary64_20151` `distribute-lft-out--_binary64_20149`
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_20460` `erf-erfc_binary64_20459` `erf-odd_binary64_20458` `if-if-and-not_binary64_20457` `if-if-and_binary64_20456` `if-if-or-not_binary64_20455` `if-if-or_binary64_20454` `if-not_binary64_20453` `if-same_binary64_20452` `if-false_binary64_20451` `if-true_binary64_20450` `not-gte_binary64_20449` `not-lte_binary64_20448` `not-gt_binary64_20447` `not-lt_binary64_20446` `gte-same_binary64_20445` `lte-same_binary64_20444` `gt-same_binary64_20443` `lt-same_binary64_20442` `sinh---cosh_binary64_20389` `sinh-+-cosh_binary64_20388` `sinh-cosh_binary64_20387` `tanh-def-c_binary64_20386` `tanh-def-b_binary64_20385` `tanh-def-a_binary64_20384` `cosh-def_binary64_20383` `sinh-def_binary64_20382` `tan-neg_binary64_20329` `cos-neg_binary64_20328` `sin-neg_binary64_20327` `tan-0_binary64_20326` `cos-0_binary64_20325` `sin-0_binary64_20324` `hang-m-tan_binary64_20323` `hang-p-tan_binary64_20322` `hang-m0-tan_binary64_20321` `hang-p0-tan_binary64_20320` `hang-0m-tan_binary64_20319` `hang-0p-tan_binary64_20318` `tan-+PI/2_binary64_20317` `tan-+PI_binary64_20316` `tan-PI_binary64_20315` `tan-PI/3_binary64_20314` `tan-PI/4_binary64_20313` `tan-PI/6_binary64_20312` `cos-+PI/2_binary64_20311` `cos-+PI_binary64_20310` `cos-PI_binary64_20309` `cos-PI/2_binary64_20308` `cos-PI/3_binary64_20307` `cos-PI/4_binary64_20306` `cos-PI/6_binary64_20305` `sin-+PI/2_binary64_20304` `sin-+PI_binary64_20303` `sin-PI_binary64_20302` `sin-PI/2_binary64_20301` `sin-PI/3_binary64_20300` `sin-PI/4_binary64_20299` `sin-PI/6_binary64_20298` `sub-1-sin_binary64_20297` `sub-1-cos_binary64_20296` `-1-add-sin_binary64_20295` `-1-add-cos_binary64_20294` `1-sub-sin_binary64_20293` `1-sub-cos_binary64_20292` `cos-sin-sum_binary64_20291` `log-E_binary64_20287` `pow-base-0_binary64_20281` `pow-base-1_binary64_20257` `unpow0_binary64_20256` `unpow-1_binary64_20254` `exp-lft-cube_binary64_20253` `exp-cbrt_binary64_20251` `exp-sqrt_binary64_20250` `div-exp_binary64_20248` `rec-exp_binary64_20247` `prod-exp_binary64_20246` `e-exp-1_binary64_20242` `exp-0_binary64_20239` `rem-log-exp_binary64_20238` `rem-exp-log_binary64_20237` `cube-div_binary64_20226` `cube-neg_binary64_20224` `rem-cbrt-cube_binary64_20221` `rem-cube-cbrt_binary64_20220` `sqr-abs_binary64_20212` `sqr-neg_binary64_20211` `/-rgt-identity_binary64_20188` `sub0-neg_binary64_20184` `--rgt-identity_binary64_20183` `+-rgt-identity_binary64_20182` `+-lft-identity_binary64_20181` `mul0-rgt_binary64_20180` `mul0-lft_binary64_20179` `div0_binary64_20178` `*-inverses_binary64_20177` `+-inverses_binary64_20176` `lft-mult-inverse_binary64_20175` `rgt-mult-inverse_binary64_20174` `remove-double-div_binary64_20173` `difference-of-sqr--1_binary64_20168` `difference-of-sqr-1_binary64_20167` `distribute-rgt1-in_binary64_20153` `distribute-lft1-in_binary64_20152`

Counts

159 → 133

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	255	5204
1	586	5048
2	1510	4814
3	4744	4643
4	4985	4643

prune205.0ms (2.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	132	7	139

Error

0.0b

Counts

139 → 7

Compiler

Compiled 5905 to 1544 computations (73.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.5b	(cbrt.f64 y)
0.5b	(cbrt.f64 y)
0.5b	(cbrt.f64 y)

rewrite96.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_20228`
23×	`add-sqr-sqrt_binary64_20219`
15×	`add-cube-cbrt_binary64_20232` `*-un-lft-identity_binary64_20197`
11×	`pow1_binary64_20258`
9×	`pow1/3_binary64_20279`
6×	`add-exp-log_binary64_20235` `swap-sqr_binary64_20164` `associate-l_binary64_20138` `associate-r_binary64_20137`
4×	`add-log-exp_binary64_20236` `add-cbrt-cube_binary64_20233` `unswap-sqr_binary64_20165`
2×	`pow-prod-down_binary64_20268` `pow-prod-up_binary64_20267` `pow-sqr_binary64_20170`
1×	`pow2_binary64_20278` `pow-plus_binary64_20260` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230` `*-commutative_binary64_20128`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
2.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 1816 to 523 computations (71.2% saved)

series476.0ms (5.3%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

128.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
113.0ms	(cbrt.f64 y)
111.0ms	(cbrt.f64 y)
110.0ms	(cbrt.f64 y)

Compiler

Compiled 807 to 531 computations (34.2% saved)

simplify103.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

586×	`log-prod_binary64_20283`
416×	`sqr-pow_binary64_20169`
335×	`associate-l_binary64_20138`
309×	`*-commutative_binary64_20128`
277×	`distribute-rgt-neg-in_binary64_20155`
257×	`distribute-lft-neg-in_binary64_20154`
227×	`associate-r_binary64_20137`
188×	`exp-prod_binary64_20249`
161×	`log-pow_binary64_20286`
149×	`cube-prod_binary64_20225`
128×	`pow-sqr_binary64_20170`
124×	`unswap-sqr_binary64_20165`
111×	`swap-sqr_binary64_20164`
104×	`associate-/l*_binary64_20142`
81×	`cancel-sign-sub-inv_binary64_20163`
75×	`associate-+l+_binary64_20130`
69×	`associate-+r+_binary64_20129`
61×	`distribute-rgt-in_binary64_20147`
60×	`distribute-lft-out_binary64_20148`
57×	`distribute-lft-in_binary64_20146`
54×	`neg-sub0_binary64_20192`
53×	`neg-mul-1_binary64_20193`
48×	`distribute-rgt-out_binary64_20150`
45×	`+-commutative_binary64_20127`
43×	`pow-plus_binary64_20260` `rem-sqrt-square_binary64_20210`
41×	`times-frac_binary64_20203` `sub-neg_binary64_20190`
37×	`associate-/r/_binary64_20143`
35×	`associate-*r/_binary64_20139`
32×	`unpow3_binary64_20263`
31×	`-rgt-identity_binary64_20187` `-lft-identity_binary64_20186` `associate-/l/_binary64_20144`
29×	`count-2_binary64_20145`
27×	`cube-mult_binary64_20227`
24×	`associate-/r*_binary64_20141`
17×	`log-div_binary64_20284` `cube-div_binary64_20226` `distribute-neg-frac_binary64_20161`
13×	`cube-unmult_binary64_20234` `distribute-rgt1-in_binary64_20153`
11×	`distribute-rgt-neg-out_binary64_20157`
10×	`unpow1/2_binary64_20261`
9×	`distribute-lft-neg-out_binary64_20156` `distribute-lft1-in_binary64_20152`
8×	`unpow2_binary64_20262` `associate-*l/_binary64_20140`
5×	`unpow1_binary64_20255`
3×	`unpow1/3_binary64_20264`
2×	`exp-sqrt_binary64_20250` `rem-3cbrt-lft_binary64_20222` `rem-cbrt-cube_binary64_20221` `mul-1-neg_binary64_20189`
1×	`exp-lft-sqr_binary64_20252` `1-exp_binary64_20241` `exp-1-e_binary64_20240` `rem-3cbrt-rft_binary64_20223` `rem-square-sqrt_binary64_20209` `sub0-neg_binary64_20184` `--rgt-identity_binary64_20183` `associate-+l-_binary64_20132`
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_20460` `erf-erfc_binary64_20459` `erf-odd_binary64_20458` `if-if-and-not_binary64_20457` `if-if-and_binary64_20456` `if-if-or-not_binary64_20455` `if-if-or_binary64_20454` `if-not_binary64_20453` `if-same_binary64_20452` `if-false_binary64_20451` `if-true_binary64_20450` `not-gte_binary64_20449` `not-lte_binary64_20448` `not-gt_binary64_20447` `not-lt_binary64_20446` `gte-same_binary64_20445` `lte-same_binary64_20444` `gt-same_binary64_20443` `lt-same_binary64_20442` `sinh---cosh_binary64_20389` `sinh-+-cosh_binary64_20388` `sinh-cosh_binary64_20387` `tanh-def-c_binary64_20386` `tanh-def-b_binary64_20385` `tanh-def-a_binary64_20384` `cosh-def_binary64_20383` `sinh-def_binary64_20382` `tan-neg_binary64_20329` `cos-neg_binary64_20328` `sin-neg_binary64_20327` `tan-0_binary64_20326` `cos-0_binary64_20325` `sin-0_binary64_20324` `hang-m-tan_binary64_20323` `hang-p-tan_binary64_20322` `hang-m0-tan_binary64_20321` `hang-p0-tan_binary64_20320` `hang-0m-tan_binary64_20319` `hang-0p-tan_binary64_20318` `tan-+PI/2_binary64_20317` `tan-+PI_binary64_20316` `tan-PI_binary64_20315` `tan-PI/3_binary64_20314` `tan-PI/4_binary64_20313` `tan-PI/6_binary64_20312` `cos-+PI/2_binary64_20311` `cos-+PI_binary64_20310` `cos-PI_binary64_20309` `cos-PI/2_binary64_20308` `cos-PI/3_binary64_20307` `cos-PI/4_binary64_20306` `cos-PI/6_binary64_20305` `sin-+PI/2_binary64_20304` `sin-+PI_binary64_20303` `sin-PI_binary64_20302` `sin-PI/2_binary64_20301` `sin-PI/3_binary64_20300` `sin-PI/4_binary64_20299` `sin-PI/6_binary64_20298` `sub-1-sin_binary64_20297` `sub-1-cos_binary64_20296` `-1-add-sin_binary64_20295` `-1-add-cos_binary64_20294` `1-sub-sin_binary64_20293` `1-sub-cos_binary64_20292` `cos-sin-sum_binary64_20291` `log-E_binary64_20287` `log-rec_binary64_20285` `pow-base-0_binary64_20281` `exp-to-pow_binary64_20259` `pow-base-1_binary64_20257` `unpow0_binary64_20256` `unpow-1_binary64_20254` `exp-lft-cube_binary64_20253` `exp-cbrt_binary64_20251` `div-exp_binary64_20248` `rec-exp_binary64_20247` `prod-exp_binary64_20246` `exp-diff_binary64_20245` `exp-neg_binary64_20244` `exp-sum_binary64_20243` `e-exp-1_binary64_20242` `exp-0_binary64_20239` `rem-log-exp_binary64_20238` `rem-exp-log_binary64_20237` `cube-neg_binary64_20224` `rem-cube-cbrt_binary64_20220` `sqr-abs_binary64_20212` `sqr-neg_binary64_20211` `div-sub_binary64_20202` `unsub-neg_binary64_20191` `/-rgt-identity_binary64_20188` `remove-double-neg_binary64_20185` `+-rgt-identity_binary64_20182` `+-lft-identity_binary64_20181` `mul0-rgt_binary64_20180` `mul0-lft_binary64_20179` `div0_binary64_20178` `*-inverses_binary64_20177` `+-inverses_binary64_20176` `lft-mult-inverse_binary64_20175` `rgt-mult-inverse_binary64_20174` `remove-double-div_binary64_20173` `difference-of-sqr--1_binary64_20168` `difference-of-sqr-1_binary64_20167` `difference-of-squares_binary64_20166` `cancel-sign-sub_binary64_20162` `distribute-frac-neg_binary64_20160` `distribute-neg-out_binary64_20159` `distribute-neg-in_binary64_20158` `distribute-rgt-out--_binary64_20151` `distribute-lft-out--_binary64_20149` `associate--r-_binary64_20136` `associate--l-_binary64_20135` `associate--l+_binary64_20134` `associate--r+_binary64_20133` `associate-+r-_binary64_20131`

Counts

85 → 50

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	56	718
1	97	666
2	308	646
3	1135	632
4	2034	548
5	3257	548
6	4939	548
7	4873	548

prune54.0ms (0.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	49	8	57

Error

Counts

57 → 8

Compiler

Compiled 1107 to 373 computations (66.3% saved)

regimes654.0ms (7.3%)

Accuracy

Total 0.1b remaining (71.1%)

Threshold costs 0.1b (71.1%)

Compiler

Compiled 7286 to 4460 computations (38.8% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_20127`
4×	`sub-neg_binary64_20190`
3×	`*-commutative_binary64_20128`
2×	`neg-mul-1_binary64_20193` `neg-sub0_binary64_20192`
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_20457` `if-if-and_binary64_20456` `if-if-or-not_binary64_20455` `if-if-or_binary64_20454` `if-not_binary64_20453` `if-same_binary64_20452` `if-false_binary64_20451` `if-true_binary64_20450` `tan-0_binary64_20326` `cos-0_binary64_20325` `sin-0_binary64_20324` `unpow1_binary64_20255` `e-exp-1_binary64_20242` `1-exp_binary64_20241` `exp-1-e_binary64_20240` `exp-0_binary64_20239` `sqr-abs_binary64_20212` `sqr-neg_binary64_20211` `unsub-neg_binary64_20191` `mul-1-neg_binary64_20189` `/-rgt-identity_binary64_20188` `-rgt-identity_binary64_20187` `-lft-identity_binary64_20186` `remove-double-neg_binary64_20185` `sub0-neg_binary64_20184` `--rgt-identity_binary64_20183` `+-rgt-identity_binary64_20182` `+-lft-identity_binary64_20181` `cancel-sign-sub-inv_binary64_20163` `cancel-sign-sub_binary64_20162` `distribute-neg-frac_binary64_20161` `distribute-frac-neg_binary64_20160` `distribute-neg-out_binary64_20159` `distribute-neg-in_binary64_20158` `distribute-rgt-neg-out_binary64_20157` `distribute-lft-neg-out_binary64_20156` `distribute-rgt-neg-in_binary64_20155` `distribute-lft-neg-in_binary64_20154`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	17	19
2	25	19
3	29	19
4	31	19
5	31	19

end0.0ms (0%)

sample1.6s (17.7%)

Algorithm

1×

intervals

Results

332.0ms	8000×	body	128	valid
124.0ms	2841×	body	128	invalid

Compiler

Compiled 1081 to 668 computations (38.2% saved)

Details

analyze824.0ms (9.2%)

sample28.0ms (0.3%)

simplify78.0ms (0.9%)

prune9.0ms (0.1%)

localize9.0ms (0.1%)

rewrite105.0ms (1.2%)

series831.0ms (9.3%)

simplify98.0ms (1.1%)

prune80.0ms (0.9%)

localize8.0ms (0.1%)

rewrite91.0ms (1%)

series680.0ms (7.6%)

simplify60.0ms (0.7%)

prune69.0ms (0.8%)

localize15.0ms (0.2%)

rewrite212.0ms (2.4%)

series2.4s (26.5%)

simplify168.0ms (1.9%)

prune205.0ms (2.3%)

localize13.0ms (0.1%)

rewrite96.0ms (1.1%)

series476.0ms (5.3%)

simplify103.0ms (1.1%)

prune54.0ms (0.6%)

regimes654.0ms (7.3%)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.6s (17.7%)

Profiling