Details

analyze1.6s (14.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

736×	`times-frac_binary64_22590`
662×	`div-sub_binary64_22589`
597×	`associate-/l*_binary64_22529`
537×	`sub-neg_binary64_22577`
495×	`neg-mul-1_binary64_22580`
482×	`unsub-neg_binary64_22578`
468×	`neg-sub0_binary64_22579`
438×	`distribute-lft-neg-in_binary64_22541`
354×	`distribute-rgt-neg-in_binary64_22542`
352×	`cancel-sign-sub-inv_binary64_22550`
333×	`associate-/r*_binary64_22528`
324×	`distribute-neg-frac_binary64_22548`
320×	`distribute-frac-neg_binary64_22547`
275×	`distribute-rgt-in_binary64_22534`
214×	`distribute-lft-in_binary64_22533`
211×	`remove-double-neg_binary64_22572`
190×	`distribute-lft-neg-out_binary64_22543`
172×	`distribute-rgt-neg-out_binary64_22544`
159×	`+-commutative_binary64_22514`
154×	`distribute-neg-in_binary64_22545`
128×	`associate-l_binary64_22525`
110×	`*-commutative_binary64_22515`
91×	`associate-/r/_binary64_22530`
90×	`associate--r+_binary64_22520`
71×	`associate--r-_binary64_22523`
63×	`div0_binary64_22565`
60×	`*-rgt-identity_binary64_22574` `+-lft-identity_binary64_22568`
58×	`distribute-lft-out--_binary64_22536`
56×	`mul0-rgt_binary64_22567` `mul0-lft_binary64_22566`
53×	`associate-r_binary64_22524`
52×	`/-rgt-identity_binary64_22575`
48×	`distribute-lft-out_binary64_22535` `associate-+l-_binary64_22519`
44×	`sub0-neg_binary64_22571` `distribute-neg-out_binary64_22546`
42×	`*-lft-identity_binary64_22573`
34×	`associate--l-_binary64_22522`
30×	`associate-/l/_binary64_22531`
25×	`associate-+l+_binary64_22517`
18×	`associate-+r-_binary64_22518` `associate-+r+_binary64_22516`
16×	`mul-1-neg_binary64_22576` `+-rgt-identity_binary64_22569` `distribute-rgt-out--_binary64_22538`
14×	`--rgt-identity_binary64_22570`
5×	`associate--l+_binary64_22521`
4×	`remove-double-div_binary64_22560` `cancel-sign-sub_binary64_22549`
1×	`1-exp_binary64_22628` `associate-*l/_binary64_22527` `swap-x-y` `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_22847` `erf-erfc_binary64_22846` `erf-odd_binary64_22845` `if-if-and-not_binary64_22844` `if-if-and_binary64_22843` `if-if-or-not_binary64_22842` `if-if-or_binary64_22841` `if-not_binary64_22840` `if-same_binary64_22839` `if-false_binary64_22838` `if-true_binary64_22837` `not-gte_binary64_22836` `not-lte_binary64_22835` `not-gt_binary64_22834` `not-lt_binary64_22833` `gte-same_binary64_22832` `lte-same_binary64_22831` `gt-same_binary64_22830` `lt-same_binary64_22829` `sinh---cosh_binary64_22776` `sinh-+-cosh_binary64_22775` `sinh-cosh_binary64_22774` `tanh-def-c_binary64_22773` `tanh-def-b_binary64_22772` `tanh-def-a_binary64_22771` `cosh-def_binary64_22770` `sinh-def_binary64_22769` `tan-neg_binary64_22716` `cos-neg_binary64_22715` `sin-neg_binary64_22714` `tan-0_binary64_22713` `cos-0_binary64_22712` `sin-0_binary64_22711` `hang-m-tan_binary64_22710` `hang-p-tan_binary64_22709` `hang-m0-tan_binary64_22708` `hang-p0-tan_binary64_22707` `hang-0m-tan_binary64_22706` `hang-0p-tan_binary64_22705` `tan-+PI/2_binary64_22704` `tan-+PI_binary64_22703` `tan-PI_binary64_22702` `tan-PI/3_binary64_22701` `tan-PI/4_binary64_22700` `tan-PI/6_binary64_22699` `cos-+PI/2_binary64_22698` `cos-+PI_binary64_22697` `cos-PI_binary64_22696` `cos-PI/2_binary64_22695` `cos-PI/3_binary64_22694` `cos-PI/4_binary64_22693` `cos-PI/6_binary64_22692` `sin-+PI/2_binary64_22691` `sin-+PI_binary64_22690` `sin-PI_binary64_22689` `sin-PI/2_binary64_22688` `sin-PI/3_binary64_22687` `sin-PI/4_binary64_22686` `sin-PI/6_binary64_22685` `sub-1-sin_binary64_22684` `sub-1-cos_binary64_22683` `-1-add-sin_binary64_22682` `-1-add-cos_binary64_22681` `1-sub-sin_binary64_22680` `1-sub-cos_binary64_22679` `cos-sin-sum_binary64_22678` `log-E_binary64_22674` `log-pow_binary64_22673` `log-rec_binary64_22672` `log-div_binary64_22671` `log-prod_binary64_22670` `pow-base-0_binary64_22668` `unpow1/3_binary64_22651` `unpow3_binary64_22650` `unpow2_binary64_22649` `unpow1/2_binary64_22648` `pow-plus_binary64_22647` `exp-to-pow_binary64_22646` `pow-base-1_binary64_22644` `unpow0_binary64_22643` `unpow1_binary64_22642` `unpow-1_binary64_22641` `exp-lft-cube_binary64_22640` `exp-lft-sqr_binary64_22639` `exp-cbrt_binary64_22638` `exp-sqrt_binary64_22637` `exp-prod_binary64_22636` `div-exp_binary64_22635` `rec-exp_binary64_22634` `prod-exp_binary64_22633` `exp-diff_binary64_22632` `exp-neg_binary64_22631` `exp-sum_binary64_22630` `e-exp-1_binary64_22629` `exp-1-e_binary64_22627` `exp-0_binary64_22626` `rem-log-exp_binary64_22625` `rem-exp-log_binary64_22624` `cube-unmult_binary64_22621` `cube-mult_binary64_22614` `cube-div_binary64_22613` `cube-prod_binary64_22612` `cube-neg_binary64_22611` `rem-3cbrt-rft_binary64_22610` `rem-3cbrt-lft_binary64_22609` `rem-cbrt-cube_binary64_22608` `rem-cube-cbrt_binary64_22607` `sqr-abs_binary64_22599` `sqr-neg_binary64_22598` `rem-sqrt-square_binary64_22597` `rem-square-sqrt_binary64_22596` `-inverses_binary64_22564` `+-inverses_binary64_22563` `lft-mult-inverse_binary64_22562` `rgt-mult-inverse_binary64_22561` `pow-sqr_binary64_22557` `sqr-pow_binary64_22556` `difference-of-sqr--1_binary64_22555` `difference-of-sqr-1_binary64_22554` `difference-of-squares_binary64_22553` `unswap-sqr_binary64_22552` `swap-sqr_binary64_22551` `distribute-rgt1-in_binary64_22540` `distribute-lft1-in_binary64_22539` `distribute-rgt-out_binary64_22537` `count-2_binary64_22532` `associate-r/_binary64_22526`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	143
1	106	143
2	218	143
3	354	143
4	829	143
5	1159	143
6	1545	143
7	3951	143
8	3323	143
9	3857	143
10	3957	143
11	4139	143
12	4203	143
13	4800	143
0	5	5
1	5	5

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
16.4%	83.4%	0.2%	11
19.9%	79.9%	0.2%	12
21.6%	77.2%	1.2%	13
24.8%	73.7%	1.4%	14

Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 10 to 10 computations (0% saved)

sample50.0ms (0.5%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
4.0ms	107×	body	128	invalid

Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify39.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

130×	`cancel-sign-sub-inv_binary64_22550`
113×	`distribute-rgt-in_binary64_22534`
103×	`associate-/l*_binary64_22529`
96×	`div-sub_binary64_22589`
90×	`distribute-lft-in_binary64_22533`
61×	`distribute-rgt-neg-in_binary64_22542`
59×	`unsub-neg_binary64_22578`
55×	`sub-neg_binary64_22577` `distribute-lft-neg-in_binary64_22541`
50×	`associate-/r*_binary64_22528`
47×	`associate-r_binary64_22524`
46×	`associate-/r/_binary64_22530`
36×	`neg-mul-1_binary64_22580`
34×	`distribute-neg-frac_binary64_22548`
33×	`distribute-lft-neg-out_binary64_22543`
30×	`neg-sub0_binary64_22579`
29×	`associate-l_binary64_22525`
26×	`distribute-neg-in_binary64_22545` `*-commutative_binary64_22515`
25×	`distribute-rgt-neg-out_binary64_22544`
24×	`mul0-rgt_binary64_22567`
23×	`mul0-lft_binary64_22566`
20×	`associate--r+_binary64_22520` `+-commutative_binary64_22514`
17×	`+-lft-identity_binary64_22568`
14×	`associate-/l/_binary64_22531`
12×	`*-lft-identity_binary64_22573`
10×	`div0_binary64_22565` `associate-+l-_binary64_22519`
9×	`remove-double-neg_binary64_22572` `sub0-neg_binary64_22571`
7×	`*-rgt-identity_binary64_22574`
6×	`associate-+l+_binary64_22517`
4×	`/-rgt-identity_binary64_22575` `associate--r-_binary64_22523`
3×	`--rgt-identity_binary64_22570`
2×	`+-rgt-identity_binary64_22569` `associate-*l/_binary64_22527` `associate-+r-_binary64_22518` `associate-+r+_binary64_22516`
1×	`1-exp_binary64_22628` `cancel-sign-sub_binary64_22549` `distribute-frac-neg_binary64_22547` `associate-*r/_binary64_22526` `associate--l+_binary64_22521`
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_22847` `erf-erfc_binary64_22846` `erf-odd_binary64_22845` `if-if-and-not_binary64_22844` `if-if-and_binary64_22843` `if-if-or-not_binary64_22842` `if-if-or_binary64_22841` `if-not_binary64_22840` `if-same_binary64_22839` `if-false_binary64_22838` `if-true_binary64_22837` `not-gte_binary64_22836` `not-lte_binary64_22835` `not-gt_binary64_22834` `not-lt_binary64_22833` `gte-same_binary64_22832` `lte-same_binary64_22831` `gt-same_binary64_22830` `lt-same_binary64_22829` `sinh---cosh_binary64_22776` `sinh-+-cosh_binary64_22775` `sinh-cosh_binary64_22774` `tanh-def-c_binary64_22773` `tanh-def-b_binary64_22772` `tanh-def-a_binary64_22771` `cosh-def_binary64_22770` `sinh-def_binary64_22769` `tan-neg_binary64_22716` `cos-neg_binary64_22715` `sin-neg_binary64_22714` `tan-0_binary64_22713` `cos-0_binary64_22712` `sin-0_binary64_22711` `hang-m-tan_binary64_22710` `hang-p-tan_binary64_22709` `hang-m0-tan_binary64_22708` `hang-p0-tan_binary64_22707` `hang-0m-tan_binary64_22706` `hang-0p-tan_binary64_22705` `tan-+PI/2_binary64_22704` `tan-+PI_binary64_22703` `tan-PI_binary64_22702` `tan-PI/3_binary64_22701` `tan-PI/4_binary64_22700` `tan-PI/6_binary64_22699` `cos-+PI/2_binary64_22698` `cos-+PI_binary64_22697` `cos-PI_binary64_22696` `cos-PI/2_binary64_22695` `cos-PI/3_binary64_22694` `cos-PI/4_binary64_22693` `cos-PI/6_binary64_22692` `sin-+PI/2_binary64_22691` `sin-+PI_binary64_22690` `sin-PI_binary64_22689` `sin-PI/2_binary64_22688` `sin-PI/3_binary64_22687` `sin-PI/4_binary64_22686` `sin-PI/6_binary64_22685` `sub-1-sin_binary64_22684` `sub-1-cos_binary64_22683` `-1-add-sin_binary64_22682` `-1-add-cos_binary64_22681` `1-sub-sin_binary64_22680` `1-sub-cos_binary64_22679` `cos-sin-sum_binary64_22678` `log-E_binary64_22674` `log-pow_binary64_22673` `log-rec_binary64_22672` `log-div_binary64_22671` `log-prod_binary64_22670` `pow-base-0_binary64_22668` `unpow1/3_binary64_22651` `unpow3_binary64_22650` `unpow2_binary64_22649` `unpow1/2_binary64_22648` `pow-plus_binary64_22647` `exp-to-pow_binary64_22646` `pow-base-1_binary64_22644` `unpow0_binary64_22643` `unpow1_binary64_22642` `unpow-1_binary64_22641` `exp-lft-cube_binary64_22640` `exp-lft-sqr_binary64_22639` `exp-cbrt_binary64_22638` `exp-sqrt_binary64_22637` `exp-prod_binary64_22636` `div-exp_binary64_22635` `rec-exp_binary64_22634` `prod-exp_binary64_22633` `exp-diff_binary64_22632` `exp-neg_binary64_22631` `exp-sum_binary64_22630` `e-exp-1_binary64_22629` `exp-1-e_binary64_22627` `exp-0_binary64_22626` `rem-log-exp_binary64_22625` `rem-exp-log_binary64_22624` `cube-unmult_binary64_22621` `cube-mult_binary64_22614` `cube-div_binary64_22613` `cube-prod_binary64_22612` `cube-neg_binary64_22611` `rem-3cbrt-rft_binary64_22610` `rem-3cbrt-lft_binary64_22609` `rem-cbrt-cube_binary64_22608` `rem-cube-cbrt_binary64_22607` `sqr-abs_binary64_22599` `sqr-neg_binary64_22598` `rem-sqrt-square_binary64_22597` `rem-square-sqrt_binary64_22596` `times-frac_binary64_22590` `mul-1-neg_binary64_22576` `*-inverses_binary64_22564` `+-inverses_binary64_22563` `lft-mult-inverse_binary64_22562` `rgt-mult-inverse_binary64_22561` `remove-double-div_binary64_22560` `pow-sqr_binary64_22557` `sqr-pow_binary64_22556` `difference-of-sqr--1_binary64_22555` `difference-of-sqr-1_binary64_22554` `difference-of-squares_binary64_22553` `unswap-sqr_binary64_22552` `swap-sqr_binary64_22551` `distribute-neg-out_binary64_22546` `distribute-rgt1-in_binary64_22540` `distribute-lft1-in_binary64_22539` `distribute-rgt-out--_binary64_22538` `distribute-rgt-out_binary64_22537` `distribute-lft-out--_binary64_22536` `distribute-lft-out_binary64_22535` `count-2_binary64_22532` `associate--l-_binary64_22522`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	20	13
2	40	13
3	66	13
4	129	13
5	183	13
6	243	13
7	382	13
8	519	13
9	624	13
10	607	13
11	633	13
12	623	13
13	624	13
14	551	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

10.3b

Counts

1 → 1

Compiler

Compiled 9 to 9 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 x y) (.f64 z t))
9.7b	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)

rewrite58.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

10.1b

Rules

10×	`add-cube-cbrt_binary64_22619` `add-sqr-sqrt_binary64_22606` `*-un-lft-identity_binary64_22584`
9×	`times-frac_binary64_22590`
4×	`add-exp-log_binary64_22622` `add-log-exp_binary64_22623` `add-cbrt-cube_binary64_22620`
3×	`associate-/l_binary64_22529` `associate-/r_binary64_22528`
2×	`pow1_binary64_22645` `flip3--_binary64_22588` `associate-/l/_binary64_22531` `flip--_binary64_22559`
1×	`div-exp_binary64_22635` `cbrt-undiv_binary64_22618` `frac-2neg_binary64_22595` `div-sub_binary64_22589` `clear-num_binary64_22583` `div-inv_binary64_22581` `diff-log_binary64_22676` `sub-neg_binary64_22577` `cancel-sign-sub-inv_binary64_22550`

Counts

2 → 42

Calls

2 calls:

6.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
4.0ms	(-.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 797 to 150 computations (81.2% saved)

series675.0ms (6.4%)

Error

10.1b

Counts

2 → 51

Calls

2 calls:

445.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
206.0ms	(-.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 1095 to 752 computations (31.3% saved)

simplify92.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

633×	`distribute-rgt-in_binary64_22534`
566×	`distribute-lft-in_binary64_22533`
267×	`associate-l_binary64_22525`
209×	`associate-r_binary64_22524`
197×	`div-sub_binary64_22589`
175×	`associate-*l/_binary64_22527`
169×	`distribute-lft-neg-out_binary64_22543`
167×	`cancel-sign-sub-inv_binary64_22550`
163×	`distribute-rgt-neg-out_binary64_22544`
127×	`associate-*r/_binary64_22526`
110×	`exp-prod_binary64_22636`
109×	`*-commutative_binary64_22515`
108×	`distribute-rgt-neg-in_binary64_22542`
99×	`distribute-lft-neg-in_binary64_22541`
83×	`associate-/l*_binary64_22529`
72×	`associate-/l/_binary64_22531`
69×	`distribute-neg-frac_binary64_22548`
68×	`sub-neg_binary64_22577`
66×	`distribute-frac-neg_binary64_22547`
58×	`neg-sub0_binary64_22579`
53×	`sqr-pow_binary64_22556`
48×	`unsub-neg_binary64_22578` `associate-/r/_binary64_22530`
47×	`neg-mul-1_binary64_22580`
43×	`distribute-rgt-out_binary64_22537`
41×	`associate-/r*_binary64_22528`
31×	`cube-prod_binary64_22612`
29×	`swap-sqr_binary64_22551`
28×	`times-frac_binary64_22590` `unswap-sqr_binary64_22552`
24×	`distribute-lft-out_binary64_22535`
23×	`exp-sum_binary64_22630`
22×	`difference-of-squares_binary64_22553`
21×	`log-div_binary64_22671` `log-prod_binary64_22670` `+-commutative_binary64_22514`
20×	`unpow3_binary64_22650`
17×	`cube-div_binary64_22613`
16×	`exp-diff_binary64_22632`
14×	`distribute-neg-in_binary64_22545`
10×	`cube-mult_binary64_22614` `mul-1-neg_binary64_22576` `/-rgt-identity_binary64_22575`
9×	`*-lft-identity_binary64_22573`
8×	`mul0-rgt_binary64_22567` `mul0-lft_binary64_22566`
7×	`associate-+r-_binary64_22518` `associate-+r+_binary64_22516`
6×	`*-rgt-identity_binary64_22574` `+-rgt-identity_binary64_22569` `pow-sqr_binary64_22557` `associate-+l-_binary64_22519` `associate-+l+_binary64_22517`
5×	`cube-unmult_binary64_22621` `remove-double-neg_binary64_22572`
4×	`sqr-neg_binary64_22598` `sub0-neg_binary64_22571`
3×	`log-rec_binary64_22672` `cube-neg_binary64_22611` `div0_binary64_22565` `associate--r+_binary64_22520`
2×	`associate--r-_binary64_22523` `associate--l-_binary64_22522`
1×	`div-exp_binary64_22635` `1-exp_binary64_22628` `--rgt-identity_binary64_22570`
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_22847` `erf-erfc_binary64_22846` `erf-odd_binary64_22845` `if-if-and-not_binary64_22844` `if-if-and_binary64_22843` `if-if-or-not_binary64_22842` `if-if-or_binary64_22841` `if-not_binary64_22840` `if-same_binary64_22839` `if-false_binary64_22838` `if-true_binary64_22837` `not-gte_binary64_22836` `not-lte_binary64_22835` `not-gt_binary64_22834` `not-lt_binary64_22833` `gte-same_binary64_22832` `lte-same_binary64_22831` `gt-same_binary64_22830` `lt-same_binary64_22829` `sinh---cosh_binary64_22776` `sinh-+-cosh_binary64_22775` `sinh-cosh_binary64_22774` `tanh-def-c_binary64_22773` `tanh-def-b_binary64_22772` `tanh-def-a_binary64_22771` `cosh-def_binary64_22770` `sinh-def_binary64_22769` `tan-neg_binary64_22716` `cos-neg_binary64_22715` `sin-neg_binary64_22714` `tan-0_binary64_22713` `cos-0_binary64_22712` `sin-0_binary64_22711` `hang-m-tan_binary64_22710` `hang-p-tan_binary64_22709` `hang-m0-tan_binary64_22708` `hang-p0-tan_binary64_22707` `hang-0m-tan_binary64_22706` `hang-0p-tan_binary64_22705` `tan-+PI/2_binary64_22704` `tan-+PI_binary64_22703` `tan-PI_binary64_22702` `tan-PI/3_binary64_22701` `tan-PI/4_binary64_22700` `tan-PI/6_binary64_22699` `cos-+PI/2_binary64_22698` `cos-+PI_binary64_22697` `cos-PI_binary64_22696` `cos-PI/2_binary64_22695` `cos-PI/3_binary64_22694` `cos-PI/4_binary64_22693` `cos-PI/6_binary64_22692` `sin-+PI/2_binary64_22691` `sin-+PI_binary64_22690` `sin-PI_binary64_22689` `sin-PI/2_binary64_22688` `sin-PI/3_binary64_22687` `sin-PI/4_binary64_22686` `sin-PI/6_binary64_22685` `sub-1-sin_binary64_22684` `sub-1-cos_binary64_22683` `-1-add-sin_binary64_22682` `-1-add-cos_binary64_22681` `1-sub-sin_binary64_22680` `1-sub-cos_binary64_22679` `cos-sin-sum_binary64_22678` `log-E_binary64_22674` `log-pow_binary64_22673` `pow-base-0_binary64_22668` `unpow1/3_binary64_22651` `unpow2_binary64_22649` `unpow1/2_binary64_22648` `pow-plus_binary64_22647` `exp-to-pow_binary64_22646` `pow-base-1_binary64_22644` `unpow0_binary64_22643` `unpow1_binary64_22642` `unpow-1_binary64_22641` `exp-lft-cube_binary64_22640` `exp-lft-sqr_binary64_22639` `exp-cbrt_binary64_22638` `exp-sqrt_binary64_22637` `rec-exp_binary64_22634` `prod-exp_binary64_22633` `exp-neg_binary64_22631` `e-exp-1_binary64_22629` `exp-1-e_binary64_22627` `exp-0_binary64_22626` `rem-log-exp_binary64_22625` `rem-exp-log_binary64_22624` `rem-3cbrt-rft_binary64_22610` `rem-3cbrt-lft_binary64_22609` `rem-cbrt-cube_binary64_22608` `rem-cube-cbrt_binary64_22607` `sqr-abs_binary64_22599` `rem-sqrt-square_binary64_22597` `rem-square-sqrt_binary64_22596` `+-lft-identity_binary64_22568` `*-inverses_binary64_22564` `+-inverses_binary64_22563` `lft-mult-inverse_binary64_22562` `rgt-mult-inverse_binary64_22561` `remove-double-div_binary64_22560` `difference-of-sqr--1_binary64_22555` `difference-of-sqr-1_binary64_22554` `cancel-sign-sub_binary64_22549` `distribute-neg-out_binary64_22546` `distribute-rgt1-in_binary64_22540` `distribute-lft1-in_binary64_22539` `distribute-rgt-out--_binary64_22538` `distribute-lft-out--_binary64_22536` `count-2_binary64_22532` `associate--l+_binary64_22521`

Counts

93 → 62

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	89	1380
1	237	1303
2	683	1303
3	2087	1303
4	4921	1303
5	4946	1303

prune65.0ms (0.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	53	9	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	53	10	63

Error

10.0b

Counts

63 → 10

Compiler

Compiled 1048 to 232 computations (77.9% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 x y) (.f64 t z))
0.4b	(/.f64 1 (/.f64 a (-.f64 (.f64 x y) (.f64 t z))))
9.7b	(/.f64 a (-.f64 (.f64 x y) (.f64 t z)))

rewrite163.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

10.0b

Rules

90×	`times-frac_binary64_22590`
55×	`add-cube-cbrt_binary64_22619` `add-sqr-sqrt_binary64_22606` `*-un-lft-identity_binary64_22584`
18×	`associate-/r*_binary64_22528`
16×	`add-exp-log_binary64_22622`
11×	`associate-/r/_binary64_22530`
10×	`add-cbrt-cube_binary64_22620`
8×	`div-exp_binary64_22635`
6×	`div-inv_binary64_22581` `flip3--_binary64_22588` `flip--_binary64_22559` `associate-/l*_binary64_22529`
5×	`add-log-exp_binary64_22623`
4×	`pow1_binary64_22645` `cbrt-undiv_binary64_22618`
2×	`frac-2neg_binary64_22595` `clear-num_binary64_22583` `1-exp_binary64_22628` `rec-exp_binary64_22634`
1×	`inv-pow_binary64_22669` `pow-flip_binary64_22658` `diff-log_binary64_22676` `sub-neg_binary64_22577` `cancel-sign-sub-inv_binary64_22550`

Counts

3 → 125

Calls

3 calls:

9.0ms	(/.f64 1 (/.f64 a (-.f64 (.f64 x y) (.f64 t z))))
5.0ms	(/.f64 a (-.f64 (.f64 x y) (.f64 t z)))
4.0ms	(-.f64 (.f64 x y) (.f64 t z))

Compiler

Compiled 3006 to 798 computations (73.5% saved)

series1.1s (10.4%)

Error

9.9b

Counts

3 → 66

Calls

3 calls:

436.0ms	(/.f64 1 (/.f64 a (-.f64 (.f64 x y) (.f64 t z))))
436.0ms	(/.f64 a (-.f64 (.f64 x y) (.f64 t z)))
198.0ms	(-.f64 (.f64 x y) (.f64 t z))

Compiler

Compiled 1764 to 1326 computations (24.8% saved)

simplify178.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

493×	`associate-l_binary64_22525`
414×	`associate-r_binary64_22524`
283×	`associate-/r/_binary64_22530`
241×	`associate-/l/_binary64_22531`
218×	`associate-*l/_binary64_22527`
217×	`*-commutative_binary64_22515`
212×	`times-frac_binary64_22590`
209×	`associate-/l*_binary64_22529`
203×	`cancel-sign-sub-inv_binary64_22550`
184×	`associate-/r*_binary64_22528`
170×	`exp-prod_binary64_22636`
160×	`associate-*r/_binary64_22526`
144×	`distribute-rgt-in_binary64_22534`
142×	`distribute-lft-in_binary64_22533`
141×	`div-sub_binary64_22589`
110×	`cube-prod_binary64_22612`
109×	`exp-sum_binary64_22630`
91×	`unsub-neg_binary64_22578`
84×	`sub-neg_binary64_22577`
73×	`neg-sub0_binary64_22579`
66×	`*-rgt-identity_binary64_22574`
58×	`neg-mul-1_binary64_22580` `sqr-pow_binary64_22556`
53×	`distribute-rgt-neg-in_binary64_22542`
52×	`distribute-frac-neg_binary64_22547`
46×	`distribute-lft-neg-in_binary64_22541`
42×	`exp-diff_binary64_22632`
41×	`unswap-sqr_binary64_22552`
40×	`swap-sqr_binary64_22551`
33×	`log-prod_binary64_22670`
32×	`log-div_binary64_22671`
28×	`unpow3_binary64_22650` `associate-+r+_binary64_22516` `+-commutative_binary64_22514`
27×	`cube-div_binary64_22613`
26×	`distribute-neg-frac_binary64_22548`
24×	`cube-mult_binary64_22614` `distribute-lft-neg-out_binary64_22543`
23×	`*-lft-identity_binary64_22573`
22×	`difference-of-squares_binary64_22553`
19×	`/-rgt-identity_binary64_22575` `associate-+r-_binary64_22518`
17×	`distribute-rgt-out_binary64_22537`
16×	`mul-1-neg_binary64_22576`
15×	`distribute-rgt-neg-out_binary64_22544`
13×	`mul0-rgt_binary64_22567` `mul0-lft_binary64_22566`
10×	`associate-+l-_binary64_22519`
9×	`cube-unmult_binary64_22621` `+-rgt-identity_binary64_22569` `associate-+l+_binary64_22517`
8×	`pow-sqr_binary64_22557` `distribute-neg-in_binary64_22545` `distribute-lft-out_binary64_22535` `associate--r+_binary64_22520`
7×	`associate--r-_binary64_22523`
6×	`exp-neg_binary64_22631` `div0_binary64_22565`
5×	`log-rec_binary64_22672` `remove-double-neg_binary64_22572` `sub0-neg_binary64_22571`
4×	`cube-neg_binary64_22611` `sqr-neg_binary64_22598` `remove-double-div_binary64_22560`
3×	`unpow1/2_binary64_22648` `--rgt-identity_binary64_22570` `+-lft-identity_binary64_22568`
2×	`cancel-sign-sub_binary64_22549` `associate--l-_binary64_22522`
1×	`div-exp_binary64_22635` `1-exp_binary64_22628` `exp-1-e_binary64_22627` `distribute-rgt-out--_binary64_22538` `count-2_binary64_22532` `associate--l+_binary64_22521`
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_22847` `erf-erfc_binary64_22846` `erf-odd_binary64_22845` `if-if-and-not_binary64_22844` `if-if-and_binary64_22843` `if-if-or-not_binary64_22842` `if-if-or_binary64_22841` `if-not_binary64_22840` `if-same_binary64_22839` `if-false_binary64_22838` `if-true_binary64_22837` `not-gte_binary64_22836` `not-lte_binary64_22835` `not-gt_binary64_22834` `not-lt_binary64_22833` `gte-same_binary64_22832` `lte-same_binary64_22831` `gt-same_binary64_22830` `lt-same_binary64_22829` `sinh---cosh_binary64_22776` `sinh-+-cosh_binary64_22775` `sinh-cosh_binary64_22774` `tanh-def-c_binary64_22773` `tanh-def-b_binary64_22772` `tanh-def-a_binary64_22771` `cosh-def_binary64_22770` `sinh-def_binary64_22769` `tan-neg_binary64_22716` `cos-neg_binary64_22715` `sin-neg_binary64_22714` `tan-0_binary64_22713` `cos-0_binary64_22712` `sin-0_binary64_22711` `hang-m-tan_binary64_22710` `hang-p-tan_binary64_22709` `hang-m0-tan_binary64_22708` `hang-p0-tan_binary64_22707` `hang-0m-tan_binary64_22706` `hang-0p-tan_binary64_22705` `tan-+PI/2_binary64_22704` `tan-+PI_binary64_22703` `tan-PI_binary64_22702` `tan-PI/3_binary64_22701` `tan-PI/4_binary64_22700` `tan-PI/6_binary64_22699` `cos-+PI/2_binary64_22698` `cos-+PI_binary64_22697` `cos-PI_binary64_22696` `cos-PI/2_binary64_22695` `cos-PI/3_binary64_22694` `cos-PI/4_binary64_22693` `cos-PI/6_binary64_22692` `sin-+PI/2_binary64_22691` `sin-+PI_binary64_22690` `sin-PI_binary64_22689` `sin-PI/2_binary64_22688` `sin-PI/3_binary64_22687` `sin-PI/4_binary64_22686` `sin-PI/6_binary64_22685` `sub-1-sin_binary64_22684` `sub-1-cos_binary64_22683` `-1-add-sin_binary64_22682` `-1-add-cos_binary64_22681` `1-sub-sin_binary64_22680` `1-sub-cos_binary64_22679` `cos-sin-sum_binary64_22678` `log-E_binary64_22674` `log-pow_binary64_22673` `pow-base-0_binary64_22668` `unpow1/3_binary64_22651` `unpow2_binary64_22649` `pow-plus_binary64_22647` `exp-to-pow_binary64_22646` `pow-base-1_binary64_22644` `unpow0_binary64_22643` `unpow1_binary64_22642` `unpow-1_binary64_22641` `exp-lft-cube_binary64_22640` `exp-lft-sqr_binary64_22639` `exp-cbrt_binary64_22638` `exp-sqrt_binary64_22637` `rec-exp_binary64_22634` `prod-exp_binary64_22633` `e-exp-1_binary64_22629` `exp-0_binary64_22626` `rem-log-exp_binary64_22625` `rem-exp-log_binary64_22624` `rem-3cbrt-rft_binary64_22610` `rem-3cbrt-lft_binary64_22609` `rem-cbrt-cube_binary64_22608` `rem-cube-cbrt_binary64_22607` `sqr-abs_binary64_22599` `rem-sqrt-square_binary64_22597` `rem-square-sqrt_binary64_22596` `*-inverses_binary64_22564` `+-inverses_binary64_22563` `lft-mult-inverse_binary64_22562` `rgt-mult-inverse_binary64_22561` `difference-of-sqr--1_binary64_22555` `difference-of-sqr-1_binary64_22554` `distribute-neg-out_binary64_22546` `distribute-rgt1-in_binary64_22540` `distribute-lft1-in_binary64_22539` `distribute-lft-out--_binary64_22536`

Counts

191 → 112

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	4059
1	389	3785
2	1238	3747
3	3602	3747
4	4643	3747
5	4953	3747

prune98.0ms (0.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	109	3	112
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	111	11	122

Error

10.0b

Counts

122 → 11

Compiler

Compiled 2055 to 480 computations (76.6% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 x y) (.f64 t z))
9.8b	(.f64 (/.f64 1 a) (-.f64 (.f64 x y) (*.f64 t z)))

rewrite73.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

10.0b

Rules

17×	`add-sqr-sqrt_binary64_22606`
13×	`associate-l_binary64_22525`
11×	`add-exp-log_binary64_22622` `*-un-lft-identity_binary64_22584` `times-frac_binary64_22590`
10×	`add-cube-cbrt_binary64_22619`
7×	`add-cbrt-cube_binary64_22620`
4×	`pow1_binary64_22645` `prod-exp_binary64_22633` `add-log-exp_binary64_22623`
3×	`flip3--_binary64_22588` `flip--_binary64_22559` `unswap-sqr_binary64_22552` `sub-neg_binary64_22577` `cancel-sign-sub-inv_binary64_22550` `associate-r_binary64_22524`
2×	`div-exp_binary64_22635` `cbrt-unprod_binary64_22617` `frac-times_binary64_22594` `distribute-rgt-in_binary64_22534` `distribute-lft-in_binary64_22533` `associate-*r/_binary64_22526`
1×	`pow-prod-down_binary64_22655` `1-exp_binary64_22628` `rec-exp_binary64_22634` `cbrt-undiv_binary64_22618` `associate-l/_binary64_22527` `div-inv_binary64_22581` `-commutative_binary64_22515` `diff-log_binary64_22676`

Counts

2 → 55

Calls

2 calls:

10.0ms	(.f64 (/.f64 1 a) (-.f64 (.f64 x y) (*.f64 t z)))
4.0ms	(-.f64 (.f64 x y) (.f64 t z))

Compiler

Compiled 1134 to 390 computations (65.6% saved)

series661.0ms (6.2%)

Error

9.9b

Counts

2 → 51

Calls

2 calls:

425.0ms	(.f64 (/.f64 1 a) (-.f64 (.f64 x y) (*.f64 t z)))
209.0ms	(-.f64 (.f64 x y) (.f64 t z))

Compiler

Compiled 1215 to 890 computations (26.7% saved)

simplify76.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

637×	`associate-/l*_binary64_22529`
210×	`*-commutative_binary64_22515`
209×	`distribute-lft-neg-out_binary64_22543`
207×	`distribute-rgt-in_binary64_22534`
204×	`distribute-lft-in_binary64_22533`
199×	`associate-/r/_binary64_22530`
196×	`distribute-rgt-neg-out_binary64_22544`
136×	`associate-*l/_binary64_22527`
131×	`distribute-rgt-neg-in_binary64_22542`
127×	`div-sub_binary64_22589`
126×	`unsub-neg_binary64_22578` `cancel-sign-sub-inv_binary64_22550`
121×	`exp-prod_binary64_22636`
118×	`associate-/l/_binary64_22531`
117×	`associate-l_binary64_22525`
115×	`times-frac_binary64_22590`
114×	`distribute-lft-neg-in_binary64_22541` `associate-r_binary64_22524`
99×	`associate-*r/_binary64_22526`
90×	`sqr-pow_binary64_22556`
84×	`neg-sub0_binary64_22579`
81×	`neg-mul-1_binary64_22580`
60×	`sub-neg_binary64_22577`
57×	`*-lft-identity_binary64_22573`
52×	`*-rgt-identity_binary64_22574`
44×	`swap-sqr_binary64_22551`
42×	`associate-/r*_binary64_22528`
39×	`distribute-neg-frac_binary64_22548` `distribute-frac-neg_binary64_22547`
27×	`exp-sum_binary64_22630`
26×	`cube-prod_binary64_22612` `+-commutative_binary64_22514`
25×	`distribute-rgt-out_binary64_22537`
22×	`difference-of-squares_binary64_22553`
18×	`mul0-rgt_binary64_22567` `mul0-lft_binary64_22566` `associate-+r+_binary64_22516`
16×	`exp-diff_binary64_22632` `associate-+r-_binary64_22518`
15×	`distribute-neg-in_binary64_22545` `associate-+l-_binary64_22519`
14×	`unswap-sqr_binary64_22552`
13×	`associate-+l+_binary64_22517`
11×	`pow-sqr_binary64_22557`
10×	`log-prod_binary64_22670`
9×	`distribute-lft-out_binary64_22535`
8×	`log-div_binary64_22671` `+-rgt-identity_binary64_22569`
7×	`unpow3_binary64_22650` `cube-mult_binary64_22614` `mul-1-neg_binary64_22576`
6×	`cube-div_binary64_22613` `sub0-neg_binary64_22571`
4×	`cube-unmult_binary64_22621` `sqr-neg_binary64_22598` `associate--r+_binary64_22520`
3×	`exp-neg_binary64_22631` `/-rgt-identity_binary64_22575` `remove-double-neg_binary64_22572` `distribute-rgt-out--_binary64_22538`
2×	`log-rec_binary64_22672` `unpow1/2_binary64_22648` `cube-neg_binary64_22611` `+-lft-identity_binary64_22568` `div0_binary64_22565`
1×	`div-exp_binary64_22635` `1-exp_binary64_22628` `exp-1-e_binary64_22627` `--rgt-identity_binary64_22570` `distribute-rgt1-in_binary64_22540` `distribute-lft1-in_binary64_22539` `count-2_binary64_22532` `associate--r-_binary64_22523`
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_22847` `erf-erfc_binary64_22846` `erf-odd_binary64_22845` `if-if-and-not_binary64_22844` `if-if-and_binary64_22843` `if-if-or-not_binary64_22842` `if-if-or_binary64_22841` `if-not_binary64_22840` `if-same_binary64_22839` `if-false_binary64_22838` `if-true_binary64_22837` `not-gte_binary64_22836` `not-lte_binary64_22835` `not-gt_binary64_22834` `not-lt_binary64_22833` `gte-same_binary64_22832` `lte-same_binary64_22831` `gt-same_binary64_22830` `lt-same_binary64_22829` `sinh---cosh_binary64_22776` `sinh-+-cosh_binary64_22775` `sinh-cosh_binary64_22774` `tanh-def-c_binary64_22773` `tanh-def-b_binary64_22772` `tanh-def-a_binary64_22771` `cosh-def_binary64_22770` `sinh-def_binary64_22769` `tan-neg_binary64_22716` `cos-neg_binary64_22715` `sin-neg_binary64_22714` `tan-0_binary64_22713` `cos-0_binary64_22712` `sin-0_binary64_22711` `hang-m-tan_binary64_22710` `hang-p-tan_binary64_22709` `hang-m0-tan_binary64_22708` `hang-p0-tan_binary64_22707` `hang-0m-tan_binary64_22706` `hang-0p-tan_binary64_22705` `tan-+PI/2_binary64_22704` `tan-+PI_binary64_22703` `tan-PI_binary64_22702` `tan-PI/3_binary64_22701` `tan-PI/4_binary64_22700` `tan-PI/6_binary64_22699` `cos-+PI/2_binary64_22698` `cos-+PI_binary64_22697` `cos-PI_binary64_22696` `cos-PI/2_binary64_22695` `cos-PI/3_binary64_22694` `cos-PI/4_binary64_22693` `cos-PI/6_binary64_22692` `sin-+PI/2_binary64_22691` `sin-+PI_binary64_22690` `sin-PI_binary64_22689` `sin-PI/2_binary64_22688` `sin-PI/3_binary64_22687` `sin-PI/4_binary64_22686` `sin-PI/6_binary64_22685` `sub-1-sin_binary64_22684` `sub-1-cos_binary64_22683` `-1-add-sin_binary64_22682` `-1-add-cos_binary64_22681` `1-sub-sin_binary64_22680` `1-sub-cos_binary64_22679` `cos-sin-sum_binary64_22678` `log-E_binary64_22674` `log-pow_binary64_22673` `pow-base-0_binary64_22668` `unpow1/3_binary64_22651` `unpow2_binary64_22649` `pow-plus_binary64_22647` `exp-to-pow_binary64_22646` `pow-base-1_binary64_22644` `unpow0_binary64_22643` `unpow1_binary64_22642` `unpow-1_binary64_22641` `exp-lft-cube_binary64_22640` `exp-lft-sqr_binary64_22639` `exp-cbrt_binary64_22638` `exp-sqrt_binary64_22637` `rec-exp_binary64_22634` `prod-exp_binary64_22633` `e-exp-1_binary64_22629` `exp-0_binary64_22626` `rem-log-exp_binary64_22625` `rem-exp-log_binary64_22624` `rem-3cbrt-rft_binary64_22610` `rem-3cbrt-lft_binary64_22609` `rem-cbrt-cube_binary64_22608` `rem-cube-cbrt_binary64_22607` `sqr-abs_binary64_22599` `rem-sqrt-square_binary64_22597` `rem-square-sqrt_binary64_22596` `*-inverses_binary64_22564` `+-inverses_binary64_22563` `lft-mult-inverse_binary64_22562` `rgt-mult-inverse_binary64_22561` `remove-double-div_binary64_22560` `difference-of-sqr--1_binary64_22555` `difference-of-sqr-1_binary64_22554` `cancel-sign-sub_binary64_22549` `distribute-neg-out_binary64_22546` `distribute-lft-out--_binary64_22536` `associate--l-_binary64_22522` `associate--l+_binary64_22521`

Counts

106 → 68

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	108	1580
1	287	1460
2	975	1460
3	2166	1460
4	4966	1460

prune59.0ms (0.6%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	65	3	68
Fresh	2	7	9
Picked	0	1	1
Done	0	1	1
Total	67	12	79

Error

10.0b

Counts

79 → 12

Compiler

Compiled 1140 to 331 computations (71% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.6b	(.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 t z))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))) (/.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 t z))) a))
10.3b	(cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))
10.3b	(cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))
10.3b	(cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))

rewrite198.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

10.0b

Rules

30×	`cbrt-div_binary64_22616`
25×	`add-sqr-sqrt_binary64_22606`
22×	`associate-r_binary64_22524`
20×	`add-cube-cbrt_binary64_22619` `*-un-lft-identity_binary64_22584` `times-frac_binary64_22590`
19×	`cbrt-prod_binary64_22615`
16×	`add-exp-log_binary64_22622` `frac-times_binary64_22594`
15×	`flip3--_binary64_22588` `flip--_binary64_22559`
12×	`associate-*l/_binary64_22527`
10×	`add-cbrt-cube_binary64_22620`
9×	`pow1_binary64_22645`
6×	`prod-exp_binary64_22633` `cbrt-unprod_binary64_22617`
5×	`associate-*r/_binary64_22526`
4×	`add-log-exp_binary64_22623`
3×	`pow1/3_binary64_22666` `pow-prod-down_binary64_22655` `unswap-sqr_binary64_22552`
2×	`div-exp_binary64_22635` `cbrt-undiv_binary64_22618`
1×	`associate-l_binary64_22525` `div-inv_binary64_22581` `*-commutative_binary64_22515`

Counts

4 → 100

Calls

4 calls:

22.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 t z))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))) (/.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 t z))) a))
4.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))
4.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))
4.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))

Compiler

Compiled 4440 to 445 computations (90% saved)

series1.7s (15.7%)

Error

9.9b

Counts

4 → 78

Calls

4 calls:

555.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 t z))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))) (/.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 t z))) a))
356.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))
344.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))
325.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 t z)))

Compiler

Compiled 6652 to 3883 computations (41.6% saved)

simplify174.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

545×	`times-frac_binary64_22590`
344×	`associate-/r*_binary64_22528`
213×	`associate-l_binary64_22525`
212×	`associate-/r/_binary64_22530`
202×	`associate-r_binary64_22524`
169×	`*-commutative_binary64_22515`
165×	`distribute-lft-in_binary64_22533`
164×	`distribute-rgt-in_binary64_22534`
160×	`associate-/l*_binary64_22529`
153×	`associate-/l/_binary64_22531`
124×	`distribute-rgt-neg-in_binary64_22542`
123×	`distribute-lft-neg-in_binary64_22541` `associate-*r/_binary64_22526`
113×	`cancel-sign-sub-inv_binary64_22550`
76×	`distribute-neg-frac_binary64_22548`
70×	`sub-neg_binary64_22577`
57×	`sqr-pow_binary64_22556`
49×	`neg-sub0_binary64_22579`
47×	`associate-*l/_binary64_22527`
41×	`neg-mul-1_binary64_22580`
40×	`exp-sum_binary64_22630`
35×	`exp-prod_binary64_22636`
29×	`+-commutative_binary64_22514`
28×	`*-rgt-identity_binary64_22574`
24×	`*-lft-identity_binary64_22573`
23×	`log-div_binary64_22671`
20×	`distribute-lft-neg-out_binary64_22543`
19×	`div-sub_binary64_22589` `distribute-rgt-out_binary64_22537`
18×	`log-prod_binary64_22670` `unswap-sqr_binary64_22552` `distribute-lft-out_binary64_22535`
16×	`unsub-neg_binary64_22578`
15×	`distribute-rgt-neg-out_binary64_22544`
12×	`distribute-neg-out_binary64_22546`
11×	`distribute-neg-in_binary64_22545`
10×	`exp-diff_binary64_22632` `cube-prod_binary64_22612`
9×	`unpow1/3_binary64_22651` `mul-1-neg_binary64_22576` `/-rgt-identity_binary64_22575` `pow-sqr_binary64_22557` `swap-sqr_binary64_22551`
8×	`associate--r-_binary64_22523`
7×	`unpow3_binary64_22650` `cube-mult_binary64_22614`
6×	`cube-unmult_binary64_22621` `associate-+l+_binary64_22517`
5×	`log-rec_binary64_22672` `remove-double-neg_binary64_22572`
4×	`associate-+r+_binary64_22516`
3×	`difference-of-squares_binary64_22553` `associate-+r-_binary64_22518`
2×	`pow-plus_binary64_22647` `cube-div_binary64_22613` `distribute-lft-out--_binary64_22536`
1×	`log-pow_binary64_22673` `1-exp_binary64_22628` `exp-1-e_binary64_22627` `rem-3cbrt-lft_binary64_22609` `rem-cube-cbrt_binary64_22607` `distribute-lft1-in_binary64_22539` `count-2_binary64_22532` `associate-+l-_binary64_22519`
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_22847` `erf-erfc_binary64_22846` `erf-odd_binary64_22845` `if-if-and-not_binary64_22844` `if-if-and_binary64_22843` `if-if-or-not_binary64_22842` `if-if-or_binary64_22841` `if-not_binary64_22840` `if-same_binary64_22839` `if-false_binary64_22838` `if-true_binary64_22837` `not-gte_binary64_22836` `not-lte_binary64_22835` `not-gt_binary64_22834` `not-lt_binary64_22833` `gte-same_binary64_22832` `lte-same_binary64_22831` `gt-same_binary64_22830` `lt-same_binary64_22829` `sinh---cosh_binary64_22776` `sinh-+-cosh_binary64_22775` `sinh-cosh_binary64_22774` `tanh-def-c_binary64_22773` `tanh-def-b_binary64_22772` `tanh-def-a_binary64_22771` `cosh-def_binary64_22770` `sinh-def_binary64_22769` `tan-neg_binary64_22716` `cos-neg_binary64_22715` `sin-neg_binary64_22714` `tan-0_binary64_22713` `cos-0_binary64_22712` `sin-0_binary64_22711` `hang-m-tan_binary64_22710` `hang-p-tan_binary64_22709` `hang-m0-tan_binary64_22708` `hang-p0-tan_binary64_22707` `hang-0m-tan_binary64_22706` `hang-0p-tan_binary64_22705` `tan-+PI/2_binary64_22704` `tan-+PI_binary64_22703` `tan-PI_binary64_22702` `tan-PI/3_binary64_22701` `tan-PI/4_binary64_22700` `tan-PI/6_binary64_22699` `cos-+PI/2_binary64_22698` `cos-+PI_binary64_22697` `cos-PI_binary64_22696` `cos-PI/2_binary64_22695` `cos-PI/3_binary64_22694` `cos-PI/4_binary64_22693` `cos-PI/6_binary64_22692` `sin-+PI/2_binary64_22691` `sin-+PI_binary64_22690` `sin-PI_binary64_22689` `sin-PI/2_binary64_22688` `sin-PI/3_binary64_22687` `sin-PI/4_binary64_22686` `sin-PI/6_binary64_22685` `sub-1-sin_binary64_22684` `sub-1-cos_binary64_22683` `-1-add-sin_binary64_22682` `-1-add-cos_binary64_22681` `1-sub-sin_binary64_22680` `1-sub-cos_binary64_22679` `cos-sin-sum_binary64_22678` `log-E_binary64_22674` `pow-base-0_binary64_22668` `unpow2_binary64_22649` `unpow1/2_binary64_22648` `exp-to-pow_binary64_22646` `pow-base-1_binary64_22644` `unpow0_binary64_22643` `unpow1_binary64_22642` `unpow-1_binary64_22641` `exp-lft-cube_binary64_22640` `exp-lft-sqr_binary64_22639` `exp-cbrt_binary64_22638` `exp-sqrt_binary64_22637` `div-exp_binary64_22635` `rec-exp_binary64_22634` `prod-exp_binary64_22633` `exp-neg_binary64_22631` `e-exp-1_binary64_22629` `exp-0_binary64_22626` `rem-log-exp_binary64_22625` `rem-exp-log_binary64_22624` `cube-neg_binary64_22611` `rem-3cbrt-rft_binary64_22610` `rem-cbrt-cube_binary64_22608` `sqr-abs_binary64_22599` `sqr-neg_binary64_22598` `rem-sqrt-square_binary64_22597` `rem-square-sqrt_binary64_22596` `sub0-neg_binary64_22571` `--rgt-identity_binary64_22570` `+-rgt-identity_binary64_22569` `+-lft-identity_binary64_22568` `mul0-rgt_binary64_22567` `mul0-lft_binary64_22566` `div0_binary64_22565` `*-inverses_binary64_22564` `+-inverses_binary64_22563` `lft-mult-inverse_binary64_22562` `rgt-mult-inverse_binary64_22561` `remove-double-div_binary64_22560` `difference-of-sqr--1_binary64_22555` `difference-of-sqr-1_binary64_22554` `cancel-sign-sub_binary64_22549` `distribute-frac-neg_binary64_22547` `distribute-rgt1-in_binary64_22540` `distribute-rgt-out--_binary64_22538` `associate--l-_binary64_22522` `associate--l+_binary64_22521` `associate--r+_binary64_22520`

Counts

178 → 166

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	248	5190
1	673	4995
2	2120	4941
3	4997	4941
4	4973	4941

prune191.0ms (1.8%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	162	4	166
Fresh	1	8	9
Picked	0	1	1
Done	0	2	2
Total	163	15	178

Error

9.9b

Counts

178 → 15

Compiler

Compiled 5332 to 728 computations (86.3% saved)

regimes1.3s (12.5%)

Accuracy

Total 0.4b remaining (4.8%)

Threshold costs 0.4b (4.8%)

Compiler

Compiled 15516 to 9666 computations (37.7% saved)

bsearch0.0ms (0%)

simplify28.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64_22515`
4×	`sub-neg_binary64_22577` `+-commutative_binary64_22514`
3×	`neg-mul-1_binary64_22580` `neg-sub0_binary64_22579`
2×	`cancel-sign-sub-inv_binary64_22550` `distribute-rgt-neg-in_binary64_22542`
1×	`distribute-lft-neg-out_binary64_22543` `distribute-lft-neg-in_binary64_22541`
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_22844` `if-if-and_binary64_22843` `if-if-or-not_binary64_22842` `if-if-or_binary64_22841` `if-not_binary64_22840` `if-same_binary64_22839` `if-false_binary64_22838` `if-true_binary64_22837` `tan-0_binary64_22713` `cos-0_binary64_22712` `sin-0_binary64_22711` `unpow1_binary64_22642` `e-exp-1_binary64_22629` `1-exp_binary64_22628` `exp-1-e_binary64_22627` `exp-0_binary64_22626` `sqr-abs_binary64_22599` `sqr-neg_binary64_22598` `unsub-neg_binary64_22578` `mul-1-neg_binary64_22576` `/-rgt-identity_binary64_22575` `-rgt-identity_binary64_22574` `-lft-identity_binary64_22573` `remove-double-neg_binary64_22572` `sub0-neg_binary64_22571` `--rgt-identity_binary64_22570` `+-rgt-identity_binary64_22569` `+-lft-identity_binary64_22568` `cancel-sign-sub_binary64_22549` `distribute-neg-frac_binary64_22548` `distribute-frac-neg_binary64_22547` `distribute-neg-out_binary64_22546` `distribute-neg-in_binary64_22545` `distribute-rgt-neg-out_binary64_22544`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	17	13
2	27	13
3	33	13
4	37	13
5	38	13
6	38	13

Remove

(sort z t)

(sort x y)

Compiler

Compiled 36 to 36 computations (0% saved)

end0.0ms (0%)

sample2.0s (19.3%)

Algorithm

1×

intervals

Results

289.0ms	8000×	body	128	valid
107.0ms	2993×	body	128	invalid

Compiler

Compiled 1776 to 1106 computations (37.7% saved)

Iter	Nodes	Cost
0	10	13
1	20	13
2	40	13
3	66	13
4	129	13
5	183	13
6	243	13
7	382	13
8	519	13
9	624	13
10	607	13
11	633	13
12	623	13
13	624	13
14	551	13

Iter	Nodes	Cost
0	10	13
1	20	13
2	40	13
3	66	13
4	129	13
5	183	13
6	243	13
7	382	13
8	519	13
9	624	13
10	607	13
11	633	13
12	623	13
13	624	13
14	551	13

Details

analyze1.6s (14.7%)

sample50.0ms (0.5%)

simplify39.0ms (0.4%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite58.0ms (0.5%)

series675.0ms (6.4%)

simplify92.0ms (0.9%)

prune65.0ms (0.6%)

localize8.0ms (0.1%)

rewrite163.0ms (1.5%)

series1.1s (10.4%)

simplify178.0ms (1.7%)

prune98.0ms (0.9%)

localize8.0ms (0.1%)

rewrite73.0ms (0.7%)

series661.0ms (6.2%)

simplify76.0ms (0.7%)

prune59.0ms (0.6%)

localize14.0ms (0.1%)

rewrite198.0ms (1.9%)

series1.7s (15.7%)

simplify174.0ms (1.6%)

prune191.0ms (1.8%)

regimes1.3s (12.5%)

bsearch0.0ms (0%)

simplify28.0ms (0.3%)

end0.0ms (0%)

sample2.0s (19.3%)

Profiling

Iter	Nodes	Cost
0	10	13
1	20	13
2	40	13
3	66	13
4	129	13
5	183	13
6	243	13
7	382	13
8	519	13
9	624	13
10	607	13
11	633	13
12	623	13
13	624	13
14	551	13