Details

analyze1.2s (10.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

932×	`times-frac_binary64_15429`
758×	`div-sub_binary64_15428`
562×	`unsub-neg_binary64_15417`
414×	`sub-neg_binary64_15416`
286×	`distribute-rgt-in_binary64_15373`
276×	`cancel-sign-sub-inv_binary64_15389`
275×	`neg-mul-1_binary64_15419`
255×	`distribute-lft-in_binary64_15372`
195×	`neg-sub0_binary64_15418`
128×	`mul-1-neg_binary64_15415`
124×	`+-commutative_binary64_15353`
116×	`associate-+r+_binary64_15355`
103×	`associate--r+_binary64_15359`
84×	`*-commutative_binary64_15354`
81×	`associate-+l+_binary64_15356`
79×	`associate-+l-_binary64_15358`
78×	`associate-+r-_binary64_15357`
77×	`associate-/l*_binary64_15368`
61×	`mul0-rgt_binary64_15406` `mul0-lft_binary64_15405`
60×	`distribute-frac-neg_binary64_15386`
55×	`associate-r_binary64_15363`
54×	`associate-/r/_binary64_15369`
44×	`+-rgt-identity_binary64_15408`
40×	`distribute-neg-frac_binary64_15387` `associate-*l/_binary64_15366`
39×	`distribute-rgt-neg-out_binary64_15383`
37×	`distribute-lft-neg-out_binary64_15382`
36×	`sub0-neg_binary64_15410`
28×	`associate-l_binary64_15364`
27×	`div0_binary64_15404`
26×	`distribute-rgt-neg-in_binary64_15381`
24×	`associate--r-_binary64_15362`
23×	`distribute-neg-in_binary64_15384`
20×	`distribute-lft-neg-in_binary64_15380`
19×	`associate-*r/_binary64_15365`
18×	`associate--l+_binary64_15360`
16×	`remove-double-neg_binary64_15411`
13×	`+-lft-identity_binary64_15407`
11×	`distribute-rgt-out_binary64_15376`
3×	`*-lft-identity_binary64_15412`
2×	`--rgt-identity_binary64_15409`
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` `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` `/-rgt-identity_binary64_15414` `-rgt-identity_binary64_15413` `-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-out_binary64_15385` `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` `count-2_binary64_15371` `associate-/l/_binary64_15370` `associate-/r*_binary64_15367` `associate--l-_binary64_15361`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	176
1	109	176
2	277	176
3	527	176
4	1063	176
5	2710	176
6	3916	176
7	4975	176
8	4947	176
9	4927	176
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
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
18.4%	81.3%	0.2%	13
29.5%	70.3%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample25.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	19×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify186.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1736×	`div-sub_binary64_15428`
1086×	`sub-neg_binary64_15416`
696×	`distribute-rgt-in_binary64_15373`
686×	`unsub-neg_binary64_15417`
555×	`distribute-lft-in_binary64_15372`
423×	`neg-mul-1_binary64_15419`
346×	`times-frac_binary64_15429`
316×	`distribute-rgt-neg-out_binary64_15383`
311×	`neg-sub0_binary64_15418`
285×	`associate-/l*_binary64_15368`
275×	`cancel-sign-sub-inv_binary64_15389`
241×	`distribute-neg-frac_binary64_15387` `distribute-lft-neg-out_binary64_15382`
236×	`distribute-rgt-neg-in_binary64_15381`
224×	`distribute-frac-neg_binary64_15386`
200×	`*-commutative_binary64_15354`
193×	`associate-/r*_binary64_15367`
182×	`distribute-lft-neg-in_binary64_15380`
147×	`associate-*l/_binary64_15366`
114×	`associate-/r/_binary64_15369`
105×	`associate-*r/_binary64_15365`
104×	`associate-r_binary64_15363`
99×	`associate-/l/_binary64_15370`
94×	`cancel-sign-sub_binary64_15388`
91×	`associate-l_binary64_15364`
89×	`/-rgt-identity_binary64_15414`
83×	`associate--r+_binary64_15359`
76×	`associate--l-_binary64_15361`
71×	`associate--r-_binary64_15362`
68×	`distribute-neg-in_binary64_15384`
64×	`mul0-rgt_binary64_15406`
62×	`*-rgt-identity_binary64_15413`
61×	`+-commutative_binary64_15353`
60×	`mul0-lft_binary64_15405`
56×	`associate-+l-_binary64_15358`
50×	`div0_binary64_15404`
41×	`associate-+r-_binary64_15357`
35×	`remove-double-neg_binary64_15411` `sub0-neg_binary64_15410`
32×	`associate-+l+_binary64_15356`
30×	`*-lft-identity_binary64_15412`
29×	`associate--l+_binary64_15360`
26×	`--rgt-identity_binary64_15409`
23×	`+-rgt-identity_binary64_15408` `distribute-neg-out_binary64_15385`
17×	`associate-+r+_binary64_15355`
14×	`+-lft-identity_binary64_15407`
11×	`distribute-rgt-out--_binary64_15377`
7×	`distribute-lft-out--_binary64_15375` `distribute-lft-out_binary64_15374`
6×	`mul-1-neg_binary64_15415` `distribute-rgt-out_binary64_15376`
5×	`remove-double-div_binary64_15399`
2×	`lft-mult-inverse_binary64_15401`
1×	`1-exp_binary64_15467` `*-inverses_binary64_15403`
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` `+-inverses_binary64_15402` `rgt-mult-inverse_binary64_15400` `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-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378` `count-2_binary64_15371`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	18	16
2	40	16
3	76	16
4	144	16
5	263	16
6	511	16
7	1288	16
8	2089	16
9	2369	16
10	2720	16
11	2905	16
12	3011	16
13	3046	16
14	4295	16
15	3826	16
16	4070	16
17	4630	16
18	4787	16

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.6b

Counts

1 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
0.0b	(*.f64 (-.f64 y z) t)
10.9b	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

rewrite94.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`add-sqr-sqrt_binary64_15445` `*-un-lft-identity_binary64_15423`
10×	`add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459`
7×	`add-cube-cbrt_binary64_15458`
5×	`pow1_binary64_15484` `add-log-exp_binary64_15462` `times-frac_binary64_15429` `associate-/r_binary64_15367` `associate-l*_binary64_15364`
4×	`associate-*l/_binary64_15366`
3×	`difference-of-squares_binary64_15392` `distribute-lft-out--_binary64_15375` `flip3--_binary64_15427` `flip--_binary64_15398` `associate-r_binary64_15363`
2×	`prod-exp_binary64_15472` `div-exp_binary64_15474` `cbrt-undiv_binary64_15457` `cbrt-unprod_binary64_15456` `associate-/l/_binary64_15370` `associate-/r/_binary64_15369`
1×	`frac-2neg_binary64_15434` `clear-num_binary64_15422` `div-inv_binary64_15420` `associate-/l_binary64_15368` `pow-prod-down_binary64_15494` `unswap-sqr_binary64_15391` `-commutative_binary64_15354` `sum-log_binary64_15514` `flip3-+_binary64_15426` `flip-+_binary64_15397` `distribute-lft-out_binary64_15374` `+-commutative_binary64_15353`

Counts

3 → 63

Calls

3 calls:

10.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))
8.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
7.0ms	(*.f64 (-.f64 y z) t)

Compiler

Compiled 1199 to 289 computations (75.9% saved)

series1.3s (11.7%)

Error

0.1b

Counts

3 → 80

Calls

3 calls:

701.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
402.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))
139.0ms	(*.f64 (-.f64 y z) t)

Compiler

Compiled 3630 to 2104 computations (42% saved)

simplify115.0ms (1%)

Algorithm

1×	egg-herbie

Rules

712×	`cancel-sign-sub-inv_binary64_15389`
442×	`distribute-rgt-in_binary64_15373`
371×	`div-sub_binary64_15428`
312×	`sub-neg_binary64_15416`
195×	`neg-mul-1_binary64_15419`
142×	`associate-/l*_binary64_15368`
139×	`associate--l+_binary64_15360`
133×	`+-commutative_binary64_15353`
108×	`associate--r+_binary64_15359`
104×	`times-frac_binary64_15429`
84×	`associate-+l+_binary64_15356`
79×	`distribute-neg-frac_binary64_15387`
78×	`*-commutative_binary64_15354`
72×	`associate-l_binary64_15364`
69×	`distribute-rgt-neg-in_binary64_15381`
67×	`associate-r_binary64_15363`
64×	`distribute-lft-neg-in_binary64_15380` `associate-+r+_binary64_15355`
59×	`distribute-neg-in_binary64_15384`
57×	`exp-prod_binary64_15475`
55×	`distribute-lft-in_binary64_15372` `associate-/r*_binary64_15367`
47×	`neg-sub0_binary64_15418`
45×	`associate-*l/_binary64_15366`
43×	`associate-*r/_binary64_15365`
42×	`unsub-neg_binary64_15417`
41×	`distribute-lft-neg-out_binary64_15382`
40×	`sqr-pow_binary64_15395` `associate-/r/_binary64_15369`
35×	`cube-div_binary64_15452`
33×	`cube-prod_binary64_15451`
32×	`log-div_binary64_15510`
31×	`exp-sum_binary64_15469` `associate-/l/_binary64_15370`
30×	`distribute-rgt-neg-out_binary64_15383`
26×	`log-prod_binary64_15509`
24×	`*-rgt-identity_binary64_15413` `distribute-rgt-out_binary64_15376`
23×	`distribute-lft-out_binary64_15374`
20×	`exp-diff_binary64_15471`
19×	`/-rgt-identity_binary64_15414`
18×	`unpow3_binary64_15489`
14×	`cube-mult_binary64_15453`
12×	`unswap-sqr_binary64_15391`
11×	`distribute-lft-out--_binary64_15375`
10×	`*-lft-identity_binary64_15412` `distribute-rgt-out--_binary64_15377`
9×	`difference-of-squares_binary64_15392`
6×	`cube-unmult_binary64_15460` `swap-sqr_binary64_15390`
5×	`log-rec_binary64_15511` `distribute-rgt1-in_binary64_15379`
4×	`mul-1-neg_binary64_15415`
3×	`unpow1/2_binary64_15487`
2×	`unpow2_binary64_15488` `pow-plus_binary64_15486` `unpow1_binary64_15481` `sqr-neg_binary64_15437` `rem-sqrt-square_binary64_15436` `remove-double-neg_binary64_15411` `pow-sqr_binary64_15396` `associate--r-_binary64_15362`
1×	`prod-exp_binary64_15472` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `cube-neg_binary64_15450` `div0_binary64_15404` `*-inverses_binary64_15403` `associate-+l-_binary64_15358` `associate-+r-_binary64_15357`
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` `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-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-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `rem-square-sqrt_binary64_15435` `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_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-lft1-in_binary64_15378` `count-2_binary64_15371` `associate--l-_binary64_15361`

Counts

143 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	255	3020
1	665	2747
2	2424	2501
3	4251	2501
4	4970	2501

prune94.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	99	3	102
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	99	4	103

Error

0.0b

Counts

103 → 4

Compiler

Compiled 1921 to 394 computations (79.5% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 t (-.f64 a z))))
0.0b	(/.f64 t (-.f64 a z))
11.2b	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))

rewrite111.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

44×	`add-sqr-sqrt_binary64_15445`
39×	`*-un-lft-identity_binary64_15423`
31×	`times-frac_binary64_15429`
23×	`add-cube-cbrt_binary64_15458`
21×	`associate-r_binary64_15363`
10×	`add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459`
8×	`difference-of-squares_binary64_15392` `distribute-lft-out--_binary64_15375`
5×	`pow1_binary64_15484` `add-log-exp_binary64_15462` `associate-l_binary64_15364` `associate-/r*_binary64_15367`
4×	`flip3--_binary64_15427` `flip--_binary64_15398` `associate-/r/_binary64_15369`
3×	`associate-/l*_binary64_15368`
2×	`div-exp_binary64_15474` `prod-exp_binary64_15472` `cbrt-unprod_binary64_15456` `cbrt-undiv_binary64_15457` `frac-times_binary64_15433` `unswap-sqr_binary64_15391` `associate-*l/_binary64_15366` `div-inv_binary64_15420`
1×	`pow-prod-down_binary64_15494` `associate-r/_binary64_15365` `-commutative_binary64_15354` `frac-2neg_binary64_15434` `clear-num_binary64_15422` `sum-log_binary64_15514` `flip3-+_binary64_15426` `flip-+_binary64_15397` `+-commutative_binary64_15353`

Counts

3 → 94

Calls

3 calls:

15.0ms	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))
5.0ms	(/.f64 t (-.f64 a z))
4.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 t (-.f64 a z))))

Compiler

Compiled 1884 to 440 computations (76.6% saved)

series1.3s (12%)

Error

0.0b

Counts

3 → 86

Calls

3 calls:

693.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 t (-.f64 a z))))
399.0ms	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))
170.0ms	(/.f64 t (-.f64 a z))

Compiler

Compiled 4083 to 2423 computations (40.7% saved)

simplify140.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

742×	`cancel-sign-sub-inv_binary64_15389`
618×	`times-frac_binary64_15429`
299×	`sub-neg_binary64_15416`
171×	`div-sub_binary64_15428`
137×	`associate--l+_binary64_15360`
134×	`+-commutative_binary64_15353`
131×	`associate-/l*_binary64_15368`
112×	`associate--r+_binary64_15359`
107×	`associate-l_binary64_15364`
105×	`associate-r_binary64_15363`
89×	`associate-+l+_binary64_15356` `*-commutative_binary64_15354`
82×	`distribute-neg-in_binary64_15384`
80×	`distribute-neg-frac_binary64_15387`
73×	`associate-*r/_binary64_15365`
71×	`associate-+r+_binary64_15355`
66×	`distribute-rgt-in_binary64_15373`
62×	`associate-*l/_binary64_15366`
60×	`neg-sub0_binary64_15418`
59×	`associate-/r*_binary64_15367`
56×	`distribute-lft-in_binary64_15372`
54×	`neg-mul-1_binary64_15419`
53×	`*-rgt-identity_binary64_15413`
51×	`unsub-neg_binary64_15417` `associate-/l/_binary64_15370`
39×	`sqr-pow_binary64_15395`
38×	`associate-/r/_binary64_15369`
32×	`cube-prod_binary64_15451`
25×	`exp-prod_binary64_15475`
23×	`*-lft-identity_binary64_15412`
21×	`log-prod_binary64_15509`
17×	`exp-sum_binary64_15469` `unswap-sqr_binary64_15391` `distribute-rgt-neg-in_binary64_15381`
13×	`log-div_binary64_15510` `cube-div_binary64_15452`
12×	`unpow3_binary64_15489`
11×	`distribute-lft-neg-in_binary64_15380`
10×	`/-rgt-identity_binary64_15414`
9×	`difference-of-squares_binary64_15392`
7×	`cube-unmult_binary64_15460` `cube-mult_binary64_15453` `mul-1-neg_binary64_15415`
5×	`exp-diff_binary64_15471`
4×	`swap-sqr_binary64_15390` `distribute-lft-neg-out_binary64_15382`
3×	`unpow1/2_binary64_15487` `pow-sqr_binary64_15396` `associate-+r-_binary64_15357`
2×	`unpow2_binary64_15488` `pow-plus_binary64_15486` `unpow1_binary64_15481` `rem-sqrt-square_binary64_15436` `distribute-rgt-out--_binary64_15377` `associate-+l-_binary64_15358`
1×	`prod-exp_binary64_15472` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `cube-neg_binary64_15450` `sqr-neg_binary64_15437` `remove-double-neg_binary64_15411` `+-rgt-identity_binary64_15408` `div0_binary64_15404` `*-inverses_binary64_15403` `distribute-neg-out_binary64_15385` `distribute-rgt-out_binary64_15376` `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` `log-rec_binary64_15511` `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-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-3cbrt-lft_binary64_15448` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `rem-square-sqrt_binary64_15435` `sub0-neg_binary64_15410` `--rgt-identity_binary64_15409` `+-lft-identity_binary64_15407` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `+-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-rgt-neg-out_binary64_15383` `distribute-rgt1-in_binary64_15379` `distribute-lft1-in_binary64_15378` `distribute-lft-out--_binary64_15375` `distribute-lft-out_binary64_15374` `count-2_binary64_15371` `associate--l-_binary64_15361`

Counts

180 → 115

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	299	3931
1	748	3868
2	2736	3625
3	4791	3625
4	5115	3625

prune103.0ms (0.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	115	4	119

Error

0.0b

Counts

119 → 4

Compiler

Compiled 2451 to 461 computations (81.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.8b	(/.f64 (*.f64 z y) a)
6.4b	(.f64 (/.f64 t a) (+.f64 z (/.f64 (.f64 z z) a)))
6.6b	(-.f64 (.f64 (/.f64 t a) (+.f64 y (/.f64 (.f64 z y) a))) (.f64 (/.f64 t a) (+.f64 z (/.f64 (.f64 z z) a))))
7.1b	(/.f64 (*.f64 z z) a)

rewrite211.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`frac-sub_binary64_15432`
22×	`flip3-+_binary64_15426` `frac-times_binary64_15433` `flip-+_binary64_15397` `associate-*r/_binary64_15365`
21×	`add-sqr-sqrt_binary64_15445`
19×	`add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459`
18×	`*-un-lft-identity_binary64_15423`
16×	`add-cube-cbrt_binary64_15458` `times-frac_binary64_15429`
13×	`associate-l/_binary64_15366` `associate-l*_binary64_15364`
6×	`pow1_binary64_15484` `add-log-exp_binary64_15462` `associate-/r*_binary64_15367`
5×	`div-exp_binary64_15474` `cbrt-undiv_binary64_15457`
4×	`prod-exp_binary64_15472` `cbrt-unprod_binary64_15456` `associate-r_binary64_15363`
3×	`div-inv_binary64_15420` `distribute-rgt-in_binary64_15373` `distribute-lft-in_binary64_15372`
2×	`frac-2neg_binary64_15434` `clear-num_binary64_15422` `associate-/l*_binary64_15368` `associate--l+_binary64_15360` `associate--r+_binary64_15359` `unswap-sqr_binary64_15391`
1×	`diff-log_binary64_15515` `sub-div_binary64_15430` `flip3--_binary64_15427` `sub-neg_binary64_15416` `flip--_binary64_15398` `cancel-sign-sub-inv_binary64_15389` `distribute-lft-out--_binary64_15375` `pow-prod-down_binary64_15494` `distribute-lft-out_binary64_15374` `*-commutative_binary64_15354`

Counts

4 → 124

Calls

4 calls:

14.0ms	(.f64 (/.f64 t a) (+.f64 z (/.f64 (.f64 z z) a)))
13.0ms	(-.f64 (.f64 (/.f64 t a) (+.f64 y (/.f64 (.f64 z y) a))) (.f64 (/.f64 t a) (+.f64 z (/.f64 (.f64 z z) a))))
5.0ms	(/.f64 (*.f64 z z) a)
5.0ms	(/.f64 (*.f64 z y) a)

Compiler

Compiled 5566 to 873 computations (84.3% saved)

series1.6s (14%)

Error

0.0b

Counts

4 → 50

Calls

4 calls:

996.0ms	(-.f64 (.f64 (/.f64 t a) (+.f64 y (/.f64 (.f64 z y) a))) (.f64 (/.f64 t a) (+.f64 z (/.f64 (.f64 z z) a))))
261.0ms	(.f64 (/.f64 t a) (+.f64 z (/.f64 (.f64 z z) a)))
158.0ms	(/.f64 (*.f64 z y) a)
105.0ms	(/.f64 (*.f64 z z) a)

Compiler

Compiled 3424 to 1972 computations (42.4% saved)

simplify158.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

452×	`associate-l_binary64_15364`
438×	`distribute-rgt-in_binary64_15373`
426×	`distribute-lft-in_binary64_15372`
261×	`associate-*l/_binary64_15366`
208×	`associate-*r/_binary64_15365`
155×	`associate-/l*_binary64_15368`
128×	`cancel-sign-sub-inv_binary64_15389`
125×	`*-commutative_binary64_15354`
121×	`distribute-rgt-neg-in_binary64_15381`
89×	`times-frac_binary64_15429`
86×	`distribute-lft-neg-in_binary64_15380`
85×	`sub-neg_binary64_15416`
60×	`associate-r_binary64_15363`
58×	`neg-sub0_binary64_15418`
54×	`neg-mul-1_binary64_15419`
43×	`associate-/r*_binary64_15367`
38×	`distribute-lft-neg-out_binary64_15382`
36×	`associate-/l/_binary64_15370`
34×	`associate-/r/_binary64_15369`
32×	`log-div_binary64_15510`
24×	`sqr-pow_binary64_15395`
22×	`distribute-neg-frac_binary64_15387`
18×	`+-commutative_binary64_15353`
16×	`cube-div_binary64_15452` `distribute-neg-in_binary64_15384`
12×	`unpow3_binary64_15489` `distribute-lft-out--_binary64_15375`
10×	`swap-sqr_binary64_15390`
8×	`cube-prod_binary64_15451`
7×	`log-prod_binary64_15509` `exp-prod_binary64_15475` `cube-mult_binary64_15453` `unswap-sqr_binary64_15391` `associate--l+_binary64_15360`
5×	`mul-1-neg_binary64_15415` `distribute-lft-out_binary64_15374` `associate--r+_binary64_15359`
4×	`exp-sum_binary64_15469` `difference-of-squares_binary64_15392` `distribute-rgt-out--_binary64_15377` `distribute-rgt-out_binary64_15376`
3×	`div-sub_binary64_15428` `unsub-neg_binary64_15417` `/-rgt-identity_binary64_15414`
2×	`log-pow_binary64_15512` `log-rec_binary64_15511` `unpow2_binary64_15488` `unpow1_binary64_15481` `cube-unmult_binary64_15460` `*-rgt-identity_binary64_15413` `distribute-rgt-neg-out_binary64_15383` `associate-+r-_binary64_15357`
1×	`pow-plus_binary64_15486` `div-exp_binary64_15474` `1-exp_binary64_15467` `*-lft-identity_binary64_15412` `pow-sqr_binary64_15396` `count-2_binary64_15371` `associate-+l-_binary64_15358` `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` `pow-base-0_binary64_15507` `unpow1/3_binary64_15490` `unpow1/2_binary64_15487` `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` `rec-exp_binary64_15473` `prod-exp_binary64_15472` `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-sqrt-square_binary64_15436` `rem-square-sqrt_binary64_15435` `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` `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--l-_binary64_15361` `associate-+l+_binary64_15356`

Counts

174 → 138

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	337	5765
1	1230	5363
2	4986	5363
3	5002	5363

prune156.0ms (1.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	138	4	142

Error

0.0b

Counts

142 → 4

Compiler

Compiled 5000 to 714 computations (85.7% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z)))
0.0b	(/.f64 y (-.f64 a z))
0.0b	(/.f64 z (-.f64 a z))
2.7b	(*.f64 t (-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z))))

rewrite308.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

143×	`*-un-lft-identity_binary64_15423`
125×	`add-sqr-sqrt_binary64_15445`
111×	`times-frac_binary64_15429`
63×	`cancel-sign-sub-inv_binary64_15389`
57×	`add-cube-cbrt_binary64_15458`
41×	`distribute-lft-out--_binary64_15375`
29×	`difference-of-squares_binary64_15392`
22×	`distribute-rgt-in_binary64_15373` `distribute-lft-in_binary64_15372`
18×	`associate-/r/_binary64_15369` `associate-r_binary64_15363`
11×	`flip3--_binary64_15427` `flip--_binary64_15398`
10×	`add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459` `associate-/r*_binary64_15367`
9×	`div-inv_binary64_15420`
6×	`pow1_binary64_15484` `add-log-exp_binary64_15462` `distribute-rgt-out--_binary64_15377` `associate-/l*_binary64_15368`
4×	`associate-*r/_binary64_15365`
3×	`sub-neg_binary64_15416` `associate-l_binary64_15364`
2×	`frac-sub_binary64_15432` `sub-div_binary64_15430` `div-exp_binary64_15474` `cbrt-undiv_binary64_15457` `frac-2neg_binary64_15434` `clear-num_binary64_15422`
1×	`pow-prod-down_binary64_15494` `prod-exp_binary64_15472` `cbrt-unprod_binary64_15456` `unswap-sqr_binary64_15391` `*-commutative_binary64_15354` `diff-log_binary64_15515`

Counts

4 → 204

Calls

4 calls:

37.0ms	(*.f64 t (-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z))))
34.0ms	(-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z)))
6.0ms	(/.f64 y (-.f64 a z))
6.0ms	(/.f64 z (-.f64 a z))

Compiler

Compiled 4902 to 1154 computations (76.5% saved)

series1.1s (10.2%)

Error

0.0b

Counts

4 → 91

Calls

4 calls:

492.0ms	(*.f64 t (-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z))))
292.0ms	(-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z)))
194.0ms	(/.f64 y (-.f64 a z))
81.0ms	(/.f64 z (-.f64 a z))

Compiler

Compiled 4565 to 2980 computations (34.7% saved)

simplify213.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

428×	`cancel-sign-sub-inv_binary64_15389`
363×	`sub-neg_binary64_15416`
262×	`associate-l_binary64_15364`
251×	`associate-r_binary64_15363`
220×	`*-commutative_binary64_15354`
198×	`neg-sub0_binary64_15418`
193×	`associate-/l*_binary64_15368`
161×	`neg-mul-1_binary64_15419`
149×	`associate-*l/_binary64_15366`
128×	`associate-*r/_binary64_15365`
124×	`+-commutative_binary64_15353`
122×	`exp-prod_binary64_15475` `times-frac_binary64_15429`
114×	`associate--r+_binary64_15359`
98×	`div-sub_binary64_15428`
84×	`associate--l+_binary64_15360`
78×	`unsub-neg_binary64_15417`
77×	`*-rgt-identity_binary64_15413`
73×	`distribute-rgt-in_binary64_15373`
72×	`*-lft-identity_binary64_15412`
66×	`distribute-lft-neg-out_binary64_15382` `associate-/r*_binary64_15367` `associate-+l+_binary64_15356`
62×	`distribute-lft-in_binary64_15372` `associate-/l/_binary64_15370`
57×	`associate-/r/_binary64_15369`
53×	`associate-+r+_binary64_15355`
51×	`distribute-rgt-neg-out_binary64_15383`
46×	`distribute-neg-in_binary64_15384`
39×	`log-prod_binary64_15509`
37×	`cube-prod_binary64_15451` `distribute-neg-frac_binary64_15387`
33×	`sqr-pow_binary64_15395`
29×	`distribute-rgt-neg-in_binary64_15381`
27×	`/-rgt-identity_binary64_15414`
21×	`exp-diff_binary64_15471`
18×	`exp-sum_binary64_15469`
17×	`unswap-sqr_binary64_15391`
13×	`cube-div_binary64_15452` `mul-1-neg_binary64_15415`
12×	`associate-+r-_binary64_15357`
11×	`distribute-lft-neg-in_binary64_15380`
10×	`log-div_binary64_15510` `unpow3_binary64_15489` `cube-unmult_binary64_15460` `+-rgt-identity_binary64_15408`
8×	`div0_binary64_15404`
7×	`difference-of-squares_binary64_15392` `swap-sqr_binary64_15390`
4×	`cube-mult_binary64_15453`
3×	`log-pow_binary64_15512` `unpow1/2_binary64_15487` `rem-sqrt-square_binary64_15436`
2×	`unpow2_binary64_15488` `pow-plus_binary64_15486` `unpow1_binary64_15481` `rem-3cbrt-lft_binary64_15448` `rem-square-sqrt_binary64_15435` `distribute-rgt-out_binary64_15376`
1×	`div-exp_binary64_15474` `1-exp_binary64_15467` `exp-1-e_binary64_15466` `remove-double-neg_binary64_15411` `*-inverses_binary64_15403` `pow-sqr_binary64_15396` `distribute-rgt-out--_binary64_15377` `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-rec_binary64_15511` `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` `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` `cube-neg_binary64_15450` `rem-3cbrt-rft_binary64_15449` `rem-cbrt-cube_binary64_15447` `rem-cube-cbrt_binary64_15446` `sqr-abs_binary64_15438` `sqr-neg_binary64_15437` `sub0-neg_binary64_15410` `--rgt-identity_binary64_15409` `+-lft-identity_binary64_15407` `mul0-rgt_binary64_15406` `mul0-lft_binary64_15405` `+-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` `distribute-lft-out--_binary64_15375` `distribute-lft-out_binary64_15374` `count-2_binary64_15371` `associate--l-_binary64_15361` `associate-+l-_binary64_15358`

Counts

295 → 185

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	398	6563
1	1064	6431
2	3924	5963
3	4770	5963
4	4981	5963

prune158.0ms (1.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	185	0	185
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	185	4	189

Error

0.0b

Counts

189 → 4

Compiler

Compiled 3934 to 722 computations (81.6% saved)

regimes962.0ms (8.6%)

Accuracy

Total 0.5b remaining (99.6%)

Threshold costs 0.5b (99.6%)

Compiler

Compiled 6400 to 5176 computations (19.1% saved)

bsearch3.0ms (0%)

Compiler: Compiled 9 to 9 computations (0% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64_15353`
4×	`*-commutative_binary64_15354`
3×	`sub-neg_binary64_15416`
1×	`1-exp_binary64_15467` `neg-mul-1_binary64_15419` `neg-sub0_binary64_15418` `/-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	26	84
1	37	84
2	42	84
3	44	84
4	45	84
5	44	84

end0.0ms (0%)

sample1.6s (13.9%)

Algorithm

1×

intervals

Results

317.0ms	7998×	body	128	valid
26.0ms	729×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 1000 to 773 computations (22.7% saved)

Details

analyze1.2s (10.7%)

sample25.0ms (0.2%)

simplify186.0ms (1.7%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite94.0ms (0.8%)

series1.3s (11.7%)

simplify115.0ms (1%)

prune94.0ms (0.8%)

localize9.0ms (0.1%)

rewrite111.0ms (1%)

series1.3s (12%)

simplify140.0ms (1.3%)

prune103.0ms (0.9%)

localize15.0ms (0.1%)

rewrite211.0ms (1.9%)

series1.6s (14%)

simplify158.0ms (1.4%)

prune156.0ms (1.4%)

localize9.0ms (0.1%)

rewrite308.0ms (2.7%)

series1.1s (10.2%)

simplify213.0ms (1.9%)

prune158.0ms (1.4%)

regimes962.0ms (8.6%)

bsearch3.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample1.6s (13.9%)

Profiling