Details

analyze207.0ms (5.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

8×	`associate-r_binary64_11612` `associate-+l+_binary64_11605` `*-commutative_binary64_11603`
6×	`associate-+r+_binary64_11604`
5×	`+-commutative_binary64_11602`
4×	`distribute-rgt1-in_binary64_11628` `distribute-lft1-in_binary64_11627` `distribute-lft-out_binary64_11623` `count-2_binary64_11620` `associate-l_binary64_11613`
2×	`distribute-rgt-out_binary64_11625`
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` `log-prod_binary64_11758` `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` `neg-mul-1_binary64_11668` `neg-sub0_binary64_11667` `unsub-neg_binary64_11666` `sub-neg_binary64_11665` `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` `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` `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` `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` `distribute-rgt-out--_binary64_11626` `distribute-lft-out--_binary64_11624` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621` `associate-/l/_binary64_11619` `associate-/r/_binary64_11618` `associate-/l_binary64_11617` `associate-/r_binary64_11616` `associate-l/_binary64_11615` `associate-*r/_binary64_11614` `associate--r-_binary64_11611` `associate--l-_binary64_11610` `associate--l+_binary64_11609` `associate--r+_binary64_11608` `associate-+l-_binary64_11607` `associate-+r-_binary64_11606`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	21	38
2	40	26
3	59	26
4	67	26
5	69	26
6	67	26
0	2	2
1	2	2

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
25%	74.9%	0.1%	5
25%	50%	25.1%	6
25%	31.2%	43.8%	7
31.2%	25%	43.8%	8
39%	17.2%	43.8%	9
42.9%	13.3%	43.8%	10
47.2%	9%	43.8%	11
49.4%	6.8%	43.8%	12
51.6%	4.6%	43.8%	13
52.7%	3.5%	43.8%	14

Compiler

Compiled 16 to 8 computations (50% saved)

sample15.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 31 to 17 computations (45.2% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`associate-r_binary64_11612` `associate-+l+_binary64_11605` `*-commutative_binary64_11603`
3×	`associate-+r+_binary64_11604` `+-commutative_binary64_11602`
2×	`distribute-rgt1-in_binary64_11628` `distribute-lft1-in_binary64_11627` `distribute-lft-out_binary64_11623` `count-2_binary64_11620` `associate-l_binary64_11613`
1×	`1-exp_binary64_11716` `distribute-rgt-out_binary64_11625`
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` `log-prod_binary64_11758` `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` `neg-mul-1_binary64_11668` `neg-sub0_binary64_11667` `unsub-neg_binary64_11666` `sub-neg_binary64_11665` `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` `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` `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` `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` `distribute-rgt-out--_binary64_11626` `distribute-lft-out--_binary64_11624` `distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621` `associate-/l/_binary64_11619` `associate-/r/_binary64_11618` `associate-/l_binary64_11617` `associate-/r_binary64_11616` `associate-l/_binary64_11615` `associate-*r/_binary64_11614` `associate--r-_binary64_11611` `associate--l-_binary64_11610` `associate--l+_binary64_11609` `associate--r+_binary64_11608` `associate-+l-_binary64_11607` `associate-+r-_binary64_11606`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	22
1	14	19
2	24	13
3	35	13
4	40	13
5	41	13
6	39	13

prune7.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 2

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x x) (.f64 y (*.f64 y 3)))
0.2b	(.f64 y (.f64 y 3))

rewrite37.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
4×	`add-log-exp_binary64_11711`
3×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `add-cube-cbrt_binary64_11707` `cbrt-unprod_binary64_11705` `add-sqr-sqrt_binary64_11694` `-un-lft-identity_binary64_11672` `associate-l*_binary64_11613`
1×	`associate-r_binary64_11612` `*-commutative_binary64_11603` `sum-log_binary64_11763` `flip3-+_binary64_11675` `flip-+_binary64_11646` `+-commutative_binary64_11602`

Counts

2 → 29

Calls

2 calls:

5.0ms	(.f64 y (.f64 y 3))
5.0ms	(+.f64 (.f64 x x) (.f64 y (*.f64 y 3)))

Compiler

Compiled 476 to 252 computations (47.1% saved)

series198.0ms (5.1%)

Error

0.0b

Counts

2 → 15

Calls

2 calls:

156.0ms	(+.f64 (.f64 x x) (.f64 y (*.f64 y 3)))
33.0ms	(.f64 y (.f64 y 3))

Compiler

Compiled 291 to 264 computations (9.3% saved)

simplify89.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

484×	`associate-l_binary64_11613`
393×	`cancel-sign-sub-inv_binary64_11638`
375×	`distribute-rgt-out_binary64_11625`
327×	`distribute-rgt-neg-in_binary64_11630`
324×	`associate-r_binary64_11612`
309×	`distribute-rgt-in_binary64_11622`
296×	`distribute-lft-neg-in_binary64_11629`
283×	`distribute-lft-in_binary64_11621`
237×	`unswap-sqr_binary64_11640`
194×	`neg-mul-1_binary64_11668`
107×	`*-commutative_binary64_11603`
99×	`sqr-pow_binary64_11644`
89×	`neg-sub0_binary64_11667`
87×	`associate-+l+_binary64_11605`
83×	`unsub-neg_binary64_11666` `associate-+r+_binary64_11604`
82×	`sub-neg_binary64_11665`
65×	`exp-prod_binary64_11724`
63×	`distribute-lft-out_binary64_11623`
60×	`distribute-rgt-out--_binary64_11626`
58×	`cube-prod_binary64_11700`
40×	`distribute-lft-neg-out_binary64_11631`
39×	`log-prod_binary64_11758`
36×	`unpow3_binary64_11738`
33×	`+-commutative_binary64_11602`
32×	`pow-sqr_binary64_11645`
25×	`pow-plus_binary64_11735` `swap-sqr_binary64_11639`
20×	`cube-mult_binary64_11702`
17×	`distribute-rgt-neg-out_binary64_11632`
15×	`associate-+l-_binary64_11607`
13×	`exp-sum_binary64_11718` `cube-unmult_binary64_11709` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654`
12×	`log-pow_binary64_11761` `sub0-neg_binary64_11659`
11×	`prod-exp_binary64_11721` `associate-/l*_binary64_11617` `associate-+r-_binary64_11606`
10×	`distribute-neg-in_binary64_11633`
9×	`distribute-lft-out--_binary64_11624`
7×	`+-rgt-identity_binary64_11657` `distribute-neg-out_binary64_11634`
6×	`difference-of-squares_binary64_11641`
5×	`associate-/l/_binary64_11619` `associate-*r/_binary64_11614`
4×	`exp-lft-cube_binary64_11728` `associate--r+_binary64_11608`
3×	`cancel-sign-sub_binary64_11637`
2×	`unpow2_binary64_11737` `unpow1/2_binary64_11736` `unpow1_binary64_11730` `sqr-neg_binary64_11686` `rem-sqrt-square_binary64_11685` `count-2_binary64_11620` `associate-/r/_binary64_11618` `associate-/r*_binary64_11616`
1×	`exp-diff_binary64_11720` `1-exp_binary64_11716` `cube-neg_binary64_11699` `times-frac_binary64_11678` `-rgt-identity_binary64_11662` `-lft-identity_binary64_11661` `remove-double-neg_binary64_11660` `distribute-rgt1-in_binary64_11628` `associate--l+_binary64_11609`
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-rec_binary64_11760` `log-div_binary64_11759` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `exp-to-pow_binary64_11734` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow-1_binary64_11729` `exp-lft-sqr_binary64_11727` `exp-cbrt_binary64_11726` `exp-sqrt_binary64_11725` `div-exp_binary64_11723` `rec-exp_binary64_11722` `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` `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-square-sqrt_binary64_11684` `div-sub_binary64_11677` `mul-1-neg_binary64_11664` `/-rgt-identity_binary64_11663` `--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` `remove-double-div_binary64_11648` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `distribute-neg-frac_binary64_11636` `distribute-frac-neg_binary64_11635` `distribute-lft1-in_binary64_11627` `associate-l/_binary64_11615` `associate--r-_binary64_11611` `associate--l-_binary64_11610`

Counts

44 → 37

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	59	544
1	167	499
2	522	484
3	1513	482
4	3483	482
5	4778	482
6	4949	482

prune36.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	32	5	37
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	32	7	39

Error

0.0b

Counts

39 → 7

Compiler

Compiled 528 to 265 computations (49.8% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 y y))
0.1b	(+.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 y y)) (.f64 y y))

rewrite44.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-log-exp_binary64_11711`
9×	`sum-log_binary64_11763`
2×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708` `add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694` `flip3-+_binary64_11675` `*-un-lft-identity_binary64_11672` `flip-+_binary64_11646` `associate-+l+_binary64_11605` `+-commutative_binary64_11602`

Counts

2 → 27

Calls

2 calls:

10.0ms	(+.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 y y)) (.f64 y y))
7.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 y y))

Compiler

Compiled 740 to 97 computations (86.9% saved)

series352.0ms (9.1%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

174.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 y y))
163.0ms	(+.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 y y)) (.f64 y y))

Compiler

Compiled 540 to 447 computations (17.2% saved)

simplify110.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

520×	`cancel-sign-sub-inv_binary64_11638`
414×	`distribute-rgt-out_binary64_11625`
376×	`distribute-rgt-in_binary64_11622`
343×	`distribute-lft-in_binary64_11621`
239×	`distribute-lft-out_binary64_11623`
225×	`associate-+l+_binary64_11605`
210×	`times-frac_binary64_11678`
169×	`unswap-sqr_binary64_11640`
167×	`associate-l_binary64_11613`
163×	`associate-+r+_binary64_11604`
149×	`associate-r_binary64_11612`
124×	`sub-neg_binary64_11665`
113×	`exp-prod_binary64_11724`
112×	`neg-mul-1_binary64_11668`
109×	`exp-sum_binary64_11718`
108×	`distribute-neg-in_binary64_11633`
91×	`distribute-rgt-out--_binary64_11626`
81×	`*-commutative_binary64_11603`
72×	`distribute-rgt-neg-in_binary64_11630`
65×	`distribute-lft-neg-in_binary64_11629`
60×	`unsub-neg_binary64_11666`
51×	`distribute-lft-out--_binary64_11624`
46×	`+-commutative_binary64_11602`
45×	`difference-of-squares_binary64_11641` `associate--r+_binary64_11608`
42×	`unpow3_binary64_11738`
41×	`sqr-pow_binary64_11644`
40×	`associate--l+_binary64_11609`
32×	`cube-prod_binary64_11700`
28×	`exp-diff_binary64_11720`
26×	`associate-+r-_binary64_11606`
24×	`distribute-lft-neg-out_binary64_11631`
23×	`neg-sub0_binary64_11667`
21×	`associate-+l-_binary64_11607`
18×	`cube-unmult_binary64_11709`
16×	`+-rgt-identity_binary64_11657` `distribute-rgt-neg-out_binary64_11632`
11×	`pow-sqr_binary64_11645`
10×	`pow-plus_binary64_11735` `distribute-rgt1-in_binary64_11628` `distribute-lft1-in_binary64_11627`
9×	`sub0-neg_binary64_11659` `swap-sqr_binary64_11639` `associate-/l*_binary64_11617`
7×	`mul0-rgt_binary64_11655` `mul0-lft_binary64_11654`
6×	`prod-exp_binary64_11721` `+-inverses_binary64_11651` `cancel-sign-sub_binary64_11637`
4×	`cube-mult_binary64_11702` `sqr-neg_binary64_11686` `count-2_binary64_11620` `associate-/l/_binary64_11619`
2×	`unpow2_binary64_11737` `unpow1/2_binary64_11736` `unpow1_binary64_11730` `rem-sqrt-square_binary64_11685` `associate-/r/_binary64_11618`
1×	`exp-lft-cube_binary64_11728` `exp-lft-sqr_binary64_11727` `1-exp_binary64_11716` `cube-div_binary64_11701` `cube-neg_binary64_11699` `div-sub_binary64_11677` `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` `log-pow_binary64_11761` `log-rec_binary64_11760` `log-div_binary64_11759` `log-prod_binary64_11758` `pow-base-0_binary64_11756` `unpow1/3_binary64_11739` `exp-to-pow_binary64_11734` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow-1_binary64_11729` `exp-cbrt_binary64_11726` `exp-sqrt_binary64_11725` `div-exp_binary64_11723` `rec-exp_binary64_11722` `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` `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-square-sqrt_binary64_11684` `mul-1-neg_binary64_11664` `/-rgt-identity_binary64_11663` `-rgt-identity_binary64_11662` `-lft-identity_binary64_11661` `remove-double-neg_binary64_11660` `--rgt-identity_binary64_11658` `+-lft-identity_binary64_11656` `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-frac-neg_binary64_11635` `associate-/r_binary64_11616` `associate-l/_binary64_11615` `associate-r/_binary64_11614` `associate--r-_binary64_11611` `associate--l-_binary64_11610`

Counts

51 → 45

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	57	904
1	172	822
2	531	709
3	2130	709
4	4241	709
5	4976	709
6	4849	709

prune37.0ms (1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	45	7	52

Error

0.0b

Counts

52 → 7

Compiler

Compiled 689 to 280 computations (59.4% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (.f64 y y))
0.3b	(.f64 (sqrt.f64 (.f64 3 (.f64 y y))) (sqrt.f64 (.f64 3 (*.f64 y y))))
18.6b	(sqrt.f64 (.f64 3 (.f64 y y)))
18.6b	(sqrt.f64 (.f64 3 (.f64 y y)))

rewrite163.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

148×	`pow1_binary64_11733`
80×	`pow-prod-down_binary64_11743`
66×	`sqrt-pow1_binary64_11690`
17×	`pow-prod-up_binary64_11742`
14×	`pow1/2_binary64_11752`
12×	`add-sqr-sqrt_binary64_11694`
11×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708` `pow-sqr_binary64_11645`
9×	`add-cube-cbrt_binary64_11707` `*-un-lft-identity_binary64_11672`
7×	`associate-l_binary64_11613`
6×	`sqrt-prod_binary64_11688`
5×	`associate-r_binary64_11612`
4×	`add-log-exp_binary64_11711` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `swap-sqr_binary64_11639`
2×	`unswap-sqr_binary64_11640` `*-commutative_binary64_11603`
1×	`pow2_binary64_11753` `pow-plus_binary64_11735` `sqrt-unprod_binary64_11692` `rem-square-sqrt_binary64_11684`

Counts

4 → 109

Calls

4 calls:

15.0ms	(.f64 (sqrt.f64 (.f64 3 (.f64 y y))) (sqrt.f64 (.f64 3 (*.f64 y y))))
6.0ms	(.f64 3 (.f64 y y))
5.0ms	(sqrt.f64 (.f64 3 (.f64 y y)))
5.0ms	(sqrt.f64 (.f64 3 (.f64 y y)))

Compiler

Compiled 2280 to 1252 computations (45.1% saved)

series209.0ms (5.4%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

75.0ms	(.f64 (sqrt.f64 (.f64 3 (.f64 y y))) (sqrt.f64 (.f64 3 (*.f64 y y))))
45.0ms	(sqrt.f64 (.f64 3 (.f64 y y)))
43.0ms	(sqrt.f64 (.f64 3 (.f64 y y)))
33.0ms	(.f64 3 (.f64 y y))

Compiler

Compiled 543 to 412 computations (24.1% saved)

simplify109.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

545×	`associate-r_binary64_11612`
378×	`unswap-sqr_binary64_11640`
317×	`sqr-pow_binary64_11644`
282×	`associate-/l*_binary64_11617`
225×	`associate-/l/_binary64_11619`
197×	`associate-/r/_binary64_11618`
196×	`log-prod_binary64_11758`
134×	`distribute-rgt-in_binary64_11622` `*-commutative_binary64_11603`
123×	`exp-prod_binary64_11724`
115×	`pow-sqr_binary64_11645`
108×	`distribute-lft-in_binary64_11621`
93×	`swap-sqr_binary64_11639`
92×	`cube-prod_binary64_11700`
90×	`+-commutative_binary64_11602`
86×	`associate-l_binary64_11613`
68×	`distribute-lft-out_binary64_11623`
59×	`log-div_binary64_11759`
55×	`associate-+l+_binary64_11605`
52×	`associate-+r+_binary64_11604`
42×	`distribute-rgt-out_binary64_11625`
39×	`times-frac_binary64_11678`
37×	`pow-plus_binary64_11735`
36×	`associate-*r/_binary64_11614`
35×	`log-pow_binary64_11761` `rem-sqrt-square_binary64_11685`
32×	`unpow3_binary64_11738`
29×	`*-lft-identity_binary64_11661` `distribute-rgt-neg-in_binary64_11630`
27×	`cube-mult_binary64_11702`
23×	`distribute-lft-neg-in_binary64_11629` `count-2_binary64_11620`
18×	`associate-/r*_binary64_11616`
17×	`neg-sub0_binary64_11667`
15×	`neg-mul-1_binary64_11668`
13×	`sub-neg_binary64_11665` `*-rgt-identity_binary64_11662`
9×	`unpow1/2_binary64_11736` `cube-unmult_binary64_11709`
7×	`unpow2_binary64_11737` `prod-exp_binary64_11721`
6×	`cube-div_binary64_11701` `cancel-sign-sub-inv_binary64_11638`
5×	`unpow1_binary64_11730` `distribute-rgt1-in_binary64_11628`
4×	`exp-lft-cube_binary64_11728` `rem-square-sqrt_binary64_11684` `unsub-neg_binary64_11666`
2×	`log-rec_binary64_11760` `mul-1-neg_binary64_11664` `mul0-rgt_binary64_11655` `mul0-lft_binary64_11654` `distribute-lft-neg-out_binary64_11631` `distribute-lft1-in_binary64_11627`
1×	`exp-sqrt_binary64_11725` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-3cbrt-rft_binary64_11698` `rem-3cbrt-lft_binary64_11697` `rem-cbrt-cube_binary64_11696` `/-rgt-identity_binary64_11663` `sub0-neg_binary64_11659` `--rgt-identity_binary64_11658` `associate-+l-_binary64_11607`
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` `exp-to-pow_binary64_11734` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow-1_binary64_11729` `exp-lft-sqr_binary64_11727` `exp-cbrt_binary64_11726` `div-exp_binary64_11723` `rec-exp_binary64_11722` `exp-diff_binary64_11720` `exp-neg_binary64_11719` `exp-sum_binary64_11718` `e-exp-1_binary64_11717` `exp-0_binary64_11714` `rem-log-exp_binary64_11713` `rem-exp-log_binary64_11712` `cube-neg_binary64_11699` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `div-sub_binary64_11677` `remove-double-neg_binary64_11660` `+-rgt-identity_binary64_11657` `+-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` `difference-of-sqr--1_binary64_11643` `difference-of-sqr-1_binary64_11642` `difference-of-squares_binary64_11641` `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-rgt-out--_binary64_11626` `distribute-lft-out--_binary64_11624` `associate-l/_binary64_11615` `associate--r-_binary64_11611` `associate--l-_binary64_11610` `associate--l+_binary64_11609` `associate--r+_binary64_11608` `associate-+r-_binary64_11606`

Counts

121 → 88

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	77	1061
1	134	907
2	402	884
3	1226	871
4	2319	772
5	3072	772
6	4889	772
7	4997	772

prune83.0ms (2.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	2	2	4
Picked	0	1	1
Done	0	2	2
Total	89	6	95

Error

0.0b

Counts

95 → 6

Compiler

Compiled 1335 to 715 computations (46.4% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (cbrt.f64 (.f64 3 (.f64 y y))) (cbrt.f64 (.f64 3 (*.f64 y y))))
19.4b	(cbrt.f64 (.f64 3 (.f64 y y)))
19.4b	(cbrt.f64 (.f64 3 (.f64 y y)))
19.4b	(cbrt.f64 (.f64 3 (.f64 y y)))

rewrite109.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`pow1_binary64_11733`
10×	`add-sqr-sqrt_binary64_11694`
9×	`pow1/3_binary64_11754`
8×	`add-cube-cbrt_binary64_11707` `*-un-lft-identity_binary64_11672`
7×	`cbrt-prod_binary64_11703`
6×	`add-exp-log_binary64_11710`
4×	`add-log-exp_binary64_11711` `add-cbrt-cube_binary64_11708` `swap-sqr_binary64_11639` `associate-l_binary64_11613` `associate-r_binary64_11612`
2×	`pow-prod-down_binary64_11743` `pow-prod-up_binary64_11742` `pow-sqr_binary64_11645`
1×	`pow2_binary64_11753` `pow-plus_binary64_11735` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `unswap-sqr_binary64_11640` `*-commutative_binary64_11603`

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 3 (.f64 y y))) (cbrt.f64 (.f64 3 (*.f64 y y))))
5.0ms	(cbrt.f64 (.f64 3 (.f64 y y)))
5.0ms	(cbrt.f64 (.f64 3 (.f64 y y)))
4.0ms	(cbrt.f64 (.f64 3 (.f64 y y)))

Compiler

Compiled 1745 to 948 computations (45.7% saved)

series653.0ms (16.8%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

185.0ms	(.f64 (cbrt.f64 (.f64 3 (.f64 y y))) (cbrt.f64 (.f64 3 (*.f64 y y))))
163.0ms	(cbrt.f64 (.f64 3 (.f64 y y)))
145.0ms	(cbrt.f64 (.f64 3 (.f64 y y)))
144.0ms	(cbrt.f64 (.f64 3 (.f64 y y)))

Compiler

Compiled 891 to 658 computations (26.2% saved)

simplify73.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

537×	`associate-*r/_binary64_11614`
467×	`associate-*l/_binary64_11615`
345×	`*-commutative_binary64_11603`
296×	`associate-l_binary64_11613`
236×	`sqr-pow_binary64_11644`
234×	`unswap-sqr_binary64_11640`
218×	`associate-+l+_binary64_11605`
213×	`associate-r_binary64_11612`
195×	`associate-/l*_binary64_11617`
149×	`associate-/l/_binary64_11619`
130×	`associate-/r/_binary64_11618`
123×	`associate-+r+_binary64_11604`
115×	`distribute-rgt-in_binary64_11622`
101×	`distribute-lft-in_binary64_11621`
87×	`log-prod_binary64_11758`
82×	`exp-prod_binary64_11724`
78×	`swap-sqr_binary64_11639`
75×	`pow-sqr_binary64_11645`
72×	`associate-/r*_binary64_11616`
61×	`cube-prod_binary64_11700`
34×	`pow-plus_binary64_11735`
25×	`distribute-rgt-out_binary64_11625`
24×	`rem-sqrt-square_binary64_11685`
21×	`distribute-lft-out_binary64_11623`
19×	`unpow3_binary64_11738`
17×	`cube-unmult_binary64_11709` `times-frac_binary64_11678` `*-rgt-identity_binary64_11662`
16×	`*-lft-identity_binary64_11661`
12×	`log-pow_binary64_11761` `count-2_binary64_11620`
11×	`log-div_binary64_11759` `cube-div_binary64_11701`
10×	`cube-mult_binary64_11702`
8×	`unpow1/2_binary64_11736`
7×	`unpow2_binary64_11737`
6×	`distribute-rgt1-in_binary64_11628`
5×	`unpow1_binary64_11730`
4×	`distribute-lft1-in_binary64_11627`
2×	`unpow1/3_binary64_11739` `exp-sqrt_binary64_11725` `rem-3cbrt-lft_binary64_11697` `+-commutative_binary64_11602`
1×	`exp-lft-sqr_binary64_11727` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `rem-3cbrt-rft_binary64_11698` `rem-cbrt-cube_binary64_11696` `rem-square-sqrt_binary64_11684`
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-rec_binary64_11760` `pow-base-0_binary64_11756` `exp-to-pow_binary64_11734` `pow-base-1_binary64_11732` `unpow0_binary64_11731` `unpow-1_binary64_11729` `exp-lft-cube_binary64_11728` `exp-cbrt_binary64_11726` `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-0_binary64_11714` `rem-log-exp_binary64_11713` `rem-exp-log_binary64_11712` `cube-neg_binary64_11699` `rem-cube-cbrt_binary64_11695` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `div-sub_binary64_11677` `neg-mul-1_binary64_11668` `neg-sub0_binary64_11667` `unsub-neg_binary64_11666` `sub-neg_binary64_11665` `mul-1-neg_binary64_11664` `/-rgt-identity_binary64_11663` `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` `difference-of-squares_binary64_11641` `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` `distribute-rgt-out--_binary64_11626` `distribute-lft-out--_binary64_11624` `associate--r-_binary64_11611` `associate--l-_binary64_11610` `associate--l+_binary64_11609` `associate--r+_binary64_11608` `associate-+l-_binary64_11607` `associate-+r-_binary64_11606`

Counts

70 → 54

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	52	946
1	99	923
2	279	855
3	914	842
4	1508	724
5	2202	724
6	4954	724

prune67.0ms (1.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	53	1	54
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	53	7	60

Error

Counts

60 → 7

Compiler

Compiled 1337 to 728 computations (45.5% saved)

regimes292.0ms (7.5%)

Accuracy

Total 0.1b remaining (96.9%)

Threshold costs 0.1b (96.9%)

Compiler

Compiled 2735 to 2076 computations (24.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64_11603`
1×	`+-commutative_binary64_11602`
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` `1-exp_binary64_11716` `exp-1-e_binary64_11715` `exp-0_binary64_11714` `sqr-abs_binary64_11687` `sqr-neg_binary64_11686` `neg-mul-1_binary64_11668` `neg-sub0_binary64_11667` `unsub-neg_binary64_11666` `sub-neg_binary64_11665` `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	8	13
1	11	13
2	11	13

end0.0ms (0%)

sample942.0ms (24.3%)

Algorithm

1×

intervals

Results

218.0ms	8000×	body	128	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 530 to 400 computations (24.5% saved)

Details

analyze207.0ms (5.3%)

sample15.0ms (0.4%)

simplify9.0ms (0.2%)

prune7.0ms (0.2%)

localize5.0ms (0.1%)

rewrite37.0ms (1%)

series198.0ms (5.1%)

simplify89.0ms (2.3%)

prune36.0ms (0.9%)

localize9.0ms (0.2%)

rewrite44.0ms (1.1%)

series352.0ms (9.1%)

simplify110.0ms (2.8%)

prune37.0ms (1%)

localize8.0ms (0.2%)

rewrite163.0ms (4.2%)

series209.0ms (5.4%)

simplify109.0ms (2.8%)

prune83.0ms (2.1%)

localize9.0ms (0.2%)

rewrite109.0ms (2.8%)

series653.0ms (16.8%)

simplify73.0ms (1.9%)

prune67.0ms (1.7%)

regimes292.0ms (7.5%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample942.0ms (24.3%)

Profiling