Details

analyze741.0ms (3.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

760×	`div-sub_binary64_3152`
692×	`sub-neg_binary64_3140`
595×	`neg-mul-1_binary64_3143`
552×	`associate-/r*_binary64_3091`
505×	`neg-sub0_binary64_3142`
447×	`distribute-neg-frac_binary64_3111`
324×	`distribute-frac-neg_binary64_3110`
315×	`distribute-rgt-neg-in_binary64_3105`
302×	`distribute-lft-neg-out_binary64_3106`
238×	`distribute-rgt-neg-out_binary64_3107`
227×	`remove-double-neg_binary64_3135`
226×	`associate-/r/_binary64_3093`
220×	`associate-/l*_binary64_3092`
219×	`unsub-neg_binary64_3141`
209×	`associate-*l/_binary64_3090`
189×	`distribute-rgt-in_binary64_3097`
184×	`cancel-sign-sub-inv_binary64_3113`
144×	`times-frac_binary64_3153`
143×	`cancel-sign-sub_binary64_3112`
119×	`associate-/l/_binary64_3094`
111×	`distribute-lft-neg-in_binary64_3104`
109×	`distribute-neg-in_binary64_3108`
106×	`distribute-lft-in_binary64_3096`
89×	`associate--r-_binary64_3086`
84×	`associate--r+_binary64_3083`
66×	`sub0-neg_binary64_3134`
61×	`+-lft-identity_binary64_3131`
60×	`*-commutative_binary64_3078`
56×	`--rgt-identity_binary64_3133` `+-commutative_binary64_3077`
54×	`/-rgt-identity_binary64_3138`
45×	`associate-r_binary64_3087` `associate-+l-_binary64_3082`
44×	`associate-*r/_binary64_3089`
43×	`*-lft-identity_binary64_3136`
40×	`associate-+l+_binary64_3080`
36×	`div0_binary64_3128`
31×	`+-rgt-identity_binary64_3132`
29×	`associate--l-_binary64_3085` `associate-+r-_binary64_3081`
26×	`associate-l_binary64_3088`
18×	`*-rgt-identity_binary64_3137` `mul0-rgt_binary64_3130` `mul0-lft_binary64_3129`
17×	`associate-+r+_binary64_3079`
6×	`associate--l+_binary64_3084`
3×	`sqr-neg_binary64_3161` `swap-sqr_binary64_3114`
1×	`1-exp_binary64_3191`
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` `unpow3_binary64_3213` `unpow2_binary64_3212` `unpow1/2_binary64_3211` `pow-plus_binary64_3210` `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` `exp-prod_binary64_3199` `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-1-e_binary64_3190` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `rem-exp-log_binary64_3187` `cube-unmult_binary64_3184` `cube-mult_binary64_3177` `cube-div_binary64_3176` `cube-prod_binary64_3175` `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` `mul-1-neg_binary64_3139` `*-inverses_binary64_3127` `+-inverses_binary64_3126` `lft-mult-inverse_binary64_3125` `rgt-mult-inverse_binary64_3124` `remove-double-div_binary64_3123` `pow-sqr_binary64_3120` `sqr-pow_binary64_3119` `difference-of-sqr--1_binary64_3118` `difference-of-sqr-1_binary64_3117` `difference-of-squares_binary64_3116` `unswap-sqr_binary64_3115` `distribute-neg-out_binary64_3109` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `distribute-rgt-out--_binary64_3101` `distribute-rgt-out_binary64_3100` `distribute-lft-out--_binary64_3099` `distribute-lft-out_binary64_3098` `count-2_binary64_3095`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	104
1	88	96
2	164	96
3	316	96
4	473	96
5	779	96
6	1371	96
7	2448	96
8	3627	96
9	4406	96
10	4697	96
11	4882	96
12	4930	96
13	4963	96
14	4937	96
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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample43.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	168×	body	128	valid
8.0ms	31×	body	2048	valid
6.0ms	17×	body	4096	valid
3.0ms	17×	body	1024	valid
2.0ms	16×	body	512	valid
1.0ms	28×	body	128	nan
1.0ms	7×	body	256	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 35 to 32 computations (8.6% saved)

simplify340.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

904×	`div-sub_binary64_3152`
743×	`associate-/l*_binary64_3092`
567×	`times-frac_binary64_3153`
521×	`associate-/l/_binary64_3094`
427×	`associate-/r/_binary64_3093`
390×	`sub-neg_binary64_3140`
318×	`distribute-rgt-in_binary64_3097`
273×	`cancel-sign-sub-inv_binary64_3113`
256×	`distribute-neg-frac_binary64_3111`
247×	`distribute-lft-in_binary64_3096`
214×	`distribute-rgt-neg-in_binary64_3105`
199×	`unsub-neg_binary64_3141`
187×	`associate-/r*_binary64_3091`
179×	`distribute-lft-neg-in_binary64_3104`
116×	`neg-mul-1_binary64_3143`
113×	`associate-*l/_binary64_3090`
98×	`*-commutative_binary64_3078`
82×	`distribute-lft-neg-out_binary64_3106`
74×	`neg-sub0_binary64_3142` `distribute-frac-neg_binary64_3110`
67×	`distribute-rgt-neg-out_binary64_3107`
58×	`associate-r_binary64_3087`
55×	`+-commutative_binary64_3077`
54×	`associate--r+_binary64_3083`
49×	`div0_binary64_3128` `associate-l_binary64_3088`
48×	`mul0-rgt_binary64_3130`
45×	`associate-*r/_binary64_3089`
44×	`mul0-lft_binary64_3129`
42×	`remove-double-div_binary64_3123`
38×	`associate--r-_binary64_3086`
30×	`+-lft-identity_binary64_3131`
26×	`distribute-neg-in_binary64_3108` `associate--l-_binary64_3085`
23×	`cancel-sign-sub_binary64_3112`
22×	`/-rgt-identity_binary64_3138` `remove-double-neg_binary64_3135`
19×	`sub0-neg_binary64_3134`
17×	`*-lft-identity_binary64_3136`
14×	`associate-+l-_binary64_3082` `associate-+r-_binary64_3081` `associate-+l+_binary64_3080`
10×	`*-rgt-identity_binary64_3137` `distribute-rgt-out--_binary64_3101` `distribute-rgt-out_binary64_3100` `associate--l+_binary64_3084`
8×	`distribute-neg-out_binary64_3109`
7×	`--rgt-identity_binary64_3133` `associate-+r+_binary64_3079`
6×	`mul-1-neg_binary64_3139`
5×	`+-rgt-identity_binary64_3132`
4×	`distribute-lft-out_binary64_3098`
2×	`distribute-lft-out--_binary64_3099`
1×	`1-exp_binary64_3191` `swap-sqr_binary64_3114`
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` `unpow3_binary64_3213` `unpow2_binary64_3212` `unpow1/2_binary64_3211` `pow-plus_binary64_3210` `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` `exp-prod_binary64_3199` `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-1-e_binary64_3190` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `rem-exp-log_binary64_3187` `cube-unmult_binary64_3184` `cube-mult_binary64_3177` `cube-div_binary64_3176` `cube-prod_binary64_3175` `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` `sqr-neg_binary64_3161` `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` `pow-sqr_binary64_3120` `sqr-pow_binary64_3119` `difference-of-sqr--1_binary64_3118` `difference-of-sqr-1_binary64_3117` `difference-of-squares_binary64_3116` `unswap-sqr_binary64_3115` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `count-2_binary64_3095`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	29	24
2	62	24
3	125	24
4	175	24
5	284	24
6	456	24
7	759	24
8	1186	24
9	1635	24
10	1913	24
11	1868	24
12	1916	24
13	1985	24
14	2029	24
15	1597	24
16	1589	24
17	1581	24
18	1585	24
19	1587	24
20	1587	24
21	1801	24
22	1901	24
23	1835	24
24	1843	24
25	1865	24
26	1877	24
27	1883	24
28	1883	24
29	1927	24
30	1983	24
31	1935	24
32	1935	24
33	1746	24

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

30.9b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
1.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
21.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite164.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

30.6b

Rules

21×	`add-sqr-sqrt_binary64_3169`
14×	`*-un-lft-identity_binary64_3147`
9×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
8×	`add-log-exp_binary64_3186` `add-cube-cbrt_binary64_3182`
6×	`sqrt-prod_binary64_3163` `difference-of-squares_binary64_3116` `times-frac_binary64_3153` `associate-/l*_binary64_3092`
5×	`pow1_binary64_3208`
4×	`flip3--_binary64_3151` `flip--_binary64_3122` `cancel-sign-sub-inv_binary64_3113`
3×	`distribute-lft-out--_binary64_3099`
2×	`sqrt-div_binary64_3164` `diff-log_binary64_3239` `sub-neg_binary64_3140` `div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `associate-/l/_binary64_3094`
1×	`pow1/2_binary64_3227` `sqrt-pow1_binary64_3165` `rem-sqrt-square_binary64_3160` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `frac-2neg_binary64_3158` `div-sub_binary64_3152` `clear-num_binary64_3146` `div-inv_binary64_3144` `associate-/r*_binary64_3091`

Counts

4 → 74

Calls

4 calls:

12.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 2100 to 1220 computations (41.9% saved)

series1.2s (5.4%)

Error

5.9b

Counts

4 → 83

Calls

4 calls:

386.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
270.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
230.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
189.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

Compiler

Compiled 4022 to 3061 computations (23.9% saved)

simplify181.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

872×	`times-frac_binary64_3153`
228×	`distribute-rgt-in_binary64_3097`
193×	`distribute-rgt-neg-in_binary64_3105`
189×	`cancel-sign-sub-inv_binary64_3113`
175×	`distribute-lft-neg-in_binary64_3104`
123×	`associate-r_binary64_3087`
117×	`sub-neg_binary64_3140`
109×	`associate-l_binary64_3088`
105×	`exp-prod_binary64_3199`
104×	`*-commutative_binary64_3078`
91×	`unswap-sqr_binary64_3115`
85×	`associate-/l*_binary64_3092`
77×	`distribute-neg-frac_binary64_3111`
75×	`neg-mul-1_binary64_3143` `neg-sub0_binary64_3142`
65×	`associate-/r*_binary64_3091`
61×	`distribute-neg-in_binary64_3108` `+-commutative_binary64_3077`
53×	`div-sub_binary64_3152`
51×	`sqr-pow_binary64_3119`
41×	`cube-prod_binary64_3175`
39×	`distribute-lft-in_binary64_3096`
38×	`unpow3_binary64_3213` `associate-*l/_binary64_3090`
37×	`associate-*r/_binary64_3089`
31×	`distribute-rgt-out_binary64_3100`
26×	`unsub-neg_binary64_3141`
25×	`distribute-lft-neg-out_binary64_3106` `associate--r+_binary64_3083`
22×	`associate-+r+_binary64_3079`
21×	`exp-sum_binary64_3193` `associate-+l+_binary64_3080`
17×	`distribute-lft-out_binary64_3098`
15×	`exp-diff_binary64_3195`
13×	`cube-mult_binary64_3177` `swap-sqr_binary64_3114` `associate-/r/_binary64_3093` `associate--l+_binary64_3084` `associate-+r-_binary64_3081`
12×	`distribute-rgt-neg-out_binary64_3107`
11×	`+-rgt-identity_binary64_3132`
9×	`cube-unmult_binary64_3184`
8×	`pow-plus_binary64_3210` `difference-of-squares_binary64_3116`
6×	`rem-sqrt-square_binary64_3160`
5×	`log-div_binary64_3234` `exp-lft-cube_binary64_3203`
4×	`log-prod_binary64_3233` `exp-cbrt_binary64_3201` `pow-sqr_binary64_3120`
3×	`log-pow_binary64_3236` `unpow2_binary64_3212` `unpow1/2_binary64_3211` `unpow1_binary64_3205` `cube-div_binary64_3176` `mul-1-neg_binary64_3139` `distribute-lft-out--_binary64_3099` `associate-+l-_binary64_3082`
2×	`div-exp_binary64_3198` `prod-exp_binary64_3196` `sqr-neg_binary64_3161` `rem-square-sqrt_binary64_3159` `distribute-neg-out_binary64_3109`
1×	`1-exp_binary64_3191` `cube-neg_binary64_3174` `rem-3cbrt-lft_binary64_3172` `remove-double-neg_binary64_3135` `*-inverses_binary64_3127` `cancel-sign-sub_binary64_3112` `associate-/l/_binary64_3094` `associate--r-_binary64_3086` `associate--l-_binary64_3085`
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` `unpow1/3_binary64_3214` `exp-to-pow_binary64_3209` `pow-base-1_binary64_3207` `unpow0_binary64_3206` `unpow-1_binary64_3204` `exp-lft-sqr_binary64_3202` `exp-sqrt_binary64_3200` `rec-exp_binary64_3197` `exp-neg_binary64_3194` `e-exp-1_binary64_3192` `exp-1-e_binary64_3190` `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` `/-rgt-identity_binary64_3138` `-rgt-identity_binary64_3137` `-lft-identity_binary64_3136` `sub0-neg_binary64_3134` `--rgt-identity_binary64_3133` `+-lft-identity_binary64_3131` `mul0-rgt_binary64_3130` `mul0-lft_binary64_3129` `div0_binary64_3128` `+-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-frac-neg_binary64_3110` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `distribute-rgt-out--_binary64_3101` `count-2_binary64_3095`

Counts

157 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	239	3952
1	628	3685
2	2023	3651
3	4817	3651
4	4986	3651
5	4948	3651

prune200.0ms (0.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	115	15	130
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	116	15	131

Error

8.3b

Counts

131 → 15

Compiler

Compiled 3324 to 1845 computations (44.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (.f64 a c))
0.8b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
1.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
21.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite121.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

8.3b

Rules

12×	`add-sqr-sqrt_binary64_3169`
10×	`pow1_binary64_3208`
9×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `*-un-lft-identity_binary64_3147`
8×	`add-log-exp_binary64_3186`
7×	`add-cube-cbrt_binary64_3182`
4×	`sqrt-prod_binary64_3163` `cancel-sign-sub-inv_binary64_3113`
3×	`flip3--_binary64_3151` `flip--_binary64_3122` `pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `associate-l_binary64_3088`
2×	`sqrt-div_binary64_3164` `diff-log_binary64_3239` `sub-neg_binary64_3140` `difference-of-squares_binary64_3116`
1×	`pow1/2_binary64_3227` `sqrt-pow1_binary64_3165` `rem-sqrt-square_binary64_3160` `distribute-lft-out--_binary64_3099` `associate-r_binary64_3087` `*-commutative_binary64_3078`

Counts

4 → 62

Calls

4 calls:

9.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
6.0ms	(.f64 3 (.f64 a c))
5.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 1583 to 833 computations (47.4% saved)

series886.0ms (4%)

Error

8.2b

Counts

4 → 67

Calls

4 calls:

274.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
244.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
207.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
84.0ms	(.f64 3 (.f64 a c))

Compiler

Compiled 3192 to 2400 computations (24.8% saved)

simplify159.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

506×	`times-frac_binary64_3153`
344×	`associate-/l*_binary64_3092`
307×	`*-commutative_binary64_3078`
218×	`associate-/r*_binary64_3091`
191×	`sub-neg_binary64_3140`
164×	`neg-mul-1_binary64_3143` `distribute-rgt-neg-in_binary64_3105`
162×	`neg-sub0_binary64_3142`
157×	`cancel-sign-sub-inv_binary64_3113`
153×	`distribute-lft-neg-in_binary64_3104`
111×	`associate-r_binary64_3087`
106×	`sqr-pow_binary64_3119`
95×	`distribute-rgt-in_binary64_3097`
92×	`exp-prod_binary64_3199` `unsub-neg_binary64_3141`
91×	`associate-l_binary64_3088`
84×	`associate-*l/_binary64_3090`
82×	`+-commutative_binary64_3077`
81×	`distribute-lft-in_binary64_3096`
66×	`associate-+l+_binary64_3080`
65×	`associate-*r/_binary64_3089`
64×	`unswap-sqr_binary64_3115`
60×	`associate-/r/_binary64_3093`
53×	`associate-+r+_binary64_3079`
47×	`associate--r+_binary64_3083`
44×	`exp-sum_binary64_3193`
41×	`cube-prod_binary64_3175` `associate-+l-_binary64_3082`
38×	`associate-+r-_binary64_3081`
37×	`unpow3_binary64_3213`
33×	`distribute-neg-frac_binary64_3111`
32×	`distribute-neg-in_binary64_3108`
31×	`distribute-rgt-out_binary64_3100`
27×	`+-rgt-identity_binary64_3132`
25×	`exp-diff_binary64_3195` `sub0-neg_binary64_3134`
23×	`associate-/l/_binary64_3094`
21×	`log-prod_binary64_3233` `associate--l+_binary64_3084`
19×	`cube-mult_binary64_3177`
15×	`distribute-lft-neg-out_binary64_3106`
14×	`div-sub_binary64_3152` `pow-sqr_binary64_3120` `swap-sqr_binary64_3114`
13×	`mul0-rgt_binary64_3130` `mul0-lft_binary64_3129`
12×	`pow-plus_binary64_3210`
10×	`cube-unmult_binary64_3184`
8×	`log-pow_binary64_3236` `difference-of-squares_binary64_3116` `distribute-rgt-neg-out_binary64_3107`
5×	`exp-lft-cube_binary64_3203` `prod-exp_binary64_3196` `rem-sqrt-square_binary64_3160` `distribute-lft-out_binary64_3098`
4×	`unpow2_binary64_3212` `associate--l-_binary64_3085`
3×	`unpow1/2_binary64_3211` `unpow1_binary64_3205`
2×	`div-exp_binary64_3198` `sqr-neg_binary64_3161` `rem-square-sqrt_binary64_3159` `remove-double-neg_binary64_3135`
1×	`1-exp_binary64_3191` `rem-3cbrt-lft_binary64_3172` `*-lft-identity_binary64_3136` `--rgt-identity_binary64_3133` `+-inverses_binary64_3126` `cancel-sign-sub_binary64_3112` `distribute-neg-out_binary64_3109` `count-2_binary64_3095` `associate--r-_binary64_3086`
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` `exp-to-pow_binary64_3209` `pow-base-1_binary64_3207` `unpow0_binary64_3206` `unpow-1_binary64_3204` `exp-lft-sqr_binary64_3202` `exp-cbrt_binary64_3201` `exp-sqrt_binary64_3200` `rec-exp_binary64_3197` `exp-neg_binary64_3194` `e-exp-1_binary64_3192` `exp-1-e_binary64_3190` `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-cbrt-cube_binary64_3171` `rem-cube-cbrt_binary64_3170` `sqr-abs_binary64_3162` `mul-1-neg_binary64_3139` `/-rgt-identity_binary64_3138` `-rgt-identity_binary64_3137` `+-lft-identity_binary64_3131` `div0_binary64_3128` `-inverses_binary64_3127` `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-frac-neg_binary64_3110` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `distribute-rgt-out--_binary64_3101` `distribute-lft-out--_binary64_3099`

Counts

129 → 76

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	2445
1	400	2318
2	1242	2315
3	4255	2315
4	4863	2315
5	4998	2315
6	4917	2315

prune108.0ms (0.5%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	73	3	76
Fresh	2	12	14
Picked	0	1	1
Done	0	0	0
Total	75	16	91

Error

8.2b

Counts

91 → 16

Compiler

Compiled 1859 to 1064 computations (42.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.1b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))
3.3b	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
10.1b	(/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))
21.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite572.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

7.7b

Rules

274×	`times-frac_binary64_3153`
140×	`*-un-lft-identity_binary64_3147`
111×	`add-sqr-sqrt_binary64_3169`
110×	`add-cube-cbrt_binary64_3182`
35×	`associate-/l*_binary64_3092`
33×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
26×	`associate-/r/_binary64_3093`
18×	`div-inv_binary64_3144`
15×	`div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `distribute-lft-out_binary64_3098`
14×	`flip3-+_binary64_3150` `flip-+_binary64_3121`
7×	`associate-/r*_binary64_3091`
6×	`add-log-exp_binary64_3186` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
5×	`pow1_binary64_3208`
3×	`sqrt-prod_binary64_3163`
2×	`sqrt-div_binary64_3164` `frac-2neg_binary64_3158` `clear-num_binary64_3146`
1×	`pow1/2_binary64_3227` `sqrt-pow1_binary64_3165` `flip3--_binary64_3151` `flip--_binary64_3122` `rem-sqrt-square_binary64_3160` `associate-/l/_binary64_3094` `sum-log_binary64_3238` `+-commutative_binary64_3077`

Counts

4 → 214

Calls

4 calls:

21.0ms	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
15.0ms	(/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 9294 to 5213 computations (43.9% saved)

series1.5s (7%)

Error

5.8b

Counts

4 → 86

Calls

4 calls:

521.0ms	(/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))
455.0ms	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
233.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))
209.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 5298 to 3856 computations (27.2% saved)

simplify304.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

320×	`associate-/r*_binary64_3091`
311×	`associate-/l*_binary64_3092`
264×	`times-frac_binary64_3153`
190×	`associate-/l/_binary64_3094`
184×	`sub-neg_binary64_3140` `*-commutative_binary64_3078`
166×	`associate-r_binary64_3087`
147×	`associate-l_binary64_3088`
146×	`div-sub_binary64_3152`
144×	`associate-/r/_binary64_3093`
135×	`associate-*l/_binary64_3090`
119×	`unswap-sqr_binary64_3115`
92×	`associate-*r/_binary64_3089`
78×	`neg-sub0_binary64_3142`
73×	`neg-mul-1_binary64_3143`
70×	`+-commutative_binary64_3077`
58×	`distribute-rgt-in_binary64_3097`
51×	`sqr-pow_binary64_3119`
50×	`distribute-lft-in_binary64_3096`
46×	`cancel-sign-sub-inv_binary64_3113`
42×	`/-rgt-identity_binary64_3138`
41×	`cube-prod_binary64_3175`
36×	`distribute-rgt-neg-in_binary64_3105`
35×	`associate--r+_binary64_3083`
33×	`unsub-neg_binary64_3141`
32×	`log-prod_binary64_3233`
30×	`distribute-neg-in_binary64_3108`
29×	`log-div_binary64_3234` `distribute-lft-neg-in_binary64_3104`
26×	`associate--l+_binary64_3084` `associate-+l+_binary64_3080`
24×	`associate-+r+_binary64_3079`
19×	`cube-div_binary64_3176`
16×	`distribute-neg-frac_binary64_3111`
15×	`*-lft-identity_binary64_3136`
12×	`*-rgt-identity_binary64_3137`
9×	`unpow3_binary64_3213` `exp-prod_binary64_3199` `cube-mult_binary64_3177` `swap-sqr_binary64_3114`
8×	`mul-1-neg_binary64_3139` `associate-+r-_binary64_3081`
7×	`cube-unmult_binary64_3184` `difference-of-squares_binary64_3116` `associate--l-_binary64_3085`
5×	`associate-+l-_binary64_3082`
4×	`unpow2_binary64_3212` `unpow1/2_binary64_3211` `unpow1_binary64_3205` `exp-sum_binary64_3193` `rem-sqrt-square_binary64_3160` `+-rgt-identity_binary64_3132`
3×	`log-pow_binary64_3236` `pow-plus_binary64_3210` `div0_binary64_3128` `distribute-lft-neg-out_binary64_3106` `distribute-rgt-out_binary64_3100`
2×	`rem-square-sqrt_binary64_3159` `pow-sqr_binary64_3120` `distribute-frac-neg_binary64_3110`
1×	`log-rec_binary64_3235` `exp-cbrt_binary64_3201` `prod-exp_binary64_3196` `1-exp_binary64_3191` `cube-neg_binary64_3174` `*-inverses_binary64_3127` `+-inverses_binary64_3126` `distribute-rgt-out--_binary64_3101` `distribute-lft-out--_binary64_3099` `associate--r-_binary64_3086`
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` `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-lft-sqr_binary64_3202` `exp-sqrt_binary64_3200` `div-exp_binary64_3198` `rec-exp_binary64_3197` `exp-diff_binary64_3195` `exp-neg_binary64_3194` `e-exp-1_binary64_3192` `exp-1-e_binary64_3190` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `rem-exp-log_binary64_3187` `rem-3cbrt-rft_binary64_3173` `rem-3cbrt-lft_binary64_3172` `rem-cbrt-cube_binary64_3171` `rem-cube-cbrt_binary64_3170` `sqr-abs_binary64_3162` `sqr-neg_binary64_3161` `remove-double-neg_binary64_3135` `sub0-neg_binary64_3134` `--rgt-identity_binary64_3133` `+-lft-identity_binary64_3131` `mul0-rgt_binary64_3130` `mul0-lft_binary64_3129` `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-out_binary64_3109` `distribute-rgt-neg-out_binary64_3107` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `distribute-lft-out_binary64_3098` `count-2_binary64_3095`

Counts

300 → 236

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	549	13238
1	1383	12406
2	4162	12253
3	4958	12253

prune477.0ms (2.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	230	6	236
Fresh	6	8	14
Picked	1	0	1
Done	1	0	1
Total	238	14	252

Error

7.6b

Counts

252 → 14

Compiler

Compiled 8653 to 4861 computations (43.8% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.3b	(+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))))
10.4b	(/.f64 (.f64 a (.f64 c -3)) (+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))))
22.4b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
22.4b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite181.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

7.6b

Rules

13×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
8×	`add-cube-cbrt_binary64_3182` `add-sqr-sqrt_binary64_3169` `*-un-lft-identity_binary64_3147`
6×	`add-log-exp_binary64_3186` `cbrt-prod_binary64_3178`
4×	`pow1_binary64_3208` `cbrt-div_binary64_3179`
3×	`prod-exp_binary64_3196` `div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `cbrt-unprod_binary64_3180` `times-frac_binary64_3153` `associate-/r*_binary64_3091`
2×	`pow1/3_binary64_3229` `flip3--_binary64_3151` `flip--_binary64_3122` `flip3-+_binary64_3150` `associate-/r/_binary64_3093` `flip-+_binary64_3121`
1×	`frac-2neg_binary64_3158` `clear-num_binary64_3146` `div-inv_binary64_3144` `associate-/l*_binary64_3092` `sum-log_binary64_3238` `+-commutative_binary64_3077`

Counts

4 → 62

Calls

4 calls:

8.0ms	(/.f64 (.f64 a (.f64 c -3)) (+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))))
4.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
4.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
3.0ms	(+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))))

Compiler

Compiled 3474 to 1883 computations (45.8% saved)

series7.4s (33.7%)

Error

7.6b

Counts

4 → 87

Calls

4 calls:

5.4s	(/.f64 (.f64 a (.f64 c -3)) (+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))))
723.0ms	(+.f64 b (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))))
506.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
457.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 15396 to 11685 computations (24.1% saved)

simplify244.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

388×	`times-frac_binary64_3153`
372×	`associate-/l*_binary64_3092`
344×	`associate-l_binary64_3088`
238×	`associate-/r*_binary64_3091`
147×	`neg-mul-1_binary64_3143` `associate-*r/_binary64_3089`
136×	`*-commutative_binary64_3078`
128×	`associate-*l/_binary64_3090`
97×	`log-prod_binary64_3233`
95×	`sqr-pow_binary64_3119`
90×	`div-sub_binary64_3152`
86×	`distribute-rgt-neg-in_binary64_3105`
78×	`cancel-sign-sub-inv_binary64_3113`
76×	`distribute-lft-neg-in_binary64_3104`
71×	`distribute-rgt-in_binary64_3097` `associate-/r/_binary64_3093`
64×	`neg-sub0_binary64_3142`
58×	`sub-neg_binary64_3140`
57×	`distribute-lft-in_binary64_3096`
49×	`log-div_binary64_3234`
48×	`associate-r_binary64_3087`
47×	`distribute-neg-in_binary64_3108`
40×	`associate-/l/_binary64_3094`
39×	`cube-prod_binary64_3175`
38×	`+-commutative_binary64_3077`
25×	`exp-prod_binary64_3199`
23×	`exp-sum_binary64_3193`
21×	`distribute-neg-frac_binary64_3111`
20×	`cube-div_binary64_3176`
19×	`unswap-sqr_binary64_3115`
16×	`swap-sqr_binary64_3114`
15×	`unpow3_binary64_3213` `cube-mult_binary64_3177`
14×	`unpow1/3_binary64_3214`
13×	`unpow2_binary64_3212` `unpow1_binary64_3205`
12×	`log-pow_binary64_3236` `associate-+r+_binary64_3079`
11×	`unpow1/2_binary64_3211` `unsub-neg_binary64_3141` `distribute-lft-neg-out_binary64_3106`
10×	`cube-unmult_binary64_3184`
9×	`associate--l+_binary64_3084`
8×	`distribute-rgt-neg-out_binary64_3107`
6×	`exp-diff_binary64_3195` `pow-sqr_binary64_3120`
5×	`prod-exp_binary64_3196` `rem-sqrt-square_binary64_3160`
4×	`log-rec_binary64_3235` `sqr-neg_binary64_3161` `difference-of-squares_binary64_3116`
3×	`remove-double-neg_binary64_3135` `distribute-frac-neg_binary64_3110` `distribute-rgt-out_binary64_3100`
2×	`exp-to-pow_binary64_3209` `cube-neg_binary64_3174` `/-rgt-identity_binary64_3138` `distribute-rgt-out--_binary64_3101` `associate--r+_binary64_3083`
1×	`pow-plus_binary64_3210` `1-exp_binary64_3191` `rem-exp-log_binary64_3187` `rem-3cbrt-lft_binary64_3172` `sqr-abs_binary64_3162` `rem-square-sqrt_binary64_3159` `*-lft-identity_binary64_3136` `associate-+r-_binary64_3081`
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-lft-sqr_binary64_3202` `exp-cbrt_binary64_3201` `exp-sqrt_binary64_3200` `div-exp_binary64_3198` `rec-exp_binary64_3197` `exp-neg_binary64_3194` `e-exp-1_binary64_3192` `exp-1-e_binary64_3190` `exp-0_binary64_3189` `rem-log-exp_binary64_3188` `rem-3cbrt-rft_binary64_3173` `rem-cbrt-cube_binary64_3171` `rem-cube-cbrt_binary64_3170` `mul-1-neg_binary64_3139` `-rgt-identity_binary64_3137` `sub0-neg_binary64_3134` `--rgt-identity_binary64_3133` `+-rgt-identity_binary64_3132` `+-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-out_binary64_3109` `distribute-rgt1-in_binary64_3103` `distribute-lft1-in_binary64_3102` `distribute-lft-out--_binary64_3099` `distribute-lft-out_binary64_3098` `count-2_binary64_3095` `associate--r-_binary64_3086` `associate--l-_binary64_3085` `associate-+l-_binary64_3082` `associate-+l+_binary64_3080`

Counts

149 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	411	8697
1	1306	7876
2	4472	7712
3	4953	7712
4	4923	7712

prune388.0ms (1.8%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	133	15	148

Error

7.6b

Counts

148 → 15

Compiler

Compiled 7224 to 4098 computations (43.3% saved)

regimes2.5s (11.2%)

Accuracy

Total 3.1b remaining (34.3%)

Threshold costs 0b (0%)

Compiler

Compiled 18915 to 14268 computations (24.6% saved)

bsearch131.0ms (0.6%)

Steps

Iters	Range	Point
6	7.788087608548404e+100	9.545400445836452e+101	1.4541237874109192e+101
11	6.2310731075506094e-276	2.6055409955803465e-256	4.965784922272556e-271
9	-4.543649913264576e+80	-2.0227958166572692e+73	-6.561650439314054e+78

Iters

Range

Point

7.788087608548404e+100

9.545400445836452e+101

1.4541237874109192e+101

6.2310731075506094e-276

2.6055409955803465e-256

4.965784922272556e-271

-4.543649913264576e+80

-2.0227958166572692e+73

-6.561650439314054e+78

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

20×	`*-commutative_binary64_3078`
16×	`+-commutative_binary64_3077`
14×	`sub-neg_binary64_3140`
11×	`neg-mul-1_binary64_3143` `neg-sub0_binary64_3142`
10×	`distribute-rgt-neg-in_binary64_3105`
7×	`distribute-lft-neg-in_binary64_3104`
6×	`cancel-sign-sub-inv_binary64_3113`
3×	`distribute-lft-neg-out_binary64_3106`
1×	`unsub-neg_binary64_3141` `distribute-neg-frac_binary64_3111`
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-frac-neg_binary64_3110` `distribute-neg-out_binary64_3109` `distribute-neg-in_binary64_3108` `distribute-rgt-neg-out_binary64_3107`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	100
1	73	98
2	105	98
3	131	98
4	145	98
5	149	98
6	149	98

end0.0ms (0%)

sample4.1s (18.6%)

Algorithm

1×

intervals

Results

283.0ms	1123×	body	2048	valid
272.0ms	5202×	body	128	valid
147.0ms	754×	body	1024	valid
118.0ms	384×	body	4096	valid
58.0ms	365×	body	512	valid
35.0ms	658×	body	128	nan
17.0ms	172×	body	256	valid
17.0ms	333×	body	128	invalid

Compiler

Compiled 3719 to 2800 computations (24.7% saved)

Details

analyze741.0ms (3.4%)

sample43.0ms (0.2%)

simplify340.0ms (1.5%)

prune4.0ms (0%)

localize11.0ms (0%)

rewrite164.0ms (0.7%)

series1.2s (5.4%)

simplify181.0ms (0.8%)

prune200.0ms (0.9%)

localize12.0ms (0.1%)

rewrite121.0ms (0.5%)

series886.0ms (4%)

simplify159.0ms (0.7%)

prune108.0ms (0.5%)

localize16.0ms (0.1%)

rewrite572.0ms (2.6%)

series1.5s (7%)

simplify304.0ms (1.4%)

prune477.0ms (2.2%)

localize24.0ms (0.1%)

rewrite181.0ms (0.8%)

series7.4s (33.7%)

simplify244.0ms (1.1%)

prune388.0ms (1.8%)

regimes2.5s (11.2%)

bsearch131.0ms (0.6%)

simplify7.0ms (0%)

end0.0ms (0%)

sample4.1s (18.6%)

Profiling