Details

analyze77.0ms (0.4%)

Algorithm

1×

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
12.5%	87.4%	0.1%	5
46.8%	53.1%	0.1%	6
70.2%	29.7%	0.1%	7
76.5%	23.4%	0.1%	8
83.5%	16.4%	0.1%	9
87%	12.9%	0.1%	10
91.1%	8.8%	0.1%	11
93.2%	6.7%	0.1%	12
95.4%	4.5%	0.1%	13
96.5%	3.4%	0.1%	14

Compiler

Compiled 18 to 10 computations (44.4% saved)

sample18.0ms (0.1%)

Algorithm

1×

intervals

Results

8.0ms

256×

body

128

valid

Compiler

Compiled 35 to 21 computations (40% saved)

simplify456.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

384×	`distribute-rgt-out--_binary64_6852`
379×	`exp-prod_binary64_6950`
357×	`associate-/r/_binary64_6844`
356×	`cube-prod_binary64_6926`
316×	`distribute-rgt-out_binary64_6851`
312×	`distribute-rgt-in_binary64_6848`
305×	`times-frac_binary64_6904`
284×	`distribute-lft-in_binary64_6847`
221×	`associate-l_binary64_6839`
195×	`associate-r_binary64_6838`
182×	`cancel-sign-sub-inv_binary64_6864`
170×	`+-commutative_binary64_6828`
154×	`associate-/l*_binary64_6843`
144×	`associate-/l/_binary64_6845`
140×	`associate-+r+_binary64_6830`
138×	`pow-plus_binary64_6961`
137×	`sqr-pow_binary64_6870`
134×	`associate-+l+_binary64_6831`
117×	`associate-*l/_binary64_6841`
111×	`pow-sqr_binary64_6871`
98×	`swap-sqr_binary64_6865`
96×	`exp-diff_binary64_6946`
93×	`unswap-sqr_binary64_6866`
87×	`exp-sum_binary64_6944`
86×	`sub-neg_binary64_6891`
76×	`associate-*r/_binary64_6840`
72×	`distribute-rgt-neg-in_binary64_6856`
71×	`associate-/r*_binary64_6842`
68×	`associate--l+_binary64_6835` `*-commutative_binary64_6829`
65×	`distribute-rgt1-in_binary64_6854`
62×	`associate--r-_binary64_6837`
55×	`*-rgt-identity_binary64_6888`
54×	`pow-base-1_binary64_6958`
53×	`*-lft-identity_binary64_6887`
49×	`associate--r+_binary64_6834`
45×	`associate--l-_binary64_6836`
44×	`cube-div_binary64_6927`
36×	`unpow3_binary64_6964`
34×	`distribute-lft-neg-in_binary64_6855`
33×	`/-rgt-identity_binary64_6889`
29×	`cube-mult_binary64_6928`
24×	`distribute-lft-out_binary64_6849`
23×	`distribute-lft-out--_binary64_6850`
16×	`distribute-neg-in_binary64_6859` `distribute-lft1-in_binary64_6853`
13×	`prod-exp_binary64_6947`
12×	`cube-unmult_binary64_6935` `neg-mul-1_binary64_6894` `neg-sub0_binary64_6893`
9×	`div-exp_binary64_6949` `+-inverses_binary64_6877`
8×	`div-sub_binary64_6903`
7×	`exp-lft-sqr_binary64_6953`
6×	`count-2_binary64_6846`
5×	`unsub-neg_binary64_6892` `--rgt-identity_binary64_6884` `difference-of-squares_binary64_6867` `associate-+r-_binary64_6832`
3×	`rec-exp_binary64_6948` `remove-double-neg_binary64_6886` `distribute-neg-frac_binary64_6862`
2×	`+-rgt-identity_binary64_6883` `remove-double-div_binary64_6874` `difference-of-sqr-1_binary64_6868`
1×	`exp-sqrt_binary64_6951` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `div0_binary64_6879` `*-inverses_binary64_6878` `lft-mult-inverse_binary64_6876`
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` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `exp-to-pow_binary64_6960` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-cbrt_binary64_6952` `exp-neg_binary64_6945` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `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` `mul-1-neg_binary64_6890` `sub0-neg_binary64_6885` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `rgt-mult-inverse_binary64_6875` `difference-of-sqr--1_binary64_6869` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-rgt-neg-out_binary64_6858` `distribute-lft-neg-out_binary64_6857` `associate-+l-_binary64_6833`

Counts

1 → 5

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	39	25
2	139	25
3	444	25
4	1335	25
5	1984	25
6	2008	25
7	2188	25
8	2899	25
9	3946	25

prune13.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	2	3	5
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	2	4	6

Error

0.1b

Counts

6 → 4

Compiler

Compiled 153 to 73 computations (52.3% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 x (+.f64 x y))
0.0b	(/.f64 y (+.f64 x y))
0.0b	(/.f64 (/.f64 y (+.f64 x y)) (+.f64 x (+.f64 y 1)))
0.1b	(*.f64 (/.f64 x (+.f64 x y)) (/.f64 (/.f64 y (+.f64 x y)) (+.f64 x (+.f64 y 1))))

rewrite610.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

429×	`*-un-lft-identity_binary64_6898`
357×	`times-frac_binary64_6904`
177×	`add-sqr-sqrt_binary64_6920`
156×	`add-cube-cbrt_binary64_6933`
155×	`distribute-lft-out_binary64_6849`
96×	`associate-r_binary64_6838`
34×	`add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
32×	`associate-/r/_binary64_6844`
24×	`associate-/l*_binary64_6843`
18×	`associate-l_binary64_6839`
16×	`div-inv_binary64_6895` `flip3-+_binary64_6901` `flip-+_binary64_6872`
14×	`div-exp_binary64_6949` `cbrt-undiv_binary64_6932`
13×	`associate-/r*_binary64_6842`
6×	`pow1_binary64_6959` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931` `unswap-sqr_binary64_6866`
4×	`add-log-exp_binary64_6937`
3×	`frac-2neg_binary64_6909` `clear-num_binary64_6897`
1×	`pow-prod-down_binary64_6969` `frac-times_binary64_6908` `associate-l/_binary64_6841` `associate-r/_binary64_6840` `*-commutative_binary64_6829` `associate-/l/_binary64_6845`

Counts

4 → 340

Calls

4 calls:

58.0ms	(*.f64 (/.f64 x (+.f64 x y)) (/.f64 (/.f64 y (+.f64 x y)) (+.f64 x (+.f64 y 1))))
14.0ms	(/.f64 (/.f64 y (+.f64 x y)) (+.f64 x (+.f64 y 1)))
5.0ms	(/.f64 y (+.f64 x y))
5.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 10078 to 3607 computations (64.2% saved)

series1.3s (6.9%)

Error

0.0b

Counts

4 → 92

Calls

4 calls:

529.0ms	(*.f64 (/.f64 x (+.f64 x y)) (/.f64 (/.f64 y (+.f64 x y)) (+.f64 x (+.f64 y 1))))
375.0ms	(/.f64 (/.f64 y (+.f64 x y)) (+.f64 x (+.f64 y 1)))
122.0ms	(/.f64 y (+.f64 x y))
117.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 7484 to 5375 computations (28.2% saved)

simplify960.0ms (5%)

Algorithm

1×	egg-herbie

Rules

443×	`associate-*l/_binary64_6841`
441×	`associate-/l*_binary64_6843`
435×	`times-frac_binary64_6904`
433×	`associate-/r*_binary64_6842`
274×	`associate-/l/_binary64_6845`
160×	`*-commutative_binary64_6829`
133×	`associate-*r/_binary64_6840`
123×	`sub-neg_binary64_6891`
111×	`+-commutative_binary64_6828`
106×	`distribute-rgt-in_binary64_6848`
94×	`distribute-lft-in_binary64_6847`
78×	`associate-/r/_binary64_6844`
73×	`associate-+r+_binary64_6830`
62×	`distribute-neg-in_binary64_6859`
55×	`unswap-sqr_binary64_6866`
48×	`cancel-sign-sub-inv_binary64_6864`
37×	`neg-mul-1_binary64_6894` `neg-sub0_binary64_6893`
27×	`sqr-pow_binary64_6870`
26×	`associate--r+_binary64_6834`
22×	`associate--l+_binary64_6835`
21×	`/-rgt-identity_binary64_6889`
13×	`pow-sqr_binary64_6871`
12×	`log-div_binary64_6985`
10×	`associate-l_binary64_6839`
8×	`*-lft-identity_binary64_6887` `difference-of-squares_binary64_6867` `distribute-neg-frac_binary64_6862`
7×	`div-sub_binary64_6903` `distribute-rgt-out_binary64_6851`
6×	`cube-unmult_binary64_6935` `*-rgt-identity_binary64_6888` `distribute-rgt-neg-in_binary64_6856`
5×	`associate-r_binary64_6838`
4×	`unpow3_binary64_6964` `unpow2_binary64_6963` `pow-plus_binary64_6961` `exp-prod_binary64_6950` `cube-mult_binary64_6928` `swap-sqr_binary64_6865`
3×	`log-prod_binary64_6984` `distribute-lft-neg-out_binary64_6857` `distribute-lft-neg-in_binary64_6855`
2×	`cube-div_binary64_6927` `unsub-neg_binary64_6892` `associate-+r-_binary64_6832`
1×	`div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `1-exp_binary64_6942` `*-inverses_binary64_6878` `distribute-rgt-out--_binary64_6852` `distribute-lft-out_binary64_6849` `associate--l-_binary64_6836` `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-pow_binary64_6987` `log-rec_binary64_6986` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow1/2_binary64_6962` `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-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-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` `mul-1-neg_binary64_6890` `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_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` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-rgt-neg-out_binary64_6858` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-lft-out--_binary64_6850` `count-2_binary64_6846` `associate--r-_binary64_6837` `associate-+l+_binary64_6831`

Counts

432 → 723

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	632	13408
1	1890	12856

prune1.9s (9.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	716	7	723
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	719	8	727

Error

Counts

727 → 8

Compiler

Compiled 24771 to 10155 computations (59% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 x (+.f64 x y))
0.0b	(/.f64 (*.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1)))
0.1b	(/.f64 (/.f64 (*.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1))) (+.f64 x y))
6.5b	(*.f64 y (/.f64 x (+.f64 x y)))

rewrite289.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

119×	`*-un-lft-identity_binary64_6898`
99×	`times-frac_binary64_6904`
51×	`add-sqr-sqrt_binary64_6920`
46×	`add-cube-cbrt_binary64_6933`
40×	`distribute-lft-out_binary64_6849`
34×	`add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
18×	`associate-r_binary64_6838` `associate-/r/_binary64_6844`
15×	`associate-/l*_binary64_6843`
14×	`div-exp_binary64_6949` `cbrt-undiv_binary64_6932`
13×	`associate-/r*_binary64_6842`
9×	`div-inv_binary64_6895` `flip3-+_binary64_6901` `flip-+_binary64_6872`
6×	`pow1_binary64_6959` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931`
4×	`add-log-exp_binary64_6937`
3×	`associate-l_binary64_6839` `frac-2neg_binary64_6909` `clear-num_binary64_6897`
2×	`unswap-sqr_binary64_6866` `associate-*r/_binary64_6840` `associate-/l/_binary64_6845`
1×	`pow-prod-down_binary64_6969` `*-commutative_binary64_6829`

Counts

4 → 180

Calls

4 calls:

18.0ms	(/.f64 (/.f64 (*.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1))) (+.f64 x y))
17.0ms	(/.f64 (*.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1)))
11.0ms	(*.f64 y (/.f64 x (+.f64 x y)))
5.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 5004 to 1853 computations (63% saved)

series1.4s (7.2%)

Error

Counts

4 → 92

Calls

4 calls:

523.0ms	(/.f64 (/.f64 (*.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1))) (+.f64 x y))
418.0ms	(/.f64 (*.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1)))
131.0ms	(*.f64 y (/.f64 x (+.f64 x y)))
121.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 7200 to 5236 computations (27.3% saved)

simplify986.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

501×	`times-frac_binary64_6904`
417×	`associate-/r*_binary64_6842`
384×	`associate-/l*_binary64_6843`
226×	`associate-/l/_binary64_6845`
196×	`associate-*l/_binary64_6841`
123×	`sub-neg_binary64_6891`
115×	`distribute-rgt-in_binary64_6848`
113×	`+-commutative_binary64_6828`
103×	`*-commutative_binary64_6829`
94×	`distribute-lft-in_binary64_6847`
84×	`associate-/r/_binary64_6844`
77×	`associate-*r/_binary64_6840`
73×	`associate-+r+_binary64_6830`
63×	`distribute-neg-in_binary64_6859`
58×	`unswap-sqr_binary64_6866`
51×	`cancel-sign-sub-inv_binary64_6864`
39×	`neg-mul-1_binary64_6894` `neg-sub0_binary64_6893`
27×	`sqr-pow_binary64_6870` `associate--r+_binary64_6834`
23×	`associate--l+_binary64_6835`
15×	`/-rgt-identity_binary64_6889`
13×	`log-div_binary64_6985` `pow-sqr_binary64_6871` `distribute-neg-frac_binary64_6862`
11×	`div-sub_binary64_6903`
10×	`distribute-rgt-neg-in_binary64_6856`
9×	`associate-l_binary64_6839`
8×	`difference-of-squares_binary64_6867`
7×	`*-lft-identity_binary64_6887` `distribute-lft-neg-in_binary64_6855` `distribute-rgt-out_binary64_6851`
6×	`cube-unmult_binary64_6935` `*-rgt-identity_binary64_6888`
4×	`unpow3_binary64_6964` `unpow2_binary64_6963` `pow-plus_binary64_6961` `exp-prod_binary64_6950` `cube-mult_binary64_6928` `swap-sqr_binary64_6865` `associate-r_binary64_6838`
3×	`log-prod_binary64_6984` `cube-div_binary64_6927` `distribute-lft-neg-out_binary64_6857`
2×	`cube-prod_binary64_6926` `unsub-neg_binary64_6892` `distribute-lft-out_binary64_6849` `associate-+r-_binary64_6832`
1×	`div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `1-exp_binary64_6942` `*-inverses_binary64_6878` `distribute-rgt-out--_binary64_6852` `associate--l-_binary64_6836`
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` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow1/2_binary64_6962` `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-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-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` `mul-1-neg_binary64_6890` `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_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` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-rgt-neg-out_binary64_6858` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-lft-out--_binary64_6850` `count-2_binary64_6846` `associate--r-_binary64_6837` `associate-+l-_binary64_6833` `associate-+l+_binary64_6831`

Counts

272 → 681

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	537	9062
1	1540	8594

prune1.7s (8.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	680	1	681
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	681	8	689

Error

Counts

689 → 8

Compiler

Compiled 22536 to 9699 computations (57% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 y x))
0.0b	(/.f64 (*.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1)))
0.1b	(.f64 (/.f64 (.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1))) (/.f64 1 (+.f64 y x)))
6.5b	(*.f64 y (/.f64 x (+.f64 x y)))

rewrite301.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

82×	`add-exp-log_binary64_6936`
70×	`*-un-lft-identity_binary64_6898`
52×	`add-cbrt-cube_binary64_6934`
49×	`times-frac_binary64_6904`
46×	`add-sqr-sqrt_binary64_6920`
36×	`associate-r_binary64_6838`
34×	`add-cube-cbrt_binary64_6933`
31×	`div-exp_binary64_6949`
28×	`prod-exp_binary64_6947`
19×	`distribute-lft-out_binary64_6849`
18×	`cbrt-undiv_binary64_6932`
16×	`cbrt-unprod_binary64_6931`
14×	`associate-l_binary64_6839`
10×	`associate-/r/_binary64_6844`
9×	`pow1_binary64_6959` `associate-/r*_binary64_6842`
5×	`unswap-sqr_binary64_6866` `div-inv_binary64_6895` `flip3-+_binary64_6901` `flip-+_binary64_6872` `1-exp_binary64_6942` `rec-exp_binary64_6948`
4×	`add-log-exp_binary64_6937` `associate-/l*_binary64_6843`
3×	`associate-*r/_binary64_6840`
2×	`pow-prod-down_binary64_6969` `*-commutative_binary64_6829` `frac-2neg_binary64_6909` `clear-num_binary64_6897`
1×	`frac-times_binary64_6908` `un-div-inv_binary64_6896` `associate-*l/_binary64_6841` `associate-/l/_binary64_6845` `inv-pow_binary64_6983` `pow-flip_binary64_6972`

Counts

4 → 173

Calls

4 calls:

27.0ms	(.f64 (/.f64 (.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1))) (/.f64 1 (+.f64 y x)))
13.0ms	(/.f64 (*.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1)))
10.0ms	(*.f64 y (/.f64 x (+.f64 x y)))
5.0ms	(/.f64 1 (+.f64 y x))

Compiler

Compiled 4981 to 2069 computations (58.5% saved)

series1.4s (7.3%)

Error

Counts

4 → 92

Calls

4 calls:

528.0ms	(.f64 (/.f64 (.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1))) (/.f64 1 (+.f64 y x)))
420.0ms	(/.f64 (*.f64 y (/.f64 x (+.f64 x y))) (+.f64 x (+.f64 y 1)))
135.0ms	(*.f64 y (/.f64 x (+.f64 x y)))
117.0ms	(/.f64 1 (+.f64 y x))

Compiler

Compiled 7532 to 5500 computations (27% saved)

simplify907.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

479×	`times-frac_binary64_6904`
397×	`associate-/l*_binary64_6843`
389×	`associate-/r*_binary64_6842`
319×	`associate-*l/_binary64_6841`
286×	`associate-*r/_binary64_6840`
139×	`*-commutative_binary64_6829`
126×	`sub-neg_binary64_6891`
114×	`associate-/l/_binary64_6845` `+-commutative_binary64_6828`
87×	`distribute-rgt-in_binary64_6848`
73×	`associate-+r+_binary64_6830`
68×	`associate-/r/_binary64_6844`
67×	`distribute-lft-in_binary64_6847`
63×	`distribute-neg-in_binary64_6859`
57×	`unswap-sqr_binary64_6866`
54×	`cancel-sign-sub-inv_binary64_6864`
40×	`neg-mul-1_binary64_6894` `neg-sub0_binary64_6893`
28×	`sqr-pow_binary64_6870`
27×	`associate--r+_binary64_6834`
23×	`associate--l+_binary64_6835`
20×	`*-rgt-identity_binary64_6888`
16×	`associate-l_binary64_6839`
15×	`distribute-rgt-neg-in_binary64_6856`
13×	`pow-sqr_binary64_6871`
12×	`log-div_binary64_6985` `difference-of-squares_binary64_6867`
11×	`exp-prod_binary64_6950` `distribute-neg-frac_binary64_6862` `associate-r_binary64_6838`
10×	`log-prod_binary64_6984` `swap-sqr_binary64_6865`
9×	`/-rgt-identity_binary64_6889`
8×	`cube-unmult_binary64_6935` `distribute-lft-neg-in_binary64_6855`
7×	`distribute-rgt-out_binary64_6851`
4×	`unpow3_binary64_6964` `unpow2_binary64_6963` `pow-plus_binary64_6961` `cube-mult_binary64_6928` `distribute-lft-neg-out_binary64_6857` `associate-+r-_binary64_6832`
3×	`unsub-neg_binary64_6892` `*-lft-identity_binary64_6887`
2×	`log-rec_binary64_6986` `cube-prod_binary64_6926` `distribute-lft-out_binary64_6849`
1×	`div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `1-exp_binary64_6942` `rem-log-exp_binary64_6939` `cube-div_binary64_6927` `rem-sqrt-square_binary64_6911` `div-sub_binary64_6903` `*-inverses_binary64_6878` `distribute-rgt-out--_binary64_6852` `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-pow_binary64_6987` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow1/2_binary64_6962` `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-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-exp-log_binary64_6938` `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-square-sqrt_binary64_6910` `mul-1-neg_binary64_6890` `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_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` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-rgt-neg-out_binary64_6858` `distribute-rgt1-in_binary64_6854` `distribute-lft1-in_binary64_6853` `distribute-lft-out--_binary64_6850` `count-2_binary64_6846` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate-+l+_binary64_6831`

Counts

265 → 463

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	552	8472
1	1590	7724

prune1.1s (5.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	463	0	463
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	463	8	471

Error

Counts

471 → 8

Compiler

Compiled 16196 to 7687 computations (52.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 x (+.f64 y 1)) y)
0.1b	(.f64 (/.f64 x (+.f64 x y)) (/.f64 1 (.f64 (/.f64 (+.f64 x (+.f64 y 1)) y) (+.f64 x y))))
0.1b	(*.f64 (/.f64 (+.f64 x (+.f64 y 1)) y) (+.f64 x y))
0.3b	(/.f64 1 (*.f64 (/.f64 (+.f64 x (+.f64 y 1)) y) (+.f64 x y)))

rewrite354.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

106×	`add-exp-log_binary64_6936`
79×	`*-un-lft-identity_binary64_6898`
52×	`add-cbrt-cube_binary64_6934`
50×	`times-frac_binary64_6904`
46×	`add-sqr-sqrt_binary64_6920`
40×	`prod-exp_binary64_6947`
39×	`div-exp_binary64_6949`
37×	`associate-l_binary64_6839`
36×	`add-cube-cbrt_binary64_6933`
25×	`distribute-lft-out_binary64_6849`
18×	`cbrt-undiv_binary64_6932`
16×	`cbrt-unprod_binary64_6931` `associate-r_binary64_6838`
12×	`associate-/r/_binary64_6844`
11×	`pow1_binary64_6959`
9×	`1-exp_binary64_6942` `rec-exp_binary64_6948`
8×	`flip3-+_binary64_6901` `flip-+_binary64_6872` `associate-/l*_binary64_6843`
7×	`frac-times_binary64_6908` `associate-*r/_binary64_6840`
5×	`div-inv_binary64_6895`
4×	`add-log-exp_binary64_6937` `associate-l/_binary64_6841` `associate-/r_binary64_6842` `unswap-sqr_binary64_6866`
3×	`pow-prod-down_binary64_6969`
2×	`pow-flip_binary64_6972` `frac-2neg_binary64_6909` `clear-num_binary64_6897` `*-commutative_binary64_6829` `associate-/l/_binary64_6845`
1×	`inv-pow_binary64_6983` `distribute-rgt-in_binary64_6848` `distribute-lft-in_binary64_6847` `un-div-inv_binary64_6896`

Counts

4 → 192

Calls

4 calls:

25.0ms	(.f64 (/.f64 x (+.f64 x y)) (/.f64 1 (.f64 (/.f64 (+.f64 x (+.f64 y 1)) y) (+.f64 x y))))
19.0ms	(*.f64 (/.f64 (+.f64 x (+.f64 y 1)) y) (+.f64 x y))
14.0ms	(/.f64 1 (*.f64 (/.f64 (+.f64 x (+.f64 y 1)) y) (+.f64 x y)))
9.0ms	(/.f64 (+.f64 x (+.f64 y 1)) y)

Compiler

Compiled 5531 to 2521 computations (54.4% saved)

series1.5s (7.7%)

Error

Counts

4 → 74

Calls

4 calls:

533.0ms	(.f64 (/.f64 x (+.f64 x y)) (/.f64 1 (.f64 (/.f64 (+.f64 x (+.f64 y 1)) y) (+.f64 x y))))
385.0ms	(/.f64 1 (*.f64 (/.f64 (+.f64 x (+.f64 y 1)) y) (+.f64 x y)))
271.0ms	(*.f64 (/.f64 (+.f64 x (+.f64 y 1)) y) (+.f64 x y))
130.0ms	(/.f64 (+.f64 x (+.f64 y 1)) y)

Compiler

Compiled 6508 to 4756 computations (26.9% saved)

simplify1.0s (5.3%)

Algorithm

1×	egg-herbie

Rules

535×	`times-frac_binary64_6904`
438×	`associate-/r*_binary64_6842`
356×	`associate-/l*_binary64_6843`
304×	`associate-*l/_binary64_6841`
160×	`distribute-rgt-in_binary64_6848`
153×	`*-commutative_binary64_6829`
136×	`distribute-lft-in_binary64_6847`
120×	`+-commutative_binary64_6828`
102×	`sub-neg_binary64_6891`
96×	`associate-*r/_binary64_6840`
84×	`associate-+r+_binary64_6830`
71×	`associate-/r/_binary64_6844`
58×	`distribute-neg-in_binary64_6859`
55×	`associate-/l/_binary64_6845`
54×	`unswap-sqr_binary64_6866` `cancel-sign-sub-inv_binary64_6864`
33×	`neg-mul-1_binary64_6894` `neg-sub0_binary64_6893`
28×	`sqr-pow_binary64_6870`
25×	`associate--r+_binary64_6834`
24×	`*-rgt-identity_binary64_6888`
14×	`associate-l_binary64_6839` `associate--l+_binary64_6835`
13×	`pow-sqr_binary64_6871` `distribute-rgt-neg-in_binary64_6856`
11×	`log-div_binary64_6985` `associate-r_binary64_6838`
10×	`swap-sqr_binary64_6865`
9×	`log-prod_binary64_6984`
8×	`exp-prod_binary64_6950` `cube-unmult_binary64_6935` `distribute-rgt-out_binary64_6851`
7×	`/-rgt-identity_binary64_6889` `distribute-lft-neg-in_binary64_6855`
6×	`distribute-neg-frac_binary64_6862`
4×	`unpow3_binary64_6964` `unpow2_binary64_6963` `pow-plus_binary64_6961` `cube-mult_binary64_6928` `difference-of-squares_binary64_6867` `associate-+r-_binary64_6832`
3×	`*-lft-identity_binary64_6887` `distribute-lft-neg-out_binary64_6857`
2×	`log-rec_binary64_6986` `cube-prod_binary64_6926` `unsub-neg_binary64_6892` `distribute-rgt-out--_binary64_6852` `associate-+l-_binary64_6833`
1×	`div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `exp-sum_binary64_6944` `1-exp_binary64_6942` `rem-log-exp_binary64_6939` `rem-sqrt-square_binary64_6911` `*-inverses_binary64_6878` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `distribute-rgt1-in_binary64_6854` `distribute-lft-out_binary64_6849`
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` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow1/2_binary64_6962` `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-diff_binary64_6946` `exp-neg_binary64_6945` `e-exp-1_binary64_6943` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `rem-exp-log_binary64_6938` `cube-div_binary64_6927` `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-square-sqrt_binary64_6910` `div-sub_binary64_6903` `mul-1-neg_binary64_6890` `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_6877` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-rgt-neg-out_binary64_6858` `distribute-lft1-in_binary64_6853` `distribute-lft-out--_binary64_6850` `count-2_binary64_6846` `associate--r-_binary64_6837` `associate--l-_binary64_6836` `associate-+l+_binary64_6831`

Counts

266 → 471

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	550	8818
1	1677	8005

prune943.0ms (4.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	471	0	471
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	471	8	479

Error

Counts

479 → 8

Compiler

Compiled 15921 to 7996 computations (49.8% saved)

regimes423.0ms (2.2%)

Accuracy

Total 0.1b remaining (95.5%)

Threshold costs 0.1b (95.5%)

Compiler

Compiled 4934 to 2987 computations (39.5% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64_6828`
1×	`unpow1_binary64_6956` `1-exp_binary64_6942` `*-commutative_binary64_6829`
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` `e-exp-1_binary64_6943` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `neg-mul-1_binary64_6894` `neg-sub0_binary64_6893` `unsub-neg_binary64_6892` `sub-neg_binary64_6891` `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-inv_binary64_6864` `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` `distribute-lft-neg-out_binary64_6857` `distribute-rgt-neg-in_binary64_6856` `distribute-lft-neg-in_binary64_6855`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	25
1	18	25

Proof

(=> (pow f64 (/ f64 (/ f64 (* f64 h0 (/ f64 h1 (+ f64 h1 h0))) (+ f64 h1 (+ f64 h0 1))) (+ f64 h1 h0)) 1))
unpow1_binary64_6956 =>
(/ f64 (/ f64 (* f64 h0 (/ f64 h1 (+ f64 h1 h0))) (+ f64 h1 (+ f64 h0 1))) (=> (+ f64 h1 h0)))
+-commutative_binary64_6828 =>
(/ f64 (/ f64 (* f64 h0 (/ f64 h1 (=> (+ f64 h1 h0)))) (+ f64 h1 (+ f64 h0 1))) (+ f64 h0 h1))
+-commutative_binary64_6828 =>
(/ f64 (/ f64 (* f64 h0 (/ f64 h1 (+ f64 h0 h1))) (+ f64 h1 (+ f64 h0 1))) (+ f64 h0 h1))

end0.0ms (0%)

sample1.7s (8.6%)

Algorithm

1×

intervals

Results

275.0ms

8000×

body

128

valid

Compiler

Compiled 1686 to 1021 computations (39.4% saved)

Details

analyze77.0ms (0.4%)

sample18.0ms (0.1%)

simplify456.0ms (2.4%)

prune13.0ms (0.1%)

localize9.0ms (0%)

rewrite610.0ms (3.2%)

series1.3s (6.9%)

simplify960.0ms (5%)

prune1.9s (9.6%)

localize10.0ms (0.1%)

rewrite289.0ms (1.5%)

series1.4s (7.2%)

simplify986.0ms (5.1%)

prune1.7s (8.7%)

localize12.0ms (0.1%)

rewrite301.0ms (1.6%)

series1.4s (7.3%)

simplify907.0ms (4.7%)

prune1.1s (5.6%)

localize11.0ms (0.1%)

rewrite354.0ms (1.8%)

series1.5s (7.7%)

simplify1.0s (5.3%)

prune943.0ms (4.9%)

regimes423.0ms (2.2%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.7s (8.6%)

Profiling