Details

analyze617.0ms (3.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

708×	`sub-neg_binary64_8937`
527×	`associate-+l+_binary64_8877`
450×	`associate-+r+_binary64_8876`
434×	`associate--r-_binary64_8883`
396×	`distribute-neg-out_binary64_8906`
357×	`+-commutative_binary64_8874`
313×	`neg-mul-1_binary64_8940`
274×	`distribute-rgt-in_binary64_8894`
239×	`neg-sub0_binary64_8939`
227×	`distribute-neg-in_binary64_8905`
212×	`associate-+l-_binary64_8879`
208×	`unsub-neg_binary64_8938`
200×	`distribute-lft-in_binary64_8893`
198×	`cancel-sign-sub-inv_binary64_8910`
185×	`cancel-sign-sub_binary64_8909`
177×	`associate--r+_binary64_8880`
134×	`--rgt-identity_binary64_8930`
133×	`associate-+r-_binary64_8878`
121×	`distribute-rgt-neg-in_binary64_8902`
101×	`associate--l+_binary64_8881`
78×	`distribute-lft-neg-in_binary64_8901`
74×	`sub0-neg_binary64_8931`
59×	`+-rgt-identity_binary64_8929`
52×	`remove-double-neg_binary64_8932` `*-commutative_binary64_8875`
45×	`distribute-lft-neg-out_binary64_8903`
32×	`associate-r_binary64_8884`
30×	`mul0-rgt_binary64_8927` `mul0-lft_binary64_8926`
21×	`distribute-rgt-neg-out_binary64_8904`
20×	`associate--l-_binary64_8882`
13×	`-rgt-identity_binary64_8934` `associate-l*_binary64_8885`
10×	`*-lft-identity_binary64_8933`
1×	`1-exp_binary64_8988` `swap-x-y`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `log-pow_binary64_9033` `log-rec_binary64_9032` `log-div_binary64_9031` `log-prod_binary64_9030` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow3_binary64_9010` `unpow2_binary64_9009` `unpow1/2_binary64_9008` `pow-plus_binary64_9007` `exp-to-pow_binary64_9006` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `unpow1_binary64_9002` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-lft-sqr_binary64_8999` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `exp-prod_binary64_8996` `div-exp_binary64_8995` `rec-exp_binary64_8994` `prod-exp_binary64_8993` `exp-diff_binary64_8992` `exp-neg_binary64_8991` `exp-sum_binary64_8990` `e-exp-1_binary64_8989` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `rem-exp-log_binary64_8984` `cube-unmult_binary64_8981` `cube-mult_binary64_8974` `cube-div_binary64_8973` `cube-prod_binary64_8972` `cube-neg_binary64_8971` `rem-3cbrt-rft_binary64_8970` `rem-3cbrt-lft_binary64_8969` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `rem-sqrt-square_binary64_8957` `rem-square-sqrt_binary64_8956` `times-frac_binary64_8950` `div-sub_binary64_8949` `mul-1-neg_binary64_8936` `/-rgt-identity_binary64_8935` `+-lft-identity_binary64_8928` `div0_binary64_8925` `-inverses_binary64_8924` `+-inverses_binary64_8923` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `pow-sqr_binary64_8917` `sqr-pow_binary64_8916` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `difference-of-squares_binary64_8913` `unswap-sqr_binary64_8912` `swap-sqr_binary64_8911` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-rgt1-in_binary64_8900` `distribute-lft1-in_binary64_8899` `distribute-rgt-out--_binary64_8898` `distribute-rgt-out_binary64_8897` `distribute-lft-out--_binary64_8896` `distribute-lft-out_binary64_8895` `count-2_binary64_8892` `associate-/l/_binary64_8891` `associate-/r/_binary64_8890` `associate-/l_binary64_8889` `associate-/r_binary64_8888` `associate-l/_binary64_8887` `associate-*r/_binary64_8886`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	275
1	160	275
2	489	275
3	1154	275
4	3068	275
5	4656	275
6	4923	275
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%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

Symmetry

(sort x y)

Compiler

Compiled 17 to 16 computations (5.9% saved)

sample61.0ms (0.4%)

Algorithm

1×

intervals

Results

19.0ms	256×	body	128	valid
10.0ms	147×	body	128	nan

Compiler

Compiled 33 to 36 computations (-9.1% saved)

simplify147.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1117×	`associate--r+_binary64_8880`
1075×	`associate-+l+_binary64_8877`
486×	`unsub-neg_binary64_8938`
464×	`sub-neg_binary64_8937`
437×	`distribute-neg-in_binary64_8905`
376×	`distribute-rgt-in_binary64_8894`
282×	`cancel-sign-sub-inv_binary64_8910`
234×	`associate-+l-_binary64_8879`
185×	`+-commutative_binary64_8874`
168×	`distribute-lft-in_binary64_8893`
162×	`associate--r-_binary64_8883`
161×	`distribute-lft-neg-out_binary64_8903`
155×	`distribute-rgt-neg-out_binary64_8904`
154×	`associate--l-_binary64_8882`
145×	`*-commutative_binary64_8875`
135×	`distribute-rgt-neg-in_binary64_8902`
132×	`associate-+r+_binary64_8876`
128×	`neg-mul-1_binary64_8940`
123×	`associate--l+_binary64_8881`
112×	`neg-sub0_binary64_8939`
94×	`distribute-lft-neg-in_binary64_8901`
85×	`associate-l_binary64_8885`
67×	`associate-+r-_binary64_8878`
65×	`associate-r_binary64_8884`
45×	`sub0-neg_binary64_8931`
32×	`cancel-sign-sub_binary64_8909` `distribute-lft-out--_binary64_8896`
24×	`distribute-neg-out_binary64_8906`
22×	`--rgt-identity_binary64_8930`
21×	`*-rgt-identity_binary64_8934`
18×	`*-lft-identity_binary64_8933` `remove-double-neg_binary64_8932`
14×	`+-rgt-identity_binary64_8929`
13×	`distribute-rgt-out--_binary64_8898`
8×	`log-prod_binary64_9030` `distribute-lft-out_binary64_8895`
6×	`mul0-rgt_binary64_8927` `mul0-lft_binary64_8926`
4×	`mul-1-neg_binary64_8936`
2×	`+-lft-identity_binary64_8928` `distribute-rgt1-in_binary64_8900`
1×	`1-exp_binary64_8988`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `log-pow_binary64_9033` `log-rec_binary64_9032` `log-div_binary64_9031` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow3_binary64_9010` `unpow2_binary64_9009` `unpow1/2_binary64_9008` `pow-plus_binary64_9007` `exp-to-pow_binary64_9006` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `unpow1_binary64_9002` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-lft-sqr_binary64_8999` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `exp-prod_binary64_8996` `div-exp_binary64_8995` `rec-exp_binary64_8994` `prod-exp_binary64_8993` `exp-diff_binary64_8992` `exp-neg_binary64_8991` `exp-sum_binary64_8990` `e-exp-1_binary64_8989` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `rem-exp-log_binary64_8984` `cube-unmult_binary64_8981` `cube-mult_binary64_8974` `cube-div_binary64_8973` `cube-prod_binary64_8972` `cube-neg_binary64_8971` `rem-3cbrt-rft_binary64_8970` `rem-3cbrt-lft_binary64_8969` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `rem-sqrt-square_binary64_8957` `rem-square-sqrt_binary64_8956` `times-frac_binary64_8950` `div-sub_binary64_8949` `/-rgt-identity_binary64_8935` `div0_binary64_8925` `-inverses_binary64_8924` `+-inverses_binary64_8923` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `pow-sqr_binary64_8917` `sqr-pow_binary64_8916` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `difference-of-squares_binary64_8913` `unswap-sqr_binary64_8912` `swap-sqr_binary64_8911` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-lft1-in_binary64_8899` `distribute-rgt-out_binary64_8897` `count-2_binary64_8892` `associate-/l/_binary64_8891` `associate-/r/_binary64_8890` `associate-/l_binary64_8889` `associate-/r_binary64_8888` `associate-l/_binary64_8887` `associate-*r/_binary64_8886`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	29	25
2	70	25
3	150	25
4	376	25
5	910	25
6	1406	25
7	1438	25
8	1415	25
9	1435	25
10	1457	25
11	1522	25
12	1542	25
13	1960	25
14	1906	25
15	1992	25
16	2103	25
17	2175	25
18	2175	25
19	2285	25
20	5309	25

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.3b

Counts

1 → 1

Compiler

Compiled 16 to 15 computations (6.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite209.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

32×	`*-un-lft-identity_binary64_8944`
20×	`add-sqr-sqrt_binary64_8966`
19×	`log-prod_binary64_9030`
15×	`pow1_binary64_9005`
14×	`add-log-exp_binary64_8983` `add-cube-cbrt_binary64_8979`
9×	`log-pow_binary64_9033` `distribute-lft-out_binary64_8895` `associate-+l+_binary64_8877` `associate-+r+_binary64_8876`
6×	`sum-log_binary64_9035` `add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893` `flip3--_binary64_8948` `associate-*l/_binary64_8887` `flip--_binary64_8919` `distribute-lft-out--_binary64_8896` `cancel-sign-sub-inv_binary64_8910`
5×	`associate-+l-_binary64_8879` `associate-l_binary64_8885`
4×	`flip3-+_binary64_8947` `flip-+_binary64_8918` `log-div_binary64_9031` `associate-r_binary64_8884` `diff-log_binary64_9036` `frac-add_binary64_8952`
2×	`+-commutative_binary64_8874` `difference-of-squares_binary64_8913` `sub-neg_binary64_8937` `associate--l+_binary64_8881` `associate--l-_binary64_8882`
1×	`pow-prod-down_binary64_9015` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `unswap-sqr_binary64_8912` `*-commutative_binary64_8875`

Counts

4 → 106

Calls

4 calls:

19.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
10.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
8.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
8.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

Compiler

Compiled 2800 to 943 computations (66.3% saved)

series2.1s (12.6%)

Error

0.2b

Counts

4 → 77

Calls

4 calls:

1.1s	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
426.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
257.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
224.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))

Compiler

Compiled 3848 to 2766 computations (28.1% saved)

simplify153.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

588×	`sub-neg_binary64_8937`
276×	`cancel-sign-sub-inv_binary64_8910`
272×	`associate--l+_binary64_8881`
230×	`unsub-neg_binary64_8938`
226×	`+-commutative_binary64_8874`
203×	`associate--r+_binary64_8880`
183×	`associate-+l+_binary64_8877`
171×	`exp-sum_binary64_8990`
167×	`distribute-rgt-in_binary64_8894`
160×	`distribute-neg-in_binary64_8905`
158×	`distribute-lft-in_binary64_8893`
110×	`*-commutative_binary64_8875`
107×	`associate-+r+_binary64_8876`
87×	`exp-diff_binary64_8992`
86×	`neg-mul-1_binary64_8940` `neg-sub0_binary64_8939`
85×	`times-frac_binary64_8950` `associate-l_binary64_8885`
80×	`associate-r_binary64_8884`
66×	`exp-prod_binary64_8996`
44×	`associate-+r-_binary64_8878`
43×	`sqr-pow_binary64_8916`
34×	`distribute-neg-out_binary64_8906`
30×	`associate-+l-_binary64_8879`
27×	`log-prod_binary64_9030` `associate--r-_binary64_8883`
26×	`distribute-rgt-neg-in_binary64_8902`
20×	`unswap-sqr_binary64_8912`
16×	`unpow3_binary64_9010` `distribute-lft-neg-in_binary64_8901`
14×	`cube-prod_binary64_8972` `*-rgt-identity_binary64_8934`
13×	`*-lft-identity_binary64_8933`
11×	`exp-to-pow_binary64_9006` `associate-/l*_binary64_8889`
9×	`log-div_binary64_9031` `cube-mult_binary64_8974` `remove-double-neg_binary64_8932` `distribute-lft-neg-out_binary64_8903`
8×	`prod-exp_binary64_8993` `+-rgt-identity_binary64_8929` `associate-/r*_binary64_8888`
7×	`div-exp_binary64_8995` `difference-of-squares_binary64_8913` `swap-sqr_binary64_8911`
6×	`log-pow_binary64_9033` `unpow1/2_binary64_9008` `distribute-neg-frac_binary64_8908` `associate-*r/_binary64_8886`
5×	`distribute-rgt-out--_binary64_8898` `associate-*l/_binary64_8887`
4×	`log-rec_binary64_9032` `distribute-rgt-neg-out_binary64_8904`
3×	`rem-exp-log_binary64_8984` `cube-unmult_binary64_8981`
2×	`unpow2_binary64_9009` `pow-plus_binary64_9007` `unpow1_binary64_9002` `rec-exp_binary64_8994` `mul-1-neg_binary64_8936` `cancel-sign-sub_binary64_8909` `distribute-rgt-out_binary64_8897` `count-2_binary64_8892` `associate--l-_binary64_8882`
1×	`exp-neg_binary64_8991` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `cube-neg_binary64_8971` `rem-3cbrt-lft_binary64_8969` `sqr-neg_binary64_8958` `rem-sqrt-square_binary64_8957` `rem-square-sqrt_binary64_8956` `+-inverses_binary64_8923` `pow-sqr_binary64_8917` `distribute-lft-out_binary64_8895` `associate-/r/_binary64_8890`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-lft-sqr_binary64_8999` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `cube-div_binary64_8973` `rem-3cbrt-rft_binary64_8970` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `div-sub_binary64_8949` `/-rgt-identity_binary64_8935` `sub0-neg_binary64_8931` `--rgt-identity_binary64_8930` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `*-inverses_binary64_8924` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `distribute-frac-neg_binary64_8907` `distribute-rgt1-in_binary64_8900` `distribute-lft1-in_binary64_8899` `distribute-lft-out--_binary64_8896` `associate-/l/_binary64_8891`

Counts

183 → 166

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	355	4044
1	1008	3858
2	3536	3821
3	4746	3821
4	5016	3821

prune213.0ms (1.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	161	5	166
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	162	5	167

Error

0.0b

Counts

167 → 5

Compiler

Compiled 3783 to 1324 computations (65% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite172.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

23×	`*-un-lft-identity_binary64_8944`
22×	`add-log-exp_binary64_8983`
15×	`add-sqr-sqrt_binary64_8966`
13×	`log-prod_binary64_9030`
11×	`add-cube-cbrt_binary64_8979`
10×	`sum-log_binary64_9035`
9×	`pow1_binary64_9005` `diff-log_binary64_9036`
7×	`associate-+l+_binary64_8877` `associate-+r+_binary64_8876`
6×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `flip3-+_binary64_8947` `flip-+_binary64_8918`
5×	`distribute-lft-out_binary64_8895`
4×	`log-div_binary64_9031` `associate-+l-_binary64_8879` `associate-l_binary64_8885` `frac-sub_binary64_8953` `cancel-sign-sub-inv_binary64_8910`
3×	`log-pow_binary64_9033` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893` `associate-r_binary64_8884` `flip3--_binary64_8948` `flip--_binary64_8919` `distribute-lft-out--_binary64_8896`
2×	`+-commutative_binary64_8874` `sub-neg_binary64_8937` `associate--l-_binary64_8882` `associate--r+_binary64_8880`
1×	`pow-prod-down_binary64_9015` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `unswap-sqr_binary64_8912` `*-commutative_binary64_8875` `difference-of-squares_binary64_8913` `associate--r-_binary64_8883` `associate--l+_binary64_8881`

Counts

4 → 93

Calls

4 calls:

14.0ms	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 -1/2 (log.f64 t)))) (-.f64 t (.f64 (log.f64 t) a)))
10.0ms	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 -1/2 (log.f64 t))))
5.0ms	(+.f64 (log.f64 z) (*.f64 -1/2 (log.f64 t)))
5.0ms	(*.f64 (log.f64 t) a)

Compiler

Compiled 2924 to 999 computations (65.8% saved)

series2.3s (13.8%)

Error

0.0b

Counts

4 → 60

Calls

4 calls:

1.1s	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 -1/2 (log.f64 t)))) (-.f64 t (.f64 (log.f64 t) a)))
607.0ms	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 -1/2 (log.f64 t))))
321.0ms	(+.f64 (log.f64 z) (*.f64 -1/2 (log.f64 t)))
208.0ms	(*.f64 (log.f64 t) a)

Compiler

Compiled 3407 to 2367 computations (30.5% saved)

simplify150.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

622×	`sub-neg_binary64_8937`
252×	`associate--l+_binary64_8881`
235×	`+-commutative_binary64_8874`
223×	`associate--r+_binary64_8880`
189×	`associate-+l+_binary64_8877`
187×	`distribute-neg-in_binary64_8905`
165×	`distribute-lft-in_binary64_8893`
164×	`distribute-rgt-in_binary64_8894`
155×	`unsub-neg_binary64_8938`
150×	`exp-sum_binary64_8990`
129×	`*-commutative_binary64_8875`
128×	`cancel-sign-sub-inv_binary64_8910`
108×	`associate-+r+_binary64_8876`
106×	`associate-l_binary64_8885`
102×	`times-frac_binary64_8950` `associate-r_binary64_8884`
92×	`neg-sub0_binary64_8939`
91×	`exp-diff_binary64_8992` `distribute-lft-neg-out_binary64_8903`
89×	`neg-mul-1_binary64_8940`
69×	`exp-prod_binary64_8996` `distribute-rgt-neg-out_binary64_8904`
49×	`sqr-pow_binary64_8916`
46×	`distribute-rgt-neg-in_binary64_8902`
35×	`div-exp_binary64_8995` `distribute-lft-neg-in_binary64_8901`
34×	`associate-+l-_binary64_8879`
33×	`associate-+r-_binary64_8878`
27×	`log-prod_binary64_9030`
22×	`cube-prod_binary64_8972`
20×	`unswap-sqr_binary64_8912` `cancel-sign-sub_binary64_8909` `associate-/l*_binary64_8889` `associate--r-_binary64_8883`
18×	`unpow3_binary64_9010`
15×	`exp-to-pow_binary64_9006`
11×	`swap-sqr_binary64_8911` `associate-/r*_binary64_8888`
10×	`cube-mult_binary64_8974` `difference-of-squares_binary64_8913` `distribute-rgt-out_binary64_8897`
9×	`prod-exp_binary64_8993` `distribute-neg-out_binary64_8906`
8×	`log-div_binary64_9031` `exp-neg_binary64_8991` `*-rgt-identity_binary64_8934` `associate--l-_binary64_8882`
6×	`*-lft-identity_binary64_8933` `remove-double-neg_binary64_8932` `distribute-neg-frac_binary64_8908` `distribute-rgt-out--_binary64_8898`
5×	`log-pow_binary64_9033` `mul-1-neg_binary64_8936` `associate-/r/_binary64_8890` `associate-*l/_binary64_8887`
4×	`log-rec_binary64_9032` `unpow1/2_binary64_9008` `pow-plus_binary64_9007`
3×	`rem-exp-log_binary64_8984` `cube-unmult_binary64_8981` `+-rgt-identity_binary64_8929` `pow-sqr_binary64_8917`
2×	`unpow2_binary64_9009` `unpow1_binary64_9002` `rec-exp_binary64_8994` `associate-/l/_binary64_8891` `associate-*r/_binary64_8886`
1×	`log-E_binary64_9034` `unpow-1_binary64_9001` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `cube-neg_binary64_8971` `rem-3cbrt-lft_binary64_8969` `sqr-neg_binary64_8958` `rem-sqrt-square_binary64_8957` `rem-square-sqrt_binary64_8956` `+-inverses_binary64_8923` `distribute-lft-out_binary64_8895` `count-2_binary64_8892`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `exp-lft-cube_binary64_9000` `exp-lft-sqr_binary64_8999` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `cube-div_binary64_8973` `rem-3cbrt-rft_binary64_8970` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `div-sub_binary64_8949` `/-rgt-identity_binary64_8935` `sub0-neg_binary64_8931` `--rgt-identity_binary64_8930` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `*-inverses_binary64_8924` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `distribute-frac-neg_binary64_8907` `distribute-rgt1-in_binary64_8900` `distribute-lft1-in_binary64_8899` `distribute-lft-out--_binary64_8896`

Counts

153 → 126

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	343	4159
1	1025	4014
2	3485	3979
3	4736	3967
4	4953	3967

prune160.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	125	1	126
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	125	6	131

Error

Counts

131 → 6

Compiler

Compiled 3467 to 1106 computations (68.1% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 (+.f64 -1/2 a) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 -1/2 a) (log.f64 (cbrt.f64 t))))
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
0.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite215.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

43×	`log-prod_binary64_9030`
30×	`distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893`
28×	`associate-+l+_binary64_8877`
26×	`*-un-lft-identity_binary64_8944`
24×	`cbrt-prod_binary64_8975`
20×	`add-cube-cbrt_binary64_8979` `add-sqr-sqrt_binary64_8966`
15×	`associate-+r+_binary64_8876`
8×	`pow1_binary64_9005` `associate-*l/_binary64_8887`
7×	`flip3-+_binary64_8947` `flip-+_binary64_8918`
6×	`add-log-exp_binary64_8983` `distribute-lft-out_binary64_8895`
4×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `log-pow_binary64_9033` `frac-add_binary64_8952`
2×	`sum-log_binary64_9035` `log-div_binary64_9031` `associate-+l-_binary64_8879` `+-commutative_binary64_8874` `pow1/3_binary64_9026`

Counts

4 → 98

Calls

4 calls:

16.0ms	(+.f64 (.f64 (+.f64 -1/2 a) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 -1/2 a) (log.f64 (cbrt.f64 t))))
8.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 3687 to 1614 computations (56.2% saved)

series1.4s (8.6%)

Error

Counts

4 → 32

Calls

4 calls:

868.0ms	(+.f64 (.f64 (+.f64 -1/2 a) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 -1/2 a) (log.f64 (cbrt.f64 t))))
279.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
109.0ms	(cbrt.f64 t)
108.0ms	(cbrt.f64 t)

Compiler

Compiled 2470 to 1828 computations (26% saved)

simplify83.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

349×	`associate-+l+_binary64_8877`
216×	`cancel-sign-sub-inv_binary64_8910`
191×	`distribute-rgt-out_binary64_8897`
178×	`associate-r_binary64_8884`
169×	`associate-l_binary64_8885`
155×	`*-commutative_binary64_8875`
134×	`distribute-rgt-in_binary64_8894`
126×	`distribute-lft-in_binary64_8893`
124×	`distribute-lft-out_binary64_8895`
123×	`sub-neg_binary64_8937`
122×	`distribute-rgt-neg-in_binary64_8902`
116×	`associate--l+_binary64_8881`
112×	`+-commutative_binary64_8874`
111×	`distribute-lft-neg-in_binary64_8901`
104×	`associate-+r-_binary64_8878`
94×	`associate-+l-_binary64_8879`
85×	`times-frac_binary64_8950`
77×	`associate--r-_binary64_8883`
72×	`associate-/l*_binary64_8889`
70×	`associate--r+_binary64_8880`
63×	`associate-/r*_binary64_8888`
59×	`sqr-pow_binary64_8916`
50×	`unsub-neg_binary64_8938` `associate-+r+_binary64_8876`
49×	`distribute-rgt-out--_binary64_8898`
47×	`neg-sub0_binary64_8939`
46×	`neg-mul-1_binary64_8940`
43×	`distribute-neg-in_binary64_8905`
42×	`log-prod_binary64_9030`
41×	`distribute-lft-neg-out_binary64_8903`
37×	`exp-prod_binary64_8996`
33×	`swap-sqr_binary64_8911` `distribute-rgt-neg-out_binary64_8904`
30×	`cube-prod_binary64_8972`
27×	`associate-*l/_binary64_8887`
26×	`distribute-lft-out--_binary64_8896`
21×	`associate-*r/_binary64_8886`
20×	`unswap-sqr_binary64_8912`
19×	`exp-sum_binary64_8990`
12×	`unpow3_binary64_9010` `cube-mult_binary64_8974` `distribute-rgt1-in_binary64_8900`
10×	`log-pow_binary64_9033` `log-div_binary64_9031` `associate--l-_binary64_8882`
8×	`exp-to-pow_binary64_9006` `distribute-neg-out_binary64_8906`
7×	`count-2_binary64_8892`
6×	`distribute-neg-frac_binary64_8908` `distribute-lft1-in_binary64_8899` `associate-/r/_binary64_8890`
5×	`log-rec_binary64_9032` `exp-lft-sqr_binary64_8999` `cube-unmult_binary64_8981` `difference-of-squares_binary64_8913`
4×	`mul-1-neg_binary64_8936`
3×	`rem-sqrt-square_binary64_8957` `remove-double-neg_binary64_8932` `pow-sqr_binary64_8917`
2×	`unpow1/3_binary64_9011` `unpow2_binary64_9009` `unpow1/2_binary64_9008` `unpow1_binary64_9002` `prod-exp_binary64_8993` `exp-diff_binary64_8992` `rem-exp-log_binary64_8984`
1×	`pow-plus_binary64_9007` `rec-exp_binary64_8994` `1-exp_binary64_8988` `cube-neg_binary64_8971` `rem-3cbrt-lft_binary64_8969` `sqr-neg_binary64_8958` `+-inverses_binary64_8923`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `div-exp_binary64_8995` `exp-neg_binary64_8991` `e-exp-1_binary64_8989` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `cube-div_binary64_8973` `rem-3cbrt-rft_binary64_8970` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `rem-square-sqrt_binary64_8956` `div-sub_binary64_8949` `/-rgt-identity_binary64_8935` `-rgt-identity_binary64_8934` `-lft-identity_binary64_8933` `sub0-neg_binary64_8931` `--rgt-identity_binary64_8930` `+-rgt-identity_binary64_8929` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `*-inverses_binary64_8924` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `cancel-sign-sub_binary64_8909` `distribute-frac-neg_binary64_8907` `associate-/l/_binary64_8891`

Counts

130 → 103

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	274	2439
1	719	2174
2	2197	1960
3	5000	1960

prune168.0ms (1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	103	6	109

Error

Counts

109 → 6

Compiler

Compiled 3247 to 1392 computations (57.1% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite231.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

41×	`*-un-lft-identity_binary64_8944`
29×	`log-prod_binary64_9030`
24×	`pow1_binary64_9005` `distribute-lft-out_binary64_8895`
20×	`add-sqr-sqrt_binary64_8966`
18×	`log-pow_binary64_9033`
16×	`add-cube-cbrt_binary64_8979`
15×	`add-log-exp_binary64_8983` `associate-+l+_binary64_8877`
14×	`associate-+r+_binary64_8876`
11×	`sum-log_binary64_9035`
8×	`sqrt-prod_binary64_8960`
6×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `flip3-+_binary64_8947` `flip-+_binary64_8918` `sqrt-div_binary64_8961` `log-div_binary64_9031` `associate-+r-_binary64_8878` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893` `associate-*l/_binary64_8887`
5×	`flip3--_binary64_8948` `flip--_binary64_8919` `associate-l_binary64_8885`
4×	`associate-r_binary64_8884` `frac-add_binary64_8952`
3×	`+-commutative_binary64_8874` `associate-+l-_binary64_8879` `diff-log_binary64_9036` `cancel-sign-sub-inv_binary64_8910`
1×	`pow-prod-down_binary64_9015` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `unswap-sqr_binary64_8912` `difference-of-squares_binary64_8913` `distribute-lft-out--_binary64_8896` `*-commutative_binary64_8875` `sub-neg_binary64_8937` `associate--l+_binary64_8881`

Counts

4 → 120

Calls

4 calls:

26.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 y x))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
15.0ms	(+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 y x)))))
9.0ms	(+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 y x))))
8.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))

Compiler

Compiled 4212 to 1152 computations (72.6% saved)

series2.0s (12.2%)

Error

Counts

4 → 59

Calls

4 calls:

1.2s	(+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 y x))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
301.0ms	(+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 y x)))))
246.0ms	(+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 y x))))
237.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))

Compiler

Compiled 3615 to 2559 computations (29.2% saved)

simplify163.0ms (1%)

Algorithm

1×	egg-herbie

Rules

340×	`sub-neg_binary64_8937`
217×	`cancel-sign-sub-inv_binary64_8910`
202×	`+-commutative_binary64_8874`
187×	`distribute-rgt-in_binary64_8894`
174×	`distribute-lft-in_binary64_8893`
158×	`associate-+l+_binary64_8877`
152×	`associate--l+_binary64_8881`
133×	`*-commutative_binary64_8875`
126×	`times-frac_binary64_8950`
125×	`unsub-neg_binary64_8938`
117×	`associate-+r+_binary64_8876`
116×	`associate-/l*_binary64_8889`
106×	`distribute-neg-in_binary64_8905`
95×	`distribute-rgt-neg-in_binary64_8902` `associate--r-_binary64_8883`
91×	`associate-l_binary64_8885`
89×	`exp-prod_binary64_8996` `associate-r_binary64_8884`
86×	`associate--r+_binary64_8880`
75×	`associate-/r*_binary64_8888`
73×	`distribute-lft-neg-out_binary64_8903`
72×	`exp-diff_binary64_8992`
70×	`neg-mul-1_binary64_8940` `neg-sub0_binary64_8939`
66×	`distribute-lft-neg-in_binary64_8901`
54×	`distribute-rgt-neg-out_binary64_8904`
53×	`associate-*l/_binary64_8887`
49×	`sqr-pow_binary64_8916`
42×	`associate-*r/_binary64_8886`
39×	`log-prod_binary64_9030`
36×	`div-exp_binary64_8995` `exp-sum_binary64_8990`
33×	`distribute-rgt-out_binary64_8897`
24×	`distribute-lft-out_binary64_8895`
23×	`prod-exp_binary64_8993`
21×	`associate-/r/_binary64_8890` `associate-+r-_binary64_8878`
20×	`unswap-sqr_binary64_8912`
19×	`associate-+l-_binary64_8879`
18×	`unpow3_binary64_9010`
16×	`distribute-rgt-out--_binary64_8898`
15×	`exp-to-pow_binary64_9006`
14×	`cube-prod_binary64_8972` `*-rgt-identity_binary64_8934`
13×	`*-lft-identity_binary64_8933`
11×	`log-div_binary64_9031` `cube-mult_binary64_8974` `distribute-neg-out_binary64_8906`
9×	`difference-of-squares_binary64_8913` `distribute-neg-frac_binary64_8908`
7×	`swap-sqr_binary64_8911`
6×	`unpow1/2_binary64_9008` `remove-double-neg_binary64_8932`
4×	`log-pow_binary64_9033` `rem-sqrt-square_binary64_8957`
3×	`rem-exp-log_binary64_8984` `cube-unmult_binary64_8981` `+-rgt-identity_binary64_8929` `+-inverses_binary64_8923` `count-2_binary64_8892`
2×	`log-rec_binary64_9032` `unpow2_binary64_9009` `pow-plus_binary64_9007` `unpow1_binary64_9002` `rec-exp_binary64_8994` `rem-square-sqrt_binary64_8956` `mul-1-neg_binary64_8936` `cancel-sign-sub_binary64_8909` `distribute-rgt1-in_binary64_8900` `distribute-lft-out--_binary64_8896` `associate--l-_binary64_8882`
1×	`1-exp_binary64_8988` `exp-1-e_binary64_8987` `cube-neg_binary64_8971` `rem-3cbrt-lft_binary64_8969` `sqr-neg_binary64_8958` `pow-sqr_binary64_8917`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-lft-sqr_binary64_8999` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `exp-neg_binary64_8991` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `cube-div_binary64_8973` `rem-3cbrt-rft_binary64_8970` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `div-sub_binary64_8949` `/-rgt-identity_binary64_8935` `sub0-neg_binary64_8931` `--rgt-identity_binary64_8930` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `*-inverses_binary64_8924` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `distribute-frac-neg_binary64_8907` `distribute-lft1-in_binary64_8899` `associate-/l/_binary64_8891`

Counts

179 → 160

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	368	4808
1	972	4611
2	3079	3990
3	4744	3975
4	4955	3975

prune201.0ms (1.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	160	6	166

Error

Counts

166 → 6

Compiler

Compiled 4303 to 1573 computations (63.4% saved)

regimes2.5s (15%)

Accuracy

Total 0.3b remaining (98.8%)

Threshold costs 0.3b (98.8%)

Compiler

Compiled 27729 to 21833 computations (21.3% saved)

bsearch0.0ms (0%)

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative_binary64_8874`
9×	`*-commutative_binary64_8875`
8×	`sub-neg_binary64_8937`
7×	`neg-mul-1_binary64_8940` `neg-sub0_binary64_8939`
4×	`unsub-neg_binary64_8938` `distribute-neg-in_binary64_8905`
2×	`distribute-rgt-neg-in_binary64_8902` `distribute-lft-neg-in_binary64_8901`
1×	`1-exp_binary64_8988`
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_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `unpow1_binary64_9002` `e-exp-1_binary64_8989` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `mul-1-neg_binary64_8936` `/-rgt-identity_binary64_8935` `-rgt-identity_binary64_8934` `-lft-identity_binary64_8933` `remove-double-neg_binary64_8932` `sub0-neg_binary64_8931` `--rgt-identity_binary64_8930` `+-rgt-identity_binary64_8929` `+-lft-identity_binary64_8928` `cancel-sign-sub-inv_binary64_8910` `cancel-sign-sub_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-neg-out_binary64_8906` `distribute-rgt-neg-out_binary64_8904` `distribute-lft-neg-out_binary64_8903`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	33
1	29	33
2	37	33
3	49	33
4	66	33
5	76	33
6	82	33
7	84	33
8	83	33

Remove

(sort x y)

Compiler

Compiled 42 to 36 computations (14.3% saved)

end0.0ms (0%)

sample3.2s (19.5%)

Algorithm

1×

intervals

Results

600.0ms	8000×	body	128	valid
302.0ms	4483×	body	128	nan
6.0ms	32×	body	128	invalid

Compiler

Compiled 2169 to 1710 computations (21.2% saved)

Details

analyze617.0ms (3.8%)

sample61.0ms (0.4%)

simplify147.0ms (0.9%)

prune2.0ms (0%)

localize14.0ms (0.1%)

rewrite209.0ms (1.3%)

series2.1s (12.6%)

simplify153.0ms (0.9%)

prune213.0ms (1.3%)

localize16.0ms (0.1%)

rewrite172.0ms (1%)

series2.3s (13.8%)

simplify150.0ms (0.9%)

prune160.0ms (1%)

localize21.0ms (0.1%)

rewrite215.0ms (1.3%)

series1.4s (8.6%)

simplify83.0ms (0.5%)

prune168.0ms (1%)

localize20.0ms (0.1%)

rewrite231.0ms (1.4%)

series2.0s (12.2%)

simplify163.0ms (1%)

prune201.0ms (1.2%)

regimes2.5s (15%)

bsearch0.0ms (0%)

simplify12.0ms (0.1%)

end0.0ms (0%)

sample3.2s (19.5%)

Profiling