Details

analyze1.1s (13.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

792×	`times-frac_binary64_11678`
424×	`unswap-sqr_binary64_11640`
303×	`div-sub_binary64_11677`
200×	`sqr-pow_binary64_11644`
193×	`associate-l_binary64_11613`
172×	`associate-r_binary64_11612`
155×	`associate-/l*_binary64_11617`
142×	`sub-neg_binary64_11665` `associate-/l/_binary64_11619`
140×	`exp-diff_binary64_11720`
135×	`exp-prod_binary64_11724`
104×	`pow-sqr_binary64_11645`
98×	`exp-sum_binary64_11718`
97×	`*-commutative_binary64_11603`
96×	`associate-/r/_binary64_11618` `associate-/r*_binary64_11616`
84×	`log-prod_binary64_11758`
63×	`neg-mul-1_binary64_11668`
62×	`distribute-rgt-in_binary64_11622`
59×	`log-pow_binary64_11761`
57×	`neg-sub0_binary64_11667`
50×	`log-div_binary64_11759`
48×	`associate-*r/_binary64_11614`
44×	`pow-plus_binary64_11735` `distribute-lft-in_binary64_11621`
40×	`exp-to-pow_binary64_11734`
32×	`unsub-neg_binary64_11666`
29×	`+-commutative_binary64_11602`
27×	`/-rgt-identity_binary64_11663`
26×	`div-exp_binary64_11723`
25×	`associate-*l/_binary64_11615`
20×	`prod-exp_binary64_11721` `cube-unmult_binary64_11709` `associate--r+_binary64_11608`
19×	`exp-neg_binary64_11719` `sub0-neg_binary64_11659`
18×	`distribute-rgt-neg-out_binary64_11632` `distribute-lft-neg-out_binary64_11631` `associate-+l-_binary64_11607`
16×	`unpow3_binary64_11738`
15×	`associate-+r-_binary64_11606`
14×	`exp-sqrt_binary64_11725`
12×	`exp-lft-sqr_binary64_11727`
11×	`rem-exp-log_binary64_11712`
10×	`log-rec_binary64_11760` `distribute-neg-in_binary64_11633`
9×	`unpow-1_binary64_11729` `distribute-neg-frac_binary64_11636`
8×	`cube-prod_binary64_11700` `associate--l+_binary64_11609`
7×	`--rgt-identity_binary64_11658`
6×	`+-rgt-identity_binary64_11657`
4×	`unpow2_binary64_11737` `rec-exp_binary64_11722` `distribute-frac-neg_binary64_11635` `distribute-rgt-neg-in_binary64_11630` `distribute-lft-neg-in_binary64_11629` `associate--l-_binary64_11610` `associate-+l+_binary64_11605` `associate-+r+_binary64_11604`
3×	`*-lft-identity_binary64_11661` `remove-double-neg_binary64_11660` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654`
1×	`1-exp_binary64_11716` `rem-log-exp_binary64_11713` `+-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` `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` `unpow1/3_binary64_11739` `unpow1/2_binary64_11736` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow1_binary64_11730` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `e-exp-1_binary64_11717` `exp-1-e_binary64_11715` `exp-0_binary64_11714` `cube-mult_binary64_11702` `cube-div_binary64_11701` `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` `mul-1-neg_binary64_11664` `-rgt-identity_binary64_11662` `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` `difference-of-squares_binary64_11641` `swap-sqr_binary64_11639` `cancel-sign-sub-inv_binary64_11638` `cancel-sign-sub_binary64_11637` `distribute-neg-out_binary64_11634` `distribute-rgt1-in_binary64_11628` `distribute-lft1-in_binary64_11627` `distribute-rgt-out--_binary64_11626` `distribute-rgt-out_binary64_11625` `distribute-lft-out--_binary64_11624` `distribute-lft-out_binary64_11623` `count-2_binary64_11620` `associate--r-_binary64_11611`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	80
1	59	64
2	91	64
3	187	64
4	398	64
5	954	64
6	2326	64
7	4860	64
8	4805	64
9	5069	64
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
2.7%	90.9%	6.4%	9
4.1%	86.4%	9.5%	10
4.4%	86.1%	9.5%	11
19.7%	65.3%	15%	12
21.9%	60.4%	17.7%	13
22.7%	59.6%	17.7%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample52.0ms (0.6%)

Algorithm

1×

intervals

Results

13.0ms	198×	body	128	valid
9.0ms	23×	body	1024	valid
6.0ms	23×	body	512	valid
2.0ms	7×	body	1024	invalid
2.0ms	39×	body	128	nan
2.0ms	12×	body	256	valid
2.0ms	7×	body	512	invalid
1.0ms	17×	body	128	invalid
0.0ms	2×	body	256	invalid

Compiler

Compiled 27 to 24 computations (11.1% saved)

simplify72.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

522×	`unswap-sqr_binary64_11640`
270×	`div-sub_binary64_11677`
256×	`associate-l_binary64_11613`
244×	`distribute-rgt-in_binary64_11622`
216×	`associate-r_binary64_11612`
203×	`distribute-lft-in_binary64_11621`
200×	`times-frac_binary64_11678`
193×	`associate-/l*_binary64_11617`
181×	`exp-prod_binary64_11724`
153×	`associate-/l/_binary64_11619`
130×	`exp-diff_binary64_11720`
128×	`associate-/r*_binary64_11616`
124×	`log-div_binary64_11759`
118×	`associate-/r/_binary64_11618`
100×	`distribute-frac-neg_binary64_11635`
93×	`log-pow_binary64_11761`
87×	`sqr-pow_binary64_11644`
85×	`sub-neg_binary64_11665` `distribute-rgt-neg-out_binary64_11632`
84×	`log-prod_binary64_11758`
83×	`exp-sum_binary64_11718`
65×	`*-commutative_binary64_11603`
60×	`unsub-neg_binary64_11666` `distribute-lft-neg-out_binary64_11631`
43×	`exp-to-pow_binary64_11734` `neg-mul-1_binary64_11668`
41×	`pow-sqr_binary64_11645`
39×	`/-rgt-identity_binary64_11663`
38×	`cancel-sign-sub-inv_binary64_11638` `associate-*r/_binary64_11614`
37×	`neg-sub0_binary64_11667`
34×	`distribute-neg-in_binary64_11633`
25×	`log-rec_binary64_11760`
24×	`distribute-neg-frac_binary64_11636`
22×	`associate-*l/_binary64_11615`
21×	`distribute-rgt-neg-in_binary64_11630` `+-commutative_binary64_11602`
20×	`distribute-neg-out_binary64_11634`
18×	`pow-plus_binary64_11735` `*-lft-identity_binary64_11661`
17×	`associate--r+_binary64_11608`
16×	`exp-sqrt_binary64_11725` `distribute-lft-neg-in_binary64_11629`
15×	`exp-lft-sqr_binary64_11727`
14×	`associate--l+_binary64_11609`
13×	`cancel-sign-sub_binary64_11637`
12×	`unpow3_binary64_11738` `div-exp_binary64_11723` `exp-neg_binary64_11719` `cube-prod_binary64_11700`
11×	`*-rgt-identity_binary64_11662` `distribute-lft-out_binary64_11623` `associate-+l-_binary64_11607` `associate-+r-_binary64_11606`
10×	`distribute-rgt-out_binary64_11625` `associate-+r+_binary64_11604`
9×	`cube-unmult_binary64_11709`
8×	`sub0-neg_binary64_11659`
7×	`prod-exp_binary64_11721` `distribute-lft-out--_binary64_11624`
6×	`associate--l-_binary64_11610`
5×	`remove-double-neg_binary64_11660` `+-lft-identity_binary64_11656` `associate-+l+_binary64_11605`
4×	`rec-exp_binary64_11722` `rem-exp-log_binary64_11712` `distribute-rgt-out--_binary64_11626`
3×	`unpow2_binary64_11737` `--rgt-identity_binary64_11658` `+-rgt-identity_binary64_11657`
2×	`remove-double-div_binary64_11648` `associate--r-_binary64_11611`
1×	`log-E_binary64_11762` `unpow1/2_binary64_11736` `unpow1_binary64_11730` `unpow-1_binary64_11729` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-log-exp_binary64_11713` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `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` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `cube-mult_binary64_11702` `cube-div_binary64_11701` `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` `mul-1-neg_binary64_11664` `div0_binary64_11653` `*-inverses_binary64_11652` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `swap-sqr_binary64_11639` `distribute-rgt1-in_binary64_11628` `distribute-lft1-in_binary64_11627`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	19	16
2	28	16
3	56	16
4	116	16
5	272	16
6	657	16
7	2235	16
8	4520	16
9	4856	16
10	4944	16

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

6.3b

Counts

2 → 1

Compiler

Compiled 22 to 16 computations (27.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
0.0b	(/.f64 y (+.f64 y z))
6.1b	(pow.f64 (/.f64 y (+.f64 y z)) y)

rewrite120.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

37×	`*-un-lft-identity_binary64_11672`
24×	`times-frac_binary64_11678`
21×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694`
18×	`unpow-prod-down_binary64_11751`
8×	`distribute-lft-out_binary64_11623` `add-exp-log_binary64_11710`
5×	`add-log-exp_binary64_11711` `add-cbrt-cube_binary64_11708`
4×	`associate-/r/_binary64_11618` `pow1_binary64_11733` `associate-/r*_binary64_11616`
3×	`flip3-+_binary64_11675` `flip-+_binary64_11646` `pow-unpow_binary64_11749` `associate-/l*_binary64_11617`
2×	`div-inv_binary64_11669` `div-exp_binary64_11723` `pow-exp_binary64_11740`
1×	`pow-pow_binary64_11744` `pow-to-exp_binary64_11741` `sqr-pow_binary64_11644` `cbrt-undiv_binary64_11706` `frac-2neg_binary64_11683` `clear-num_binary64_11671` `sum-log_binary64_11763` `+-commutative_binary64_11602`

Counts

3 → 78

Calls

3 calls:

23.0ms	(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
7.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)
5.0ms	(/.f64 y (+.f64 y z))

Compiler

Compiled 1530 to 431 computations (71.8% saved)

series573.0ms (6.8%)

Error

0.0b

Counts

3 → 39

Calls

3 calls:

352.0ms	(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
109.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)
84.0ms	(/.f64 y (+.f64 y z))

Compiler

Compiled 1361 to 966 computations (29% saved)

simplify120.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

395×	`times-frac_binary64_11678`
307×	`associate-/l*_binary64_11617`
270×	`associate-l_binary64_11613`
226×	`associate-r_binary64_11612`
179×	`sub-neg_binary64_11665`
178×	`associate-/r*_binary64_11616`
153×	`sqr-pow_binary64_11644`
137×	`div-sub_binary64_11677`
131×	`associate-*l/_binary64_11615`
122×	`distribute-rgt-in_binary64_11622`
119×	`exp-prod_binary64_11724`
105×	`log-prod_binary64_11758` `associate-/l/_binary64_11619`
104×	`associate-*r/_binary64_11614`
102×	`distribute-lft-in_binary64_11621`
94×	`associate-/r/_binary64_11618`
92×	`exp-sum_binary64_11718`
87×	`unsub-neg_binary64_11666`
78×	`*-commutative_binary64_11603`
68×	`log-div_binary64_11759` `+-commutative_binary64_11602`
67×	`cube-prod_binary64_11700`
65×	`associate-+l+_binary64_11605`
62×	`pow-sqr_binary64_11645`
60×	`associate-+r+_binary64_11604`
55×	`cancel-sign-sub-inv_binary64_11638`
54×	`associate-+r-_binary64_11606`
53×	`associate-+l-_binary64_11607`
52×	`cube-div_binary64_11701`
50×	`neg-sub0_binary64_11667`
46×	`neg-mul-1_binary64_11668`
41×	`cube-unmult_binary64_11709`
38×	`unswap-sqr_binary64_11640`
34×	`distribute-rgt-neg-in_binary64_11630`
32×	`exp-diff_binary64_11720`
27×	`distribute-lft-neg-in_binary64_11629`
26×	`log-pow_binary64_11761`
21×	`/-rgt-identity_binary64_11663` `distribute-neg-frac_binary64_11636`
15×	`log-rec_binary64_11760`
14×	`*-rgt-identity_binary64_11662`
13×	`unpow3_binary64_11738` `distribute-lft-neg-out_binary64_11631`
11×	`prod-exp_binary64_11721`
10×	`pow-plus_binary64_11735` `associate--l+_binary64_11609`
9×	`cube-mult_binary64_11702` `*-lft-identity_binary64_11661` `distribute-rgt-out--_binary64_11626` `distribute-rgt-out_binary64_11625`
7×	`exp-to-pow_binary64_11734` `rem-exp-log_binary64_11712`
6×	`swap-sqr_binary64_11639` `distribute-rgt-neg-out_binary64_11632` `associate--r+_binary64_11608`
5×	`difference-of-squares_binary64_11641`
4×	`pow-base-1_binary64_11732` `div-exp_binary64_11723` `rem-sqrt-square_binary64_11685` `distribute-rgt1-in_binary64_11628`
3×	`unpow1/2_binary64_11736` `unpow1_binary64_11730` `associate--l-_binary64_11610`
2×	`unpow2_binary64_11737` `rec-exp_binary64_11722` `exp-neg_binary64_11719` `+-rgt-identity_binary64_11657` `distribute-frac-neg_binary64_11635` `distribute-neg-in_binary64_11633` `count-2_binary64_11620` `associate--r-_binary64_11611`
1×	`exp-lft-sqr_binary64_11727` `exp-sqrt_binary64_11725` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `sub0-neg_binary64_11659` `distribute-lft1-in_binary64_11627`
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` `unpow1/3_binary64_11739` `unpow0_binary64_11731` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `rem-log-exp_binary64_11713` `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-square-sqrt_binary64_11684` `mul-1-neg_binary64_11664` `remove-double-neg_binary64_11660` `--rgt-identity_binary64_11658` `+-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-out_binary64_11634` `distribute-lft-out--_binary64_11624` `distribute-lft-out_binary64_11623`

Counts

117 → 52

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	175	1839
1	420	1744
2	1126	1711
3	3938	1711
4	4930	1711
5	4983	1711

prune48.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	48	4	52
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	48	5	53

Error

0.7b

Counts

53 → 5

Compiler

Compiled 878 to 226 computations (74.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (pow.f64 (/.f64 y z) y) y))
0.0b	(/.f64 (pow.f64 (/.f64 y z) y) y)
5.6b	(pow.f64 (/.f64 y z) y)

rewrite152.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

96×	`times-frac_binary64_11678`
65×	`unpow-prod-down_binary64_11751`
63×	`*-un-lft-identity_binary64_11672`
61×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694`
17×	`associate-/l*_binary64_11617`
14×	`add-exp-log_binary64_11710`
6×	`div-inv_binary64_11669` `div-exp_binary64_11723`
5×	`add-log-exp_binary64_11711` `add-cbrt-cube_binary64_11708` `sqr-pow_binary64_11644`
4×	`pow1_binary64_11733` `pow-exp_binary64_11740`
3×	`pow-unpow_binary64_11749` `associate-/r*_binary64_11616`
2×	`pow-to-exp_binary64_11741`
1×	`pow-pow_binary64_11744` `cbrt-undiv_binary64_11706` `frac-2neg_binary64_11683` `clear-num_binary64_11671` `sum-log_binary64_11763` `flip3-+_binary64_11675` `flip-+_binary64_11646` `distribute-lft-out_binary64_11623` `+-commutative_binary64_11602`

Counts

3 → 126

Calls

3 calls:

17.0ms	(+.f64 x (/.f64 (pow.f64 (/.f64 y z) y) y))
8.0ms	(/.f64 (pow.f64 (/.f64 y z) y) y)
5.0ms	(pow.f64 (/.f64 y z) y)

Compiler

Compiled 2422 to 635 computations (73.8% saved)

series786.0ms (9.4%)

Error

0.0b

Counts

3 → 29

Calls

3 calls:

376.0ms	(+.f64 x (/.f64 (pow.f64 (/.f64 y z) y) y))
234.0ms	(/.f64 (pow.f64 (/.f64 y z) y) y)
155.0ms	(pow.f64 (/.f64 y z) y)

Compiler

Compiled 885 to 615 computations (30.5% saved)

simplify149.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

523×	`times-frac_binary64_11678`
468×	`associate-/l*_binary64_11617`
323×	`associate-/r*_binary64_11616`
261×	`associate-*l/_binary64_11615`
251×	`associate-/l/_binary64_11619`
209×	`associate-/r/_binary64_11618`
202×	`associate-l_binary64_11613`
167×	`associate-r_binary64_11612`
123×	`sqr-pow_binary64_11644`
105×	`associate-*r/_binary64_11614`
101×	`log-div_binary64_11759`
83×	`exp-prod_binary64_11724`
68×	`log-prod_binary64_11758` `exp-sum_binary64_11718`
65×	`distribute-rgt-in_binary64_11622`
55×	`pow-sqr_binary64_11645`
54×	`distribute-lft-in_binary64_11621`
50×	`cube-div_binary64_11701`
46×	`/-rgt-identity_binary64_11663`
43×	`log-pow_binary64_11761` `cube-prod_binary64_11700`
32×	`cube-unmult_binary64_11709`
31×	`sub-neg_binary64_11665` `associate-+l-_binary64_11607`
28×	`unswap-sqr_binary64_11640`
27×	`div-sub_binary64_11677`
23×	`distribute-rgt-neg-in_binary64_11630`
22×	`cancel-sign-sub-inv_binary64_11638`
21×	`+-commutative_binary64_11602`
20×	`exp-diff_binary64_11720`
19×	`distribute-neg-frac_binary64_11636` `*-commutative_binary64_11603`
18×	`distribute-lft-neg-in_binary64_11629`
15×	`log-rec_binary64_11760`
13×	`neg-mul-1_binary64_11668` `neg-sub0_binary64_11667`
12×	`*-rgt-identity_binary64_11662`
11×	`unpow3_binary64_11738`
10×	`exp-to-pow_binary64_11734` `rem-exp-log_binary64_11712` `unsub-neg_binary64_11666` `associate-+r+_binary64_11604`
9×	`distribute-lft-neg-out_binary64_11631` `associate-+l+_binary64_11605`
8×	`associate--l+_binary64_11609`
6×	`div-exp_binary64_11723` `cube-mult_binary64_11702` `*-lft-identity_binary64_11661`
5×	`prod-exp_binary64_11721` `distribute-rgt-neg-out_binary64_11632` `distribute-rgt-out_binary64_11625` `associate--r+_binary64_11608`
4×	`pow-plus_binary64_11735` `pow-base-1_binary64_11732` `exp-neg_binary64_11719` `swap-sqr_binary64_11639`
3×	`rec-exp_binary64_11722` `rem-sqrt-square_binary64_11685` `distribute-rgt1-in_binary64_11628` `distribute-rgt-out--_binary64_11626` `associate-+r-_binary64_11606`
2×	`unpow1/2_binary64_11736` `distribute-neg-in_binary64_11633` `count-2_binary64_11620`
1×	`log-E_binary64_11762` `unpow1_binary64_11730` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-log-exp_binary64_11713` `difference-of-squares_binary64_11641` `distribute-lft1-in_binary64_11627` `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` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `unpow2_binary64_11737` `unpow0_binary64_11731` `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` `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-square-sqrt_binary64_11684` `mul-1-neg_binary64_11664` `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-frac-neg_binary64_11635` `distribute-neg-out_binary64_11634` `distribute-lft-out--_binary64_11624` `distribute-lft-out_binary64_11623` `associate--r-_binary64_11611`

Counts

155 → 73

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	2867
1	433	2818
2	1343	2800
3	4436	2795
4	4952	2795
5	4980	2795

prune57.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	72	1	73
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	73	5	78

Error

0.7b

Counts

78 → 5

Compiler

Compiled 1101 to 291 computations (73.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0b	(pow.f64 (/.f64 (cbrt.f64 y) z) y)

rewrite134.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

36×	`add-sqr-sqrt_binary64_11694`
31×	`cbrt-prod_binary64_11703`
28×	`add-cube-cbrt_binary64_11707` `*-un-lft-identity_binary64_11672`
22×	`unpow-prod-down_binary64_11751`
18×	`times-frac_binary64_11678`
12×	`pow1_binary64_11733`
9×	`add-exp-log_binary64_11710`
8×	`pow1/3_binary64_11754`
6×	`swap-sqr_binary64_11639` `associate-l_binary64_11613` `associate-r_binary64_11612`
4×	`add-log-exp_binary64_11711` `add-cbrt-cube_binary64_11708` `unswap-sqr_binary64_11640`
3×	`pow-unpow_binary64_11749`
2×	`pow-exp_binary64_11740` `pow-prod-down_binary64_11743` `pow-prod-up_binary64_11742` `pow-sqr_binary64_11645`
1×	`div-inv_binary64_11669` `pow-pow_binary64_11744` `pow-to-exp_binary64_11741` `div-exp_binary64_11723` `sqr-pow_binary64_11644` `pow2_binary64_11753` `pow-plus_binary64_11735` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `*-commutative_binary64_11603`

Counts

4 → 99

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
6.0ms	(pow.f64 (/.f64 (cbrt.f64 y) z) y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2416 to 648 computations (73.2% saved)

series643.0ms (7.7%)

Error

0.7b

Counts

4 → 16

Calls

4 calls:

289.0ms	(pow.f64 (/.f64 (cbrt.f64 y) z) y)
131.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
105.0ms	(cbrt.f64 y)
101.0ms	(cbrt.f64 y)

Compiler

Compiled 1018 to 669 computations (34.3% saved)

simplify78.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

652×	`times-frac_binary64_11678`
513×	`distribute-rgt-in_binary64_11622`
322×	`sqr-pow_binary64_11644`
178×	`exp-prod_binary64_11724`
168×	`*-commutative_binary64_11603`
167×	`associate-/l*_binary64_11617`
145×	`log-prod_binary64_11758`
144×	`exp-sum_binary64_11718` `pow-sqr_binary64_11645`
136×	`unswap-sqr_binary64_11640`
83×	`distribute-rgt-neg-in_binary64_11630`
82×	`distribute-rgt-out_binary64_11625`
77×	`associate-r_binary64_11612`
74×	`distribute-lft-neg-in_binary64_11629`
73×	`associate-*l/_binary64_11615`
72×	`associate-/r_binary64_11616` `associate-l*_binary64_11613`
68×	`log-div_binary64_11759`
59×	`associate-*r/_binary64_11614`
49×	`distribute-lft-in_binary64_11621` `associate-/l/_binary64_11619`
45×	`log-pow_binary64_11761`
42×	`distribute-neg-in_binary64_11633`
40×	`distribute-lft-out_binary64_11623`
38×	`cube-prod_binary64_11700` `cancel-sign-sub-inv_binary64_11638`
34×	`sub-neg_binary64_11665`
32×	`distribute-neg-frac_binary64_11636`
31×	`associate-/r/_binary64_11618`
30×	`associate-+r+_binary64_11604`
28×	`swap-sqr_binary64_11639`
26×	`associate-+l+_binary64_11605`
24×	`exp-diff_binary64_11720` `*-rgt-identity_binary64_11662`
22×	`cube-div_binary64_11701` `neg-mul-1_binary64_11668`
21×	`neg-sub0_binary64_11667` `unsub-neg_binary64_11666`
20×	`*-lft-identity_binary64_11661`
19×	`exp-to-pow_binary64_11734`
18×	`rem-sqrt-square_binary64_11685`
17×	`pow-plus_binary64_11735`
15×	`distribute-rgt-neg-out_binary64_11632`
14×	`distribute-lft-neg-out_binary64_11631`
12×	`div-sub_binary64_11677` `distribute-rgt1-in_binary64_11628`
11×	`rem-exp-log_binary64_11712` `cube-unmult_binary64_11709`
10×	`/-rgt-identity_binary64_11663`
6×	`unpow3_binary64_11738` `count-2_binary64_11620` `associate-+r-_binary64_11606` `+-commutative_binary64_11602`
5×	`log-rec_binary64_11760` `unpow1/2_binary64_11736` `distribute-lft1-in_binary64_11627` `associate--r+_binary64_11608`
4×	`unpow1/3_binary64_11739` `pow-base-1_binary64_11732` `prod-exp_binary64_11721` `cube-mult_binary64_11702`
3×	`unpow1_binary64_11730` `+-rgt-identity_binary64_11657` `associate-+l-_binary64_11607`
2×	`unpow2_binary64_11737` `exp-neg_binary64_11719` `rem-3cbrt-lft_binary64_11697` `mul-1-neg_binary64_11664` `remove-double-div_binary64_11648` `associate--l+_binary64_11609`
1×	`exp-lft-sqr_binary64_11727` `exp-sqrt_binary64_11725` `div-exp_binary64_11723` `rec-exp_binary64_11722` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-log-exp_binary64_11713` `rem-3cbrt-rft_binary64_11698` `rem-cbrt-cube_binary64_11696` `rem-square-sqrt_binary64_11684` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `distribute-frac-neg_binary64_11635` `distribute-neg-out_binary64_11634`
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` `unpow0_binary64_11731` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `cube-neg_binary64_11699` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `remove-double-neg_binary64_11660` `sub0-neg_binary64_11659` `--rgt-identity_binary64_11658` `+-lft-identity_binary64_11656` `div0_binary64_11653` `*-inverses_binary64_11652` `+-inverses_binary64_11651` `lft-mult-inverse_binary64_11650` `rgt-mult-inverse_binary64_11649` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `cancel-sign-sub_binary64_11637` `distribute-rgt-out--_binary64_11626` `distribute-lft-out--_binary64_11624` `associate--r-_binary64_11611` `associate--l-_binary64_11610`

Counts

115 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	166	1442
1	326	1323
2	911	1296
3	2180	1286
4	5083	1286

prune66.0ms (0.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	65	5	70

Error

0.7b

Counts

70 → 5

Compiler

Compiled 1386 to 408 computations (70.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite159.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

33×	`*-un-lft-identity_binary64_11672`
31×	`add-sqr-sqrt_binary64_11694`
25×	`add-cube-cbrt_binary64_11707`
20×	`cancel-sign-sub-inv_binary64_11638`
19×	`pow1_binary64_11733`
18×	`log-prod_binary64_11758`
16×	`distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621` `associate-+r+_binary64_11604`
15×	`associate--l+_binary64_11609`
13×	`log-pow_binary64_11761`
9×	`times-frac_binary64_11678`
8×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708` `distribute-lft-out--_binary64_11624` `associate-r_binary64_11612`
6×	`add-log-exp_binary64_11711`
5×	`sub-neg_binary64_11665`
3×	`associate-/l_binary64_11617` `associate-/r_binary64_11616` `associate--r+_binary64_11608` `associate-l_binary64_11613`
2×	`flip3-+_binary64_11675` `associate-/l/_binary64_11619` `flip-+_binary64_11646` `flip3--_binary64_11676` `flip--_binary64_11647` `difference-of-squares_binary64_11641` `associate-*r/_binary64_11614`
1×	`div-exp_binary64_11723` `cbrt-undiv_binary64_11706` `frac-2neg_binary64_11683` `clear-num_binary64_11671` `div-inv_binary64_11669` `diff-log_binary64_11764` `pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `unswap-sqr_binary64_11640` `*-commutative_binary64_11603` `sum-log_binary64_11763` `+-commutative_binary64_11602`

Counts

4 → 123

Calls

4 calls:

9.0ms	(*.f64 y (-.f64 (log.f64 y) (log.f64 z)))
6.0ms	(+.f64 1 (*.f64 y (-.f64 (log.f64 y) (log.f64 z))))
6.0ms	(-.f64 (log.f64 y) (log.f64 z))
6.0ms	(/.f64 (+.f64 1 (*.f64 y (-.f64 (log.f64 y) (log.f64 z)))) y)

Compiler

Compiled 2630 to 964 computations (63.3% saved)

series1.3s (15.9%)

Error

0.7b

Counts

4 → 28

Calls

4 calls:

434.0ms	(/.f64 (+.f64 1 (*.f64 y (-.f64 (log.f64 y) (log.f64 z)))) y)
329.0ms	(+.f64 1 (*.f64 y (-.f64 (log.f64 y) (log.f64 z))))
309.0ms	(*.f64 y (-.f64 (log.f64 y) (log.f64 z)))
239.0ms	(-.f64 (log.f64 y) (log.f64 z))

Compiler

Compiled 1226 to 933 computations (23.9% saved)

simplify119.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

589×	`div-sub_binary64_11677`
479×	`distribute-rgt-in_binary64_11622`
442×	`distribute-lft-in_binary64_11621`
213×	`*-commutative_binary64_11603`
176×	`times-frac_binary64_11678`
131×	`associate-/l*_binary64_11617`
126×	`exp-prod_binary64_11724` `exp-sum_binary64_11718`
113×	`associate-l_binary64_11613`
110×	`associate-+l+_binary64_11605`
106×	`associate-r_binary64_11612`
95×	`associate-+r+_binary64_11604`
93×	`sub-neg_binary64_11665` `+-commutative_binary64_11602`
72×	`cancel-sign-sub-inv_binary64_11638`
70×	`distribute-rgt-neg-out_binary64_11632`
69×	`associate-/r*_binary64_11616`
68×	`distribute-lft-neg-out_binary64_11631`
66×	`associate-+l-_binary64_11607`
64×	`distribute-rgt-neg-in_binary64_11630`
61×	`associate-+r-_binary64_11606`
59×	`exp-diff_binary64_11720`
58×	`cube-prod_binary64_11700` `associate--r+_binary64_11608`
50×	`log-prod_binary64_11758`
48×	`unsub-neg_binary64_11666`
43×	`distribute-neg-in_binary64_11633`
42×	`distribute-lft-neg-in_binary64_11629`
41×	`associate--l+_binary64_11609`
40×	`neg-sub0_binary64_11667`
38×	`associate-/l/_binary64_11619`
34×	`neg-mul-1_binary64_11668` `-rgt-identity_binary64_11662` `-lft-identity_binary64_11661`
30×	`associate-*l/_binary64_11615`
28×	`associate--r-_binary64_11611`
24×	`associate-*r/_binary64_11614`
22×	`sqr-pow_binary64_11644`
21×	`associate-/r/_binary64_11618`
19×	`distribute-rgt-out_binary64_11625`
16×	`cube-div_binary64_11701`
15×	`exp-to-pow_binary64_11734`
14×	`log-div_binary64_11759`
13×	`/-rgt-identity_binary64_11663`
12×	`exp-neg_binary64_11719` `swap-sqr_binary64_11639` `distribute-rgt1-in_binary64_11628`
10×	`log-pow_binary64_11761` `unpow3_binary64_11738` `cube-neg_binary64_11699` `associate--l-_binary64_11610`
9×	`sqr-neg_binary64_11686` `distribute-neg-frac_binary64_11636` `distribute-rgt-out--_binary64_11626`
8×	`unswap-sqr_binary64_11640` `distribute-lft-out_binary64_11623`
7×	`mul-1-neg_binary64_11664`
6×	`cube-unmult_binary64_11709`
5×	`+-rgt-identity_binary64_11657` `distribute-neg-out_binary64_11634`
4×	`log-rec_binary64_11760` `prod-exp_binary64_11721` `cube-mult_binary64_11702` `remove-double-neg_binary64_11660` `count-2_binary64_11620`
3×	`rec-exp_binary64_11722` `difference-of-squares_binary64_11641` `distribute-lft1-in_binary64_11627`
2×	`unpow1/2_binary64_11736` `div-exp_binary64_11723` `rem-exp-log_binary64_11712` `distribute-lft-out--_binary64_11624`
1×	`pow-plus_binary64_11735` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-3cbrt-lft_binary64_11697` `rem-sqrt-square_binary64_11685` `rem-square-sqrt_binary64_11684` `sub0-neg_binary64_11659` `*-inverses_binary64_11652` `pow-sqr_binary64_11645` `cancel-sign-sub_binary64_11637` `distribute-frac-neg_binary64_11635`
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` `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` `rem-3cbrt-rft_binary64_11698` `rem-cbrt-cube_binary64_11696` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `--rgt-identity_binary64_11658` `+-lft-identity_binary64_11656` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `div0_binary64_11653` `+-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`

Counts

151 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	203	2580
1	448	2366
2	1270	2349
3	3804	2349
4	5335	2349

prune79.0ms (0.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	90	5	95

Error

0.7b

Counts

95 → 5

Compiler

Compiled 1552 to 639 computations (58.8% saved)

regimes335.0ms (4%)

Accuracy

Total 0.8b remaining (97.6%)

Threshold costs 0.8b (97.6%)

Compiler

Compiled 2581 to 1845 computations (28.5% saved)

bsearch26.0ms (0.3%)

Steps

Iters	Range		Point
7	7.35864585593125e-16	5.520732090371224e-14	4.3344359387544277e-14

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64_11602`
1×	`1-exp_binary64_11716` `neg-mul-1_binary64_11668` `neg-sub0_binary64_11667` `sub-neg_binary64_11665` `*-commutative_binary64_11603`
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` `sqr-neg_binary64_11686` `unsub-neg_binary64_11666` `mul-1-neg_binary64_11664` `/-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` `cancel-sign-sub-inv_binary64_11638` `cancel-sign-sub_binary64_11637` `distribute-neg-frac_binary64_11636` `distribute-frac-neg_binary64_11635` `distribute-neg-out_binary64_11634` `distribute-neg-in_binary64_11633` `distribute-rgt-neg-out_binary64_11632` `distribute-lft-neg-out_binary64_11631` `distribute-rgt-neg-in_binary64_11630` `distribute-lft-neg-in_binary64_11629`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	22	24
2	24	24
3	25	24
4	24	24

end0.0ms (0%)

sample2.1s (25.3%)

Algorithm

1×

intervals

Results

396.0ms	6152×	body	128	valid
353.0ms	910×	body	1024	valid
150.0ms	597×	body	512	valid
61.0ms	170×	body	1024	invalid
58.0ms	1028×	body	128	nan
56.0ms	228×	body	512	invalid
53.0ms	338×	body	256	valid
26.0ms	414×	body	128	invalid
24.0ms	168×	body	256	invalid
2.0ms	3×	body	2048	valid

Compiler

Compiled 557 to 398 computations (28.5% saved)

Details

analyze1.1s (13.4%)

sample52.0ms (0.6%)

simplify72.0ms (0.9%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite120.0ms (1.4%)

series573.0ms (6.8%)

simplify120.0ms (1.4%)

prune48.0ms (0.6%)

localize7.0ms (0.1%)

rewrite152.0ms (1.8%)

series786.0ms (9.4%)

simplify149.0ms (1.8%)

prune57.0ms (0.7%)

localize12.0ms (0.1%)

rewrite134.0ms (1.6%)

series643.0ms (7.7%)

simplify78.0ms (0.9%)

prune66.0ms (0.8%)

localize10.0ms (0.1%)

rewrite159.0ms (1.9%)

series1.3s (15.9%)

simplify119.0ms (1.4%)

prune79.0ms (0.9%)

regimes335.0ms (4%)

bsearch26.0ms (0.3%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.1s (25.3%)

Profiling