Details

analyze774.0ms (11.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

7×	`+-commutative_binary64_15353`
4×	`associate-+l+_binary64_15356`
1×	`swap-x-y` `swap-x-z`
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` `1-exp_binary64_15467` `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` `neg-mul-1_binary64_15419` `neg-sub0_binary64_15418` `unsub-neg_binary64_15417` `sub-neg_binary64_15416` `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` `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-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` `distribute-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378` `distribute-rgt-out--_binary64_15377` `distribute-rgt-out_binary64_15376` `distribute-lft-out--_binary64_15375` `distribute-lft-out_binary64_15374` `distribute-rgt-in_binary64_15373` `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` `associate--r-_binary64_15362` `associate--l-_binary64_15361` `associate--l+_binary64_15360` `associate--r+_binary64_15359` `associate-+l-_binary64_15358` `associate-+r-_binary64_15357` `associate-+r+_binary64_15355` `-commutative_binary64_15354` `swap-y-z`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	72
1	20	72
2	20	72
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
28.1%	71.8%	0.1%	9
42.1%	57.7%	0.1%	10
49.1%	50.7%	0.1%	11
57.3%	42.5%	0.1%	12
66.9%	33%	0.1%	13
71.7%	28.2%	0.1%	14

Symmetry

(sort x y z)

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample32.0ms (0.5%)

Algorithm

1×

intervals

Results

9.0ms

256×

body

128

valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_15353`
3×	`associate-+l+_binary64_15356` `associate-+r+_binary64_15355`
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` `1-exp_binary64_15467` `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` `neg-mul-1_binary64_15419` `neg-sub0_binary64_15418` `unsub-neg_binary64_15417` `sub-neg_binary64_15416` `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` `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-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` `distribute-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378` `distribute-rgt-out--_binary64_15377` `distribute-rgt-out_binary64_15376` `distribute-lft-out--_binary64_15375` `distribute-lft-out_binary64_15374` `distribute-rgt-in_binary64_15373` `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` `associate--r-_binary64_15362` `associate--l-_binary64_15361` `associate--l+_binary64_15360` `associate--r+_binary64_15359` `associate-+l-_binary64_15358` `associate-+r-_binary64_15357` `-commutative_binary64_15354`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	14	18
2	20	18
3	20	18
4	20	18

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

38.9b

Counts

1 → 1

Compiler

Compiled 12 to 9 computations (25% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
36.2b	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

rewrite63.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

38.9b

Rules

10×	`add-log-exp_binary64_15462`
5×	`add-sqr-sqrt_binary64_15445`
4×	`pow1_binary64_15484` `add-cube-cbrt_binary64_15458` `*-un-lft-identity_binary64_15423` `sum-log_binary64_15514`
3×	`add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459` `flip3-+_binary64_15426` `flip-+_binary64_15397` `sqrt-prod_binary64_15439`
2×	`sqrt-div_binary64_15440` `+-commutative_binary64_15353`
1×	`pow1/2_binary64_15503` `sqrt-pow1_binary64_15441` `rem-sqrt-square_binary64_15436` `associate-+l+_binary64_15356`

Counts

3 → 39

Calls

3 calls:

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

Compiler

Compiled 910 to 154 computations (83.1% saved)

series663.0ms (10.2%)

Error

0.5b

Counts

3 → 47

Calls

3 calls:

246.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))
233.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))
135.0ms	(+.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 1759 to 1509 computations (14.2% saved)

simplify93.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

931×	`times-frac_binary64_15429`
352×	`distribute-rgt-in_binary64_15373`
301×	`distribute-lft-in_binary64_15372`
298×	`cancel-sign-sub-inv_binary64_15389`
128×	`sub-neg_binary64_15416`
121×	`neg-sub0_binary64_15418`
118×	`neg-mul-1_binary64_15419`
110×	`unswap-sqr_binary64_15391`
107×	`associate-r_binary64_15363`
103×	`distribute-rgt-neg-in_binary64_15381`
91×	`distribute-lft-neg-in_binary64_15380`
75×	`*-commutative_binary64_15354`
69×	`+-commutative_binary64_15353`
66×	`associate-l_binary64_15364`
63×	`associate-/l*_binary64_15368`
54×	`associate-/r*_binary64_15367`
52×	`sqr-pow_binary64_15395`
46×	`associate-+l+_binary64_15356`
41×	`associate-+r+_binary64_15355`
37×	`distribute-neg-frac_binary64_15387`
36×	`associate--l+_binary64_15360` `associate--r+_binary64_15359`
28×	`distribute-neg-in_binary64_15384`
25×	`distribute-rgt-out_binary64_15376`
20×	`unsub-neg_binary64_15417`
19×	`distribute-lft-out_binary64_15374`
18×	`associate-l/_binary64_15366` `associate-r/_binary64_15365`
16×	`distribute-rgt-out--_binary64_15377`
14×	`distribute-lft-neg-out_binary64_15382`
13×	`unpow3_binary64_15489` `difference-of-squares_binary64_15392`
12×	`cube-unmult_binary64_15460`
11×	`pow-plus_binary64_15486`
10×	`exp-prod_binary64_15475`
9×	`cube-prod_binary64_15451` `div-sub_binary64_15428`
7×	`cube-mult_binary64_15453`
5×	`prod-exp_binary64_15472` `rem-sqrt-square_binary64_15436` `pow-sqr_binary64_15396`
4×	`exp-sum_binary64_15469` `associate-/r/_binary64_15369`
3×	`unpow2_binary64_15488` `unpow1/2_binary64_15487` `unpow1_binary64_15481` `mul-1-neg_binary64_15415` `associate-+r-_binary64_15357`
2×	`distribute-rgt-neg-out_binary64_15383` `associate-+l-_binary64_15358`
1×	`log-prod_binary64_15509` `1-exp_binary64_15467` `rem-square-sqrt_binary64_15435` `+-rgt-identity_binary64_15408` `distribute-lft-out--_binary64_15375`
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` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `div-exp_binary64_15474` `rec-exp_binary64_15473` `exp-diff_binary64_15471` `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-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `sqr-neg_binary64_15437` `/-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` `+-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` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `swap-sqr_binary64_15390` `cancel-sign-sub_binary64_15388` `distribute-frac-neg_binary64_15386` `distribute-neg-out_binary64_15385` `distribute-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378` `count-2_binary64_15371` `associate-/l/_binary64_15370` `associate--r-_binary64_15362` `associate--l-_binary64_15361`

Counts

86 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	168	1770
1	463	1705
2	1761	1677
3	4828	1677
4	4983	1677

prune70.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	70	4	74

Error

6.0b

Counts

74 → 4

Compiler

Compiled 1317 to 334 computations (74.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 1/2 (+.f64 (/.f64 (.f64 x x) z) (/.f64 (*.f64 y y) z)))
0.0b	(+.f64 (/.f64 (.f64 x x) z) (/.f64 (.f64 y y) z))
7.0b	(/.f64 (*.f64 x x) z)
10.2b	(/.f64 (*.f64 y y) z)

rewrite123.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

16×	`add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459`
14×	`*-un-lft-identity_binary64_15423`
12×	`add-sqr-sqrt_binary64_15445`
10×	`add-cube-cbrt_binary64_15458`
6×	`pow1_binary64_15484` `add-log-exp_binary64_15462` `times-frac_binary64_15429` `div-inv_binary64_15420` `associate-/r*_binary64_15367`
5×	`associate-r_binary64_15363`
4×	`div-exp_binary64_15474` `cbrt-undiv_binary64_15457`
3×	`prod-exp_binary64_15472` `cbrt-unprod_binary64_15456` `associate-r/_binary64_15365` `associate-l*_binary64_15364`
2×	`frac-2neg_binary64_15434` `clear-num_binary64_15422` `associate-/l*_binary64_15368` `frac-add_binary64_15431` `flip3-+_binary64_15426` `flip-+_binary64_15397` `distribute-rgt-out_binary64_15376` `distribute-lft-out_binary64_15374`
1×	`sum-log_binary64_15514` `+-commutative_binary64_15353` `pow-prod-down_binary64_15494` `unswap-sqr_binary64_15391` `distribute-rgt-in_binary64_15373` `distribute-lft-in_binary64_15372` `*-commutative_binary64_15354`

Counts

4 → 81

Calls

4 calls:

13.0ms	(.f64 1/2 (+.f64 (/.f64 (.f64 x x) z) (/.f64 (*.f64 y y) z)))
9.0ms	(+.f64 (/.f64 (.f64 x x) z) (/.f64 (.f64 y y) z))
5.0ms	(/.f64 (*.f64 y y) z)
5.0ms	(/.f64 (*.f64 x x) z)

Compiler

Compiled 1846 to 534 computations (71.1% saved)

series736.0ms (11.3%)

Error

0.5b

Counts

4 → 36

Calls

4 calls:

286.0ms	(.f64 1/2 (+.f64 (/.f64 (.f64 x x) z) (/.f64 (*.f64 y y) z)))
223.0ms	(+.f64 (/.f64 (.f64 x x) z) (/.f64 (.f64 y y) z))
101.0ms	(/.f64 (*.f64 y y) z)
98.0ms	(/.f64 (*.f64 x x) z)

Compiler

Compiled 1386 to 1087 computations (21.6% saved)

simplify116.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

503×	`associate-*l/_binary64_15366`
435×	`associate-/l*_binary64_15368`
428×	`associate-*r/_binary64_15365`
386×	`associate-l_binary64_15364`
360×	`times-frac_binary64_15429`
319×	`associate-r_binary64_15363`
277×	`associate-/l/_binary64_15370`
203×	`distribute-rgt-in_binary64_15373`
191×	`distribute-lft-in_binary64_15372`
159×	`associate-/r*_binary64_15367`
153×	`associate-/r/_binary64_15369`
137×	`unswap-sqr_binary64_15391`
109×	`cancel-sign-sub-inv_binary64_15389`
60×	`*-commutative_binary64_15354`
59×	`sqr-pow_binary64_15395`
58×	`log-div_binary64_15510`
48×	`swap-sqr_binary64_15390`
41×	`distribute-neg-frac_binary64_15387`
39×	`sub-neg_binary64_15416`
38×	`div-sub_binary64_15428` `neg-sub0_binary64_15418`
36×	`log-prod_binary64_15509` `cube-div_binary64_15452`
34×	`neg-mul-1_binary64_15419`
32×	`cube-prod_binary64_15451`
28×	`exp-prod_binary64_15475`
21×	`distribute-rgt-neg-in_binary64_15381`
18×	`+-commutative_binary64_15353`
17×	`distribute-lft-neg-in_binary64_15380`
14×	`*-lft-identity_binary64_15412`
13×	`unpow3_binary64_15489`
11×	`/-rgt-identity_binary64_15414`
10×	`log-pow_binary64_15512`
8×	`pow-plus_binary64_15486` `pow-sqr_binary64_15396` `distribute-lft-neg-out_binary64_15382`
6×	`cube-unmult_binary64_15460` `cube-mult_binary64_15453` `unsub-neg_binary64_15417` `*-rgt-identity_binary64_15413`
5×	`unpow1/2_binary64_15487` `div0_binary64_15404` `distribute-rgt-out_binary64_15376`
4×	`log-rec_binary64_15511`
3×	`distribute-lft-out_binary64_15374`
2×	`unpow2_binary64_15488` `unpow1_binary64_15481` `exp-sum_binary64_15469` `rem-sqrt-square_binary64_15436` `remove-double-neg_binary64_15411` `distribute-rgt-neg-out_binary64_15383` `distribute-rgt-out--_binary64_15377` `count-2_binary64_15371` `associate--l+_binary64_15360`
1×	`prod-exp_binary64_15472` `1-exp_binary64_15467` `difference-of-squares_binary64_15392` `associate-+l-_binary64_15358` `associate-+r-_binary64_15357` `associate-+l+_binary64_15356`
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` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `div-exp_binary64_15474` `rec-exp_binary64_15473` `exp-diff_binary64_15471` `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-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-square-sqrt_binary64_15435` `mul-1-neg_binary64_15415` `sub0-neg_binary64_15410` `--rgt-identity_binary64_15409` `+-rgt-identity_binary64_15408` `+-lft-identity_binary64_15407` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `*-inverses_binary64_15403` `+-inverses_binary64_15402` `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-frac-neg_binary64_15386` `distribute-neg-out_binary64_15385` `distribute-neg-in_binary64_15384` `distribute-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378` `distribute-lft-out--_binary64_15375` `associate--r-_binary64_15362` `associate--l-_binary64_15361` `associate--r+_binary64_15359` `associate-+r+_binary64_15355`

Counts

117 → 86

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	1734
1	362	1593
2	1072	1592
3	4345	1592
4	4983	1592
5	4963	1592

prune76.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	86	4	90

Error

0.4b

Counts

90 → 4

Compiler

Compiled 1570 to 461 computations (70.6% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 z (.f64 1/2 (/.f64 (.f64 y y) z)))
0.0b	(.f64 1/2 (/.f64 (.f64 y y) z))
10.2b	(/.f64 (*.f64 y y) z)

rewrite73.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

17×	`add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459`
12×	`add-sqr-sqrt_binary64_15445`
8×	`add-cube-cbrt_binary64_15458` `*-un-lft-identity_binary64_15423`
7×	`times-frac_binary64_15429` `associate-r_binary64_15363`
5×	`pow1_binary64_15484` `prod-exp_binary64_15472` `add-log-exp_binary64_15462` `cbrt-unprod_binary64_15456`
4×	`div-exp_binary64_15474` `cbrt-undiv_binary64_15457`
3×	`associate-/r_binary64_15367` `associate-l*_binary64_15364`
2×	`div-inv_binary64_15420` `unswap-sqr_binary64_15391`
1×	`frac-2neg_binary64_15434` `clear-num_binary64_15422` `associate-/l_binary64_15368` `pow-prod-down_binary64_15494` `associate-r/_binary64_15365` `*-commutative_binary64_15354` `sum-log_binary64_15514` `flip3-+_binary64_15426` `flip-+_binary64_15397` `+-commutative_binary64_15353`

Counts

3 → 60

Calls

3 calls:

8.0ms	(.f64 1/2 (/.f64 (.f64 y y) z))
6.0ms	(/.f64 (*.f64 y y) z)
4.0ms	(+.f64 z (.f64 1/2 (/.f64 (.f64 y y) z)))

Compiler

Compiled 962 to 396 computations (58.8% saved)

series402.0ms (6.2%)

Error

0.4b

Counts

3 → 24

Calls

3 calls:

177.0ms	(+.f64 z (.f64 1/2 (/.f64 (.f64 y y) z)))
109.0ms	(.f64 1/2 (/.f64 (.f64 y y) z))
101.0ms	(/.f64 (*.f64 y y) z)

Compiler

Compiled 534 to 483 computations (9.6% saved)

simplify93.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

368×	`associate-*r/_binary64_15365`
359×	`associate-*l/_binary64_15366`
289×	`associate-l_binary64_15364`
286×	`associate-/l*_binary64_15368`
269×	`times-frac_binary64_15429`
253×	`associate-r_binary64_15363`
250×	`distribute-rgt-in_binary64_15373`
224×	`distribute-lft-in_binary64_15372`
179×	`distribute-neg-frac_binary64_15387`
164×	`distribute-rgt-neg-in_binary64_15381`
160×	`associate-/l/_binary64_15370`
144×	`distribute-lft-neg-in_binary64_15380`
127×	`div-sub_binary64_15428`
124×	`associate-/r*_binary64_15367`
119×	`cancel-sign-sub-inv_binary64_15389` `*-commutative_binary64_15354`
110×	`distribute-rgt-out_binary64_15376`
95×	`associate-/r/_binary64_15369`
81×	`unswap-sqr_binary64_15391`
78×	`sub-neg_binary64_15416`
74×	`log-div_binary64_15510`
71×	`log-prod_binary64_15509`
68×	`cube-div_binary64_15452`
65×	`cube-prod_binary64_15451`
43×	`unpow3_binary64_15489`
39×	`sqr-pow_binary64_15395`
37×	`neg-sub0_binary64_15418`
36×	`cube-mult_binary64_15453`
34×	`distribute-lft-out_binary64_15374`
33×	`neg-mul-1_binary64_15419`
32×	`swap-sqr_binary64_15390` `distribute-lft-neg-out_binary64_15382`
29×	`distribute-rgt-out--_binary64_15377`
26×	`+-commutative_binary64_15353`
20×	`associate-+l+_binary64_15356`
19×	`associate-+l-_binary64_15358`
18×	`exp-prod_binary64_15475`
17×	`associate-+r-_binary64_15357`
13×	`associate-+r+_binary64_15355`
11×	`unsub-neg_binary64_15417` `distribute-rgt-neg-out_binary64_15383`
9×	`*-rgt-identity_binary64_15413` `associate--l-_binary64_15361`
8×	`pow-plus_binary64_15486` `cube-unmult_binary64_15460` `+-rgt-identity_binary64_15408`
6×	`*-lft-identity_binary64_15412` `distribute-neg-in_binary64_15384` `distribute-lft-out--_binary64_15375`
5×	`log-pow_binary64_15512` `/-rgt-identity_binary64_15414` `pow-sqr_binary64_15396`
4×	`log-rec_binary64_15511` `sub0-neg_binary64_15410` `associate--l+_binary64_15360`
2×	`unpow1/2_binary64_15487` `prod-exp_binary64_15472` `exp-sum_binary64_15469` `rem-sqrt-square_binary64_15436` `difference-of-squares_binary64_15392`
1×	`unpow2_binary64_15488` `unpow1_binary64_15481` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `remove-double-neg_binary64_15411` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `div0_binary64_15404` `*-inverses_binary64_15403` `count-2_binary64_15371`
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` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `div-exp_binary64_15474` `rec-exp_binary64_15473` `exp-diff_binary64_15471` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-0_binary64_15465` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463` `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-square-sqrt_binary64_15435` `mul-1-neg_binary64_15415` `--rgt-identity_binary64_15409` `+-lft-identity_binary64_15407` `+-inverses_binary64_15402` `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-frac-neg_binary64_15386` `distribute-neg-out_binary64_15385` `distribute-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378` `associate--r-_binary64_15362` `associate--r+_binary64_15359`

Counts

84 → 59

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	100	1054
1	240	976
2	735	975
3	3030	972
4	4737	972
5	5071	972

prune47.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	60	3	63

Error

0.4b

Counts

63 → 3

Compiler

Compiled 729 to 328 computations (55% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 z (.f64 1/2 (.f64 y (/.f64 y z))))
0.0b	(.f64 1/2 (.f64 y (/.f64 y z)))
0.1b	(*.f64 y (/.f64 y z))

rewrite77.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

17×	`add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459` `add-sqr-sqrt_binary64_15445`
14×	`associate-r_binary64_15363`
12×	`add-cube-cbrt_binary64_15458` `*-un-lft-identity_binary64_15423`
10×	`pow1_binary64_15484` `times-frac_binary64_15429`
7×	`prod-exp_binary64_15472` `cbrt-unprod_binary64_15456`
6×	`associate-l_binary64_15364`
5×	`add-log-exp_binary64_15462`
4×	`pow-prod-down_binary64_15494`
3×	`associate-*r/_binary64_15365`
2×	`div-exp_binary64_15474` `cbrt-undiv_binary64_15457` `unswap-sqr_binary64_15391` `*-commutative_binary64_15354`
1×	`div-inv_binary64_15420` `sum-log_binary64_15514` `flip3-+_binary64_15426` `flip-+_binary64_15397` `+-commutative_binary64_15353`

Counts

3 → 64

Calls

3 calls:

7.0ms	(*.f64 y (/.f64 y z))
7.0ms	(.f64 1/2 (.f64 y (/.f64 y z)))
4.0ms	(+.f64 z (.f64 1/2 (.f64 y (/.f64 y z))))

Compiler

Compiled 1044 to 433 computations (58.5% saved)

series426.0ms (6.6%)

Error

0.4b

Counts

3 → 24

Calls

3 calls:

187.0ms	(+.f64 z (.f64 1/2 (.f64 y (/.f64 y z))))
124.0ms	(.f64 1/2 (.f64 y (/.f64 y z)))
100.0ms	(*.f64 y (/.f64 y z))

Compiler

Compiled 534 to 483 computations (9.6% saved)

simplify91.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

407×	`associate-*r/_binary64_15365`
363×	`associate-*l/_binary64_15366`
285×	`associate-/l*_binary64_15368`
258×	`times-frac_binary64_15429`
255×	`distribute-rgt-in_binary64_15373`
249×	`*-commutative_binary64_15354`
233×	`distribute-lft-in_binary64_15372`
187×	`distribute-rgt-neg-in_binary64_15381`
168×	`distribute-neg-frac_binary64_15387`
164×	`distribute-lft-neg-in_binary64_15380`
138×	`cancel-sign-sub-inv_binary64_15389`
131×	`neg-mul-1_binary64_15419`
119×	`associate-r_binary64_15363`
116×	`associate-l_binary64_15364`
97×	`associate-/r*_binary64_15367`
92×	`associate-/l/_binary64_15370`
88×	`div-sub_binary64_15428`
82×	`distribute-rgt-out_binary64_15376`
79×	`unswap-sqr_binary64_15391`
64×	`log-div_binary64_15510`
59×	`sqr-pow_binary64_15395`
58×	`log-prod_binary64_15509`
57×	`associate-/r/_binary64_15369`
56×	`sub-neg_binary64_15416`
55×	`cube-div_binary64_15452`
54×	`cube-prod_binary64_15451`
52×	`*-rgt-identity_binary64_15413`
46×	`distribute-lft-out_binary64_15374`
45×	`neg-sub0_binary64_15418` `swap-sqr_binary64_15390`
43×	`associate-+l-_binary64_15358`
41×	`associate--l+_binary64_15360`
38×	`*-lft-identity_binary64_15412`
34×	`exp-prod_binary64_15475`
30×	`distribute-lft-neg-out_binary64_15382` `associate-+r-_binary64_15357` `associate-+l+_binary64_15356`
27×	`distribute-rgt-out--_binary64_15377`
23×	`associate-+r+_binary64_15355`
22×	`unpow3_binary64_15489` `/-rgt-identity_binary64_15414`
20×	`+-commutative_binary64_15353`
18×	`cube-mult_binary64_15453`
17×	`associate--r+_binary64_15359`
14×	`unsub-neg_binary64_15417`
12×	`pow-sqr_binary64_15396`
9×	`log-rec_binary64_15511` `rem-sqrt-square_binary64_15436` `distribute-neg-in_binary64_15384`
8×	`+-rgt-identity_binary64_15408` `distribute-rgt-neg-out_binary64_15383` `associate--l-_binary64_15361`
6×	`pow-plus_binary64_15486`
5×	`unpow1/2_binary64_15487` `remove-double-div_binary64_15399`
4×	`log-pow_binary64_15512` `exp-sum_binary64_15469` `cube-unmult_binary64_15460`
3×	`prod-exp_binary64_15472` `sub0-neg_binary64_15410` `count-2_binary64_15371`
2×	`difference-of-squares_binary64_15392` `distribute-lft-out--_binary64_15375`
1×	`unpow2_binary64_15488` `unpow1_binary64_15481` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `rem-square-sqrt_binary64_15435` `*-inverses_binary64_15403` `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` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `exp-to-pow_binary64_15485` `pow-base-1_binary64_15483` `unpow0_binary64_15482` `unpow-1_binary64_15480` `exp-lft-cube_binary64_15479` `exp-lft-sqr_binary64_15478` `exp-cbrt_binary64_15477` `exp-sqrt_binary64_15476` `div-exp_binary64_15474` `rec-exp_binary64_15473` `exp-diff_binary64_15471` `exp-neg_binary64_15470` `e-exp-1_binary64_15468` `exp-0_binary64_15465` `rem-log-exp_binary64_15464` `rem-exp-log_binary64_15463` `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` `mul-1-neg_binary64_15415` `remove-double-neg_binary64_15411` `--rgt-identity_binary64_15409` `+-lft-identity_binary64_15407` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `div0_binary64_15404` `+-inverses_binary64_15402` `lft-mult-inverse_binary64_15401` `rgt-mult-inverse_binary64_15400` `difference-of-sqr--1_binary64_15394` `difference-of-sqr-1_binary64_15393` `cancel-sign-sub_binary64_15388` `distribute-frac-neg_binary64_15386` `distribute-neg-out_binary64_15385` `distribute-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378`

Counts

88 → 69

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	111	1084
1	275	988
2	978	984
3	2979	973
4	4704	973
5	4993	973

prune49.0ms (0.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	69	3	72

Error

0.4b

Counts

72 → 3

Compiler

Compiled 860 to 369 computations (57.1% saved)

regimes889.0ms (13.7%)

Accuracy

Total 11.1b remaining (96.5%)

Threshold costs 0b (0%)

Compiler

Compiled 3470 to 3041 computations (12.4% saved)

bsearch60.0ms (0.9%)

Steps

Iters	Range		Point
9	8.12450275191839e+101	2.9148064482599156e+108	1.8070760612209178e+108
9	9.968366601511097e-103	1.564295315235835e-96	1.0147606538952986e-102

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify23.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64_15353`
3×	`*-commutative_binary64_15354`
1×	`1-exp_binary64_15467` `neg-mul-1_binary64_15419` `neg-sub0_binary64_15418` `sub-neg_binary64_15416` `/-rgt-identity_binary64_15414`
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_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	25	46
1	35	46
2	37	46
3	38	46
4	37	46

Compiler

Compiled 62 to 42 computations (32.3% saved)

end0.0ms (0%)

sample1.5s (22.7%)

Algorithm

1×

intervals

Results

326.0ms

8000×

body

128

valid

Compiler

Compiled 375 to 317 computations (15.5% saved)

Details

analyze774.0ms (11.9%)

sample32.0ms (0.5%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite63.0ms (1%)

series663.0ms (10.2%)

simplify93.0ms (1.4%)

prune70.0ms (1.1%)

localize11.0ms (0.2%)

rewrite123.0ms (1.9%)

series736.0ms (11.3%)

simplify116.0ms (1.8%)

prune76.0ms (1.2%)

localize7.0ms (0.1%)

rewrite73.0ms (1.1%)

series402.0ms (6.2%)

simplify93.0ms (1.4%)

prune47.0ms (0.7%)

localize6.0ms (0.1%)

rewrite77.0ms (1.2%)

series426.0ms (6.6%)

simplify91.0ms (1.4%)

prune49.0ms (0.7%)

regimes889.0ms (13.7%)

bsearch60.0ms (0.9%)

simplify23.0ms (0.4%)

end0.0ms (0%)

sample1.5s (22.7%)

Profiling