Details

analyze560.0ms (4.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

600×	`times-frac_binary64_3153`
546×	`sub-neg_binary64_3140`
532×	`div-sub_binary64_3152`
468×	`associate-/l*_binary64_3092`
396×	`associate-/r*_binary64_3091`
346×	`distribute-rgt-neg-in_binary64_3105`
332×	`cancel-sign-sub-inv_binary64_3113`
312×	`neg-mul-1_binary64_3143`
282×	`neg-sub0_binary64_3142`
268×	`associate-/l/_binary64_3094`
212×	`distribute-lft-neg-in_binary64_3104`
158×	`*-commutative_binary64_3078`
154×	`distribute-lft-neg-out_binary64_3106`
146×	`distribute-rgt-in_binary64_3097`
144×	`associate-/r/_binary64_3093`
132×	`unsub-neg_binary64_3141`
130×	`associate-l_binary64_3088`
124×	`unswap-sqr_binary64_3115` `distribute-rgt-neg-out_binary64_3107`
120×	`associate-r_binary64_3087`
104×	`distribute-lft-in_binary64_3096`
96×	`div0_binary64_3128` `sqr-pow_binary64_3119`
94×	`distribute-neg-in_binary64_3108`
70×	`remove-double-neg_binary64_3135`
60×	`difference-of-squares_binary64_3116`
58×	`associate-*l/_binary64_3090`
56×	`sub0-neg_binary64_3134` `associate--r+_binary64_3083`
48×	`associate-*r/_binary64_3089`
46×	`pow-sqr_binary64_3120`
42×	`*-lft-identity_binary64_3136`
36×	`*-rgt-identity_binary64_3137`
34×	`exp-prod_binary64_3199`
32×	`cube-prod_binary64_3175` `distribute-neg-frac_binary64_3111` `associate-+l-_binary64_3082`
22×	`mul0-rgt_binary64_3130` `mul0-lft_binary64_3129`
18×	`mul-1-neg_binary64_3139` `distribute-rgt-out--_binary64_3101` `+-commutative_binary64_3077`
16×	`swap-sqr_binary64_3114`
14×	`exp-sum_binary64_3193` `cube-unmult_binary64_3184` `--rgt-identity_binary64_3133`
12×	`pow-plus_binary64_3210` `prod-exp_binary64_3196` `/-rgt-identity_binary64_3138`
10×	`unpow3_binary64_3213` `exp-diff_binary64_3195`
8×	`unpow2_binary64_3212` `exp-lft-sqr_binary64_3202` `exp-sqrt_binary64_3200` `associate--l+_binary64_3084`
6×	`unpow1_binary64_3205` `rec-exp_binary64_3197` `+-lft-identity_binary64_3131` `associate-+l+_binary64_3080`
4×	`sin-neg_binary64_3277` `cube-mult_binary64_3177` `rem-sqrt-square_binary64_3160` `distribute-rgt-out_binary64_3100` `associate--r-_binary64_3086` `associate--l-_binary64_3085`
2×	`unpow1/2_binary64_3211` `exp-neg_binary64_3194` `sqr-neg_binary64_3161` `+-rgt-identity_binary64_3132` `remove-double-div_binary64_3123` `distribute-lft-out--_binary64_3099` `associate-+r-_binary64_3081` `associate-+r+_binary64_3079`
1×	`1-exp_binary64_3191` `exp-1-e_binary64_3190`
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_3410` `erf-erfc_binary64_3409` `erf-odd_binary64_3408` `if-if-and-not_binary64_3407` `if-if-and_binary64_3406` `if-if-or-not_binary64_3405` `if-if-or_binary64_3404` `if-not_binary64_3403` `if-same_binary64_3402` `if-false_binary64_3401` `if-true_binary64_3400` `not-gte_binary64_3399` `not-lte_binary64_3398` `not-gt_binary64_3397` `not-lt_binary64_3396` `gte-same_binary64_3395` `lte-same_binary64_3394` `gt-same_binary64_3393` `lt-same_binary64_3392` `sinh---cosh_binary64_3339` `sinh-+-cosh_binary64_3338` `sinh-cosh_binary64_3337` `tanh-def-c_binary64_3336` `tanh-def-b_binary64_3335` `tanh-def-a_binary64_3334` `cosh-def_binary64_3333` `sinh-def_binary64_3332` `tan-neg_binary64_3279` `cos-neg_binary64_3278` `tan-0_binary64_3276` `cos-0_binary64_3275` `sin-0_binary64_3274` `hang-m-tan_binary64_3273` `hang-p-tan_binary64_3272` `hang-m0-tan_binary64_3271` `hang-p0-tan_binary64_3270` `hang-0m-tan_binary64_3269` `hang-0p-tan_binary64_3268` `tan-+PI/2_binary64_3267` `tan-+PI_binary64_3266` `tan-PI_binary64_3265` `tan-PI/3_binary64_3264` `tan-PI/4_binary64_3263` `tan-PI/6_binary64_3262` `cos-+PI/2_binary64_3261` `cos-+PI_binary64_3260` `cos-PI_binary64_3259` `cos-PI/2_binary64_3258` `cos-PI/3_binary64_3257` `cos-PI/4_binary64_3256` `cos-PI/6_binary64_3255` `sin-+PI/2_binary64_3254` `sin-+PI_binary64_3253` `sin-PI_binary64_3252` `sin-PI/2_binary64_3251` `sin-PI/3_binary64_3250` `sin-PI/4_binary64_3249` `sin-PI/6_binary64_3248` `sub-1-sin_binary64_3247` `sub-1-cos_binary64_3246` `-1-add-sin_binary64_3245` `-1-add-cos_binary64_3244` `1-sub-sin_binary64_3243` `1-sub-cos_binary64_3242` `cos-sin-sum_binary64_3241` `log-E_binary64_3237` `log-pow_binary64_3236` `log-rec_binary64_3235` `log-div_binary64_3234` `log-prod_binary64_3233` `pow-base-0_binary64_3231` `unpow1/3_binary64_3214` `exp-to-pow_binary64_3209` `pow-base-1_binary64_3207` `unpow0_binary64_3206` `unpow-1_binary64_3204` `exp-lft-cube_binary64_3203` `exp-cbrt_binary64_3201` `div-exp_binary64_3198` `e-exp-1_binary64_3192` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `rem-exp-log_binary64_3187` `cube-div_binary64_3176` `cube-neg_binary64_3174` `rem-3cbrt-rft_binary64_3173` `rem-3cbrt-lft_binary64_3172` `rem-cbrt-cube_binary64_3171` `rem-cube-cbrt_binary64_3170` `sqr-abs_binary64_3162` `rem-square-sqrt_binary64_3159` `*-inverses_binary64_3127` `+-inverses_binary64_3126` `lft-mult-inverse_binary64_3125` `rgt-mult-inverse_binary64_3124` `difference-of-sqr--1_binary64_3118` `difference-of-sqr-1_binary64_3117` `cancel-sign-sub_binary64_3112` `distribute-frac-neg_binary64_3110` `distribute-neg-out_binary64_3109` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `distribute-lft-out_binary64_3098` `count-2_binary64_3095`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	36
1	39	36
2	89	36
3	191	36
4	365	36
5	741	36
6	1136	36
7	1955	36
8	3892	36
9	4326	36
10	4761	36
11	4722	36
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
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample120.0ms (0.9%)

Algorithm

1×

intervals

Results

54.0ms	138×	body	1024	valid
14.0ms	63×	body	1024	invalid
13.0ms	65×	body	512	valid
6.0ms	6×	body	2048	valid
4.0ms	75×	body	128	invalid
4.0ms	23×	body	512	invalid
4.0ms	28×	body	256	valid
2.0ms	18×	body	256	invalid
1.0ms	19×	body	128	valid

Compiler

Compiled 23 to 23 computations (0% saved)

simplify73.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

635×	`unswap-sqr_binary64_3115`
444×	`times-frac_binary64_3153`
365×	`distribute-rgt-neg-in_binary64_3105`
359×	`neg-mul-1_binary64_3143`
346×	`neg-sub0_binary64_3142`
309×	`div-sub_binary64_3152`
297×	`cancel-sign-sub-inv_binary64_3113`
293×	`unsub-neg_binary64_3141`
282×	`sub-neg_binary64_3140`
271×	`associate-/l*_binary64_3092`
262×	`associate-/r*_binary64_3091`
256×	`distribute-lft-neg-in_binary64_3104`
184×	`associate-l_binary64_3088`
171×	`distribute-rgt-in_binary64_3097`
169×	`remove-double-neg_binary64_3135`
167×	`distribute-neg-frac_binary64_3111`
160×	`distribute-lft-neg-out_binary64_3106` `*-commutative_binary64_3078`
148×	`associate-r_binary64_3087`
147×	`distribute-rgt-neg-out_binary64_3107`
137×	`distribute-lft-in_binary64_3096`
134×	`associate-/l/_binary64_3094`
88×	`difference-of-squares_binary64_3116`
72×	`associate-/r/_binary64_3093`
67×	`div0_binary64_3128`
65×	`distribute-neg-in_binary64_3108`
60×	`sqr-pow_binary64_3119` `distribute-frac-neg_binary64_3110`
50×	`mul0-rgt_binary64_3130` `mul0-lft_binary64_3129`
37×	`associate--r+_binary64_3083`
30×	`cube-prod_binary64_3175`
29×	`associate-*l/_binary64_3090`
27×	`*-lft-identity_binary64_3136` `pow-sqr_binary64_3120`
24×	`associate-*r/_binary64_3089`
23×	`associate-+l-_binary64_3082`
21×	`+-commutative_binary64_3077`
20×	`*-rgt-identity_binary64_3137`
18×	`swap-sqr_binary64_3114`
15×	`exp-prod_binary64_3199`
14×	`pow-plus_binary64_3210`
13×	`cube-unmult_binary64_3184` `sub0-neg_binary64_3134`
12×	`distribute-rgt-out--_binary64_3101` `associate-+l+_binary64_3080`
9×	`mul-1-neg_binary64_3139`
7×	`exp-sum_binary64_3193` `--rgt-identity_binary64_3133`
6×	`/-rgt-identity_binary64_3138` `associate--l+_binary64_3084`
4×	`exp-sqrt_binary64_3200` `exp-diff_binary64_3195` `sqr-neg_binary64_3161`
3×	`unpow3_binary64_3213` `unpow2_binary64_3212` `exp-lft-sqr_binary64_3202` `+-lft-identity_binary64_3131`
2×	`rec-exp_binary64_3197` `distribute-rgt-out_binary64_3100` `associate--r-_binary64_3086` `associate--l-_binary64_3085`
1×	`unpow1_binary64_3205` `prod-exp_binary64_3196` `exp-neg_binary64_3194` `1-exp_binary64_3191` `exp-1-e_binary64_3190` `+-rgt-identity_binary64_3132` `remove-double-div_binary64_3123` `distribute-lft-out--_binary64_3099` `associate-+r-_binary64_3081` `associate-+r+_binary64_3079`
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_3410` `erf-erfc_binary64_3409` `erf-odd_binary64_3408` `if-if-and-not_binary64_3407` `if-if-and_binary64_3406` `if-if-or-not_binary64_3405` `if-if-or_binary64_3404` `if-not_binary64_3403` `if-same_binary64_3402` `if-false_binary64_3401` `if-true_binary64_3400` `not-gte_binary64_3399` `not-lte_binary64_3398` `not-gt_binary64_3397` `not-lt_binary64_3396` `gte-same_binary64_3395` `lte-same_binary64_3394` `gt-same_binary64_3393` `lt-same_binary64_3392` `sinh---cosh_binary64_3339` `sinh-+-cosh_binary64_3338` `sinh-cosh_binary64_3337` `tanh-def-c_binary64_3336` `tanh-def-b_binary64_3335` `tanh-def-a_binary64_3334` `cosh-def_binary64_3333` `sinh-def_binary64_3332` `tan-neg_binary64_3279` `cos-neg_binary64_3278` `sin-neg_binary64_3277` `tan-0_binary64_3276` `cos-0_binary64_3275` `sin-0_binary64_3274` `hang-m-tan_binary64_3273` `hang-p-tan_binary64_3272` `hang-m0-tan_binary64_3271` `hang-p0-tan_binary64_3270` `hang-0m-tan_binary64_3269` `hang-0p-tan_binary64_3268` `tan-+PI/2_binary64_3267` `tan-+PI_binary64_3266` `tan-PI_binary64_3265` `tan-PI/3_binary64_3264` `tan-PI/4_binary64_3263` `tan-PI/6_binary64_3262` `cos-+PI/2_binary64_3261` `cos-+PI_binary64_3260` `cos-PI_binary64_3259` `cos-PI/2_binary64_3258` `cos-PI/3_binary64_3257` `cos-PI/4_binary64_3256` `cos-PI/6_binary64_3255` `sin-+PI/2_binary64_3254` `sin-+PI_binary64_3253` `sin-PI_binary64_3252` `sin-PI/2_binary64_3251` `sin-PI/3_binary64_3250` `sin-PI/4_binary64_3249` `sin-PI/6_binary64_3248` `sub-1-sin_binary64_3247` `sub-1-cos_binary64_3246` `-1-add-sin_binary64_3245` `-1-add-cos_binary64_3244` `1-sub-sin_binary64_3243` `1-sub-cos_binary64_3242` `cos-sin-sum_binary64_3241` `log-E_binary64_3237` `log-pow_binary64_3236` `log-rec_binary64_3235` `log-div_binary64_3234` `log-prod_binary64_3233` `pow-base-0_binary64_3231` `unpow1/3_binary64_3214` `unpow1/2_binary64_3211` `exp-to-pow_binary64_3209` `pow-base-1_binary64_3207` `unpow0_binary64_3206` `unpow-1_binary64_3204` `exp-lft-cube_binary64_3203` `exp-cbrt_binary64_3201` `div-exp_binary64_3198` `e-exp-1_binary64_3192` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `rem-exp-log_binary64_3187` `cube-mult_binary64_3177` `cube-div_binary64_3176` `cube-neg_binary64_3174` `rem-3cbrt-rft_binary64_3173` `rem-3cbrt-lft_binary64_3172` `rem-cbrt-cube_binary64_3171` `rem-cube-cbrt_binary64_3170` `sqr-abs_binary64_3162` `rem-sqrt-square_binary64_3160` `rem-square-sqrt_binary64_3159` `*-inverses_binary64_3127` `+-inverses_binary64_3126` `lft-mult-inverse_binary64_3125` `rgt-mult-inverse_binary64_3124` `difference-of-sqr--1_binary64_3118` `difference-of-sqr-1_binary64_3117` `cancel-sign-sub_binary64_3112` `distribute-neg-out_binary64_3109` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `distribute-lft-out_binary64_3098` `count-2_binary64_3095`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	23	18
2	49	18
3	101	18
4	193	18
5	388	18
6	777	18
7	1370	18
8	3116	18
9	3951	18
10	4793	18

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

41.1b

Counts

1 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
4.1b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite77.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

41.1b

Rules

10×	`add-sqr-sqrt_binary64_3169` `*-un-lft-identity_binary64_3147`
9×	`cancel-sign-sub-inv_binary64_3113`
7×	`pow1_binary64_3208` `add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
6×	`add-cube-cbrt_binary64_3182`
5×	`associate-r_binary64_3087`
4×	`add-log-exp_binary64_3186` `distribute-rgt-in_binary64_3097` `distribute-lft-in_binary64_3096`
3×	`sub-neg_binary64_3140` `pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
2×	`flip3--_binary64_3151` `flip--_binary64_3122` `difference-of-squares_binary64_3116` `distribute-lft-out--_binary64_3099` `associate-*r/_binary64_3089`
1×	`diff-log_binary64_3239` `associate-l_binary64_3088` `*-commutative_binary64_3078`

Counts

2 → 46

Calls

2 calls:

12.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
7.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 925 to 309 computations (66.6% saved)

series289.0ms (2.2%)

Error

0.1b

Counts

2 → 16

Calls

2 calls:

226.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
43.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 638 to 468 computations (26.6% saved)

simplify104.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

422×	`*-commutative_binary64_3078`
280×	`exp-prod_binary64_3199`
251×	`distribute-rgt-in_binary64_3097`
230×	`unsub-neg_binary64_3141`
226×	`sub-neg_binary64_3140`
224×	`distribute-rgt-neg-out_binary64_3107` `distribute-lft-neg-out_binary64_3106`
210×	`distribute-lft-in_binary64_3096`
193×	`associate-l_binary64_3088`
168×	`associate-r_binary64_3087`
134×	`neg-sub0_binary64_3142`
131×	`neg-mul-1_binary64_3143`
126×	`cancel-sign-sub-inv_binary64_3113`
120×	`associate-+r+_binary64_3079`
110×	`distribute-rgt-neg-in_binary64_3105`
104×	`distribute-lft-neg-in_binary64_3104`
98×	`associate-+l+_binary64_3080`
97×	`unswap-sqr_binary64_3115`
92×	`distribute-neg-in_binary64_3108`
89×	`sqr-pow_binary64_3119`
77×	`associate--r+_binary64_3083`
75×	`associate-+r-_binary64_3081`
73×	`+-commutative_binary64_3077`
66×	`associate-+l-_binary64_3082`
56×	`exp-sum_binary64_3193`
49×	`exp-diff_binary64_3195`
48×	`times-frac_binary64_3153`
46×	`exp-neg_binary64_3194`
39×	`-rgt-identity_binary64_3137` `-lft-identity_binary64_3136`
38×	`div-sub_binary64_3152`
37×	`associate--l+_binary64_3084`
35×	`distribute-neg-out_binary64_3109`
34×	`sub0-neg_binary64_3134`
33×	`cube-prod_binary64_3175` `associate-/r*_binary64_3091`
28×	`associate-*l/_binary64_3090`
27×	`swap-sqr_binary64_3114`
26×	`cancel-sign-sub_binary64_3112`
25×	`associate-*r/_binary64_3089`
22×	`+-rgt-identity_binary64_3132`
21×	`log-prod_binary64_3233` `distribute-neg-frac_binary64_3111`
19×	`distribute-rgt-out_binary64_3100`
18×	`difference-of-squares_binary64_3116` `associate--l-_binary64_3085`
16×	`unpow3_binary64_3213` `mul0-lft_binary64_3129` `associate-/l*_binary64_3092`
15×	`mul0-rgt_binary64_3130`
14×	`pow-sqr_binary64_3120` `distribute-lft-out_binary64_3098`
13×	`rem-sqrt-square_binary64_3160`
11×	`cube-mult_binary64_3177`
10×	`cube-unmult_binary64_3184`
9×	`prod-exp_binary64_3196`
8×	`cube-div_binary64_3176`
7×	`unpow1/2_binary64_3211` `sqr-neg_binary64_3161`
6×	`distribute-rgt-out--_binary64_3101`
4×	`--rgt-identity_binary64_3133`
3×	`div-exp_binary64_3198` `cube-neg_binary64_3174` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `distribute-lft-out--_binary64_3099` `associate--r-_binary64_3086`
2×	`unpow1_binary64_3205` `rec-exp_binary64_3197` `mul-1-neg_binary64_3139`
1×	`pow-plus_binary64_3210` `1-exp_binary64_3191` `exp-1-e_binary64_3190` `rem-3cbrt-lft_binary64_3172` `rem-square-sqrt_binary64_3159` `/-rgt-identity_binary64_3138` `remove-double-neg_binary64_3135` `lft-mult-inverse_binary64_3125` `count-2_binary64_3095`
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_3410` `erf-erfc_binary64_3409` `erf-odd_binary64_3408` `if-if-and-not_binary64_3407` `if-if-and_binary64_3406` `if-if-or-not_binary64_3405` `if-if-or_binary64_3404` `if-not_binary64_3403` `if-same_binary64_3402` `if-false_binary64_3401` `if-true_binary64_3400` `not-gte_binary64_3399` `not-lte_binary64_3398` `not-gt_binary64_3397` `not-lt_binary64_3396` `gte-same_binary64_3395` `lte-same_binary64_3394` `gt-same_binary64_3393` `lt-same_binary64_3392` `sinh---cosh_binary64_3339` `sinh-+-cosh_binary64_3338` `sinh-cosh_binary64_3337` `tanh-def-c_binary64_3336` `tanh-def-b_binary64_3335` `tanh-def-a_binary64_3334` `cosh-def_binary64_3333` `sinh-def_binary64_3332` `tan-neg_binary64_3279` `cos-neg_binary64_3278` `sin-neg_binary64_3277` `tan-0_binary64_3276` `cos-0_binary64_3275` `sin-0_binary64_3274` `hang-m-tan_binary64_3273` `hang-p-tan_binary64_3272` `hang-m0-tan_binary64_3271` `hang-p0-tan_binary64_3270` `hang-0m-tan_binary64_3269` `hang-0p-tan_binary64_3268` `tan-+PI/2_binary64_3267` `tan-+PI_binary64_3266` `tan-PI_binary64_3265` `tan-PI/3_binary64_3264` `tan-PI/4_binary64_3263` `tan-PI/6_binary64_3262` `cos-+PI/2_binary64_3261` `cos-+PI_binary64_3260` `cos-PI_binary64_3259` `cos-PI/2_binary64_3258` `cos-PI/3_binary64_3257` `cos-PI/4_binary64_3256` `cos-PI/6_binary64_3255` `sin-+PI/2_binary64_3254` `sin-+PI_binary64_3253` `sin-PI_binary64_3252` `sin-PI/2_binary64_3251` `sin-PI/3_binary64_3250` `sin-PI/4_binary64_3249` `sin-PI/6_binary64_3248` `sub-1-sin_binary64_3247` `sub-1-cos_binary64_3246` `-1-add-sin_binary64_3245` `-1-add-cos_binary64_3244` `1-sub-sin_binary64_3243` `1-sub-cos_binary64_3242` `cos-sin-sum_binary64_3241` `log-E_binary64_3237` `log-pow_binary64_3236` `log-rec_binary64_3235` `log-div_binary64_3234` `pow-base-0_binary64_3231` `unpow1/3_binary64_3214` `unpow2_binary64_3212` `exp-to-pow_binary64_3209` `pow-base-1_binary64_3207` `unpow0_binary64_3206` `unpow-1_binary64_3204` `exp-lft-cube_binary64_3203` `exp-lft-sqr_binary64_3202` `exp-cbrt_binary64_3201` `exp-sqrt_binary64_3200` `e-exp-1_binary64_3192` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `rem-exp-log_binary64_3187` `rem-3cbrt-rft_binary64_3173` `rem-cbrt-cube_binary64_3171` `rem-cube-cbrt_binary64_3170` `sqr-abs_binary64_3162` `+-lft-identity_binary64_3131` `div0_binary64_3128` `*-inverses_binary64_3127` `+-inverses_binary64_3126` `rgt-mult-inverse_binary64_3124` `remove-double-div_binary64_3123` `difference-of-sqr--1_binary64_3118` `difference-of-sqr-1_binary64_3117` `distribute-frac-neg_binary64_3110` `associate-/l/_binary64_3094` `associate-/r/_binary64_3093`

Counts

62 → 48

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	150	1357
1	405	1170
2	1353	1142
3	3159	1142
4	4665	1142
5	4904	1142

prune57.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	4	49

Error

0.1b

Counts

49 → 4

Compiler

Compiled 853 to 375 computations (56% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (pow.f64 im 5) 1/120)
0.1b	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
0.1b	(.f64 (sin.f64 re) (+.f64 im (.f64 (pow.f64 im 5) 1/120)))
0.3b	(*.f64 (sin.f64 re) -1/6)

rewrite169.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

26×	`add-exp-log_binary64_3185`
25×	`associate-l_binary64_3088`
23×	`add-sqr-sqrt_binary64_3169`
15×	`add-cbrt-cube_binary64_3183`
14×	`prod-exp_binary64_3196` `add-cube-cbrt_binary64_3182` `*-un-lft-identity_binary64_3147`
10×	`associate-r_binary64_3087`
8×	`pow1_binary64_3208`
7×	`unpow-prod-down_binary64_3226`
6×	`cbrt-unprod_binary64_3180`
5×	`unswap-sqr_binary64_3115`
4×	`add-log-exp_binary64_3186` `*-commutative_binary64_3078`
3×	`pow-to-exp_binary64_3216` `pow-exp_binary64_3215` `cube-prod_binary64_3175` `sqr-pow_binary64_3119`
2×	`pow-prod-down_binary64_3218` `associate-*r/_binary64_3089`
1×	`distribute-rgt-in_binary64_3097` `distribute-lft-in_binary64_3096` `flip3-+_binary64_3150` `flip-+_binary64_3121` `unpow3_binary64_3213` `cube-mult_binary64_3177`

Counts

4 → 94

Calls

4 calls:

8.0ms	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
6.0ms	(.f64 (sin.f64 re) (+.f64 im (.f64 (pow.f64 im 5) 1/120)))
6.0ms	(*.f64 (pow.f64 im 5) 1/120)
5.0ms	(*.f64 (sin.f64 re) -1/6)

Compiler

Compiled 2432 to 1593 computations (34.5% saved)

series652.0ms (4.9%)

Error

0.1b

Counts

4 → 23

Calls

4 calls:

373.0ms	(.f64 (sin.f64 re) (+.f64 im (.f64 (pow.f64 im 5) 1/120)))
158.0ms	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
64.0ms	(*.f64 (pow.f64 im 5) 1/120)
27.0ms	(*.f64 (sin.f64 re) -1/6)

Compiler

Compiled 1398 to 1029 computations (26.4% saved)

simplify88.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

788×	`unswap-sqr_binary64_3115`
299×	`associate-l_binary64_3088`
298×	`associate-r_binary64_3087`
270×	`distribute-rgt-in_binary64_3097`
268×	`distribute-lft-in_binary64_3096`
203×	`exp-prod_binary64_3199`
200×	`sqr-pow_binary64_3119`
187×	`log-prod_binary64_3233`
183×	`cancel-sign-sub-inv_binary64_3113`
137×	`*-commutative_binary64_3078`
131×	`cube-prod_binary64_3175`
100×	`associate-+l+_binary64_3080`
91×	`distribute-rgt-neg-in_binary64_3105`
87×	`sub-neg_binary64_3140`
79×	`distribute-lft-neg-in_binary64_3104`
68×	`neg-mul-1_binary64_3143`
67×	`neg-sub0_binary64_3142` `associate-+r+_binary64_3079`
61×	`associate--l+_binary64_3084`
60×	`+-commutative_binary64_3077`
53×	`swap-sqr_binary64_3114`
52×	`*-rgt-identity_binary64_3137`
49×	`*-lft-identity_binary64_3136`
33×	`pow-sqr_binary64_3120`
31×	`unpow3_binary64_3213`
20×	`cube-mult_binary64_3177` `unsub-neg_binary64_3141`
17×	`log-pow_binary64_3236` `cube-unmult_binary64_3184`
16×	`associate--r+_binary64_3083`
14×	`distribute-rgt-out_binary64_3100`
12×	`pow-plus_binary64_3210`
11×	`associate-+l-_binary64_3082`
8×	`+-rgt-identity_binary64_3132` `difference-of-squares_binary64_3116` `distribute-lft-neg-out_binary64_3106` `associate-+r-_binary64_3081`
7×	`distribute-rgt-out--_binary64_3101`
6×	`rem-sqrt-square_binary64_3160`
5×	`distribute-lft-out_binary64_3098`
4×	`exp-sum_binary64_3193`
3×	`sub0-neg_binary64_3134` `count-2_binary64_3095` `associate-/l*_binary64_3092`
2×	`unpow1/2_binary64_3211` `distribute-neg-in_binary64_3108`
1×	`1-exp_binary64_3191` `exp-1-e_binary64_3190` `rem-cbrt-cube_binary64_3171` `rem-cube-cbrt_binary64_3170` `rem-square-sqrt_binary64_3159` `distribute-rgt-neg-out_binary64_3107`
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_3410` `erf-erfc_binary64_3409` `erf-odd_binary64_3408` `if-if-and-not_binary64_3407` `if-if-and_binary64_3406` `if-if-or-not_binary64_3405` `if-if-or_binary64_3404` `if-not_binary64_3403` `if-same_binary64_3402` `if-false_binary64_3401` `if-true_binary64_3400` `not-gte_binary64_3399` `not-lte_binary64_3398` `not-gt_binary64_3397` `not-lt_binary64_3396` `gte-same_binary64_3395` `lte-same_binary64_3394` `gt-same_binary64_3393` `lt-same_binary64_3392` `sinh---cosh_binary64_3339` `sinh-+-cosh_binary64_3338` `sinh-cosh_binary64_3337` `tanh-def-c_binary64_3336` `tanh-def-b_binary64_3335` `tanh-def-a_binary64_3334` `cosh-def_binary64_3333` `sinh-def_binary64_3332` `tan-neg_binary64_3279` `cos-neg_binary64_3278` `sin-neg_binary64_3277` `tan-0_binary64_3276` `cos-0_binary64_3275` `sin-0_binary64_3274` `hang-m-tan_binary64_3273` `hang-p-tan_binary64_3272` `hang-m0-tan_binary64_3271` `hang-p0-tan_binary64_3270` `hang-0m-tan_binary64_3269` `hang-0p-tan_binary64_3268` `tan-+PI/2_binary64_3267` `tan-+PI_binary64_3266` `tan-PI_binary64_3265` `tan-PI/3_binary64_3264` `tan-PI/4_binary64_3263` `tan-PI/6_binary64_3262` `cos-+PI/2_binary64_3261` `cos-+PI_binary64_3260` `cos-PI_binary64_3259` `cos-PI/2_binary64_3258` `cos-PI/3_binary64_3257` `cos-PI/4_binary64_3256` `cos-PI/6_binary64_3255` `sin-+PI/2_binary64_3254` `sin-+PI_binary64_3253` `sin-PI_binary64_3252` `sin-PI/2_binary64_3251` `sin-PI/3_binary64_3250` `sin-PI/4_binary64_3249` `sin-PI/6_binary64_3248` `sub-1-sin_binary64_3247` `sub-1-cos_binary64_3246` `-1-add-sin_binary64_3245` `-1-add-cos_binary64_3244` `1-sub-sin_binary64_3243` `1-sub-cos_binary64_3242` `cos-sin-sum_binary64_3241` `log-E_binary64_3237` `log-rec_binary64_3235` `log-div_binary64_3234` `pow-base-0_binary64_3231` `unpow1/3_binary64_3214` `unpow2_binary64_3212` `exp-to-pow_binary64_3209` `pow-base-1_binary64_3207` `unpow0_binary64_3206` `unpow1_binary64_3205` `unpow-1_binary64_3204` `exp-lft-cube_binary64_3203` `exp-lft-sqr_binary64_3202` `exp-cbrt_binary64_3201` `exp-sqrt_binary64_3200` `div-exp_binary64_3198` `rec-exp_binary64_3197` `prod-exp_binary64_3196` `exp-diff_binary64_3195` `exp-neg_binary64_3194` `e-exp-1_binary64_3192` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `rem-exp-log_binary64_3187` `cube-div_binary64_3176` `cube-neg_binary64_3174` `rem-3cbrt-rft_binary64_3173` `rem-3cbrt-lft_binary64_3172` `sqr-abs_binary64_3162` `sqr-neg_binary64_3161` `times-frac_binary64_3153` `div-sub_binary64_3152` `mul-1-neg_binary64_3139` `/-rgt-identity_binary64_3138` `remove-double-neg_binary64_3135` `--rgt-identity_binary64_3133` `+-lft-identity_binary64_3131` `mul0-rgt_binary64_3130` `mul0-lft_binary64_3129` `div0_binary64_3128` `-inverses_binary64_3127` `+-inverses_binary64_3126` `lft-mult-inverse_binary64_3125` `rgt-mult-inverse_binary64_3124` `remove-double-div_binary64_3123` `difference-of-sqr--1_binary64_3118` `difference-of-sqr-1_binary64_3117` `cancel-sign-sub_binary64_3112` `distribute-neg-frac_binary64_3111` `distribute-frac-neg_binary64_3110` `distribute-neg-out_binary64_3109` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `distribute-lft-out--_binary64_3099` `associate-/l/_binary64_3094` `associate-/r/_binary64_3093` `associate-/r_binary64_3091` `associate-l/_binary64_3090` `associate-r/_binary64_3089` `associate--r-_binary64_3086` `associate--l-_binary64_3085`

Counts

117 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	187	1657
1	434	1521
2	1724	1506
3	3788	1506
4	5836	1506

prune141.0ms (1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	77	7	84
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	78	10	88

Error

0.0b

Counts

88 → 10

Compiler

Compiled 2288 to 1517 computations (33.7% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))) (cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (*.f64 1/120 (pow.f64 im 5))))))
16.8b	(cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))
16.8b	(cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))
16.8b	(cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))

rewrite262.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`associate-*r/_binary64_3089`
18×	`cbrt-div_binary64_3179`
11×	`pow1_binary64_3208`
10×	`add-sqr-sqrt_binary64_3169`
9×	`pow1/3_binary64_3229` `flip3-+_binary64_3150` `flip-+_binary64_3121`
8×	`add-cube-cbrt_binary64_3182` `*-un-lft-identity_binary64_3147`
7×	`cbrt-prod_binary64_3178`
6×	`add-exp-log_binary64_3185`
4×	`add-log-exp_binary64_3186` `add-cbrt-cube_binary64_3183` `frac-times_binary64_3157` `swap-sqr_binary64_3114` `associate-l_binary64_3088` `associate-r_binary64_3087`
2×	`pow-prod-down_binary64_3218` `pow-prod-up_binary64_3217` `pow-sqr_binary64_3120` `associate-*l/_binary64_3090`
1×	`pow2_binary64_3228` `pow-plus_binary64_3210` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `unswap-sqr_binary64_3115` `*-commutative_binary64_3078`

Counts

4 → 72

Calls

4 calls:

8.0ms	(.f64 (cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))) (cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (*.f64 1/120 (pow.f64 im 5))))))
5.0ms	(cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))
5.0ms	(cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))
5.0ms	(cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))

Compiler

Compiled 4100 to 2778 computations (32.2% saved)

series2.5s (18.3%)

Error

0.0b

Counts

4 → 31

Calls

4 calls:

645.0ms	(.f64 (cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))) (cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (*.f64 1/120 (pow.f64 im 5))))))
586.0ms	(cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))
576.0ms	(cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))
563.0ms	(cbrt.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))

Compiler

Compiled 5454 to 4027 computations (26.2% saved)

simplify112.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

456×	`distribute-rgt-in_binary64_3097`
387×	`times-frac_binary64_3153`
314×	`*-commutative_binary64_3078`
204×	`cancel-sign-sub-inv_binary64_3113`
184×	`distribute-rgt-neg-in_binary64_3105`
179×	`distribute-lft-neg-in_binary64_3104`
170×	`exp-prod_binary64_3199`
168×	`unswap-sqr_binary64_3115`
167×	`sqr-pow_binary64_3119`
144×	`exp-sum_binary64_3193`
119×	`distribute-lft-in_binary64_3096` `associate-r_binary64_3087`
107×	`associate-l_binary64_3088`
96×	`log-prod_binary64_3233`
81×	`sub-neg_binary64_3140`
60×	`neg-mul-1_binary64_3143` `neg-sub0_binary64_3142`
56×	`distribute-neg-frac_binary64_3111`
55×	`associate-/l*_binary64_3092`
49×	`unsub-neg_binary64_3141`
41×	`distribute-rgt-out_binary64_3100`
40×	`cube-prod_binary64_3175`
39×	`associate-/r*_binary64_3091`
35×	`swap-sqr_binary64_3114` `+-commutative_binary64_3077`
34×	`pow-sqr_binary64_3120`
31×	`distribute-lft-neg-out_binary64_3106`
28×	`exp-to-pow_binary64_3209`
27×	`exp-diff_binary64_3195`
26×	`associate-/r/_binary64_3093`
24×	`unpow1/3_binary64_3214` `distribute-rgt-neg-out_binary64_3107`
23×	`distribute-neg-in_binary64_3108` `associate-+l+_binary64_3080`
20×	`log-pow_binary64_3236` `distribute-lft-out_binary64_3098`
19×	`associate-+r-_binary64_3081` `associate-+r+_binary64_3079`
18×	`div-sub_binary64_3152`
16×	`associate-*r/_binary64_3089`
15×	`pow-plus_binary64_3210`
13×	`*-rgt-identity_binary64_3137`
12×	`*-lft-identity_binary64_3136` `+-rgt-identity_binary64_3132` `distribute-rgt-out--_binary64_3101`
11×	`rem-sqrt-square_binary64_3160` `associate--l+_binary64_3084` `associate-+l-_binary64_3082`
10×	`unpow3_binary64_3213` `exp-lft-sqr_binary64_3202` `associate-*l/_binary64_3090`
9×	`cube-unmult_binary64_3184`
8×	`exp-neg_binary64_3194` `rem-exp-log_binary64_3187` `sub0-neg_binary64_3134`
6×	`unpow2_binary64_3212` `unpow1/2_binary64_3211` `cube-mult_binary64_3177` `associate-/l/_binary64_3094`
5×	`unpow1_binary64_3205` `remove-double-neg_binary64_3135`
3×	`count-2_binary64_3095`
2×	`log-div_binary64_3234` `prod-exp_binary64_3196` `rem-3cbrt-lft_binary64_3172` `difference-of-squares_binary64_3116` `cancel-sign-sub_binary64_3112` `distribute-frac-neg_binary64_3110` `distribute-rgt1-in_binary64_3103` `associate--r+_binary64_3083`
1×	`log-rec_binary64_3235` `1-exp_binary64_3191` `exp-1-e_binary64_3190` `rem-3cbrt-rft_binary64_3173` `rem-cbrt-cube_binary64_3171` `rem-square-sqrt_binary64_3159` `distribute-lft-out--_binary64_3099`
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_3410` `erf-erfc_binary64_3409` `erf-odd_binary64_3408` `if-if-and-not_binary64_3407` `if-if-and_binary64_3406` `if-if-or-not_binary64_3405` `if-if-or_binary64_3404` `if-not_binary64_3403` `if-same_binary64_3402` `if-false_binary64_3401` `if-true_binary64_3400` `not-gte_binary64_3399` `not-lte_binary64_3398` `not-gt_binary64_3397` `not-lt_binary64_3396` `gte-same_binary64_3395` `lte-same_binary64_3394` `gt-same_binary64_3393` `lt-same_binary64_3392` `sinh---cosh_binary64_3339` `sinh-+-cosh_binary64_3338` `sinh-cosh_binary64_3337` `tanh-def-c_binary64_3336` `tanh-def-b_binary64_3335` `tanh-def-a_binary64_3334` `cosh-def_binary64_3333` `sinh-def_binary64_3332` `tan-neg_binary64_3279` `cos-neg_binary64_3278` `sin-neg_binary64_3277` `tan-0_binary64_3276` `cos-0_binary64_3275` `sin-0_binary64_3274` `hang-m-tan_binary64_3273` `hang-p-tan_binary64_3272` `hang-m0-tan_binary64_3271` `hang-p0-tan_binary64_3270` `hang-0m-tan_binary64_3269` `hang-0p-tan_binary64_3268` `tan-+PI/2_binary64_3267` `tan-+PI_binary64_3266` `tan-PI_binary64_3265` `tan-PI/3_binary64_3264` `tan-PI/4_binary64_3263` `tan-PI/6_binary64_3262` `cos-+PI/2_binary64_3261` `cos-+PI_binary64_3260` `cos-PI_binary64_3259` `cos-PI/2_binary64_3258` `cos-PI/3_binary64_3257` `cos-PI/4_binary64_3256` `cos-PI/6_binary64_3255` `sin-+PI/2_binary64_3254` `sin-+PI_binary64_3253` `sin-PI_binary64_3252` `sin-PI/2_binary64_3251` `sin-PI/3_binary64_3250` `sin-PI/4_binary64_3249` `sin-PI/6_binary64_3248` `sub-1-sin_binary64_3247` `sub-1-cos_binary64_3246` `-1-add-sin_binary64_3245` `-1-add-cos_binary64_3244` `1-sub-sin_binary64_3243` `1-sub-cos_binary64_3242` `cos-sin-sum_binary64_3241` `log-E_binary64_3237` `pow-base-0_binary64_3231` `pow-base-1_binary64_3207` `unpow0_binary64_3206` `unpow-1_binary64_3204` `exp-lft-cube_binary64_3203` `exp-cbrt_binary64_3201` `exp-sqrt_binary64_3200` `div-exp_binary64_3198` `rec-exp_binary64_3197` `e-exp-1_binary64_3192` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `cube-div_binary64_3176` `cube-neg_binary64_3174` `rem-cube-cbrt_binary64_3170` `sqr-abs_binary64_3162` `sqr-neg_binary64_3161` `mul-1-neg_binary64_3139` `/-rgt-identity_binary64_3138` `--rgt-identity_binary64_3133` `+-lft-identity_binary64_3131` `mul0-rgt_binary64_3130` `mul0-lft_binary64_3129` `div0_binary64_3128` `*-inverses_binary64_3127` `+-inverses_binary64_3126` `lft-mult-inverse_binary64_3125` `rgt-mult-inverse_binary64_3124` `remove-double-div_binary64_3123` `difference-of-sqr--1_binary64_3118` `difference-of-sqr-1_binary64_3117` `distribute-neg-out_binary64_3109` `distribute-lft1-in_binary64_3102` `associate--r-_binary64_3086` `associate--l-_binary64_3085`

Counts

103 → 87

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	160	3262
1	395	2950
2	1093	2765
3	2534	2542
4	4929	2542

prune257.0ms (1.9%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	84	3	87
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	84	13	97

Error

0.0b

Counts

97 → 13

Compiler

Compiled 4602 to 3131 computations (32% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
0.7b	(cbrt.f64 (sin.f64 re))
0.7b	(cbrt.f64 (sin.f64 re))
0.7b	(cbrt.f64 (sin.f64 re))

rewrite153.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_3178`
23×	`add-sqr-sqrt_binary64_3169`
15×	`add-cube-cbrt_binary64_3182` `*-un-lft-identity_binary64_3147`
11×	`pow1_binary64_3208`
9×	`pow1/3_binary64_3229`
6×	`add-exp-log_binary64_3185` `swap-sqr_binary64_3114` `associate-l_binary64_3088` `associate-r_binary64_3087`
4×	`add-log-exp_binary64_3186` `add-cbrt-cube_binary64_3183` `unswap-sqr_binary64_3115`
2×	`pow-prod-down_binary64_3218` `pow-prod-up_binary64_3217` `pow-sqr_binary64_3120`
1×	`pow2_binary64_3228` `pow-plus_binary64_3210` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `*-commutative_binary64_3078`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
2.0ms	(cbrt.f64 (sin.f64 re))
2.0ms	(cbrt.f64 (sin.f64 re))
1.0ms	(cbrt.f64 (sin.f64 re))

Compiler

Compiled 2460 to 1110 computations (54.9% saved)

series473.0ms (3.5%)

Error

0.0b

Counts

4 → 16

Calls

4 calls:

131.0ms	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
117.0ms	(cbrt.f64 (sin.f64 re))
101.0ms	(cbrt.f64 (sin.f64 re))
98.0ms	(cbrt.f64 (sin.f64 re))

Compiler

Compiled 1362 to 940 computations (31% saved)

simplify90.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

586×	`log-prod_binary64_3233`
462×	`sqr-pow_binary64_3119`
307×	`*-commutative_binary64_3078`
294×	`associate-l_binary64_3088`
293×	`associate-/l/_binary64_3094`
196×	`associate-r_binary64_3087`
188×	`exp-prod_binary64_3199`
178×	`distribute-rgt-out_binary64_3100`
164×	`cube-prod_binary64_3175`
136×	`pow-sqr_binary64_3120`
115×	`swap-sqr_binary64_3114`
112×	`unswap-sqr_binary64_3115`
104×	`associate-/l*_binary64_3092`
81×	`log-pow_binary64_3236`
78×	`distribute-rgt-neg-in_binary64_3105`
77×	`associate-+l+_binary64_3080`
69×	`associate-+r+_binary64_3079`
64×	`distribute-lft-neg-in_binary64_3104`
61×	`distribute-rgt-in_binary64_3097`
60×	`distribute-lft-out_binary64_3098`
57×	`distribute-lft-in_binary64_3096`
54×	`+-commutative_binary64_3077`
52×	`cancel-sign-sub-inv_binary64_3113`
50×	`pow-plus_binary64_3210`
45×	`count-2_binary64_3095`
43×	`rem-sqrt-square_binary64_3160`
41×	`times-frac_binary64_3153`
38×	`sub-neg_binary64_3140`
37×	`unpow3_binary64_3213` `associate-/r/_binary64_3093`
35×	`associate-*r/_binary64_3089`
32×	`cube-mult_binary64_3177` `neg-mul-1_binary64_3143`
31×	`-rgt-identity_binary64_3137` `-lft-identity_binary64_3136`
30×	`neg-sub0_binary64_3142`
24×	`associate-/r*_binary64_3091`
19×	`cube-unmult_binary64_3184`
18×	`distribute-rgt1-in_binary64_3103`
17×	`log-div_binary64_3234` `cube-div_binary64_3176`
12×	`distribute-neg-in_binary64_3108`
10×	`unpow1/2_binary64_3211` `distribute-lft1-in_binary64_3102`
8×	`unpow2_binary64_3212` `associate-*l/_binary64_3090`
6×	`unpow1/3_binary64_3214` `distribute-lft-neg-out_binary64_3106` `associate--r+_binary64_3083`
5×	`unpow1_binary64_3205`
4×	`sub0-neg_binary64_3134` `associate-+l-_binary64_3082`
2×	`exp-sqrt_binary64_3200` `rem-3cbrt-lft_binary64_3172` `rem-cbrt-cube_binary64_3171` `remove-double-neg_binary64_3135` `--rgt-identity_binary64_3133` `+-rgt-identity_binary64_3132` `distribute-rgt-neg-out_binary64_3107` `associate-+r-_binary64_3081`
1×	`exp-lft-sqr_binary64_3202` `1-exp_binary64_3191` `exp-1-e_binary64_3190` `rem-3cbrt-rft_binary64_3173` `rem-square-sqrt_binary64_3159`
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_3410` `erf-erfc_binary64_3409` `erf-odd_binary64_3408` `if-if-and-not_binary64_3407` `if-if-and_binary64_3406` `if-if-or-not_binary64_3405` `if-if-or_binary64_3404` `if-not_binary64_3403` `if-same_binary64_3402` `if-false_binary64_3401` `if-true_binary64_3400` `not-gte_binary64_3399` `not-lte_binary64_3398` `not-gt_binary64_3397` `not-lt_binary64_3396` `gte-same_binary64_3395` `lte-same_binary64_3394` `gt-same_binary64_3393` `lt-same_binary64_3392` `sinh---cosh_binary64_3339` `sinh-+-cosh_binary64_3338` `sinh-cosh_binary64_3337` `tanh-def-c_binary64_3336` `tanh-def-b_binary64_3335` `tanh-def-a_binary64_3334` `cosh-def_binary64_3333` `sinh-def_binary64_3332` `tan-neg_binary64_3279` `cos-neg_binary64_3278` `sin-neg_binary64_3277` `tan-0_binary64_3276` `cos-0_binary64_3275` `sin-0_binary64_3274` `hang-m-tan_binary64_3273` `hang-p-tan_binary64_3272` `hang-m0-tan_binary64_3271` `hang-p0-tan_binary64_3270` `hang-0m-tan_binary64_3269` `hang-0p-tan_binary64_3268` `tan-+PI/2_binary64_3267` `tan-+PI_binary64_3266` `tan-PI_binary64_3265` `tan-PI/3_binary64_3264` `tan-PI/4_binary64_3263` `tan-PI/6_binary64_3262` `cos-+PI/2_binary64_3261` `cos-+PI_binary64_3260` `cos-PI_binary64_3259` `cos-PI/2_binary64_3258` `cos-PI/3_binary64_3257` `cos-PI/4_binary64_3256` `cos-PI/6_binary64_3255` `sin-+PI/2_binary64_3254` `sin-+PI_binary64_3253` `sin-PI_binary64_3252` `sin-PI/2_binary64_3251` `sin-PI/3_binary64_3250` `sin-PI/4_binary64_3249` `sin-PI/6_binary64_3248` `sub-1-sin_binary64_3247` `sub-1-cos_binary64_3246` `-1-add-sin_binary64_3245` `-1-add-cos_binary64_3244` `1-sub-sin_binary64_3243` `1-sub-cos_binary64_3242` `cos-sin-sum_binary64_3241` `log-E_binary64_3237` `log-rec_binary64_3235` `pow-base-0_binary64_3231` `exp-to-pow_binary64_3209` `pow-base-1_binary64_3207` `unpow0_binary64_3206` `unpow-1_binary64_3204` `exp-lft-cube_binary64_3203` `exp-cbrt_binary64_3201` `div-exp_binary64_3198` `rec-exp_binary64_3197` `prod-exp_binary64_3196` `exp-diff_binary64_3195` `exp-neg_binary64_3194` `exp-sum_binary64_3193` `e-exp-1_binary64_3192` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `rem-exp-log_binary64_3187` `cube-neg_binary64_3174` `rem-cube-cbrt_binary64_3170` `sqr-abs_binary64_3162` `sqr-neg_binary64_3161` `div-sub_binary64_3152` `unsub-neg_binary64_3141` `mul-1-neg_binary64_3139` `/-rgt-identity_binary64_3138` `+-lft-identity_binary64_3131` `mul0-rgt_binary64_3130` `mul0-lft_binary64_3129` `div0_binary64_3128` `*-inverses_binary64_3127` `+-inverses_binary64_3126` `lft-mult-inverse_binary64_3125` `rgt-mult-inverse_binary64_3124` `remove-double-div_binary64_3123` `difference-of-sqr--1_binary64_3118` `difference-of-sqr-1_binary64_3117` `difference-of-squares_binary64_3116` `cancel-sign-sub_binary64_3112` `distribute-neg-frac_binary64_3111` `distribute-frac-neg_binary64_3110` `distribute-neg-out_binary64_3109` `distribute-rgt-out--_binary64_3101` `distribute-lft-out--_binary64_3099` `associate--r-_binary64_3086` `associate--l-_binary64_3085` `associate--l+_binary64_3084`

Counts

89 → 56

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	65	1000
1	133	922
2	352	900
3	1081	882
4	1946	770
5	3036	770
6	4890	770

prune95.0ms (0.7%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	51	5	56
Fresh	1	8	9
Picked	1	0	1
Done	1	2	3
Total	54	15	69

Error

Counts

69 → 15

Compiler

Compiled 1668 to 900 computations (46% saved)

regimes1.4s (10.3%)

Accuracy

Total 0.8b remaining (94.7%)

Threshold costs 0.8b (94.7%)

Compiler

Compiled 14559 to 10400 computations (28.6% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64_3078`
9×	`+-commutative_binary64_3077`
8×	`sub-neg_binary64_3140`
7×	`neg-mul-1_binary64_3143` `neg-sub0_binary64_3142`
4×	`distribute-rgt-neg-in_binary64_3105`
3×	`distribute-lft-neg-in_binary64_3104`
2×	`unsub-neg_binary64_3141` `cancel-sign-sub-inv_binary64_3113` `distribute-neg-in_binary64_3108`
1×	`distribute-lft-neg-out_binary64_3106`
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_3407` `if-if-and_binary64_3406` `if-if-or-not_binary64_3405` `if-if-or_binary64_3404` `if-not_binary64_3403` `if-same_binary64_3402` `if-false_binary64_3401` `if-true_binary64_3400` `tan-0_binary64_3276` `cos-0_binary64_3275` `sin-0_binary64_3274` `unpow1_binary64_3205` `e-exp-1_binary64_3192` `1-exp_binary64_3191` `exp-1-e_binary64_3190` `exp-0_binary64_3189` `sqr-abs_binary64_3162` `sqr-neg_binary64_3161` `mul-1-neg_binary64_3139` `/-rgt-identity_binary64_3138` `-rgt-identity_binary64_3137` `-lft-identity_binary64_3136` `remove-double-neg_binary64_3135` `sub0-neg_binary64_3134` `--rgt-identity_binary64_3133` `+-rgt-identity_binary64_3132` `+-lft-identity_binary64_3131` `cancel-sign-sub_binary64_3112` `distribute-neg-frac_binary64_3111` `distribute-frac-neg_binary64_3110` `distribute-neg-out_binary64_3109` `distribute-rgt-neg-out_binary64_3107`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	29
1	26	29
2	36	29
3	46	29
4	62	29
5	71	29
6	77	29
7	79	29
8	79	29

end0.0ms (0%)

sample5.7s (42.8%)

Algorithm

1×

intervals

Results

1.7s	4136×	body	1024	valid
434.0ms	1909×	body	1024	invalid
431.0ms	2001×	body	512	valid
163.0ms	988×	body	512	invalid
156.0ms	2519×	body	128	invalid
133.0ms	238×	body	2048	valid
130.0ms	997×	body	256	valid
52.0ms	456×	body	256	invalid
40.0ms	628×	body	128	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 2374 to 1696 computations (28.6% saved)

Details

analyze560.0ms (4.2%)

sample120.0ms (0.9%)

simplify73.0ms (0.5%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite77.0ms (0.6%)

series289.0ms (2.2%)

simplify104.0ms (0.8%)

prune57.0ms (0.4%)

localize14.0ms (0.1%)

rewrite169.0ms (1.3%)

series652.0ms (4.9%)

simplify88.0ms (0.7%)

prune141.0ms (1%)

localize18.0ms (0.1%)

rewrite262.0ms (2%)

series2.5s (18.3%)

simplify112.0ms (0.8%)

prune257.0ms (1.9%)

localize19.0ms (0.1%)

rewrite153.0ms (1.1%)

series473.0ms (3.5%)

simplify90.0ms (0.7%)

prune95.0ms (0.7%)

regimes1.4s (10.3%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample5.7s (42.8%)

Profiling