Details

analyze1.3s (2.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
3.7%	96.1%	0.2%	13
4.2%	94.5%	1.3%	14

Compiler

Compiled 18 to 16 computations (11.1% saved)

sample32.0ms (0.1%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
4.0ms	86×	body	128	invalid

Compiler

Compiled 35 to 35 computations (0% saved)

simplify471.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

651×	`exp-prod_binary64_33548`
570×	`unsub-neg_binary64_33490`
455×	`swap-sqr_binary64_33463`
322×	`times-frac_binary64_33502`
223×	`neg-mul-1_binary64_33492`
188×	`div-sub_binary64_33501`
186×	`neg-sub0_binary64_33491`
184×	`associate-/l/_binary64_33443`
180×	`distribute-neg-frac_binary64_33460`
171×	`associate-/r*_binary64_33440`
154×	`sub-neg_binary64_33489`
129×	`associate-*l/_binary64_33439`
123×	`distribute-neg-out_binary64_33458`
114×	`distribute-rgt-neg-in_binary64_33454`
103×	`associate-/l*_binary64_33441`
99×	`distribute-lft-neg-in_binary64_33453` `distribute-rgt-in_binary64_33446`
98×	`distribute-lft-neg-out_binary64_33455`
94×	`associate-l_binary64_33437`
93×	`distribute-rgt-neg-out_binary64_33456`
92×	`exp-sum_binary64_33542`
88×	`exp-diff_binary64_33544`
86×	`associate-/r/_binary64_33442`
84×	`sqr-neg_binary64_33510`
82×	`associate-r_binary64_33436`
77×	`sqr-pow_binary64_33468` `distribute-lft-in_binary64_33445`
68×	`remove-double-neg_binary64_33484`
67×	`distribute-rgt1-in_binary64_33452`
66×	`exp-neg_binary64_33543`
59×	`pow-plus_binary64_33559`
55×	`distribute-neg-in_binary64_33457`
50×	`associate-*r/_binary64_33438` `associate-+l-_binary64_33431`
45×	`associate--r+_binary64_33432`
44×	`pow-sqr_binary64_33469`
42×	`distribute-frac-neg_binary64_33459`
35×	`*-lft-identity_binary64_33485`
32×	`*-commutative_binary64_33427`
30×	`div0_binary64_33477`
29×	`remove-double-div_binary64_33472`
26×	`cancel-sign-sub-inv_binary64_33462`
24×	`distribute-rgt-out_binary64_33449` `associate-+r+_binary64_33428`
23×	`*-rgt-identity_binary64_33486`
21×	`sub0-neg_binary64_33483`
20×	`exp-lft-sqr_binary64_33551` `associate-+l+_binary64_33429`
19×	`mul0-rgt_binary64_33479` `mul0-lft_binary64_33478` `+-commutative_binary64_33426`
18×	`mul-1-neg_binary64_33488`
15×	`/-rgt-identity_binary64_33487`
11×	`+-rgt-identity_binary64_33481` `distribute-rgt-out--_binary64_33450` `associate--l+_binary64_33433` `associate-+r-_binary64_33430`
7×	`cube-prod_binary64_33524`
5×	`pow-base-1_binary64_33556` `--rgt-identity_binary64_33482` `distribute-lft1-in_binary64_33451`
4×	`cube-div_binary64_33525` `*-inverses_binary64_33476` `unswap-sqr_binary64_33464` `count-2_binary64_33444` `associate--l-_binary64_33434`
3×	`cube-unmult_binary64_33533`
2×	`+-lft-identity_binary64_33480` `lft-mult-inverse_binary64_33474`
1×	`div-exp_binary64_33547` `rec-exp_binary64_33546` `prod-exp_binary64_33545` `1-exp_binary64_33540` `exp-1-e_binary64_33539` `associate--r-_binary64_33435`
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_33759` `erf-erfc_binary64_33758` `erf-odd_binary64_33757` `if-if-and-not_binary64_33756` `if-if-and_binary64_33755` `if-if-or-not_binary64_33754` `if-if-or_binary64_33753` `if-not_binary64_33752` `if-same_binary64_33751` `if-false_binary64_33750` `if-true_binary64_33749` `not-gte_binary64_33748` `not-lte_binary64_33747` `not-gt_binary64_33746` `not-lt_binary64_33745` `gte-same_binary64_33744` `lte-same_binary64_33743` `gt-same_binary64_33742` `lt-same_binary64_33741` `sinh---cosh_binary64_33688` `sinh-+-cosh_binary64_33687` `sinh-cosh_binary64_33686` `tanh-def-c_binary64_33685` `tanh-def-b_binary64_33684` `tanh-def-a_binary64_33683` `cosh-def_binary64_33682` `sinh-def_binary64_33681` `tan-neg_binary64_33628` `cos-neg_binary64_33627` `sin-neg_binary64_33626` `tan-0_binary64_33625` `cos-0_binary64_33624` `sin-0_binary64_33623` `hang-m-tan_binary64_33622` `hang-p-tan_binary64_33621` `hang-m0-tan_binary64_33620` `hang-p0-tan_binary64_33619` `hang-0m-tan_binary64_33618` `hang-0p-tan_binary64_33617` `tan-+PI/2_binary64_33616` `tan-+PI_binary64_33615` `tan-PI_binary64_33614` `tan-PI/3_binary64_33613` `tan-PI/4_binary64_33612` `tan-PI/6_binary64_33611` `cos-+PI/2_binary64_33610` `cos-+PI_binary64_33609` `cos-PI_binary64_33608` `cos-PI/2_binary64_33607` `cos-PI/3_binary64_33606` `cos-PI/4_binary64_33605` `cos-PI/6_binary64_33604` `sin-+PI/2_binary64_33603` `sin-+PI_binary64_33602` `sin-PI_binary64_33601` `sin-PI/2_binary64_33600` `sin-PI/3_binary64_33599` `sin-PI/4_binary64_33598` `sin-PI/6_binary64_33597` `sub-1-sin_binary64_33596` `sub-1-cos_binary64_33595` `-1-add-sin_binary64_33594` `-1-add-cos_binary64_33593` `1-sub-sin_binary64_33592` `1-sub-cos_binary64_33591` `cos-sin-sum_binary64_33590` `log-E_binary64_33586` `log-pow_binary64_33585` `log-rec_binary64_33584` `log-div_binary64_33583` `log-prod_binary64_33582` `pow-base-0_binary64_33580` `unpow1/3_binary64_33563` `unpow3_binary64_33562` `unpow2_binary64_33561` `unpow1/2_binary64_33560` `exp-to-pow_binary64_33558` `unpow0_binary64_33555` `unpow1_binary64_33554` `unpow-1_binary64_33553` `exp-lft-cube_binary64_33552` `exp-cbrt_binary64_33550` `exp-sqrt_binary64_33549` `e-exp-1_binary64_33541` `exp-0_binary64_33538` `rem-log-exp_binary64_33537` `rem-exp-log_binary64_33536` `cube-mult_binary64_33526` `cube-neg_binary64_33523` `rem-3cbrt-rft_binary64_33522` `rem-3cbrt-lft_binary64_33521` `rem-cbrt-cube_binary64_33520` `rem-cube-cbrt_binary64_33519` `sqr-abs_binary64_33511` `rem-sqrt-square_binary64_33509` `rem-square-sqrt_binary64_33508` `+-inverses_binary64_33475` `rgt-mult-inverse_binary64_33473` `difference-of-sqr--1_binary64_33467` `difference-of-sqr-1_binary64_33466` `difference-of-squares_binary64_33465` `cancel-sign-sub_binary64_33461` `distribute-lft-out--_binary64_33448` `distribute-lft-out_binary64_33447`

Counts

1 → 6

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	28	25
2	52	25
3	92	25
4	217	25
5	449	25
6	1113	22
7	2759	22

prune14.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

7 → 3

Compiler

Compiled 145 to 97 computations (33.1% saved)

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite114.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

19×	`cancel-sign-sub-inv_binary64_33462`
18×	`*-un-lft-identity_binary64_33496`
17×	`add-sqr-sqrt_binary64_33518`
14×	`times-frac_binary64_33502` `associate--r+_binary64_33432`
12×	`add-cube-cbrt_binary64_33531`
7×	`add-exp-log_binary64_33534` `add-log-exp_binary64_33535` `add-cbrt-cube_binary64_33532`
4×	`associate-/l*_binary64_33441`
3×	`diff-log_binary64_33588`
2×	`pow1_binary64_33557` `div-exp_binary64_33547` `cbrt-undiv_binary64_33530` `distribute-lft-out_binary64_33447` `div-inv_binary64_33493` `associate-/l/_binary64_33443` `flip3--_binary64_33500` `associate-*r/_binary64_33438` `frac-sub_binary64_33505` `flip--_binary64_33471` `sub-neg_binary64_33489` `difference-of-squares_binary64_33465`
1×	`prod-exp_binary64_33545` `cbrt-unprod_binary64_33529` `frac-2neg_binary64_33507` `clear-num_binary64_33495` `flip3-+_binary64_33499` `flip-+_binary64_33470` `associate-/r*_binary64_33440` `distribute-lft-out--_binary64_33448` `associate--r-_binary64_33435`

Counts

2 → 60

Calls

2 calls:

16.0ms	(-.f64 (.f64 2 (/.f64 (+.f64 z 1) (.f64 z t))) (-.f64 2 (/.f64 x y)))
7.0ms	(/.f64 (+.f64 z 1) (*.f64 z t))

Compiler

Compiled 1487 to 855 computations (42.5% saved)

series730.0ms (1.3%)

Error

0.0b

Counts

2 → 33

Calls

2 calls:

555.0ms	(-.f64 (.f64 2 (/.f64 (+.f64 z 1) (.f64 z t))) (-.f64 2 (/.f64 x y)))
143.0ms	(/.f64 (+.f64 z 1) (*.f64 z t))

Compiler

Compiled 1242 to 1053 computations (15.2% saved)

simplify254.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

965×	`times-frac_binary64_33502`
561×	`distribute-rgt-in_binary64_33446`
541×	`distribute-lft-in_binary64_33445`
361×	`associate-/l*_binary64_33441`
115×	`associate-l_binary64_33437`
89×	`associate-/l/_binary64_33443`
83×	`associate-r_binary64_33436`
70×	`*-commutative_binary64_33427`
66×	`cancel-sign-sub-inv_binary64_33462`
62×	`sub-neg_binary64_33489` `distribute-lft-neg-out_binary64_33455`
55×	`associate-/r*_binary64_33440`
52×	`distribute-rgt-neg-out_binary64_33456`
51×	`distribute-rgt-neg-in_binary64_33454`
46×	`+-commutative_binary64_33426`
41×	`neg-mul-1_binary64_33492` `neg-sub0_binary64_33491`
40×	`associate-/r/_binary64_33442`
39×	`distribute-rgt-out_binary64_33449`
38×	`distribute-lft-neg-in_binary64_33453`
37×	`distribute-neg-in_binary64_33457` `associate-*l/_binary64_33439`
35×	`associate-*r/_binary64_33438`
34×	`sqr-pow_binary64_33468`
25×	`exp-prod_binary64_33548`
21×	`cube-prod_binary64_33524`
19×	`cube-div_binary64_33525`
16×	`swap-sqr_binary64_33463`
15×	`*-lft-identity_binary64_33485` `associate--l+_binary64_33433`
14×	`exp-sum_binary64_33542` `distribute-lft-out_binary64_33447` `associate-+l+_binary64_33429`
13×	`unsub-neg_binary64_33490` `/-rgt-identity_binary64_33487` `pow-sqr_binary64_33469` `distribute-neg-frac_binary64_33460`
11×	`*-rgt-identity_binary64_33486`
10×	`log-prod_binary64_33582` `unpow3_binary64_33562`
9×	`log-div_binary64_33583` `cube-mult_binary64_33526`
8×	`unswap-sqr_binary64_33464` `distribute-rgt-out--_binary64_33450`
7×	`div-exp_binary64_33547` `cube-unmult_binary64_33533` `associate--r+_binary64_33432`
6×	`prod-exp_binary64_33545` `exp-diff_binary64_33544` `difference-of-squares_binary64_33465` `associate-+r+_binary64_33428`
5×	`associate-+r-_binary64_33430`
4×	`distribute-rgt1-in_binary64_33452`
3×	`+-rgt-identity_binary64_33481`
2×	`exp-lft-sqr_binary64_33551` `rec-exp_binary64_33546` `cancel-sign-sub_binary64_33461` `associate--r-_binary64_33435` `associate-+l-_binary64_33431`
1×	`log-pow_binary64_33585` `pow-plus_binary64_33559` `1-exp_binary64_33540` `rem-log-exp_binary64_33537` `rem-3cbrt-lft_binary64_33521` `rem-sqrt-square_binary64_33509` `rem-square-sqrt_binary64_33508` `remove-double-neg_binary64_33484` `distribute-lft1-in_binary64_33451` `distribute-lft-out--_binary64_33448` `count-2_binary64_33444`
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_33759` `erf-erfc_binary64_33758` `erf-odd_binary64_33757` `if-if-and-not_binary64_33756` `if-if-and_binary64_33755` `if-if-or-not_binary64_33754` `if-if-or_binary64_33753` `if-not_binary64_33752` `if-same_binary64_33751` `if-false_binary64_33750` `if-true_binary64_33749` `not-gte_binary64_33748` `not-lte_binary64_33747` `not-gt_binary64_33746` `not-lt_binary64_33745` `gte-same_binary64_33744` `lte-same_binary64_33743` `gt-same_binary64_33742` `lt-same_binary64_33741` `sinh---cosh_binary64_33688` `sinh-+-cosh_binary64_33687` `sinh-cosh_binary64_33686` `tanh-def-c_binary64_33685` `tanh-def-b_binary64_33684` `tanh-def-a_binary64_33683` `cosh-def_binary64_33682` `sinh-def_binary64_33681` `tan-neg_binary64_33628` `cos-neg_binary64_33627` `sin-neg_binary64_33626` `tan-0_binary64_33625` `cos-0_binary64_33624` `sin-0_binary64_33623` `hang-m-tan_binary64_33622` `hang-p-tan_binary64_33621` `hang-m0-tan_binary64_33620` `hang-p0-tan_binary64_33619` `hang-0m-tan_binary64_33618` `hang-0p-tan_binary64_33617` `tan-+PI/2_binary64_33616` `tan-+PI_binary64_33615` `tan-PI_binary64_33614` `tan-PI/3_binary64_33613` `tan-PI/4_binary64_33612` `tan-PI/6_binary64_33611` `cos-+PI/2_binary64_33610` `cos-+PI_binary64_33609` `cos-PI_binary64_33608` `cos-PI/2_binary64_33607` `cos-PI/3_binary64_33606` `cos-PI/4_binary64_33605` `cos-PI/6_binary64_33604` `sin-+PI/2_binary64_33603` `sin-+PI_binary64_33602` `sin-PI_binary64_33601` `sin-PI/2_binary64_33600` `sin-PI/3_binary64_33599` `sin-PI/4_binary64_33598` `sin-PI/6_binary64_33597` `sub-1-sin_binary64_33596` `sub-1-cos_binary64_33595` `-1-add-sin_binary64_33594` `-1-add-cos_binary64_33593` `1-sub-sin_binary64_33592` `1-sub-cos_binary64_33591` `cos-sin-sum_binary64_33590` `log-E_binary64_33586` `log-rec_binary64_33584` `pow-base-0_binary64_33580` `unpow1/3_binary64_33563` `unpow2_binary64_33561` `unpow1/2_binary64_33560` `exp-to-pow_binary64_33558` `pow-base-1_binary64_33556` `unpow0_binary64_33555` `unpow1_binary64_33554` `unpow-1_binary64_33553` `exp-lft-cube_binary64_33552` `exp-cbrt_binary64_33550` `exp-sqrt_binary64_33549` `exp-neg_binary64_33543` `e-exp-1_binary64_33541` `exp-1-e_binary64_33539` `exp-0_binary64_33538` `rem-exp-log_binary64_33536` `cube-neg_binary64_33523` `rem-3cbrt-rft_binary64_33522` `rem-cbrt-cube_binary64_33520` `rem-cube-cbrt_binary64_33519` `sqr-abs_binary64_33511` `sqr-neg_binary64_33510` `div-sub_binary64_33501` `mul-1-neg_binary64_33488` `sub0-neg_binary64_33483` `--rgt-identity_binary64_33482` `+-lft-identity_binary64_33480` `mul0-rgt_binary64_33479` `mul0-lft_binary64_33478` `div0_binary64_33477` `*-inverses_binary64_33476` `+-inverses_binary64_33475` `lft-mult-inverse_binary64_33474` `rgt-mult-inverse_binary64_33473` `remove-double-div_binary64_33472` `difference-of-sqr--1_binary64_33467` `difference-of-sqr-1_binary64_33466` `distribute-frac-neg_binary64_33459` `distribute-neg-out_binary64_33458` `associate--l-_binary64_33434`

Counts

93 → 245

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	151	1806
1	442	1642
2	1522	1627

prune400.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	241	4	245
Fresh	2	0	2
Picked	0	1	1
Done	0	0	0
Total	243	5	248

Error

Counts

248 → 5

Compiler

Compiled 7000 to 4033 computations (42.4% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite308.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

78×	`times-frac_binary64_33502`
68×	`*-un-lft-identity_binary64_33496`
53×	`add-sqr-sqrt_binary64_33518`
48×	`add-cube-cbrt_binary64_33531`
20×	`add-log-exp_binary64_33535`
13×	`associate-/l*_binary64_33441`
9×	`add-exp-log_binary64_33534` `add-cbrt-cube_binary64_33532` `frac-add_binary64_33504`
8×	`distribute-lft-out_binary64_33447`
7×	`sum-log_binary64_33587`
6×	`cancel-sign-sub-inv_binary64_33462`
5×	`div-inv_binary64_33493`
4×	`pow1_binary64_33557` `flip3-+_binary64_33499` `flip-+_binary64_33470` `flip3--_binary64_33500` `flip--_binary64_33471` `associate-+r+_binary64_33428`
3×	`div-exp_binary64_33547` `cbrt-undiv_binary64_33530` `associate-/r*_binary64_33440` `diff-log_binary64_33588` `distribute-lft-out--_binary64_33448`
2×	`+-commutative_binary64_33426` `sub-neg_binary64_33489` `difference-of-squares_binary64_33465`
1×	`frac-2neg_binary64_33507` `clear-num_binary64_33495` `associate-/l/_binary64_33443` `associate-+r-_binary64_33430` `associate-+l+_binary64_33429`

Counts

4 → 131

Calls

4 calls:

47.0ms	(+.f64 (+.f64 (/.f64 (/.f64 2 t) z) (/.f64 x y)) (-.f64 (/.f64 2 t) 2))
36.0ms	(+.f64 (/.f64 (/.f64 2 t) z) (/.f64 x y))
8.0ms	(-.f64 (/.f64 2 t) 2)
6.0ms	(/.f64 (/.f64 2 t) z)

Compiler

Compiled 3476 to 2171 computations (37.5% saved)

series1.1s (1.9%)

Error

Counts

4 → 60

Calls

4 calls:

551.0ms	(+.f64 (+.f64 (/.f64 (/.f64 2 t) z) (/.f64 x y)) (-.f64 (/.f64 2 t) 2))
379.0ms	(+.f64 (/.f64 (/.f64 2 t) z) (/.f64 x y))
84.0ms	(/.f64 (/.f64 2 t) z)
36.0ms	(-.f64 (/.f64 2 t) 2)

Compiler

Compiled 2225 to 1863 computations (16.3% saved)

simplify484.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

640×	`associate-/l*_binary64_33441`
458×	`associate-/l/_binary64_33443`
411×	`associate-/r*_binary64_33440`
389×	`associate-+l+_binary64_33429`
260×	`associate-/r/_binary64_33442`
159×	`distribute-rgt-in_binary64_33446`
151×	`distribute-lft-in_binary64_33445`
112×	`*-commutative_binary64_33427`
90×	`associate-*l/_binary64_33439`
78×	`sub-neg_binary64_33489`
73×	`cancel-sign-sub-inv_binary64_33462`
65×	`associate-*r/_binary64_33438`
61×	`distribute-lft-neg-out_binary64_33455`
58×	`associate-l_binary64_33437`
53×	`+-commutative_binary64_33426`
52×	`associate-r_binary64_33436`
42×	`associate--l+_binary64_33433` `associate--r+_binary64_33432`
40×	`times-frac_binary64_33502` `associate-+l-_binary64_33431`
39×	`distribute-rgt-out_binary64_33449`
38×	`distribute-rgt-neg-out_binary64_33456`
35×	`sqr-pow_binary64_33468`
34×	`distribute-rgt-neg-in_binary64_33454` `associate-+r-_binary64_33430`
31×	`distribute-neg-frac_binary64_33460`
28×	`neg-mul-1_binary64_33492`
27×	`neg-sub0_binary64_33491`
26×	`unswap-sqr_binary64_33464`
25×	`distribute-lft-neg-in_binary64_33453`
24×	`exp-prod_binary64_33548` `prod-exp_binary64_33545`
23×	`associate-+r+_binary64_33428`
22×	`*-rgt-identity_binary64_33486`
18×	`log-prod_binary64_33582` `div-exp_binary64_33547`
17×	`exp-sum_binary64_33542` `cube-prod_binary64_33524` `/-rgt-identity_binary64_33487`
16×	`pow-sqr_binary64_33469`
15×	`log-div_binary64_33583` `cube-div_binary64_33525` `swap-sqr_binary64_33463` `distribute-lft-out_binary64_33447`
14×	`distribute-neg-in_binary64_33457`
13×	`div-sub_binary64_33501`
12×	`unpow3_binary64_33562` `distribute-rgt-out--_binary64_33450`
9×	`cube-mult_binary64_33526` `*-lft-identity_binary64_33485`
7×	`unsub-neg_binary64_33490` `+-rgt-identity_binary64_33481` `associate--l-_binary64_33434`
6×	`exp-diff_binary64_33544` `associate--r-_binary64_33435`
5×	`difference-of-squares_binary64_33465`
4×	`exp-lft-sqr_binary64_33551` `rec-exp_binary64_33546`
3×	`distribute-lft-out--_binary64_33448`
2×	`cube-unmult_binary64_33533` `distribute-rgt1-in_binary64_33452`
1×	`log-rec_binary64_33584` `1-exp_binary64_33540` `rem-log-exp_binary64_33537` `rem-3cbrt-lft_binary64_33521` `rem-sqrt-square_binary64_33509` `rem-square-sqrt_binary64_33508` `remove-double-neg_binary64_33484` `div0_binary64_33477` `cancel-sign-sub_binary64_33461` `distribute-frac-neg_binary64_33459` `distribute-neg-out_binary64_33458` `count-2_binary64_33444`
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_33759` `erf-erfc_binary64_33758` `erf-odd_binary64_33757` `if-if-and-not_binary64_33756` `if-if-and_binary64_33755` `if-if-or-not_binary64_33754` `if-if-or_binary64_33753` `if-not_binary64_33752` `if-same_binary64_33751` `if-false_binary64_33750` `if-true_binary64_33749` `not-gte_binary64_33748` `not-lte_binary64_33747` `not-gt_binary64_33746` `not-lt_binary64_33745` `gte-same_binary64_33744` `lte-same_binary64_33743` `gt-same_binary64_33742` `lt-same_binary64_33741` `sinh---cosh_binary64_33688` `sinh-+-cosh_binary64_33687` `sinh-cosh_binary64_33686` `tanh-def-c_binary64_33685` `tanh-def-b_binary64_33684` `tanh-def-a_binary64_33683` `cosh-def_binary64_33682` `sinh-def_binary64_33681` `tan-neg_binary64_33628` `cos-neg_binary64_33627` `sin-neg_binary64_33626` `tan-0_binary64_33625` `cos-0_binary64_33624` `sin-0_binary64_33623` `hang-m-tan_binary64_33622` `hang-p-tan_binary64_33621` `hang-m0-tan_binary64_33620` `hang-p0-tan_binary64_33619` `hang-0m-tan_binary64_33618` `hang-0p-tan_binary64_33617` `tan-+PI/2_binary64_33616` `tan-+PI_binary64_33615` `tan-PI_binary64_33614` `tan-PI/3_binary64_33613` `tan-PI/4_binary64_33612` `tan-PI/6_binary64_33611` `cos-+PI/2_binary64_33610` `cos-+PI_binary64_33609` `cos-PI_binary64_33608` `cos-PI/2_binary64_33607` `cos-PI/3_binary64_33606` `cos-PI/4_binary64_33605` `cos-PI/6_binary64_33604` `sin-+PI/2_binary64_33603` `sin-+PI_binary64_33602` `sin-PI_binary64_33601` `sin-PI/2_binary64_33600` `sin-PI/3_binary64_33599` `sin-PI/4_binary64_33598` `sin-PI/6_binary64_33597` `sub-1-sin_binary64_33596` `sub-1-cos_binary64_33595` `-1-add-sin_binary64_33594` `-1-add-cos_binary64_33593` `1-sub-sin_binary64_33592` `1-sub-cos_binary64_33591` `cos-sin-sum_binary64_33590` `log-E_binary64_33586` `log-pow_binary64_33585` `pow-base-0_binary64_33580` `unpow1/3_binary64_33563` `unpow2_binary64_33561` `unpow1/2_binary64_33560` `pow-plus_binary64_33559` `exp-to-pow_binary64_33558` `pow-base-1_binary64_33556` `unpow0_binary64_33555` `unpow1_binary64_33554` `unpow-1_binary64_33553` `exp-lft-cube_binary64_33552` `exp-cbrt_binary64_33550` `exp-sqrt_binary64_33549` `exp-neg_binary64_33543` `e-exp-1_binary64_33541` `exp-1-e_binary64_33539` `exp-0_binary64_33538` `rem-exp-log_binary64_33536` `cube-neg_binary64_33523` `rem-3cbrt-rft_binary64_33522` `rem-cbrt-cube_binary64_33520` `rem-cube-cbrt_binary64_33519` `sqr-abs_binary64_33511` `sqr-neg_binary64_33510` `mul-1-neg_binary64_33488` `sub0-neg_binary64_33483` `--rgt-identity_binary64_33482` `+-lft-identity_binary64_33480` `mul0-rgt_binary64_33479` `mul0-lft_binary64_33478` `*-inverses_binary64_33476` `+-inverses_binary64_33475` `lft-mult-inverse_binary64_33474` `rgt-mult-inverse_binary64_33473` `remove-double-div_binary64_33472` `difference-of-sqr--1_binary64_33467` `difference-of-sqr-1_binary64_33466` `distribute-lft1-in_binary64_33451`

Counts

191 → 425

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	274	3806
1	728	3638
2	2194	3548

prune919.0ms (1.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	424	1	425
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	425	5	430

Error

Counts

430 → 5

Compiler

Compiled 13667 to 7963 computations (41.7% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 (/.f64 (sqrt.f64 2) 1) (*.f64 (/.f64 z (sqrt.f64 2)) t)) (/.f64 x y))
0.2b	(*.f64 (/.f64 z (sqrt.f64 2)) t)
0.5b	(/.f64 z (sqrt.f64 2))
1.0b	(/.f64 (/.f64 (sqrt.f64 2) 1) (*.f64 (/.f64 z (sqrt.f64 2)) t))

rewrite388.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

96×	`times-frac_binary64_33502`
67×	`add-sqr-sqrt_binary64_33518`
61×	`*-un-lft-identity_binary64_33496`
59×	`add-cube-cbrt_binary64_33531`
41×	`add-exp-log_binary64_33534`
40×	`sqrt-prod_binary64_33512`
32×	`add-cbrt-cube_binary64_33532`
25×	`associate-/l*_binary64_33441`
22×	`associate-l_binary64_33437`
20×	`div-exp_binary64_33547`
13×	`cbrt-undiv_binary64_33530`
8×	`prod-exp_binary64_33545`
7×	`associate-/r*_binary64_33440`
6×	`pow1_binary64_33557` `add-log-exp_binary64_33535` `cbrt-unprod_binary64_33529`
5×	`div-inv_binary64_33493`
3×	`1-exp_binary64_33540` `unswap-sqr_binary64_33464` `associate-r_binary64_33436`
2×	`frac-2neg_binary64_33507` `clear-num_binary64_33495` `associate-*l/_binary64_33439`
1×	`associate-/l/_binary64_33443` `associate-/r/_binary64_33442` `pow-prod-down_binary64_33567` `*-commutative_binary64_33427` `sum-log_binary64_33587` `frac-add_binary64_33504` `flip3-+_binary64_33499` `flip-+_binary64_33470` `distribute-lft-out_binary64_33447` `+-commutative_binary64_33426`

Counts

4 → 166

Calls

4 calls:

28.0ms	(+.f64 (/.f64 (/.f64 (sqrt.f64 2) 1) (*.f64 (/.f64 z (sqrt.f64 2)) t)) (/.f64 x y))
13.0ms	(/.f64 (/.f64 (sqrt.f64 2) 1) (*.f64 (/.f64 z (sqrt.f64 2)) t))
9.0ms	(*.f64 (/.f64 z (sqrt.f64 2)) t)
8.0ms	(/.f64 z (sqrt.f64 2))

Compiler

Compiled 4957 to 3687 computations (25.6% saved)

series988.0ms (1.7%)

Error

Counts

4 → 39

Calls

4 calls:

532.0ms	(+.f64 (/.f64 (/.f64 (sqrt.f64 2) 1) (*.f64 (/.f64 z (sqrt.f64 2)) t)) (/.f64 x y))
204.0ms	(/.f64 (/.f64 (sqrt.f64 2) 1) (*.f64 (/.f64 z (sqrt.f64 2)) t))
158.0ms	(*.f64 (/.f64 z (sqrt.f64 2)) t)
60.0ms	(/.f64 z (sqrt.f64 2))

Compiler

Compiled 1805 to 1535 computations (15% saved)

simplify745.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

383×	`*-commutative_binary64_33427`
229×	`associate--l-_binary64_33434`
228×	`cancel-sign-sub-inv_binary64_33462`
208×	`associate-/l/_binary64_33443`
199×	`distribute-rgt-in_binary64_33446`
189×	`associate-/r/_binary64_33442`
175×	`associate-/l*_binary64_33441`
174×	`associate--r-_binary64_33435`
151×	`distribute-lft-in_binary64_33445`
137×	`sub-neg_binary64_33489`
133×	`associate-*l/_binary64_33439`
130×	`distribute-rgt-neg-in_binary64_33454`
125×	`associate-/r*_binary64_33440`
122×	`div-sub_binary64_33501`
117×	`distribute-neg-frac_binary64_33460`
114×	`times-frac_binary64_33502`
107×	`distribute-lft-neg-in_binary64_33453`
97×	`sqr-pow_binary64_33468`
88×	`unswap-sqr_binary64_33464`
84×	`associate-*r/_binary64_33438`
74×	`log-div_binary64_33583` `log-prod_binary64_33582`
72×	`cube-prod_binary64_33524`
71×	`cube-div_binary64_33525`
69×	`associate-l_binary64_33437`
68×	`distribute-lft-out_binary64_33447`
67×	`neg-mul-1_binary64_33492`
65×	`neg-sub0_binary64_33491`
63×	`distribute-rgt-out_binary64_33449`
53×	`exp-prod_binary64_33548`
45×	`distribute-rgt-out--_binary64_33450`
44×	`swap-sqr_binary64_33463`
39×	`pow-sqr_binary64_33469` `associate-r_binary64_33436`
37×	`distribute-neg-in_binary64_33457`
34×	`distribute-lft-neg-out_binary64_33455`
33×	`associate-+l-_binary64_33431`
28×	`unsub-neg_binary64_33490` `/-rgt-identity_binary64_33487`
26×	`unpow3_binary64_33562`
23×	`cube-mult_binary64_33526`
22×	`*-rgt-identity_binary64_33486` `+-commutative_binary64_33426`
20×	`associate--r+_binary64_33432`
19×	`associate-+l+_binary64_33429`
18×	`sub0-neg_binary64_33483`
16×	`*-lft-identity_binary64_33485`
14×	`distribute-rgt-neg-out_binary64_33456`
12×	`distribute-lft-out--_binary64_33448` `associate-+r-_binary64_33430` `associate-+r+_binary64_33428`
10×	`pow-plus_binary64_33559` `+-lft-identity_binary64_33480`
8×	`log-pow_binary64_33585` `distribute-neg-out_binary64_33458` `associate--l+_binary64_33433`
7×	`exp-diff_binary64_33544` `rem-sqrt-square_binary64_33509`
6×	`log-rec_binary64_33584` `distribute-rgt1-in_binary64_33452`
5×	`cube-unmult_binary64_33533` `+-rgt-identity_binary64_33481`
4×	`div0_binary64_33477` `count-2_binary64_33444`
3×	`exp-to-pow_binary64_33558` `exp-sum_binary64_33542` `*-inverses_binary64_33476`
2×	`exp-sqrt_binary64_33549` `prod-exp_binary64_33545` `remove-double-neg_binary64_33484` `difference-of-squares_binary64_33465` `distribute-frac-neg_binary64_33459`
1×	`unpow2_binary64_33561` `pow-base-1_binary64_33556` `unpow1_binary64_33554` `exp-lft-sqr_binary64_33551` `div-exp_binary64_33547` `rec-exp_binary64_33546` `1-exp_binary64_33540` `exp-1-e_binary64_33539` `rem-log-exp_binary64_33537` `rem-exp-log_binary64_33536` `rem-cbrt-cube_binary64_33520` `sqr-abs_binary64_33511` `rem-square-sqrt_binary64_33508` `--rgt-identity_binary64_33482` `+-inverses_binary64_33475` `rgt-mult-inverse_binary64_33473` `distribute-lft1-in_binary64_33451`
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_33759` `erf-erfc_binary64_33758` `erf-odd_binary64_33757` `if-if-and-not_binary64_33756` `if-if-and_binary64_33755` `if-if-or-not_binary64_33754` `if-if-or_binary64_33753` `if-not_binary64_33752` `if-same_binary64_33751` `if-false_binary64_33750` `if-true_binary64_33749` `not-gte_binary64_33748` `not-lte_binary64_33747` `not-gt_binary64_33746` `not-lt_binary64_33745` `gte-same_binary64_33744` `lte-same_binary64_33743` `gt-same_binary64_33742` `lt-same_binary64_33741` `sinh---cosh_binary64_33688` `sinh-+-cosh_binary64_33687` `sinh-cosh_binary64_33686` `tanh-def-c_binary64_33685` `tanh-def-b_binary64_33684` `tanh-def-a_binary64_33683` `cosh-def_binary64_33682` `sinh-def_binary64_33681` `tan-neg_binary64_33628` `cos-neg_binary64_33627` `sin-neg_binary64_33626` `tan-0_binary64_33625` `cos-0_binary64_33624` `sin-0_binary64_33623` `hang-m-tan_binary64_33622` `hang-p-tan_binary64_33621` `hang-m0-tan_binary64_33620` `hang-p0-tan_binary64_33619` `hang-0m-tan_binary64_33618` `hang-0p-tan_binary64_33617` `tan-+PI/2_binary64_33616` `tan-+PI_binary64_33615` `tan-PI_binary64_33614` `tan-PI/3_binary64_33613` `tan-PI/4_binary64_33612` `tan-PI/6_binary64_33611` `cos-+PI/2_binary64_33610` `cos-+PI_binary64_33609` `cos-PI_binary64_33608` `cos-PI/2_binary64_33607` `cos-PI/3_binary64_33606` `cos-PI/4_binary64_33605` `cos-PI/6_binary64_33604` `sin-+PI/2_binary64_33603` `sin-+PI_binary64_33602` `sin-PI_binary64_33601` `sin-PI/2_binary64_33600` `sin-PI/3_binary64_33599` `sin-PI/4_binary64_33598` `sin-PI/6_binary64_33597` `sub-1-sin_binary64_33596` `sub-1-cos_binary64_33595` `-1-add-sin_binary64_33594` `-1-add-cos_binary64_33593` `1-sub-sin_binary64_33592` `1-sub-cos_binary64_33591` `cos-sin-sum_binary64_33590` `log-E_binary64_33586` `pow-base-0_binary64_33580` `unpow1/3_binary64_33563` `unpow1/2_binary64_33560` `unpow0_binary64_33555` `unpow-1_binary64_33553` `exp-lft-cube_binary64_33552` `exp-cbrt_binary64_33550` `exp-neg_binary64_33543` `e-exp-1_binary64_33541` `exp-0_binary64_33538` `cube-neg_binary64_33523` `rem-3cbrt-rft_binary64_33522` `rem-3cbrt-lft_binary64_33521` `rem-cube-cbrt_binary64_33519` `sqr-neg_binary64_33510` `mul-1-neg_binary64_33488` `mul0-rgt_binary64_33479` `mul0-lft_binary64_33478` `lft-mult-inverse_binary64_33474` `remove-double-div_binary64_33472` `difference-of-sqr--1_binary64_33467` `difference-of-sqr-1_binary64_33466` `cancel-sign-sub_binary64_33461`

Counts

205 → 484

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	255	3299
1	568	2829
2	2003	2704
3	2607	2704

prune1.2s (2.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	484	0	484
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	484	5	489

Error

Counts

489 → 5

Compiler

Compiled 13514 to 9733 computations (28% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

9.6b	(/.f64 (+.f64 1 z) (*.f64 t z))
9.6b	(/.f64 (+.f64 1 z) (*.f64 t z))
9.6b	(/.f64 (+.f64 1 z) (*.f64 t z))
29.3b	(cbrt.f64 (.f64 (+.f64 (-.f64 (.f64 (/.f64 (+.f64 1 z) (.f64 t z)) 2) 2) (/.f64 x y)) (.f64 (+.f64 (-.f64 (.f64 (/.f64 (+.f64 1 z) (.f64 t z)) 2) 2) (/.f64 x y)) (+.f64 (-.f64 (.f64 (/.f64 (+.f64 1 z) (.f64 t z)) 2) 2) (/.f64 x y)))))

rewrite2.1s (3.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

176×	`frac-times_binary64_33506`
150×	`frac-add_binary64_33504`
124×	`cbrt-div_binary64_33528`
78×	`flip3-+_binary64_33499` `flip-+_binary64_33470`
75×	`flip3--_binary64_33500` `flip--_binary64_33471`
44×	`associate-*r/_binary64_33438`
24×	`associate-*l/_binary64_33439`
22×	`*-un-lft-identity_binary64_33496`
19×	`add-exp-log_binary64_33534` `add-cbrt-cube_binary64_33532`
12×	`times-frac_binary64_33502` `associate-/l*_binary64_33441`
10×	`add-cube-cbrt_binary64_33531` `add-sqr-sqrt_binary64_33518`
6×	`div-exp_binary64_33547` `cbrt-undiv_binary64_33530` `distribute-lft-out_binary64_33447` `associate-/l/_binary64_33443`
4×	`pow1_binary64_33557` `add-log-exp_binary64_33535`
3×	`prod-exp_binary64_33545` `cbrt-unprod_binary64_33529` `frac-2neg_binary64_33507` `clear-num_binary64_33495` `div-inv_binary64_33493` `associate-/r*_binary64_33440`
1×	`pow1/3_binary64_33578` `cbrt-prod_binary64_33527` `cube-unmult_binary64_33533` `rem-cbrt-cube_binary64_33520`

Counts

4 → 209

Calls

4 calls:

59.0ms	(cbrt.f64 (.f64 (+.f64 (-.f64 (.f64 (/.f64 (+.f64 1 z) (.f64 t z)) 2) 2) (/.f64 x y)) (.f64 (+.f64 (-.f64 (.f64 (/.f64 (+.f64 1 z) (.f64 t z)) 2) 2) (/.f64 x y)) (+.f64 (-.f64 (.f64 (/.f64 (+.f64 1 z) (.f64 t z)) 2) 2) (/.f64 x y)))))
7.0ms	(/.f64 (+.f64 1 z) (*.f64 t z))
7.0ms	(/.f64 (+.f64 1 z) (*.f64 t z))
7.0ms	(/.f64 (+.f64 1 z) (*.f64 t z))

Compiler

Compiled 25885 to 15793 computations (39% saved)

series1.2s (2.1%)

Error

Counts

4 → 51

Calls

4 calls:

615.0ms	(cbrt.f64 (.f64 (+.f64 (-.f64 (.f64 (/.f64 (+.f64 1 z) (.f64 t z)) 2) 2) (/.f64 x y)) (.f64 (+.f64 (-.f64 (.f64 (/.f64 (+.f64 1 z) (.f64 t z)) 2) 2) (/.f64 x y)) (+.f64 (-.f64 (.f64 (/.f64 (+.f64 1 z) (.f64 t z)) 2) 2) (/.f64 x y)))))
177.0ms	(/.f64 (+.f64 1 z) (*.f64 t z))
165.0ms	(/.f64 (+.f64 1 z) (*.f64 t z))
161.0ms	(/.f64 (+.f64 1 z) (*.f64 t z))

Compiler

Compiled 4334 to 3011 computations (30.5% saved)

simplify6.1s (10.6%)

Algorithm

1×	egg-herbie

Rules

619×	`distribute-rgt-in_binary64_33446`
611×	`distribute-lft-in_binary64_33445`
492×	`associate-r_binary64_33436`
339×	`associate-l_binary64_33437`
88×	`*-commutative_binary64_33427`
56×	`associate-/r*_binary64_33440`
47×	`times-frac_binary64_33502`
44×	`associate-*l/_binary64_33439`
39×	`associate-/l*_binary64_33441`
35×	`associate-*r/_binary64_33438`
27×	`sub-neg_binary64_33489`
20×	`sqr-pow_binary64_33468`
18×	`+-commutative_binary64_33426`
17×	`cancel-sign-sub-inv_binary64_33462`
15×	`cube-unmult_binary64_33533`
13×	`neg-mul-1_binary64_33492` `neg-sub0_binary64_33491`
12×	`swap-sqr_binary64_33463` `distribute-rgt-neg-in_binary64_33454` `associate--l+_binary64_33433`
9×	`rem-cbrt-cube_binary64_33520`
8×	`distribute-lft-neg-in_binary64_33453`
7×	`unpow3_binary64_33562` `cube-prod_binary64_33524`
6×	`cube-mult_binary64_33526` `associate-/r/_binary64_33442`
5×	`*-rgt-identity_binary64_33486` `distribute-neg-in_binary64_33457` `distribute-rgt-out--_binary64_33450`
4×	`cube-div_binary64_33525` `*-lft-identity_binary64_33485` `pow-sqr_binary64_33469` `distribute-neg-frac_binary64_33460` `distribute-lft-neg-out_binary64_33455` `associate--r+_binary64_33432` `associate-+l-_binary64_33431`
3×	`log-prod_binary64_33582` `difference-of-squares_binary64_33465` `distribute-rgt-out_binary64_33449` `associate-+r+_binary64_33428`
2×	`log-div_binary64_33583` `distribute-rgt1-in_binary64_33452` `distribute-lft1-in_binary64_33451` `associate-+r-_binary64_33430`
1×	`prod-exp_binary64_33545` `1-exp_binary64_33540` `rem-3cbrt-lft_binary64_33521` `unsub-neg_binary64_33490` `distribute-lft-out_binary64_33447` `associate--r-_binary64_33435` `associate--l-_binary64_33434`
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_33759` `erf-erfc_binary64_33758` `erf-odd_binary64_33757` `if-if-and-not_binary64_33756` `if-if-and_binary64_33755` `if-if-or-not_binary64_33754` `if-if-or_binary64_33753` `if-not_binary64_33752` `if-same_binary64_33751` `if-false_binary64_33750` `if-true_binary64_33749` `not-gte_binary64_33748` `not-lte_binary64_33747` `not-gt_binary64_33746` `not-lt_binary64_33745` `gte-same_binary64_33744` `lte-same_binary64_33743` `gt-same_binary64_33742` `lt-same_binary64_33741` `sinh---cosh_binary64_33688` `sinh-+-cosh_binary64_33687` `sinh-cosh_binary64_33686` `tanh-def-c_binary64_33685` `tanh-def-b_binary64_33684` `tanh-def-a_binary64_33683` `cosh-def_binary64_33682` `sinh-def_binary64_33681` `tan-neg_binary64_33628` `cos-neg_binary64_33627` `sin-neg_binary64_33626` `tan-0_binary64_33625` `cos-0_binary64_33624` `sin-0_binary64_33623` `hang-m-tan_binary64_33622` `hang-p-tan_binary64_33621` `hang-m0-tan_binary64_33620` `hang-p0-tan_binary64_33619` `hang-0m-tan_binary64_33618` `hang-0p-tan_binary64_33617` `tan-+PI/2_binary64_33616` `tan-+PI_binary64_33615` `tan-PI_binary64_33614` `tan-PI/3_binary64_33613` `tan-PI/4_binary64_33612` `tan-PI/6_binary64_33611` `cos-+PI/2_binary64_33610` `cos-+PI_binary64_33609` `cos-PI_binary64_33608` `cos-PI/2_binary64_33607` `cos-PI/3_binary64_33606` `cos-PI/4_binary64_33605` `cos-PI/6_binary64_33604` `sin-+PI/2_binary64_33603` `sin-+PI_binary64_33602` `sin-PI_binary64_33601` `sin-PI/2_binary64_33600` `sin-PI/3_binary64_33599` `sin-PI/4_binary64_33598` `sin-PI/6_binary64_33597` `sub-1-sin_binary64_33596` `sub-1-cos_binary64_33595` `-1-add-sin_binary64_33594` `-1-add-cos_binary64_33593` `1-sub-sin_binary64_33592` `1-sub-cos_binary64_33591` `cos-sin-sum_binary64_33590` `log-E_binary64_33586` `log-pow_binary64_33585` `log-rec_binary64_33584` `pow-base-0_binary64_33580` `unpow1/3_binary64_33563` `unpow2_binary64_33561` `unpow1/2_binary64_33560` `pow-plus_binary64_33559` `exp-to-pow_binary64_33558` `pow-base-1_binary64_33556` `unpow0_binary64_33555` `unpow1_binary64_33554` `unpow-1_binary64_33553` `exp-lft-cube_binary64_33552` `exp-lft-sqr_binary64_33551` `exp-cbrt_binary64_33550` `exp-sqrt_binary64_33549` `exp-prod_binary64_33548` `div-exp_binary64_33547` `rec-exp_binary64_33546` `exp-diff_binary64_33544` `exp-neg_binary64_33543` `exp-sum_binary64_33542` `e-exp-1_binary64_33541` `exp-1-e_binary64_33539` `exp-0_binary64_33538` `rem-log-exp_binary64_33537` `rem-exp-log_binary64_33536` `cube-neg_binary64_33523` `rem-3cbrt-rft_binary64_33522` `rem-cube-cbrt_binary64_33519` `sqr-abs_binary64_33511` `sqr-neg_binary64_33510` `rem-sqrt-square_binary64_33509` `rem-square-sqrt_binary64_33508` `div-sub_binary64_33501` `mul-1-neg_binary64_33488` `/-rgt-identity_binary64_33487` `remove-double-neg_binary64_33484` `sub0-neg_binary64_33483` `--rgt-identity_binary64_33482` `+-rgt-identity_binary64_33481` `+-lft-identity_binary64_33480` `mul0-rgt_binary64_33479` `mul0-lft_binary64_33478` `div0_binary64_33477` `*-inverses_binary64_33476` `+-inverses_binary64_33475` `lft-mult-inverse_binary64_33474` `rgt-mult-inverse_binary64_33473` `remove-double-div_binary64_33472` `difference-of-sqr--1_binary64_33467` `difference-of-sqr-1_binary64_33466` `unswap-sqr_binary64_33464` `cancel-sign-sub_binary64_33461` `distribute-frac-neg_binary64_33459` `distribute-neg-out_binary64_33458` `distribute-rgt-neg-out_binary64_33456` `distribute-lft-out--_binary64_33448` `count-2_binary64_33444` `associate-/l/_binary64_33443` `associate-+l+_binary64_33429`

Counts

260 → 1193

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	559	31930
1	887	31118

prune36.6s (63.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	1193	0	1193
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	1193	5	1198

Error

Counts

1198 → 5

Compiler

Compiled 170480 to 109165 computations (36% saved)

regimes561.0ms (1%)

Accuracy

Total 0.1b remaining (94.2%)

Threshold costs 0.1b (94.2%)

Compiler

Compiled 5216 to 4704 computations (9.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64_33426`
2×	`sub-neg_binary64_33489`
1×	`neg-mul-1_binary64_33492` `neg-sub0_binary64_33491` `*-commutative_binary64_33427`
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_33756` `if-if-and_binary64_33755` `if-if-or-not_binary64_33754` `if-if-or_binary64_33753` `if-not_binary64_33752` `if-same_binary64_33751` `if-false_binary64_33750` `if-true_binary64_33749` `tan-0_binary64_33625` `cos-0_binary64_33624` `sin-0_binary64_33623` `unpow1_binary64_33554` `e-exp-1_binary64_33541` `1-exp_binary64_33540` `exp-1-e_binary64_33539` `exp-0_binary64_33538` `sqr-abs_binary64_33511` `sqr-neg_binary64_33510` `unsub-neg_binary64_33490` `mul-1-neg_binary64_33488` `/-rgt-identity_binary64_33487` `-rgt-identity_binary64_33486` `-lft-identity_binary64_33485` `remove-double-neg_binary64_33484` `sub0-neg_binary64_33483` `--rgt-identity_binary64_33482` `+-rgt-identity_binary64_33481` `+-lft-identity_binary64_33480` `cancel-sign-sub-inv_binary64_33462` `cancel-sign-sub_binary64_33461` `distribute-neg-frac_binary64_33460` `distribute-frac-neg_binary64_33459` `distribute-neg-out_binary64_33458` `distribute-neg-in_binary64_33457` `distribute-rgt-neg-out_binary64_33456` `distribute-lft-neg-out_binary64_33455` `distribute-rgt-neg-in_binary64_33454` `distribute-lft-neg-in_binary64_33453`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	16	22
2	21	22
3	23	22
4	24	22

Proof

(+ f64 (+ f64 (/ f64 (/ f64 2 h0) h1) (/ f64 h2 h3)) (- f64 (/ f64 2 h0) 2))

end0.0ms (0%)

sample1.6s (2.8%)

Algorithm

1×

intervals

Results

391.0ms	8000×	body	128	valid
124.0ms	2438×	body	128	invalid

Compiler

Compiled 771 to 694 computations (10% saved)

Details

analyze1.3s (2.2%)

sample32.0ms (0.1%)

simplify471.0ms (0.8%)

prune14.0ms (0%)

localize10.0ms (0%)

rewrite114.0ms (0.2%)

series730.0ms (1.3%)

simplify254.0ms (0.4%)

prune400.0ms (0.7%)

localize9.0ms (0%)

rewrite308.0ms (0.5%)

series1.1s (1.9%)

simplify484.0ms (0.8%)

prune919.0ms (1.6%)

localize14.0ms (0%)

rewrite388.0ms (0.7%)

series988.0ms (1.7%)

simplify745.0ms (1.3%)

prune1.2s (2.2%)

localize14.0ms (0%)

rewrite2.1s (3.7%)

series1.2s (2.1%)

simplify6.1s (10.6%)

prune36.6s (63.4%)

regimes561.0ms (1%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.6s (2.8%)

Profiling