Details

analyze537.0ms (2.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

799×	`sub-neg_binary64_15416`
483×	`neg-mul-1_binary64_15419`
468×	`distribute-rgt-in_binary64_15373`
400×	`associate-+l+_binary64_15356`
382×	`distribute-neg-in_binary64_15384`
359×	`neg-sub0_binary64_15418`
283×	`cancel-sign-sub_binary64_15388`
279×	`associate-+r+_binary64_15355`
268×	`associate-+r-_binary64_15357`
266×	`associate-+l-_binary64_15358`
180×	`associate--r+_binary64_15359`
167×	`distribute-lft-neg-out_binary64_15382`
149×	`associate--r-_binary64_15362`
145×	`+-commutative_binary64_15353`
144×	`associate--l+_binary64_15360`
130×	`cancel-sign-sub-inv_binary64_15389`
116×	`distribute-neg-out_binary64_15385`
110×	`remove-double-neg_binary64_15411`
71×	`associate--l-_binary64_15361`
67×	`distribute-rgt-neg-out_binary64_15383`
60×	`unsub-neg_binary64_15417`
48×	`distribute-lft-neg-in_binary64_15380`
39×	`distribute-lft-out_binary64_15374`
36×	`+-rgt-identity_binary64_15408`
35×	`distribute-lft-out--_binary64_15375`
26×	`distribute-rgt-neg-in_binary64_15381`
24×	`*-rgt-identity_binary64_15413` `distribute-rgt-out_binary64_15376`
23×	`mul-1-neg_binary64_15415`
14×	`*-commutative_binary64_15354`
12×	`distribute-rgt-out--_binary64_15377`
10×	`*-lft-identity_binary64_15412`
6×	`--rgt-identity_binary64_15409`
4×	`sub0-neg_binary64_15410`
1×	`1-exp_binary64_15467` `swap-x-y` `swap-x-z` `swap-x-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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-E_binary64_15513` `log-pow_binary64_15512` `log-rec_binary64_15511` `log-div_binary64_15510` `log-prod_binary64_15509` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow3_binary64_15489` `unpow2_binary64_15488` `unpow1/2_binary64_15487` `pow-plus_binary64_15486` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow1_binary64_15481` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `exp-prod_binary64_15475` `div-exp_binary64_15474` `rec-exp_binary64_15473` `prod-exp_binary64_15472` `exp-diff_binary64_15471` `exp-neg_binary64_15470` `exp-sum_binary64_15469` `e-exp-1_binary64_15468` `exp-1-e_binary64_15466` `exp-0_binary64_15465` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463` `cube-unmult_binary64_15460` `cube-mult_binary64_15453` `cube-div_binary64_15452` `cube-prod_binary64_15451` `cube-neg_binary64_15450` `rem-3cbrt-rft_binary64_15449` `rem-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `sqr-neg_binary64_15437` `rem-sqrt-square_binary64_15436` `rem-square-sqrt_binary64_15435` `times-frac_binary64_15429` `div-sub_binary64_15428` `/-rgt-identity_binary64_15414` `+-lft-identity_binary64_15407` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `div0_binary64_15404` `-inverses_binary64_15403` `+-inverses_binary64_15402` `lft-mult-inverse_binary64_15401` `rgt-mult-inverse_binary64_15400` `remove-double-div_binary64_15399` `pow-sqr_binary64_15396` `sqr-pow_binary64_15395` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `difference-of-squares_binary64_15392` `unswap-sqr_binary64_15391` `swap-sqr_binary64_15390` `distribute-neg-frac_binary64_15387` `distribute-frac-neg_binary64_15386` `distribute-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378` `distribute-lft-in_binary64_15372` `count-2_binary64_15371` `associate-/l/_binary64_15370` `associate-/r/_binary64_15369` `associate-/l_binary64_15368` `associate-/r_binary64_15367` `associate-l/_binary64_15366` `associate-r/_binary64_15365` `associate-l_binary64_15364` `associate-r*_binary64_15363` `swap-y-z` `swap-y-t` `swap-z-t`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	350
1	121	350
2	485	350
3	2395	350
4	3486	350
5	4642	350
6	4904	350
7	5085	350
0	4	4
1	4	4

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
6.2%	93.6%	0.2%	5
6.2%	68.6%	25.1%	6
6.2%	49.9%	43.9%	7
6.2%	35.9%	57.9%	8
6.2%	25.3%	68.4%	9
6.2%	20.1%	73.7%	10
6.2%	15.7%	78.1%	11
6.2%	12%	81.7%	12
6.2%	9%	84.8%	13
6.2%	7.5%	86.3%	14

Symmetry

(sort x y z t)

Compiler

Compiled 32 to 28 computations (12.5% saved)

sample182.0ms (1%)

Algorithm

1×

intervals

Results

40.0ms	140×	body	512	valid
37.0ms	321×	body	128	nan
22.0ms	57×	body	1024	valid
5.0ms	29×	body	256	valid
3.0ms	30×	body	128	valid

Compiler

Compiled 63 to 59 computations (6.3% saved)

simplify49.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

634×	`distribute-neg-in_binary64_15384`
543×	`cancel-sign-sub-inv_binary64_15389`
529×	`associate-+r-_binary64_15357`
510×	`associate-+l-_binary64_15358`
481×	`associate--r+_binary64_15359`
364×	`neg-mul-1_binary64_15419`
355×	`associate--r-_binary64_15362` `+-commutative_binary64_15353`
340×	`associate--l+_binary64_15360`
244×	`sub-neg_binary64_15416`
229×	`unsub-neg_binary64_15417`
154×	`associate--l-_binary64_15361`
136×	`associate-+l+_binary64_15356`
115×	`neg-sub0_binary64_15418` `associate-+r+_binary64_15355`
109×	`sub0-neg_binary64_15410`
74×	`+-rgt-identity_binary64_15408`
42×	`--rgt-identity_binary64_15409`
34×	`distribute-neg-out_binary64_15385`
24×	`remove-double-neg_binary64_15411`
6×	`distribute-rgt-in_binary64_15373` `*-commutative_binary64_15354`
5×	`*-lft-identity_binary64_15412`
4×	`distribute-rgt-out_binary64_15376`
2×	`distribute-lft-neg-in_binary64_15380`
1×	`1-exp_binary64_15467` `distribute-rgt-neg-in_binary64_15381`
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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-E_binary64_15513` `log-pow_binary64_15512` `log-rec_binary64_15511` `log-div_binary64_15510` `log-prod_binary64_15509` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow3_binary64_15489` `unpow2_binary64_15488` `unpow1/2_binary64_15487` `pow-plus_binary64_15486` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow1_binary64_15481` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `exp-prod_binary64_15475` `div-exp_binary64_15474` `rec-exp_binary64_15473` `prod-exp_binary64_15472` `exp-diff_binary64_15471` `exp-neg_binary64_15470` `exp-sum_binary64_15469` `e-exp-1_binary64_15468` `exp-1-e_binary64_15466` `exp-0_binary64_15465` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463` `cube-unmult_binary64_15460` `cube-mult_binary64_15453` `cube-div_binary64_15452` `cube-prod_binary64_15451` `cube-neg_binary64_15450` `rem-3cbrt-rft_binary64_15449` `rem-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `sqr-neg_binary64_15437` `rem-sqrt-square_binary64_15436` `rem-square-sqrt_binary64_15435` `times-frac_binary64_15429` `div-sub_binary64_15428` `mul-1-neg_binary64_15415` `/-rgt-identity_binary64_15414` `-rgt-identity_binary64_15413` `+-lft-identity_binary64_15407` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `div0_binary64_15404` `-inverses_binary64_15403` `+-inverses_binary64_15402` `lft-mult-inverse_binary64_15401` `rgt-mult-inverse_binary64_15400` `remove-double-div_binary64_15399` `pow-sqr_binary64_15396` `sqr-pow_binary64_15395` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `difference-of-squares_binary64_15392` `unswap-sqr_binary64_15391` `swap-sqr_binary64_15390` `cancel-sign-sub_binary64_15388` `distribute-neg-frac_binary64_15387` `distribute-frac-neg_binary64_15386` `distribute-rgt-neg-out_binary64_15383` `distribute-lft-neg-out_binary64_15382` `distribute-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378` `distribute-rgt-out--_binary64_15377` `distribute-lft-out--_binary64_15375` `distribute-lft-out_binary64_15374` `distribute-lft-in_binary64_15372` `count-2_binary64_15371` `associate-/l/_binary64_15370` `associate-/r/_binary64_15369` `associate-/l_binary64_15368` `associate-/r_binary64_15367` `associate-l/_binary64_15366` `associate-r/_binary64_15365` `associate-l_binary64_15364` `associate-r_binary64_15363`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	50
1	54	50
2	166	50
3	881	50
4	3887	50
5	4925	50
6	5168	50

prune5.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

4.9b

Counts

2 → 1

Compiler

Compiled 62 to 54 computations (12.9% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.8b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.3b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
3.4b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
4.2b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite278.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

4.7b

Rules

44×	`add-sqr-sqrt_binary64_15445` `sqrt-prod_binary64_15439`
40×	`*-un-lft-identity_binary64_15423`
24×	`cancel-sign-sub-inv_binary64_15389`
16×	`difference-of-squares_binary64_15392`
12×	`add-log-exp_binary64_15462` `add-cube-cbrt_binary64_15458` `distribute-lft-out--_binary64_15375`
4×	`diff-log_binary64_15515` `pow1_binary64_15484` `add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459` `flip3--_binary64_15427` `sub-neg_binary64_15416` `flip--_binary64_15398` `distribute-lft-out_binary64_15374`

Counts

4 → 96

Calls

4 calls:

10.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
10.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
10.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

Compiler

Compiled 3760 to 2340 computations (37.8% saved)

series214.0ms (1.2%)

Error

4.8b

Counts

4 → 12

Calls

4 calls:

52.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
50.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
49.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
42.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

Compiler

Compiled 1300 to 1049 computations (19.3% saved)

simplify95.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

435×	`cancel-sign-sub-inv_binary64_15389`
323×	`associate-r_binary64_15363`
299×	`associate-l_binary64_15364`
208×	`times-frac_binary64_15429`
160×	`associate-/r*_binary64_15367`
137×	`distribute-lft-in_binary64_15372`
130×	`sub-neg_binary64_15416` `distribute-rgt-in_binary64_15373`
126×	`unsub-neg_binary64_15417`
124×	`div-sub_binary64_15428`
116×	`associate-/l*_binary64_15368`
107×	`*-commutative_binary64_15354`
106×	`neg-sub0_binary64_15418`
100×	`sqr-pow_binary64_15395`
95×	`neg-mul-1_binary64_15419`
92×	`exp-prod_binary64_15475`
88×	`associate-+l+_binary64_15356`
86×	`+-commutative_binary64_15353`
68×	`associate-+r+_binary64_15355`
64×	`exp-sum_binary64_15469`
58×	`unswap-sqr_binary64_15391`
51×	`distribute-rgt-neg-in_binary64_15381`
48×	`swap-sqr_binary64_15390`
43×	`distribute-lft-neg-in_binary64_15380`
40×	`difference-of-squares_binary64_15392`
32×	`mul0-rgt_binary64_15406`
29×	`distribute-lft-neg-out_binary64_15382`
28×	`mul0-lft_binary64_15405` `distribute-rgt-out_binary64_15376` `associate--l+_binary64_15360`
24×	`exp-diff_binary64_15471`
23×	`mul-1-neg_binary64_15415`
21×	`cube-unmult_binary64_15460` `+-rgt-identity_binary64_15408` `associate-+r-_binary64_15357`
20×	`cube-prod_binary64_15451` `distribute-neg-frac_binary64_15387` `distribute-rgt-neg-out_binary64_15383` `associate-*l/_binary64_15366`
17×	`unpow3_binary64_15489` `associate-+l-_binary64_15358`
16×	`rem-sqrt-square_binary64_15436` `associate-*r/_binary64_15365`
13×	`sub0-neg_binary64_15410`
12×	`rem-square-sqrt_binary64_15435` `associate-/r/_binary64_15369`
9×	`cube-mult_binary64_15453`
8×	`+-inverses_binary64_15402` `pow-sqr_binary64_15396`
5×	`distribute-neg-in_binary64_15384` `distribute-rgt1-in_binary64_15379`
4×	`pow-plus_binary64_15486` `div-exp_binary64_15474` `rem-3cbrt-lft_binary64_15448` `sqr-neg_binary64_15437` `-rgt-identity_binary64_15413` `-lft-identity_binary64_15412` `remove-double-neg_binary64_15411` `distribute-frac-neg_binary64_15386` `distribute-rgt-out--_binary64_15377` `count-2_binary64_15371` `associate--r-_binary64_15362` `associate--r+_binary64_15359`
1×	`1-exp_binary64_15467`
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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-E_binary64_15513` `log-pow_binary64_15512` `log-rec_binary64_15511` `log-div_binary64_15510` `log-prod_binary64_15509` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow2_binary64_15488` `unpow1/2_binary64_15487` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow1_binary64_15481` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `rec-exp_binary64_15473` `prod-exp_binary64_15472` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-1-e_binary64_15466` `exp-0_binary64_15465` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463` `cube-div_binary64_15452` `cube-neg_binary64_15450` `rem-3cbrt-rft_binary64_15449` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `/-rgt-identity_binary64_15414` `--rgt-identity_binary64_15409` `+-lft-identity_binary64_15407` `div0_binary64_15404` `*-inverses_binary64_15403` `lft-mult-inverse_binary64_15401` `rgt-mult-inverse_binary64_15400` `remove-double-div_binary64_15399` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `cancel-sign-sub_binary64_15388` `distribute-neg-out_binary64_15385` `distribute-lft1-in_binary64_15378` `distribute-lft-out--_binary64_15375` `distribute-lft-out_binary64_15374` `associate-/l/_binary64_15370` `associate--l-_binary64_15361`

Counts

108 → 88

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	191	1688
1	424	1596
2	961	1596
3	3551	1588
4	4912	1588

prune223.0ms (1.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	79	9	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	9	89

Error

0.4b

Counts

89 → 9

Compiler

Compiled 3577 to 2322 computations (35.1% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
2.3b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
3.4b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
4.2b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite359.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

70×	`*-un-lft-identity_binary64_15423`
49×	`sqrt-prod_binary64_15439`
45×	`add-sqr-sqrt_binary64_15445`
21×	`add-cube-cbrt_binary64_15458`
19×	`distribute-lft-out_binary64_15374`
18×	`cancel-sign-sub-inv_binary64_15389` `times-frac_binary64_15429`
12×	`difference-of-squares_binary64_15392`
10×	`add-log-exp_binary64_15462`
9×	`distribute-lft-out--_binary64_15375`
8×	`add-exp-log_binary64_15461`
6×	`add-cbrt-cube_binary64_15459` `associate-/r*_binary64_15367`
5×	`pow1_binary64_15484`
3×	`diff-log_binary64_15515` `flip3--_binary64_15427` `sub-neg_binary64_15416` `flip--_binary64_15398` `associate-/l*_binary64_15368`
2×	`div-exp_binary64_15474` `associate-/r/_binary64_15369`
1×	`inv-pow_binary64_15508` `pow-flip_binary64_15497` `1-exp_binary64_15467` `rec-exp_binary64_15473` `cbrt-undiv_binary64_15457` `frac-2neg_binary64_15434` `clear-num_binary64_15422` `div-inv_binary64_15420` `flip3-+_binary64_15426` `flip-+_binary64_15397`

Counts

4 → 117

Calls

4 calls:

12.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
12.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
10.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

Compiler

Compiled 4838 to 3162 computations (34.6% saved)

series192.0ms (1.1%)

Error

0.4b

Counts

4 → 12

Calls

4 calls:

50.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
49.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
42.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
31.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))

Compiler

Compiled 1294 to 1061 computations (18% saved)

simplify125.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

346×	`cancel-sign-sub-inv_binary64_15389`
345×	`div-sub_binary64_15428`
259×	`associate-r_binary64_15363`
245×	`associate-l_binary64_15364`
172×	`distribute-neg-frac_binary64_15387`
164×	`times-frac_binary64_15429`
154×	`distribute-lft-in_binary64_15372`
151×	`distribute-rgt-in_binary64_15373`
135×	`associate-/r*_binary64_15367`
134×	`distribute-rgt-neg-out_binary64_15383`
123×	`sub-neg_binary64_15416`
110×	`*-commutative_binary64_15354`
109×	`associate-/l*_binary64_15368`
99×	`unsub-neg_binary64_15417`
90×	`sqr-pow_binary64_15395`
88×	`neg-sub0_binary64_15418` `associate-+l+_binary64_15356`
82×	`associate-+r+_binary64_15355`
79×	`neg-mul-1_binary64_15419`
76×	`+-commutative_binary64_15353`
74×	`exp-prod_binary64_15475`
57×	`exp-sum_binary64_15469`
48×	`unswap-sqr_binary64_15391`
42×	`distribute-rgt-neg-in_binary64_15381`
40×	`swap-sqr_binary64_15390`
35×	`distribute-lft-neg-in_binary64_15380`
33×	`difference-of-squares_binary64_15392` `distribute-frac-neg_binary64_15386`
32×	`cube-unmult_binary64_15460`
29×	`associate-*l/_binary64_15366` `associate-+r-_binary64_15357`
26×	`rem-sqrt-square_binary64_15436`
25×	`associate-*r/_binary64_15365`
24×	`unpow3_binary64_15489` `mul0-rgt_binary64_15406` `associate--l+_binary64_15360`
23×	`+-rgt-identity_binary64_15408` `distribute-lft-neg-out_binary64_15382`
22×	`distribute-rgt-out_binary64_15376`
21×	`exp-diff_binary64_15471` `cube-prod_binary64_15451` `mul0-lft_binary64_15405`
20×	`associate-/r/_binary64_15369`
19×	`mul-1-neg_binary64_15415` `distribute-neg-in_binary64_15384` `associate-+l-_binary64_15358`
15×	`sqr-neg_binary64_15437`
13×	`sub0-neg_binary64_15410`
12×	`pow-plus_binary64_15486`
11×	`rem-square-sqrt_binary64_15435` `associate-/l/_binary64_15370`
10×	`/-rgt-identity_binary64_15414` `*-rgt-identity_binary64_15413`
9×	`cube-mult_binary64_15453`
8×	`+-inverses_binary64_15402`
6×	`*-lft-identity_binary64_15412` `pow-sqr_binary64_15396`
5×	`distribute-rgt1-in_binary64_15379`
4×	`distribute-rgt-out--_binary64_15377` `count-2_binary64_15371` `associate--r+_binary64_15359`
3×	`div-exp_binary64_15474` `cube-neg_binary64_15450` `rem-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `remove-double-neg_binary64_15411` `cancel-sign-sub_binary64_15388` `associate--r-_binary64_15362`
2×	`log-div_binary64_15510` `cube-div_binary64_15452` `+-lft-identity_binary64_15407`
1×	`log-rec_binary64_15511` `unpow1/2_binary64_15487` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `--rgt-identity_binary64_15409` `associate--l-_binary64_15361`
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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-E_binary64_15513` `log-pow_binary64_15512` `log-prod_binary64_15509` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow2_binary64_15488` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow1_binary64_15481` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `rec-exp_binary64_15473` `prod-exp_binary64_15472` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-0_binary64_15465` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463` `rem-3cbrt-rft_binary64_15449` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `div0_binary64_15404` `*-inverses_binary64_15403` `lft-mult-inverse_binary64_15401` `rgt-mult-inverse_binary64_15400` `remove-double-div_binary64_15399` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `distribute-neg-out_binary64_15385` `distribute-lft1-in_binary64_15378` `distribute-lft-out--_binary64_15375` `distribute-lft-out_binary64_15374`

Counts

129 → 96

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	197	2148
1	432	2021
2	965	2021
3	3112	2015
4	4611	2015
5	4879	2015

prune234.0ms (1.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	92	4	96
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	95	10	105

Error

0.2b

Counts

105 → 10

Compiler

Compiled 4092 to 2741 computations (33% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
2.3b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.2b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite479.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

177×	`*-un-lft-identity_binary64_15423`
94×	`distribute-lft-out_binary64_15374`
86×	`sqrt-prod_binary64_15439`
66×	`times-frac_binary64_15429`
51×	`add-sqr-sqrt_binary64_15445`
35×	`add-cube-cbrt_binary64_15458`
12×	`cancel-sign-sub-inv_binary64_15389`
10×	`add-log-exp_binary64_15462`
8×	`add-exp-log_binary64_15461` `difference-of-squares_binary64_15392`
6×	`add-cbrt-cube_binary64_15459` `distribute-lft-out--_binary64_15375` `associate-/r*_binary64_15367`
5×	`pow1_binary64_15484` `div-inv_binary64_15420`
3×	`associate-/l*_binary64_15368`
2×	`diff-log_binary64_15515` `flip3--_binary64_15427` `sub-neg_binary64_15416` `flip--_binary64_15398` `div-exp_binary64_15474` `flip3-+_binary64_15426` `associate-/r/_binary64_15369` `flip-+_binary64_15397`
1×	`inv-pow_binary64_15508` `pow-flip_binary64_15497` `1-exp_binary64_15467` `rec-exp_binary64_15473` `cbrt-undiv_binary64_15457` `frac-2neg_binary64_15434` `clear-num_binary64_15422` `sum-log_binary64_15514` `frac-add_binary64_15431` `+-commutative_binary64_15353`

Counts

4 → 133

Calls

4 calls:

53.0ms	(+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
10.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
10.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

Compiler

Compiled 5861 to 3996 computations (31.8% saved)

series268.0ms (1.5%)

Error

0.2b

Counts

4 → 15

Calls

4 calls:

112.0ms	(+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))
51.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
46.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
33.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))

Compiler

Compiled 1587 to 1325 computations (16.5% saved)

simplify153.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

360×	`neg-mul-1_binary64_15419`
273×	`cancel-sign-sub-inv_binary64_15389`
262×	`div-sub_binary64_15428`
225×	`associate-r_binary64_15363`
214×	`associate-l_binary64_15364`
212×	`distribute-rgt-in_binary64_15373`
208×	`distribute-rgt-neg-in_binary64_15381`
199×	`distribute-lft-in_binary64_15372`
174×	`distribute-rgt-out_binary64_15376`
171×	`distribute-lft-neg-in_binary64_15380`
160×	`times-frac_binary64_15429`
132×	`distribute-neg-frac_binary64_15387`
123×	`sub-neg_binary64_15416`
121×	`associate-/r*_binary64_15367`
109×	`associate-/l*_binary64_15368`
106×	`*-commutative_binary64_15354`
101×	`distribute-lft-neg-out_binary64_15382`
98×	`associate-+l+_binary64_15356`
91×	`distribute-rgt-neg-out_binary64_15383` `associate-+r+_binary64_15355`
87×	`+-commutative_binary64_15353`
80×	`sqr-pow_binary64_15395`
77×	`unsub-neg_binary64_15417`
72×	`neg-sub0_binary64_15418`
54×	`exp-prod_binary64_15475` `associate-*l/_binary64_15366`
49×	`distribute-lft-out_binary64_15374`
43×	`associate-*r/_binary64_15365`
40×	`exp-sum_binary64_15469`
38×	`unswap-sqr_binary64_15391`
34×	`swap-sqr_binary64_15390`
30×	`distribute-neg-in_binary64_15384` `associate-+r-_binary64_15357`
27×	`cube-unmult_binary64_15460` `*-rgt-identity_binary64_15413`
25×	`cube-prod_binary64_15451` `difference-of-squares_binary64_15392`
24×	`unpow3_binary64_15489` `distribute-rgt-out--_binary64_15377`
23×	`+-rgt-identity_binary64_15408`
22×	`distribute-frac-neg_binary64_15386`
21×	`associate-+l-_binary64_15358`
19×	`*-lft-identity_binary64_15412` `associate-/l/_binary64_15370`
18×	`rem-sqrt-square_binary64_15436` `associate-/r/_binary64_15369` `associate--l+_binary64_15360`
16×	`mul-1-neg_binary64_15415` `mul0-rgt_binary64_15406`
14×	`exp-diff_binary64_15471` `mul0-lft_binary64_15405`
13×	`/-rgt-identity_binary64_15414` `sub0-neg_binary64_15410`
11×	`cube-div_binary64_15452`
10×	`cube-mult_binary64_15453` `sqr-neg_binary64_15437` `distribute-rgt1-in_binary64_15379`
8×	`pow-plus_binary64_15486` `rem-square-sqrt_binary64_15435`
7×	`+-inverses_binary64_15402`
6×	`associate--r+_binary64_15359`
5×	`log-div_binary64_15510`
4×	`log-prod_binary64_15509` `pow-sqr_binary64_15396`
3×	`count-2_binary64_15371`
2×	`log-rec_binary64_15511` `unpow1/2_binary64_15487` `div-exp_binary64_15474` `cube-neg_binary64_15450` `rem-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `remove-double-neg_binary64_15411` `+-lft-identity_binary64_15407` `div0_binary64_15404` `cancel-sign-sub_binary64_15388` `distribute-lft1-in_binary64_15378` `associate--r-_binary64_15362`
1×	`prod-exp_binary64_15472` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `--rgt-identity_binary64_15409` `associate--l-_binary64_15361`
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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-E_binary64_15513` `log-pow_binary64_15512` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow2_binary64_15488` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow1_binary64_15481` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `rec-exp_binary64_15473` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-0_binary64_15465` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463` `rem-3cbrt-rft_binary64_15449` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `*-inverses_binary64_15403` `lft-mult-inverse_binary64_15401` `rgt-mult-inverse_binary64_15400` `remove-double-div_binary64_15399` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `distribute-neg-out_binary64_15385` `distribute-lft-out--_binary64_15375`

Counts

148 → 129

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	197	3264
1	452	3148
2	1029	3145
3	2939	3141
4	4422	3141
5	4884	3141

prune329.0ms (1.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	126	3	129
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	130	9	139

Error

0.0b

Counts

139 → 9

Compiler

Compiled 5779 to 3987 computations (31% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
0.3b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))
2.3b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

rewrite600.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

207×	`*-un-lft-identity_binary64_15423`
109×	`distribute-lft-out_binary64_15374`
91×	`sqrt-prod_binary64_15439`
84×	`times-frac_binary64_15429`
52×	`add-sqr-sqrt_binary64_15445`
44×	`add-cube-cbrt_binary64_15458`
12×	`add-exp-log_binary64_15461` `associate-/r*_binary64_15367`
8×	`add-log-exp_binary64_15462` `add-cbrt-cube_binary64_15459`
6×	`pow1_binary64_15484` `cancel-sign-sub-inv_binary64_15389` `div-inv_binary64_15420` `associate-/l*_binary64_15368`
4×	`difference-of-squares_binary64_15392` `div-exp_binary64_15474` `associate-/r/_binary64_15369`
3×	`distribute-lft-out--_binary64_15375` `flip3-+_binary64_15426` `flip-+_binary64_15397`
2×	`inv-pow_binary64_15508` `pow-flip_binary64_15497` `1-exp_binary64_15467` `rec-exp_binary64_15473` `cbrt-undiv_binary64_15457` `frac-2neg_binary64_15434` `clear-num_binary64_15422`
1×	`diff-log_binary64_15515` `flip3--_binary64_15427` `sub-neg_binary64_15416` `flip--_binary64_15398` `sum-log_binary64_15514` `frac-add_binary64_15431` `+-commutative_binary64_15353`

Counts

4 → 154

Calls

4 calls:

52.0ms	(+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))
12.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))

Compiler

Compiled 7097 to 4976 computations (29.9% saved)

series245.0ms (1.3%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

107.0ms	(+.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))
42.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
36.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
32.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))

Compiler

Compiled 1599 to 1355 computations (15.3% saved)

simplify170.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

682×	`distribute-rgt-in_binary64_15373`
552×	`distribute-lft-in_binary64_15372`
221×	`neg-sub0_binary64_15418`
217×	`neg-mul-1_binary64_15419`
184×	`cancel-sign-sub-inv_binary64_15389`
175×	`div-sub_binary64_15428`
161×	`associate-r_binary64_15363`
160×	`associate-l_binary64_15364`
149×	`distribute-rgt-neg-in_binary64_15381`
145×	`distribute-rgt-out_binary64_15376`
116×	`times-frac_binary64_15429` `sub-neg_binary64_15416`
110×	`distribute-lft-neg-in_binary64_15380`
107×	`*-commutative_binary64_15354`
105×	`associate-+r+_binary64_15355`
101×	`associate-/l*_binary64_15368`
98×	`associate-+l+_binary64_15356`
96×	`associate-/r*_binary64_15367`
77×	`+-commutative_binary64_15353`
76×	`distribute-neg-frac_binary64_15387`
70×	`sqr-pow_binary64_15395`
63×	`associate-*l/_binary64_15366`
57×	`distribute-lft-neg-out_binary64_15382`
52×	`associate-*r/_binary64_15365`
50×	`unsub-neg_binary64_15417`
48×	`distribute-rgt-neg-out_binary64_15383`
38×	`associate-+r-_binary64_15357`
32×	`exp-prod_binary64_15475` `*-rgt-identity_binary64_15413`
29×	`distribute-neg-in_binary64_15384` `associate-/l/_binary64_15370`
28×	`unswap-sqr_binary64_15391`
25×	`cube-unmult_binary64_15460` `distribute-lft-out_binary64_15374` `associate-/r/_binary64_15369`
24×	`swap-sqr_binary64_15390`
23×	`exp-sum_binary64_15469` `+-rgt-identity_binary64_15408` `associate-+l-_binary64_15358`
22×	`unpow3_binary64_15489` `cube-prod_binary64_15451`
21×	`/-rgt-identity_binary64_15414`
20×	`*-lft-identity_binary64_15412`
19×	`distribute-rgt-out--_binary64_15377`
18×	`difference-of-squares_binary64_15392`
14×	`associate--l+_binary64_15360`
13×	`cube-div_binary64_15452` `sub0-neg_binary64_15410`
12×	`rem-sqrt-square_binary64_15436` `mul-1-neg_binary64_15415`
11×	`distribute-frac-neg_binary64_15386` `distribute-rgt1-in_binary64_15379`
10×	`cube-mult_binary64_15453`
9×	`rem-square-sqrt_binary64_15435`
8×	`mul0-rgt_binary64_15406`
7×	`log-div_binary64_15510` `exp-diff_binary64_15471` `mul0-lft_binary64_15405` `+-inverses_binary64_15402`
6×	`associate--r+_binary64_15359`
5×	`sqr-neg_binary64_15437`
4×	`log-prod_binary64_15509` `pow-plus_binary64_15486`
3×	`log-rec_binary64_15511` `unpow1/2_binary64_15487`
2×	`--rgt-identity_binary64_15409` `+-lft-identity_binary64_15407` `div0_binary64_15404` `pow-sqr_binary64_15396` `distribute-lft1-in_binary64_15378` `count-2_binary64_15371` `associate--l-_binary64_15361`
1×	`div-exp_binary64_15474` `prod-exp_binary64_15472` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `cube-neg_binary64_15450` `rem-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `remove-double-neg_binary64_15411` `cancel-sign-sub_binary64_15388` `associate--r-_binary64_15362`
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_15686` `erf-erfc_binary64_15685` `erf-odd_binary64_15684` `if-if-and-not_binary64_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `not-gte_binary64_15675` `not-lte_binary64_15674` `not-gt_binary64_15673` `not-lt_binary64_15672` `gte-same_binary64_15671` `lte-same_binary64_15670` `gt-same_binary64_15669` `lt-same_binary64_15668` `sinh---cosh_binary64_15615` `sinh-+-cosh_binary64_15614` `sinh-cosh_binary64_15613` `tanh-def-c_binary64_15612` `tanh-def-b_binary64_15611` `tanh-def-a_binary64_15610` `cosh-def_binary64_15609` `sinh-def_binary64_15608` `tan-neg_binary64_15555` `cos-neg_binary64_15554` `sin-neg_binary64_15553` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `hang-m-tan_binary64_15549` `hang-p-tan_binary64_15548` `hang-m0-tan_binary64_15547` `hang-p0-tan_binary64_15546` `hang-0m-tan_binary64_15545` `hang-0p-tan_binary64_15544` `tan-+PI/2_binary64_15543` `tan-+PI_binary64_15542` `tan-PI_binary64_15541` `tan-PI/3_binary64_15540` `tan-PI/4_binary64_15539` `tan-PI/6_binary64_15538` `cos-+PI/2_binary64_15537` `cos-+PI_binary64_15536` `cos-PI_binary64_15535` `cos-PI/2_binary64_15534` `cos-PI/3_binary64_15533` `cos-PI/4_binary64_15532` `cos-PI/6_binary64_15531` `sin-+PI/2_binary64_15530` `sin-+PI_binary64_15529` `sin-PI_binary64_15528` `sin-PI/2_binary64_15527` `sin-PI/3_binary64_15526` `sin-PI/4_binary64_15525` `sin-PI/6_binary64_15524` `sub-1-sin_binary64_15523` `sub-1-cos_binary64_15522` `-1-add-sin_binary64_15521` `-1-add-cos_binary64_15520` `1-sub-sin_binary64_15519` `1-sub-cos_binary64_15518` `cos-sin-sum_binary64_15517` `log-E_binary64_15513` `log-pow_binary64_15512` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow2_binary64_15488` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow1_binary64_15481` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `rec-exp_binary64_15473` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-0_binary64_15465` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463` `rem-3cbrt-rft_binary64_15449` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `*-inverses_binary64_15403` `lft-mult-inverse_binary64_15401` `rgt-mult-inverse_binary64_15400` `remove-double-div_binary64_15399` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `distribute-neg-out_binary64_15385` `distribute-lft-out--_binary64_15375`

Counts

169 → 137

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	194	3724
1	450	3573
2	1014	3570
3	2471	3568
4	4584	3568
5	4967	3568

prune330.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	134	3	137
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	135	11	146

Error

Counts

146 → 11

Compiler

Compiled 5884 to 4099 computations (30.3% saved)

regimes3.9s (21.2%)

Accuracy

Total 0.3b remaining (91.3%)

Threshold costs 0.3b (91.3%)

Compiler

Compiled 57348 to 47963 computations (16.4% saved)

bsearch0.0ms (0%)

simplify30.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative_binary64_15353`
2×	`sub-neg_binary64_15416`
1×	`1-exp_binary64_15467` `neg-mul-1_binary64_15419` `neg-sub0_binary64_15418` `*-commutative_binary64_15354`
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_15683` `if-if-and_binary64_15682` `if-if-or-not_binary64_15681` `if-if-or_binary64_15680` `if-not_binary64_15679` `if-same_binary64_15678` `if-false_binary64_15677` `if-true_binary64_15676` `tan-0_binary64_15552` `cos-0_binary64_15551` `sin-0_binary64_15550` `unpow1_binary64_15481` `e-exp-1_binary64_15468` `exp-1-e_binary64_15466` `exp-0_binary64_15465` `sqr-abs_binary64_15438` `sqr-neg_binary64_15437` `unsub-neg_binary64_15417` `mul-1-neg_binary64_15415` `/-rgt-identity_binary64_15414` `-rgt-identity_binary64_15413` `-lft-identity_binary64_15412` `remove-double-neg_binary64_15411` `sub0-neg_binary64_15410` `--rgt-identity_binary64_15409` `+-rgt-identity_binary64_15408` `+-lft-identity_binary64_15407` `cancel-sign-sub-inv_binary64_15389` `cancel-sign-sub_binary64_15388` `distribute-neg-frac_binary64_15387` `distribute-frac-neg_binary64_15386` `distribute-neg-out_binary64_15385` `distribute-neg-in_binary64_15384` `distribute-rgt-neg-out_binary64_15383` `distribute-lft-neg-out_binary64_15382` `distribute-rgt-neg-in_binary64_15381` `distribute-lft-neg-in_binary64_15380`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	59
1	42	59
2	46	59
3	48	59
4	49	59
5	48	59

Compiler

Compiled 74 to 66 computations (10.8% saved)

end0.0ms (0%)

sample9.2s (50.4%)

Algorithm

1×

intervals

Results

1.6s	4410×	body	512	valid
1.0s	9970×	body	128	nan
730.0ms	1746×	body	1024	valid
198.0ms	1010×	body	256	valid
92.0ms	834×	body	128	valid

Compiler

Compiled 4515 to 3782 computations (16.2% saved)

Details

analyze537.0ms (2.9%)

sample182.0ms (1%)

simplify49.0ms (0.3%)

prune5.0ms (0%)

localize27.0ms (0.1%)

rewrite278.0ms (1.5%)

series214.0ms (1.2%)

simplify95.0ms (0.5%)

prune223.0ms (1.2%)

localize24.0ms (0.1%)

rewrite359.0ms (2%)

series192.0ms (1.1%)

simplify125.0ms (0.7%)

prune234.0ms (1.3%)

localize29.0ms (0.2%)

rewrite479.0ms (2.6%)

series268.0ms (1.5%)

simplify153.0ms (0.8%)

prune329.0ms (1.8%)

localize26.0ms (0.1%)

rewrite600.0ms (3.3%)

series245.0ms (1.3%)

simplify170.0ms (0.9%)

prune330.0ms (1.8%)

regimes3.9s (21.2%)

bsearch0.0ms (0%)

simplify30.0ms (0.2%)

end0.0ms (0%)

sample9.2s (50.4%)

Profiling