Details

analyze1.5s (7.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

805×	`div-sub_binary64_21566`
768×	`times-frac_binary64_21567`
469×	`sub-neg_binary64_21554`
378×	`cancel-sign-sub-inv_binary64_21527`
362×	`distribute-rgt-neg-in_binary64_21519`
349×	`distribute-rgt-in_binary64_21511`
270×	`*-commutative_binary64_21492`
247×	`neg-mul-1_binary64_21557`
246×	`distribute-lft-in_binary64_21510`
234×	`associate-/l*_binary64_21506`
228×	`distribute-lft-neg-in_binary64_21518`
184×	`neg-sub0_binary64_21556`
182×	`associate-r_binary64_21501`
181×	`unsub-neg_binary64_21555`
151×	`distribute-neg-in_binary64_21522`
149×	`associate--r+_binary64_21497`
124×	`associate-+l-_binary64_21496`
112×	`+-commutative_binary64_21491`
89×	`associate-/r/_binary64_21507`
83×	`sub0-neg_binary64_21548`
78×	`associate-/l/_binary64_21508`
77×	`associate-*l/_binary64_21504`
71×	`associate-l_binary64_21502`
70×	`remove-double-neg_binary64_21549` `distribute-lft-neg-out_binary64_21520`
67×	`distribute-neg-frac_binary64_21525`
56×	`cancel-sign-sub_binary64_21526`
54×	`associate-/r*_binary64_21505`
42×	`mul0-rgt_binary64_21544`
39×	`associate-+r-_binary64_21495` `associate-+r+_binary64_21493`
36×	`mul0-lft_binary64_21543`
30×	`associate-*r/_binary64_21503`
29×	`--rgt-identity_binary64_21547`
27×	`associate--l+_binary64_21498` `associate-+l+_binary64_21494`
20×	`+-rgt-identity_binary64_21546`
18×	`div0_binary64_21542`
12×	`cos-neg_binary64_21692`
1×	`1-exp_binary64_21605` `swap-z-t`
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_21824` `erf-erfc_binary64_21823` `erf-odd_binary64_21822` `if-if-and-not_binary64_21821` `if-if-and_binary64_21820` `if-if-or-not_binary64_21819` `if-if-or_binary64_21818` `if-not_binary64_21817` `if-same_binary64_21816` `if-false_binary64_21815` `if-true_binary64_21814` `not-gte_binary64_21813` `not-lte_binary64_21812` `not-gt_binary64_21811` `not-lt_binary64_21810` `gte-same_binary64_21809` `lte-same_binary64_21808` `gt-same_binary64_21807` `lt-same_binary64_21806` `sinh---cosh_binary64_21753` `sinh-+-cosh_binary64_21752` `sinh-cosh_binary64_21751` `tanh-def-c_binary64_21750` `tanh-def-b_binary64_21749` `tanh-def-a_binary64_21748` `cosh-def_binary64_21747` `sinh-def_binary64_21746` `tan-neg_binary64_21693` `sin-neg_binary64_21691` `tan-0_binary64_21690` `cos-0_binary64_21689` `sin-0_binary64_21688` `hang-m-tan_binary64_21687` `hang-p-tan_binary64_21686` `hang-m0-tan_binary64_21685` `hang-p0-tan_binary64_21684` `hang-0m-tan_binary64_21683` `hang-0p-tan_binary64_21682` `tan-+PI/2_binary64_21681` `tan-+PI_binary64_21680` `tan-PI_binary64_21679` `tan-PI/3_binary64_21678` `tan-PI/4_binary64_21677` `tan-PI/6_binary64_21676` `cos-+PI/2_binary64_21675` `cos-+PI_binary64_21674` `cos-PI_binary64_21673` `cos-PI/2_binary64_21672` `cos-PI/3_binary64_21671` `cos-PI/4_binary64_21670` `cos-PI/6_binary64_21669` `sin-+PI/2_binary64_21668` `sin-+PI_binary64_21667` `sin-PI_binary64_21666` `sin-PI/2_binary64_21665` `sin-PI/3_binary64_21664` `sin-PI/4_binary64_21663` `sin-PI/6_binary64_21662` `sub-1-sin_binary64_21661` `sub-1-cos_binary64_21660` `-1-add-sin_binary64_21659` `-1-add-cos_binary64_21658` `1-sub-sin_binary64_21657` `1-sub-cos_binary64_21656` `cos-sin-sum_binary64_21655` `log-E_binary64_21651` `log-pow_binary64_21650` `log-rec_binary64_21649` `log-div_binary64_21648` `log-prod_binary64_21647` `pow-base-0_binary64_21645` `unpow1/3_binary64_21628` `unpow3_binary64_21627` `unpow2_binary64_21626` `unpow1/2_binary64_21625` `pow-plus_binary64_21624` `exp-to-pow_binary64_21623` `pow-base-1_binary64_21621` `unpow0_binary64_21620` `unpow1_binary64_21619` `unpow-1_binary64_21618` `exp-lft-cube_binary64_21617` `exp-lft-sqr_binary64_21616` `exp-cbrt_binary64_21615` `exp-sqrt_binary64_21614` `exp-prod_binary64_21613` `div-exp_binary64_21612` `rec-exp_binary64_21611` `prod-exp_binary64_21610` `exp-diff_binary64_21609` `exp-neg_binary64_21608` `exp-sum_binary64_21607` `e-exp-1_binary64_21606` `exp-1-e_binary64_21604` `exp-0_binary64_21603` `rem-log-exp_binary64_21602` `rem-exp-log_binary64_21601` `cube-unmult_binary64_21598` `cube-mult_binary64_21591` `cube-div_binary64_21590` `cube-prod_binary64_21589` `cube-neg_binary64_21588` `rem-3cbrt-rft_binary64_21587` `rem-3cbrt-lft_binary64_21586` `rem-cbrt-cube_binary64_21585` `rem-cube-cbrt_binary64_21584` `sqr-abs_binary64_21576` `sqr-neg_binary64_21575` `rem-sqrt-square_binary64_21574` `rem-square-sqrt_binary64_21573` `mul-1-neg_binary64_21553` `/-rgt-identity_binary64_21552` `-rgt-identity_binary64_21551` `-lft-identity_binary64_21550` `+-lft-identity_binary64_21545` `*-inverses_binary64_21541` `+-inverses_binary64_21540` `lft-mult-inverse_binary64_21539` `rgt-mult-inverse_binary64_21538` `remove-double-div_binary64_21537` `pow-sqr_binary64_21534` `sqr-pow_binary64_21533` `difference-of-sqr--1_binary64_21532` `difference-of-sqr-1_binary64_21531` `difference-of-squares_binary64_21530` `unswap-sqr_binary64_21529` `swap-sqr_binary64_21528` `distribute-frac-neg_binary64_21524` `distribute-neg-out_binary64_21523` `distribute-rgt-neg-out_binary64_21521` `distribute-rgt1-in_binary64_21517` `distribute-lft1-in_binary64_21516` `distribute-rgt-out--_binary64_21515` `distribute-rgt-out_binary64_21514` `distribute-lft-out--_binary64_21513` `distribute-lft-out_binary64_21512` `count-2_binary64_21509` `associate--r-_binary64_21500` `associate--l-_binary64_21499`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	114	464
1	253	464
2	498	464
3	847	464
4	1494	464
5	2633	464
6	3327	464
7	4463	464
8	4980	464
9	4881	464
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	74.8%	25.2%	10
0%	74.8%	25.2%	11
0%	74.8%	25.2%	12
24.9%	49.9%	25.2%	13
24.9%	37.4%	37.7%	14

Symmetry

(sort z t)

Compiler

Compiled 20 to 20 computations (0% saved)

sample92.0ms (0.4%)

Algorithm

1×

intervals

Results

15.0ms	47×	body	1024	valid
12.0ms	159×	body	128	valid
12.0ms	26×	body	2048	valid
6.0ms	82×	body	128	nan
5.0ms	19×	body	512	valid
4.0ms	49×	body	128	invalid
1.0ms	5×	body	256	valid

Compiler

Compiled 39 to 45 computations (-15.4% saved)

simplify51.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

146×	`cancel-sign-sub-inv_binary64_21527`
110×	`distribute-rgt-neg-in_binary64_21519`
104×	`associate-/l*_binary64_21506`
69×	`div-sub_binary64_21566` `distribute-neg-frac_binary64_21525`
67×	`sub-neg_binary64_21554`
66×	`unsub-neg_binary64_21555`
54×	`associate-/r*_binary64_21505`
52×	`distribute-lft-neg-in_binary64_21518` `distribute-rgt-in_binary64_21511`
48×	`neg-mul-1_binary64_21557`
42×	`neg-sub0_binary64_21556` `distribute-lft-in_binary64_21510` `associate-*l/_binary64_21504`
40×	`distribute-lft-neg-out_binary64_21520`
39×	`associate-/l/_binary64_21508`
36×	`times-frac_binary64_21567` `*-commutative_binary64_21492`
34×	`associate--r+_binary64_21497`
31×	`distribute-neg-in_binary64_21522` `associate-r_binary64_21501`
28×	`+-commutative_binary64_21491`
27×	`associate-/r/_binary64_21507`
25×	`associate-l_binary64_21502`
24×	`-lft-identity_binary64_21550` `mul0-rgt_binary64_21544` `associate-r/_binary64_21503`
22×	`+-lft-identity_binary64_21545`
21×	`mul0-lft_binary64_21543`
19×	`distribute-rgt-neg-out_binary64_21521`
17×	`remove-double-neg_binary64_21549`
16×	`associate-+l-_binary64_21496`
15×	`*-rgt-identity_binary64_21551`
13×	`sub0-neg_binary64_21548`
9×	`div0_binary64_21542`
8×	`associate--r-_binary64_21500`
7×	`--rgt-identity_binary64_21547`
6×	`associate-+l+_binary64_21494`
4×	`/-rgt-identity_binary64_21552`
2×	`cos-neg_binary64_21692` `+-rgt-identity_binary64_21546` `associate--l+_binary64_21498` `associate-+r-_binary64_21495` `associate-+r+_binary64_21493`
1×	`1-exp_binary64_21605` `cancel-sign-sub_binary64_21526`
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_21824` `erf-erfc_binary64_21823` `erf-odd_binary64_21822` `if-if-and-not_binary64_21821` `if-if-and_binary64_21820` `if-if-or-not_binary64_21819` `if-if-or_binary64_21818` `if-not_binary64_21817` `if-same_binary64_21816` `if-false_binary64_21815` `if-true_binary64_21814` `not-gte_binary64_21813` `not-lte_binary64_21812` `not-gt_binary64_21811` `not-lt_binary64_21810` `gte-same_binary64_21809` `lte-same_binary64_21808` `gt-same_binary64_21807` `lt-same_binary64_21806` `sinh---cosh_binary64_21753` `sinh-+-cosh_binary64_21752` `sinh-cosh_binary64_21751` `tanh-def-c_binary64_21750` `tanh-def-b_binary64_21749` `tanh-def-a_binary64_21748` `cosh-def_binary64_21747` `sinh-def_binary64_21746` `tan-neg_binary64_21693` `sin-neg_binary64_21691` `tan-0_binary64_21690` `cos-0_binary64_21689` `sin-0_binary64_21688` `hang-m-tan_binary64_21687` `hang-p-tan_binary64_21686` `hang-m0-tan_binary64_21685` `hang-p0-tan_binary64_21684` `hang-0m-tan_binary64_21683` `hang-0p-tan_binary64_21682` `tan-+PI/2_binary64_21681` `tan-+PI_binary64_21680` `tan-PI_binary64_21679` `tan-PI/3_binary64_21678` `tan-PI/4_binary64_21677` `tan-PI/6_binary64_21676` `cos-+PI/2_binary64_21675` `cos-+PI_binary64_21674` `cos-PI_binary64_21673` `cos-PI/2_binary64_21672` `cos-PI/3_binary64_21671` `cos-PI/4_binary64_21670` `cos-PI/6_binary64_21669` `sin-+PI/2_binary64_21668` `sin-+PI_binary64_21667` `sin-PI_binary64_21666` `sin-PI/2_binary64_21665` `sin-PI/3_binary64_21664` `sin-PI/4_binary64_21663` `sin-PI/6_binary64_21662` `sub-1-sin_binary64_21661` `sub-1-cos_binary64_21660` `-1-add-sin_binary64_21659` `-1-add-cos_binary64_21658` `1-sub-sin_binary64_21657` `1-sub-cos_binary64_21656` `cos-sin-sum_binary64_21655` `log-E_binary64_21651` `log-pow_binary64_21650` `log-rec_binary64_21649` `log-div_binary64_21648` `log-prod_binary64_21647` `pow-base-0_binary64_21645` `unpow1/3_binary64_21628` `unpow3_binary64_21627` `unpow2_binary64_21626` `unpow1/2_binary64_21625` `pow-plus_binary64_21624` `exp-to-pow_binary64_21623` `pow-base-1_binary64_21621` `unpow0_binary64_21620` `unpow1_binary64_21619` `unpow-1_binary64_21618` `exp-lft-cube_binary64_21617` `exp-lft-sqr_binary64_21616` `exp-cbrt_binary64_21615` `exp-sqrt_binary64_21614` `exp-prod_binary64_21613` `div-exp_binary64_21612` `rec-exp_binary64_21611` `prod-exp_binary64_21610` `exp-diff_binary64_21609` `exp-neg_binary64_21608` `exp-sum_binary64_21607` `e-exp-1_binary64_21606` `exp-1-e_binary64_21604` `exp-0_binary64_21603` `rem-log-exp_binary64_21602` `rem-exp-log_binary64_21601` `cube-unmult_binary64_21598` `cube-mult_binary64_21591` `cube-div_binary64_21590` `cube-prod_binary64_21589` `cube-neg_binary64_21588` `rem-3cbrt-rft_binary64_21587` `rem-3cbrt-lft_binary64_21586` `rem-cbrt-cube_binary64_21585` `rem-cube-cbrt_binary64_21584` `sqr-abs_binary64_21576` `sqr-neg_binary64_21575` `rem-sqrt-square_binary64_21574` `rem-square-sqrt_binary64_21573` `mul-1-neg_binary64_21553` `*-inverses_binary64_21541` `+-inverses_binary64_21540` `lft-mult-inverse_binary64_21539` `rgt-mult-inverse_binary64_21538` `remove-double-div_binary64_21537` `pow-sqr_binary64_21534` `sqr-pow_binary64_21533` `difference-of-sqr--1_binary64_21532` `difference-of-sqr-1_binary64_21531` `difference-of-squares_binary64_21530` `unswap-sqr_binary64_21529` `swap-sqr_binary64_21528` `distribute-frac-neg_binary64_21524` `distribute-neg-out_binary64_21523` `distribute-rgt1-in_binary64_21517` `distribute-lft1-in_binary64_21516` `distribute-rgt-out--_binary64_21515` `distribute-rgt-out_binary64_21514` `distribute-lft-out--_binary64_21513` `distribute-lft-out_binary64_21512` `count-2_binary64_21509` `associate--l-_binary64_21499`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	29
1	33	29
2	61	29
3	106	29
4	188	29
5	282	29
6	392	29
7	494	29
8	604	29
9	715	29
10	843	29
11	883	29
12	866	29
13	868	29
14	868	29
15	757	29

prune4.0ms (0%)

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

16.7b

Counts

2 → 1

Compiler

Compiled 38 to 38 computations (0% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (*.f64 z t) 3)
0.2b	(/.f64 a (*.f64 b 3))
0.2b	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
21.3b	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))

rewrite207.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

15.7b

Rules

19×	`add-exp-log_binary64_21599` `add-cbrt-cube_binary64_21597`
11×	`add-cube-cbrt_binary64_21596` `add-sqr-sqrt_binary64_21583` `*-un-lft-identity_binary64_21561`
9×	`times-frac_binary64_21567` `pow1_binary64_21622`
8×	`cos-sum_binary64_21695`
7×	`cancel-sign-sub-inv_binary64_21527`
5×	`prod-exp_binary64_21610` `cbrt-unprod_binary64_21594`
4×	`add-log-exp_binary64_21600` `div-exp_binary64_21612` `cbrt-undiv_binary64_21595` `associate-/l_binary64_21506` `associate-/r_binary64_21505`
3×	`cos-diff_binary64_21698` `div-inv_binary64_21558` `pow-prod-down_binary64_21632` `associate-r_binary64_21501`
2×	`frac-2neg_binary64_21572` `clear-num_binary64_21560`
1×	`sub-neg_binary64_21554` `distribute-rgt-in_binary64_21511` `distribute-lft-in_binary64_21510` `associate-l_binary64_21502` `*-commutative_binary64_21492`

Counts

4 → 78

Calls

4 calls:

11.0ms	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))
9.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
5.0ms	(/.f64 (*.f64 z t) 3)
4.0ms	(/.f64 a (*.f64 b 3))

Compiler

Compiled 2173 to 1334 computations (38.6% saved)

series779.0ms (3.8%)

Error

12.9b

Counts

4 → 45

Calls

4 calls:

403.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
133.0ms	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))
95.0ms	(/.f64 a (*.f64 b 3))
86.0ms	(/.f64 (*.f64 z t) 3)

Compiler

Compiled 2890 to 2315 computations (19.9% saved)

simplify131.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

470×	`associate-/l*_binary64_21506`
274×	`times-frac_binary64_21567`
260×	`associate-*l/_binary64_21504`
239×	`associate-l_binary64_21502`
207×	`associate-r_binary64_21501`
206×	`associate-/r*_binary64_21505`
201×	`associate-/l/_binary64_21508`
197×	`associate-*r/_binary64_21503`
176×	`sub-neg_binary64_21554`
172×	`cancel-sign-sub-inv_binary64_21527`
169×	`*-commutative_binary64_21492`
139×	`neg-mul-1_binary64_21557` `neg-sub0_binary64_21556`
133×	`distribute-rgt-neg-in_binary64_21519`
118×	`distribute-lft-neg-in_binary64_21518`
98×	`associate-/r/_binary64_21507`
97×	`log-div_binary64_21648`
91×	`cube-div_binary64_21590`
86×	`sqr-pow_binary64_21533`
74×	`log-prod_binary64_21647`
67×	`exp-prod_binary64_21613`
66×	`cube-prod_binary64_21589`
51×	`div-sub_binary64_21566`
50×	`unsub-neg_binary64_21555`
48×	`+-commutative_binary64_21491`
44×	`unpow3_binary64_21627`
39×	`cube-mult_binary64_21591`
33×	`distribute-lft-neg-out_binary64_21520`
32×	`distribute-rgt-neg-out_binary64_21521`
30×	`distribute-neg-frac_binary64_21525`
24×	`unswap-sqr_binary64_21529`
22×	`swap-sqr_binary64_21528` `associate-+l-_binary64_21496` `associate-+r-_binary64_21495`
21×	`*-rgt-identity_binary64_21551`
19×	`*-lft-identity_binary64_21550` `distribute-rgt-in_binary64_21511` `associate-+l+_binary64_21494`
18×	`+-rgt-identity_binary64_21546`
15×	`cube-unmult_binary64_21598`
12×	`sub0-neg_binary64_21548` `pow-sqr_binary64_21534` `distribute-rgt-out--_binary64_21515` `distribute-lft-in_binary64_21510` `associate-+r+_binary64_21493`
11×	`log-rec_binary64_21649` `associate--l+_binary64_21498`
10×	`/-rgt-identity_binary64_21552` `remove-double-neg_binary64_21549` `distribute-rgt-out_binary64_21514`
9×	`cos-neg_binary64_21692`
8×	`sin-neg_binary64_21691` `associate--l-_binary64_21499`
7×	`log-pow_binary64_21650` `mul0-rgt_binary64_21544` `mul0-lft_binary64_21543` `div0_binary64_21542` `distribute-lft-out--_binary64_21513`
6×	`unpow1/2_binary64_21625` `distribute-neg-in_binary64_21522` `associate--r+_binary64_21497`
5×	`exp-cbrt_binary64_21615` `rem-sqrt-square_binary64_21574`
4×	`pow-plus_binary64_21624` `unpow1_binary64_21619` `distribute-lft-out_binary64_21512`
3×	`unpow2_binary64_21626` `exp-lft-sqr_binary64_21616` `prod-exp_binary64_21610` `rem-square-sqrt_binary64_21573`
2×	`distribute-frac-neg_binary64_21524`
1×	`1-exp_binary64_21605` `exp-1-e_binary64_21604` `rem-3cbrt-rft_binary64_21587` `rem-3cbrt-lft_binary64_21586` `+-lft-identity_binary64_21545` `difference-of-squares_binary64_21530` `distribute-rgt1-in_binary64_21517`
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_21824` `erf-erfc_binary64_21823` `erf-odd_binary64_21822` `if-if-and-not_binary64_21821` `if-if-and_binary64_21820` `if-if-or-not_binary64_21819` `if-if-or_binary64_21818` `if-not_binary64_21817` `if-same_binary64_21816` `if-false_binary64_21815` `if-true_binary64_21814` `not-gte_binary64_21813` `not-lte_binary64_21812` `not-gt_binary64_21811` `not-lt_binary64_21810` `gte-same_binary64_21809` `lte-same_binary64_21808` `gt-same_binary64_21807` `lt-same_binary64_21806` `sinh---cosh_binary64_21753` `sinh-+-cosh_binary64_21752` `sinh-cosh_binary64_21751` `tanh-def-c_binary64_21750` `tanh-def-b_binary64_21749` `tanh-def-a_binary64_21748` `cosh-def_binary64_21747` `sinh-def_binary64_21746` `tan-neg_binary64_21693` `tan-0_binary64_21690` `cos-0_binary64_21689` `sin-0_binary64_21688` `hang-m-tan_binary64_21687` `hang-p-tan_binary64_21686` `hang-m0-tan_binary64_21685` `hang-p0-tan_binary64_21684` `hang-0m-tan_binary64_21683` `hang-0p-tan_binary64_21682` `tan-+PI/2_binary64_21681` `tan-+PI_binary64_21680` `tan-PI_binary64_21679` `tan-PI/3_binary64_21678` `tan-PI/4_binary64_21677` `tan-PI/6_binary64_21676` `cos-+PI/2_binary64_21675` `cos-+PI_binary64_21674` `cos-PI_binary64_21673` `cos-PI/2_binary64_21672` `cos-PI/3_binary64_21671` `cos-PI/4_binary64_21670` `cos-PI/6_binary64_21669` `sin-+PI/2_binary64_21668` `sin-+PI_binary64_21667` `sin-PI_binary64_21666` `sin-PI/2_binary64_21665` `sin-PI/3_binary64_21664` `sin-PI/4_binary64_21663` `sin-PI/6_binary64_21662` `sub-1-sin_binary64_21661` `sub-1-cos_binary64_21660` `-1-add-sin_binary64_21659` `-1-add-cos_binary64_21658` `1-sub-sin_binary64_21657` `1-sub-cos_binary64_21656` `cos-sin-sum_binary64_21655` `log-E_binary64_21651` `pow-base-0_binary64_21645` `unpow1/3_binary64_21628` `exp-to-pow_binary64_21623` `pow-base-1_binary64_21621` `unpow0_binary64_21620` `unpow-1_binary64_21618` `exp-lft-cube_binary64_21617` `exp-sqrt_binary64_21614` `div-exp_binary64_21612` `rec-exp_binary64_21611` `exp-diff_binary64_21609` `exp-neg_binary64_21608` `exp-sum_binary64_21607` `e-exp-1_binary64_21606` `exp-0_binary64_21603` `rem-log-exp_binary64_21602` `rem-exp-log_binary64_21601` `cube-neg_binary64_21588` `rem-cbrt-cube_binary64_21585` `rem-cube-cbrt_binary64_21584` `sqr-abs_binary64_21576` `sqr-neg_binary64_21575` `mul-1-neg_binary64_21553` `--rgt-identity_binary64_21547` `*-inverses_binary64_21541` `+-inverses_binary64_21540` `lft-mult-inverse_binary64_21539` `rgt-mult-inverse_binary64_21538` `remove-double-div_binary64_21537` `difference-of-sqr--1_binary64_21532` `difference-of-sqr-1_binary64_21531` `cancel-sign-sub_binary64_21526` `distribute-neg-out_binary64_21523` `distribute-lft1-in_binary64_21516` `count-2_binary64_21509` `associate--r-_binary64_21500`

Counts

123 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	247	2294
1	582	2049
2	1749	1991
3	4195	1991
4	4727	1991
5	4932	1991

prune180.0ms (0.9%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	61	19	80
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	19	81

Error

15.5b

Counts

81 → 19

Compiler

Compiled 2481 to 1632 computations (34.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 z (/.f64 t 3))
0.2b	(/.f64 a (*.f64 b 3))
0.2b	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (*.f64 z (/.f64 t 3)))))
21.6b	(cos.f64 (-.f64 y (*.f64 z (/.f64 t 3))))

rewrite184.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

15.2b

Rules

20×	`add-sqr-sqrt_binary64_21583`
19×	`add-exp-log_binary64_21599` `add-cbrt-cube_binary64_21597`
16×	`associate-r_binary64_21501`
15×	`add-cube-cbrt_binary64_21596` `*-un-lft-identity_binary64_21561`
13×	`times-frac_binary64_21567`
11×	`pow1_binary64_21622`
6×	`prod-exp_binary64_21610` `cbrt-unprod_binary64_21594`
4×	`add-log-exp_binary64_21600` `pow-prod-down_binary64_21632` `associate-l_binary64_21502`
3×	`cos-diff_binary64_21698` `div-exp_binary64_21612` `cbrt-undiv_binary64_21595` `associate-/l*_binary64_21506`
2×	`cos-sum_binary64_21695` `*-commutative_binary64_21492` `div-inv_binary64_21558` `unswap-sqr_binary64_21529`
1×	`sub-neg_binary64_21554` `cancel-sign-sub-inv_binary64_21527` `distribute-rgt-in_binary64_21511` `distribute-lft-in_binary64_21510` `frac-2neg_binary64_21572` `clear-num_binary64_21560` `associate-/r_binary64_21505` `associate-r/_binary64_21503`

Counts

4 → 83

Calls

4 calls:

11.0ms	(*.f64 z (/.f64 t 3))
7.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (*.f64 z (/.f64 t 3)))))
4.0ms	(cos.f64 (-.f64 y (*.f64 z (/.f64 t 3))))
4.0ms	(/.f64 a (*.f64 b 3))

Compiler

Compiled 2214 to 1442 computations (34.9% saved)

series789.0ms (3.8%)

Error

12.5b

Counts

4 → 45

Calls

4 calls:

392.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (*.f64 z (/.f64 t 3)))))
156.0ms	(cos.f64 (-.f64 y (*.f64 z (/.f64 t 3))))
95.0ms	(/.f64 a (*.f64 b 3))
88.0ms	(*.f64 z (/.f64 t 3))

Compiler

Compiled 2890 to 2320 computations (19.7% saved)

simplify147.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

327×	`associate-/l*_binary64_21506`
273×	`sub-neg_binary64_21554` `cancel-sign-sub-inv_binary64_21527`
269×	`associate-l_binary64_21502`
243×	`times-frac_binary64_21567`
230×	`associate-r_binary64_21501`
224×	`distribute-rgt-neg-in_binary64_21519`
220×	`associate-*l/_binary64_21504`
206×	`associate-*r/_binary64_21503`
200×	`distribute-lft-neg-in_binary64_21518`
170×	`neg-mul-1_binary64_21557`
169×	`associate-/r*_binary64_21505`
165×	`*-commutative_binary64_21492`
158×	`neg-sub0_binary64_21556`
135×	`associate-/l/_binary64_21508`
102×	`unswap-sqr_binary64_21529`
93×	`distribute-rgt-in_binary64_21511`
87×	`sqr-pow_binary64_21533`
73×	`unsub-neg_binary64_21555`
69×	`associate-/r/_binary64_21507`
58×	`exp-prod_binary64_21613`
56×	`log-prod_binary64_21647`
53×	`*-lft-identity_binary64_21550`
45×	`cube-prod_binary64_21589` `*-rgt-identity_binary64_21551`
44×	`+-commutative_binary64_21491`
36×	`log-div_binary64_21648`
34×	`swap-sqr_binary64_21528` `distribute-lft-neg-out_binary64_21520`
33×	`cube-div_binary64_21590` `rem-sqrt-square_binary64_21574`
31×	`distribute-rgt-neg-out_binary64_21521`
26×	`unpow3_binary64_21627` `distribute-rgt-out--_binary64_21515`
25×	`distribute-lft-out--_binary64_21513`
24×	`associate-+l+_binary64_21494`
21×	`cube-mult_binary64_21591` `associate-+r-_binary64_21495`
20×	`distribute-rgt-out_binary64_21514` `associate-+l-_binary64_21496`
18×	`distribute-lft-out_binary64_21512`
17×	`/-rgt-identity_binary64_21552` `+-rgt-identity_binary64_21546`
16×	`associate-+r+_binary64_21493`
14×	`cube-unmult_binary64_21598` `distribute-neg-in_binary64_21522`
13×	`sub0-neg_binary64_21548`
12×	`pow-sqr_binary64_21534`
9×	`unpow1/2_binary64_21625` `remove-double-neg_binary64_21549`
8×	`log-pow_binary64_21650` `associate--l+_binary64_21498` `associate--r+_binary64_21497`
7×	`div-sub_binary64_21566` `distribute-neg-frac_binary64_21525`
5×	`cos-neg_binary64_21692`
4×	`sin-neg_binary64_21691` `log-rec_binary64_21649` `pow-plus_binary64_21624` `unpow1_binary64_21619` `exp-cbrt_binary64_21615`
3×	`unpow2_binary64_21626` `exp-lft-sqr_binary64_21616` `prod-exp_binary64_21610` `mul0-rgt_binary64_21544` `mul0-lft_binary64_21543` `cancel-sign-sub_binary64_21526` `distribute-rgt1-in_binary64_21517` `distribute-lft-in_binary64_21510`
2×	`remove-double-div_binary64_21537`
1×	`1-exp_binary64_21605` `exp-1-e_binary64_21604` `sqr-neg_binary64_21575` `rem-square-sqrt_binary64_21573` `div0_binary64_21542` `distribute-frac-neg_binary64_21524` `distribute-lft1-in_binary64_21516`
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_21824` `erf-erfc_binary64_21823` `erf-odd_binary64_21822` `if-if-and-not_binary64_21821` `if-if-and_binary64_21820` `if-if-or-not_binary64_21819` `if-if-or_binary64_21818` `if-not_binary64_21817` `if-same_binary64_21816` `if-false_binary64_21815` `if-true_binary64_21814` `not-gte_binary64_21813` `not-lte_binary64_21812` `not-gt_binary64_21811` `not-lt_binary64_21810` `gte-same_binary64_21809` `lte-same_binary64_21808` `gt-same_binary64_21807` `lt-same_binary64_21806` `sinh---cosh_binary64_21753` `sinh-+-cosh_binary64_21752` `sinh-cosh_binary64_21751` `tanh-def-c_binary64_21750` `tanh-def-b_binary64_21749` `tanh-def-a_binary64_21748` `cosh-def_binary64_21747` `sinh-def_binary64_21746` `tan-neg_binary64_21693` `tan-0_binary64_21690` `cos-0_binary64_21689` `sin-0_binary64_21688` `hang-m-tan_binary64_21687` `hang-p-tan_binary64_21686` `hang-m0-tan_binary64_21685` `hang-p0-tan_binary64_21684` `hang-0m-tan_binary64_21683` `hang-0p-tan_binary64_21682` `tan-+PI/2_binary64_21681` `tan-+PI_binary64_21680` `tan-PI_binary64_21679` `tan-PI/3_binary64_21678` `tan-PI/4_binary64_21677` `tan-PI/6_binary64_21676` `cos-+PI/2_binary64_21675` `cos-+PI_binary64_21674` `cos-PI_binary64_21673` `cos-PI/2_binary64_21672` `cos-PI/3_binary64_21671` `cos-PI/4_binary64_21670` `cos-PI/6_binary64_21669` `sin-+PI/2_binary64_21668` `sin-+PI_binary64_21667` `sin-PI_binary64_21666` `sin-PI/2_binary64_21665` `sin-PI/3_binary64_21664` `sin-PI/4_binary64_21663` `sin-PI/6_binary64_21662` `sub-1-sin_binary64_21661` `sub-1-cos_binary64_21660` `-1-add-sin_binary64_21659` `-1-add-cos_binary64_21658` `1-sub-sin_binary64_21657` `1-sub-cos_binary64_21656` `cos-sin-sum_binary64_21655` `log-E_binary64_21651` `pow-base-0_binary64_21645` `unpow1/3_binary64_21628` `exp-to-pow_binary64_21623` `pow-base-1_binary64_21621` `unpow0_binary64_21620` `unpow-1_binary64_21618` `exp-lft-cube_binary64_21617` `exp-sqrt_binary64_21614` `div-exp_binary64_21612` `rec-exp_binary64_21611` `exp-diff_binary64_21609` `exp-neg_binary64_21608` `exp-sum_binary64_21607` `e-exp-1_binary64_21606` `exp-0_binary64_21603` `rem-log-exp_binary64_21602` `rem-exp-log_binary64_21601` `cube-neg_binary64_21588` `rem-3cbrt-rft_binary64_21587` `rem-3cbrt-lft_binary64_21586` `rem-cbrt-cube_binary64_21585` `rem-cube-cbrt_binary64_21584` `sqr-abs_binary64_21576` `mul-1-neg_binary64_21553` `--rgt-identity_binary64_21547` `+-lft-identity_binary64_21545` `*-inverses_binary64_21541` `+-inverses_binary64_21540` `lft-mult-inverse_binary64_21539` `rgt-mult-inverse_binary64_21538` `difference-of-sqr--1_binary64_21532` `difference-of-sqr-1_binary64_21531` `difference-of-squares_binary64_21530` `distribute-neg-out_binary64_21523` `count-2_binary64_21509` `associate--r-_binary64_21500` `associate--l-_binary64_21499`

Counts

128 → 68

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	229	2249
1	567	2003
2	1794	1963
3	3692	1958
4	4740	1958
5	4928	1958
6	5064	1958

prune143.0ms (0.7%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	61	7	68
Fresh	1	17	18
Picked	1	0	1
Done	0	0	0
Total	63	24	87

Error

15.4b

Counts

87 → 24

Compiler

Compiled 2251 to 1581 computations (29.8% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
21.6b	(cos.f64 (-.f64 y (.f64 (.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (/.f64 t 3) (cbrt.f64 z)))))

rewrite94.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

15.3b

Rules

9×	`cbrt-prod_binary64_21592`
7×	`add-cube-cbrt_binary64_21596` `add-sqr-sqrt_binary64_21583` `*-un-lft-identity_binary64_21561`
4×	`pow1_binary64_21622` `add-log-exp_binary64_21600` `add-exp-log_binary64_21599` `add-cbrt-cube_binary64_21597`
3×	`pow1/3_binary64_21643`
2×	`cos-sum_binary64_21695`
1×	`cos-diff_binary64_21698` `sub-neg_binary64_21554` `cancel-sign-sub-inv_binary64_21527`

Counts

4 → 43

Calls

4 calls:

5.0ms	(cos.f64 (-.f64 y (.f64 (.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (/.f64 t 3) (cbrt.f64 z)))))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 1408 to 708 computations (49.7% saved)

series544.0ms (2.6%)

Error

12.3b

Counts

4 → 24

Calls

4 calls:

166.0ms	(cos.f64 (-.f64 y (.f64 (.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (/.f64 t 3) (cbrt.f64 z)))))
119.0ms	(cbrt.f64 z)
117.0ms	(cbrt.f64 z)
103.0ms	(cbrt.f64 z)

Compiler

Compiled 1739 to 1403 computations (19.3% saved)

simplify104.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

529×	`unswap-sqr_binary64_21529`
447×	`associate-l_binary64_21502`
439×	`distribute-rgt-neg-in_binary64_21519`
438×	`associate-r_binary64_21501`
425×	`cancel-sign-sub-inv_binary64_21527`
413×	`distribute-lft-neg-in_binary64_21518`
309×	`neg-mul-1_binary64_21557`
230×	`associate-/l*_binary64_21506`
117×	`*-commutative_binary64_21492`
108×	`distribute-rgt-in_binary64_21511`
98×	`distribute-lft-in_binary64_21510`
95×	`log-prod_binary64_21647`
64×	`distribute-lft-neg-out_binary64_21520`
61×	`neg-sub0_binary64_21556` `sub-neg_binary64_21554`
44×	`distribute-rgt-neg-out_binary64_21521`
36×	`sqr-pow_binary64_21533`
34×	`div-sub_binary64_21566`
31×	`cube-prod_binary64_21589` `swap-sqr_binary64_21528`
23×	`log-pow_binary64_21650` `unpow3_binary64_21627` `distribute-rgt-out_binary64_21514`
21×	`pow-plus_binary64_21624` `associate-*l/_binary64_21504`
20×	`distribute-neg-frac_binary64_21525`
19×	`associate-*r/_binary64_21503`
17×	`cube-unmult_binary64_21598` `+-commutative_binary64_21491`
16×	`distribute-rgt-out--_binary64_21515` `associate-/r/_binary64_21507`
14×	`unsub-neg_binary64_21555`
12×	`exp-prod_binary64_21613` `rem-sqrt-square_binary64_21574`
9×	`cube-mult_binary64_21591`
8×	`associate-+l-_binary64_21496` `associate-+r-_binary64_21495`
7×	`distribute-lft-out--_binary64_21513`
6×	`sub0-neg_binary64_21548` `+-rgt-identity_binary64_21546` `associate-+l+_binary64_21494`
5×	`cos-neg_binary64_21692` `pow-sqr_binary64_21534`
4×	`sin-neg_binary64_21691` `unpow2_binary64_21626` `mul0-rgt_binary64_21544` `mul0-lft_binary64_21543` `count-2_binary64_21509` `associate--l+_binary64_21498`
3×	`unpow1/2_binary64_21625` `unpow1_binary64_21619` `distribute-neg-in_binary64_21522` `distribute-lft-out_binary64_21512`
2×	`unpow1/3_binary64_21628` `remove-double-neg_binary64_21549` `distribute-rgt1-in_binary64_21517` `associate-/l/_binary64_21508` `associate--r+_binary64_21497` `associate-+r+_binary64_21493`
1×	`1-exp_binary64_21605` `rem-3cbrt-lft_binary64_21586` `rem-cube-cbrt_binary64_21584` `sqr-neg_binary64_21575` `mul-1-neg_binary64_21553` `distribute-lft1-in_binary64_21516` `associate-/r*_binary64_21505`
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_21824` `erf-erfc_binary64_21823` `erf-odd_binary64_21822` `if-if-and-not_binary64_21821` `if-if-and_binary64_21820` `if-if-or-not_binary64_21819` `if-if-or_binary64_21818` `if-not_binary64_21817` `if-same_binary64_21816` `if-false_binary64_21815` `if-true_binary64_21814` `not-gte_binary64_21813` `not-lte_binary64_21812` `not-gt_binary64_21811` `not-lt_binary64_21810` `gte-same_binary64_21809` `lte-same_binary64_21808` `gt-same_binary64_21807` `lt-same_binary64_21806` `sinh---cosh_binary64_21753` `sinh-+-cosh_binary64_21752` `sinh-cosh_binary64_21751` `tanh-def-c_binary64_21750` `tanh-def-b_binary64_21749` `tanh-def-a_binary64_21748` `cosh-def_binary64_21747` `sinh-def_binary64_21746` `tan-neg_binary64_21693` `tan-0_binary64_21690` `cos-0_binary64_21689` `sin-0_binary64_21688` `hang-m-tan_binary64_21687` `hang-p-tan_binary64_21686` `hang-m0-tan_binary64_21685` `hang-p0-tan_binary64_21684` `hang-0m-tan_binary64_21683` `hang-0p-tan_binary64_21682` `tan-+PI/2_binary64_21681` `tan-+PI_binary64_21680` `tan-PI_binary64_21679` `tan-PI/3_binary64_21678` `tan-PI/4_binary64_21677` `tan-PI/6_binary64_21676` `cos-+PI/2_binary64_21675` `cos-+PI_binary64_21674` `cos-PI_binary64_21673` `cos-PI/2_binary64_21672` `cos-PI/3_binary64_21671` `cos-PI/4_binary64_21670` `cos-PI/6_binary64_21669` `sin-+PI/2_binary64_21668` `sin-+PI_binary64_21667` `sin-PI_binary64_21666` `sin-PI/2_binary64_21665` `sin-PI/3_binary64_21664` `sin-PI/4_binary64_21663` `sin-PI/6_binary64_21662` `sub-1-sin_binary64_21661` `sub-1-cos_binary64_21660` `-1-add-sin_binary64_21659` `-1-add-cos_binary64_21658` `1-sub-sin_binary64_21657` `1-sub-cos_binary64_21656` `cos-sin-sum_binary64_21655` `log-E_binary64_21651` `log-rec_binary64_21649` `log-div_binary64_21648` `pow-base-0_binary64_21645` `exp-to-pow_binary64_21623` `pow-base-1_binary64_21621` `unpow0_binary64_21620` `unpow-1_binary64_21618` `exp-lft-cube_binary64_21617` `exp-lft-sqr_binary64_21616` `exp-cbrt_binary64_21615` `exp-sqrt_binary64_21614` `div-exp_binary64_21612` `rec-exp_binary64_21611` `prod-exp_binary64_21610` `exp-diff_binary64_21609` `exp-neg_binary64_21608` `exp-sum_binary64_21607` `e-exp-1_binary64_21606` `exp-1-e_binary64_21604` `exp-0_binary64_21603` `rem-log-exp_binary64_21602` `rem-exp-log_binary64_21601` `cube-div_binary64_21590` `cube-neg_binary64_21588` `rem-3cbrt-rft_binary64_21587` `rem-cbrt-cube_binary64_21585` `sqr-abs_binary64_21576` `rem-square-sqrt_binary64_21573` `times-frac_binary64_21567` `/-rgt-identity_binary64_21552` `-rgt-identity_binary64_21551` `-lft-identity_binary64_21550` `--rgt-identity_binary64_21547` `+-lft-identity_binary64_21545` `div0_binary64_21542` `*-inverses_binary64_21541` `+-inverses_binary64_21540` `lft-mult-inverse_binary64_21539` `rgt-mult-inverse_binary64_21538` `remove-double-div_binary64_21537` `difference-of-sqr--1_binary64_21532` `difference-of-sqr-1_binary64_21531` `difference-of-squares_binary64_21530` `cancel-sign-sub_binary64_21526` `distribute-frac-neg_binary64_21524` `distribute-neg-out_binary64_21523` `associate--r-_binary64_21500` `associate--l-_binary64_21499`

Counts

67 → 29

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	87	936
1	192	707
2	492	700
3	1986	683
4	4831	683
5	4881	683
6	5115	683

prune91.0ms (0.4%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	26	3	29
Fresh	3	20	23
Picked	0	1	1
Done	0	0	0
Total	29	24	53

Error

15.3b

Counts

53 → 24

Compiler

Compiled 1417 to 1022 computations (27.9% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
0.2b	(/.f64 b (/.f64 a 3))
0.9b	(/.f64 1 (/.f64 b (/.f64 a 3)))
21.3b	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))

rewrite758.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

15.3b

Rules

474×	`times-frac_binary64_21567`
234×	`add-cube-cbrt_binary64_21596` `add-sqr-sqrt_binary64_21583` `*-un-lft-identity_binary64_21561`
57×	`associate-/r*_binary64_21505`
35×	`add-exp-log_binary64_21599`
23×	`div-inv_binary64_21558` `add-cbrt-cube_binary64_21597`
18×	`div-exp_binary64_21612`
10×	`pow1_binary64_21622`
9×	`cbrt-undiv_binary64_21595`
8×	`cos-sum_binary64_21695`
7×	`cancel-sign-sub-inv_binary64_21527`
6×	`associate-/r/_binary64_21507` `associate-/l*_binary64_21506`
4×	`add-log-exp_binary64_21600`
3×	`cos-diff_binary64_21698` `1-exp_binary64_21605` `rec-exp_binary64_21611` `pow-prod-down_binary64_21632` `prod-exp_binary64_21610` `cbrt-unprod_binary64_21594` `associate-r_binary64_21501`
2×	`frac-2neg_binary64_21572` `clear-num_binary64_21560`
1×	`sub-neg_binary64_21554` `inv-pow_binary64_21646` `pow-flip_binary64_21635` `distribute-rgt-in_binary64_21511` `distribute-lft-in_binary64_21510` `associate-l_binary64_21502` `*-commutative_binary64_21492`

Counts

4 → 310

Calls

4 calls:

14.0ms	(/.f64 1 (/.f64 b (/.f64 a 3)))
14.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
7.0ms	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))
6.0ms	(/.f64 b (/.f64 a 3))

Compiler

Compiled 10340 to 6538 computations (36.8% saved)

series804.0ms (3.9%)

Error

12.4b

Counts

4 → 45

Calls

4 calls:

415.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
142.0ms	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))
92.0ms	(/.f64 b (/.f64 a 3))
89.0ms	(/.f64 1 (/.f64 b (/.f64 a 3)))

Compiler

Compiled 3100 to 2520 computations (18.7% saved)

simplify274.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

420×	`associate-/r/_binary64_21507`
364×	`*-commutative_binary64_21492`
281×	`associate-*l/_binary64_21504`
265×	`associate-/l/_binary64_21508`
250×	`associate-r_binary64_21501`
225×	`associate-l_binary64_21502`
222×	`associate-*r/_binary64_21503`
195×	`sub-neg_binary64_21554`
166×	`cancel-sign-sub-inv_binary64_21527`
155×	`neg-mul-1_binary64_21557`
153×	`associate-/r*_binary64_21505`
151×	`associate-/l*_binary64_21506`
148×	`neg-sub0_binary64_21556`
131×	`distribute-rgt-neg-in_binary64_21519`
114×	`distribute-lft-neg-in_binary64_21518`
82×	`unsub-neg_binary64_21555`
72×	`times-frac_binary64_21567`
67×	`*-rgt-identity_binary64_21551`
50×	`log-prod_binary64_21647`
48×	`cube-prod_binary64_21589`
46×	`exp-prod_binary64_21613` `associate-+r+_binary64_21493`
37×	`associate-+r-_binary64_21495`
34×	`distribute-lft-neg-out_binary64_21520`
32×	`distribute-rgt-neg-out_binary64_21521`
29×	`div-sub_binary64_21566` `*-lft-identity_binary64_21550` `associate-+l+_binary64_21494`
28×	`sqr-pow_binary64_21533`
27×	`log-div_binary64_21648` `swap-sqr_binary64_21528`
26×	`unswap-sqr_binary64_21529` `distribute-neg-frac_binary64_21525` `distribute-rgt-in_binary64_21511` `+-commutative_binary64_21491`
24×	`associate-+l-_binary64_21496`
23×	`cube-div_binary64_21590`
20×	`remove-double-div_binary64_21537`
17×	`associate--r+_binary64_21497`
15×	`/-rgt-identity_binary64_21552` `distribute-lft-in_binary64_21510`
12×	`unpow3_binary64_21627` `cube-mult_binary64_21591` `associate--r-_binary64_21500`
11×	`distribute-rgt-out--_binary64_21515`
10×	`cube-unmult_binary64_21598` `distribute-neg-in_binary64_21522` `distribute-rgt-out_binary64_21514` `associate--l+_binary64_21498`
9×	`cos-neg_binary64_21692` `sin-neg_binary64_21691`
8×	`log-rec_binary64_21649`
7×	`distribute-lft-out--_binary64_21513`
6×	`distribute-frac-neg_binary64_21524`
5×	`rem-sqrt-square_binary64_21574`
4×	`unpow1/2_binary64_21625` `distribute-lft-out_binary64_21512`
3×	`unpow2_binary64_21626` `unpow1_binary64_21619` `exp-lft-sqr_binary64_21616` `prod-exp_binary64_21610` `remove-double-neg_binary64_21549` `div0_binary64_21542` `associate--l-_binary64_21499`
2×	`exp-lft-cube_binary64_21617` `exp-cbrt_binary64_21615` `rem-square-sqrt_binary64_21573` `+-rgt-identity_binary64_21546` `+-lft-identity_binary64_21545`
1×	`1-exp_binary64_21605` `exp-1-e_binary64_21604` `rem-3cbrt-lft_binary64_21586` `sub0-neg_binary64_21548` `pow-sqr_binary64_21534` `difference-of-squares_binary64_21530` `distribute-neg-out_binary64_21523` `distribute-rgt1-in_binary64_21517` `count-2_binary64_21509`
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_21824` `erf-erfc_binary64_21823` `erf-odd_binary64_21822` `if-if-and-not_binary64_21821` `if-if-and_binary64_21820` `if-if-or-not_binary64_21819` `if-if-or_binary64_21818` `if-not_binary64_21817` `if-same_binary64_21816` `if-false_binary64_21815` `if-true_binary64_21814` `not-gte_binary64_21813` `not-lte_binary64_21812` `not-gt_binary64_21811` `not-lt_binary64_21810` `gte-same_binary64_21809` `lte-same_binary64_21808` `gt-same_binary64_21807` `lt-same_binary64_21806` `sinh---cosh_binary64_21753` `sinh-+-cosh_binary64_21752` `sinh-cosh_binary64_21751` `tanh-def-c_binary64_21750` `tanh-def-b_binary64_21749` `tanh-def-a_binary64_21748` `cosh-def_binary64_21747` `sinh-def_binary64_21746` `tan-neg_binary64_21693` `tan-0_binary64_21690` `cos-0_binary64_21689` `sin-0_binary64_21688` `hang-m-tan_binary64_21687` `hang-p-tan_binary64_21686` `hang-m0-tan_binary64_21685` `hang-p0-tan_binary64_21684` `hang-0m-tan_binary64_21683` `hang-0p-tan_binary64_21682` `tan-+PI/2_binary64_21681` `tan-+PI_binary64_21680` `tan-PI_binary64_21679` `tan-PI/3_binary64_21678` `tan-PI/4_binary64_21677` `tan-PI/6_binary64_21676` `cos-+PI/2_binary64_21675` `cos-+PI_binary64_21674` `cos-PI_binary64_21673` `cos-PI/2_binary64_21672` `cos-PI/3_binary64_21671` `cos-PI/4_binary64_21670` `cos-PI/6_binary64_21669` `sin-+PI/2_binary64_21668` `sin-+PI_binary64_21667` `sin-PI_binary64_21666` `sin-PI/2_binary64_21665` `sin-PI/3_binary64_21664` `sin-PI/4_binary64_21663` `sin-PI/6_binary64_21662` `sub-1-sin_binary64_21661` `sub-1-cos_binary64_21660` `-1-add-sin_binary64_21659` `-1-add-cos_binary64_21658` `1-sub-sin_binary64_21657` `1-sub-cos_binary64_21656` `cos-sin-sum_binary64_21655` `log-E_binary64_21651` `log-pow_binary64_21650` `pow-base-0_binary64_21645` `unpow1/3_binary64_21628` `pow-plus_binary64_21624` `exp-to-pow_binary64_21623` `pow-base-1_binary64_21621` `unpow0_binary64_21620` `unpow-1_binary64_21618` `exp-sqrt_binary64_21614` `div-exp_binary64_21612` `rec-exp_binary64_21611` `exp-diff_binary64_21609` `exp-neg_binary64_21608` `exp-sum_binary64_21607` `e-exp-1_binary64_21606` `exp-0_binary64_21603` `rem-log-exp_binary64_21602` `rem-exp-log_binary64_21601` `cube-neg_binary64_21588` `rem-3cbrt-rft_binary64_21587` `rem-cbrt-cube_binary64_21585` `rem-cube-cbrt_binary64_21584` `sqr-abs_binary64_21576` `sqr-neg_binary64_21575` `mul-1-neg_binary64_21553` `--rgt-identity_binary64_21547` `mul0-rgt_binary64_21544` `mul0-lft_binary64_21543` `*-inverses_binary64_21541` `+-inverses_binary64_21540` `lft-mult-inverse_binary64_21539` `rgt-mult-inverse_binary64_21538` `difference-of-sqr--1_binary64_21532` `difference-of-sqr-1_binary64_21531` `cancel-sign-sub_binary64_21526` `distribute-lft1-in_binary64_21516`

Counts

355 → 288

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	499	7976
1	1143	7307
2	3830	7182
3	4533	7182
4	4949	7182

prune525.0ms (2.5%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	285	3	288
Fresh	1	21	22
Picked	1	0	1
Done	0	1	1
Total	287	25	312

Error

15.3b

Counts

312 → 25

Compiler

Compiled 8343 to 4880 computations (41.5% saved)

regimes7.0s (33.6%)

Accuracy

Total 2.4b remaining (14.6%)

Threshold costs 0b (0%)

Compiler

Compiled 77488 to 69955 computations (9.7% saved)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64_21492`
3×	`sub-neg_binary64_21554` `+-commutative_binary64_21491`
2×	`neg-mul-1_binary64_21557` `neg-sub0_binary64_21556`
1×	`distribute-neg-frac_binary64_21525`
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_21821` `if-if-and_binary64_21820` `if-if-or-not_binary64_21819` `if-if-or_binary64_21818` `if-not_binary64_21817` `if-same_binary64_21816` `if-false_binary64_21815` `if-true_binary64_21814` `tan-0_binary64_21690` `cos-0_binary64_21689` `sin-0_binary64_21688` `unpow1_binary64_21619` `e-exp-1_binary64_21606` `1-exp_binary64_21605` `exp-1-e_binary64_21604` `exp-0_binary64_21603` `sqr-abs_binary64_21576` `sqr-neg_binary64_21575` `unsub-neg_binary64_21555` `mul-1-neg_binary64_21553` `/-rgt-identity_binary64_21552` `-rgt-identity_binary64_21551` `-lft-identity_binary64_21550` `remove-double-neg_binary64_21549` `sub0-neg_binary64_21548` `--rgt-identity_binary64_21547` `+-rgt-identity_binary64_21546` `+-lft-identity_binary64_21545` `cancel-sign-sub-inv_binary64_21527` `cancel-sign-sub_binary64_21526` `distribute-frac-neg_binary64_21524` `distribute-neg-out_binary64_21523` `distribute-neg-in_binary64_21522` `distribute-rgt-neg-out_binary64_21521` `distribute-lft-neg-out_binary64_21520` `distribute-rgt-neg-in_binary64_21519` `distribute-lft-neg-in_binary64_21518`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	20
1	19	20
2	26	20
3	30	20
4	33	20
5	34	20
6	34	20

Remove

(sort z t)

Compiler

Compiled 26 to 30 computations (-15.4% saved)

end0.0ms (0%)

sample6.3s (30.4%)

Algorithm

1×

intervals

Results

536.0ms	1593×	body	1024	valid
371.0ms	4617×	body	128	valid
341.0ms	752×	body	2048	valid
186.0ms	2213×	body	128	nan
168.0ms	687×	body	512	valid
88.0ms	1201×	body	128	invalid
65.0ms	348×	body	256	valid
3.0ms	3×	body	4096	valid

Compiler

Compiled 4678 to 4207 computations (10.1% saved)

Iter	Nodes	Cost
0	19	29
1	33	29
2	61	29
3	106	29
4	188	29
5	282	29
6	392	29
7	494	29
8	604	29
9	715	29
10	843	29
11	883	29
12	866	29
13	868	29
14	868	29
15	757	29

Iter	Nodes	Cost
0	19	29
1	33	29
2	61	29
3	106	29
4	188	29
5	282	29
6	392	29
7	494	29
8	604	29
9	715	29
10	843	29
11	883	29
12	866	29
13	868	29
14	868	29
15	757	29

Details

analyze1.5s (7.3%)

sample92.0ms (0.4%)

simplify51.0ms (0.2%)

prune4.0ms (0%)

localize15.0ms (0.1%)

rewrite207.0ms (1%)

series779.0ms (3.8%)

simplify131.0ms (0.6%)

prune180.0ms (0.9%)

localize16.0ms (0.1%)

rewrite184.0ms (0.9%)

series789.0ms (3.8%)

simplify147.0ms (0.7%)

prune143.0ms (0.7%)

localize20.0ms (0.1%)

rewrite94.0ms (0.5%)

series544.0ms (2.6%)

simplify104.0ms (0.5%)

prune91.0ms (0.4%)

localize17.0ms (0.1%)

rewrite758.0ms (3.7%)

series804.0ms (3.9%)

simplify274.0ms (1.3%)

prune525.0ms (2.5%)

regimes7.0s (33.6%)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

end0.0ms (0%)

sample6.3s (30.4%)

Profiling

Iter	Nodes	Cost
0	19	29
1	33	29
2	61	29
3	106	29
4	188	29
5	282	29
6	392	29
7	494	29
8	604	29
9	715	29
10	843	29
11	883	29
12	866	29
13	868	29
14	868	29
15	757	29