Details

analyze567.0ms (6.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

795×	`sub-neg_binary64_11665`
682×	`unsub-neg_binary64_11666`
574×	`+-commutative_binary64_11602`
540×	`neg-sub0_binary64_11667`
481×	`distribute-neg-in_binary64_11633`
371×	`neg-mul-1_binary64_11668`
370×	`distribute-neg-out_binary64_11634`
283×	`distribute-rgt-neg-in_binary64_11630`
272×	`distribute-lft-neg-in_binary64_11629`
263×	`remove-double-neg_binary64_11660`
224×	`*-commutative_binary64_11603`
204×	`distribute-rgt-out--_binary64_11626`
190×	`associate-+l+_binary64_11605`
188×	`associate-+l-_binary64_11607`
183×	`associate--r+_binary64_11608`
156×	`associate--l+_binary64_11609`
155×	`associate-+r-_binary64_11606`
151×	`distribute-lft-neg-out_binary64_11631`
141×	`distribute-lft-out--_binary64_11624`
139×	`associate-+r+_binary64_11604`
134×	`cancel-sign-sub_binary64_11637`
130×	`distribute-rgt-in_binary64_11622`
124×	`cancel-sign-sub-inv_binary64_11638`
110×	`associate-l_binary64_11613`
100×	`mul-1-neg_binary64_11664`
93×	`*-lft-identity_binary64_11661`
86×	`distribute-rgt-neg-out_binary64_11632`
83×	`distribute-rgt-out_binary64_11625`
68×	`distribute-lft-in_binary64_11621` `associate--r-_binary64_11611`
67×	`associate-r_binary64_11612`
64×	`associate--l-_binary64_11610`
50×	`sub0-neg_binary64_11659`
40×	`distribute-lft-out_binary64_11623`
29×	`+-rgt-identity_binary64_11657`
24×	`log-prod_binary64_11758`
19×	`--rgt-identity_binary64_11658`
17×	`*-rgt-identity_binary64_11662`
12×	`mul0-rgt_binary64_11655` `mul0-lft_binary64_11654`
9×	`distribute-rgt1-in_binary64_11628`
1×	`1-exp_binary64_11716`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `log-E_binary64_11762` `log-pow_binary64_11761` `log-rec_binary64_11760` `log-div_binary64_11759` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `unpow3_binary64_11738` `unpow2_binary64_11737` `unpow1/2_binary64_11736` `pow-plus_binary64_11735` `exp-to-pow_binary64_11734` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-lft-sqr_binary64_11727` `exp-cbrt_binary64_11726` `exp-sqrt_binary64_11725` `exp-prod_binary64_11724` `div-exp_binary64_11723` `rec-exp_binary64_11722` `prod-exp_binary64_11721` `exp-diff_binary64_11720` `exp-neg_binary64_11719` `exp-sum_binary64_11718` `e-exp-1_binary64_11717` `exp-1-e_binary64_11715` `exp-0_binary64_11714` `rem-log-exp_binary64_11713` `rem-exp-log_binary64_11712` `cube-unmult_binary64_11709` `cube-mult_binary64_11702` `cube-div_binary64_11701` `cube-prod_binary64_11700` `cube-neg_binary64_11699` `rem-3cbrt-rft_binary64_11698` `rem-3cbrt-lft_binary64_11697` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `rem-sqrt-square_binary64_11685` `rem-square-sqrt_binary64_11684` `times-frac_binary64_11678` `div-sub_binary64_11677` `/-rgt-identity_binary64_11663` `+-lft-identity_binary64_11656` `div0_binary64_11653` `-inverses_binary64_11652` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `remove-double-div_binary64_11648` `pow-sqr_binary64_11645` `sqr-pow_binary64_11644` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `unswap-sqr_binary64_11640` `swap-sqr_binary64_11639` `distribute-neg-frac_binary64_11636` `distribute-frac-neg_binary64_11635` `distribute-lft1-in_binary64_11627` `count-2_binary64_11620` `associate-/l/_binary64_11619` `associate-/r/_binary64_11618` `associate-/l_binary64_11617` `associate-/r_binary64_11616` `associate-l/_binary64_11615` `associate-*r/_binary64_11614`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	72
1	75	72
2	228	72
3	741	72
4	1924	72
5	2766	72
6	3683	72
7	3978	72
8	4187	72
9	4073	72
10	4011	72
11	4689	72
12	4991	72
13	4949	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%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
10.1%	64.7%	25.1%	8
17.2%	32.8%	50.1%	9
23%	26.9%	50.1%	10
26.8%	23.1%	50.1%	11
31.6%	18.3%	50.1%	12
35.2%	14.7%	50.1%	13
37.5%	12.4%	50.1%	14

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample25.0ms (0.3%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify169.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

763×	`associate--r+_binary64_11608`
658×	`associate--r-_binary64_11611`
630×	`associate--l+_binary64_11609`
490×	`associate--l-_binary64_11610`
440×	`associate-+l-_binary64_11607`
374×	`unsub-neg_binary64_11666`
316×	`distribute-neg-out_binary64_11634`
312×	`cancel-sign-sub-inv_binary64_11638`
306×	`sub-neg_binary64_11665`
258×	`distribute-rgt-in_binary64_11622`
238×	`distribute-neg-in_binary64_11633`
156×	`+-commutative_binary64_11602`
147×	`associate-+r+_binary64_11604`
143×	`associate-+l+_binary64_11605`
106×	`distribute-lft-in_binary64_11621`
104×	`distribute-rgt-neg-in_binary64_11630`
97×	`associate-l_binary64_11613`
89×	`associate-+r-_binary64_11606`
81×	`neg-sub0_binary64_11667`
78×	`neg-mul-1_binary64_11668`
77×	`distribute-lft-neg-out_binary64_11631` `*-commutative_binary64_11603`
62×	`associate-r_binary64_11612`
61×	`distribute-lft-neg-in_binary64_11629`
42×	`distribute-rgt-neg-out_binary64_11632`
40×	`cancel-sign-sub_binary64_11637`
36×	`sub0-neg_binary64_11659`
17×	`remove-double-neg_binary64_11660` `distribute-rgt1-in_binary64_11628`
16×	`distribute-rgt-out--_binary64_11626`
15×	`*-lft-identity_binary64_11661`
13×	`+-rgt-identity_binary64_11657` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `distribute-lft-out--_binary64_11624`
12×	`*-rgt-identity_binary64_11662`
9×	`--rgt-identity_binary64_11658`
8×	`log-prod_binary64_11758`
6×	`distribute-rgt-out_binary64_11625`
2×	`mul-1-neg_binary64_11664` `+-lft-identity_binary64_11656` `distribute-lft-out_binary64_11623`
1×	`1-exp_binary64_11716`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `log-E_binary64_11762` `log-pow_binary64_11761` `log-rec_binary64_11760` `log-div_binary64_11759` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `unpow3_binary64_11738` `unpow2_binary64_11737` `unpow1/2_binary64_11736` `pow-plus_binary64_11735` `exp-to-pow_binary64_11734` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-lft-sqr_binary64_11727` `exp-cbrt_binary64_11726` `exp-sqrt_binary64_11725` `exp-prod_binary64_11724` `div-exp_binary64_11723` `rec-exp_binary64_11722` `prod-exp_binary64_11721` `exp-diff_binary64_11720` `exp-neg_binary64_11719` `exp-sum_binary64_11718` `e-exp-1_binary64_11717` `exp-1-e_binary64_11715` `exp-0_binary64_11714` `rem-log-exp_binary64_11713` `rem-exp-log_binary64_11712` `cube-unmult_binary64_11709` `cube-mult_binary64_11702` `cube-div_binary64_11701` `cube-prod_binary64_11700` `cube-neg_binary64_11699` `rem-3cbrt-rft_binary64_11698` `rem-3cbrt-lft_binary64_11697` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `rem-sqrt-square_binary64_11685` `rem-square-sqrt_binary64_11684` `times-frac_binary64_11678` `div-sub_binary64_11677` `/-rgt-identity_binary64_11663` `div0_binary64_11653` `-inverses_binary64_11652` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `remove-double-div_binary64_11648` `pow-sqr_binary64_11645` `sqr-pow_binary64_11644` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `unswap-sqr_binary64_11640` `swap-sqr_binary64_11639` `distribute-neg-frac_binary64_11636` `distribute-frac-neg_binary64_11635` `distribute-lft1-in_binary64_11627` `count-2_binary64_11620` `associate-/l/_binary64_11619` `associate-/r/_binary64_11618` `associate-/l_binary64_11617` `associate-/r_binary64_11616` `associate-l/_binary64_11615` `associate-*r/_binary64_11614`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	25	18
2	73	18
3	229	18
4	556	18
5	1278	18
6	1440	18
7	1609	18
8	1711	18
9	1737	18
10	1764	18
11	1764	18
12	1910	18
13	1850	18
14	1850	18
15	1850	18
16	4710	18
17	4948	18

prune6.0ms (0.1%)

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

0.1b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
0.0b	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
0.1b	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
0.2b	(*.f64 (+.f64 y 1/2) (log.f64 y))

rewrite133.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-log-exp_binary64_11711` `*-un-lft-identity_binary64_11672`
15×	`add-sqr-sqrt_binary64_11694`
12×	`log-prod_binary64_11758`
11×	`add-cube-cbrt_binary64_11707`
7×	`pow1_binary64_11733`
6×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621` `diff-log_binary64_11764` `associate--r+_binary64_11608`
5×	`cancel-sign-sub-inv_binary64_11638`
4×	`associate-l_binary64_11613` `associate-r_binary64_11612` `sum-log_binary64_11763`
3×	`distribute-lft-out_binary64_11623` `sub-neg_binary64_11665`
2×	`flip3-+_binary64_11675` `associate-*l/_binary64_11615` `flip-+_binary64_11646` `associate-+l-_binary64_11607` `associate-+l+_binary64_11605` `flip3--_binary64_11676` `flip--_binary64_11647` `distribute-lft-out--_binary64_11624`
1×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `unswap-sqr_binary64_11640` `log-pow_binary64_11761` `*-commutative_binary64_11603` `+-commutative_binary64_11602` `difference-of-squares_binary64_11641` `associate--l-_binary64_11610` `associate--l+_binary64_11609`

Counts

4 → 83

Calls

4 calls:

8.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
7.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))
6.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
4.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))

Compiler

Compiled 1701 to 938 computations (44.9% saved)

series1.5s (16.9%)

Error

0.1b

Counts

4 → 44

Calls

4 calls:

602.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
386.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
364.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
117.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

Compiler

Compiled 1495 to 1049 computations (29.8% saved)

simplify185.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

475×	`exp-sum_binary64_11718`
421×	`sub-neg_binary64_11665`
343×	`associate-+l+_binary64_11605`
309×	`exp-diff_binary64_11720`
276×	`associate-+r+_binary64_11604`
226×	`*-commutative_binary64_11603`
224×	`unsub-neg_binary64_11666`
184×	`cancel-sign-sub-inv_binary64_11638`
181×	`+-commutative_binary64_11602`
175×	`exp-prod_binary64_11724`
151×	`associate--r+_binary64_11608`
146×	`associate--l+_binary64_11609`
140×	`neg-sub0_binary64_11667`
135×	`neg-mul-1_binary64_11668`
113×	`distribute-rgt-neg-in_binary64_11630`
112×	`distribute-rgt-in_binary64_11622`
111×	`associate-+l-_binary64_11607`
100×	`distribute-lft-in_binary64_11621`
90×	`associate-+r-_binary64_11606`
85×	`distribute-neg-in_binary64_11633` `distribute-lft-neg-in_binary64_11629`
77×	`cancel-sign-sub_binary64_11637`
72×	`sqr-pow_binary64_11644` `associate-l_binary64_11613`
63×	`associate-r_binary64_11612`
61×	`log-prod_binary64_11758`
48×	`cube-prod_binary64_11700`
46×	`distribute-lft-neg-out_binary64_11631`
42×	`div-exp_binary64_11723` `distribute-neg-out_binary64_11634`
38×	`div-sub_binary64_11677`
35×	`prod-exp_binary64_11721`
34×	`exp-to-pow_binary64_11734`
30×	`+-rgt-identity_binary64_11657` `associate--r-_binary64_11611`
29×	`times-frac_binary64_11678` `distribute-rgt-neg-out_binary64_11632`
26×	`unpow3_binary64_11738` `sub0-neg_binary64_11659`
25×	`log-pow_binary64_11761` `distribute-rgt-out_binary64_11625`
24×	`associate--l-_binary64_11610`
21×	`difference-of-squares_binary64_11641`
17×	`remove-double-neg_binary64_11660`
16×	`log-div_binary64_11759`
15×	`cube-neg_binary64_11699` `*-rgt-identity_binary64_11662` `swap-sqr_binary64_11639`
14×	`associate-/l*_binary64_11617`
13×	`sqr-neg_binary64_11686` `*-lft-identity_binary64_11661`
12×	`exp-neg_binary64_11719` `unswap-sqr_binary64_11640`
10×	`associate-/l/_binary64_11619` `associate-*l/_binary64_11615`
8×	`mul-1-neg_binary64_11664` `--rgt-identity_binary64_11658`
7×	`cube-mult_binary64_11702` `distribute-rgt-out--_binary64_11626` `associate-/r*_binary64_11616`
6×	`unpow1/2_binary64_11736` `pow-sqr_binary64_11645` `distribute-lft-out_binary64_11623`
5×	`pow-plus_binary64_11735` `rem-sqrt-square_binary64_11685`
4×	`count-2_binary64_11620` `associate-/r/_binary64_11618`
3×	`rem-exp-log_binary64_11712` `cube-unmult_binary64_11709`
2×	`log-rec_binary64_11760` `cube-div_binary64_11701`
1×	`log-E_binary64_11762` `unpow-1_binary64_11729` `rec-exp_binary64_11722` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-3cbrt-lft_binary64_11697` `rem-square-sqrt_binary64_11684` `+-inverses_binary64_11651` `distribute-frac-neg_binary64_11635` `distribute-rgt1-in_binary64_11628` `distribute-lft1-in_binary64_11627` `associate-*r/_binary64_11614`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `unpow2_binary64_11737` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `exp-lft-cube_binary64_11728` `exp-lft-sqr_binary64_11727` `exp-cbrt_binary64_11726` `exp-sqrt_binary64_11725` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `rem-log-exp_binary64_11713` `rem-3cbrt-rft_binary64_11698` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `/-rgt-identity_binary64_11663` `+-lft-identity_binary64_11656` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `div0_binary64_11653` `*-inverses_binary64_11652` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `remove-double-div_binary64_11648` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `distribute-neg-frac_binary64_11636` `distribute-lft-out--_binary64_11624`

Counts

127 → 109

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	193	2032
1	503	1959
2	1510	1918
3	3462	1918
4	4444	1914
5	4898	1914
6	4993	1914
7	4804	1914

prune126.0ms (1.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	5	110

Error

0.0b

Counts

110 → 5

Compiler

Compiled 1857 to 970 computations (47.8% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(+.f64 (*.f64 (log.f64 y) (+.f64 1/2 y)) (-.f64 z y))
0.2b	(*.f64 (log.f64 y) (+.f64 1/2 y))

rewrite80.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`add-log-exp_binary64_11711` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
6×	`associate-*r/_binary64_11614`
5×	`pow1_binary64_11733` `add-cube-cbrt_binary64_11707`
4×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708` `flip3-+_binary64_11675` `flip-+_binary64_11646` `associate-l_binary64_11613` `associate-r_binary64_11612` `frac-add_binary64_11680` `associate-+r+_binary64_11604`
3×	`cancel-sign-sub-inv_binary64_11638`
2×	`distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621` `sum-log_binary64_11763` `flip3--_binary64_11676` `flip--_binary64_11647` `associate-+l+_binary64_11605`
1×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `unswap-sqr_binary64_11640` `log-pow_binary64_11761` `distribute-lft-out_binary64_11623` `*-commutative_binary64_11603` `diff-log_binary64_11764` `associate-+r-_binary64_11606` `sub-neg_binary64_11665` `+-commutative_binary64_11602`

Counts

2 → 47

Calls

2 calls:

11.0ms	(+.f64 (*.f64 (log.f64 y) (+.f64 1/2 y)) (-.f64 z y))
7.0ms	(*.f64 (log.f64 y) (+.f64 1/2 y))

Compiler

Compiled 1031 to 512 computations (50.3% saved)

series512.0ms (5.7%)

Error

0.0b

Counts

2 → 16

Calls

2 calls:

382.0ms	(+.f64 (*.f64 (log.f64 y) (+.f64 1/2 y)) (-.f64 z y))
115.0ms	(*.f64 (log.f64 y) (+.f64 1/2 y))

Compiler

Compiled 586 to 423 computations (27.8% saved)

simplify98.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

366×	`*-commutative_binary64_11603`
284×	`exp-sum_binary64_11718` `associate-+l+_binary64_11605`
269×	`associate-+r+_binary64_11604`
236×	`associate--l+_binary64_11609`
233×	`cancel-sign-sub-inv_binary64_11638`
199×	`sub-neg_binary64_11665`
178×	`unsub-neg_binary64_11666`
169×	`distribute-lft-neg-out_binary64_11631`
167×	`distribute-rgt-neg-out_binary64_11632`
163×	`distribute-rgt-in_binary64_11622`
150×	`distribute-lft-in_binary64_11621`
143×	`exp-prod_binary64_11724`
138×	`exp-diff_binary64_11720` `+-commutative_binary64_11602`
132×	`associate--r-_binary64_11611`
129×	`distribute-neg-in_binary64_11633`
115×	`distribute-rgt-out_binary64_11625`
114×	`distribute-rgt-neg-in_binary64_11630`
109×	`associate-l_binary64_11613`
94×	`neg-sub0_binary64_11667` `distribute-lft-neg-in_binary64_11629`
87×	`neg-mul-1_binary64_11668` `associate-r_binary64_11612`
68×	`associate--r+_binary64_11608`
66×	`log-prod_binary64_11758`
50×	`distribute-rgt-out--_binary64_11626`
49×	`associate--l-_binary64_11610`
48×	`sqr-pow_binary64_11644` `associate-+r-_binary64_11606`
38×	`unswap-sqr_binary64_11640`
37×	`associate-+l-_binary64_11607`
33×	`distribute-neg-out_binary64_11634`
28×	`exp-to-pow_binary64_11734`
25×	`distribute-lft-out_binary64_11623`
24×	`cube-prod_binary64_11700`
22×	`+-rgt-identity_binary64_11657`
17×	`associate-/l*_binary64_11617`
15×	`log-div_binary64_11759` `div-exp_binary64_11723` `-lft-identity_binary64_11661` `sub0-neg_binary64_11659` `associate-/r_binary64_11616`
13×	`log-pow_binary64_11761` `remove-double-neg_binary64_11660`
12×	`unpow3_binary64_11738`
10×	`swap-sqr_binary64_11639`
9×	`*-rgt-identity_binary64_11662`
8×	`prod-exp_binary64_11721` `difference-of-squares_binary64_11641`
7×	`mul-1-neg_binary64_11664` `pow-sqr_binary64_11645`
6×	`exp-neg_binary64_11719`
5×	`unpow1/2_binary64_11736`
4×	`cube-mult_binary64_11702` `div-sub_binary64_11677` `distribute-lft-out--_binary64_11624` `associate-/l/_binary64_11619` `associate-/r/_binary64_11618` `associate-*r/_binary64_11614`
3×	`log-rec_binary64_11760` `pow-plus_binary64_11735` `cube-neg_binary64_11699` `sqr-neg_binary64_11686` `distribute-rgt1-in_binary64_11628` `associate-*l/_binary64_11615`
2×	`rec-exp_binary64_11722` `cancel-sign-sub_binary64_11637` `distribute-lft1-in_binary64_11627`
1×	`log-E_binary64_11762` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-exp-log_binary64_11712` `cube-unmult_binary64_11709` `--rgt-identity_binary64_11658` `+-inverses_binary64_11651` `distribute-frac-neg_binary64_11635` `count-2_binary64_11620`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `unpow2_binary64_11737` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-lft-sqr_binary64_11727` `exp-cbrt_binary64_11726` `exp-sqrt_binary64_11725` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `rem-log-exp_binary64_11713` `cube-div_binary64_11701` `rem-3cbrt-rft_binary64_11698` `rem-3cbrt-lft_binary64_11697` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `rem-sqrt-square_binary64_11685` `rem-square-sqrt_binary64_11684` `times-frac_binary64_11678` `/-rgt-identity_binary64_11663` `+-lft-identity_binary64_11656` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `div0_binary64_11653` `*-inverses_binary64_11652` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `remove-double-div_binary64_11648` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `distribute-neg-frac_binary64_11636`

Counts

63 → 37

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	133	1107
1	418	1047
2	1418	1010
3	2726	1010
4	4667	1006
5	5027	1006

prune49.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	36	1	37
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	36	6	42

Error

0.0b

Counts

42 → 6

Compiler

Compiled 774 to 379 computations (51% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2))
0.3b	(+.f64 (.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite156.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`*-un-lft-identity_binary64_11672`
12×	`cbrt-prod_binary64_11703` `log-prod_binary64_11758` `associate-+r+_binary64_11604`
11×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694`
10×	`associate-*l/_binary64_11615`
9×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
6×	`add-log-exp_binary64_11711` `flip3-+_binary64_11675` `flip-+_binary64_11646` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621`
4×	`frac-add_binary64_11680` `associate-l_binary64_11613`
3×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705`
2×	`pow1/3_binary64_11754` `distribute-lft-out_binary64_11623`
1×	`sum-log_binary64_11763` `+-commutative_binary64_11602` `associate-r_binary64_11612` `*-commutative_binary64_11603`

Counts

4 → 71

Calls

4 calls:

14.0ms	(+.f64 (.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))
8.0ms	(.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2368 to 1316 computations (44.4% saved)

series827.0ms (9.2%)

Error

Counts

4 → 16

Calls

4 calls:

352.0ms	(+.f64 (.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))
218.0ms	(.f64 (+.f64 1/2 y) (.f64 (log.f64 (cbrt.f64 y)) 2))
117.0ms	(cbrt.f64 y)
116.0ms	(cbrt.f64 y)

Compiler

Compiled 1074 to 849 computations (20.9% saved)

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

917×	`distribute-rgt-in_binary64_11622`
888×	`distribute-lft-in_binary64_11621`
218×	`associate-r_binary64_11612`
206×	`associate-l_binary64_11613`
141×	`distribute-lft-out_binary64_11623`
137×	`*-commutative_binary64_11603`
134×	`cancel-sign-sub-inv_binary64_11638`
123×	`distribute-rgt-out_binary64_11625`
80×	`distribute-rgt-neg-in_binary64_11630`
70×	`distribute-lft-neg-in_binary64_11629`
49×	`unswap-sqr_binary64_11640`
48×	`log-prod_binary64_11758`
46×	`+-commutative_binary64_11602`
37×	`sqr-pow_binary64_11644`
32×	`distribute-lft-neg-out_binary64_11631`
30×	`distribute-rgt-out--_binary64_11626`
29×	`sub-neg_binary64_11665` `swap-sqr_binary64_11639`
27×	`cube-prod_binary64_11700`
25×	`exp-prod_binary64_11724`
24×	`distribute-lft-out--_binary64_11624`
23×	`distribute-neg-in_binary64_11633`
22×	`distribute-rgt-neg-out_binary64_11632`
20×	`associate-+l+_binary64_11605`
19×	`neg-sub0_binary64_11667` `associate-+r+_binary64_11604`
18×	`neg-mul-1_binary64_11668`
11×	`exp-sum_binary64_11718`
8×	`log-pow_binary64_11761` `unpow3_binary64_11738` `distribute-rgt1-in_binary64_11628`
5×	`exp-to-pow_binary64_11734` `pow-sqr_binary64_11645`
4×	`log-div_binary64_11759` `pow-plus_binary64_11735` `cube-mult_binary64_11702` `distribute-lft1-in_binary64_11627`
3×	`cube-unmult_binary64_11709` `rem-sqrt-square_binary64_11685`
2×	`log-rec_binary64_11760` `unpow1/3_binary64_11739` `exp-lft-sqr_binary64_11727` `prod-exp_binary64_11721` `mul-1-neg_binary64_11664` `difference-of-squares_binary64_11641` `associate-/r*_binary64_11616` `associate-+l-_binary64_11607` `associate-+r-_binary64_11606`
1×	`1-exp_binary64_11716` `rem-3cbrt-lft_binary64_11697` `unsub-neg_binary64_11666` `count-2_binary64_11620`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `log-E_binary64_11762` `pow-base-0_binary64_11756` `unpow2_binary64_11737` `unpow1/2_binary64_11736` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `exp-sqrt_binary64_11725` `div-exp_binary64_11723` `rec-exp_binary64_11722` `exp-diff_binary64_11720` `exp-neg_binary64_11719` `e-exp-1_binary64_11717` `exp-1-e_binary64_11715` `exp-0_binary64_11714` `rem-log-exp_binary64_11713` `rem-exp-log_binary64_11712` `cube-div_binary64_11701` `cube-neg_binary64_11699` `rem-3cbrt-rft_binary64_11698` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `rem-square-sqrt_binary64_11684` `times-frac_binary64_11678` `div-sub_binary64_11677` `/-rgt-identity_binary64_11663` `-rgt-identity_binary64_11662` `-lft-identity_binary64_11661` `remove-double-neg_binary64_11660` `sub0-neg_binary64_11659` `--rgt-identity_binary64_11658` `+-rgt-identity_binary64_11657` `+-lft-identity_binary64_11656` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `div0_binary64_11653` `-inverses_binary64_11652` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `remove-double-div_binary64_11648` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `cancel-sign-sub_binary64_11637` `distribute-neg-frac_binary64_11636` `distribute-frac-neg_binary64_11635` `distribute-neg-out_binary64_11634` `associate-/l/_binary64_11619` `associate-/r/_binary64_11618` `associate-/l_binary64_11617` `associate-l/_binary64_11615` `associate-r/_binary64_11614` `associate--r-_binary64_11611` `associate--l-_binary64_11610` `associate--l+_binary64_11609` `associate--r+_binary64_11608`

Counts

87 → 63

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	164	1699
1	463	1409
2	1644	1205
3	5664	1205

prune95.0ms (1.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	62	1	63
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	62	7	69

Error

Counts

69 → 7

Compiler

Compiled 1711 to 1004 computations (41.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3))))
0.1b	(+.f64 (-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))) y)
0.3b	(.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))
0.4b	(*.f64 -1/3 (neg.f64 (log.f64 y)))

rewrite161.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`associate-r_binary64_11612`
13×	`pow1_binary64_11733` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
11×	`add-exp-log_binary64_11710` `add-log-exp_binary64_11711` `add-cbrt-cube_binary64_11708` `add-cube-cbrt_binary64_11707`
6×	`log-prod_binary64_11758` `distribute-neg-in_binary64_11633`
5×	`distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621`
4×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `distribute-rgt-neg-out_binary64_11632` `associate-l_binary64_11613` `distribute-rgt-neg-in_binary64_11630` `distribute-lft-neg-in_binary64_11629`
3×	`associate-+l+_binary64_11605`
2×	`log-pow_binary64_11761` `-commutative_binary64_11603` `flip3-+_binary64_11675` `associate-r/_binary64_11614` `flip-+_binary64_11646` `diff-log_binary64_11764` `sum-log_binary64_11763` `sub-neg_binary64_11665` `cancel-sign-sub-inv_binary64_11638` `cancel-sign-sub_binary64_11637` `associate--r+_binary64_11608`
1×	`unswap-sqr_binary64_11640` `neg-mul-1_binary64_11668` `distribute-lft-neg-out_binary64_11631` `distribute-lft-out_binary64_11623` `associate-+l-_binary64_11607` `+-commutative_binary64_11602` `flip3--_binary64_11676` `flip--_binary64_11647`

Counts

4 → 89

Calls

4 calls:

8.0ms	(.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))
7.0ms	(*.f64 -1/3 (neg.f64 (log.f64 y)))
6.0ms	(+.f64 (-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))) y)
3.0ms	(-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3))))

Compiler

Compiled 2272 to 1415 computations (37.7% saved)

series1.1s (11.7%)

Error

Counts

4 → 30

Calls

4 calls:

386.0ms	(-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3))))
384.0ms	(+.f64 (-.f64 x (.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))) y)
137.0ms	(.f64 (.f64 -1/3 (neg.f64 (log.f64 y))) (+.f64 3/2 (*.f64 y 3)))
113.0ms	(*.f64 -1/3 (neg.f64 (log.f64 y)))

Compiler

Compiled 1133 to 827 computations (27% saved)

simplify108.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

879×	`distribute-rgt-in_binary64_11622`
310×	`cancel-sign-sub-inv_binary64_11638`
286×	`distribute-rgt-neg-out_binary64_11632`
285×	`distribute-lft-neg-out_binary64_11631`
247×	`exp-prod_binary64_11724`
234×	`distribute-rgt-neg-in_binary64_11630`
212×	`associate-l_binary64_11613`
187×	`distribute-lft-neg-in_binary64_11629`
174×	`associate-r_binary64_11612`
150×	`*-commutative_binary64_11603`
127×	`log-prod_binary64_11758`
114×	`neg-sub0_binary64_11667`
98×	`neg-mul-1_binary64_11668`
95×	`sub-neg_binary64_11665`
84×	`distribute-lft-in_binary64_11621`
67×	`distribute-neg-in_binary64_11633`
58×	`+-commutative_binary64_11602`
49×	`distribute-rgt-out_binary64_11625`
48×	`exp-to-pow_binary64_11734`
45×	`unsub-neg_binary64_11666`
42×	`cube-prod_binary64_11700`
37×	`exp-sum_binary64_11718`
32×	`sqr-pow_binary64_11644`
27×	`swap-sqr_binary64_11639`
22×	`associate-+r+_binary64_11604`
21×	`associate-+l+_binary64_11605`
20×	`distribute-rgt-out--_binary64_11626`
17×	`unpow3_binary64_11738` `exp-diff_binary64_11720` `remove-double-neg_binary64_11660` `cancel-sign-sub_binary64_11637` `associate--r+_binary64_11608`
15×	`distribute-neg-out_binary64_11634`
13×	`distribute-lft-out_binary64_11623`
12×	`-rgt-identity_binary64_11662` `-lft-identity_binary64_11661`
11×	`unswap-sqr_binary64_11640`
9×	`associate--l+_binary64_11609`
8×	`mul-1-neg_binary64_11664`
7×	`associate-+l-_binary64_11607`
6×	`exp-lft-cube_binary64_11728` `cube-mult_binary64_11702` `associate-+r-_binary64_11606`
5×	`sqr-neg_binary64_11686`
4×	`log-div_binary64_11759` `cube-unmult_binary64_11709` `cube-neg_binary64_11699` `times-frac_binary64_11678` `difference-of-squares_binary64_11641`
3×	`log-pow_binary64_11761` `unpow1/3_binary64_11739` `unpow1/2_binary64_11736`
2×	`log-rec_binary64_11760` `div-exp_binary64_11723` `prod-exp_binary64_11721` `exp-neg_binary64_11719` `div-sub_binary64_11677` `+-rgt-identity_binary64_11657` `pow-sqr_binary64_11645` `distribute-lft1-in_binary64_11627` `associate--r-_binary64_11611`
1×	`1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-exp-log_binary64_11712` `sub0-neg_binary64_11659` `+-inverses_binary64_11651` `distribute-frac-neg_binary64_11635` `distribute-rgt1-in_binary64_11628` `distribute-lft-out--_binary64_11624` `count-2_binary64_11620` `associate-/l_binary64_11617` `associate-l/_binary64_11615` `associate-*r/_binary64_11614` `associate--l-_binary64_11610`
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_11935` `erf-erfc_binary64_11934` `erf-odd_binary64_11933` `if-if-and-not_binary64_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `not-gte_binary64_11924` `not-lte_binary64_11923` `not-gt_binary64_11922` `not-lt_binary64_11921` `gte-same_binary64_11920` `lte-same_binary64_11919` `gt-same_binary64_11918` `lt-same_binary64_11917` `sinh---cosh_binary64_11864` `sinh-+-cosh_binary64_11863` `sinh-cosh_binary64_11862` `tanh-def-c_binary64_11861` `tanh-def-b_binary64_11860` `tanh-def-a_binary64_11859` `cosh-def_binary64_11858` `sinh-def_binary64_11857` `tan-neg_binary64_11804` `cos-neg_binary64_11803` `sin-neg_binary64_11802` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `hang-m-tan_binary64_11798` `hang-p-tan_binary64_11797` `hang-m0-tan_binary64_11796` `hang-p0-tan_binary64_11795` `hang-0m-tan_binary64_11794` `hang-0p-tan_binary64_11793` `tan-+PI/2_binary64_11792` `tan-+PI_binary64_11791` `tan-PI_binary64_11790` `tan-PI/3_binary64_11789` `tan-PI/4_binary64_11788` `tan-PI/6_binary64_11787` `cos-+PI/2_binary64_11786` `cos-+PI_binary64_11785` `cos-PI_binary64_11784` `cos-PI/2_binary64_11783` `cos-PI/3_binary64_11782` `cos-PI/4_binary64_11781` `cos-PI/6_binary64_11780` `sin-+PI/2_binary64_11779` `sin-+PI_binary64_11778` `sin-PI_binary64_11777` `sin-PI/2_binary64_11776` `sin-PI/3_binary64_11775` `sin-PI/4_binary64_11774` `sin-PI/6_binary64_11773` `sub-1-sin_binary64_11772` `sub-1-cos_binary64_11771` `-1-add-sin_binary64_11770` `-1-add-cos_binary64_11769` `1-sub-sin_binary64_11768` `1-sub-cos_binary64_11767` `cos-sin-sum_binary64_11766` `log-E_binary64_11762` `pow-base-0_binary64_11756` `unpow2_binary64_11737` `pow-plus_binary64_11735` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `unpow-1_binary64_11729` `exp-lft-sqr_binary64_11727` `exp-cbrt_binary64_11726` `exp-sqrt_binary64_11725` `rec-exp_binary64_11722` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `rem-log-exp_binary64_11713` `cube-div_binary64_11701` `rem-3cbrt-rft_binary64_11698` `rem-3cbrt-lft_binary64_11697` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `rem-sqrt-square_binary64_11685` `rem-square-sqrt_binary64_11684` `/-rgt-identity_binary64_11663` `--rgt-identity_binary64_11658` `+-lft-identity_binary64_11656` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `div0_binary64_11653` `-inverses_binary64_11652` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `remove-double-div_binary64_11648` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `distribute-neg-frac_binary64_11636` `associate-/l/_binary64_11619` `associate-/r/_binary64_11618` `associate-/r_binary64_11616`

Counts

119 → 98

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	2111
1	561	1492
2	1678	1452
3	4709	1451
4	4967	1451

prune298.0ms (3.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	98	7	105

Error

Counts

105 → 7

Compiler

Compiled 1684 to 957 computations (43.2% saved)

regimes706.0ms (7.9%)

Accuracy

Total 0.1b remaining (97.4%)

Threshold costs 0.1b (97.4%)

Compiler

Compiled 6573 to 5132 computations (21.9% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

54×	`unsub-neg_binary64_11666`
39×	`neg-mul-1_binary64_11668` `neg-sub0_binary64_11667`
35×	`cancel-sign-sub-inv_binary64_11638`
34×	`distribute-rgt-neg-in_binary64_11630`
30×	`distribute-rgt-neg-out_binary64_11632`
26×	`distribute-neg-out_binary64_11634` `distribute-lft-neg-in_binary64_11629`
23×	`distribute-neg-in_binary64_11633`
20×	`sub-neg_binary64_11665`
19×	`remove-double-neg_binary64_11660`
16×	`+-commutative_binary64_11602`
13×	`distribute-lft-neg-out_binary64_11631` `*-commutative_binary64_11603`
8×	`cancel-sign-sub_binary64_11637`
1×	`1-exp_binary64_11716` `sqr-neg_binary64_11686` `--rgt-identity_binary64_11658` `+-lft-identity_binary64_11656`
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_11932` `if-if-and_binary64_11931` `if-if-or-not_binary64_11930` `if-if-or_binary64_11929` `if-not_binary64_11928` `if-same_binary64_11927` `if-false_binary64_11926` `if-true_binary64_11925` `tan-0_binary64_11801` `cos-0_binary64_11800` `sin-0_binary64_11799` `unpow1_binary64_11730` `e-exp-1_binary64_11717` `exp-1-e_binary64_11715` `exp-0_binary64_11714` `sqr-abs_binary64_11687` `mul-1-neg_binary64_11664` `/-rgt-identity_binary64_11663` `-rgt-identity_binary64_11662` `-lft-identity_binary64_11661` `sub0-neg_binary64_11659` `+-rgt-identity_binary64_11657` `distribute-neg-frac_binary64_11636` `distribute-frac-neg_binary64_11635`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	29
1	24	29
2	38	29
3	69	29
4	118	29
5	161	29
6	190	29
7	244	29
8	234	29
9	237	29
10	236	29
11	227	29

end0.0ms (0%)

sample2.0s (21.9%)

Algorithm

1×

intervals

Results

447.0ms	8000×	body	128	valid
6.0ms	40×	body	128	invalid

Compiler

Compiled 1329 to 1038 computations (21.9% saved)

Iter	Nodes	Cost
0	14	29
1	24	29
2	38	29
3	69	29
4	118	29
5	161	29
6	190	29
7	244	29
8	234	29
9	237	29
10	236	29
11	227	29

Iter	Nodes	Cost
0	14	29
1	24	29
2	38	29
3	69	29
4	118	29
5	161	29
6	190	29
7	244	29
8	234	29
9	237	29
10	236	29
11	227	29

Details

analyze567.0ms (6.3%)

sample25.0ms (0.3%)

simplify169.0ms (1.9%)

prune6.0ms (0.1%)

localize11.0ms (0.1%)

rewrite133.0ms (1.5%)

series1.5s (16.9%)

simplify185.0ms (2.1%)

prune126.0ms (1.4%)

localize10.0ms (0.1%)

rewrite80.0ms (0.9%)

series512.0ms (5.7%)

simplify98.0ms (1.1%)

prune49.0ms (0.5%)

localize17.0ms (0.2%)

rewrite156.0ms (1.7%)

series827.0ms (9.2%)

simplify67.0ms (0.7%)

prune95.0ms (1.1%)

localize14.0ms (0.2%)

rewrite161.0ms (1.8%)

series1.1s (11.7%)

simplify108.0ms (1.2%)

prune298.0ms (3.3%)

regimes706.0ms (7.9%)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample2.0s (21.9%)

Profiling

Iter	Nodes	Cost
0	14	29
1	24	29
2	38	29
3	69	29
4	118	29
5	161	29
6	190	29
7	244	29
8	234	29
9	237	29
10	236	29
11	227	29