Details

analyze571.0ms (7.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

54×	`associate-/l*_binary64_12981`
47×	`*-commutative_binary64_12967`
38×	`associate-/r/_binary64_12982`
24×	`associate-*l/_binary64_12979`
20×	`associate-/l/_binary64_12983`
18×	`associate-/r_binary64_12980` `associate-r/_binary64_12978`
8×	`times-frac_binary64_13042`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `sinh-def_binary64_13221` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `log-pow_binary64_13125` `log-rec_binary64_13124` `log-div_binary64_13123` `log-prod_binary64_13122` `pow-base-0_binary64_13120` `unpow1/3_binary64_13103` `unpow3_binary64_13102` `unpow2_binary64_13101` `unpow1/2_binary64_13100` `pow-plus_binary64_13099` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow1_binary64_13094` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `exp-sqrt_binary64_13089` `exp-prod_binary64_13088` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `exp-diff_binary64_13084` `exp-neg_binary64_13083` `exp-sum_binary64_13082` `e-exp-1_binary64_13081` `1-exp_binary64_13080` `exp-1-e_binary64_13079` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-unmult_binary64_13073` `cube-mult_binary64_13066` `cube-div_binary64_13065` `cube-prod_binary64_13064` `cube-neg_binary64_13063` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-sqrt-square_binary64_13049` `rem-square-sqrt_binary64_13048` `div-sub_binary64_13041` `neg-mul-1_binary64_13032` `neg-sub0_binary64_13031` `unsub-neg_binary64_13030` `sub-neg_binary64_13029` `mul-1-neg_binary64_13028` `/-rgt-identity_binary64_13027` `-rgt-identity_binary64_13026` `-lft-identity_binary64_13025` `remove-double-neg_binary64_13024` `sub0-neg_binary64_13023` `--rgt-identity_binary64_13022` `+-rgt-identity_binary64_13021` `+-lft-identity_binary64_13020` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `div0_binary64_13017` `-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `pow-sqr_binary64_13009` `sqr-pow_binary64_13008` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `unswap-sqr_binary64_13004` `swap-sqr_binary64_13003` `cancel-sign-sub-inv_binary64_13002` `cancel-sign-sub_binary64_13001` `distribute-neg-frac_binary64_13000` `distribute-frac-neg_binary64_12999` `distribute-neg-out_binary64_12998` `distribute-neg-in_binary64_12997` `distribute-rgt-neg-out_binary64_12996` `distribute-lft-neg-out_binary64_12995` `distribute-rgt-neg-in_binary64_12994` `distribute-lft-neg-in_binary64_12993` `distribute-rgt1-in_binary64_12992` `distribute-lft1-in_binary64_12991` `distribute-rgt-out--_binary64_12990` `distribute-rgt-out_binary64_12989` `distribute-lft-out--_binary64_12988` `distribute-lft-out_binary64_12987` `distribute-rgt-in_binary64_12986` `distribute-lft-in_binary64_12985` `count-2_binary64_12984` `associate-l_binary64_12977` `associate-r*_binary64_12976` `associate--r-_binary64_12975` `associate--l-_binary64_12974` `associate--l+_binary64_12973` `associate--r+_binary64_12972` `associate-+l-_binary64_12971` `associate-+r-_binary64_12970` `associate-+l+_binary64_12969` `associate-+r+_binary64_12968` `+-commutative_binary64_12966`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	48
1	38	48
2	79	48
3	164	48
4	217	48
5	235	48
6	235	48
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
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
42.1%	57.7%	0.1%	9
56.9%	42.9%	0.1%	10
59.5%	40.4%	0.1%	11
68.1%	31.8%	0.1%	12
75.1%	24.4%	0.5%	13
75.7%	23.3%	1%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample36.0ms (0.5%)

Algorithm

1×

intervals

Results

9.0ms	174×	body	128	valid
6.0ms	29×	body	1024	valid
5.0ms	35×	body	512	valid
2.0ms	18×	body	256	valid
1.0ms	20×	body	128	invalid
0.0ms	2×	body	256	invalid
0.0ms	1×	body	1024	invalid
0.0ms	1×	body	512	invalid

Compiler

Compiled 17 to 18 computations (-5.9% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`associate-/l*_binary64_12981`
12×	`*-commutative_binary64_12967`
10×	`associate-/r/_binary64_12982`
6×	`associate-*l/_binary64_12979`
5×	`associate-/l/_binary64_12983` `associate-/r_binary64_12980` `associate-r/_binary64_12978`
2×	`times-frac_binary64_13042`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `sinh-def_binary64_13221` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `log-pow_binary64_13125` `log-rec_binary64_13124` `log-div_binary64_13123` `log-prod_binary64_13122` `pow-base-0_binary64_13120` `unpow1/3_binary64_13103` `unpow3_binary64_13102` `unpow2_binary64_13101` `unpow1/2_binary64_13100` `pow-plus_binary64_13099` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow1_binary64_13094` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `exp-sqrt_binary64_13089` `exp-prod_binary64_13088` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `exp-diff_binary64_13084` `exp-neg_binary64_13083` `exp-sum_binary64_13082` `e-exp-1_binary64_13081` `1-exp_binary64_13080` `exp-1-e_binary64_13079` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-unmult_binary64_13073` `cube-mult_binary64_13066` `cube-div_binary64_13065` `cube-prod_binary64_13064` `cube-neg_binary64_13063` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-sqrt-square_binary64_13049` `rem-square-sqrt_binary64_13048` `div-sub_binary64_13041` `neg-mul-1_binary64_13032` `neg-sub0_binary64_13031` `unsub-neg_binary64_13030` `sub-neg_binary64_13029` `mul-1-neg_binary64_13028` `/-rgt-identity_binary64_13027` `-rgt-identity_binary64_13026` `-lft-identity_binary64_13025` `remove-double-neg_binary64_13024` `sub0-neg_binary64_13023` `--rgt-identity_binary64_13022` `+-rgt-identity_binary64_13021` `+-lft-identity_binary64_13020` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `div0_binary64_13017` `-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `pow-sqr_binary64_13009` `sqr-pow_binary64_13008` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `unswap-sqr_binary64_13004` `swap-sqr_binary64_13003` `cancel-sign-sub-inv_binary64_13002` `cancel-sign-sub_binary64_13001` `distribute-neg-frac_binary64_13000` `distribute-frac-neg_binary64_12999` `distribute-neg-out_binary64_12998` `distribute-neg-in_binary64_12997` `distribute-rgt-neg-out_binary64_12996` `distribute-lft-neg-out_binary64_12995` `distribute-rgt-neg-in_binary64_12994` `distribute-lft-neg-in_binary64_12993` `distribute-rgt1-in_binary64_12992` `distribute-lft1-in_binary64_12991` `distribute-rgt-out--_binary64_12990` `distribute-rgt-out_binary64_12989` `distribute-lft-out--_binary64_12988` `distribute-lft-out_binary64_12987` `distribute-rgt-in_binary64_12986` `distribute-lft-in_binary64_12985` `count-2_binary64_12984` `associate-l_binary64_12977` `associate-r*_binary64_12976` `associate--r-_binary64_12975` `associate--l-_binary64_12974` `associate--l+_binary64_12973` `associate--r+_binary64_12972` `associate-+l-_binary64_12971` `associate-+r-_binary64_12970` `associate-+l+_binary64_12969` `associate-+r+_binary64_12968` `+-commutative_binary64_12966`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	13	12
2	24	12
3	48	12
4	63	12
5	68	12
6	68	12

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

3.0b

Counts

1 → 1

Compiler

Compiled 8 to 7 computations (12.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)
3.0b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

rewrite98.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

26×	`add-sqr-sqrt_binary64_13058`
22×	`times-frac_binary64_13042`
21×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
19×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
13×	`associate-r_binary64_12976`
6×	`div-exp_binary64_13087` `cbrt-undiv_binary64_13070` `associate-/r*_binary64_12980`
5×	`pow1_binary64_13097`
4×	`prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `associate-/l*_binary64_12981`
3×	`add-log-exp_binary64_13075` `div-inv_binary64_13033` `associate-l_binary64_12977`
2×	`frac-2neg_binary64_13047` `clear-num_binary64_13035` `associate-*r/_binary64_12978` `unswap-sqr_binary64_13004`
1×	`associate-/l/_binary64_12983` `pow-prod-down_binary64_13107` `*-commutative_binary64_12967`

Counts

3 → 83

Calls

3 calls:

10.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
7.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)

Compiler

Compiled 1235 to 325 computations (73.7% saved)

series456.0ms (5.9%)

Error

0.1b

Counts

3 → 21

Calls

3 calls:

281.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
126.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
37.0ms	(/.f64 (sin.f64 y) y)

Compiler

Compiled 511 to 344 computations (32.7% saved)

simplify98.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

557×	`associate-*l/_binary64_12979`
412×	`associate-l_binary64_12977`
365×	`associate-r_binary64_12976`
364×	`sub-neg_binary64_13029`
363×	`associate-/r/_binary64_12982`
342×	`associate-/r*_binary64_12980`
183×	`*-commutative_binary64_12967`
127×	`associate-/l*_binary64_12981`
119×	`associate-+l-_binary64_12971`
115×	`log-prod_binary64_13122`
112×	`cube-div_binary64_13065`
111×	`log-div_binary64_13123`
105×	`cube-prod_binary64_13064`
102×	`associate--l+_binary64_12973`
92×	`unsub-neg_binary64_13030` `associate-+l+_binary64_12969`
91×	`associate--l-_binary64_12974`
84×	`neg-mul-1_binary64_13032` `distribute-rgt-neg-in_binary64_12994`
81×	`associate-*r/_binary64_12978`
78×	`neg-sub0_binary64_13031`
75×	`cancel-sign-sub-inv_binary64_13002`
72×	`distribute-lft-neg-in_binary64_12993`
71×	`times-frac_binary64_13042`
63×	`associate-/l/_binary64_12983`
57×	`sqr-pow_binary64_13008`
56×	`associate--r+_binary64_12972`
50×	`*-lft-identity_binary64_13025`
49×	`*-rgt-identity_binary64_13026` `associate-+r-_binary64_12970`
46×	`unpow3_binary64_13102` `associate--r-_binary64_12975`
44×	`cube-mult_binary64_13066`
42×	`distribute-neg-frac_binary64_13000`
40×	`div-sub_binary64_13041`
39×	`exp-prod_binary64_13088`
31×	`unswap-sqr_binary64_13004`
30×	`swap-sqr_binary64_13003`
22×	`/-rgt-identity_binary64_13027`
21×	`distribute-rgt-in_binary64_12986` `distribute-lft-in_binary64_12985`
20×	`+-commutative_binary64_12966`
16×	`distribute-neg-in_binary64_12997`
15×	`log-rec_binary64_13124`
12×	`associate-+r+_binary64_12968`
8×	`cube-unmult_binary64_13073`
7×	`+-rgt-identity_binary64_13021`
5×	`pow-sqr_binary64_13009` `distribute-frac-neg_binary64_12999` `distribute-neg-out_binary64_12998`
4×	`pow-plus_binary64_13099` `distribute-rgt-out--_binary64_12990`
3×	`log-pow_binary64_13125` `unpow1/2_binary64_13100` `rem-sqrt-square_binary64_13049` `sub0-neg_binary64_13023` `div0_binary64_13017`
2×	`exp-sum_binary64_13082` `distribute-lft-neg-out_binary64_12995` `distribute-lft-out--_binary64_12988` `count-2_binary64_12984`
1×	`unpow2_binary64_13101` `unpow1_binary64_13094` `1-exp_binary64_13080` `exp-1-e_binary64_13079` `remove-double-neg_binary64_13024` `--rgt-identity_binary64_13022` `+-inverses_binary64_13015` `remove-double-div_binary64_13012` `distribute-rgt1-in_binary64_12992` `distribute-lft-out_binary64_12987`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `sinh-def_binary64_13221` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `pow-base-0_binary64_13120` `unpow1/3_binary64_13103` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `exp-sqrt_binary64_13089` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `exp-diff_binary64_13084` `exp-neg_binary64_13083` `e-exp-1_binary64_13081` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-neg_binary64_13063` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-square-sqrt_binary64_13048` `mul-1-neg_binary64_13028` `+-lft-identity_binary64_13020` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `*-inverses_binary64_13016` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `cancel-sign-sub_binary64_13001` `distribute-rgt-neg-out_binary64_12996` `distribute-lft1-in_binary64_12991` `distribute-rgt-out_binary64_12989`

Counts

104 → 55

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	134	1440
1	318	1257
2	1145	1257
3	3426	1254
4	4575	1254
5	5060	1254

prune46.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	49	6	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	7	56

Error

0.0b

Counts

56 → 7

Compiler

Compiled 682 to 195 computations (71.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.8b	(.f64 (/.f64 (sin.f64 y) y) (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))))
1.0b	(/.f64 (.f64 (/.f64 (sin.f64 y) y) (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z))

rewrite143.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

54×	`add-exp-log_binary64_13074`
39×	`add-cbrt-cube_binary64_13072`
29×	`add-sqr-sqrt_binary64_13058`
22×	`times-frac_binary64_13042`
21×	`div-exp_binary64_13087` `cbrt-undiv_binary64_13070`
19×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
16×	`prod-exp_binary64_13085` `cbrt-unprod_binary64_13069`
13×	`associate-l_binary64_12977`
12×	`cbrt-prod_binary64_13067`
7×	`associate-r_binary64_12976`
6×	`pow1_binary64_13097` `associate-/r*_binary64_12980`
4×	`add-log-exp_binary64_13075` `unswap-sqr_binary64_13004`
3×	`div-inv_binary64_13033` `associate-/l/_binary64_12983`
2×	`frac-times_binary64_13046` `associate-l/_binary64_12979` `associate-r/_binary64_12978` `pow1/3_binary64_13118`
1×	`frac-2neg_binary64_13047` `clear-num_binary64_13035` `associate-/l_binary64_12981` `pow-prod-down_binary64_13107` `-commutative_binary64_12967`

Counts

4 → 110

Calls

4 calls:

13.0ms	(/.f64 (.f64 (/.f64 (sin.f64 y) y) (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z))
13.0ms	(.f64 (/.f64 (sin.f64 y) y) (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 2555 to 412 computations (83.9% saved)

series1.3s (16.9%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

699.0ms	(.f64 (/.f64 (sin.f64 y) y) (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))))
358.0ms	(/.f64 (.f64 (/.f64 (sin.f64 y) y) (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z))
114.0ms	(cbrt.f64 z)
110.0ms	(cbrt.f64 z)

Compiler

Compiled 1133 to 814 computations (28.2% saved)

simplify131.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

626×	`associate-/r/_binary64_12982`
498×	`*-commutative_binary64_12967`
289×	`log-prod_binary64_13122`
191×	`cube-prod_binary64_13064`
186×	`associate-/l*_binary64_12981`
174×	`associate-*l/_binary64_12979`
172×	`log-div_binary64_13123`
162×	`associate-*r/_binary64_12978`
158×	`times-frac_binary64_13042`
124×	`associate-/r*_binary64_12980`
116×	`associate-l_binary64_12977`
112×	`cube-div_binary64_13065`
101×	`associate-r_binary64_12976`
82×	`distribute-rgt-neg-in_binary64_12994` `associate-/l/_binary64_12983`
81×	`distribute-lft-neg-in_binary64_12993`
71×	`unswap-sqr_binary64_13004`
66×	`cancel-sign-sub-inv_binary64_13002`
58×	`sub-neg_binary64_13029` `distribute-neg-frac_binary64_13000`
57×	`exp-prod_binary64_13088`
53×	`associate--l+_binary64_12973`
44×	`unpow3_binary64_13102`
43×	`div-sub_binary64_13041`
42×	`associate-+l-_binary64_12971`
41×	`sqr-pow_binary64_13008`
40×	`cube-mult_binary64_13066`
38×	`associate-+l+_binary64_12969`
34×	`associate-+r-_binary64_12970`
31×	`associate--l-_binary64_12974`
30×	`associate-+r+_binary64_12968` `+-commutative_binary64_12966`
28×	`neg-sub0_binary64_13031`
25×	`*-rgt-identity_binary64_13026`
24×	`neg-mul-1_binary64_13032` `associate--r+_binary64_12972`
23×	`swap-sqr_binary64_13003`
19×	`log-pow_binary64_13125` `log-rec_binary64_13124` `/-rgt-identity_binary64_13027`
16×	`*-lft-identity_binary64_13025`
15×	`cube-unmult_binary64_13073`
13×	`associate--r-_binary64_12975`
12×	`pow-plus_binary64_13099`
8×	`distribute-neg-in_binary64_12997`
6×	`rem-sqrt-square_binary64_13049` `distribute-frac-neg_binary64_12999`
5×	`distribute-rgt-in_binary64_12986`
4×	`unpow2_binary64_13101` `unpow1/2_binary64_13100` `mul-1-neg_binary64_13028` `pow-sqr_binary64_13009` `distribute-lft-in_binary64_12985`
3×	`unpow1/3_binary64_13103` `unpow1_binary64_13094` `distribute-lft-neg-out_binary64_12995` `distribute-rgt-out--_binary64_12990`
2×	`unsub-neg_binary64_13030` `distribute-rgt-neg-out_binary64_12996` `distribute-rgt-out_binary64_12989` `count-2_binary64_12984`
1×	`1-exp_binary64_13080` `exp-1-e_binary64_13079` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cube-cbrt_binary64_13059` `distribute-lft-out--_binary64_12988` `distribute-lft-out_binary64_12987`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `sinh-def_binary64_13221` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `pow-base-0_binary64_13120` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `exp-sqrt_binary64_13089` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `exp-diff_binary64_13084` `exp-neg_binary64_13083` `exp-sum_binary64_13082` `e-exp-1_binary64_13081` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-neg_binary64_13063` `rem-cbrt-cube_binary64_13060` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-square-sqrt_binary64_13048` `remove-double-neg_binary64_13024` `sub0-neg_binary64_13023` `--rgt-identity_binary64_13022` `+-rgt-identity_binary64_13021` `+-lft-identity_binary64_13020` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `div0_binary64_13017` `*-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `cancel-sign-sub_binary64_13001` `distribute-neg-out_binary64_12998` `distribute-rgt1-in_binary64_12992` `distribute-lft1-in_binary64_12991`

Counts

136 → 101

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	197	3225
1	506	2014
2	2095	2014
3	4267	2014
4	4935	2014
5	4960	2014

prune92.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	103	5	108

Error

0.0b

Counts

108 → 5

Compiler

Compiled 1698 to 575 computations (66.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (sin.f64 y) y)
2.3b	(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))

rewrite83.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

36×	`add-sqr-sqrt_binary64_13058`
31×	`times-frac_binary64_13042`
24×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
16×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
13×	`associate-l_binary64_12977` `associate-r_binary64_12976`
5×	`div-exp_binary64_13087` `cbrt-undiv_binary64_13070`
4×	`pow1_binary64_13097` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `unswap-sqr_binary64_13004`
3×	`div-inv_binary64_13033` `associate-/l_binary64_12981` `associate-/r_binary64_12980`
2×	`add-log-exp_binary64_13075`
1×	`pow-prod-down_binary64_13107` `frac-times_binary64_13046` `associate-l/_binary64_12979` `associate-r/_binary64_12978` `*-commutative_binary64_12967` `frac-2neg_binary64_13047` `clear-num_binary64_13035`

Counts

2 → 77

Calls

2 calls:

11.0ms	(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))
4.0ms	(/.f64 (sin.f64 y) y)

Compiler

Compiled 1214 to 276 computations (77.3% saved)

series335.0ms (4.3%)

Error

0.0b

Counts

2 → 14

Calls

2 calls:

288.0ms	(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))
38.0ms	(/.f64 (sin.f64 y) y)

Compiler

Compiled 344 to 232 computations (32.6% saved)

simplify98.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

546×	`associate-/l*_binary64_12981`
500×	`associate-l_binary64_12977`
379×	`associate-r_binary64_12976`
331×	`times-frac_binary64_13042`
292×	`associate-/l/_binary64_12983`
203×	`associate-/r*_binary64_12980`
191×	`*-commutative_binary64_12967`
168×	`sub-neg_binary64_13029`
161×	`associate-/r/_binary64_12982`
147×	`log-div_binary64_13123`
139×	`associate-*l/_binary64_12979`
137×	`cube-div_binary64_13065`
128×	`associate-*r/_binary64_12978`
116×	`log-prod_binary64_13122`
105×	`cube-prod_binary64_13064`
71×	`neg-mul-1_binary64_13032`
68×	`*-rgt-identity_binary64_13026`
65×	`neg-sub0_binary64_13031`
60×	`*-lft-identity_binary64_13025` `unswap-sqr_binary64_13004`
59×	`unsub-neg_binary64_13030`
57×	`distribute-rgt-neg-in_binary64_12994`
54×	`associate--l+_binary64_12973`
51×	`cancel-sign-sub-inv_binary64_13002` `distribute-lft-neg-in_binary64_12993`
49×	`exp-prod_binary64_13088`
48×	`sqr-pow_binary64_13008`
45×	`/-rgt-identity_binary64_13027`
41×	`unpow3_binary64_13102`
38×	`cube-mult_binary64_13066` `associate--l-_binary64_12974`
35×	`swap-sqr_binary64_13003`
26×	`associate--r-_binary64_12975`
25×	`distribute-neg-in_binary64_12997`
21×	`log-rec_binary64_13124`
18×	`distribute-neg-frac_binary64_13000`
17×	`associate-+l-_binary64_12971` `+-commutative_binary64_12966`
15×	`distribute-rgt-in_binary64_12986`
14×	`div-sub_binary64_13041` `associate-+r+_binary64_12968`
13×	`associate-+l+_binary64_12969`
11×	`associate-+r-_binary64_12970`
10×	`remove-double-div_binary64_13012`
8×	`cube-unmult_binary64_13073`
7×	`distribute-lft-in_binary64_12985` `associate--r+_binary64_12972`
5×	`+-rgt-identity_binary64_13021` `pow-sqr_binary64_13009`
4×	`unpow1/2_binary64_13100` `pow-plus_binary64_13099`
3×	`log-pow_binary64_13125` `rem-sqrt-square_binary64_13049`
2×	`remove-double-neg_binary64_13024` `sub0-neg_binary64_13023` `distribute-neg-out_binary64_12998` `distribute-lft-out--_binary64_12988` `count-2_binary64_12984`
1×	`unpow2_binary64_13101` `unpow1_binary64_13094` `exp-sum_binary64_13082` `1-exp_binary64_13080` `exp-1-e_binary64_13079` `--rgt-identity_binary64_13022`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `sinh-def_binary64_13221` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `pow-base-0_binary64_13120` `unpow1/3_binary64_13103` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `exp-sqrt_binary64_13089` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `exp-diff_binary64_13084` `exp-neg_binary64_13083` `e-exp-1_binary64_13081` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-neg_binary64_13063` `rem-3cbrt-rft_binary64_13062` `rem-3cbrt-lft_binary64_13061` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-square-sqrt_binary64_13048` `mul-1-neg_binary64_13028` `+-lft-identity_binary64_13020` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `div0_binary64_13017` `*-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `cancel-sign-sub_binary64_13001` `distribute-frac-neg_binary64_12999` `distribute-rgt-neg-out_binary64_12996` `distribute-lft-neg-out_binary64_12995` `distribute-rgt1-in_binary64_12992` `distribute-lft1-in_binary64_12991` `distribute-rgt-out--_binary64_12990` `distribute-rgt-out_binary64_12989` `distribute-lft-out_binary64_12987`

Counts

91 → 50

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	139	1410
1	367	1256
2	1104	1256
3	3889	1253
4	4564	1253
5	4981	1253

prune42.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	50	5	55

Error

Counts

55 → 5

Compiler

Compiled 728 to 191 computations (73.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (sin.f64 y))
0.6b	(cbrt.f64 (sin.f64 y))
3.0b	(.f64 (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) 1) (*.f64 (/.f64 x z) (/.f64 (cbrt.f64 (sin.f64 y)) y)))
4.7b	(*.f64 (/.f64 x z) (/.f64 (cbrt.f64 (sin.f64 y)) y))

rewrite217.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

126×	`add-exp-log_binary64_13074`
67×	`add-cbrt-cube_binary64_13072`
59×	`prod-exp_binary64_13085`
47×	`add-sqr-sqrt_binary64_13058`
44×	`div-exp_binary64_13087`
37×	`times-frac_binary64_13042`
36×	`cbrt-unprod_binary64_13069`
28×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
26×	`cbrt-undiv_binary64_13070`
23×	`associate-r_binary64_12976`
20×	`associate-l_binary64_12977`
17×	`cbrt-prod_binary64_13067`
11×	`pow1_binary64_13097`
10×	`1-exp_binary64_13080`
6×	`frac-times_binary64_13046` `unswap-sqr_binary64_13004` `associate-*r/_binary64_12978`
4×	`pow-prod-down_binary64_13107` `add-log-exp_binary64_13075` `associate-*l/_binary64_12979`
3×	`div-inv_binary64_13033`
2×	`*-commutative_binary64_12967` `pow1/3_binary64_13118`

Counts

4 → 148

Calls

4 calls:

15.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) 1) (*.f64 (/.f64 x z) (/.f64 (cbrt.f64 (sin.f64 y)) y)))
15.0ms	(*.f64 (/.f64 x z) (/.f64 (cbrt.f64 (sin.f64 y)) y))
1.0ms	(cbrt.f64 (sin.f64 y))
1.0ms	(cbrt.f64 (sin.f64 y))

Compiler

Compiled 4260 to 954 computations (77.6% saved)

series1.1s (14%)

Error

Counts

4 → 28

Calls

4 calls:

546.0ms	(*.f64 (/.f64 x z) (/.f64 (cbrt.f64 (sin.f64 y)) y))
307.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) 1) (*.f64 (/.f64 x z) (/.f64 (cbrt.f64 (sin.f64 y)) y)))
105.0ms	(cbrt.f64 (sin.f64 y))
102.0ms	(cbrt.f64 (sin.f64 y))

Compiler

Compiled 1374 to 844 computations (38.6% saved)

simplify385.0ms (5%)

Algorithm

1×	egg-herbie

Rules

376×	`associate-/r/_binary64_12982`
297×	`log-prod_binary64_13122`
270×	`associate-l_binary64_12977`
256×	`associate-r_binary64_12976`
241×	`associate-*r/_binary64_12978`
227×	`associate-*l/_binary64_12979`
201×	`associate-/l*_binary64_12981`
187×	`cube-prod_binary64_13064`
179×	`log-div_binary64_13123`
177×	`*-commutative_binary64_12967`
168×	`times-frac_binary64_13042`
160×	`associate-/r*_binary64_12980`
129×	`exp-prod_binary64_13088`
123×	`cube-div_binary64_13065`
122×	`associate-+l+_binary64_12969`
121×	`associate-+r+_binary64_12968`
115×	`associate-+l-_binary64_12971`
104×	`unpow3_binary64_13102`
98×	`associate--r+_binary64_12972`
96×	`cube-mult_binary64_13066`
73×	`associate--l+_binary64_12973`
68×	`sub-neg_binary64_13029`
67×	`associate-+r-_binary64_12970`
65×	`/-rgt-identity_binary64_13027`
63×	`neg-mul-1_binary64_13032`
57×	`neg-sub0_binary64_13031` `swap-sqr_binary64_13003`
54×	`unswap-sqr_binary64_13004`
53×	`associate--l-_binary64_12974`
52×	`associate--r-_binary64_12975`
50×	`associate-/l/_binary64_12983`
46×	`sqr-pow_binary64_13008`
43×	`+-commutative_binary64_12966`
38×	`*-lft-identity_binary64_13025`
34×	`distribute-rgt-neg-in_binary64_12994`
33×	`distribute-lft-neg-in_binary64_12993`
32×	`*-rgt-identity_binary64_13026`
28×	`cancel-sign-sub-inv_binary64_13002`
21×	`log-rec_binary64_13124` `distribute-neg-in_binary64_12997`
16×	`log-pow_binary64_13125`
15×	`distribute-neg-frac_binary64_13000`
14×	`pow-plus_binary64_13099`
13×	`cube-unmult_binary64_13073`
6×	`rem-sqrt-square_binary64_13049` `distribute-rgt-in_binary64_12986`
5×	`unpow1/3_binary64_13103` `sub0-neg_binary64_13023` `pow-sqr_binary64_13009`
4×	`--rgt-identity_binary64_13022` `+-lft-identity_binary64_13020` `distribute-rgt-out_binary64_12989` `count-2_binary64_12984`
3×	`unpow1/2_binary64_13100`
2×	`unsub-neg_binary64_13030` `distribute-lft-out_binary64_12987` `distribute-lft-in_binary64_12985`
1×	`unpow2_binary64_13101` `unpow1_binary64_13094` `1-exp_binary64_13080` `exp-1-e_binary64_13079` `rem-3cbrt-lft_binary64_13061` `div-sub_binary64_13041` `remove-double-neg_binary64_13024` `distribute-neg-out_binary64_12998` `distribute-rgt-out--_binary64_12990` `distribute-lft-out--_binary64_12988`
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_13299` `erf-erfc_binary64_13298` `erf-odd_binary64_13297` `if-if-and-not_binary64_13296` `if-if-and_binary64_13295` `if-if-or-not_binary64_13294` `if-if-or_binary64_13293` `if-not_binary64_13292` `if-same_binary64_13291` `if-false_binary64_13290` `if-true_binary64_13289` `not-gte_binary64_13288` `not-lte_binary64_13287` `not-gt_binary64_13286` `not-lt_binary64_13285` `gte-same_binary64_13284` `lte-same_binary64_13283` `gt-same_binary64_13282` `lt-same_binary64_13281` `sinh---cosh_binary64_13228` `sinh-+-cosh_binary64_13227` `sinh-cosh_binary64_13226` `tanh-def-c_binary64_13225` `tanh-def-b_binary64_13224` `tanh-def-a_binary64_13223` `cosh-def_binary64_13222` `sinh-def_binary64_13221` `tan-neg_binary64_13168` `cos-neg_binary64_13167` `sin-neg_binary64_13166` `tan-0_binary64_13165` `cos-0_binary64_13164` `sin-0_binary64_13163` `hang-m-tan_binary64_13162` `hang-p-tan_binary64_13161` `hang-m0-tan_binary64_13160` `hang-p0-tan_binary64_13159` `hang-0m-tan_binary64_13158` `hang-0p-tan_binary64_13157` `tan-+PI/2_binary64_13156` `tan-+PI_binary64_13155` `tan-PI_binary64_13154` `tan-PI/3_binary64_13153` `tan-PI/4_binary64_13152` `tan-PI/6_binary64_13151` `cos-+PI/2_binary64_13150` `cos-+PI_binary64_13149` `cos-PI_binary64_13148` `cos-PI/2_binary64_13147` `cos-PI/3_binary64_13146` `cos-PI/4_binary64_13145` `cos-PI/6_binary64_13144` `sin-+PI/2_binary64_13143` `sin-+PI_binary64_13142` `sin-PI_binary64_13141` `sin-PI/2_binary64_13140` `sin-PI/3_binary64_13139` `sin-PI/4_binary64_13138` `sin-PI/6_binary64_13137` `sub-1-sin_binary64_13136` `sub-1-cos_binary64_13135` `-1-add-sin_binary64_13134` `-1-add-cos_binary64_13133` `1-sub-sin_binary64_13132` `1-sub-cos_binary64_13131` `cos-sin-sum_binary64_13130` `log-E_binary64_13126` `pow-base-0_binary64_13120` `exp-to-pow_binary64_13098` `pow-base-1_binary64_13096` `unpow0_binary64_13095` `unpow-1_binary64_13093` `exp-lft-cube_binary64_13092` `exp-lft-sqr_binary64_13091` `exp-cbrt_binary64_13090` `exp-sqrt_binary64_13089` `div-exp_binary64_13087` `rec-exp_binary64_13086` `prod-exp_binary64_13085` `exp-diff_binary64_13084` `exp-neg_binary64_13083` `exp-sum_binary64_13082` `e-exp-1_binary64_13081` `exp-0_binary64_13078` `rem-log-exp_binary64_13077` `rem-exp-log_binary64_13076` `cube-neg_binary64_13063` `rem-3cbrt-rft_binary64_13062` `rem-cbrt-cube_binary64_13060` `rem-cube-cbrt_binary64_13059` `sqr-abs_binary64_13051` `sqr-neg_binary64_13050` `rem-square-sqrt_binary64_13048` `mul-1-neg_binary64_13028` `+-rgt-identity_binary64_13021` `mul0-rgt_binary64_13019` `mul0-lft_binary64_13018` `div0_binary64_13017` `*-inverses_binary64_13016` `+-inverses_binary64_13015` `lft-mult-inverse_binary64_13014` `rgt-mult-inverse_binary64_13013` `remove-double-div_binary64_13012` `difference-of-sqr--1_binary64_13007` `difference-of-sqr-1_binary64_13006` `difference-of-squares_binary64_13005` `cancel-sign-sub_binary64_13001` `distribute-frac-neg_binary64_12999` `distribute-rgt-neg-out_binary64_12996` `distribute-lft-neg-out_binary64_12995` `distribute-rgt1-in_binary64_12992` `distribute-lft1-in_binary64_12991`

Counts

176 → 140

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	251	4248
1	612	2541
2	2481	2525
3	4246	2525
4	4788	2525
5	4952	2525
6	4971	2525

prune114.0ms (1.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	140	5	145

Error

Counts

145 → 5

Compiler

Compiled 2473 to 565 computations (77.2% saved)

regimes564.0ms (7.3%)

Accuracy

Total 1.5b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 3930 to 2746 computations (30.1% saved)

bsearch24.0ms (0.3%)

Steps

Iters	Range		Point
6	1.8340094180183155e+25	1.9921591207399475e+26	2.2974278247676085e+25

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2× *-commutative_binary64_12967

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_13296 if-if-and_binary64_13295 if-if-or-not_binary64_13294 if-if-or_binary64_13293 if-not_binary64_13292 if-same_binary64_13291 if-false_binary64_13290 if-true_binary64_13289 tan-0_binary64_13165 cos-0_binary64_13164 sin-0_binary64_13163 unpow1_binary64_13094 e-exp-1_binary64_13081 1-exp_binary64_13080 exp-1-e_binary64_13079 exp-0_binary64_13078 sqr-abs_binary64_13051 sqr-neg_binary64_13050 neg-mul-1_binary64_13032 neg-sub0_binary64_13031 unsub-neg_binary64_13030 sub-neg_binary64_13029 mul-1-neg_binary64_13028 /-rgt-identity_binary64_13027 *-rgt-identity_binary64_13026 *-lft-identity_binary64_13025 remove-double-neg_binary64_13024 sub0-neg_binary64_13023 --rgt-identity_binary64_13022 +-rgt-identity_binary64_13021 +-lft-identity_binary64_13020 cancel-sign-sub-inv_binary64_13002 cancel-sign-sub_binary64_13001 distribute-neg-frac_binary64_13000 distribute-frac-neg_binary64_12999 distribute-neg-out_binary64_12998 distribute-neg-in_binary64_12997 distribute-rgt-neg-out_binary64_12996 distribute-lft-neg-out_binary64_12995 distribute-rgt-neg-in_binary64_12994 distribute-lft-neg-in_binary64_12993 +-commutative_binary64_12966

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	30
1	16	30
2	16	30

end0.0ms (0%)

sample1.8s (22.8%)

Algorithm

1×

intervals

Results

291.0ms	5427×	body	128	valid
283.0ms	1336×	body	1024	valid
121.0ms	813×	body	512	valid
43.0ms	421×	body	256	valid
31.0ms	499×	body	128	invalid
9.0ms	22×	body	1024	invalid
7.0ms	47×	body	512	invalid
5.0ms	52×	body	256	invalid
1.0ms	3×	body	2048	valid

Compiler

Compiled 673 to 470 computations (30.2% saved)

Details

analyze571.0ms (7.4%)

sample36.0ms (0.5%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite98.0ms (1.3%)

series456.0ms (5.9%)

simplify98.0ms (1.3%)

prune46.0ms (0.6%)

localize10.0ms (0.1%)

rewrite143.0ms (1.9%)

series1.3s (16.9%)

simplify131.0ms (1.7%)

prune92.0ms (1.2%)

localize7.0ms (0.1%)

rewrite83.0ms (1.1%)

series335.0ms (4.3%)

simplify98.0ms (1.3%)

prune42.0ms (0.5%)

localize11.0ms (0.1%)

rewrite217.0ms (2.8%)

series1.1s (14%)

simplify385.0ms (5%)

prune114.0ms (1.5%)

regimes564.0ms (7.3%)

bsearch24.0ms (0.3%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.8s (22.8%)

Profiling