Details

analyze1.4s (2.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

796×	`div-sub_binary64_21907`
690×	`sub-neg_binary64_21895`
646×	`times-frac_binary64_21908`
453×	`neg-mul-1_binary64_21898`
388×	`neg-sub0_binary64_21897`
375×	`associate-/l*_binary64_21847`
269×	`unsub-neg_binary64_21896`
224×	`distribute-neg-frac_binary64_21866`
204×	`associate-/r*_binary64_21846`
156×	`associate-l_binary64_21843`
151×	`distribute-rgt-in_binary64_21852`
127×	`associate-r_binary64_21842`
118×	`distribute-lft-neg-out_binary64_21861`
117×	`/-rgt-identity_binary64_21893` `associate-+r+_binary64_21834`
115×	`distribute-rgt-neg-out_binary64_21862`
90×	`sub0-neg_binary64_21889` `*-commutative_binary64_21833`
85×	`+-commutative_binary64_21832`
83×	`associate-+l-_binary64_21837`
81×	`associate-+l+_binary64_21835`
77×	`div0_binary64_21883`
76×	`distribute-lft-in_binary64_21851`
73×	`*-lft-identity_binary64_21891`
72×	`associate-/l/_binary64_21849`
66×	`distribute-neg-in_binary64_21863`
65×	`associate-/r/_binary64_21848`
52×	`*-rgt-identity_binary64_21892`
49×	`associate-+r-_binary64_21836`
45×	`distribute-rgt-neg-in_binary64_21860`
42×	`distribute-rgt-out--_binary64_21856`
24×	`distribute-lft-neg-in_binary64_21859` `distribute-rgt-out_binary64_21855`
21×	`distribute-rgt1-in_binary64_21858`
19×	`remove-double-div_binary64_21878`
18×	`--rgt-identity_binary64_21888` `distribute-frac-neg_binary64_21865` `associate-*l/_binary64_21845`
16×	`associate--r+_binary64_21838`
12×	`remove-double-neg_binary64_21890` `+-rgt-identity_binary64_21887` `cancel-sign-sub-inv_binary64_21868`
10×	`distribute-lft1-in_binary64_21857` `associate-*r/_binary64_21844`
9×	`*-inverses_binary64_21882`
8×	`mul0-rgt_binary64_21885` `mul0-lft_binary64_21884`
4×	`+-lft-identity_binary64_21886`
1×	`1-exp_binary64_21946`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `log-rec_binary64_21990` `log-div_binary64_21989` `log-prod_binary64_21988` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow3_binary64_21968` `unpow2_binary64_21967` `unpow1/2_binary64_21966` `pow-plus_binary64_21965` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow1_binary64_21960` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-lft-sqr_binary64_21957` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `exp-prod_binary64_21954` `div-exp_binary64_21953` `rec-exp_binary64_21952` `prod-exp_binary64_21951` `exp-diff_binary64_21950` `exp-neg_binary64_21949` `exp-sum_binary64_21948` `e-exp-1_binary64_21947` `exp-1-e_binary64_21945` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-unmult_binary64_21939` `cube-mult_binary64_21932` `cube-div_binary64_21931` `cube-prod_binary64_21930` `cube-neg_binary64_21929` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `sqr-neg_binary64_21916` `rem-sqrt-square_binary64_21915` `rem-square-sqrt_binary64_21914` `mul-1-neg_binary64_21894` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `pow-sqr_binary64_21875` `sqr-pow_binary64_21874` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `difference-of-squares_binary64_21871` `unswap-sqr_binary64_21870` `swap-sqr_binary64_21869` `cancel-sign-sub_binary64_21867` `distribute-neg-out_binary64_21864` `distribute-lft-out--_binary64_21854` `distribute-lft-out_binary64_21853` `count-2_binary64_21850` `associate--r-_binary64_21841` `associate--l-_binary64_21840` `associate--l+_binary64_21839`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	175
1	111	175
2	220	175
3	401	175
4	723	175
5	1422	175
6	3024	154
7	3941	154
8	4566	154
9	4620	154
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
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
3.7%	96.1%	0.2%	13
4.2%	94.5%	1.3%	14

Compiler

Compiled 18 to 16 computations (11.1% saved)

sample36.0ms (0.1%)

Algorithm

1×

intervals

Results

17.0ms	256×	body	128	valid
4.0ms	87×	body	128	invalid

Compiler

Compiled 35 to 35 computations (0% saved)

simplify93.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

649×	`neg-mul-1_binary64_21898`
622×	`times-frac_binary64_21908`
416×	`div-sub_binary64_21907`
398×	`unsub-neg_binary64_21896`
378×	`sub-neg_binary64_21895`
360×	`distribute-frac-neg_binary64_21865`
351×	`distribute-rgt-in_binary64_21852`
342×	`neg-sub0_binary64_21897` `distribute-rgt-neg-in_binary64_21860`
329×	`cancel-sign-sub-inv_binary64_21868`
310×	`distribute-neg-frac_binary64_21866`
301×	`associate-/l/_binary64_21849`
282×	`distribute-lft-in_binary64_21851`
266×	`associate-/l*_binary64_21847`
214×	`distribute-lft-neg-in_binary64_21859`
183×	`distribute-lft-neg-out_binary64_21861`
141×	`distribute-rgt-neg-out_binary64_21862`
112×	`distribute-rgt-out--_binary64_21856`
92×	`associate-/r*_binary64_21846`
90×	`associate-l_binary64_21843`
82×	`associate--l-_binary64_21840`
79×	`distribute-neg-in_binary64_21863`
71×	`distribute-rgt-out_binary64_21855`
67×	`associate-r_binary64_21842`
63×	`associate--r-_binary64_21841`
62×	`associate--r+_binary64_21838`
57×	`sub0-neg_binary64_21889`
55×	`-lft-identity_binary64_21891` `-commutative_binary64_21833`
51×	`*-rgt-identity_binary64_21892`
47×	`cancel-sign-sub_binary64_21867`
43×	`mul0-rgt_binary64_21885` `mul0-lft_binary64_21884` `associate-/r/_binary64_21848`
42×	`/-rgt-identity_binary64_21893`
41×	`remove-double-div_binary64_21878` `associate-+l-_binary64_21837`
40×	`swap-sqr_binary64_21869`
34×	`associate-+l+_binary64_21835`
33×	`remove-double-neg_binary64_21890`
32×	`associate-+r+_binary64_21834` `+-commutative_binary64_21832`
31×	`associate-*l/_binary64_21845`
26×	`+-lft-identity_binary64_21886`
24×	`div0_binary64_21883`
20×	`associate--l+_binary64_21839`
18×	`distribute-rgt1-in_binary64_21858`
17×	`associate-*r/_binary64_21844`
16×	`--rgt-identity_binary64_21888` `+-rgt-identity_binary64_21887`
14×	`associate-+r-_binary64_21836`
9×	`distribute-neg-out_binary64_21864` `distribute-lft-out--_binary64_21854`
8×	`sqr-neg_binary64_21916` `distribute-lft1-in_binary64_21857`
3×	`*-inverses_binary64_21882`
2×	`distribute-lft-out_binary64_21853`
1×	`1-exp_binary64_21946` `mul-1-neg_binary64_21894`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `log-rec_binary64_21990` `log-div_binary64_21989` `log-prod_binary64_21988` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow3_binary64_21968` `unpow2_binary64_21967` `unpow1/2_binary64_21966` `pow-plus_binary64_21965` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow1_binary64_21960` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-lft-sqr_binary64_21957` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `exp-prod_binary64_21954` `div-exp_binary64_21953` `rec-exp_binary64_21952` `prod-exp_binary64_21951` `exp-diff_binary64_21950` `exp-neg_binary64_21949` `exp-sum_binary64_21948` `e-exp-1_binary64_21947` `exp-1-e_binary64_21945` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-unmult_binary64_21939` `cube-mult_binary64_21932` `cube-div_binary64_21931` `cube-prod_binary64_21930` `cube-neg_binary64_21929` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `rem-sqrt-square_binary64_21915` `rem-square-sqrt_binary64_21914` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `pow-sqr_binary64_21875` `sqr-pow_binary64_21874` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `difference-of-squares_binary64_21871` `unswap-sqr_binary64_21870` `count-2_binary64_21850`

Counts

1 → 1

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	28	25
2	52	25
3	92	25
4	178	25
5	317	25
6	633	22
7	1498	19
8	3160	19
9	3961	19
10	4882	19
11	4889	19

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 2

Compiler

Compiled 43 to 41 computations (4.7% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite139.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`*-un-lft-identity_binary64_21902`
12×	`add-cube-cbrt_binary64_21937` `add-sqr-sqrt_binary64_21924` `times-frac_binary64_21908`
10×	`add-log-exp_binary64_21941`
8×	`distribute-lft-out_binary64_21853`
5×	`add-exp-log_binary64_21940` `add-cbrt-cube_binary64_21938`
4×	`flip3-+_binary64_21905` `flip-+_binary64_21876` `associate-/l*_binary64_21847` `sum-log_binary64_21993`
3×	`pow1_binary64_21963` `associate-/r*_binary64_21846`
2×	`associate-/l/_binary64_21849` `+-commutative_binary64_21832` `frac-add_binary64_21910`
1×	`div-exp_binary64_21953` `cbrt-undiv_binary64_21936` `frac-2neg_binary64_21913` `clear-num_binary64_21901` `div-inv_binary64_21899` `associate-+r+_binary64_21834`

Counts

3 → 62

Calls

3 calls:

21.0ms	(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))
9.0ms	(/.f64 (+.f64 2 (/.f64 2 z)) t)
6.0ms	(+.f64 2 (/.f64 2 z))

Compiler

Compiled 1443 to 985 computations (31.7% saved)

series752.0ms (1.5%)

Error

0.1b

Counts

3 → 39

Calls

3 calls:

533.0ms	(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))
146.0ms	(/.f64 (+.f64 2 (/.f64 2 z)) t)
38.0ms	(+.f64 2 (/.f64 2 z))

Compiler

Compiled 1441 to 1238 computations (14.1% saved)

simplify104.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

380×	`associate-/l/_binary64_21849`
363×	`associate-/r*_binary64_21846`
320×	`distribute-rgt-in_binary64_21852`
280×	`distribute-lft-in_binary64_21851`
235×	`associate-/r/_binary64_21848`
176×	`associate-l_binary64_21843`
165×	`associate-*l/_binary64_21845`
160×	`distribute-rgt-out_binary64_21855`
152×	`associate-r_binary64_21842`
146×	`sub-neg_binary64_21895`
145×	`associate-*r/_binary64_21844`
128×	`*-commutative_binary64_21833`
127×	`associate-/l*_binary64_21847`
103×	`cancel-sign-sub-inv_binary64_21868`
100×	`associate-+l+_binary64_21835`
91×	`associate-+r+_binary64_21834`
83×	`unsub-neg_binary64_21896`
81×	`distribute-neg-in_binary64_21863`
79×	`distribute-neg-frac_binary64_21866` `distribute-rgt-neg-in_binary64_21860`
74×	`+-commutative_binary64_21832`
65×	`distribute-lft-neg-in_binary64_21859`
63×	`div-sub_binary64_21907`
57×	`times-frac_binary64_21908`
55×	`distribute-lft-neg-out_binary64_21861`
49×	`neg-sub0_binary64_21897`
48×	`distribute-rgt-neg-out_binary64_21862`
42×	`sqr-pow_binary64_21874`
40×	`neg-mul-1_binary64_21898`
36×	`distribute-lft-out_binary64_21853`
32×	`associate--l+_binary64_21839`
30×	`associate-+l-_binary64_21837`
25×	`distribute-rgt-out--_binary64_21856`
23×	`distribute-rgt1-in_binary64_21858`
21×	`exp-prod_binary64_21954` `associate--r+_binary64_21838`
18×	`associate-+r-_binary64_21836`
17×	`unpow3_binary64_21968` `*-rgt-identity_binary64_21892`
16×	`*-lft-identity_binary64_21891`
13×	`+-rgt-identity_binary64_21887`
12×	`prod-exp_binary64_21951` `sub0-neg_binary64_21889`
11×	`log-div_binary64_21989`
9×	`cube-mult_binary64_21932` `cube-div_binary64_21931`
8×	`exp-sum_binary64_21948` `unswap-sqr_binary64_21870`
7×	`log-prod_binary64_21988` `exp-diff_binary64_21950` `cube-prod_binary64_21930` `/-rgt-identity_binary64_21893`
6×	`distribute-frac-neg_binary64_21865`
5×	`exp-lft-sqr_binary64_21957` `cube-unmult_binary64_21939` `swap-sqr_binary64_21869`
4×	`distribute-lft1-in_binary64_21857`
3×	`remove-double-neg_binary64_21890`
2×	`pow-plus_binary64_21965` `unpow1_binary64_21960` `div0_binary64_21883` `difference-of-squares_binary64_21871` `count-2_binary64_21850` `associate--l-_binary64_21840`
1×	`unpow1/2_binary64_21966` `1-exp_binary64_21946` `remove-double-div_binary64_21878` `pow-sqr_binary64_21875` `distribute-lft-out--_binary64_21854`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `log-rec_binary64_21990` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow2_binary64_21967` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `div-exp_binary64_21953` `rec-exp_binary64_21952` `exp-neg_binary64_21949` `e-exp-1_binary64_21947` `exp-1-e_binary64_21945` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-neg_binary64_21929` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `sqr-neg_binary64_21916` `rem-sqrt-square_binary64_21915` `rem-square-sqrt_binary64_21914` `mul-1-neg_binary64_21894` `--rgt-identity_binary64_21888` `+-lft-identity_binary64_21886` `mul0-rgt_binary64_21885` `mul0-lft_binary64_21884` `*-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `cancel-sign-sub_binary64_21867` `distribute-neg-out_binary64_21864` `associate--r-_binary64_21841`

Counts

101 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	141	1773
1	372	1717
2	971	1711
3	2930	1711
4	4974	1711
5	4930	1711

prune81.0ms (0.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	47	8	55
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	48	9	57

Error

0.0b

Counts

57 → 9

Compiler

Compiled 1223 to 836 computations (31.6% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 x y) (+.f64 -2 (+.f64 (/.f64 2 (*.f64 t z)) (/.f64 2 t))))
0.0b	(+.f64 (/.f64 2 (*.f64 t z)) (/.f64 2 t))
0.9b	(/.f64 2 (*.f64 t z))

rewrite124.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`*-un-lft-identity_binary64_21902`
14×	`add-log-exp_binary64_21941`
8×	`add-exp-log_binary64_21940` `add-cbrt-cube_binary64_21938` `distribute-lft-out_binary64_21853`
7×	`sum-log_binary64_21993`
5×	`add-cube-cbrt_binary64_21937` `add-sqr-sqrt_binary64_21924`
3×	`pow1_binary64_21963` `times-frac_binary64_21908` `div-inv_binary64_21899` `associate-/l*_binary64_21847` `frac-add_binary64_21910` `flip3-+_binary64_21905` `flip-+_binary64_21876`
2×	`div-exp_binary64_21953` `cbrt-undiv_binary64_21936` `+-commutative_binary64_21832`
1×	`prod-exp_binary64_21951` `cbrt-unprod_binary64_21935` `frac-2neg_binary64_21913` `clear-num_binary64_21901` `associate-/r*_binary64_21846` `associate-+r+_binary64_21834`

Counts

3 → 54

Calls

3 calls:

22.0ms	(+.f64 (/.f64 x y) (+.f64 -2 (+.f64 (/.f64 2 (*.f64 t z)) (/.f64 2 t))))
12.0ms	(+.f64 (/.f64 2 (*.f64 t z)) (/.f64 2 t))
5.0ms	(/.f64 2 (*.f64 t z))

Compiler

Compiled 1362 to 818 computations (39.9% saved)

series836.0ms (1.7%)

Error

0.0b

Counts

3 → 39

Calls

3 calls:

543.0ms	(+.f64 (/.f64 x y) (+.f64 -2 (+.f64 (/.f64 2 (*.f64 t z)) (/.f64 2 t))))
168.0ms	(+.f64 (/.f64 2 (*.f64 t z)) (/.f64 2 t))
90.0ms	(/.f64 2 (*.f64 t z))

Compiler

Compiled 1518 to 1287 computations (15.2% saved)

simplify58.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

838×	`distribute-rgt-in_binary64_21852`
774×	`distribute-lft-in_binary64_21851`
214×	`associate-/l*_binary64_21847`
146×	`cancel-sign-sub-inv_binary64_21868`
94×	`times-frac_binary64_21908`
89×	`sub-neg_binary64_21895`
87×	`associate-/l/_binary64_21849`
80×	`associate-l_binary64_21843`
74×	`associate-r_binary64_21842`
70×	`distribute-rgt-neg-in_binary64_21860`
65×	`distribute-neg-in_binary64_21863`
59×	`*-commutative_binary64_21833`
54×	`distribute-lft-neg-in_binary64_21859` `distribute-rgt-out_binary64_21855`
40×	`+-commutative_binary64_21832`
38×	`associate-*r/_binary64_21844`
37×	`distribute-lft-out_binary64_21853`
36×	`associate-*l/_binary64_21845`
34×	`distribute-neg-frac_binary64_21866`
33×	`neg-mul-1_binary64_21898` `neg-sub0_binary64_21897` `sqr-pow_binary64_21874`
31×	`associate-/r*_binary64_21846`
28×	`distribute-lft-neg-out_binary64_21861` `associate-/r/_binary64_21848`
23×	`distribute-rgt-out--_binary64_21856`
20×	`associate--l+_binary64_21839`
19×	`distribute-rgt-neg-out_binary64_21862` `associate--r+_binary64_21838` `associate-+l+_binary64_21835`
18×	`exp-sum_binary64_21948` `associate-+r+_binary64_21834`
15×	`prod-exp_binary64_21951`
13×	`cube-div_binary64_21931` `unsub-neg_binary64_21896`
12×	`unpow3_binary64_21968`
10×	`cube-mult_binary64_21932` `distribute-lft-out--_binary64_21854`
9×	`log-div_binary64_21989`
8×	`swap-sqr_binary64_21869`
7×	`log-prod_binary64_21988` `exp-diff_binary64_21950` `cube-prod_binary64_21930`
6×	`exp-prod_binary64_21954`
5×	`distribute-rgt1-in_binary64_21858` `associate-+l-_binary64_21837`
4×	`unswap-sqr_binary64_21870` `cancel-sign-sub_binary64_21867` `distribute-lft1-in_binary64_21857`
3×	`exp-lft-sqr_binary64_21957` `div-sub_binary64_21907` `associate-+r-_binary64_21836`
2×	`cube-unmult_binary64_21939` `difference-of-squares_binary64_21871` `distribute-frac-neg_binary64_21865`
1×	`log-rec_binary64_21990` `1-exp_binary64_21946` `associate--r-_binary64_21841` `associate--l-_binary64_21840`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow2_binary64_21967` `unpow1/2_binary64_21966` `pow-plus_binary64_21965` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow1_binary64_21960` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `div-exp_binary64_21953` `rec-exp_binary64_21952` `exp-neg_binary64_21949` `e-exp-1_binary64_21947` `exp-1-e_binary64_21945` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-neg_binary64_21929` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `sqr-neg_binary64_21916` `rem-sqrt-square_binary64_21915` `rem-square-sqrt_binary64_21914` `mul-1-neg_binary64_21894` `/-rgt-identity_binary64_21893` `-rgt-identity_binary64_21892` `-lft-identity_binary64_21891` `remove-double-neg_binary64_21890` `sub0-neg_binary64_21889` `--rgt-identity_binary64_21888` `+-rgt-identity_binary64_21887` `+-lft-identity_binary64_21886` `mul0-rgt_binary64_21885` `mul0-lft_binary64_21884` `div0_binary64_21883` `*-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `remove-double-div_binary64_21878` `pow-sqr_binary64_21875` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `distribute-neg-out_binary64_21864` `count-2_binary64_21850`

Counts

93 → 56

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	141	1693
1	393	1636
2	1324	1633
3	5029	1633

prune70.0ms (0.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	54	2	56
Fresh	4	3	7
Picked	0	1	1
Done	0	1	1
Total	58	7	65

Error

0.0b

Counts

65 → 7

Compiler

Compiled 1276 to 783 computations (38.6% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 (sqrt.f64 2) (/.f64 t (/.f64 (sqrt.f64 2) z))) (/.f64 2 t))
0.2b	(/.f64 t (/.f64 (sqrt.f64 2) z))
0.4b	(/.f64 (sqrt.f64 2) z)
1.1b	(/.f64 (sqrt.f64 2) (/.f64 t (/.f64 (sqrt.f64 2) z)))

rewrite2.7s (5.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

1424×	`times-frac_binary64_21908`
678×	`*-un-lft-identity_binary64_21902`
672×	`add-cube-cbrt_binary64_21937` `add-sqr-sqrt_binary64_21924`
453×	`sqrt-prod_binary64_21918`
96×	`associate-/r*_binary64_21846`
35×	`div-inv_binary64_21899`
20×	`add-exp-log_binary64_21940` `add-cbrt-cube_binary64_21938`
15×	`associate-/l*_binary64_21847`
10×	`div-exp_binary64_21953` `cbrt-undiv_binary64_21936`
9×	`associate-/r/_binary64_21848`
6×	`add-log-exp_binary64_21941`
4×	`pow1_binary64_21963`
3×	`frac-2neg_binary64_21913` `clear-num_binary64_21901`
2×	`distribute-lft-out_binary64_21853`
1×	`sum-log_binary64_21993` `frac-add_binary64_21910` `flip3-+_binary64_21905` `flip-+_binary64_21876` `+-commutative_binary64_21832`

Counts

4 → 679

Calls

4 calls:

304.0ms	(+.f64 (/.f64 (sqrt.f64 2) (/.f64 t (/.f64 (sqrt.f64 2) z))) (/.f64 2 t))
29.0ms	(/.f64 (sqrt.f64 2) (/.f64 t (/.f64 (sqrt.f64 2) z)))
9.0ms	(/.f64 t (/.f64 (sqrt.f64 2) z))
5.0ms	(/.f64 (sqrt.f64 2) z)

Compiler

Compiled 23357 to 16076 computations (31.2% saved)

series676.0ms (1.4%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

259.0ms	(+.f64 (/.f64 (sqrt.f64 2) (/.f64 t (/.f64 (sqrt.f64 2) z))) (/.f64 2 t))
193.0ms	(/.f64 (sqrt.f64 2) (/.f64 t (/.f64 (sqrt.f64 2) z)))
150.0ms	(/.f64 t (/.f64 (sqrt.f64 2) z))
48.0ms	(/.f64 (sqrt.f64 2) z)

Compiler

Compiled 1225 to 1045 computations (14.7% saved)

simplify400.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

825×	`associate-/r/_binary64_21848`
808×	`associate-/l/_binary64_21849`
574×	`associate-*l/_binary64_21845`
462×	`associate-/l*_binary64_21847`
379×	`associate-/r*_binary64_21846`
311×	`times-frac_binary64_21908`
18×	`sub-neg_binary64_21895`
16×	`remove-double-div_binary64_21878`
15×	`distribute-rgt-in_binary64_21852`
12×	`neg-mul-1_binary64_21898` `neg-sub0_binary64_21897` `distribute-neg-frac_binary64_21866`
11×	`distribute-lft-in_binary64_21851`
10×	`/-rgt-identity_binary64_21893` `*-commutative_binary64_21833`
9×	`cube-div_binary64_21931` `sqr-pow_binary64_21874` `cancel-sign-sub-inv_binary64_21868` `associate-*r/_binary64_21844`
8×	`distribute-rgt-neg-in_binary64_21860`
7×	`log-div_binary64_21989`
6×	`swap-sqr_binary64_21869` `associate-l_binary64_21843` `+-commutative_binary64_21832`
5×	`unpow3_binary64_21968` `cube-prod_binary64_21930` `distribute-lft-neg-in_binary64_21859`
4×	`exp-prod_binary64_21954`
3×	`log-prod_binary64_21988` `cube-unmult_binary64_21939` `unswap-sqr_binary64_21870` `distribute-neg-in_binary64_21863`
2×	`cube-mult_binary64_21932` `rem-square-sqrt_binary64_21914` `div-sub_binary64_21907` `distribute-lft-neg-out_binary64_21861` `associate--r-_binary64_21841`
1×	`log-rec_binary64_21990` `unpow2_binary64_21967` `unpow1_binary64_21960` `exp-lft-sqr_binary64_21957` `prod-exp_binary64_21951` `1-exp_binary64_21946` `sqr-abs_binary64_21917` `rem-sqrt-square_binary64_21915` `difference-of-squares_binary64_21871` `distribute-rgt-out--_binary64_21856` `associate-+r-_binary64_21836`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow1/2_binary64_21966` `pow-plus_binary64_21965` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `div-exp_binary64_21953` `rec-exp_binary64_21952` `exp-diff_binary64_21950` `exp-neg_binary64_21949` `exp-sum_binary64_21948` `e-exp-1_binary64_21947` `exp-1-e_binary64_21945` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-neg_binary64_21929` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-neg_binary64_21916` `unsub-neg_binary64_21896` `mul-1-neg_binary64_21894` `-rgt-identity_binary64_21892` `-lft-identity_binary64_21891` `remove-double-neg_binary64_21890` `sub0-neg_binary64_21889` `--rgt-identity_binary64_21888` `+-rgt-identity_binary64_21887` `+-lft-identity_binary64_21886` `mul0-rgt_binary64_21885` `mul0-lft_binary64_21884` `div0_binary64_21883` `-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `pow-sqr_binary64_21875` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `cancel-sign-sub_binary64_21867` `distribute-frac-neg_binary64_21865` `distribute-neg-out_binary64_21864` `distribute-rgt-neg-out_binary64_21862` `distribute-rgt1-in_binary64_21858` `distribute-lft1-in_binary64_21857` `distribute-rgt-out_binary64_21855` `distribute-lft-out--_binary64_21854` `distribute-lft-out_binary64_21853` `count-2_binary64_21850` `associate-r*_binary64_21842` `associate--l-_binary64_21840` `associate--l+_binary64_21839` `associate--r+_binary64_21838` `associate-+l-_binary64_21837` `associate-+l+_binary64_21835` `associate-+r+_binary64_21834`

Counts

703 → 608

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	666	21487
1	1463	19951
2	5082	19951

prune1.5s (2.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	606	2	608
Fresh	2	2	4
Picked	1	0	1
Done	1	1	2
Total	610	5	615

Error

0.0b

Counts

615 → 5

Compiler

Compiled 18220 to 11606 computations (36.3% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 t (/.f64 (sqrt.f64 (sqrt.f64 2)) z))
0.2b	(.f64 (.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))) (/.f64 (cbrt.f64 (sqrt.f64 2)) (/.f64 t (/.f64 (sqrt.f64 (sqrt.f64 2)) z))))
0.2b	(/.f64 (sqrt.f64 (sqrt.f64 2)) z)
1.0b	(/.f64 (cbrt.f64 (sqrt.f64 2)) (/.f64 t (/.f64 (sqrt.f64 (sqrt.f64 2)) z)))

rewrite20.1s (40%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

5298×	`times-frac_binary64_21908`
2417×	`add-cube-cbrt_binary64_21937` `add-sqr-sqrt_binary64_21924` `*-un-lft-identity_binary64_21902`
2274×	`sqrt-prod_binary64_21918`
1182×	`cbrt-prod_binary64_21933`
887×	`associate-r_binary64_21842`
132×	`associate-/r*_binary64_21846`
84×	`div-inv_binary64_21899`
74×	`add-exp-log_binary64_21940`
54×	`add-cbrt-cube_binary64_21938`
28×	`div-exp_binary64_21953` `cbrt-undiv_binary64_21936`
24×	`prod-exp_binary64_21951` `cbrt-unprod_binary64_21935`
22×	`associate-/r/_binary64_21848`
21×	`associate-/l*_binary64_21847`
13×	`pow1_binary64_21963`
6×	`pow-prod-down_binary64_21973`
4×	`add-log-exp_binary64_21941`
3×	`frac-2neg_binary64_21913` `clear-num_binary64_21901`
1×	`associate-r/_binary64_21844` `associate-l_binary64_21843` `-commutative_binary64_21833`

Counts

4 → 2123

Calls

4 calls:

214.0ms	(.f64 (.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))) (/.f64 (cbrt.f64 (sqrt.f64 2)) (/.f64 t (/.f64 (sqrt.f64 (sqrt.f64 2)) z))))
43.0ms	(/.f64 (cbrt.f64 (sqrt.f64 2)) (/.f64 t (/.f64 (sqrt.f64 (sqrt.f64 2)) z)))
11.0ms	(/.f64 t (/.f64 (sqrt.f64 (sqrt.f64 2)) z))
6.0ms	(/.f64 (sqrt.f64 (sqrt.f64 2)) z)

Compiler

Compiled 110554 to 86757 computations (21.5% saved)

series1.0s (2.1%)

Error

0.0b

Counts

4 → 21

Calls

4 calls:

473.0ms	(/.f64 (cbrt.f64 (sqrt.f64 2)) (/.f64 t (/.f64 (sqrt.f64 (sqrt.f64 2)) z)))
244.0ms	(/.f64 t (/.f64 (sqrt.f64 (sqrt.f64 2)) z))
208.0ms	(.f64 (.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))) (/.f64 (cbrt.f64 (sqrt.f64 2)) (/.f64 t (/.f64 (sqrt.f64 (sqrt.f64 2)) z))))
84.0ms	(/.f64 (sqrt.f64 (sqrt.f64 2)) z)

Compiler

Compiled 1881 to 1701 computations (9.6% saved)

simplify2.4s (4.8%)

Algorithm

1×	egg-herbie

Rules

808×	`associate-/r/_binary64_21848`
439×	`associate-l_binary64_21843`
433×	`*-commutative_binary64_21833`
423×	`associate-*r/_binary64_21844`
82×	`associate-/l*_binary64_21847`
69×	`associate-+l+_binary64_21835`
65×	`associate-+r+_binary64_21834`
49×	`associate-+r-_binary64_21836`
40×	`associate-+l-_binary64_21837`
34×	`sub-neg_binary64_21895`
32×	`sqr-pow_binary64_21874`
26×	`log-prod_binary64_21988`
25×	`associate--r+_binary64_21838`
23×	`associate-/r*_binary64_21846`
20×	`log-div_binary64_21989` `exp-prod_binary64_21954`
19×	`remove-double-div_binary64_21878` `swap-sqr_binary64_21869`
18×	`/-rgt-identity_binary64_21893`
17×	`neg-mul-1_binary64_21898` `neg-sub0_binary64_21897`
16×	`associate--l+_binary64_21839`
14×	`+-commutative_binary64_21832`
13×	`cube-prod_binary64_21930` `associate--r-_binary64_21841` `associate--l-_binary64_21840`
12×	`cube-unmult_binary64_21939` `associate-r_binary64_21842`
10×	`unpow3_binary64_21968` `distribute-neg-in_binary64_21863`
9×	`cube-div_binary64_21931` `unswap-sqr_binary64_21870` `distribute-neg-frac_binary64_21866`
8×	`cube-mult_binary64_21932` `unsub-neg_binary64_21896` `cancel-sign-sub-inv_binary64_21868` `distribute-rgt-in_binary64_21852` `associate-/l/_binary64_21849`
7×	`distribute-lft-neg-in_binary64_21859`
6×	`distribute-rgt-neg-in_binary64_21860`
5×	`log-rec_binary64_21990` `pow-plus_binary64_21965` `times-frac_binary64_21908` `associate-*l/_binary64_21845`
3×	`rem-sqrt-square_binary64_21915` `pow-sqr_binary64_21875`
2×	`log-pow_binary64_21991` `unpow1/2_binary64_21966` `rem-3cbrt-rft_binary64_21928` `rem-square-sqrt_binary64_21914` `div-sub_binary64_21907` `*-rgt-identity_binary64_21892` `remove-double-neg_binary64_21890` `div0_binary64_21883` `distribute-neg-out_binary64_21864` `distribute-lft-in_binary64_21851`
1×	`unpow2_binary64_21967` `unpow1_binary64_21960` `1-exp_binary64_21946` `exp-1-e_binary64_21945` `rem-3cbrt-lft_binary64_21927` `*-lft-identity_binary64_21891` `distribute-lft1-in_binary64_21857` `count-2_binary64_21850`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-lft-sqr_binary64_21957` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `div-exp_binary64_21953` `rec-exp_binary64_21952` `prod-exp_binary64_21951` `exp-diff_binary64_21950` `exp-neg_binary64_21949` `exp-sum_binary64_21948` `e-exp-1_binary64_21947` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-neg_binary64_21929` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `sqr-neg_binary64_21916` `mul-1-neg_binary64_21894` `sub0-neg_binary64_21889` `--rgt-identity_binary64_21888` `+-rgt-identity_binary64_21887` `+-lft-identity_binary64_21886` `mul0-rgt_binary64_21885` `mul0-lft_binary64_21884` `*-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `difference-of-squares_binary64_21871` `cancel-sign-sub_binary64_21867` `distribute-frac-neg_binary64_21865` `distribute-rgt-neg-out_binary64_21862` `distribute-lft-neg-out_binary64_21861` `distribute-rgt1-in_binary64_21858` `distribute-rgt-out--_binary64_21856` `distribute-rgt-out_binary64_21855` `distribute-lft-out--_binary64_21854` `distribute-lft-out_binary64_21853`

Counts

2144 → 1871

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	1461	90185
1	4307	88774
2	4462	87902
3	4957	87876
4	4960	87876

prune13.4s (26.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	1871	0	1871
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	1871	5	1876

Error

0.0b

Counts

1876 → 5

Compiler

Compiled 89434 to 68699 computations (23.2% saved)

regimes1.4s (2.7%)

Accuracy

Total 0.1b remaining (96.8%)

Threshold costs 0.1b (96.8%)

Compiler

Compiled 14966 to 13750 computations (8.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3× +-commutative_binary64_21832

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_22162 if-if-and_binary64_22161 if-if-or-not_binary64_22160 if-if-or_binary64_22159 if-not_binary64_22158 if-same_binary64_22157 if-false_binary64_22156 if-true_binary64_22155 tan-0_binary64_22031 cos-0_binary64_22030 sin-0_binary64_22029 unpow1_binary64_21960 e-exp-1_binary64_21947 1-exp_binary64_21946 exp-1-e_binary64_21945 exp-0_binary64_21944 sqr-abs_binary64_21917 sqr-neg_binary64_21916 neg-mul-1_binary64_21898 neg-sub0_binary64_21897 unsub-neg_binary64_21896 sub-neg_binary64_21895 mul-1-neg_binary64_21894 /-rgt-identity_binary64_21893 *-rgt-identity_binary64_21892 *-lft-identity_binary64_21891 remove-double-neg_binary64_21890 sub0-neg_binary64_21889 --rgt-identity_binary64_21888 +-rgt-identity_binary64_21887 +-lft-identity_binary64_21886 cancel-sign-sub-inv_binary64_21868 cancel-sign-sub_binary64_21867 distribute-neg-frac_binary64_21866 distribute-frac-neg_binary64_21865 distribute-neg-out_binary64_21864 distribute-neg-in_binary64_21863 distribute-rgt-neg-out_binary64_21862 distribute-lft-neg-out_binary64_21861 distribute-rgt-neg-in_binary64_21860 distribute-lft-neg-in_binary64_21859 *-commutative_binary64_21833

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	16	22
2	16	22

end0.0ms (0%)

sample2.8s (5.7%)

Algorithm

1×

intervals

Results

392.0ms	8000×	body	128	valid
116.0ms	2464×	body	128	invalid

Compiler

Compiled 2165 to 1988 computations (8.2% saved)

Details

analyze1.4s (2.8%)

sample36.0ms (0.1%)

simplify93.0ms (0.2%)

prune5.0ms (0%)

localize9.0ms (0%)

rewrite139.0ms (0.3%)

series752.0ms (1.5%)

simplify104.0ms (0.2%)

prune81.0ms (0.2%)

localize10.0ms (0%)

rewrite124.0ms (0.2%)

series836.0ms (1.7%)

simplify58.0ms (0.1%)

prune70.0ms (0.1%)

localize12.0ms (0%)

rewrite2.7s (5.3%)

series676.0ms (1.4%)

simplify400.0ms (0.8%)

prune1.5s (2.9%)

localize22.0ms (0%)

rewrite20.1s (40%)

series1.0s (2.1%)

simplify2.4s (4.8%)

prune13.4s (26.8%)

regimes1.4s (2.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.8s (5.7%)

Profiling