Details

analyze442.0ms (6.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
9.4%	90.5%	0.1%	7
14%	85.8%	0.1%	8
21.1%	78%	0.9%	9
37.3%	60.3%	2.5%	10
39.7%	56.1%	4.2%	11
45.6%	48.7%	5.7%	12
55.9%	35.1%	8.9%	13
57.6%	32.1%	10.3%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample20.0ms (0.3%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	37×	body	128	invalid

Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify627.0ms (9.1%)

Algorithm

1×	egg-herbie

Rules

897×	`exp-prod_binary64_30820`
422×	`associate-/r*_binary64_30712`
363×	`unsub-neg_binary64_30762`
293×	`swap-sqr_binary64_30735`
230×	`exp-sum_binary64_30814`
218×	`distribute-rgt-neg-in_binary64_30726`
209×	`neg-mul-1_binary64_30764`
191×	`neg-sub0_binary64_30763` `associate-/l/_binary64_30715` `*-commutative_binary64_30699`
174×	`distribute-rgt-in_binary64_30718`
113×	`sub-neg_binary64_30761`
106×	`pow-plus_binary64_30831` `div-sub_binary64_30773`
102×	`distribute-lft-neg-in_binary64_30725` `associate-r_binary64_30708`
99×	`distribute-rgt-out_binary64_30721`
90×	`distribute-rgt1-in_binary64_30724`
89×	`distribute-lft-in_binary64_30717`
82×	`associate-+r+_binary64_30700`
80×	`associate-+l+_binary64_30701`
74×	`associate--r+_binary64_30704`
70×	`cancel-sign-sub-inv_binary64_30734`
69×	`distribute-rgt-out--_binary64_30722`
65×	`associate-l_binary64_30709`
64×	`associate--l+_binary64_30705`
58×	`exp-diff_binary64_30816`
46×	`associate-+l-_binary64_30703`
45×	`+-commutative_binary64_30698`
44×	`distribute-lft-out_binary64_30719`
40×	`distribute-lft-out--_binary64_30720`
38×	`times-frac_binary64_30774`
36×	`associate-/r/_binary64_30714`
32×	`sqr-neg_binary64_30782`
29×	`distribute-neg-in_binary64_30729`
28×	`distribute-rgt-neg-out_binary64_30728`
27×	`distribute-lft-neg-out_binary64_30727`
23×	`distribute-frac-neg_binary64_30731` `associate-/l*_binary64_30713`
20×	`associate-+r-_binary64_30702`
17×	`distribute-neg-frac_binary64_30732`
12×	`exp-lft-sqr_binary64_30823` `distribute-lft1-in_binary64_30723`
11×	`sqr-pow_binary64_30740`
10×	`exp-neg_binary64_30815` `sub0-neg_binary64_30755` `distribute-neg-out_binary64_30730` `associate--r-_binary64_30707`
9×	`pow-base-1_binary64_30828` `associate--l-_binary64_30706`
8×	`cube-prod_binary64_30796` `+-inverses_binary64_30747` `count-2_binary64_30716`
7×	`div0_binary64_30749`
6×	`cube-unmult_binary64_30805` `remove-double-neg_binary64_30756` `+-rgt-identity_binary64_30753` `mul0-lft_binary64_30750`
4×	`cube-div_binary64_30797` `--rgt-identity_binary64_30754` `pow-sqr_binary64_30741`
3×	`cube-neg_binary64_30795` `*-rgt-identity_binary64_30758` `+-lft-identity_binary64_30752` `mul0-rgt_binary64_30751`
2×	`*-lft-identity_binary64_30757` `difference-of-squares_binary64_30737` `unswap-sqr_binary64_30736`
1×	`exp-sqrt_binary64_30821` `1-exp_binary64_30812` `exp-1-e_binary64_30811` `*-inverses_binary64_30748`
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_31031` `erf-erfc_binary64_31030` `erf-odd_binary64_31029` `if-if-and-not_binary64_31028` `if-if-and_binary64_31027` `if-if-or-not_binary64_31026` `if-if-or_binary64_31025` `if-not_binary64_31024` `if-same_binary64_31023` `if-false_binary64_31022` `if-true_binary64_31021` `not-gte_binary64_31020` `not-lte_binary64_31019` `not-gt_binary64_31018` `not-lt_binary64_31017` `gte-same_binary64_31016` `lte-same_binary64_31015` `gt-same_binary64_31014` `lt-same_binary64_31013` `sinh---cosh_binary64_30960` `sinh-+-cosh_binary64_30959` `sinh-cosh_binary64_30958` `tanh-def-c_binary64_30957` `tanh-def-b_binary64_30956` `tanh-def-a_binary64_30955` `cosh-def_binary64_30954` `sinh-def_binary64_30953` `tan-neg_binary64_30900` `cos-neg_binary64_30899` `sin-neg_binary64_30898` `tan-0_binary64_30897` `cos-0_binary64_30896` `sin-0_binary64_30895` `hang-m-tan_binary64_30894` `hang-p-tan_binary64_30893` `hang-m0-tan_binary64_30892` `hang-p0-tan_binary64_30891` `hang-0m-tan_binary64_30890` `hang-0p-tan_binary64_30889` `tan-+PI/2_binary64_30888` `tan-+PI_binary64_30887` `tan-PI_binary64_30886` `tan-PI/3_binary64_30885` `tan-PI/4_binary64_30884` `tan-PI/6_binary64_30883` `cos-+PI/2_binary64_30882` `cos-+PI_binary64_30881` `cos-PI_binary64_30880` `cos-PI/2_binary64_30879` `cos-PI/3_binary64_30878` `cos-PI/4_binary64_30877` `cos-PI/6_binary64_30876` `sin-+PI/2_binary64_30875` `sin-+PI_binary64_30874` `sin-PI_binary64_30873` `sin-PI/2_binary64_30872` `sin-PI/3_binary64_30871` `sin-PI/4_binary64_30870` `sin-PI/6_binary64_30869` `sub-1-sin_binary64_30868` `sub-1-cos_binary64_30867` `-1-add-sin_binary64_30866` `-1-add-cos_binary64_30865` `1-sub-sin_binary64_30864` `1-sub-cos_binary64_30863` `cos-sin-sum_binary64_30862` `log-E_binary64_30858` `log-pow_binary64_30857` `log-rec_binary64_30856` `log-div_binary64_30855` `log-prod_binary64_30854` `pow-base-0_binary64_30852` `unpow1/3_binary64_30835` `unpow3_binary64_30834` `unpow2_binary64_30833` `unpow1/2_binary64_30832` `exp-to-pow_binary64_30830` `unpow0_binary64_30827` `unpow1_binary64_30826` `unpow-1_binary64_30825` `exp-lft-cube_binary64_30824` `exp-cbrt_binary64_30822` `div-exp_binary64_30819` `rec-exp_binary64_30818` `prod-exp_binary64_30817` `e-exp-1_binary64_30813` `exp-0_binary64_30810` `rem-log-exp_binary64_30809` `rem-exp-log_binary64_30808` `cube-mult_binary64_30798` `rem-3cbrt-rft_binary64_30794` `rem-3cbrt-lft_binary64_30793` `rem-cbrt-cube_binary64_30792` `rem-cube-cbrt_binary64_30791` `sqr-abs_binary64_30783` `rem-sqrt-square_binary64_30781` `rem-square-sqrt_binary64_30780` `mul-1-neg_binary64_30760` `/-rgt-identity_binary64_30759` `lft-mult-inverse_binary64_30746` `rgt-mult-inverse_binary64_30745` `remove-double-div_binary64_30744` `difference-of-sqr--1_binary64_30739` `difference-of-sqr-1_binary64_30738` `cancel-sign-sub_binary64_30733` `associate-l/_binary64_30711` `associate-r/_binary64_30710`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	12	13
2	23	13
3	44	13
4	70	13
5	110	13
6	227	13
7	1036	13
8	3399	13

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

9.1b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 y (-.f64 z x))
0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
8.5b	(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)

rewrite98.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

9.0b

Rules

21×	`add-sqr-sqrt_binary64_30790`
19×	`*-un-lft-identity_binary64_30768`
17×	`add-cube-cbrt_binary64_30803`
12×	`cancel-sign-sub-inv_binary64_30734`
9×	`times-frac_binary64_30774`
8×	`distribute-rgt-in_binary64_30718` `associate-+r+_binary64_30700` `distribute-lft-in_binary64_30717`
7×	`add-exp-log_binary64_30806` `add-cbrt-cube_binary64_30804`
5×	`pow1_binary64_30829` `add-log-exp_binary64_30807` `associate-r_binary64_30708`
4×	`sub-neg_binary64_30761`
3×	`associate-/l_binary64_30713` `associate-/r_binary64_30712` `associate-l_binary64_30709`
2×	`flip3-+_binary64_30771` `associate-/l/_binary64_30715` `flip-+_binary64_30742` `associate-*r/_binary64_30710`
1×	`div-exp_binary64_30819` `cbrt-undiv_binary64_30802` `frac-2neg_binary64_30779` `clear-num_binary64_30767` `div-inv_binary64_30765` `sum-log_binary64_30859` `+-commutative_binary64_30698` `pow-prod-down_binary64_30839` `prod-exp_binary64_30817` `cbrt-unprod_binary64_30801` `unswap-sqr_binary64_30736` `flip3--_binary64_30772` `flip--_binary64_30743` `difference-of-squares_binary64_30737` `distribute-lft-out--_binary64_30720` `*-commutative_binary64_30699`

Counts

3 → 78

Calls

3 calls:

7.0ms	(*.f64 y (-.f64 z x))
6.0ms	(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
4.0ms	(+.f64 x (*.f64 y (-.f64 z x)))

Compiler

Compiled 1355 to 327 computations (75.9% saved)

series692.0ms (10%)

Error

1.2b

Counts

3 → 51

Calls

3 calls:

307.0ms	(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
212.0ms	(+.f64 x (*.f64 y (-.f64 z x)))
146.0ms	(*.f64 y (-.f64 z x))

Compiler

Compiled 1173 to 639 computations (45.5% saved)

simplify282.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

548×	`distribute-rgt-in_binary64_30718`
529×	`distribute-lft-in_binary64_30717`
487×	`div-sub_binary64_30773`
197×	`*-commutative_binary64_30699`
190×	`associate-/l*_binary64_30713`
181×	`exp-prod_binary64_30820`
162×	`associate-*l/_binary64_30711`
108×	`exp-sum_binary64_30814`
105×	`cancel-sign-sub-inv_binary64_30734`
89×	`associate-l_binary64_30709`
81×	`times-frac_binary64_30774`
78×	`associate-r/_binary64_30710` `associate-r*_binary64_30708`
69×	`associate-+l+_binary64_30701`
67×	`distribute-rgt-neg-in_binary64_30726`
63×	`sub-neg_binary64_30761`
62×	`associate-/l/_binary64_30715`
60×	`associate-/r*_binary64_30712`
57×	`distribute-rgt-neg-out_binary64_30728` `associate-+r+_binary64_30700`
55×	`distribute-lft-neg-out_binary64_30727`
53×	`associate-/r/_binary64_30714`
47×	`distribute-lft-neg-in_binary64_30725`
43×	`+-commutative_binary64_30698`
38×	`exp-diff_binary64_30816`
37×	`neg-sub0_binary64_30763`
34×	`associate--r+_binary64_30704`
31×	`distribute-neg-in_binary64_30729`
30×	`neg-mul-1_binary64_30764`
27×	`cube-prod_binary64_30796`
24×	`sqr-pow_binary64_30740`
23×	`associate-+l-_binary64_30703`
22×	`log-prod_binary64_30854` `distribute-rgt-out_binary64_30721`
20×	`distribute-rgt-out--_binary64_30722` `associate-+r-_binary64_30702`
19×	`associate--l+_binary64_30705`
18×	`*-rgt-identity_binary64_30758`
17×	`*-lft-identity_binary64_30757`
16×	`unswap-sqr_binary64_30736`
11×	`exp-neg_binary64_30815` `unsub-neg_binary64_30762` `distribute-neg-frac_binary64_30732`
10×	`prod-exp_binary64_30817` `cube-div_binary64_30797` `sqr-neg_binary64_30782`
9×	`log-div_binary64_30855` `div-exp_binary64_30819` `pow-sqr_binary64_30741` `swap-sqr_binary64_30735`
8×	`unpow3_binary64_30834` `mul-1-neg_binary64_30760` `distribute-lft-out_binary64_30719` `associate--r-_binary64_30707`
7×	`/-rgt-identity_binary64_30759` `cancel-sign-sub_binary64_30733`
4×	`cube-unmult_binary64_30805` `difference-of-squares_binary64_30737` `distribute-lft-out--_binary64_30720`
3×	`rec-exp_binary64_30818` `cube-mult_binary64_30798` `remove-double-neg_binary64_30756` `+-rgt-identity_binary64_30753` `associate--l-_binary64_30706`
2×	`log-rec_binary64_30856` `cube-neg_binary64_30795` `distribute-frac-neg_binary64_30731`
1×	`log-pow_binary64_30857` `pow-plus_binary64_30831` `pow-base-1_binary64_30828` `1-exp_binary64_30812` `exp-1-e_binary64_30811` `rem-log-exp_binary64_30809` `rem-3cbrt-lft_binary64_30793` `rem-sqrt-square_binary64_30781` `rem-square-sqrt_binary64_30780` `sub0-neg_binary64_30755` `distribute-rgt1-in_binary64_30724` `distribute-lft1-in_binary64_30723`
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_31031` `erf-erfc_binary64_31030` `erf-odd_binary64_31029` `if-if-and-not_binary64_31028` `if-if-and_binary64_31027` `if-if-or-not_binary64_31026` `if-if-or_binary64_31025` `if-not_binary64_31024` `if-same_binary64_31023` `if-false_binary64_31022` `if-true_binary64_31021` `not-gte_binary64_31020` `not-lte_binary64_31019` `not-gt_binary64_31018` `not-lt_binary64_31017` `gte-same_binary64_31016` `lte-same_binary64_31015` `gt-same_binary64_31014` `lt-same_binary64_31013` `sinh---cosh_binary64_30960` `sinh-+-cosh_binary64_30959` `sinh-cosh_binary64_30958` `tanh-def-c_binary64_30957` `tanh-def-b_binary64_30956` `tanh-def-a_binary64_30955` `cosh-def_binary64_30954` `sinh-def_binary64_30953` `tan-neg_binary64_30900` `cos-neg_binary64_30899` `sin-neg_binary64_30898` `tan-0_binary64_30897` `cos-0_binary64_30896` `sin-0_binary64_30895` `hang-m-tan_binary64_30894` `hang-p-tan_binary64_30893` `hang-m0-tan_binary64_30892` `hang-p0-tan_binary64_30891` `hang-0m-tan_binary64_30890` `hang-0p-tan_binary64_30889` `tan-+PI/2_binary64_30888` `tan-+PI_binary64_30887` `tan-PI_binary64_30886` `tan-PI/3_binary64_30885` `tan-PI/4_binary64_30884` `tan-PI/6_binary64_30883` `cos-+PI/2_binary64_30882` `cos-+PI_binary64_30881` `cos-PI_binary64_30880` `cos-PI/2_binary64_30879` `cos-PI/3_binary64_30878` `cos-PI/4_binary64_30877` `cos-PI/6_binary64_30876` `sin-+PI/2_binary64_30875` `sin-+PI_binary64_30874` `sin-PI_binary64_30873` `sin-PI/2_binary64_30872` `sin-PI/3_binary64_30871` `sin-PI/4_binary64_30870` `sin-PI/6_binary64_30869` `sub-1-sin_binary64_30868` `sub-1-cos_binary64_30867` `-1-add-sin_binary64_30866` `-1-add-cos_binary64_30865` `1-sub-sin_binary64_30864` `1-sub-cos_binary64_30863` `cos-sin-sum_binary64_30862` `log-E_binary64_30858` `pow-base-0_binary64_30852` `unpow1/3_binary64_30835` `unpow2_binary64_30833` `unpow1/2_binary64_30832` `exp-to-pow_binary64_30830` `unpow0_binary64_30827` `unpow1_binary64_30826` `unpow-1_binary64_30825` `exp-lft-cube_binary64_30824` `exp-lft-sqr_binary64_30823` `exp-cbrt_binary64_30822` `exp-sqrt_binary64_30821` `e-exp-1_binary64_30813` `exp-0_binary64_30810` `rem-exp-log_binary64_30808` `rem-3cbrt-rft_binary64_30794` `rem-cbrt-cube_binary64_30792` `rem-cube-cbrt_binary64_30791` `sqr-abs_binary64_30783` `--rgt-identity_binary64_30754` `+-lft-identity_binary64_30752` `mul0-rgt_binary64_30751` `mul0-lft_binary64_30750` `div0_binary64_30749` `*-inverses_binary64_30748` `+-inverses_binary64_30747` `lft-mult-inverse_binary64_30746` `rgt-mult-inverse_binary64_30745` `remove-double-div_binary64_30744` `difference-of-sqr--1_binary64_30739` `difference-of-sqr-1_binary64_30738` `distribute-neg-out_binary64_30730` `count-2_binary64_30716`

Counts

129 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1658
1	360	1556
2	1146	1554
3	4016	1554

prune92.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	119	3	122

Error

Counts

122 → 3

Compiler

Compiled 1590 to 303 computations (80.9% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 y (*.f64 (/.f64 x z) (-.f64 1 y)))
2.2b	(*.f64 (/.f64 x z) (-.f64 1 y))

rewrite89.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

22×	`add-sqr-sqrt_binary64_30790`
17×	`*-un-lft-identity_binary64_30768`
14×	`add-cube-cbrt_binary64_30803`
13×	`associate-l_binary64_30709`
12×	`cancel-sign-sub-inv_binary64_30734`
10×	`times-frac_binary64_30774`
8×	`distribute-rgt-in_binary64_30718` `distribute-lft-in_binary64_30717` `associate-+r+_binary64_30700`
7×	`add-exp-log_binary64_30806` `add-cbrt-cube_binary64_30804`
6×	`associate-r_binary64_30708`
4×	`pow1_binary64_30829` `add-log-exp_binary64_30807` `sub-neg_binary64_30761`
2×	`prod-exp_binary64_30817` `cbrt-unprod_binary64_30801` `flip3--_binary64_30772` `frac-times_binary64_30778` `flip--_binary64_30743` `unswap-sqr_binary64_30736` `associate-*r/_binary64_30710` `difference-of-squares_binary64_30737`
1×	`pow-prod-down_binary64_30839` `div-exp_binary64_30819` `cbrt-undiv_binary64_30802` `associate-l/_binary64_30711` `div-inv_binary64_30765` `distribute-lft-out--_binary64_30720` `-commutative_binary64_30699` `sum-log_binary64_30859` `flip3-+_binary64_30771` `flip-+_binary64_30742` `+-commutative_binary64_30698`

Counts

2 → 66

Calls

2 calls:

12.0ms	(*.f64 (/.f64 x z) (-.f64 1 y))
5.0ms	(+.f64 y (*.f64 (/.f64 x z) (-.f64 1 y)))

Compiler

Compiled 1152 to 555 computations (51.8% saved)

series538.0ms (7.8%)

Error

Counts

2 → 30

Calls

2 calls:

306.0ms	(+.f64 y (*.f64 (/.f64 x z) (-.f64 1 y)))
214.0ms	(*.f64 (/.f64 x z) (-.f64 1 y))

Compiler

Compiled 708 to 426 computations (39.8% saved)

simplify655.0ms (9.5%)

Algorithm

1×	egg-herbie

Rules

437×	`distribute-rgt-in_binary64_30718`
394×	`distribute-lft-in_binary64_30717`
355×	`times-frac_binary64_30774`
332×	`associate-*l/_binary64_30711`
324×	`div-sub_binary64_30773`
296×	`associate-/l*_binary64_30713`
264×	`associate-*r/_binary64_30710`
196×	`*-commutative_binary64_30699`
165×	`associate-/r*_binary64_30712`
144×	`exp-prod_binary64_30820`
102×	`associate-l_binary64_30709`
96×	`associate-r_binary64_30708`
67×	`distribute-lft-neg-out_binary64_30727`
62×	`distribute-rgt-neg-in_binary64_30726`
57×	`log-prod_binary64_30854` `cube-prod_binary64_30796` `distribute-rgt-neg-out_binary64_30728`
55×	`exp-sum_binary64_30814`
50×	`cancel-sign-sub-inv_binary64_30734`
47×	`sub-neg_binary64_30761`
42×	`+-commutative_binary64_30698`
41×	`associate-+l+_binary64_30701`
38×	`neg-sub0_binary64_30763` `associate-/r/_binary64_30714`
36×	`distribute-lft-neg-in_binary64_30725`
35×	`*-lft-identity_binary64_30757`
34×	`*-rgt-identity_binary64_30758`
30×	`log-div_binary64_30855` `exp-diff_binary64_30816` `neg-mul-1_binary64_30764` `sqr-pow_binary64_30740`
29×	`distribute-neg-frac_binary64_30732`
28×	`cube-div_binary64_30797`
26×	`associate-+r+_binary64_30700`
25×	`distribute-rgt-out_binary64_30721` `associate-+l-_binary64_30703`
20×	`distribute-neg-in_binary64_30729`
19×	`unswap-sqr_binary64_30736`
18×	`associate-+r-_binary64_30702`
17×	`distribute-rgt-out--_binary64_30722`
14×	`log-pow_binary64_30857` `pow-plus_binary64_30831` `associate--r+_binary64_30704`
13×	`pow-sqr_binary64_30741`
12×	`swap-sqr_binary64_30735` `associate-/l/_binary64_30715`
10×	`unpow3_binary64_30834` `associate--l+_binary64_30705`
9×	`exp-neg_binary64_30815`
8×	`mul-1-neg_binary64_30760`
7×	`log-rec_binary64_30856` `unsub-neg_binary64_30762` `distribute-lft-out_binary64_30719`
6×	`pow-base-1_binary64_30828` `cube-unmult_binary64_30805` `cube-mult_binary64_30798` `sqr-neg_binary64_30782`
5×	`prod-exp_binary64_30817` `difference-of-squares_binary64_30737`
4×	`cube-neg_binary64_30795` `distribute-lft-out--_binary64_30720`
3×	`rem-sqrt-square_binary64_30781` `distribute-rgt1-in_binary64_30724` `associate--r-_binary64_30707`
2×	`+-rgt-identity_binary64_30753` `distribute-frac-neg_binary64_30731`
1×	`div-exp_binary64_30819` `rec-exp_binary64_30818` `1-exp_binary64_30812` `exp-1-e_binary64_30811` `rem-log-exp_binary64_30809` `rem-3cbrt-lft_binary64_30793` `rem-square-sqrt_binary64_30780` `/-rgt-identity_binary64_30759` `count-2_binary64_30716` `associate--l-_binary64_30706`
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_31031` `erf-erfc_binary64_31030` `erf-odd_binary64_31029` `if-if-and-not_binary64_31028` `if-if-and_binary64_31027` `if-if-or-not_binary64_31026` `if-if-or_binary64_31025` `if-not_binary64_31024` `if-same_binary64_31023` `if-false_binary64_31022` `if-true_binary64_31021` `not-gte_binary64_31020` `not-lte_binary64_31019` `not-gt_binary64_31018` `not-lt_binary64_31017` `gte-same_binary64_31016` `lte-same_binary64_31015` `gt-same_binary64_31014` `lt-same_binary64_31013` `sinh---cosh_binary64_30960` `sinh-+-cosh_binary64_30959` `sinh-cosh_binary64_30958` `tanh-def-c_binary64_30957` `tanh-def-b_binary64_30956` `tanh-def-a_binary64_30955` `cosh-def_binary64_30954` `sinh-def_binary64_30953` `tan-neg_binary64_30900` `cos-neg_binary64_30899` `sin-neg_binary64_30898` `tan-0_binary64_30897` `cos-0_binary64_30896` `sin-0_binary64_30895` `hang-m-tan_binary64_30894` `hang-p-tan_binary64_30893` `hang-m0-tan_binary64_30892` `hang-p0-tan_binary64_30891` `hang-0m-tan_binary64_30890` `hang-0p-tan_binary64_30889` `tan-+PI/2_binary64_30888` `tan-+PI_binary64_30887` `tan-PI_binary64_30886` `tan-PI/3_binary64_30885` `tan-PI/4_binary64_30884` `tan-PI/6_binary64_30883` `cos-+PI/2_binary64_30882` `cos-+PI_binary64_30881` `cos-PI_binary64_30880` `cos-PI/2_binary64_30879` `cos-PI/3_binary64_30878` `cos-PI/4_binary64_30877` `cos-PI/6_binary64_30876` `sin-+PI/2_binary64_30875` `sin-+PI_binary64_30874` `sin-PI_binary64_30873` `sin-PI/2_binary64_30872` `sin-PI/3_binary64_30871` `sin-PI/4_binary64_30870` `sin-PI/6_binary64_30869` `sub-1-sin_binary64_30868` `sub-1-cos_binary64_30867` `-1-add-sin_binary64_30866` `-1-add-cos_binary64_30865` `1-sub-sin_binary64_30864` `1-sub-cos_binary64_30863` `cos-sin-sum_binary64_30862` `log-E_binary64_30858` `pow-base-0_binary64_30852` `unpow1/3_binary64_30835` `unpow2_binary64_30833` `unpow1/2_binary64_30832` `exp-to-pow_binary64_30830` `unpow0_binary64_30827` `unpow1_binary64_30826` `unpow-1_binary64_30825` `exp-lft-cube_binary64_30824` `exp-lft-sqr_binary64_30823` `exp-cbrt_binary64_30822` `exp-sqrt_binary64_30821` `e-exp-1_binary64_30813` `exp-0_binary64_30810` `rem-exp-log_binary64_30808` `rem-3cbrt-rft_binary64_30794` `rem-cbrt-cube_binary64_30792` `rem-cube-cbrt_binary64_30791` `sqr-abs_binary64_30783` `remove-double-neg_binary64_30756` `sub0-neg_binary64_30755` `--rgt-identity_binary64_30754` `+-lft-identity_binary64_30752` `mul0-rgt_binary64_30751` `mul0-lft_binary64_30750` `div0_binary64_30749` `*-inverses_binary64_30748` `+-inverses_binary64_30747` `lft-mult-inverse_binary64_30746` `rgt-mult-inverse_binary64_30745` `remove-double-div_binary64_30744` `difference-of-sqr--1_binary64_30739` `difference-of-sqr-1_binary64_30738` `cancel-sign-sub_binary64_30733` `distribute-neg-out_binary64_30730` `distribute-lft1-in_binary64_30723`

Counts

96 → 333

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	152	1245
1	417	1188
2	1219	1188
3	4305	1188

prune284.0ms (4.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	333	0	333
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	333	3	336

Error

Counts

336 → 3

Compiler

Compiled 5642 to 2031 computations (64% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 z (-.f64 z x))
0.1b	(/.f64 y (/.f64 z (-.f64 z x)))

rewrite151.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

138×	`times-frac_binary64_30774`
102×	`add-sqr-sqrt_binary64_30790` `*-un-lft-identity_binary64_30768`
70×	`add-cube-cbrt_binary64_30803`
26×	`associate-/r*_binary64_30712`
16×	`difference-of-squares_binary64_30737` `distribute-lft-out--_binary64_30720`
11×	`associate-/r/_binary64_30714`
9×	`add-exp-log_binary64_30806` `add-cbrt-cube_binary64_30804`
6×	`div-inv_binary64_30765` `associate-/l*_binary64_30713`
5×	`flip3--_binary64_30772` `flip--_binary64_30743`
4×	`div-exp_binary64_30819` `cbrt-undiv_binary64_30802`
2×	`pow1_binary64_30829` `add-log-exp_binary64_30807` `frac-2neg_binary64_30779` `clear-num_binary64_30767`

Counts

2 → 139

Calls

2 calls:

9.0ms	(/.f64 y (/.f64 z (-.f64 z x)))
9.0ms	(/.f64 z (-.f64 z x))

Compiler

Compiled 2456 to 567 computations (76.9% saved)

series336.0ms (4.9%)

Error

Counts

2 → 30

Calls

2 calls:

225.0ms	(/.f64 y (/.f64 z (-.f64 z x)))
93.0ms	(/.f64 z (-.f64 z x))

Compiler

Compiled 690 to 503 computations (27.1% saved)

simplify475.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

453×	`associate-r_binary64_30708`
421×	`*-commutative_binary64_30699`
378×	`associate-/r*_binary64_30712`
232×	`distribute-rgt-in_binary64_30718`
222×	`distribute-lft-in_binary64_30717`
211×	`cancel-sign-sub-inv_binary64_30734`
189×	`associate-/r/_binary64_30714`
186×	`associate-/l/_binary64_30715`
169×	`distribute-rgt-neg-out_binary64_30728`
164×	`associate-/l*_binary64_30713`
119×	`associate-*l/_binary64_30711`
116×	`div-sub_binary64_30773`
105×	`neg-sub0_binary64_30763`
103×	`neg-mul-1_binary64_30764`
98×	`sub-neg_binary64_30761`
92×	`unsub-neg_binary64_30762`
67×	`unswap-sqr_binary64_30736`
64×	`times-frac_binary64_30774`
53×	`sqr-pow_binary64_30740` `associate-*r/_binary64_30710`
50×	`*-rgt-identity_binary64_30758`
48×	`distribute-neg-frac_binary64_30732`
43×	`/-rgt-identity_binary64_30759`
41×	`cube-prod_binary64_30796`
37×	`log-prod_binary64_30854`
34×	`distribute-lft-neg-out_binary64_30727`
31×	`exp-prod_binary64_30820` `distribute-rgt-neg-in_binary64_30726`
30×	`swap-sqr_binary64_30735` `distribute-lft-neg-in_binary64_30725` `+-commutative_binary64_30698`
28×	`difference-of-squares_binary64_30737`
27×	`pow-sqr_binary64_30741`
26×	`associate-l_binary64_30709`
24×	`log-div_binary64_30855` `*-lft-identity_binary64_30757`
23×	`cube-div_binary64_30797` `distribute-neg-out_binary64_30730`
21×	`associate-+l-_binary64_30703`
19×	`associate-+r-_binary64_30702`
17×	`exp-sum_binary64_30814`
16×	`div-exp_binary64_30819` `prod-exp_binary64_30817` `distribute-neg-in_binary64_30729` `associate-+r+_binary64_30700`
14×	`sub0-neg_binary64_30755`
13×	`pow-plus_binary64_30831`
12×	`associate-+l+_binary64_30701`
11×	`exp-diff_binary64_30816` `associate--r+_binary64_30704`
9×	`+-rgt-identity_binary64_30753`
8×	`unpow3_binary64_30834` `cube-mult_binary64_30798`
7×	`distribute-frac-neg_binary64_30731`
6×	`cube-unmult_binary64_30805`
5×	`log-pow_binary64_30857` `cancel-sign-sub_binary64_30733` `distribute-rgt-out--_binary64_30722` `distribute-rgt-out_binary64_30721` `associate--l-_binary64_30706`
4×	`rec-exp_binary64_30818` `remove-double-div_binary64_30744` `distribute-rgt1-in_binary64_30724` `associate--r-_binary64_30707` `associate--l+_binary64_30705`
3×	`mul-1-neg_binary64_30760` `div0_binary64_30749` `rgt-mult-inverse_binary64_30745`
2×	`log-rec_binary64_30856` `unpow2_binary64_30833` `unpow1_binary64_30826` `exp-neg_binary64_30815` `rem-sqrt-square_binary64_30781` `remove-double-neg_binary64_30756` `*-inverses_binary64_30748` `lft-mult-inverse_binary64_30746`
1×	`pow-base-1_binary64_30828` `1-exp_binary64_30812` `rem-log-exp_binary64_30809` `cube-neg_binary64_30795` `sqr-neg_binary64_30782` `--rgt-identity_binary64_30754` `distribute-lft1-in_binary64_30723` `count-2_binary64_30716`
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_31031` `erf-erfc_binary64_31030` `erf-odd_binary64_31029` `if-if-and-not_binary64_31028` `if-if-and_binary64_31027` `if-if-or-not_binary64_31026` `if-if-or_binary64_31025` `if-not_binary64_31024` `if-same_binary64_31023` `if-false_binary64_31022` `if-true_binary64_31021` `not-gte_binary64_31020` `not-lte_binary64_31019` `not-gt_binary64_31018` `not-lt_binary64_31017` `gte-same_binary64_31016` `lte-same_binary64_31015` `gt-same_binary64_31014` `lt-same_binary64_31013` `sinh---cosh_binary64_30960` `sinh-+-cosh_binary64_30959` `sinh-cosh_binary64_30958` `tanh-def-c_binary64_30957` `tanh-def-b_binary64_30956` `tanh-def-a_binary64_30955` `cosh-def_binary64_30954` `sinh-def_binary64_30953` `tan-neg_binary64_30900` `cos-neg_binary64_30899` `sin-neg_binary64_30898` `tan-0_binary64_30897` `cos-0_binary64_30896` `sin-0_binary64_30895` `hang-m-tan_binary64_30894` `hang-p-tan_binary64_30893` `hang-m0-tan_binary64_30892` `hang-p0-tan_binary64_30891` `hang-0m-tan_binary64_30890` `hang-0p-tan_binary64_30889` `tan-+PI/2_binary64_30888` `tan-+PI_binary64_30887` `tan-PI_binary64_30886` `tan-PI/3_binary64_30885` `tan-PI/4_binary64_30884` `tan-PI/6_binary64_30883` `cos-+PI/2_binary64_30882` `cos-+PI_binary64_30881` `cos-PI_binary64_30880` `cos-PI/2_binary64_30879` `cos-PI/3_binary64_30878` `cos-PI/4_binary64_30877` `cos-PI/6_binary64_30876` `sin-+PI/2_binary64_30875` `sin-+PI_binary64_30874` `sin-PI_binary64_30873` `sin-PI/2_binary64_30872` `sin-PI/3_binary64_30871` `sin-PI/4_binary64_30870` `sin-PI/6_binary64_30869` `sub-1-sin_binary64_30868` `sub-1-cos_binary64_30867` `-1-add-sin_binary64_30866` `-1-add-cos_binary64_30865` `1-sub-sin_binary64_30864` `1-sub-cos_binary64_30863` `cos-sin-sum_binary64_30862` `log-E_binary64_30858` `pow-base-0_binary64_30852` `unpow1/3_binary64_30835` `unpow1/2_binary64_30832` `exp-to-pow_binary64_30830` `unpow0_binary64_30827` `unpow-1_binary64_30825` `exp-lft-cube_binary64_30824` `exp-lft-sqr_binary64_30823` `exp-cbrt_binary64_30822` `exp-sqrt_binary64_30821` `e-exp-1_binary64_30813` `exp-1-e_binary64_30811` `exp-0_binary64_30810` `rem-exp-log_binary64_30808` `rem-3cbrt-rft_binary64_30794` `rem-3cbrt-lft_binary64_30793` `rem-cbrt-cube_binary64_30792` `rem-cube-cbrt_binary64_30791` `sqr-abs_binary64_30783` `rem-square-sqrt_binary64_30780` `+-lft-identity_binary64_30752` `mul0-rgt_binary64_30751` `mul0-lft_binary64_30750` `+-inverses_binary64_30747` `difference-of-sqr--1_binary64_30739` `difference-of-sqr-1_binary64_30738` `distribute-lft-out--_binary64_30720` `distribute-lft-out_binary64_30719`

Counts

169 → 597

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	235	3239
1	504	3125
2	1967	3069
3	3789	3069

prune482.0ms (7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	597	0	597
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	597	3	600

Error

Counts

600 → 3

Compiler

Compiled 11247 to 1542 computations (86.3% saved)

regimes287.0ms (4.2%)

Accuracy

Total 0.0b remaining (97.1%)

Threshold costs 0.0b (97.1%)

Compiler

Compiled 2226 to 1382 computations (37.9% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64_30698`
2×	`sub-neg_binary64_30761` `*-commutative_binary64_30699`
1×	`1-exp_binary64_30812` `neg-mul-1_binary64_30764` `neg-sub0_binary64_30763`
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_31028` `if-if-and_binary64_31027` `if-if-or-not_binary64_31026` `if-if-or_binary64_31025` `if-not_binary64_31024` `if-same_binary64_31023` `if-false_binary64_31022` `if-true_binary64_31021` `tan-0_binary64_30897` `cos-0_binary64_30896` `sin-0_binary64_30895` `unpow1_binary64_30826` `e-exp-1_binary64_30813` `exp-1-e_binary64_30811` `exp-0_binary64_30810` `sqr-abs_binary64_30783` `sqr-neg_binary64_30782` `unsub-neg_binary64_30762` `mul-1-neg_binary64_30760` `/-rgt-identity_binary64_30759` `-rgt-identity_binary64_30758` `-lft-identity_binary64_30757` `remove-double-neg_binary64_30756` `sub0-neg_binary64_30755` `--rgt-identity_binary64_30754` `+-rgt-identity_binary64_30753` `+-lft-identity_binary64_30752` `cancel-sign-sub-inv_binary64_30734` `cancel-sign-sub_binary64_30733` `distribute-neg-frac_binary64_30732` `distribute-frac-neg_binary64_30731` `distribute-neg-out_binary64_30730` `distribute-neg-in_binary64_30729` `distribute-rgt-neg-out_binary64_30728` `distribute-lft-neg-out_binary64_30727` `distribute-rgt-neg-in_binary64_30726` `distribute-lft-neg-in_binary64_30725`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	19	13
3	21	13
4	22	13

Proof

(+ f64 h0 (* f64 (/ f64 h1 h2) (- f64 1 h0)))

end0.0ms (0%)

sample1.3s (19.1%)

Algorithm

1×

intervals

Results

490.0ms	8000×	body	128	valid
31.0ms	1070×	body	128	invalid

Compiler

Compiled 553 to 352 computations (36.3% saved)

Details

analyze442.0ms (6.4%)

sample20.0ms (0.3%)

simplify627.0ms (9.1%)

prune4.0ms (0.1%)

localize13.0ms (0.2%)

rewrite98.0ms (1.4%)

series692.0ms (10%)

simplify282.0ms (4.1%)

prune92.0ms (1.3%)

localize7.0ms (0.1%)

rewrite89.0ms (1.3%)

series538.0ms (7.8%)

simplify655.0ms (9.5%)

prune284.0ms (4.1%)

localize6.0ms (0.1%)

rewrite151.0ms (2.2%)

series336.0ms (4.9%)

simplify475.0ms (6.9%)

prune482.0ms (7%)

regimes287.0ms (4.2%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.3s (19.1%)

Profiling