Details

analyze414.0ms (6.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

130×	`cancel-sign-sub-inv_binary64_6864`
81×	`sub-neg_binary64_6891`
64×	`distribute-rgt-neg-in_binary64_6856`
60×	`distribute-rgt-in_binary64_6848`
48×	`associate-r_binary64_6838`
45×	`neg-mul-1_binary64_6894`
44×	`unsub-neg_binary64_6892` `distribute-lft-neg-out_binary64_6857` `associate--r+_binary64_6834`
40×	`distribute-lft-in_binary64_6847`
34×	`neg-sub0_binary64_6893`
32×	`associate-l_binary64_6839`
29×	`distribute-neg-in_binary64_6859`
28×	`distribute-lft-neg-in_binary64_6855` `+-commutative_binary64_6828`
25×	`*-commutative_binary64_6829`
22×	`sub0-neg_binary64_6885` `associate-+l-_binary64_6833`
20×	`*-lft-identity_binary64_6887`
18×	`mul0-rgt_binary64_6881` `mul0-lft_binary64_6880`
16×	`distribute-rgt-neg-out_binary64_6858`
12×	`+-lft-identity_binary64_6882` `associate-+l+_binary64_6831`
10×	`remove-double-neg_binary64_6886` `--rgt-identity_binary64_6884`
8×	`associate--r-_binary64_6837`
6×	`sin-neg_binary64_7028` `*-rgt-identity_binary64_6888`
4×	`+-rgt-identity_binary64_6883` `associate--l+_binary64_6835` `associate-+r-_binary64_6832` `associate-+r+_binary64_6830`
3×	`cos-neg_binary64_7029`
1×	`1-exp_binary64_6942`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `log-rec_binary64_6986` `log-div_binary64_6985` `log-prod_binary64_6984` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow3_binary64_6964` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `pow-plus_binary64_6961` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `exp-prod_binary64_6950` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-unmult_binary64_6935` `cube-mult_binary64_6928` `cube-div_binary64_6927` `cube-prod_binary64_6926` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `rem-sqrt-square_binary64_6911` `rem-square-sqrt_binary64_6910` `times-frac_binary64_6904` `div-sub_binary64_6903` `mul-1-neg_binary64_6890` `/-rgt-identity_binary64_6889` `div0_binary64_6879` `-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `pow-sqr_binary64_6871` `sqr-pow_binary64_6870` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `unswap-sqr_binary64_6866` `swap-sqr_binary64_6865` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-rgt-out--_binary64_6852` `distribute-rgt-out_binary64_6851` `distribute-lft-out--_binary64_6850` `distribute-lft-out_binary64_6849` `count-2_binary64_6846` `associate-/l/_binary64_6845` `associate-/r/_binary64_6844` `associate-/l_binary64_6843` `associate-/r_binary64_6842` `associate-l/_binary64_6841` `associate-*r/_binary64_6840` `associate--l-_binary64_6836`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	49	56
2	80	56
3	123	56
4	179	56
5	257	56
6	390	56
7	500	56
8	577	56
9	544	56
10	493	56
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
37.4%	62.4%	0.1%	6
49.9%	49.9%	0.1%	7
62.4%	37.4%	0.1%	8
62.4%	37.4%	0.1%	9
71.8%	28.1%	0.1%	10
79.6%	20.3%	0.1%	11
79.6%	20.3%	0.1%	12
85%	14.8%	0.1%	13
89.3%	10.5%	0.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample50.0ms (0.8%)

Algorithm

1×

intervals

Results

20.0ms	62×	body	1024	valid
10.0ms	148×	body	128	valid
6.0ms	30×	body	512	valid
2.0ms	16×	body	256	valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify15.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

36×	`cancel-sign-sub-inv_binary64_6864`
23×	`sub-neg_binary64_6891` `distribute-rgt-neg-in_binary64_6856`
19×	`unsub-neg_binary64_6892`
17×	`neg-mul-1_binary64_6894`
16×	`distribute-rgt-in_binary64_6848`
14×	`neg-sub0_binary64_6893` `associate--r+_binary64_6834`
12×	`distribute-lft-neg-out_binary64_6857` `distribute-lft-neg-in_binary64_6855`
11×	`distribute-lft-in_binary64_6847`
10×	`+-commutative_binary64_6828`
9×	`distribute-neg-in_binary64_6859` `*-commutative_binary64_6829`
8×	`mul0-rgt_binary64_6881` `mul0-lft_binary64_6880`
7×	`+-lft-identity_binary64_6882`
6×	`*-lft-identity_binary64_6887` `sub0-neg_binary64_6885` `associate-+l-_binary64_6833`
5×	`remove-double-neg_binary64_6886` `distribute-rgt-neg-out_binary64_6858` `associate-r_binary64_6838`
3×	`--rgt-identity_binary64_6884` `associate-+l+_binary64_6831`
2×	`*-rgt-identity_binary64_6888` `associate--r-_binary64_6837`
1×	`1-exp_binary64_6942` `+-rgt-identity_binary64_6883` `cancel-sign-sub_binary64_6863` `associate-l_binary64_6839` `associate--l+_binary64_6835` `associate-+r-_binary64_6832` `associate-+r+_binary64_6830`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `log-rec_binary64_6986` `log-div_binary64_6985` `log-prod_binary64_6984` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow3_binary64_6964` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `pow-plus_binary64_6961` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `exp-prod_binary64_6950` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-unmult_binary64_6935` `cube-mult_binary64_6928` `cube-div_binary64_6927` `cube-prod_binary64_6926` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `rem-sqrt-square_binary64_6911` `rem-square-sqrt_binary64_6910` `times-frac_binary64_6904` `div-sub_binary64_6903` `mul-1-neg_binary64_6890` `/-rgt-identity_binary64_6889` `div0_binary64_6879` `-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `pow-sqr_binary64_6871` `sqr-pow_binary64_6870` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `unswap-sqr_binary64_6866` `swap-sqr_binary64_6865` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-rgt-out--_binary64_6852` `distribute-rgt-out_binary64_6851` `distribute-lft-out--_binary64_6850` `distribute-lft-out_binary64_6849` `count-2_binary64_6846` `associate-/l/_binary64_6845` `associate-/r/_binary64_6844` `associate-/l_binary64_6843` `associate-/r_binary64_6842` `associate-l/_binary64_6841` `associate-*r/_binary64_6840` `associate--l-_binary64_6836`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	16	14
2	26	14
3	38	14
4	55	14
5	79	14
6	114	14
7	163	14
8	190	14
9	192	14
10	190	14
11	159	14

prune1.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 9 to 8 computations (11.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
0.1b	(*.f64 z (sin.f64 y))
0.1b	(*.f64 x (cos.f64 y))

rewrite64.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`add-sqr-sqrt_binary64_6920`
7×	`pow1_binary64_6959` `add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934` `add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
6×	`associate-l_binary64_6839` `associate-r_binary64_6838`
5×	`add-log-exp_binary64_6937`
2×	`pow-prod-down_binary64_6969` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931` `unswap-sqr_binary64_6866` `*-commutative_binary64_6829`
1×	`diff-log_binary64_6990` `flip3--_binary64_6902` `sub-neg_binary64_6891` `flip--_binary64_6873` `cancel-sign-sub-inv_binary64_6864`

Counts

3 → 48

Calls

3 calls:

4.0ms	(*.f64 x (cos.f64 y))
4.0ms	(*.f64 z (sin.f64 y))
4.0ms	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Compiler

Compiled 741 to 179 computations (75.8% saved)

series555.0ms (8.8%)

Error

0.1b

Counts

3 → 33

Calls

3 calls:

334.0ms	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
106.0ms	(*.f64 z (sin.f64 y))
93.0ms	(*.f64 x (cos.f64 y))

Compiler

Compiled 816 to 527 computations (35.4% saved)

simplify90.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

582×	`times-frac_binary64_6904`
427×	`distribute-rgt-neg-in_binary64_6856`
391×	`cancel-sign-sub-inv_binary64_6864`
312×	`distribute-lft-neg-in_binary64_6855`
237×	`*-commutative_binary64_6829`
191×	`sub-neg_binary64_6891`
169×	`unsub-neg_binary64_6892`
164×	`distribute-rgt-in_binary64_6848`
131×	`distribute-lft-in_binary64_6847`
129×	`distribute-neg-in_binary64_6859`
126×	`neg-mul-1_binary64_6894`
119×	`sqr-pow_binary64_6870`
117×	`neg-sub0_binary64_6893`
108×	`unswap-sqr_binary64_6866`
107×	`associate-l_binary64_6839`
101×	`distribute-lft-neg-out_binary64_6857`
100×	`associate-/l*_binary64_6843`
99×	`associate--r+_binary64_6834`
91×	`associate-r_binary64_6838`
62×	`distribute-rgt-out_binary64_6851`
61×	`associate-+l+_binary64_6831`
58×	`exp-prod_binary64_6950`
57×	`associate-+r+_binary64_6830`
55×	`associate--l+_binary64_6835`
54×	`associate-/r*_binary64_6842`
53×	`+-commutative_binary64_6828`
51×	`distribute-rgt-neg-out_binary64_6858`
48×	`associate-+l-_binary64_6833`
42×	`difference-of-squares_binary64_6867`
36×	`cube-prod_binary64_6926`
35×	`exp-sum_binary64_6944` `distribute-neg-out_binary64_6860`
32×	`distribute-lft-out_binary64_6849`
31×	`distribute-rgt-out--_binary64_6852`
30×	`mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `associate-*r/_binary64_6840`
28×	`sub0-neg_binary64_6885` `pow-sqr_binary64_6871`
25×	`log-prod_binary64_6984` `associate-/l/_binary64_6845`
24×	`associate-+r-_binary64_6832`
21×	`-rgt-identity_binary64_6888` `-lft-identity_binary64_6887` `associate--r-_binary64_6837`
19×	`+-rgt-identity_binary64_6883` `associate-*l/_binary64_6841`
18×	`rem-sqrt-square_binary64_6911` `swap-sqr_binary64_6865`
17×	`exp-diff_binary64_6946`
16×	`distribute-lft-out--_binary64_6850` `associate--l-_binary64_6836`
14×	`associate-/r/_binary64_6844`
12×	`cube-unmult_binary64_6935`
11×	`unpow3_binary64_6964` `remove-double-neg_binary64_6886`
10×	`unpow1/2_binary64_6962`
5×	`cube-neg_binary64_6925` `sqr-neg_binary64_6912` `div-sub_binary64_6903`
4×	`--rgt-identity_binary64_6884`
3×	`cube-mult_binary64_6928` `+-lft-identity_binary64_6882` `distribute-frac-neg_binary64_6861`
2×	`cancel-sign-sub_binary64_6863` `distribute-rgt1-in_binary64_6854`
1×	`cos-neg_binary64_7029` `sin-neg_binary64_7028` `unpow2_binary64_6963` `pow-plus_binary64_6961` `unpow1_binary64_6956` `div-exp_binary64_6949` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `distribute-lft1-in_binary64_6853` `count-2_binary64_6846`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `log-rec_binary64_6986` `log-div_binary64_6985` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-neg_binary64_6945` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-div_binary64_6927` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `rem-square-sqrt_binary64_6910` `mul-1-neg_binary64_6890` `/-rgt-identity_binary64_6889` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `distribute-neg-frac_binary64_6862`

Counts

81 → 37

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	110	940
1	258	911
2	722	899
3	1309	896
4	2544	896
5	4208	896
6	5060	896

prune44.0ms (0.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	32	5	37
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	5	38

Error

0.0b

Counts

38 → 5

Compiler

Compiled 599 to 193 computations (67.8% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite84.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_6929`
23×	`add-sqr-sqrt_binary64_6920`
15×	`add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
11×	`pow1_binary64_6959`
9×	`pow1/3_binary64_6980`
6×	`add-exp-log_binary64_6936` `swap-sqr_binary64_6865` `associate-l_binary64_6839` `associate-r_binary64_6838`
4×	`add-log-exp_binary64_6937` `add-cbrt-cube_binary64_6934` `unswap-sqr_binary64_6866`
2×	`pow-prod-down_binary64_6969` `pow-prod-up_binary64_6968` `pow-sqr_binary64_6871`
1×	`pow2_binary64_6979` `pow-plus_binary64_6961` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931` `*-commutative_binary64_6829`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 1524 to 318 computations (79.1% saved)

series508.0ms (8%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

143.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
122.0ms	(cbrt.f64 z)
116.0ms	(cbrt.f64 z)
115.0ms	(cbrt.f64 z)

Compiler

Compiled 663 to 450 computations (32.1% saved)

simplify99.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

586×	`log-prod_binary64_6984`
416×	`sqr-pow_binary64_6870`
335×	`associate-l_binary64_6839`
309×	`*-commutative_binary64_6829`
277×	`distribute-rgt-neg-in_binary64_6856`
257×	`distribute-lft-neg-in_binary64_6855`
227×	`associate-r_binary64_6838`
188×	`exp-prod_binary64_6950`
161×	`log-pow_binary64_6987`
149×	`cube-prod_binary64_6926`
128×	`pow-sqr_binary64_6871`
124×	`unswap-sqr_binary64_6866`
111×	`swap-sqr_binary64_6865`
104×	`associate-/l*_binary64_6843`
81×	`cancel-sign-sub-inv_binary64_6864`
75×	`associate-+l+_binary64_6831`
69×	`associate-+r+_binary64_6830`
61×	`distribute-rgt-in_binary64_6848`
60×	`distribute-lft-out_binary64_6849`
57×	`distribute-lft-in_binary64_6847`
54×	`neg-sub0_binary64_6893`
53×	`neg-mul-1_binary64_6894`
48×	`distribute-rgt-out_binary64_6851`
45×	`+-commutative_binary64_6828`
43×	`pow-plus_binary64_6961` `rem-sqrt-square_binary64_6911`
41×	`times-frac_binary64_6904` `sub-neg_binary64_6891`
37×	`associate-/r/_binary64_6844`
35×	`associate-*r/_binary64_6840`
32×	`unpow3_binary64_6964`
31×	`-rgt-identity_binary64_6888` `-lft-identity_binary64_6887` `associate-/l/_binary64_6845`
29×	`count-2_binary64_6846`
27×	`cube-mult_binary64_6928`
24×	`associate-/r*_binary64_6842`
17×	`log-div_binary64_6985` `cube-div_binary64_6927` `distribute-neg-frac_binary64_6862`
13×	`cube-unmult_binary64_6935` `distribute-rgt1-in_binary64_6854`
11×	`distribute-rgt-neg-out_binary64_6858`
10×	`unpow1/2_binary64_6962`
9×	`distribute-lft-neg-out_binary64_6857` `distribute-lft1-in_binary64_6853`
8×	`unpow2_binary64_6963` `associate-*l/_binary64_6841`
5×	`unpow1_binary64_6956`
3×	`unpow1/3_binary64_6965`
2×	`exp-sqrt_binary64_6951` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `mul-1-neg_binary64_6890`
1×	`exp-lft-sqr_binary64_6953` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-3cbrt-rft_binary64_6924` `rem-square-sqrt_binary64_6910` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `associate-+l-_binary64_6833`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-rec_binary64_6986` `pow-base-0_binary64_6982` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-cbrt_binary64_6952` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `div-sub_binary64_6903` `unsub-neg_binary64_6892` `/-rgt-identity_binary64_6889` `remove-double-neg_binary64_6886` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-rgt-out--_binary64_6852` `distribute-lft-out--_binary64_6850` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate--l+_binary64_6835` `associate--r+_binary64_6834` `associate-+r-_binary64_6832`

Counts

85 → 50

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	56	718
1	97	666
2	308	646
3	1135	632
4	2034	548
5	3257	548
6	4939	548
7	4873	548

prune54.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	48	7	55

Error

0.0b

Counts

55 → 7

Compiler

Compiled 1028 to 309 computations (69.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite95.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_6929`
23×	`add-sqr-sqrt_binary64_6920`
15×	`add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
11×	`pow1_binary64_6959`
9×	`pow1/3_binary64_6980`
6×	`add-exp-log_binary64_6936` `swap-sqr_binary64_6865` `associate-l_binary64_6839` `associate-r_binary64_6838`
4×	`add-log-exp_binary64_6937` `add-cbrt-cube_binary64_6934` `unswap-sqr_binary64_6866`
2×	`pow-prod-down_binary64_6969` `pow-prod-up_binary64_6968` `pow-sqr_binary64_6871`
1×	`pow2_binary64_6979` `pow-plus_binary64_6961` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931` `*-commutative_binary64_6829`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1524 to 318 computations (79.1% saved)

series496.0ms (7.8%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

139.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
127.0ms	(cbrt.f64 x)
110.0ms	(cbrt.f64 x)
109.0ms	(cbrt.f64 x)

Compiler

Compiled 663 to 450 computations (32.1% saved)

simplify100.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

586×	`log-prod_binary64_6984`
416×	`sqr-pow_binary64_6870`
335×	`associate-l_binary64_6839`
309×	`*-commutative_binary64_6829`
277×	`distribute-rgt-neg-in_binary64_6856`
257×	`distribute-lft-neg-in_binary64_6855`
227×	`associate-r_binary64_6838`
188×	`exp-prod_binary64_6950`
161×	`log-pow_binary64_6987`
149×	`cube-prod_binary64_6926`
128×	`pow-sqr_binary64_6871`
124×	`unswap-sqr_binary64_6866`
111×	`swap-sqr_binary64_6865`
104×	`associate-/l*_binary64_6843`
81×	`cancel-sign-sub-inv_binary64_6864`
75×	`associate-+l+_binary64_6831`
69×	`associate-+r+_binary64_6830`
61×	`distribute-rgt-in_binary64_6848`
60×	`distribute-lft-out_binary64_6849`
57×	`distribute-lft-in_binary64_6847`
54×	`neg-sub0_binary64_6893`
53×	`neg-mul-1_binary64_6894`
48×	`distribute-rgt-out_binary64_6851`
45×	`+-commutative_binary64_6828`
43×	`pow-plus_binary64_6961` `rem-sqrt-square_binary64_6911`
41×	`times-frac_binary64_6904` `sub-neg_binary64_6891`
37×	`associate-/r/_binary64_6844`
35×	`associate-*r/_binary64_6840`
32×	`unpow3_binary64_6964`
31×	`-rgt-identity_binary64_6888` `-lft-identity_binary64_6887` `associate-/l/_binary64_6845`
29×	`count-2_binary64_6846`
27×	`cube-mult_binary64_6928`
24×	`associate-/r*_binary64_6842`
17×	`log-div_binary64_6985` `cube-div_binary64_6927` `distribute-neg-frac_binary64_6862`
13×	`cube-unmult_binary64_6935` `distribute-rgt1-in_binary64_6854`
11×	`distribute-rgt-neg-out_binary64_6858`
10×	`unpow1/2_binary64_6962`
9×	`distribute-lft-neg-out_binary64_6857` `distribute-lft1-in_binary64_6853`
8×	`unpow2_binary64_6963` `associate-*l/_binary64_6841`
5×	`unpow1_binary64_6956`
3×	`unpow1/3_binary64_6965`
2×	`exp-sqrt_binary64_6951` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `mul-1-neg_binary64_6890`
1×	`exp-lft-sqr_binary64_6953` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-3cbrt-rft_binary64_6924` `rem-square-sqrt_binary64_6910` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `associate-+l-_binary64_6833`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-rec_binary64_6986` `pow-base-0_binary64_6982` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-cbrt_binary64_6952` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `div-sub_binary64_6903` `unsub-neg_binary64_6892` `/-rgt-identity_binary64_6889` `remove-double-neg_binary64_6886` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-rgt-out--_binary64_6852` `distribute-lft-out--_binary64_6850` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate--l+_binary64_6835` `associate--r+_binary64_6834` `associate-+r-_binary64_6832`

Counts

85 → 50

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	56	718
1	97	666
2	308	646
3	1135	632
4	2034	548
5	3257	548
6	4939	548
7	4873	548

prune57.0ms (0.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	49	8	57

Error

0.0b

Counts

57 → 8

Compiler

Compiled 1032 to 312 computations (69.8% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
1.1b	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 5)

rewrite93.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`cbrt-prod_binary64_6929`
13×	`add-cube-cbrt_binary64_6933` `add-sqr-sqrt_binary64_6920` `*-un-lft-identity_binary64_6898`
9×	`unpow-prod-down_binary64_6977`
5×	`pow1_binary64_6959` `add-exp-log_binary64_6936`
4×	`pow1/3_binary64_6980` `add-log-exp_binary64_6937` `add-cbrt-cube_binary64_6934`
3×	`pow-unpow_binary64_6975`
2×	`pow-pow_binary64_6970`
1×	`pow-to-exp_binary64_6967` `pow-exp_binary64_6966` `sqr-pow_binary64_6870`

Counts

4 → 63

Calls

4 calls:

4.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 5)
2.0ms	(cbrt.f64 (cbrt.f64 x))
1.0ms	(cbrt.f64 (cbrt.f64 x))
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1601 to 492 computations (69.3% saved)

series651.0ms (10.3%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

241.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 5)
148.0ms	(cbrt.f64 (cbrt.f64 x))
137.0ms	(cbrt.f64 (cbrt.f64 x))
109.0ms	(cbrt.f64 x)

Compiler

Compiled 813 to 564 computations (30.6% saved)

simplify71.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

614×	`distribute-rgt-in_binary64_6848`
538×	`unswap-sqr_binary64_6866`
455×	`log-prod_binary64_6984`
445×	`distribute-rgt-neg-in_binary64_6856`
444×	`distribute-lft-neg-in_binary64_6855`
373×	`*-commutative_binary64_6829`
264×	`sqr-pow_binary64_6870`
226×	`associate-l_binary64_6839`
178×	`associate-r_binary64_6838`
127×	`cancel-sign-sub-inv_binary64_6864`
124×	`exp-prod_binary64_6950`
95×	`cube-prod_binary64_6926`
61×	`swap-sqr_binary64_6865`
59×	`neg-sub0_binary64_6893`
57×	`cube-unmult_binary64_6935` `neg-mul-1_binary64_6894` `pow-sqr_binary64_6871` `distribute-rgt-out_binary64_6851`
49×	`pow-plus_binary64_6961`
40×	`log-pow_binary64_6987`
35×	`distribute-lft-in_binary64_6847`
23×	`rem-sqrt-square_binary64_6911` `associate-/l*_binary64_6843`
22×	`distribute-lft-out_binary64_6849`
19×	`distribute-rgt-neg-out_binary64_6858`
18×	`sub-neg_binary64_6891`
13×	`distribute-lft-neg-out_binary64_6857` `associate-+l+_binary64_6831` `associate-+r+_binary64_6830`
11×	`unpow3_binary64_6964` `cube-mult_binary64_6928` `associate-/l/_binary64_6845`
9×	`count-2_binary64_6846`
6×	`-rgt-identity_binary64_6888` `-lft-identity_binary64_6887` `associate-*r/_binary64_6840`
5×	`mul-1-neg_binary64_6890`
4×	`unpow1/3_binary64_6965` `times-frac_binary64_6904` `+-commutative_binary64_6828`
3×	`associate-*l/_binary64_6841`
2×	`rem-3cbrt-lft_binary64_6923` `/-rgt-identity_binary64_6889` `distribute-rgt1-in_binary64_6854` `associate-/r/_binary64_6844`
1×	`unpow1/2_binary64_6962` `unpow1_binary64_6956` `1-exp_binary64_6942` `rem-cbrt-cube_binary64_6922`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-rec_binary64_6986` `log-div_binary64_6985` `pow-base-0_binary64_6982` `unpow2_binary64_6963` `exp-to-pow_binary64_6960` `pow-base-1_binary64_6958` `unpow0_binary64_6957` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-diff_binary64_6946` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-div_binary64_6927` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `rem-square-sqrt_binary64_6910` `div-sub_binary64_6903` `unsub-neg_binary64_6892` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `difference-of-squares_binary64_6867` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-lft1-in_binary64_6853` `distribute-rgt-out--_binary64_6852` `distribute-lft-out--_binary64_6850` `associate-/r_binary64_6842` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate--l+_binary64_6835` `associate--r+_binary64_6834` `associate-+l-_binary64_6833` `associate-+r-_binary64_6832`

Counts

75 → 27

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	78	790
1	154	751
2	360	751
3	1158	735
4	2576	723
5	5259	723

prune34.0ms (0.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	27	8	35

Error

0.0b

Counts

35 → 8

Compiler

Compiled 639 to 230 computations (64% saved)

regimes404.0ms (6.4%)

Accuracy

Total 0.1b remaining (77.4%)

Threshold costs 0.1b (77.4%)

Compiler

Compiled 3732 to 2438 computations (34.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64_6829`
4×	`sub-neg_binary64_6891` `+-commutative_binary64_6828`
3×	`neg-mul-1_binary64_6894` `neg-sub0_binary64_6893`
2×	`cancel-sign-sub-inv_binary64_6864` `distribute-rgt-neg-in_binary64_6856`
1×	`distribute-lft-neg-out_binary64_6857` `distribute-lft-neg-in_binary64_6855`
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_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `unpow1_binary64_6956` `e-exp-1_binary64_6943` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `unsub-neg_binary64_6892` `mul-1-neg_binary64_6890` `/-rgt-identity_binary64_6889` `-rgt-identity_binary64_6888` `-lft-identity_binary64_6887` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `cancel-sign-sub_binary64_6863` `distribute-neg-frac_binary64_6862` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-neg-in_binary64_6859` `distribute-rgt-neg-out_binary64_6858`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	16	14
2	26	14
3	32	14
4	36	14
5	37	14
6	37	14

end0.0ms (0%)

sample2.3s (36.3%)

Algorithm

1×

intervals

Results

575.0ms	2074×	body	1024	valid
311.0ms	4475×	body	128	valid
195.0ms	935×	body	512	valid
78.0ms	513×	body	256	valid
1.0ms	3×	body	2048	valid

Compiler

Compiled 946 to 621 computations (34.4% saved)

Iter	Nodes	Cost
0	22	56
1	49	56
2	80	56
3	123	56
4	179	56
5	257	56
6	390	56
7	500	56
8	577	56
9	544	56
10	493	56
0	3	3
1	3	3

Iter	Nodes	Cost
0	9	14
1	16	14
2	26	14
3	38	14
4	55	14
5	79	14
6	114	14
7	163	14
8	190	14
9	192	14
10	190	14
11	159	14

Iter	Nodes	Cost
0	22	56
1	49	56
2	80	56
3	123	56
4	179	56
5	257	56
6	390	56
7	500	56
8	577	56
9	544	56
10	493	56
0	3	3
1	3	3

Iter	Nodes	Cost
0	9	14
1	16	14
2	26	14
3	38	14
4	55	14
5	79	14
6	114	14
7	163	14
8	190	14
9	192	14
10	190	14
11	159	14

Details

analyze414.0ms (6.5%)

sample50.0ms (0.8%)

simplify15.0ms (0.2%)

prune1.0ms (0%)

localize8.0ms (0.1%)

rewrite64.0ms (1%)

series555.0ms (8.8%)

simplify90.0ms (1.4%)

prune44.0ms (0.7%)

localize12.0ms (0.2%)

rewrite84.0ms (1.3%)

series508.0ms (8%)

simplify99.0ms (1.6%)

prune54.0ms (0.9%)

localize14.0ms (0.2%)

rewrite95.0ms (1.5%)

series496.0ms (7.8%)

simplify100.0ms (1.6%)

prune57.0ms (0.9%)

localize14.0ms (0.2%)

rewrite93.0ms (1.5%)

series651.0ms (10.3%)

simplify71.0ms (1.1%)

prune34.0ms (0.5%)

regimes404.0ms (6.4%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.3s (36.3%)

Profiling

Iter	Nodes	Cost
0	22	56
1	49	56
2	80	56
3	123	56
4	179	56
5	257	56
6	390	56
7	500	56
8	577	56
9	544	56
10	493	56
0	3	3
1	3	3

Iter	Nodes	Cost
0	9	14
1	16	14
2	26	14
3	38	14
4	55	14
5	79	14
6	114	14
7	163	14
8	190	14
9	192	14
10	190	14
11	159	14