Details

analyze1.1s (8.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

870×	`div-sub_binary64_20202`
742×	`sub-neg_binary64_20190`
520×	`associate-/l*_binary64_20142`
495×	`distribute-neg-frac_binary64_20161`
422×	`neg-mul-1_binary64_20193`
348×	`neg-sub0_binary64_20192`
316×	`distribute-rgt-in_binary64_20147`
304×	`times-frac_binary64_20203` `distribute-frac-neg_binary64_20160`
260×	`distribute-lft-in_binary64_20146`
235×	`associate-/l/_binary64_20144`
220×	`cancel-sign-sub-inv_binary64_20163`
179×	`unsub-neg_binary64_20191`
159×	`associate-/r/_binary64_20143`
103×	`cancel-sign-sub_binary64_20162` `+-commutative_binary64_20127`
98×	`distribute-rgt-neg-in_binary64_20155`
81×	`distribute-lft-neg-in_binary64_20154`
76×	`*-commutative_binary64_20128`
73×	`mul0-rgt_binary64_20180` `mul0-lft_binary64_20179`
69×	`sub0-neg_binary64_20184`
62×	`-lft-identity_binary64_20186` `associate-r*_binary64_20137`
60×	`div0_binary64_20178`
53×	`associate--r+_binary64_20133`
52×	`associate-+l-_binary64_20132`
45×	`distribute-neg-in_binary64_20158`
32×	`associate-+r+_binary64_20129`
31×	`+-rgt-identity_binary64_20182`
27×	`associate-+r-_binary64_20131` `associate-+l+_binary64_20130`
24×	`remove-double-neg_binary64_20185`
22×	`associate-l_binary64_20138`
20×	`associate-/r*_binary64_20141`
12×	`swap-sqr_binary64_20164` `distribute-lft-neg-out_binary64_20156`
10×	`/-rgt-identity_binary64_20188`
9×	`sqr-neg_binary64_20211`
5×	`*-inverses_binary64_20177`
2×	`mul-1-neg_binary64_20189`
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_20187` `--rgt-identity_binary64_20183` `+-lft-identity_binary64_20181` `+-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` `difference-of-squares_binary64_20166` `unswap-sqr_binary64_20165` `distribute-neg-out_binary64_20159` `distribute-rgt-neg-out_binary64_20157` `distribute-rgt1-in_binary64_20153` `distribute-lft1-in_binary64_20152` `distribute-rgt-out--_binary64_20151` `distribute-rgt-out_binary64_20150` `distribute-lft-out--_binary64_20149` `distribute-lft-out_binary64_20148` `count-2_binary64_20145` `associate-l/_binary64_20140` `associate-*r/_binary64_20139` `associate--r-_binary64_20136` `associate--l-_binary64_20135` `associate--l+_binary64_20134`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	176
1	143	176
2	259	176
3	495	176
4	1208	176
5	2475	176
6	4029	176
7	4736	176
8	4903	176
0	5	5
1	5	5

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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
13.2%	86.5%	0.2%	10
17%	82.8%	0.2%	11
18.2%	81.5%	0.2%	12
21.7%	78.1%	0.2%	13
32.9%	66.9%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample25.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	20×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify170.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1133×	`div-sub_binary64_20202`
860×	`sub-neg_binary64_20190`
750×	`associate-/r/_binary64_20143`
699×	`cancel-sign-sub-inv_binary64_20163`
610×	`distribute-rgt-neg-in_binary64_20155`
548×	`neg-mul-1_binary64_20193`
509×	`distribute-lft-neg-in_binary64_20154`
350×	`unsub-neg_binary64_20191`
337×	`neg-sub0_binary64_20192`
322×	`distribute-neg-frac_binary64_20161`
299×	`distribute-frac-neg_binary64_20160`
230×	`*-commutative_binary64_20128`
228×	`distribute-rgt-neg-out_binary64_20157`
216×	`associate-/l*_binary64_20142`
205×	`distribute-lft-neg-out_binary64_20156`
194×	`distribute-rgt-in_binary64_20147`
184×	`associate--r-_binary64_20136`
163×	`distribute-lft-in_binary64_20146`
155×	`times-frac_binary64_20203`
152×	`associate--l-_binary64_20135`
120×	`associate-/l/_binary64_20144`
108×	`distribute-rgt-out_binary64_20150`
104×	`distribute-rgt-out--_binary64_20151`
100×	`distribute-neg-in_binary64_20158`
97×	`associate--r+_binary64_20133`
96×	`+-commutative_binary64_20127`
95×	`associate-/r*_binary64_20141`
93×	`remove-double-neg_binary64_20185`
87×	`distribute-neg-out_binary64_20159`
86×	`associate-*l/_binary64_20140`
79×	`+-lft-identity_binary64_20181`
75×	`div0_binary64_20178`
73×	`associate-+r-_binary64_20131`
57×	`mul0-rgt_binary64_20180`
56×	`mul0-lft_binary64_20179`
55×	`associate-*r/_binary64_20139`
46×	`associate-r_binary64_20137` `associate-+l-_binary64_20132`
43×	`associate-l_binary64_20138`
39×	`*-lft-identity_binary64_20186`
37×	`mul-1-neg_binary64_20189`
33×	`/-rgt-identity_binary64_20188` `*-rgt-identity_binary64_20187`
27×	`sub0-neg_binary64_20184`
16×	`+-rgt-identity_binary64_20182`
15×	`remove-double-div_binary64_20173` `associate-+l+_binary64_20130`
14×	`--rgt-identity_binary64_20183`
12×	`distribute-lft-out--_binary64_20149`
11×	`associate-+r+_binary64_20129`
10×	`associate--l+_binary64_20134`
3×	`distribute-lft-out_binary64_20148`
2×	`sqr-neg_binary64_20211` `lft-mult-inverse_binary64_20175` `rgt-mult-inverse_binary64_20174` `swap-sqr_binary64_20164`
1×	`1-exp_binary64_20241` `*-inverses_binary64_20177`
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` `+-inverses_binary64_20176` `pow-sqr_binary64_20170` `sqr-pow_binary64_20169` `difference-of-sqr--1_binary64_20168` `difference-of-sqr-1_binary64_20167` `difference-of-squares_binary64_20166` `unswap-sqr_binary64_20165` `cancel-sign-sub_binary64_20162` `distribute-rgt1-in_binary64_20153` `distribute-lft1-in_binary64_20152` `count-2_binary64_20145`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	26	16
2	49	16
3	86	16
4	166	16
5	293	16
6	570	16
7	1559	16
8	2366	16
9	2268	16
10	2532	16
11	2753	16
12	2839	16
13	3034	16
14	4109	16
15	4495	16
16	4543	16
17	4973	16

prune3.0ms (0%)

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

9.0b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 t (*.f64 a z))
8.7b	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))

rewrite68.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

8.9b

Rules

10×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197`
9×	`times-frac_binary64_20203`
4×	`add-exp-log_binary64_20235` `add-log-exp_binary64_20236` `add-cbrt-cube_binary64_20233`
3×	`flip3--_binary64_20201` `flip--_binary64_20172` `associate-/l_binary64_20142` `associate-/r_binary64_20141`
2×	`pow1_binary64_20258` `associate-/l/_binary64_20144` `associate-/r/_binary64_20143`
1×	`div-exp_binary64_20248` `cbrt-undiv_binary64_20231` `frac-2neg_binary64_20208` `div-sub_binary64_20202` `clear-num_binary64_20196` `div-inv_binary64_20194` `diff-log_binary64_20289` `sub-neg_binary64_20190` `cancel-sign-sub-inv_binary64_20163`

Counts

2 → 44

Calls

2 calls:

7.0ms	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))
3.0ms	(-.f64 t (*.f64 a z))

Compiler

Compiled 949 to 167 computations (82.4% saved)

series909.0ms (7%)

Error

2.2b

Counts

2 → 66

Calls

2 calls:

711.0ms	(/.f64 (-.f64 x (.f64 y z)) (-.f64 t (.f64 a z)))
106.0ms	(-.f64 t (*.f64 a z))

Compiler

Compiled 3949 to 2470 computations (37.5% saved)

simplify156.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

566×	`cancel-sign-sub-inv_binary64_20163`
245×	`associate-/l/_binary64_20144`
206×	`sub-neg_binary64_20190`
204×	`neg-sub0_binary64_20192` `distribute-rgt-in_binary64_20147`
202×	`neg-mul-1_binary64_20193`
193×	`associate-/r/_binary64_20143`
175×	`div-sub_binary64_20202` `distribute-lft-in_binary64_20146`
138×	`times-frac_binary64_20203`
136×	`associate-/l*_binary64_20142`
106×	`distribute-rgt-neg-in_binary64_20155`
99×	`associate-/r_binary64_20141` `associate-l*_binary64_20138`
95×	`distribute-lft-neg-in_binary64_20154`
90×	`associate-r_binary64_20137`
80×	`unswap-sqr_binary64_20165`
79×	`+-commutative_binary64_20127`
75×	`distribute-neg-frac_binary64_20161` `associate--r+_binary64_20133`
71×	`associate--l+_binary64_20134`
68×	`distribute-neg-in_binary64_20158`
64×	`*-commutative_binary64_20128`
56×	`exp-prod_binary64_20249`
55×	`associate-+l+_binary64_20130`
39×	`associate-+r+_binary64_20129`
36×	`unsub-neg_binary64_20191`
35×	`distribute-rgt-out_binary64_20150`
30×	`sqr-pow_binary64_20169`
27×	`distribute-lft-neg-out_binary64_20156`
26×	`cube-prod_binary64_20225`
23×	`associate-*l/_binary64_20140`
19×	`unpow3_binary64_20263`
16×	`distribute-rgt-neg-out_binary64_20157` `associate-*r/_binary64_20139`
12×	`exp-sum_binary64_20243`
10×	`exp-diff_binary64_20245`
9×	`*-rgt-identity_binary64_20187`
7×	`cube-unmult_binary64_20234`
6×	`/-rgt-identity_binary64_20188`
5×	`difference-of-squares_binary64_20166` `swap-sqr_binary64_20164` `distribute-rgt-out--_binary64_20151`
4×	`cube-mult_binary64_20227`
3×	`log-div_binary64_20284` `unpow2_binary64_20262` `unpow1/2_binary64_20261` `pow-plus_binary64_20260` `unpow1_binary64_20255` `sqr-neg_binary64_20211` `rem-sqrt-square_binary64_20210`
2×	`mul-1-neg_binary64_20189` `remove-double-neg_binary64_20185` `cancel-sign-sub_binary64_20162` `distribute-rgt1-in_binary64_20153` `distribute-lft-out--_binary64_20149` `distribute-lft-out_binary64_20148` `associate--r-_binary64_20136`
1×	`log-prod_binary64_20283` `div-exp_binary64_20248` `1-exp_binary64_20241` `cube-div_binary64_20226` `cube-neg_binary64_20224` `-lft-identity_binary64_20186` `+-rgt-identity_binary64_20182` `div0_binary64_20178` `-inverses_binary64_20177` `pow-sqr_binary64_20170` `distribute-frac-neg_binary64_20160` `associate-+r-_binary64_20131`
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-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-square-sqrt_binary64_20209` `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-lft1-in_binary64_20152` `count-2_binary64_20145` `associate--l-_binary64_20135` `associate-+l-_binary64_20132`

Counts

110 → 96

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	185	3564
1	559	3447
2	2157	3219
3	4396	3219
4	4991	3219
5	4979	3219

prune118.0ms (0.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	86	10	96
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	86	11	97

Error

2.2b

Counts

97 → 11

Compiler

Compiled 2602 to 659 computations (74.7% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 t (*.f64 z a))
0.5b	(/.f64 1 (-.f64 t (*.f64 z a)))
8.6b	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))

rewrite110.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

2.2b

Rules

26×	`add-sqr-sqrt_binary64_20219`
20×	`*-un-lft-identity_binary64_20197` `times-frac_binary64_20203`
19×	`add-cube-cbrt_binary64_20232`
16×	`add-exp-log_binary64_20235`
15×	`associate-r_binary64_20137`
10×	`add-cbrt-cube_binary64_20233`
6×	`pow1_binary64_20258`
5×	`add-log-exp_binary64_20236` `flip3--_binary64_20201` `flip--_binary64_20172`
4×	`div-exp_binary64_20248` `prod-exp_binary64_20246` `associate-/r/_binary64_20143`
3×	`unswap-sqr_binary64_20165` `associate-l_binary64_20138` `associate-/l_binary64_20142` `associate-/r_binary64_20141`
2×	`1-exp_binary64_20241` `rec-exp_binary64_20247` `cbrt-unprod_binary64_20230` `cbrt-undiv_binary64_20231` `frac-times_binary64_20207` `associate-*l/_binary64_20140` `div-inv_binary64_20194`
1×	`pow-prod-down_binary64_20268` `un-div-inv_binary64_20195` `associate-r/_binary64_20139` `-commutative_binary64_20128` `inv-pow_binary64_20282` `pow-flip_binary64_20271` `frac-2neg_binary64_20208` `clear-num_binary64_20196` `diff-log_binary64_20289` `sub-neg_binary64_20190` `cancel-sign-sub-inv_binary64_20163`

Counts

3 → 87

Calls

3 calls:

12.0ms	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))
5.0ms	(/.f64 1 (-.f64 t (*.f64 z a)))
3.0ms	(-.f64 t (*.f64 z a))

Compiler

Compiled 1968 to 601 computations (69.5% saved)

series1.2s (9%)

Error

2.2b

Counts

3 → 102

Calls

3 calls:

709.0ms	(.f64 (-.f64 x (.f64 y z)) (/.f64 1 (-.f64 t (*.f64 z a))))
204.0ms	(/.f64 1 (-.f64 t (*.f64 z a)))
123.0ms	(-.f64 t (*.f64 z a))

Compiler

Compiled 5937 to 3893 computations (34.4% saved)

simplify166.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

607×	`cancel-sign-sub-inv_binary64_20163`
318×	`distribute-rgt-in_binary64_20147`
269×	`neg-mul-1_binary64_20193`
220×	`sub-neg_binary64_20190`
178×	`times-frac_binary64_20203`
165×	`associate-/l*_binary64_20142`
163×	`associate-l_binary64_20138`
152×	`distribute-rgt-neg-in_binary64_20155`
143×	`associate-r_binary64_20137`
135×	`distribute-lft-neg-in_binary64_20154`
127×	`associate-/r*_binary64_20141`
114×	`div-sub_binary64_20202`
102×	`+-commutative_binary64_20127`
101×	`*-commutative_binary64_20128`
93×	`distribute-neg-in_binary64_20158`
86×	`unswap-sqr_binary64_20165` `distribute-neg-frac_binary64_20161`
79×	`associate--r+_binary64_20133`
71×	`associate--l+_binary64_20134`
70×	`associate-+l+_binary64_20130`
68×	`exp-prod_binary64_20249`
67×	`neg-sub0_binary64_20192`
56×	`associate-+r+_binary64_20129`
47×	`unsub-neg_binary64_20191`
46×	`associate-*r/_binary64_20139`
44×	`sqr-pow_binary64_20169`
40×	`distribute-lft-neg-out_binary64_20156`
36×	`distribute-rgt-out_binary64_20150`
34×	`distribute-lft-in_binary64_20146`
32×	`associate-/r/_binary64_20143` `associate-*l/_binary64_20140`
30×	`*-rgt-identity_binary64_20187`
26×	`exp-sum_binary64_20243`
25×	`cube-prod_binary64_20225` `distribute-rgt-neg-out_binary64_20157`
20×	`*-lft-identity_binary64_20186`
13×	`unpow3_binary64_20263` `exp-diff_binary64_20245`
11×	`associate-/l/_binary64_20144`
10×	`cube-mult_binary64_20227`
9×	`cube-div_binary64_20226` `swap-sqr_binary64_20164`
8×	`cube-unmult_binary64_20234` `/-rgt-identity_binary64_20188` `difference-of-squares_binary64_20166`
6×	`associate-+r-_binary64_20131`
5×	`mul-1-neg_binary64_20189`
4×	`log-div_binary64_20284` `log-prod_binary64_20283` `unpow1/2_binary64_20261` `exp-neg_binary64_20244` `sqr-neg_binary64_20211` `distribute-rgt1-in_binary64_20153` `distribute-lft-out_binary64_20148`
3×	`unpow2_binary64_20262` `pow-plus_binary64_20260` `unpow1_binary64_20255` `rem-sqrt-square_binary64_20210` `+-rgt-identity_binary64_20182`
2×	`log-rec_binary64_20285` `pow-sqr_binary64_20170` `distribute-rgt-out--_binary64_20151` `distribute-lft-out--_binary64_20149` `associate-+l-_binary64_20132`
1×	`div-exp_binary64_20248` `1-exp_binary64_20241` `exp-1-e_binary64_20240` `cube-neg_binary64_20224` `remove-double-neg_binary64_20185` `sub0-neg_binary64_20184` `+-lft-identity_binary64_20181` `*-inverses_binary64_20177` `cancel-sign-sub_binary64_20162` `distribute-frac-neg_binary64_20160` `associate--r-_binary64_20136`
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` `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` `e-exp-1_binary64_20242` `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-square-sqrt_binary64_20209` `--rgt-identity_binary64_20183` `mul0-rgt_binary64_20180` `mul0-lft_binary64_20179` `div0_binary64_20178` `+-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-lft1-in_binary64_20152` `count-2_binary64_20145` `associate--l-_binary64_20135`

Counts

189 → 148

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	242	5364
1	695	5072
2	2779	4790
3	4614	4790
4	5039	4790

prune164.0ms (1.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	148	11	159

Error

2.2b

Counts

159 → 11

Compiler

Compiled 3824 to 1113 computations (70.9% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 t (*.f64 z a))
0.4b	(/.f64 1 (/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y))))
8.8b	(/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y)))

rewrite158.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

2.2b

Rules

90×	`times-frac_binary64_20203`
55×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197`
18×	`associate-/r*_binary64_20141`
16×	`add-exp-log_binary64_20235`
11×	`associate-/r/_binary64_20143`
10×	`add-cbrt-cube_binary64_20233`
8×	`div-exp_binary64_20248`
7×	`flip3--_binary64_20201` `flip--_binary64_20172`
6×	`div-inv_binary64_20194` `associate-/l*_binary64_20142`
5×	`add-log-exp_binary64_20236`
4×	`pow1_binary64_20258` `cbrt-undiv_binary64_20231`
2×	`frac-2neg_binary64_20208` `clear-num_binary64_20196` `associate-/l/_binary64_20144` `1-exp_binary64_20241` `rec-exp_binary64_20247`
1×	`div-sub_binary64_20202` `inv-pow_binary64_20282` `pow-flip_binary64_20271` `diff-log_binary64_20289` `sub-neg_binary64_20190` `cancel-sign-sub-inv_binary64_20163`

Counts

3 → 128

Calls

3 calls:

9.0ms	(/.f64 1 (/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y))))
6.0ms	(/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y)))
3.0ms	(-.f64 t (*.f64 z a))

Compiler

Compiled 3417 to 824 computations (75.9% saved)

series1.5s (11.8%)

Error

2.2b

Counts

3 → 100

Calls

3 calls:

690.0ms	(/.f64 1 (/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y))))
607.0ms	(/.f64 (-.f64 t (.f64 z a)) (-.f64 x (.f64 z y)))
116.0ms	(-.f64 t (*.f64 z a))

Compiler

Compiled 6276 to 4009 computations (36.1% saved)

simplify385.0ms (3%)

Algorithm

1×	egg-herbie

Rules

812×	`cancel-sign-sub-inv_binary64_20163`
288×	`sub-neg_binary64_20190`
227×	`times-frac_binary64_20203`
209×	`associate-/l*_binary64_20142`
183×	`unswap-sqr_binary64_20165`
156×	`associate-/r*_binary64_20141`
147×	`associate-r_binary64_20137`
143×	`associate-l_binary64_20138`
141×	`div-sub_binary64_20202` `associate-/r/_binary64_20143`
120×	`*-commutative_binary64_20128`
107×	`+-commutative_binary64_20127`
99×	`associate--l+_binary64_20134`
98×	`associate--r+_binary64_20133`
85×	`associate-*l/_binary64_20140`
81×	`associate-/l/_binary64_20144`
79×	`neg-sub0_binary64_20192`
78×	`neg-mul-1_binary64_20193`
68×	`associate-+l+_binary64_20130`
56×	`associate-*r/_binary64_20139`
53×	`unsub-neg_binary64_20191`
50×	`associate-+r+_binary64_20129`
46×	`sqr-pow_binary64_20169`
42×	`distribute-rgt-in_binary64_20147`
40×	`distribute-lft-in_binary64_20146`
37×	`*-rgt-identity_binary64_20187`
32×	`exp-prod_binary64_20249`
31×	`distribute-neg-in_binary64_20158`
23×	`distribute-rgt-neg-in_binary64_20155`
18×	`distribute-neg-frac_binary64_20161` `distribute-lft-neg-in_binary64_20154`
15×	`/-rgt-identity_binary64_20188` `*-lft-identity_binary64_20186`
14×	`cube-prod_binary64_20225`
10×	`exp-sum_binary64_20243`
9×	`log-div_binary64_20284` `swap-sqr_binary64_20164`
8×	`exp-diff_binary64_20245` `difference-of-squares_binary64_20166`
7×	`unpow3_binary64_20263` `cube-mult_binary64_20227`
6×	`log-prod_binary64_20283` `cube-div_binary64_20226` `distribute-rgt-out_binary64_20150`
5×	`unpow2_binary64_20262` `unpow1/2_binary64_20261` `unpow1_binary64_20255` `cube-unmult_binary64_20234` `mul-1-neg_binary64_20189` `distribute-lft-neg-out_binary64_20156` `associate--r-_binary64_20136`
4×	`log-rec_binary64_20285` `remove-double-div_binary64_20173` `associate-+r-_binary64_20131`
3×	`remove-double-neg_binary64_20185` `div0_binary64_20178`
2×	`+-rgt-identity_binary64_20182` `+-lft-identity_binary64_20181`
1×	`div-exp_binary64_20248` `1-exp_binary64_20241` `sub0-neg_binary64_20184` `*-inverses_binary64_20177` `pow-sqr_binary64_20170`
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` `pow-base-0_binary64_20281` `unpow1/3_binary64_20264` `pow-plus_binary64_20260` `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-1-e_binary64_20240` `exp-0_binary64_20239` `rem-log-exp_binary64_20238` `rem-exp-log_binary64_20237` `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` `sqr-neg_binary64_20211` `rem-sqrt-square_binary64_20210` `rem-square-sqrt_binary64_20209` `--rgt-identity_binary64_20183` `mul0-rgt_binary64_20180` `mul0-lft_binary64_20179` `+-inverses_binary64_20176` `lft-mult-inverse_binary64_20175` `rgt-mult-inverse_binary64_20174` `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-rgt-neg-out_binary64_20157` `distribute-rgt1-in_binary64_20153` `distribute-lft1-in_binary64_20152` `distribute-rgt-out--_binary64_20151` `distribute-lft-out--_binary64_20149` `distribute-lft-out_binary64_20148` `count-2_binary64_20145` `associate--l-_binary64_20135` `associate-+l-_binary64_20132`

Counts

228 → 189

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	306	7392
1	876	7039
2	3528	6967
3	5316	6967

prune207.0ms (1.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	186	3	189
Fresh	1	7	8
Picked	1	0	1
Done	1	1	2
Total	189	11	200

Error

2.2b

Counts

200 → 11

Compiler

Compiled 5337 to 1182 computations (77.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 t (*.f64 a z))
0.3b	(/.f64 1 (-.f64 x (*.f64 z y)))
0.5b	(/.f64 1 (-.f64 t (*.f64 a z)))
8.6b	(/.f64 (/.f64 1 (-.f64 t (.f64 a z))) (/.f64 1 (-.f64 x (.f64 z y))))

rewrite687.0ms (5.3%)

Algorithm

1×	rewrite-expression-head

Error

2.2b

Rules

531×	`times-frac_binary64_20203`
244×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197`
69×	`associate-/r/_binary64_20143`
52×	`add-exp-log_binary64_20235`
36×	`div-exp_binary64_20248`
35×	`div-inv_binary64_20194` `flip3--_binary64_20201` `flip--_binary64_20172`
21×	`associate-/l_binary64_20142` `associate-/r_binary64_20141`
20×	`add-cbrt-cube_binary64_20233`
10×	`1-exp_binary64_20241` `rec-exp_binary64_20247` `cbrt-undiv_binary64_20231`
6×	`pow1_binary64_20258` `add-log-exp_binary64_20236`
3×	`frac-2neg_binary64_20208` `clear-num_binary64_20196`
2×	`inv-pow_binary64_20282` `pow-flip_binary64_20271`
1×	`associate-/l/_binary64_20144` `diff-log_binary64_20289` `sub-neg_binary64_20190` `cancel-sign-sub-inv_binary64_20163`

Counts

4 → 365

Calls

4 calls:

17.0ms	(/.f64 (/.f64 1 (-.f64 t (.f64 a z))) (/.f64 1 (-.f64 x (.f64 z y))))
5.0ms	(/.f64 1 (-.f64 t (*.f64 a z)))
5.0ms	(/.f64 1 (-.f64 x (*.f64 z y)))
3.0ms	(-.f64 t (*.f64 a z))

Compiler

Compiled 12170 to 4666 computations (61.7% saved)

series1.3s (10%)

Error

2.2b

Counts

4 → 119

Calls

4 calls:

663.0ms	(/.f64 (/.f64 1 (-.f64 t (.f64 a z))) (/.f64 1 (-.f64 x (.f64 z y))))
224.0ms	(/.f64 1 (-.f64 t (*.f64 a z)))
131.0ms	(/.f64 1 (-.f64 x (*.f64 z y)))
121.0ms	(-.f64 t (*.f64 a z))

Compiler

Compiled 7081 to 4808 computations (32.1% saved)

simplify485.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

359×	`associate-/l/_binary64_20144`
320×	`associate-/r*_binary64_20141`
301×	`associate-/r/_binary64_20143`
296×	`associate-*l/_binary64_20140`
238×	`times-frac_binary64_20203`
235×	`associate-/l*_binary64_20142`
221×	`associate-r_binary64_20137`
196×	`associate-*r/_binary64_20139`
142×	`associate-l_binary64_20138`
105×	`distribute-rgt-in_binary64_20147`
92×	`distribute-lft-in_binary64_20146`
85×	`sub-neg_binary64_20190`
73×	`neg-mul-1_binary64_20193`
66×	`div-sub_binary64_20202`
43×	`+-commutative_binary64_20127`
37×	`distribute-neg-in_binary64_20158`
34×	`*-commutative_binary64_20128`
33×	`neg-sub0_binary64_20192`
28×	`cancel-sign-sub-inv_binary64_20163`
27×	`/-rgt-identity_binary64_20188` `sqr-pow_binary64_20169`
23×	`distribute-rgt-neg-in_binary64_20155`
22×	`associate-+r+_binary64_20129`
20×	`exp-prod_binary64_20249` `distribute-lft-neg-in_binary64_20154`
19×	`distribute-neg-frac_binary64_20161`
18×	`log-div_binary64_20284`
15×	`unswap-sqr_binary64_20165`
13×	`*-rgt-identity_binary64_20187`
12×	`cube-div_binary64_20226` `associate--l+_binary64_20134`
11×	`cube-prod_binary64_20225`
10×	`associate--r+_binary64_20133`
9×	`log-prod_binary64_20283`
7×	`log-rec_binary64_20285` `unpow3_binary64_20263` `cube-mult_binary64_20227` `*-lft-identity_binary64_20186` `remove-double-div_binary64_20173`
6×	`exp-sum_binary64_20243` `cube-unmult_binary64_20234` `distribute-rgt-out_binary64_20150`
5×	`unpow2_binary64_20262` `unpow1/2_binary64_20261` `unpow1_binary64_20255`
4×	`unsub-neg_binary64_20191` `difference-of-squares_binary64_20166` `swap-sqr_binary64_20164` `distribute-lft-neg-out_binary64_20156`
2×	`exp-diff_binary64_20245` `mul-1-neg_binary64_20189` `associate--r-_binary64_20136` `associate--l-_binary64_20135`
1×	`div-exp_binary64_20248` `1-exp_binary64_20241` `sub0-neg_binary64_20184` `--rgt-identity_binary64_20183` `*-inverses_binary64_20177` `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` `log-pow_binary64_20286` `pow-base-0_binary64_20281` `unpow1/3_binary64_20264` `pow-plus_binary64_20260` `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-1-e_binary64_20240` `exp-0_binary64_20239` `rem-log-exp_binary64_20238` `rem-exp-log_binary64_20237` `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` `sqr-neg_binary64_20211` `rem-sqrt-square_binary64_20210` `rem-square-sqrt_binary64_20209` `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_20176` `lft-mult-inverse_binary64_20175` `rgt-mult-inverse_binary64_20174` `pow-sqr_binary64_20170` `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-rgt-neg-out_binary64_20157` `distribute-rgt1-in_binary64_20153` `distribute-lft1-in_binary64_20152` `distribute-rgt-out--_binary64_20151` `distribute-lft-out_binary64_20148` `count-2_binary64_20145` `associate-+l-_binary64_20132` `associate-+r-_binary64_20131` `associate-+l+_binary64_20130`

Counts

484 → 438

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	484	19181
1	1369	17341
2	4753	17107
3	5000	17107
4	4978	17107

prune570.0ms (4.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	437	1	438
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	437	12	449

Error

2.2b

Counts

449 → 12

Compiler

Compiled 12674 to 3541 computations (72.1% saved)

regimes1.4s (10.6%)

Accuracy

Total 2.7b remaining (48.7%)

Threshold costs 0b (0%)

Compiler

Compiled 11300 to 7884 computations (30.2% saved)

bsearch5.0ms (0%)

Compiler: Compiled 11 to 10 computations (9.1% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`sub-neg_binary64_20190` `*-commutative_binary64_20128` `+-commutative_binary64_20127`
5×	`neg-mul-1_binary64_20193` `neg-sub0_binary64_20192`
4×	`cancel-sign-sub-inv_binary64_20163` `distribute-rgt-neg-in_binary64_20155`
2×	`distribute-lft-neg-out_binary64_20156` `distribute-lft-neg-in_binary64_20154`
1×	`if-if-or-not_binary64_20455`
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_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_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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	64
1	34	64
2	51	64
3	61	64
4	67	64
5	68	64
6	68	64

end0.0ms (0%)

sample2.1s (16.1%)

Algorithm

1×

intervals

Results

301.0ms	8000×	body	128	valid
36.0ms	733×	body	128	invalid

Compiler

Compiled 1962 to 1348 computations (31.3% saved)

Details

analyze1.1s (8.5%)

sample25.0ms (0.2%)

simplify170.0ms (1.3%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite68.0ms (0.5%)

series909.0ms (7%)

simplify156.0ms (1.2%)

prune118.0ms (0.9%)

localize12.0ms (0.1%)

rewrite110.0ms (0.8%)

series1.2s (9%)

simplify166.0ms (1.3%)

prune164.0ms (1.3%)

localize12.0ms (0.1%)

rewrite158.0ms (1.2%)

series1.5s (11.8%)

simplify385.0ms (3%)

prune207.0ms (1.6%)

localize11.0ms (0.1%)

rewrite687.0ms (5.3%)

series1.3s (10%)

simplify485.0ms (3.7%)

prune570.0ms (4.4%)

regimes1.4s (10.6%)

bsearch5.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample2.1s (16.1%)

Profiling