Details

analyze1.3s (9.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

539×	`associate--r+_binary64_8880`
527×	`cancel-sign-sub-inv_binary64_8910`
466×	`associate-+r+_binary64_8876`
420×	`sub-neg_binary64_8937`
386×	`unsub-neg_binary64_8938`
384×	`+-commutative_binary64_8874`
336×	`associate-+l+_binary64_8877`
309×	`associate--l+_binary64_8881`
305×	`distribute-neg-in_binary64_8905`
288×	`associate--r-_binary64_8883`
218×	`neg-mul-1_binary64_8940` `distribute-neg-out_binary64_8906`
175×	`neg-sub0_binary64_8939`
126×	`distribute-rgt-in_binary64_8894`
115×	`associate-+r-_binary64_8878`
94×	`distribute-rgt-neg-in_binary64_8902`
70×	`distribute-lft-in_binary64_8893`
65×	`--rgt-identity_binary64_8930`
59×	`associate-+l-_binary64_8879`
56×	`remove-double-neg_binary64_8932`
54×	`distribute-lft-neg-in_binary64_8901`
51×	`*-commutative_binary64_8875`
46×	`distribute-lft-neg-out_binary64_8903`
45×	`associate-r_binary64_8884`
43×	`sub0-neg_binary64_8931`
41×	`+-rgt-identity_binary64_8929`
30×	`associate--l-_binary64_8882`
20×	`distribute-rgt1-in_binary64_8900`
18×	`log-prod_binary64_9030` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926`
16×	`distribute-rgt-neg-out_binary64_8904`
10×	`associate-l_binary64_8885`
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` `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` `-rgt-identity_binary64_8934` `-lft-identity_binary64_8933` `+-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` `cancel-sign-sub_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `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	94	384
1	274	384
2	1043	384
3	2782	384
4	4384	384
5	4561	384
6	4998	384
7	4964	384
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	74.8%	25.2%	5
0%	74.8%	25.2%	6
0%	74.8%	25.2%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	62.3%	37.7%	10
0%	56.1%	43.9%	11
0%	56.1%	43.9%	12
1.6%	54.5%	43.9%	13
2.4%	53.7%	43.9%	14

Symmetry

(sort x y)

Compiler

Compiled 17 to 16 computations (5.9% saved)

sample46.0ms (0.3%)

Algorithm

1×

intervals

Results

15.0ms	255×	body	128	valid
2.0ms	36×	body	128	invalid
2.0ms	41×	body	128	nan
0.0ms	1×	body	512	valid

Compiler

Compiled 33 to 37 computations (-12.1% saved)

simplify440.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1270×	`associate--r-_binary64_8883`
946×	`sub-neg_binary64_8937`
658×	`unsub-neg_binary64_8938`
445×	`+-commutative_binary64_8874`
391×	`distribute-neg-in_binary64_8905`
370×	`distribute-rgt-in_binary64_8894`
310×	`associate--l-_binary64_8882`
255×	`neg-sub0_binary64_8939`
231×	`associate--l+_binary64_8881`
224×	`distribute-neg-out_binary64_8906`
221×	`neg-mul-1_binary64_8940`
210×	`*-commutative_binary64_8875`
181×	`associate-+l-_binary64_8879`
172×	`distribute-lft-out--_binary64_8896`
167×	`associate--r+_binary64_8880`
157×	`distribute-rgt-neg-in_binary64_8902`
146×	`distribute-lft-neg-in_binary64_8901`
138×	`distribute-lft-neg-out_binary64_8903` `associate-+r+_binary64_8876`
131×	`cancel-sign-sub-inv_binary64_8910`
128×	`associate-+l+_binary64_8877`
116×	`remove-double-neg_binary64_8932`
104×	`cancel-sign-sub_binary64_8909`
93×	`associate-+r-_binary64_8878`
89×	`distribute-lft-in_binary64_8893`
77×	`distribute-rgt-out--_binary64_8898`
68×	`*-lft-identity_binary64_8933`
62×	`mul-1-neg_binary64_8936`
59×	`sub0-neg_binary64_8931` `associate-l_binary64_8885`
43×	`distribute-rgt-neg-out_binary64_8904`
34×	`distribute-rgt-out_binary64_8897`
30×	`+-rgt-identity_binary64_8929`
26×	`distribute-lft-out_binary64_8895`
18×	`-rgt-identity_binary64_8934` `associate-r*_binary64_8884`
14×	`--rgt-identity_binary64_8930`
12×	`mul0-rgt_binary64_8927` `mul0-lft_binary64_8926`
2×	`distribute-rgt1-in_binary64_8900`
1×	`1-exp_binary64_8988` `+-lft-identity_binary64_8928`
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` `/-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` `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	24
1	35	24
2	97	24
3	249	24
4	684	24
5	1638	24
6	2045	24
7	2758	24
8	3074	24
9	3216	24
10	3000	24
11	3004	24
12	3100	24
13	3398	24
14	3491	24
15	3497	24
16	3497	24
17	3503	24
18	3509	24
19	3509	24
20	3527	24
21	3511	24
22	3511	24
23	4539	24
24	3780	24
25	3765	24
26	3765	24
27	3765	24
28	3765	24
29	3701	24

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

Counts

1 → 1

Compiler

Compiled 16 to 15 computations (6.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite171.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

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

Counts

4 → 90

Calls

4 calls:

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

Compiler

Compiled 2397 to 796 computations (66.8% saved)

series1.8s (13.5%)

Error

0.1b

Counts

4 → 69

Calls

4 calls:

925.0ms	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (.f64 z (log.f64 t))) (.f64 (-.f64 a 1/2) b))
498.0ms	(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
190.0ms	(*.f64 z (log.f64 t))
99.0ms	(*.f64 (-.f64 a 1/2) b)

Compiler

Compiled 2695 to 1968 computations (27% saved)

simplify125.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

439×	`associate--l+_binary64_8881`
263×	`associate--r+_binary64_8880`
232×	`exp-diff_binary64_8992`
193×	`distribute-rgt-in_binary64_8894`
187×	`distribute-lft-in_binary64_8893`
173×	`sub-neg_binary64_8937`
141×	`associate-l_binary64_8885`
135×	`distribute-rgt-neg-in_binary64_8902`
129×	`exp-prod_binary64_8996`
126×	`*-commutative_binary64_8875`
124×	`associate-r_binary64_8884`
115×	`associate-+r-_binary64_8878`
104×	`associate-+l-_binary64_8879` `associate-+l+_binary64_8877`
98×	`+-commutative_binary64_8874`
92×	`distribute-lft-neg-in_binary64_8901`
85×	`distribute-lft-neg-out_binary64_8903`
80×	`distribute-neg-in_binary64_8905`
70×	`exp-sum_binary64_8990`
68×	`associate--r-_binary64_8883`
67×	`associate-+r+_binary64_8876`
66×	`cancel-sign-sub-inv_binary64_8910`
63×	`log-prod_binary64_9030` `distribute-rgt-neg-out_binary64_8904`
57×	`neg-sub0_binary64_8939`
55×	`unsub-neg_binary64_8938`
52×	`neg-mul-1_binary64_8940`
44×	`distribute-rgt-out_binary64_8897`
38×	`div-exp_binary64_8995`
34×	`sqr-pow_binary64_8916`
32×	`prod-exp_binary64_8993`
28×	`cube-prod_binary64_8972`
27×	`-rgt-identity_binary64_8934` `associate-/l_binary64_8889`
25×	`cancel-sign-sub_binary64_8909` `distribute-rgt-out--_binary64_8898` `distribute-lft-out_binary64_8895`
24×	`*-lft-identity_binary64_8933`
20×	`associate--l-_binary64_8882`
19×	`times-frac_binary64_8950`
16×	`unswap-sqr_binary64_8912`
13×	`unpow3_binary64_9010`
12×	`swap-sqr_binary64_8911`
10×	`exp-to-pow_binary64_9006` `associate-l/_binary64_8887` `associate-r/_binary64_8886`
8×	`distribute-rgt1-in_binary64_8900` `associate-/r*_binary64_8888`
7×	`associate-/r/_binary64_8890`
6×	`remove-double-neg_binary64_8932` `+-rgt-identity_binary64_8929`
5×	`cube-mult_binary64_8974` `mul-1-neg_binary64_8936` `distribute-lft-out--_binary64_8896`
4×	`unpow1/2_binary64_9008` `sub0-neg_binary64_8931` `difference-of-squares_binary64_8913`
3×	`distribute-neg-out_binary64_8906`
2×	`log-div_binary64_9031` `pow-sqr_binary64_8917` `count-2_binary64_8892` `associate-/l/_binary64_8891`
1×	`log-rec_binary64_9032` `rec-exp_binary64_8994` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-exp-log_binary64_8984` `cube-unmult_binary64_8981` `cube-neg_binary64_8971` `sqr-neg_binary64_8958` `+-inverses_binary64_8923` `distribute-lft1-in_binary64_8899`
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` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow2_binary64_9009` `pow-plus_binary64_9007` `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-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-3cbrt-lft_binary64_8969` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `rem-sqrt-square_binary64_8957` `rem-square-sqrt_binary64_8956` `div-sub_binary64_8949` `/-rgt-identity_binary64_8935` `--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-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907`

Counts

159 → 132

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	244	2944
1	618	2798
2	2546	2736
3	4767	2736
4	5219	2736

prune160.0ms (1.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	123	9	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	124	9	133

Error

0.0b

Counts

133 → 9

Compiler

Compiled 2943 to 1125 computations (61.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(-.f64 (-.f64 (+.f64 (+.f64 z y) x) (.f64 z (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) z))
0.1b	(-.f64 (+.f64 (+.f64 z y) x) (*.f64 z (log.f64 (sqrt.f64 t))))
0.3b	(*.f64 z (log.f64 (sqrt.f64 t)))
0.3b	(*.f64 (log.f64 (sqrt.f64 t)) z)

rewrite176.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`add-log-exp_binary64_8983`
24×	`log-prod_binary64_9030`
20×	`add-sqr-sqrt_binary64_8966`
16×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944`
12×	`pow1_binary64_9005` `distribute-rgt-in_binary64_8894` `sqrt-prod_binary64_8960` `distribute-lft-in_binary64_8893` `associate--r+_binary64_8880`
10×	`diff-log_binary64_9036`
9×	`associate-l_binary64_8885` `associate-r_binary64_8884`
8×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980`
6×	`log-pow_binary64_9033` `sum-log_binary64_9035`
5×	`associate--l+_binary64_8881`
3×	`sub-neg_binary64_8937` `cancel-sign-sub-inv_binary64_8910`
2×	`pow-prod-down_binary64_9015` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `unswap-sqr_binary64_8912` `pow1/2_binary64_9024` `sqrt-pow1_binary64_8962` `*-commutative_binary64_8875` `flip3--_binary64_8948` `flip--_binary64_8919`
1×	`associate--l-_binary64_8882`

Counts

4 → 100

Calls

4 calls:

13.0ms	(-.f64 (-.f64 (+.f64 (+.f64 z y) x) (.f64 z (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) z))
12.0ms	(-.f64 (+.f64 (+.f64 z y) x) (*.f64 z (log.f64 (sqrt.f64 t))))
8.0ms	(*.f64 z (log.f64 (sqrt.f64 t)))
5.0ms	(*.f64 (log.f64 (sqrt.f64 t)) z)

Compiler

Compiled 3092 to 808 computations (73.9% saved)

series1.4s (10.7%)

Error

Counts

4 → 54

Calls

4 calls:

551.0ms	(-.f64 (-.f64 (+.f64 (+.f64 z y) x) (.f64 z (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) z))
503.0ms	(-.f64 (+.f64 (+.f64 z y) x) (*.f64 z (log.f64 (sqrt.f64 t))))
160.0ms	(*.f64 (log.f64 (sqrt.f64 t)) z)
155.0ms	(*.f64 z (log.f64 (sqrt.f64 t)))

Compiler

Compiled 2968 to 2008 computations (32.3% saved)

simplify111.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

687×	`distribute-rgt-in_binary64_8894`
654×	`distribute-lft-in_binary64_8893`
364×	`associate-+l+_binary64_8877`
294×	`cancel-sign-sub-inv_binary64_8910`
214×	`associate--l+_binary64_8881`
150×	`distribute-rgt-neg-in_binary64_8902`
149×	`exp-sum_binary64_8990`
129×	`associate-r_binary64_8884`
114×	`associate-l_binary64_8885`
113×	`sub-neg_binary64_8937`
104×	`distribute-lft-neg-in_binary64_8901`
72×	`*-commutative_binary64_8875`
63×	`exp-prod_binary64_8996`
61×	`associate-+l-_binary64_8879` `+-commutative_binary64_8874`
50×	`times-frac_binary64_8950`
45×	`exp-diff_binary64_8992`
44×	`div-exp_binary64_8995` `distribute-rgt-out_binary64_8897`
41×	`neg-sub0_binary64_8939`
40×	`unsub-neg_binary64_8938`
38×	`neg-mul-1_binary64_8940`
37×	`associate-/l*_binary64_8889` `associate--r+_binary64_8880`
30×	`associate-+r-_binary64_8878`
29×	`*-rgt-identity_binary64_8934`
28×	`distribute-lft-neg-out_binary64_8903`
25×	`sqr-pow_binary64_8916`
19×	`-lft-identity_binary64_8933` `distribute-rgt-out--_binary64_8898` `associate-/r_binary64_8888`
17×	`prod-exp_binary64_8993`
15×	`associate-+r+_binary64_8876`
12×	`log-prod_binary64_9030`
10×	`distribute-neg-in_binary64_8905` `associate-/l/_binary64_8891`
9×	`distribute-lft-out_binary64_8895`
8×	`exp-to-pow_binary64_9006` `cube-prod_binary64_8972` `unswap-sqr_binary64_8912` `distribute-rgt-neg-out_binary64_8904`
7×	`difference-of-squares_binary64_8913` `associate-/r/_binary64_8890`
6×	`unpow3_binary64_9010` `swap-sqr_binary64_8911`
5×	`--rgt-identity_binary64_8930` `distribute-rgt1-in_binary64_8900` `associate--l-_binary64_8882`
4×	`cube-mult_binary64_8974` `mul-1-neg_binary64_8936` `+-rgt-identity_binary64_8929` `pow-sqr_binary64_8917`
3×	`exp-lft-sqr_binary64_8999` `+-inverses_binary64_8923` `distribute-neg-out_binary64_8906` `count-2_binary64_8892` `associate-*l/_binary64_8887`
2×	`unpow1/2_binary64_9008` `distribute-lft1-in_binary64_8899`
1×	`log-E_binary64_9034` `log-pow_binary64_9033` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-exp-log_binary64_8984` `cube-unmult_binary64_8981` `rem-sqrt-square_binary64_8957` `sub0-neg_binary64_8931` `associate-*r/_binary64_8886` `associate--r-_binary64_8883`
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-rec_binary64_9032` `log-div_binary64_9031` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow2_binary64_9009` `pow-plus_binary64_9007` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `unpow1_binary64_9002` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `rec-exp_binary64_8994` `exp-neg_binary64_8991` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `cube-div_binary64_8973` `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-square-sqrt_binary64_8956` `div-sub_binary64_8949` `/-rgt-identity_binary64_8935` `remove-double-neg_binary64_8932` `+-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-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-lft-out--_binary64_8896`

Counts

154 → 110

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	190	2573
1	417	2338
2	1421	2320
3	4741	2320
4	5009	2320

prune141.0ms (1.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	109	10	119

Error

0.0b

Counts

119 → 10

Compiler

Compiled 3074 to 1011 computations (67.1% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 z (.f64 2 (log.f64 (cbrt.f64 t))))
0.2b	(*.f64 (log.f64 (cbrt.f64 t)) z)
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)

rewrite145.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

24×	`log-prod_binary64_9030` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893`
19×	`add-sqr-sqrt_binary64_8966`
18×	`cbrt-prod_binary64_8975`
17×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944`
12×	`pow1_binary64_9005`
11×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980`
8×	`associate-l_binary64_8885`
4×	`add-log-exp_binary64_8983` `pow-prod-down_binary64_9015` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `associate-r_binary64_8884`
3×	`pow1/3_binary64_9026`
2×	`log-pow_binary64_9033` `*-commutative_binary64_8875`
1×	`unswap-sqr_binary64_8912`

Counts

4 → 84

Calls

4 calls:

7.0ms	(.f64 z (.f64 2 (log.f64 (cbrt.f64 t))))
7.0ms	(*.f64 (log.f64 (cbrt.f64 t)) z)
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 2659 to 1062 computations (60.1% saved)

series1.1s (8.4%)

Error

0.0b

Counts

4 → 18

Calls

4 calls:

459.0ms	(.f64 z (.f64 2 (log.f64 (cbrt.f64 t))))
386.0ms	(*.f64 (log.f64 (cbrt.f64 t)) z)
124.0ms	(cbrt.f64 t)
113.0ms	(cbrt.f64 t)

Compiler

Compiled 1476 to 1136 computations (23% saved)

simplify115.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

696×	`log-prod_binary64_9030`
560×	`unswap-sqr_binary64_8912`
431×	`*-commutative_binary64_8875`
209×	`cancel-sign-sub-inv_binary64_8910`
156×	`associate-l_binary64_8885` `associate-r_binary64_8884`
153×	`sqr-pow_binary64_8916`
137×	`exp-prod_binary64_8996`
128×	`log-div_binary64_9031`
122×	`associate-+l+_binary64_8877`
109×	`cube-prod_binary64_8972`
107×	`associate-+r+_binary64_8876`
106×	`swap-sqr_binary64_8911`
104×	`exp-sum_binary64_8990`
97×	`count-2_binary64_8892`
95×	`distribute-rgt-in_binary64_8894`
94×	`log-pow_binary64_9033`
92×	`unsub-neg_binary64_8938`
91×	`distribute-lft-in_binary64_8893`
82×	`distribute-rgt-out_binary64_8897`
57×	`associate-/r*_binary64_8888`
56×	`exp-to-pow_binary64_9006`
50×	`sub-neg_binary64_8937`
45×	`pow-sqr_binary64_8917`
44×	`neg-sub0_binary64_8939`
43×	`neg-mul-1_binary64_8940`
41×	`distribute-rgt-neg-in_binary64_8902`
39×	`distribute-lft-neg-in_binary64_8901`
30×	`associate--r+_binary64_8880`
28×	`associate-/l*_binary64_8889`
20×	`log-rec_binary64_9032` `exp-diff_binary64_8992` `distribute-neg-in_binary64_8905`
19×	`+-commutative_binary64_8874`
15×	`associate-/l/_binary64_8891`
14×	`cube-div_binary64_8973`
13×	`*-rgt-identity_binary64_8934`
12×	`cube-unmult_binary64_8981` `cube-neg_binary64_8971` `sqr-neg_binary64_8958` `distribute-rgt-neg-out_binary64_8904` `distribute-lft-neg-out_binary64_8903`
11×	`unpow3_binary64_9010` `rem-sqrt-square_binary64_8957`
10×	`remove-double-neg_binary64_8932`
9×	`exp-neg_binary64_8991`
8×	`unpow1/3_binary64_9011` `cube-mult_binary64_8974` `div-sub_binary64_8949` `*-lft-identity_binary64_8933`
7×	`associate-*r/_binary64_8886`
6×	`distribute-rgt1-in_binary64_8900`
5×	`pow-plus_binary64_9007` `exp-lft-sqr_binary64_8999` `prod-exp_binary64_8993`
4×	`unpow1/2_binary64_9008` `div-exp_binary64_8995` `distribute-neg-out_binary64_8906` `distribute-lft-out_binary64_8895`
3×	`rec-exp_binary64_8994` `rem-log-exp_binary64_8985` `rem-exp-log_binary64_8984`
2×	`exp-sqrt_binary64_8997` `/-rgt-identity_binary64_8935` `distribute-lft1-in_binary64_8899` `associate-/r/_binary64_8890` `associate-+r-_binary64_8878`
1×	`log-E_binary64_9034` `exp-lft-cube_binary64_9000` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-3cbrt-lft_binary64_8969` `mul-1-neg_binary64_8936` `+-rgt-identity_binary64_8929` `remove-double-div_binary64_8920`
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` `unpow2_binary64_9009` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `unpow1_binary64_9002` `unpow-1_binary64_9001` `exp-cbrt_binary64_8998` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `rem-3cbrt-rft_binary64_8970` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `rem-square-sqrt_binary64_8956` `times-frac_binary64_8950` `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` `+-inverses_binary64_8923` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `difference-of-squares_binary64_8913` `cancel-sign-sub_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-rgt-out--_binary64_8898` `distribute-lft-out--_binary64_8896` `associate-l/_binary64_8887` `associate--r-_binary64_8883` `associate--l-_binary64_8882` `associate--l+_binary64_8881` `associate-+l-_binary64_8879`

Counts

102 → 67

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	144	1452
1	272	1256
2	755	1242
3	1518	1242
4	2568	1242
5	4476	1242
6	5185	1242

prune106.0ms (0.8%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	67	10	77

Error

0.0b

Counts

77 → 10

Compiler

Compiled 2172 to 972 computations (55.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(.f64 (cbrt.f64 (.f64 z (log.f64 (sqrt.f64 t)))) (cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t)))))
0.6b	(cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t))))
0.6b	(cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t))))
0.6b	(cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t))))

rewrite111.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`pow1_binary64_9005`
10×	`add-sqr-sqrt_binary64_8966`
9×	`pow1/3_binary64_9026`
8×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944`
7×	`cbrt-prod_binary64_8975`
6×	`add-exp-log_binary64_8982`
4×	`add-log-exp_binary64_8983` `add-cbrt-cube_binary64_8980` `swap-sqr_binary64_8911` `associate-l_binary64_8885` `associate-r_binary64_8884`
2×	`pow-prod-down_binary64_9015` `pow-prod-up_binary64_9014` `pow-sqr_binary64_8917`
1×	`pow2_binary64_9025` `pow-plus_binary64_9007` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `unswap-sqr_binary64_8912` `*-commutative_binary64_8875`

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 z (log.f64 (sqrt.f64 t)))) (cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t)))))
3.0ms	(cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t))))
3.0ms	(cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t))))
3.0ms	(cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t))))

Compiler

Compiled 2557 to 482 computations (81.1% saved)

series1.4s (10.5%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

412.0ms	(.f64 (cbrt.f64 (.f64 z (log.f64 (sqrt.f64 t)))) (cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t)))))
326.0ms	(cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t))))
306.0ms	(cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t))))
304.0ms	(cbrt.f64 (*.f64 z (log.f64 (sqrt.f64 t))))

Compiler

Compiled 3198 to 1814 computations (43.3% saved)

simplify132.0ms (1%)

Algorithm

1×	egg-herbie

Rules

478×	`log-prod_binary64_9030`
427×	`unswap-sqr_binary64_8912`
387×	`*-commutative_binary64_8875`
379×	`exp-sum_binary64_8990`
360×	`unsub-neg_binary64_8938`
264×	`associate-l_binary64_8885`
241×	`div-sub_binary64_8949`
222×	`distribute-rgt-in_binary64_8894`
219×	`exp-prod_binary64_8996`
211×	`distribute-lft-in_binary64_8893`
191×	`associate-r_binary64_8884`
146×	`log-pow_binary64_9033`
136×	`exp-diff_binary64_8992` `associate-+r+_binary64_8876`
118×	`log-div_binary64_9031`
107×	`sqr-pow_binary64_8916`
86×	`associate-+l+_binary64_8877`
59×	`associate--r+_binary64_8880`
45×	`cube-prod_binary64_8972`
44×	`neg-mul-1_binary64_8940`
43×	`neg-sub0_binary64_8939`
42×	`associate-+r-_binary64_8878`
39×	`sub-neg_binary64_8937`
37×	`prod-exp_binary64_8993`
34×	`+-commutative_binary64_8874`
31×	`associate-/l*_binary64_8889` `associate--r-_binary64_8883`
30×	`pow-plus_binary64_9007`
29×	`exp-to-pow_binary64_9006`
25×	`cube-unmult_binary64_8981` `times-frac_binary64_8950`
24×	`log-rec_binary64_9032`
23×	`exp-neg_binary64_8991`
22×	`swap-sqr_binary64_8911`
20×	`associate--l+_binary64_8881`
19×	`rem-sqrt-square_binary64_8957` `pow-sqr_binary64_8917` `distribute-rgt-neg-out_binary64_8904`
17×	`unpow1/3_binary64_9011` `cancel-sign-sub-inv_binary64_8910`
16×	`distribute-lft-neg-out_binary64_8903` `associate-+l-_binary64_8879`
15×	`exp-lft-sqr_binary64_8999` `distribute-neg-in_binary64_8905` `associate-/r*_binary64_8888`
14×	`*-rgt-identity_binary64_8934`
13×	`distribute-rgt-neg-in_binary64_8902`
11×	`-lft-identity_binary64_8933` `associate-/l/_binary64_8891` `associate-r/_binary64_8886`
9×	`unpow2_binary64_9009` `distribute-lft-out_binary64_8895`
8×	`unpow3_binary64_9010` `rem-exp-log_binary64_8984`
7×	`unpow1/2_binary64_9008`
6×	`unpow1_binary64_9002` `distribute-lft-neg-in_binary64_8901` `distribute-rgt-out_binary64_8897` `count-2_binary64_8892` `associate-/r/_binary64_8890` `associate--l-_binary64_8882`
5×	`distribute-lft-out--_binary64_8896`
4×	`sub0-neg_binary64_8931`
3×	`cube-mult_binary64_8974` `--rgt-identity_binary64_8930` `+-rgt-identity_binary64_8929`
2×	`exp-sqrt_binary64_8997` `rem-log-exp_binary64_8985` `rem-3cbrt-lft_binary64_8969` `remove-double-neg_binary64_8932` `distribute-frac-neg_binary64_8907` `distribute-rgt-out--_binary64_8898`
1×	`log-E_binary64_9034` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-3cbrt-rft_binary64_8970` `rem-cbrt-cube_binary64_8968` `rem-square-sqrt_binary64_8956`
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` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-cbrt_binary64_8998` `div-exp_binary64_8995` `rec-exp_binary64_8994` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `cube-div_binary64_8973` `cube-neg_binary64_8971` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `mul-1-neg_binary64_8936` `/-rgt-identity_binary64_8935` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `-inverses_binary64_8924` `+-inverses_binary64_8923` `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` `difference-of-squares_binary64_8913` `cancel-sign-sub_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-neg-out_binary64_8906` `distribute-rgt1-in_binary64_8900` `distribute-lft1-in_binary64_8899` `associate-l/_binary64_8887`

Counts

82 → 66

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	94	1341
1	212	1305
2	440	1190
3	1377	1058
4	3293	921
5	4860	921
6	4861	912
7	5217	912

prune103.0ms (0.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	66	10	76

Error

0.0b

Counts

76 → 10

Compiler

Compiled 2533 to 550 computations (78.3% saved)

regimes1.8s (13.4%)

Accuracy

Total 0.1b remaining (93.2%)

Threshold costs 0.1b (93.2%)

Compiler

Compiled 18226 to 15854 computations (13% saved)

bsearch0.0ms (0%)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative_binary64_8874`
12×	`*-commutative_binary64_8875`
11×	`sub-neg_binary64_8937`
8×	`neg-mul-1_binary64_8940` `neg-sub0_binary64_8939`
6×	`distribute-rgt-neg-in_binary64_8902`
4×	`cancel-sign-sub-inv_binary64_8910` `distribute-lft-neg-in_binary64_8901`
2×	`distribute-lft-neg-out_binary64_8903`
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` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `unsub-neg_binary64_8938` `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_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-neg-out_binary64_8906` `distribute-neg-in_binary64_8905` `distribute-rgt-neg-out_binary64_8904`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	40
1	43	40
2	63	40
3	81	40
4	92	40
5	97	40
6	99	40
7	99	40

Remove

(sort x y)

Compiler

Compiled 52 to 46 computations (11.5% saved)

end0.0ms (0%)

sample2.3s (17.5%)

Algorithm

1×

intervals

Results

481.0ms	7999×	body	128	valid
73.0ms	1248×	body	128	invalid
54.0ms	1154×	body	128	nan
0.0ms	1×	body	512	valid

Compiler

Compiled 1411 to 1220 computations (13.5% saved)

Details

analyze1.3s (9.6%)

sample46.0ms (0.3%)

simplify440.0ms (3.3%)

prune2.0ms (0%)

localize12.0ms (0.1%)

rewrite171.0ms (1.3%)

series1.8s (13.5%)

simplify125.0ms (0.9%)

prune160.0ms (1.2%)

localize16.0ms (0.1%)

rewrite176.0ms (1.3%)

series1.4s (10.7%)

simplify111.0ms (0.8%)

prune141.0ms (1.1%)

localize17.0ms (0.1%)

rewrite145.0ms (1.1%)

series1.1s (8.4%)

simplify115.0ms (0.9%)

prune106.0ms (0.8%)

localize23.0ms (0.2%)

rewrite111.0ms (0.8%)

series1.4s (10.5%)

simplify132.0ms (1%)

prune103.0ms (0.8%)

regimes1.8s (13.4%)

bsearch0.0ms (0%)

simplify13.0ms (0.1%)

end0.0ms (0%)

sample2.3s (17.5%)

Profiling