Details

analyze807.0ms (4.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

674×	`div-sub_binary64_7926`
618×	`unsub-neg_binary64_7915`
585×	`neg-mul-1_binary64_7917`
552×	`times-frac_binary64_7927`
314×	`distribute-rgt-in_binary64_7871`
310×	`sub-neg_binary64_7914`
262×	`distribute-frac-neg_binary64_7884`
237×	`associate-+l+_binary64_7854`
224×	`distribute-neg-out_binary64_7883`
218×	`distribute-lft-in_binary64_7870`
178×	`neg-sub0_binary64_7916`
138×	`+-commutative_binary64_7851`
111×	`*-commutative_binary64_7852`
107×	`cancel-sign-sub_binary64_7886`
104×	`associate--r+_binary64_7857`
96×	`associate-/l*_binary64_7866` `associate-+r+_binary64_7853`
80×	`distribute-rgt-neg-out_binary64_7881`
76×	`associate-l_binary64_7862`
71×	`distribute-lft-neg-out_binary64_7880`
65×	`associate-r_binary64_7861`
61×	`associate-+l-_binary64_7856`
56×	`distribute-rgt-out_binary64_7874`
50×	`sub0-neg_binary64_7908`
49×	`distribute-neg-in_binary64_7882`
42×	`cancel-sign-sub-inv_binary64_7887`
41×	`associate-/r*_binary64_7865`
39×	`distribute-lft-neg-in_binary64_7878`
36×	`mul0-rgt_binary64_7904` `mul0-lft_binary64_7903`
31×	`div0_binary64_7902`
30×	`distribute-neg-frac_binary64_7885` `associate-/r/_binary64_7867`
29×	`distribute-rgt-neg-in_binary64_7879`
28×	`remove-double-neg_binary64_7909`
27×	`associate--r-_binary64_7860`
24×	`associate-/l/_binary64_7868` `associate-*l/_binary64_7864`
17×	`associate-*r/_binary64_7863`
9×	`associate-+r-_binary64_7855`
6×	`swap-sqr_binary64_7888`
4×	`sqr-neg_binary64_7935` `mul-1-neg_binary64_7913` `+-rgt-identity_binary64_7906` `distribute-lft-out_binary64_7872`
3×	`--rgt-identity_binary64_7907`
1×	`1-exp_binary64_7965` `*-rgt-identity_binary64_7911` `swap-z-t`
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_8184` `erf-erfc_binary64_8183` `erf-odd_binary64_8182` `if-if-and-not_binary64_8181` `if-if-and_binary64_8180` `if-if-or-not_binary64_8179` `if-if-or_binary64_8178` `if-not_binary64_8177` `if-same_binary64_8176` `if-false_binary64_8175` `if-true_binary64_8174` `not-gte_binary64_8173` `not-lte_binary64_8172` `not-gt_binary64_8171` `not-lt_binary64_8170` `gte-same_binary64_8169` `lte-same_binary64_8168` `gt-same_binary64_8167` `lt-same_binary64_8166` `sinh---cosh_binary64_8113` `sinh-+-cosh_binary64_8112` `sinh-cosh_binary64_8111` `tanh-def-c_binary64_8110` `tanh-def-b_binary64_8109` `tanh-def-a_binary64_8108` `cosh-def_binary64_8107` `sinh-def_binary64_8106` `tan-neg_binary64_8053` `cos-neg_binary64_8052` `sin-neg_binary64_8051` `tan-0_binary64_8050` `cos-0_binary64_8049` `sin-0_binary64_8048` `hang-m-tan_binary64_8047` `hang-p-tan_binary64_8046` `hang-m0-tan_binary64_8045` `hang-p0-tan_binary64_8044` `hang-0m-tan_binary64_8043` `hang-0p-tan_binary64_8042` `tan-+PI/2_binary64_8041` `tan-+PI_binary64_8040` `tan-PI_binary64_8039` `tan-PI/3_binary64_8038` `tan-PI/4_binary64_8037` `tan-PI/6_binary64_8036` `cos-+PI/2_binary64_8035` `cos-+PI_binary64_8034` `cos-PI_binary64_8033` `cos-PI/2_binary64_8032` `cos-PI/3_binary64_8031` `cos-PI/4_binary64_8030` `cos-PI/6_binary64_8029` `sin-+PI/2_binary64_8028` `sin-+PI_binary64_8027` `sin-PI_binary64_8026` `sin-PI/2_binary64_8025` `sin-PI/3_binary64_8024` `sin-PI/4_binary64_8023` `sin-PI/6_binary64_8022` `sub-1-sin_binary64_8021` `sub-1-cos_binary64_8020` `-1-add-sin_binary64_8019` `-1-add-cos_binary64_8018` `1-sub-sin_binary64_8017` `1-sub-cos_binary64_8016` `cos-sin-sum_binary64_8015` `log-E_binary64_8011` `log-pow_binary64_8010` `log-rec_binary64_8009` `log-div_binary64_8008` `log-prod_binary64_8007` `pow-base-0_binary64_8005` `unpow1/3_binary64_7988` `unpow3_binary64_7987` `unpow2_binary64_7986` `unpow1/2_binary64_7985` `pow-plus_binary64_7984` `exp-to-pow_binary64_7983` `pow-base-1_binary64_7981` `unpow0_binary64_7980` `unpow1_binary64_7979` `unpow-1_binary64_7978` `exp-lft-cube_binary64_7977` `exp-lft-sqr_binary64_7976` `exp-cbrt_binary64_7975` `exp-sqrt_binary64_7974` `exp-prod_binary64_7973` `div-exp_binary64_7972` `rec-exp_binary64_7971` `prod-exp_binary64_7970` `exp-diff_binary64_7969` `exp-neg_binary64_7968` `exp-sum_binary64_7967` `e-exp-1_binary64_7966` `exp-1-e_binary64_7964` `exp-0_binary64_7963` `rem-log-exp_binary64_7962` `rem-exp-log_binary64_7961` `cube-unmult_binary64_7958` `cube-mult_binary64_7951` `cube-div_binary64_7950` `cube-prod_binary64_7949` `cube-neg_binary64_7948` `rem-3cbrt-rft_binary64_7947` `rem-3cbrt-lft_binary64_7946` `rem-cbrt-cube_binary64_7945` `rem-cube-cbrt_binary64_7944` `sqr-abs_binary64_7936` `rem-sqrt-square_binary64_7934` `rem-square-sqrt_binary64_7933` `/-rgt-identity_binary64_7912` `-lft-identity_binary64_7910` `+-lft-identity_binary64_7905` `-inverses_binary64_7901` `+-inverses_binary64_7900` `lft-mult-inverse_binary64_7899` `rgt-mult-inverse_binary64_7898` `remove-double-div_binary64_7897` `pow-sqr_binary64_7894` `sqr-pow_binary64_7893` `difference-of-sqr--1_binary64_7892` `difference-of-sqr-1_binary64_7891` `difference-of-squares_binary64_7890` `unswap-sqr_binary64_7889` `distribute-rgt1-in_binary64_7877` `distribute-lft1-in_binary64_7876` `distribute-rgt-out--_binary64_7875` `distribute-lft-out--_binary64_7873` `count-2_binary64_7869` `associate--l-_binary64_7859` `associate--l+_binary64_7858`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	112
1	80	112
2	212	112
3	563	112
4	1277	112
5	2337	112
6	4739	112
7	5061	112
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
12.5%	87.3%	0.2%	7
15.6%	84.2%	0.2%	8
28.1%	71.7%	0.2%	9
37.4%	62.4%	0.2%	10
43.7%	56.1%	0.2%	11
53%	46.8%	0.2%	12
64.1%	35.6%	0.3%	13
66.7%	32.8%	0.5%	14

Symmetry

(sort z t)

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample27.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
0.0ms	13×	body	128	invalid

Compiler

Compiled 23 to 25 computations (-8.7% saved)

simplify165.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1286×	`div-sub_binary64_7926`
719×	`unsub-neg_binary64_7915`
499×	`sub-neg_binary64_7914`
472×	`neg-sub0_binary64_7916`
443×	`neg-mul-1_binary64_7917`
433×	`*-commutative_binary64_7852`
365×	`associate-/l/_binary64_7868`
327×	`times-frac_binary64_7927`
310×	`distribute-lft-neg-in_binary64_7878`
309×	`distribute-frac-neg_binary64_7884` `distribute-neg-in_binary64_7882`
269×	`associate-/r*_binary64_7865`
258×	`distribute-neg-frac_binary64_7885`
254×	`associate-/l*_binary64_7866`
253×	`distribute-neg-out_binary64_7883`
207×	`distribute-rgt-neg-in_binary64_7879`
194×	`distribute-rgt-neg-out_binary64_7881`
192×	`+-commutative_binary64_7851`
190×	`distribute-rgt-in_binary64_7871`
186×	`associate--r+_binary64_7857`
158×	`distribute-lft-neg-out_binary64_7880`
144×	`associate--r-_binary64_7860`
137×	`cancel-sign-sub-inv_binary64_7887`
134×	`remove-double-neg_binary64_7909`
126×	`distribute-lft-in_binary64_7870`
102×	`associate-+l-_binary64_7856`
100×	`/-rgt-identity_binary64_7912`
89×	`associate-+l+_binary64_7854`
84×	`distribute-lft-out--_binary64_7873`
83×	`associate-r_binary64_7861` `associate-+r-_binary64_7855`
77×	`associate-+r+_binary64_7853`
65×	`associate-l_binary64_7862`
62×	`associate--l+_binary64_7858`
60×	`div0_binary64_7902`
53×	`distribute-rgt-out--_binary64_7875`
51×	`associate-/r/_binary64_7867`
47×	`remove-double-div_binary64_7897`
45×	`distribute-rgt-out_binary64_7874`
41×	`*-rgt-identity_binary64_7911`
35×	`distribute-lft-out_binary64_7872`
33×	`sub0-neg_binary64_7908`
30×	`associate--l-_binary64_7859`
25×	`associate-*l/_binary64_7864`
21×	`*-lft-identity_binary64_7910`
20×	`mul0-rgt_binary64_7904`
18×	`mul0-lft_binary64_7903`
17×	`associate-*r/_binary64_7863`
15×	`--rgt-identity_binary64_7907`
14×	`cancel-sign-sub_binary64_7886`
12×	`mul-1-neg_binary64_7913`
5×	`+-rgt-identity_binary64_7906`
2×	`swap-sqr_binary64_7888` `distribute-rgt1-in_binary64_7877`
1×	`1-exp_binary64_7965` `sqr-neg_binary64_7935`
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_8184` `erf-erfc_binary64_8183` `erf-odd_binary64_8182` `if-if-and-not_binary64_8181` `if-if-and_binary64_8180` `if-if-or-not_binary64_8179` `if-if-or_binary64_8178` `if-not_binary64_8177` `if-same_binary64_8176` `if-false_binary64_8175` `if-true_binary64_8174` `not-gte_binary64_8173` `not-lte_binary64_8172` `not-gt_binary64_8171` `not-lt_binary64_8170` `gte-same_binary64_8169` `lte-same_binary64_8168` `gt-same_binary64_8167` `lt-same_binary64_8166` `sinh---cosh_binary64_8113` `sinh-+-cosh_binary64_8112` `sinh-cosh_binary64_8111` `tanh-def-c_binary64_8110` `tanh-def-b_binary64_8109` `tanh-def-a_binary64_8108` `cosh-def_binary64_8107` `sinh-def_binary64_8106` `tan-neg_binary64_8053` `cos-neg_binary64_8052` `sin-neg_binary64_8051` `tan-0_binary64_8050` `cos-0_binary64_8049` `sin-0_binary64_8048` `hang-m-tan_binary64_8047` `hang-p-tan_binary64_8046` `hang-m0-tan_binary64_8045` `hang-p0-tan_binary64_8044` `hang-0m-tan_binary64_8043` `hang-0p-tan_binary64_8042` `tan-+PI/2_binary64_8041` `tan-+PI_binary64_8040` `tan-PI_binary64_8039` `tan-PI/3_binary64_8038` `tan-PI/4_binary64_8037` `tan-PI/6_binary64_8036` `cos-+PI/2_binary64_8035` `cos-+PI_binary64_8034` `cos-PI_binary64_8033` `cos-PI/2_binary64_8032` `cos-PI/3_binary64_8031` `cos-PI/4_binary64_8030` `cos-PI/6_binary64_8029` `sin-+PI/2_binary64_8028` `sin-+PI_binary64_8027` `sin-PI_binary64_8026` `sin-PI/2_binary64_8025` `sin-PI/3_binary64_8024` `sin-PI/4_binary64_8023` `sin-PI/6_binary64_8022` `sub-1-sin_binary64_8021` `sub-1-cos_binary64_8020` `-1-add-sin_binary64_8019` `-1-add-cos_binary64_8018` `1-sub-sin_binary64_8017` `1-sub-cos_binary64_8016` `cos-sin-sum_binary64_8015` `log-E_binary64_8011` `log-pow_binary64_8010` `log-rec_binary64_8009` `log-div_binary64_8008` `log-prod_binary64_8007` `pow-base-0_binary64_8005` `unpow1/3_binary64_7988` `unpow3_binary64_7987` `unpow2_binary64_7986` `unpow1/2_binary64_7985` `pow-plus_binary64_7984` `exp-to-pow_binary64_7983` `pow-base-1_binary64_7981` `unpow0_binary64_7980` `unpow1_binary64_7979` `unpow-1_binary64_7978` `exp-lft-cube_binary64_7977` `exp-lft-sqr_binary64_7976` `exp-cbrt_binary64_7975` `exp-sqrt_binary64_7974` `exp-prod_binary64_7973` `div-exp_binary64_7972` `rec-exp_binary64_7971` `prod-exp_binary64_7970` `exp-diff_binary64_7969` `exp-neg_binary64_7968` `exp-sum_binary64_7967` `e-exp-1_binary64_7966` `exp-1-e_binary64_7964` `exp-0_binary64_7963` `rem-log-exp_binary64_7962` `rem-exp-log_binary64_7961` `cube-unmult_binary64_7958` `cube-mult_binary64_7951` `cube-div_binary64_7950` `cube-prod_binary64_7949` `cube-neg_binary64_7948` `rem-3cbrt-rft_binary64_7947` `rem-3cbrt-lft_binary64_7946` `rem-cbrt-cube_binary64_7945` `rem-cube-cbrt_binary64_7944` `sqr-abs_binary64_7936` `rem-sqrt-square_binary64_7934` `rem-square-sqrt_binary64_7933` `+-lft-identity_binary64_7905` `*-inverses_binary64_7901` `+-inverses_binary64_7900` `lft-mult-inverse_binary64_7899` `rgt-mult-inverse_binary64_7898` `pow-sqr_binary64_7894` `sqr-pow_binary64_7893` `difference-of-sqr--1_binary64_7892` `difference-of-sqr-1_binary64_7891` `difference-of-squares_binary64_7890` `unswap-sqr_binary64_7889` `distribute-lft1-in_binary64_7876` `count-2_binary64_7869`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	22	16
2	50	16
3	114	16
4	267	16
5	485	16
6	1022	16
7	2057	16
8	3037	16
9	3202	16
10	3414	16
11	3635	16
12	3718	16
13	4884	16
14	4496	16
15	4758	16
16	5014	16

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.6b

Counts

1 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite137.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`cancel-sign-sub-inv_binary64_7887`
20×	`add-sqr-sqrt_binary64_7943`
19×	`flip3--_binary64_7925` `flip--_binary64_7896`
18×	`*-un-lft-identity_binary64_7921`
16×	`associate-/r/_binary64_7867`
12×	`frac-times_binary64_7931`
11×	`add-cube-cbrt_binary64_7956`
10×	`add-exp-log_binary64_7959` `add-cbrt-cube_binary64_7957`
6×	`times-frac_binary64_7927` `associate-l/_binary64_7864` `associate-r/_binary64_7863`
5×	`pow1_binary64_7982` `add-log-exp_binary64_7960` `associate-l_binary64_7862` `associate-r_binary64_7861`
4×	`distribute-rgt-in_binary64_7871` `distribute-lft-in_binary64_7870` `difference-of-squares_binary64_7890`
3×	`associate-/l*_binary64_7866` `sub-neg_binary64_7914` `distribute-lft-out--_binary64_7873`
2×	`prod-exp_binary64_7970` `div-exp_binary64_7972` `cbrt-undiv_binary64_7955` `cbrt-unprod_binary64_7954` `div-inv_binary64_7918`
1×	`frac-2neg_binary64_7932` `clear-num_binary64_7920` `associate-/r_binary64_7865` `pow-prod-down_binary64_7992` `unswap-sqr_binary64_7889` `-commutative_binary64_7852` `diff-log_binary64_8013`

Counts

3 → 96

Calls

3 calls:

10.0ms	(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
10.0ms	(*.f64 (-.f64 y z) (-.f64 y t))
10.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))

Compiler

Compiled 2086 to 639 computations (69.4% saved)

series1.4s (8.6%)

Error

0.6b

Counts

3 → 70

Calls

3 calls:

616.0ms	(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
525.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
232.0ms	(*.f64 (-.f64 y z) (-.f64 y t))

Compiler

Compiled 4043 to 2638 computations (34.8% saved)

simplify133.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

343×	`cancel-sign-sub-inv_binary64_7887`
246×	`distribute-neg-frac_binary64_7885`
176×	`times-frac_binary64_7927`
172×	`sub-neg_binary64_7914`
168×	`associate-/r*_binary64_7865`
156×	`*-commutative_binary64_7852`
154×	`distribute-rgt-in_binary64_7871`
149×	`distribute-lft-in_binary64_7870`
146×	`neg-sub0_binary64_7916`
144×	`exp-prod_binary64_7973`
141×	`associate-/l*_binary64_7866`
138×	`associate-l_binary64_7862`
132×	`associate-r_binary64_7861`
128×	`neg-mul-1_binary64_7917`
101×	`distribute-neg-in_binary64_7882`
86×	`associate-*l/_binary64_7864`
77×	`+-commutative_binary64_7851`
74×	`unswap-sqr_binary64_7889`
68×	`associate-*r/_binary64_7863`
63×	`div-sub_binary64_7926`
46×	`sqr-pow_binary64_7893`
45×	`unsub-neg_binary64_7915`
42×	`distribute-rgt-neg-in_binary64_7879`
41×	`log-prod_binary64_8007`
38×	`distribute-lft-neg-out_binary64_7880`
31×	`exp-diff_binary64_7969`
27×	`distribute-rgt-neg-out_binary64_7881` `associate--l+_binary64_7858`
26×	`associate--r+_binary64_7857`
25×	`log-div_binary64_8008` `*-lft-identity_binary64_7910`
24×	`cube-prod_binary64_7949` `distribute-lft-neg-in_binary64_7878`
23×	`associate-+l+_binary64_7854`
22×	`unpow3_binary64_7987`
21×	`swap-sqr_binary64_7888`
20×	`*-rgt-identity_binary64_7911`
18×	`associate-/r/_binary64_7867`
16×	`distribute-neg-out_binary64_7883`
14×	`cube-div_binary64_7950` `associate-+r+_binary64_7853`
12×	`div0_binary64_7902`
11×	`exp-sum_binary64_7967` `/-rgt-identity_binary64_7912`
9×	`difference-of-squares_binary64_7890`
8×	`pow-plus_binary64_7984` `distribute-frac-neg_binary64_7884`
7×	`unpow1/2_binary64_7985`
6×	`rem-sqrt-square_binary64_7934`
5×	`log-pow_binary64_8010` `log-rec_binary64_8009` `unpow2_binary64_7986` `unpow1_binary64_7979` `cube-mult_binary64_7951` `mul-1-neg_binary64_7913` `distribute-rgt-out_binary64_7874`
3×	`cube-unmult_binary64_7958`
2×	`rem-3cbrt-lft_binary64_7946` `rem-square-sqrt_binary64_7933` `remove-double-neg_binary64_7909` `pow-sqr_binary64_7894` `distribute-rgt1-in_binary64_7877` `distribute-rgt-out--_binary64_7875` `distribute-lft-out--_binary64_7873`
1×	`div-exp_binary64_7972` `1-exp_binary64_7965` `exp-1-e_binary64_7964` `+-rgt-identity_binary64_7906` `associate-/l/_binary64_7868` `associate-+r-_binary64_7855`
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_8184` `erf-erfc_binary64_8183` `erf-odd_binary64_8182` `if-if-and-not_binary64_8181` `if-if-and_binary64_8180` `if-if-or-not_binary64_8179` `if-if-or_binary64_8178` `if-not_binary64_8177` `if-same_binary64_8176` `if-false_binary64_8175` `if-true_binary64_8174` `not-gte_binary64_8173` `not-lte_binary64_8172` `not-gt_binary64_8171` `not-lt_binary64_8170` `gte-same_binary64_8169` `lte-same_binary64_8168` `gt-same_binary64_8167` `lt-same_binary64_8166` `sinh---cosh_binary64_8113` `sinh-+-cosh_binary64_8112` `sinh-cosh_binary64_8111` `tanh-def-c_binary64_8110` `tanh-def-b_binary64_8109` `tanh-def-a_binary64_8108` `cosh-def_binary64_8107` `sinh-def_binary64_8106` `tan-neg_binary64_8053` `cos-neg_binary64_8052` `sin-neg_binary64_8051` `tan-0_binary64_8050` `cos-0_binary64_8049` `sin-0_binary64_8048` `hang-m-tan_binary64_8047` `hang-p-tan_binary64_8046` `hang-m0-tan_binary64_8045` `hang-p0-tan_binary64_8044` `hang-0m-tan_binary64_8043` `hang-0p-tan_binary64_8042` `tan-+PI/2_binary64_8041` `tan-+PI_binary64_8040` `tan-PI_binary64_8039` `tan-PI/3_binary64_8038` `tan-PI/4_binary64_8037` `tan-PI/6_binary64_8036` `cos-+PI/2_binary64_8035` `cos-+PI_binary64_8034` `cos-PI_binary64_8033` `cos-PI/2_binary64_8032` `cos-PI/3_binary64_8031` `cos-PI/4_binary64_8030` `cos-PI/6_binary64_8029` `sin-+PI/2_binary64_8028` `sin-+PI_binary64_8027` `sin-PI_binary64_8026` `sin-PI/2_binary64_8025` `sin-PI/3_binary64_8024` `sin-PI/4_binary64_8023` `sin-PI/6_binary64_8022` `sub-1-sin_binary64_8021` `sub-1-cos_binary64_8020` `-1-add-sin_binary64_8019` `-1-add-cos_binary64_8018` `1-sub-sin_binary64_8017` `1-sub-cos_binary64_8016` `cos-sin-sum_binary64_8015` `log-E_binary64_8011` `pow-base-0_binary64_8005` `unpow1/3_binary64_7988` `exp-to-pow_binary64_7983` `pow-base-1_binary64_7981` `unpow0_binary64_7980` `unpow-1_binary64_7978` `exp-lft-cube_binary64_7977` `exp-lft-sqr_binary64_7976` `exp-cbrt_binary64_7975` `exp-sqrt_binary64_7974` `rec-exp_binary64_7971` `prod-exp_binary64_7970` `exp-neg_binary64_7968` `e-exp-1_binary64_7966` `exp-0_binary64_7963` `rem-log-exp_binary64_7962` `rem-exp-log_binary64_7961` `cube-neg_binary64_7948` `rem-3cbrt-rft_binary64_7947` `rem-cbrt-cube_binary64_7945` `rem-cube-cbrt_binary64_7944` `sqr-abs_binary64_7936` `sqr-neg_binary64_7935` `sub0-neg_binary64_7908` `--rgt-identity_binary64_7907` `+-lft-identity_binary64_7905` `mul0-rgt_binary64_7904` `mul0-lft_binary64_7903` `*-inverses_binary64_7901` `+-inverses_binary64_7900` `lft-mult-inverse_binary64_7899` `rgt-mult-inverse_binary64_7898` `remove-double-div_binary64_7897` `difference-of-sqr--1_binary64_7892` `difference-of-sqr-1_binary64_7891` `cancel-sign-sub_binary64_7886` `distribute-lft1-in_binary64_7876` `distribute-lft-out_binary64_7872` `count-2_binary64_7869` `associate--r-_binary64_7860` `associate--l-_binary64_7859` `associate-+l-_binary64_7856`

Counts

166 → 117

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	272	3486
1	821	3354
2	3257	3348
3	4815	3348
4	4972	3348

prune124.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	112	5	117
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	112	6	118

Error

0.0b

Counts

118 → 6

Compiler

Compiled 2279 to 721 computations (68.4% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 x (-.f64 y t))
0.0b	(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
0.6b	(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
3.1b	(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))

rewrite2.1s (12.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

2154×	`times-frac_binary64_7927`
1412×	`add-sqr-sqrt_binary64_7943`
1389×	`*-un-lft-identity_binary64_7921`
781×	`add-cube-cbrt_binary64_7956`
335×	`cancel-sign-sub-inv_binary64_7887`
310×	`difference-of-squares_binary64_7890`
298×	`distribute-lft-out--_binary64_7873`
136×	`associate-/r*_binary64_7865`
94×	`associate-/r/_binary64_7867`
53×	`div-inv_binary64_7918`
44×	`flip3--_binary64_7925` `flip--_binary64_7896`
32×	`add-exp-log_binary64_7959`
20×	`add-cbrt-cube_binary64_7957`
19×	`div-exp_binary64_7972`
11×	`associate-/l*_binary64_7866`
10×	`cbrt-undiv_binary64_7955`
6×	`add-log-exp_binary64_7960`
5×	`pow1_binary64_7982`
3×	`frac-2neg_binary64_7932` `clear-num_binary64_7920` `1-exp_binary64_7965` `rec-exp_binary64_7971`
2×	`associate-/l/_binary64_7868`
1×	`div-sub_binary64_7926` `inv-pow_binary64_8006` `pow-flip_binary64_7995` `diff-log_binary64_8013` `sub-neg_binary64_7914`

Counts

4 → 1016

Calls

4 calls:

134.0ms	(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
28.0ms	(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
16.0ms	(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
6.0ms	(/.f64 x (-.f64 y t))

Compiler

Compiled 31014 to 10965 computations (64.6% saved)

series1.8s (10.8%)

Error

0.0b

Counts

4 → 88

Calls

4 calls:

591.0ms	(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
527.0ms	(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
453.0ms	(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
140.0ms	(/.f64 x (-.f64 y t))

Compiler

Compiled 5174 to 3415 computations (34% saved)

simplify814.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

868×	`times-frac_binary64_7927`
393×	`associate-/r/_binary64_7867`
332×	`neg-sub0_binary64_7916`
329×	`neg-mul-1_binary64_7917`
277×	`sub-neg_binary64_7914`
183×	`div-sub_binary64_7926`
181×	`*-commutative_binary64_7852`
159×	`associate-*r/_binary64_7863`
146×	`distribute-neg-frac_binary64_7885` `distribute-lft-neg-out_binary64_7880`
119×	`associate-/l*_binary64_7866`
72×	`*-rgt-identity_binary64_7911`
37×	`+-commutative_binary64_7851`
31×	`associate-/r*_binary64_7865`
23×	`exp-prod_binary64_7973`
20×	`remove-double-div_binary64_7897`
18×	`log-div_binary64_8008` `sqr-pow_binary64_7893`
17×	`cube-prod_binary64_7949`
16×	`cube-div_binary64_7950`
15×	`log-prod_binary64_8007`
14×	`/-rgt-identity_binary64_7912`
10×	`mul-1-neg_binary64_7913` `associate--r+_binary64_7857`
9×	`associate--l+_binary64_7858`
7×	`unpow3_binary64_7987` `associate-+r+_binary64_7853`
6×	`log-rec_binary64_8009` `cube-mult_binary64_7951` `rem-sqrt-square_binary64_7934` `associate-/l/_binary64_7868` `associate-l_binary64_7862`
5×	`unpow2_binary64_7986` `unpow1/2_binary64_7985` `unpow1_binary64_7979` `exp-diff_binary64_7969` `associate-*l/_binary64_7864`
4×	`exp-sum_binary64_7967` `distribute-rgt-out_binary64_7874`
3×	`cube-unmult_binary64_7958` `associate-r_binary64_7861` `associate--r-_binary64_7860`
2×	`log-pow_binary64_8010` `pow-plus_binary64_7984` `unsub-neg_binary64_7915` `cancel-sign-sub-inv_binary64_7887` `distribute-rgt-in_binary64_7871` `distribute-lft-in_binary64_7870`
1×	`div-exp_binary64_7972` `1-exp_binary64_7965` `exp-1-e_binary64_7964` `rem-3cbrt-lft_binary64_7946` `rem-square-sqrt_binary64_7933` `*-lft-identity_binary64_7910` `sub0-neg_binary64_7908` `pow-sqr_binary64_7894` `difference-of-squares_binary64_7890` `distribute-neg-in_binary64_7882` `distribute-rgt-neg-in_binary64_7879` `distribute-lft-neg-in_binary64_7878`
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_8184` `erf-erfc_binary64_8183` `erf-odd_binary64_8182` `if-if-and-not_binary64_8181` `if-if-and_binary64_8180` `if-if-or-not_binary64_8179` `if-if-or_binary64_8178` `if-not_binary64_8177` `if-same_binary64_8176` `if-false_binary64_8175` `if-true_binary64_8174` `not-gte_binary64_8173` `not-lte_binary64_8172` `not-gt_binary64_8171` `not-lt_binary64_8170` `gte-same_binary64_8169` `lte-same_binary64_8168` `gt-same_binary64_8167` `lt-same_binary64_8166` `sinh---cosh_binary64_8113` `sinh-+-cosh_binary64_8112` `sinh-cosh_binary64_8111` `tanh-def-c_binary64_8110` `tanh-def-b_binary64_8109` `tanh-def-a_binary64_8108` `cosh-def_binary64_8107` `sinh-def_binary64_8106` `tan-neg_binary64_8053` `cos-neg_binary64_8052` `sin-neg_binary64_8051` `tan-0_binary64_8050` `cos-0_binary64_8049` `sin-0_binary64_8048` `hang-m-tan_binary64_8047` `hang-p-tan_binary64_8046` `hang-m0-tan_binary64_8045` `hang-p0-tan_binary64_8044` `hang-0m-tan_binary64_8043` `hang-0p-tan_binary64_8042` `tan-+PI/2_binary64_8041` `tan-+PI_binary64_8040` `tan-PI_binary64_8039` `tan-PI/3_binary64_8038` `tan-PI/4_binary64_8037` `tan-PI/6_binary64_8036` `cos-+PI/2_binary64_8035` `cos-+PI_binary64_8034` `cos-PI_binary64_8033` `cos-PI/2_binary64_8032` `cos-PI/3_binary64_8031` `cos-PI/4_binary64_8030` `cos-PI/6_binary64_8029` `sin-+PI/2_binary64_8028` `sin-+PI_binary64_8027` `sin-PI_binary64_8026` `sin-PI/2_binary64_8025` `sin-PI/3_binary64_8024` `sin-PI/4_binary64_8023` `sin-PI/6_binary64_8022` `sub-1-sin_binary64_8021` `sub-1-cos_binary64_8020` `-1-add-sin_binary64_8019` `-1-add-cos_binary64_8018` `1-sub-sin_binary64_8017` `1-sub-cos_binary64_8016` `cos-sin-sum_binary64_8015` `log-E_binary64_8011` `pow-base-0_binary64_8005` `unpow1/3_binary64_7988` `exp-to-pow_binary64_7983` `pow-base-1_binary64_7981` `unpow0_binary64_7980` `unpow-1_binary64_7978` `exp-lft-cube_binary64_7977` `exp-lft-sqr_binary64_7976` `exp-cbrt_binary64_7975` `exp-sqrt_binary64_7974` `rec-exp_binary64_7971` `prod-exp_binary64_7970` `exp-neg_binary64_7968` `e-exp-1_binary64_7966` `exp-0_binary64_7963` `rem-log-exp_binary64_7962` `rem-exp-log_binary64_7961` `cube-neg_binary64_7948` `rem-3cbrt-rft_binary64_7947` `rem-cbrt-cube_binary64_7945` `rem-cube-cbrt_binary64_7944` `sqr-abs_binary64_7936` `sqr-neg_binary64_7935` `remove-double-neg_binary64_7909` `--rgt-identity_binary64_7907` `+-rgt-identity_binary64_7906` `+-lft-identity_binary64_7905` `mul0-rgt_binary64_7904` `mul0-lft_binary64_7903` `div0_binary64_7902` `*-inverses_binary64_7901` `+-inverses_binary64_7900` `lft-mult-inverse_binary64_7899` `rgt-mult-inverse_binary64_7898` `difference-of-sqr--1_binary64_7892` `difference-of-sqr-1_binary64_7891` `unswap-sqr_binary64_7889` `swap-sqr_binary64_7888` `cancel-sign-sub_binary64_7886` `distribute-frac-neg_binary64_7884` `distribute-neg-out_binary64_7883` `distribute-rgt-neg-out_binary64_7881` `distribute-rgt1-in_binary64_7877` `distribute-lft1-in_binary64_7876` `distribute-rgt-out--_binary64_7875` `distribute-lft-out--_binary64_7873` `distribute-lft-out_binary64_7872` `count-2_binary64_7869` `associate--l-_binary64_7859` `associate-+l-_binary64_7856` `associate-+r-_binary64_7855` `associate-+l+_binary64_7854`

Counts

1104 → 953

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1011	38379
1	3333	37463
2	4857	37463
3	5745	37463

prune1.2s (7.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	949	4	953
Fresh	3	1	4
Picked	0	1	1
Done	1	0	1
Total	953	6	959

Error

Counts

959 → 6

Compiler

Compiled 24928 to 6894 computations (72.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite185.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

36×	`add-exp-log_binary64_7959`
21×	`add-sqr-sqrt_binary64_7943`
20×	`add-cbrt-cube_binary64_7957` `associate-r_binary64_7861`
19×	`flip3--_binary64_7925` `flip--_binary64_7896`
17×	`*-un-lft-identity_binary64_7921`
16×	`associate-/r/_binary64_7867`
14×	`prod-exp_binary64_7970`
13×	`add-cube-cbrt_binary64_7956`
12×	`frac-times_binary64_7931`
11×	`pow1_binary64_7982`
8×	`div-exp_binary64_7972` `associate-l_binary64_7862`
7×	`associate-*r/_binary64_7863` `cancel-sign-sub-inv_binary64_7887`
6×	`add-log-exp_binary64_7960` `cbrt-unprod_binary64_7954` `times-frac_binary64_7927` `associate-*l/_binary64_7864`
4×	`1-exp_binary64_7965` `rec-exp_binary64_7971` `cbrt-undiv_binary64_7955` `distribute-rgt-in_binary64_7871` `distribute-lft-in_binary64_7870`
3×	`pow-prod-down_binary64_7992` `associate-/l*_binary64_7866` `sub-neg_binary64_7914`
2×	`unswap-sqr_binary64_7889` `div-inv_binary64_7918` `*-commutative_binary64_7852` `pow-flip_binary64_7995` `difference-of-squares_binary64_7890` `distribute-lft-out--_binary64_7873`
1×	`un-div-inv_binary64_7919` `inv-pow_binary64_8006` `frac-2neg_binary64_7932` `clear-num_binary64_7920` `associate-/r*_binary64_7865` `diff-log_binary64_8013`

Counts

4 → 126

Calls

4 calls:

16.0ms	(.f64 x (/.f64 1 (.f64 (-.f64 y t) (-.f64 y z))))
11.0ms	(*.f64 (-.f64 y t) (-.f64 y z))
10.0ms	(/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))
6.0ms	(-.f64 1 (.f64 x (/.f64 1 (.f64 (-.f64 y t) (-.f64 y z)))))

Compiler

Compiled 2854 to 1156 computations (59.5% saved)

series1.8s (10.8%)

Error

Counts

4 → 88

Calls

4 calls:

630.0ms	(-.f64 1 (.f64 x (/.f64 1 (.f64 (-.f64 y t) (-.f64 y z)))))
523.0ms	(.f64 x (/.f64 1 (.f64 (-.f64 y t) (-.f64 y z))))
341.0ms	(/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))
224.0ms	(*.f64 (-.f64 y t) (-.f64 y z))

Compiler

Compiled 5586 to 3740 computations (33% saved)

simplify186.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

479×	`cancel-sign-sub-inv_binary64_7887`
263×	`distribute-neg-frac_binary64_7885`
249×	`times-frac_binary64_7927`
233×	`associate-/r*_binary64_7865`
224×	`exp-prod_binary64_7973`
202×	`associate-/l*_binary64_7866`
182×	`associate-l_binary64_7862`
170×	`sub-neg_binary64_7914`
147×	`associate-r_binary64_7861`
133×	`*-commutative_binary64_7852`
102×	`neg-sub0_binary64_7916`
99×	`+-commutative_binary64_7851`
98×	`neg-mul-1_binary64_7917`
96×	`distribute-rgt-in_binary64_7871`
89×	`distribute-lft-in_binary64_7870`
78×	`associate-*r/_binary64_7863`
77×	`unswap-sqr_binary64_7889`
56×	`associate-*l/_binary64_7864`
54×	`div-sub_binary64_7926`
53×	`sqr-pow_binary64_7893`
49×	`distribute-neg-in_binary64_7882`
47×	`exp-sum_binary64_7967`
45×	`/-rgt-identity_binary64_7912`
44×	`log-prod_binary64_8007`
43×	`*-lft-identity_binary64_7910`
40×	`*-rgt-identity_binary64_7911`
38×	`distribute-rgt-neg-in_binary64_7879`
36×	`unsub-neg_binary64_7915`
34×	`cube-div_binary64_7950` `associate--r+_binary64_7857`
32×	`log-div_binary64_8008` `cube-prod_binary64_7949`
31×	`associate--l+_binary64_7858` `associate-+l+_binary64_7854`
30×	`exp-diff_binary64_7969` `distribute-lft-neg-in_binary64_7878`
27×	`associate-/r/_binary64_7867`
22×	`associate-+r+_binary64_7853`
21×	`swap-sqr_binary64_7888`
19×	`unpow3_binary64_7987`
12×	`associate-+r-_binary64_7855`
11×	`cube-mult_binary64_7951`
9×	`difference-of-squares_binary64_7890` `distribute-lft-neg-out_binary64_7880`
8×	`unpow1/2_binary64_7985` `pow-plus_binary64_7984` `cube-unmult_binary64_7958`
7×	`log-rec_binary64_8009` `distribute-rgt-out_binary64_7874`
6×	`log-pow_binary64_8010` `distribute-rgt-neg-out_binary64_7881`
5×	`unpow2_binary64_7986` `unpow1_binary64_7979` `rem-sqrt-square_binary64_7934` `mul-1-neg_binary64_7913`
4×	`associate-+l-_binary64_7856`
3×	`+-rgt-identity_binary64_7906` `div0_binary64_7902` `pow-sqr_binary64_7894` `associate-/l/_binary64_7868`
2×	`remove-double-neg_binary64_7909` `+-lft-identity_binary64_7905` `distribute-rgt1-in_binary64_7877` `distribute-rgt-out--_binary64_7875` `distribute-lft-out--_binary64_7873` `distribute-lft-out_binary64_7872`
1×	`unpow-1_binary64_7978` `div-exp_binary64_7972` `1-exp_binary64_7965` `exp-1-e_binary64_7964` `rem-3cbrt-lft_binary64_7946` `rem-square-sqrt_binary64_7933` `sub0-neg_binary64_7908`
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_8184` `erf-erfc_binary64_8183` `erf-odd_binary64_8182` `if-if-and-not_binary64_8181` `if-if-and_binary64_8180` `if-if-or-not_binary64_8179` `if-if-or_binary64_8178` `if-not_binary64_8177` `if-same_binary64_8176` `if-false_binary64_8175` `if-true_binary64_8174` `not-gte_binary64_8173` `not-lte_binary64_8172` `not-gt_binary64_8171` `not-lt_binary64_8170` `gte-same_binary64_8169` `lte-same_binary64_8168` `gt-same_binary64_8167` `lt-same_binary64_8166` `sinh---cosh_binary64_8113` `sinh-+-cosh_binary64_8112` `sinh-cosh_binary64_8111` `tanh-def-c_binary64_8110` `tanh-def-b_binary64_8109` `tanh-def-a_binary64_8108` `cosh-def_binary64_8107` `sinh-def_binary64_8106` `tan-neg_binary64_8053` `cos-neg_binary64_8052` `sin-neg_binary64_8051` `tan-0_binary64_8050` `cos-0_binary64_8049` `sin-0_binary64_8048` `hang-m-tan_binary64_8047` `hang-p-tan_binary64_8046` `hang-m0-tan_binary64_8045` `hang-p0-tan_binary64_8044` `hang-0m-tan_binary64_8043` `hang-0p-tan_binary64_8042` `tan-+PI/2_binary64_8041` `tan-+PI_binary64_8040` `tan-PI_binary64_8039` `tan-PI/3_binary64_8038` `tan-PI/4_binary64_8037` `tan-PI/6_binary64_8036` `cos-+PI/2_binary64_8035` `cos-+PI_binary64_8034` `cos-PI_binary64_8033` `cos-PI/2_binary64_8032` `cos-PI/3_binary64_8031` `cos-PI/4_binary64_8030` `cos-PI/6_binary64_8029` `sin-+PI/2_binary64_8028` `sin-+PI_binary64_8027` `sin-PI_binary64_8026` `sin-PI/2_binary64_8025` `sin-PI/3_binary64_8024` `sin-PI/4_binary64_8023` `sin-PI/6_binary64_8022` `sub-1-sin_binary64_8021` `sub-1-cos_binary64_8020` `-1-add-sin_binary64_8019` `-1-add-cos_binary64_8018` `1-sub-sin_binary64_8017` `1-sub-cos_binary64_8016` `cos-sin-sum_binary64_8015` `log-E_binary64_8011` `pow-base-0_binary64_8005` `unpow1/3_binary64_7988` `exp-to-pow_binary64_7983` `pow-base-1_binary64_7981` `unpow0_binary64_7980` `exp-lft-cube_binary64_7977` `exp-lft-sqr_binary64_7976` `exp-cbrt_binary64_7975` `exp-sqrt_binary64_7974` `rec-exp_binary64_7971` `prod-exp_binary64_7970` `exp-neg_binary64_7968` `e-exp-1_binary64_7966` `exp-0_binary64_7963` `rem-log-exp_binary64_7962` `rem-exp-log_binary64_7961` `cube-neg_binary64_7948` `rem-3cbrt-rft_binary64_7947` `rem-cbrt-cube_binary64_7945` `rem-cube-cbrt_binary64_7944` `sqr-abs_binary64_7936` `sqr-neg_binary64_7935` `--rgt-identity_binary64_7907` `mul0-rgt_binary64_7904` `mul0-lft_binary64_7903` `*-inverses_binary64_7901` `+-inverses_binary64_7900` `lft-mult-inverse_binary64_7899` `rgt-mult-inverse_binary64_7898` `remove-double-div_binary64_7897` `difference-of-sqr--1_binary64_7892` `difference-of-sqr-1_binary64_7891` `cancel-sign-sub_binary64_7886` `distribute-frac-neg_binary64_7884` `distribute-neg-out_binary64_7883` `distribute-lft1-in_binary64_7876` `count-2_binary64_7869` `associate--r-_binary64_7860` `associate--l-_binary64_7859`

Counts

214 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	314	4193
1	864	3977
2	3297	3955
3	4738	3955
4	4977	3955
5	5062	3955

prune145.0ms (0.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	157	6	163

Error

Counts

163 → 6

Compiler

Compiled 3133 to 1121 computations (64.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite354.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

106×	`add-exp-log_binary64_7959`
52×	`frac-times_binary64_7931`
49×	`prod-exp_binary64_7970`
43×	`flip3--_binary64_7925` `flip--_binary64_7896`
42×	`cancel-sign-sub-inv_binary64_7887`
38×	`associate-*r/_binary64_7863`
36×	`add-cbrt-cube_binary64_7957`
34×	`div-exp_binary64_7972` `associate-/r/_binary64_7867`
32×	`add-sqr-sqrt_binary64_7943`
31×	`*-un-lft-identity_binary64_7921`
23×	`add-cube-cbrt_binary64_7956`
20×	`distribute-rgt-in_binary64_7871` `distribute-lft-in_binary64_7870`
18×	`associate-l_binary64_7862`
17×	`pow1_binary64_7982` `1-exp_binary64_7965` `rec-exp_binary64_7971` `associate-*l/_binary64_7864`
15×	`times-frac_binary64_7927`
13×	`cbrt-unprod_binary64_7954`
9×	`cbrt-undiv_binary64_7955`
7×	`pow-prod-down_binary64_7992` `sub-neg_binary64_7914`
6×	`add-log-exp_binary64_7960` `associate-r_binary64_7861`
4×	`div-inv_binary64_7918` `difference-of-squares_binary64_7890` `distribute-lft-out--_binary64_7873`
3×	`pow-flip_binary64_7995` `associate-/l*_binary64_7866`
2×	`*-commutative_binary64_7852`
1×	`inv-pow_binary64_8006` `frac-2neg_binary64_7932` `clear-num_binary64_7920` `associate-/r*_binary64_7865` `unswap-sqr_binary64_7889` `diff-log_binary64_8013`

Counts

4 → 216

Calls

4 calls:

17.0ms	(/.f64 1 (.f64 (/.f64 1 x) (.f64 (-.f64 y t) (-.f64 y z))))
17.0ms	(-.f64 1 (/.f64 1 (.f64 (/.f64 1 x) (.f64 (-.f64 y t) (-.f64 y z)))))
16.0ms	(.f64 (/.f64 1 x) (.f64 (-.f64 y t) (-.f64 y z)))
10.0ms	(*.f64 (-.f64 y t) (-.f64 y z))

Compiler

Compiled 5627 to 2496 computations (55.6% saved)

series1.9s (11.3%)

Error

Counts

4 → 94

Calls

4 calls:

615.0ms	(-.f64 1 (/.f64 1 (.f64 (/.f64 1 x) (.f64 (-.f64 y t) (-.f64 y z)))))
514.0ms	(/.f64 1 (.f64 (/.f64 1 x) (.f64 (-.f64 y t) (-.f64 y z))))
457.0ms	(.f64 (/.f64 1 x) (.f64 (-.f64 y t) (-.f64 y z)))
217.0ms	(*.f64 (-.f64 y t) (-.f64 y z))

Compiler

Compiled 5475 to 3642 computations (33.5% saved)

simplify132.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

430×	`associate-r_binary64_7861`
328×	`associate-l_binary64_7862`
324×	`associate-/r*_binary64_7865`
277×	`times-frac_binary64_7927`
250×	`distribute-rgt-in_binary64_7871`
240×	`distribute-lft-in_binary64_7870`
208×	`associate-/l*_binary64_7866`
178×	`associate-*l/_binary64_7864`
137×	`*-commutative_binary64_7852`
127×	`associate-*r/_binary64_7863`
115×	`sub-neg_binary64_7914`
93×	`neg-sub0_binary64_7916`
90×	`neg-mul-1_binary64_7917`
77×	`associate-/r/_binary64_7867`
63×	`distribute-neg-frac_binary64_7885`
57×	`distribute-lft-neg-out_binary64_7880`
52×	`distribute-rgt-neg-in_binary64_7879`
50×	`cancel-sign-sub-inv_binary64_7887`
41×	`distribute-rgt-neg-out_binary64_7881`
38×	`associate-/l/_binary64_7868`
35×	`+-commutative_binary64_7851`
30×	`distribute-neg-in_binary64_7882`
29×	`distribute-lft-neg-in_binary64_7878`
21×	`sqr-pow_binary64_7893` `associate--r+_binary64_7857`
19×	`*-lft-identity_binary64_7910`
11×	`exp-prod_binary64_7973` `div-sub_binary64_7926` `swap-sqr_binary64_7888` `associate-+r+_binary64_7853`
9×	`log-div_binary64_8008` `log-prod_binary64_8007` `mul-1-neg_binary64_7913` `*-rgt-identity_binary64_7911` `associate--l+_binary64_7858`
8×	`cube-div_binary64_7950`
5×	`unpow3_binary64_7987` `unpow2_binary64_7986` `unpow1_binary64_7979` `distribute-rgt-out_binary64_7874`
4×	`cube-unmult_binary64_7958` `cube-mult_binary64_7951` `cube-prod_binary64_7949` `difference-of-squares_binary64_7890` `unswap-sqr_binary64_7889` `associate-+l-_binary64_7856`
3×	`log-rec_binary64_8009`
2×	`pow-plus_binary64_7984` `exp-sum_binary64_7967` `rem-3cbrt-lft_binary64_7946` `rem-square-sqrt_binary64_7933` `/-rgt-identity_binary64_7912` `remove-double-div_binary64_7897` `distribute-rgt1-in_binary64_7877` `distribute-rgt-out--_binary64_7875` `distribute-lft-out--_binary64_7873`
1×	`div-exp_binary64_7972` `exp-diff_binary64_7969` `1-exp_binary64_7965` `exp-1-e_binary64_7964` `sub0-neg_binary64_7908`
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_8184` `erf-erfc_binary64_8183` `erf-odd_binary64_8182` `if-if-and-not_binary64_8181` `if-if-and_binary64_8180` `if-if-or-not_binary64_8179` `if-if-or_binary64_8178` `if-not_binary64_8177` `if-same_binary64_8176` `if-false_binary64_8175` `if-true_binary64_8174` `not-gte_binary64_8173` `not-lte_binary64_8172` `not-gt_binary64_8171` `not-lt_binary64_8170` `gte-same_binary64_8169` `lte-same_binary64_8168` `gt-same_binary64_8167` `lt-same_binary64_8166` `sinh---cosh_binary64_8113` `sinh-+-cosh_binary64_8112` `sinh-cosh_binary64_8111` `tanh-def-c_binary64_8110` `tanh-def-b_binary64_8109` `tanh-def-a_binary64_8108` `cosh-def_binary64_8107` `sinh-def_binary64_8106` `tan-neg_binary64_8053` `cos-neg_binary64_8052` `sin-neg_binary64_8051` `tan-0_binary64_8050` `cos-0_binary64_8049` `sin-0_binary64_8048` `hang-m-tan_binary64_8047` `hang-p-tan_binary64_8046` `hang-m0-tan_binary64_8045` `hang-p0-tan_binary64_8044` `hang-0m-tan_binary64_8043` `hang-0p-tan_binary64_8042` `tan-+PI/2_binary64_8041` `tan-+PI_binary64_8040` `tan-PI_binary64_8039` `tan-PI/3_binary64_8038` `tan-PI/4_binary64_8037` `tan-PI/6_binary64_8036` `cos-+PI/2_binary64_8035` `cos-+PI_binary64_8034` `cos-PI_binary64_8033` `cos-PI/2_binary64_8032` `cos-PI/3_binary64_8031` `cos-PI/4_binary64_8030` `cos-PI/6_binary64_8029` `sin-+PI/2_binary64_8028` `sin-+PI_binary64_8027` `sin-PI_binary64_8026` `sin-PI/2_binary64_8025` `sin-PI/3_binary64_8024` `sin-PI/4_binary64_8023` `sin-PI/6_binary64_8022` `sub-1-sin_binary64_8021` `sub-1-cos_binary64_8020` `-1-add-sin_binary64_8019` `-1-add-cos_binary64_8018` `1-sub-sin_binary64_8017` `1-sub-cos_binary64_8016` `cos-sin-sum_binary64_8015` `log-E_binary64_8011` `log-pow_binary64_8010` `pow-base-0_binary64_8005` `unpow1/3_binary64_7988` `unpow1/2_binary64_7985` `exp-to-pow_binary64_7983` `pow-base-1_binary64_7981` `unpow0_binary64_7980` `unpow-1_binary64_7978` `exp-lft-cube_binary64_7977` `exp-lft-sqr_binary64_7976` `exp-cbrt_binary64_7975` `exp-sqrt_binary64_7974` `rec-exp_binary64_7971` `prod-exp_binary64_7970` `exp-neg_binary64_7968` `e-exp-1_binary64_7966` `exp-0_binary64_7963` `rem-log-exp_binary64_7962` `rem-exp-log_binary64_7961` `cube-neg_binary64_7948` `rem-3cbrt-rft_binary64_7947` `rem-cbrt-cube_binary64_7945` `rem-cube-cbrt_binary64_7944` `sqr-abs_binary64_7936` `sqr-neg_binary64_7935` `rem-sqrt-square_binary64_7934` `unsub-neg_binary64_7915` `remove-double-neg_binary64_7909` `--rgt-identity_binary64_7907` `+-rgt-identity_binary64_7906` `+-lft-identity_binary64_7905` `mul0-rgt_binary64_7904` `mul0-lft_binary64_7903` `div0_binary64_7902` `*-inverses_binary64_7901` `+-inverses_binary64_7900` `lft-mult-inverse_binary64_7899` `rgt-mult-inverse_binary64_7898` `pow-sqr_binary64_7894` `difference-of-sqr--1_binary64_7892` `difference-of-sqr-1_binary64_7891` `cancel-sign-sub_binary64_7886` `distribute-frac-neg_binary64_7884` `distribute-neg-out_binary64_7883` `distribute-lft1-in_binary64_7876` `distribute-lft-out_binary64_7872` `count-2_binary64_7869` `associate--r-_binary64_7860` `associate--l-_binary64_7859` `associate-+r-_binary64_7855` `associate-+l+_binary64_7854`

Counts

310 → 271

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	431	6497
1	1216	6193
2	5016	6193

prune250.0ms (1.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	271	0	271
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	271	6	277

Error

Counts

277 → 6

Compiler

Compiled 5518 to 1802 computations (67.3% saved)

regimes1.0s (6.3%)

Accuracy

Total 0.4b remaining (99.9%)

Threshold costs 0.4b (99.9%)

Compiler

Compiled 10977 to 8672 computations (21% saved)

bsearch0.0ms (0%)

simplify15.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`sub-neg_binary64_7914` `+-commutative_binary64_7851`
8×	`*-commutative_binary64_7852`
7×	`neg-mul-1_binary64_7917` `neg-sub0_binary64_7916`
3×	`distribute-rgt-neg-in_binary64_7879`
2×	`cancel-sign-sub-inv_binary64_7887` `distribute-neg-frac_binary64_7885` `distribute-lft-neg-in_binary64_7878`
1×	`1-exp_binary64_7965` `distribute-lft-neg-out_binary64_7880`
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_8181` `if-if-and_binary64_8180` `if-if-or-not_binary64_8179` `if-if-or_binary64_8178` `if-not_binary64_8177` `if-same_binary64_8176` `if-false_binary64_8175` `if-true_binary64_8174` `tan-0_binary64_8050` `cos-0_binary64_8049` `sin-0_binary64_8048` `unpow1_binary64_7979` `e-exp-1_binary64_7966` `exp-1-e_binary64_7964` `exp-0_binary64_7963` `sqr-abs_binary64_7936` `sqr-neg_binary64_7935` `unsub-neg_binary64_7915` `mul-1-neg_binary64_7913` `/-rgt-identity_binary64_7912` `-rgt-identity_binary64_7911` `-lft-identity_binary64_7910` `remove-double-neg_binary64_7909` `sub0-neg_binary64_7908` `--rgt-identity_binary64_7907` `+-rgt-identity_binary64_7906` `+-lft-identity_binary64_7905` `cancel-sign-sub_binary64_7886` `distribute-frac-neg_binary64_7884` `distribute-neg-out_binary64_7883` `distribute-neg-in_binary64_7882` `distribute-rgt-neg-out_binary64_7881`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	79
1	36	79
2	53	79
3	69	79
4	79	79
5	83	79
6	84	79
7	83	79

Remove

(sort z t)

Compiler

Compiled 98 to 56 computations (42.9% saved)

end0.0ms (0%)

sample1.9s (11.4%)

Algorithm

1×

intervals

Results

291.0ms	8000×	body	128	valid
15.0ms	452×	body	128	invalid

Compiler

Compiled 1545 to 1214 computations (21.4% saved)

Details

analyze807.0ms (4.9%)

sample27.0ms (0.2%)

simplify165.0ms (1%)

prune2.0ms (0%)

localize8.0ms (0%)

rewrite137.0ms (0.8%)

series1.4s (8.6%)

simplify133.0ms (0.8%)

prune124.0ms (0.7%)

localize9.0ms (0.1%)

rewrite2.1s (12.4%)

series1.8s (10.8%)

simplify814.0ms (4.9%)

prune1.2s (7.3%)

localize9.0ms (0.1%)

rewrite185.0ms (1.1%)

series1.8s (10.8%)

simplify186.0ms (1.1%)

prune145.0ms (0.9%)

localize12.0ms (0.1%)

rewrite354.0ms (2.1%)

series1.9s (11.3%)

simplify132.0ms (0.8%)

prune250.0ms (1.5%)

regimes1.0s (6.3%)

bsearch0.0ms (0%)

simplify15.0ms (0.1%)

end0.0ms (0%)

sample1.9s (11.4%)

Profiling