Details

analyze650.0ms (3.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

756×	`neg-mul-1_binary64_3484`
741×	`neg-sub0_binary64_3483`
638×	`associate-/l*_binary64_3433`
470×	`distribute-frac-neg_binary64_3451`
468×	`div-sub_binary64_3493`
448×	`unsub-neg_binary64_3482`
352×	`sub-neg_binary64_3481`
260×	`distribute-rgt-in_binary64_3438`
256×	`times-frac_binary64_3494`
236×	`distribute-lft-neg-out_binary64_3447`
234×	`distribute-rgt-neg-out_binary64_3448`
198×	`distribute-lft-in_binary64_3437` `associate-*l/_binary64_3431`
187×	`associate-l_binary64_3429`
177×	`cancel-sign-sub-inv_binary64_3454`
173×	`associate-*r/_binary64_3430`
172×	`distribute-neg-frac_binary64_3452`
170×	`associate-r_binary64_3428`
155×	`associate-/r/_binary64_3434`
149×	`associate-/r*_binary64_3432`
122×	`*-lft-identity_binary64_3477`
117×	`associate-/l/_binary64_3435`
103×	`*-rgt-identity_binary64_3478`
97×	`*-commutative_binary64_3419`
90×	`remove-double-neg_binary64_3476`
82×	`distribute-rgt-neg-in_binary64_3446`
78×	`cancel-sign-sub_binary64_3453`
77×	`/-rgt-identity_binary64_3479`
53×	`div0_binary64_3469`
44×	`distribute-rgt-out_binary64_3441` `associate--r+_binary64_3424` `+-commutative_binary64_3418`
42×	`distribute-lft-neg-in_binary64_3445`
40×	`distribute-rgt-out--_binary64_3442`
34×	`+-lft-identity_binary64_3472`
32×	`associate-+l-_binary64_3423` `associate-+r+_binary64_3420`
29×	`distribute-neg-in_binary64_3449`
28×	`sub0-neg_binary64_3475` `distribute-neg-out_binary64_3450`
24×	`associate-+r-_binary64_3422`
22×	`associate-+l+_binary64_3421`
19×	`+-rgt-identity_binary64_3473`
17×	`remove-double-div_binary64_3464`
16×	`difference-of-squares_binary64_3457`
15×	`mul0-rgt_binary64_3471` `mul0-lft_binary64_3470`
12×	`distribute-lft-out_binary64_3439`
10×	`associate--r-_binary64_3427`
8×	`associate--l+_binary64_3425`
6×	`swap-sqr_binary64_3455`
4×	`associate--l-_binary64_3426`
3×	`sqr-neg_binary64_3502` `--rgt-identity_binary64_3474`
2×	`mul-1-neg_binary64_3480`
1×	`1-exp_binary64_3532`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `log-pow_binary64_3577` `log-rec_binary64_3576` `log-div_binary64_3575` `log-prod_binary64_3574` `pow-base-0_binary64_3572` `unpow1/3_binary64_3555` `unpow3_binary64_3554` `unpow2_binary64_3553` `unpow1/2_binary64_3552` `pow-plus_binary64_3551` `exp-to-pow_binary64_3550` `pow-base-1_binary64_3548` `unpow0_binary64_3547` `unpow1_binary64_3546` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-lft-sqr_binary64_3543` `exp-cbrt_binary64_3542` `exp-sqrt_binary64_3541` `exp-prod_binary64_3540` `div-exp_binary64_3539` `rec-exp_binary64_3538` `prod-exp_binary64_3537` `exp-diff_binary64_3536` `exp-neg_binary64_3535` `exp-sum_binary64_3534` `e-exp-1_binary64_3533` `exp-1-e_binary64_3531` `exp-0_binary64_3530` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `cube-unmult_binary64_3525` `cube-mult_binary64_3518` `cube-div_binary64_3517` `cube-prod_binary64_3516` `cube-neg_binary64_3515` `rem-3cbrt-rft_binary64_3514` `rem-3cbrt-lft_binary64_3513` `rem-cbrt-cube_binary64_3512` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `rem-sqrt-square_binary64_3501` `rem-square-sqrt_binary64_3500` `*-inverses_binary64_3468` `+-inverses_binary64_3467` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `pow-sqr_binary64_3461` `sqr-pow_binary64_3460` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `unswap-sqr_binary64_3456` `distribute-rgt1-in_binary64_3444` `distribute-lft1-in_binary64_3443` `distribute-lft-out--_binary64_3440` `count-2_binary64_3436`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	208
1	161	200
2	483	200
3	1371	192
4	2735	192
5	3995	192
6	4316	192
7	4707	192
8	5013	192
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
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

Compiler

Compiled 38 to 24 computations (36.8% saved)

sample58.0ms (0.3%)

Algorithm

1×

intervals

Results

38.0ms	239×	body	256	valid
3.0ms	39×	body	128	nan
1.0ms	17×	body	128	valid

Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify232.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

637×	`associate-/l*_binary64_3433`
634×	`div-sub_binary64_3493`
582×	`unsub-neg_binary64_3482`
519×	`sub-neg_binary64_3481`
502×	`times-frac_binary64_3494`
356×	`distribute-rgt-out--_binary64_3442`
307×	`neg-mul-1_binary64_3484`
295×	`distribute-rgt-neg-in_binary64_3446`
286×	`associate-/l/_binary64_3435`
280×	`neg-sub0_binary64_3483`
252×	`associate-/r/_binary64_3434`
250×	`distribute-lft-neg-out_binary64_3447`
246×	`distribute-neg-out_binary64_3450`
212×	`associate-/r_binary64_3432` `-commutative_binary64_3419`
210×	`+-commutative_binary64_3418`
208×	`distribute-rgt-out_binary64_3441`
203×	`distribute-rgt-in_binary64_3438`
199×	`distribute-rgt-neg-out_binary64_3448`
186×	`distribute-neg-frac_binary64_3452`
160×	`associate-*r/_binary64_3430`
145×	`cancel-sign-sub-inv_binary64_3454`
137×	`associate-*l/_binary64_3431`
133×	`distribute-neg-in_binary64_3449`
123×	`distribute-lft-in_binary64_3437`
113×	`associate-+l+_binary64_3421`
106×	`distribute-lft-out--_binary64_3440`
100×	`distribute-frac-neg_binary64_3451`
98×	`associate-+l-_binary64_3423`
90×	`associate-l_binary64_3429`
81×	`associate-+r+_binary64_3420`
78×	`associate-r_binary64_3428` `associate--r-_binary64_3427`
63×	`associate--r+_binary64_3424`
59×	`distribute-lft-neg-in_binary64_3445`
46×	`*-lft-identity_binary64_3477`
44×	`associate-+r-_binary64_3422`
43×	`*-rgt-identity_binary64_3478` `distribute-lft-out_binary64_3439`
35×	`remove-double-neg_binary64_3476` `sub0-neg_binary64_3475`
34×	`associate--l+_binary64_3425`
27×	`mul0-rgt_binary64_3471` `swap-sqr_binary64_3455`
25×	`mul0-lft_binary64_3470`
24×	`distribute-rgt1-in_binary64_3444`
23×	`associate--l-_binary64_3426`
20×	`mul-1-neg_binary64_3480`
18×	`div0_binary64_3469`
14×	`cancel-sign-sub_binary64_3453`
9×	`+-lft-identity_binary64_3472`
6×	`+-rgt-identity_binary64_3473`
5×	`sqr-neg_binary64_3502`
4×	`/-rgt-identity_binary64_3479` `--rgt-identity_binary64_3474` `+-inverses_binary64_3467`
2×	`difference-of-squares_binary64_3457` `distribute-lft1-in_binary64_3443`
1×	`1-exp_binary64_3532`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `log-pow_binary64_3577` `log-rec_binary64_3576` `log-div_binary64_3575` `log-prod_binary64_3574` `pow-base-0_binary64_3572` `unpow1/3_binary64_3555` `unpow3_binary64_3554` `unpow2_binary64_3553` `unpow1/2_binary64_3552` `pow-plus_binary64_3551` `exp-to-pow_binary64_3550` `pow-base-1_binary64_3548` `unpow0_binary64_3547` `unpow1_binary64_3546` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-lft-sqr_binary64_3543` `exp-cbrt_binary64_3542` `exp-sqrt_binary64_3541` `exp-prod_binary64_3540` `div-exp_binary64_3539` `rec-exp_binary64_3538` `prod-exp_binary64_3537` `exp-diff_binary64_3536` `exp-neg_binary64_3535` `exp-sum_binary64_3534` `e-exp-1_binary64_3533` `exp-1-e_binary64_3531` `exp-0_binary64_3530` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `cube-unmult_binary64_3525` `cube-mult_binary64_3518` `cube-div_binary64_3517` `cube-prod_binary64_3516` `cube-neg_binary64_3515` `rem-3cbrt-rft_binary64_3514` `rem-3cbrt-lft_binary64_3513` `rem-cbrt-cube_binary64_3512` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `rem-sqrt-square_binary64_3501` `rem-square-sqrt_binary64_3500` `*-inverses_binary64_3468` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `remove-double-div_binary64_3464` `pow-sqr_binary64_3461` `sqr-pow_binary64_3460` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `unswap-sqr_binary64_3456` `count-2_binary64_3436`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	53	50
2	139	50
3	381	48
4	735	48
5	1189	48
6	1409	48
7	1893	48
8	1853	48
9	2235	48
10	2889	48
11	3457	48
12	3639	48
13	3749	48
14	3797	48
15	3821	48
16	3871	48
17	4858	48
18	4799	48
19	4980	48
20	4834	48

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

36.9b

Counts

2 → 2

Compiler

Compiled 99 to 59 computations (40.4% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

7.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
9.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite196.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

32.3b

Rules

10×	`cbrt-div_binary64_3520`
8×	`add-sqr-sqrt_binary64_3510` `sqrt-prod_binary64_3504`
6×	`pow1_binary64_3549` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
4×	`add-log-exp_binary64_3527` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `flip3--_binary64_3492` `sqrt-div_binary64_3505` `flip--_binary64_3463` `frac-times_binary64_3498` `associate-*r/_binary64_3430`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `difference-of-squares_binary64_3457` `rem-sqrt-square_binary64_3501` `pow1/3_binary64_3570` `flip3-+_binary64_3491` `flip-+_binary64_3462` `associate-*l/_binary64_3431` `cbrt-prod_binary64_3519`

Counts

4 → 60

Calls

4 calls:

14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2998 to 1039 computations (65.3% saved)

series1.9s (11%)

Error

32.0b

Counts

4 → 52

Calls

4 calls:

800.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
741.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
135.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
126.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 5954 to 4386 computations (26.3% saved)

simplify330.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

291×	`distribute-rgt-in_binary64_3438`
236×	`cancel-sign-sub-inv_binary64_3454`
186×	`associate-r_binary64_3428`
168×	`distribute-rgt-neg-in_binary64_3446`
154×	`distribute-lft-neg-in_binary64_3445`
149×	`sub-neg_binary64_3481`
147×	`times-frac_binary64_3494`
144×	`*-commutative_binary64_3419`
131×	`associate-l_binary64_3429`
122×	`distribute-rgt-neg-out_binary64_3448` `distribute-lft-neg-out_binary64_3447`
107×	`div-sub_binary64_3493`
92×	`distribute-frac-neg_binary64_3451`
90×	`exp-prod_binary64_3540`
86×	`unsub-neg_binary64_3482`
83×	`neg-sub0_binary64_3483`
81×	`sqr-pow_binary64_3460`
77×	`unswap-sqr_binary64_3456`
76×	`neg-mul-1_binary64_3484` `associate-/r*_binary64_3432`
69×	`associate-/l*_binary64_3433`
63×	`exp-sum_binary64_3534`
62×	`log-prod_binary64_3574`
59×	`distribute-neg-frac_binary64_3452`
58×	`+-commutative_binary64_3418`
55×	`distribute-lft-in_binary64_3437`
49×	`distribute-rgt-out_binary64_3441`
46×	`distribute-neg-out_binary64_3450`
41×	`distribute-neg-in_binary64_3449`
35×	`associate-*l/_binary64_3431`
34×	`unpow1/3_binary64_3555`
33×	`associate-*r/_binary64_3430`
28×	`exp-diff_binary64_3536`
27×	`log-div_binary64_3575`
24×	`difference-of-squares_binary64_3457`
22×	`exp-to-pow_binary64_3550`
20×	`distribute-lft-out_binary64_3439`
19×	`cube-prod_binary64_3516` `associate-+l+_binary64_3421` `associate-+r+_binary64_3420`
18×	`distribute-rgt-out--_binary64_3442`
17×	`*-lft-identity_binary64_3477`
16×	`associate--r+_binary64_3424` `associate-+l-_binary64_3423`
13×	`*-rgt-identity_binary64_3478`
12×	`pow-sqr_binary64_3461` `associate-+r-_binary64_3422`
10×	`unpow3_binary64_3554`
8×	`pow-plus_binary64_3551`
7×	`associate-/r/_binary64_3434`
6×	`remove-double-neg_binary64_3476` `swap-sqr_binary64_3455` `associate--r-_binary64_3427` `associate--l-_binary64_3426`
5×	`log-pow_binary64_3577` `cube-unmult_binary64_3525` `cube-mult_binary64_3518`
4×	`log-rec_binary64_3576` `exp-neg_binary64_3535` `cube-neg_binary64_3515` `mul-1-neg_binary64_3480` `associate--l+_binary64_3425`
3×	`sqr-neg_binary64_3502`
2×	`unpow2_binary64_3553` `unpow1/2_binary64_3552` `unpow1_binary64_3546` `exp-lft-sqr_binary64_3543` `rem-3cbrt-lft_binary64_3513` `rem-sqrt-square_binary64_3501` `sub0-neg_binary64_3475` `+-rgt-identity_binary64_3473` `cancel-sign-sub_binary64_3453`
1×	`1-exp_binary64_3532` `rem-square-sqrt_binary64_3500` `/-rgt-identity_binary64_3479` `--rgt-identity_binary64_3474` `+-inverses_binary64_3467` `distribute-rgt1-in_binary64_3444` `distribute-lft-out--_binary64_3440`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `pow-base-0_binary64_3572` `pow-base-1_binary64_3548` `unpow0_binary64_3547` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-cbrt_binary64_3542` `exp-sqrt_binary64_3541` `div-exp_binary64_3539` `rec-exp_binary64_3538` `prod-exp_binary64_3537` `e-exp-1_binary64_3533` `exp-1-e_binary64_3531` `exp-0_binary64_3530` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `cube-div_binary64_3517` `rem-3cbrt-rft_binary64_3514` `rem-cbrt-cube_binary64_3512` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `+-lft-identity_binary64_3472` `mul0-rgt_binary64_3471` `mul0-lft_binary64_3470` `div0_binary64_3469` `*-inverses_binary64_3468` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `remove-double-div_binary64_3464` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `distribute-lft1-in_binary64_3443` `count-2_binary64_3436` `associate-/l/_binary64_3435`

Counts

112 → 84

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	292	3141
1	737	3089
2	2496	2975
3	4891	2898
4	4953	2898

prune257.0ms (1.5%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	63	21	84
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	65	21	86

Error

31.3b

Counts

86 → 21

Compiler

Compiled 4638 to 2271 computations (51% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.4b	(-.f64 (.f64 g g) (.f64 h h))
7.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite163.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

31.3b

Rules

8×	`add-sqr-sqrt_binary64_3510` `sqrt-prod_binary64_3504`
6×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
5×	`flip3--_binary64_3492` `flip--_binary64_3463` `cbrt-div_binary64_3520`
4×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505`
3×	`difference-of-squares_binary64_3457`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501` `frac-times_binary64_3498` `associate-*r/_binary64_3430`
1×	`pow1/3_binary64_3570` `associate-*l/_binary64_3431` `cbrt-prod_binary64_3519` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

4 → 59

Calls

4 calls:

14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2879 to 1087 computations (62.2% saved)

series1.3s (7.7%)

Error

30.7b

Counts

4 → 52

Calls

4 calls:

813.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
163.0ms	(-.f64 (.f64 g g) (.f64 h h))
128.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
124.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 5487 to 4028 computations (26.6% saved)

simplify86.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

717×	`associate-/l*_binary64_3433`
258×	`distribute-rgt-in_binary64_3438`
242×	`distribute-lft-in_binary64_3437`
197×	`cancel-sign-sub-inv_binary64_3454`
159×	`distribute-rgt-neg-in_binary64_3446`
149×	`distribute-lft-neg-in_binary64_3445`
128×	`associate-r_binary64_3428`
119×	`sub-neg_binary64_3481`
100×	`distribute-lft-neg-out_binary64_3447` `*-commutative_binary64_3419`
95×	`distribute-rgt-neg-out_binary64_3448`
91×	`associate-l_binary64_3429`
85×	`times-frac_binary64_3494` `associate-/r/_binary64_3434`
73×	`neg-sub0_binary64_3483` `sqr-pow_binary64_3460`
71×	`unswap-sqr_binary64_3456`
69×	`neg-mul-1_binary64_3484`
66×	`div-sub_binary64_3493`
60×	`unsub-neg_binary64_3482`
59×	`distribute-neg-frac_binary64_3452`
54×	`distribute-frac-neg_binary64_3451`
50×	`exp-prod_binary64_3540`
46×	`associate-/r*_binary64_3432`
43×	`distribute-rgt-out_binary64_3441`
42×	`exp-sum_binary64_3534` `+-commutative_binary64_3418`
38×	`distribute-neg-in_binary64_3449`
33×	`distribute-neg-out_binary64_3450`
23×	`difference-of-squares_binary64_3457`
22×	`cube-prod_binary64_3516`
20×	`exp-diff_binary64_3536`
16×	`associate-l/_binary64_3431` `associate-r/_binary64_3430` `associate--r+_binary64_3424`
12×	`log-div_binary64_3575` `log-prod_binary64_3574` `swap-sqr_binary64_3455`
11×	`distribute-rgt-out--_binary64_3442` `associate-+l+_binary64_3421` `associate-+r+_binary64_3420`
10×	`unpow1/3_binary64_3555` `*-lft-identity_binary64_3477` `pow-sqr_binary64_3461` `distribute-lft-out_binary64_3439`
9×	`associate-+l-_binary64_3423` `associate-+r-_binary64_3422`
7×	`unpow3_binary64_3554` `*-rgt-identity_binary64_3478`
6×	`exp-neg_binary64_3535`
5×	`pow-plus_binary64_3551` `exp-to-pow_binary64_3550` `cube-unmult_binary64_3525` `cube-mult_binary64_3518` `cube-neg_binary64_3515` `remove-double-neg_binary64_3476`
4×	`sqr-neg_binary64_3502` `+-rgt-identity_binary64_3473` `associate-/l/_binary64_3435` `associate--r-_binary64_3427` `associate--l-_binary64_3426`
3×	`log-pow_binary64_3577` `log-rec_binary64_3576` `mul-1-neg_binary64_3480` `associate--l+_binary64_3425`
2×	`unpow2_binary64_3553` `unpow1/2_binary64_3552` `unpow1_binary64_3546` `rem-sqrt-square_binary64_3501` `sub0-neg_binary64_3475`
1×	`div-exp_binary64_3539` `1-exp_binary64_3532` `rem-3cbrt-lft_binary64_3513` `rem-square-sqrt_binary64_3500` `/-rgt-identity_binary64_3479` `+-inverses_binary64_3467` `cancel-sign-sub_binary64_3453` `distribute-rgt1-in_binary64_3444` `count-2_binary64_3436`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `pow-base-0_binary64_3572` `pow-base-1_binary64_3548` `unpow0_binary64_3547` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-lft-sqr_binary64_3543` `exp-cbrt_binary64_3542` `exp-sqrt_binary64_3541` `rec-exp_binary64_3538` `prod-exp_binary64_3537` `e-exp-1_binary64_3533` `exp-1-e_binary64_3531` `exp-0_binary64_3530` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `cube-div_binary64_3517` `rem-3cbrt-rft_binary64_3514` `rem-cbrt-cube_binary64_3512` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `--rgt-identity_binary64_3474` `+-lft-identity_binary64_3472` `mul0-rgt_binary64_3471` `mul0-lft_binary64_3470` `div0_binary64_3469` `*-inverses_binary64_3468` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `remove-double-div_binary64_3464` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `distribute-lft1-in_binary64_3443` `distribute-lft-out--_binary64_3440`

Counts

111 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	226	2366
1	543	2315
2	1828	2255
3	5423	2255

prune214.0ms (1.2%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	76	3	79
Fresh	2	18	20
Picked	1	0	1
Done	0	0	0
Total	79	21	100

Error

30.7b

Counts

100 → 21

Compiler

Compiled 4345 to 2189 computations (49.6% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.4b	(-.f64 (.f64 g g) (.f64 h h))
7.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite150.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

30.7b

Rules

8×	`add-sqr-sqrt_binary64_3510` `sqrt-prod_binary64_3504`
6×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
5×	`flip3--_binary64_3492` `flip--_binary64_3463` `cbrt-div_binary64_3520`
4×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505`
3×	`difference-of-squares_binary64_3457`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501` `frac-times_binary64_3498` `associate-*r/_binary64_3430`
1×	`pow1/3_binary64_3570` `associate-*l/_binary64_3431` `cbrt-prod_binary64_3519` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

4 → 59

Calls

4 calls:

14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2702 to 910 computations (66.3% saved)

series1.3s (7.7%)

Error

30.7b

Counts

4 → 52

Calls

4 calls:

815.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
169.0ms	(-.f64 (.f64 g g) (.f64 h h))
130.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
121.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 5109 to 3650 computations (28.6% saved)

simplify90.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

717×	`associate-/l*_binary64_3433`
258×	`distribute-rgt-in_binary64_3438`
242×	`distribute-lft-in_binary64_3437`
197×	`cancel-sign-sub-inv_binary64_3454`
159×	`distribute-rgt-neg-in_binary64_3446`
149×	`distribute-lft-neg-in_binary64_3445`
128×	`associate-r_binary64_3428`
119×	`sub-neg_binary64_3481`
100×	`distribute-lft-neg-out_binary64_3447` `*-commutative_binary64_3419`
95×	`distribute-rgt-neg-out_binary64_3448`
91×	`associate-l_binary64_3429`
85×	`times-frac_binary64_3494` `associate-/r/_binary64_3434`
73×	`neg-sub0_binary64_3483` `sqr-pow_binary64_3460`
71×	`unswap-sqr_binary64_3456`
69×	`neg-mul-1_binary64_3484`
66×	`div-sub_binary64_3493`
60×	`unsub-neg_binary64_3482`
59×	`distribute-neg-frac_binary64_3452`
54×	`distribute-frac-neg_binary64_3451`
50×	`exp-prod_binary64_3540`
46×	`associate-/r*_binary64_3432`
43×	`distribute-rgt-out_binary64_3441`
42×	`exp-sum_binary64_3534` `+-commutative_binary64_3418`
38×	`distribute-neg-in_binary64_3449`
33×	`distribute-neg-out_binary64_3450`
23×	`difference-of-squares_binary64_3457`
22×	`cube-prod_binary64_3516`
20×	`exp-diff_binary64_3536`
16×	`associate-l/_binary64_3431` `associate-r/_binary64_3430` `associate--r+_binary64_3424`
12×	`log-div_binary64_3575` `log-prod_binary64_3574` `swap-sqr_binary64_3455`
11×	`distribute-rgt-out--_binary64_3442` `associate-+l+_binary64_3421` `associate-+r+_binary64_3420`
10×	`unpow1/3_binary64_3555` `*-lft-identity_binary64_3477` `pow-sqr_binary64_3461` `distribute-lft-out_binary64_3439`
9×	`associate-+l-_binary64_3423` `associate-+r-_binary64_3422`
7×	`unpow3_binary64_3554` `*-rgt-identity_binary64_3478`
6×	`exp-neg_binary64_3535`
5×	`pow-plus_binary64_3551` `exp-to-pow_binary64_3550` `cube-unmult_binary64_3525` `cube-mult_binary64_3518` `cube-neg_binary64_3515` `remove-double-neg_binary64_3476`
4×	`sqr-neg_binary64_3502` `+-rgt-identity_binary64_3473` `associate-/l/_binary64_3435` `associate--r-_binary64_3427` `associate--l-_binary64_3426`
3×	`log-pow_binary64_3577` `log-rec_binary64_3576` `mul-1-neg_binary64_3480` `associate--l+_binary64_3425`
2×	`unpow2_binary64_3553` `unpow1/2_binary64_3552` `unpow1_binary64_3546` `rem-sqrt-square_binary64_3501` `sub0-neg_binary64_3475`
1×	`div-exp_binary64_3539` `1-exp_binary64_3532` `rem-3cbrt-lft_binary64_3513` `rem-square-sqrt_binary64_3500` `/-rgt-identity_binary64_3479` `+-inverses_binary64_3467` `cancel-sign-sub_binary64_3453` `distribute-rgt1-in_binary64_3444` `count-2_binary64_3436`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `pow-base-0_binary64_3572` `pow-base-1_binary64_3548` `unpow0_binary64_3547` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-lft-sqr_binary64_3543` `exp-cbrt_binary64_3542` `exp-sqrt_binary64_3541` `rec-exp_binary64_3538` `prod-exp_binary64_3537` `e-exp-1_binary64_3533` `exp-1-e_binary64_3531` `exp-0_binary64_3530` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `cube-div_binary64_3517` `rem-3cbrt-rft_binary64_3514` `rem-cbrt-cube_binary64_3512` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `--rgt-identity_binary64_3474` `+-lft-identity_binary64_3472` `mul0-rgt_binary64_3471` `mul0-lft_binary64_3470` `div0_binary64_3469` `*-inverses_binary64_3468` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `remove-double-div_binary64_3464` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `distribute-lft1-in_binary64_3443` `distribute-lft-out--_binary64_3440`

Counts

111 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	226	2366
1	543	2315
2	1828	2255
3	5423	2255

prune221.0ms (1.3%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	73	6	79
Fresh	4	16	20
Picked	1	0	1
Done	0	0	0
Total	78	22	100

Error

30.7b

Counts

100 → 22

Compiler

Compiled 4132 to 1973 computations (52.3% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.4b	(-.f64 (.f64 g g) (.f64 h h))
7.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite142.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

30.7b

Rules

8×	`add-sqr-sqrt_binary64_3510` `sqrt-prod_binary64_3504`
6×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
5×	`flip3--_binary64_3492` `flip--_binary64_3463` `cbrt-div_binary64_3520`
4×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505`
3×	`difference-of-squares_binary64_3457`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501` `frac-times_binary64_3498` `associate-*r/_binary64_3430`
1×	`pow1/3_binary64_3570` `associate-*l/_binary64_3431` `cbrt-prod_binary64_3519` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

4 → 59

Calls

4 calls:

14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2702 to 910 computations (66.3% saved)

series1.3s (7.3%)

Error

30.7b

Counts

4 → 52

Calls

4 calls:

770.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
147.0ms	(-.f64 (.f64 g g) (.f64 h h))
131.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
119.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 5109 to 3650 computations (28.6% saved)

simplify86.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

717×	`associate-/l*_binary64_3433`
258×	`distribute-rgt-in_binary64_3438`
242×	`distribute-lft-in_binary64_3437`
197×	`cancel-sign-sub-inv_binary64_3454`
159×	`distribute-rgt-neg-in_binary64_3446`
149×	`distribute-lft-neg-in_binary64_3445`
128×	`associate-r_binary64_3428`
119×	`sub-neg_binary64_3481`
100×	`distribute-lft-neg-out_binary64_3447` `*-commutative_binary64_3419`
95×	`distribute-rgt-neg-out_binary64_3448`
91×	`associate-l_binary64_3429`
85×	`times-frac_binary64_3494` `associate-/r/_binary64_3434`
73×	`neg-sub0_binary64_3483` `sqr-pow_binary64_3460`
71×	`unswap-sqr_binary64_3456`
69×	`neg-mul-1_binary64_3484`
66×	`div-sub_binary64_3493`
60×	`unsub-neg_binary64_3482`
59×	`distribute-neg-frac_binary64_3452`
54×	`distribute-frac-neg_binary64_3451`
50×	`exp-prod_binary64_3540`
46×	`associate-/r*_binary64_3432`
43×	`distribute-rgt-out_binary64_3441`
42×	`exp-sum_binary64_3534` `+-commutative_binary64_3418`
38×	`distribute-neg-in_binary64_3449`
33×	`distribute-neg-out_binary64_3450`
23×	`difference-of-squares_binary64_3457`
22×	`cube-prod_binary64_3516`
20×	`exp-diff_binary64_3536`
16×	`associate-l/_binary64_3431` `associate-r/_binary64_3430` `associate--r+_binary64_3424`
12×	`log-div_binary64_3575` `log-prod_binary64_3574` `swap-sqr_binary64_3455`
11×	`distribute-rgt-out--_binary64_3442` `associate-+l+_binary64_3421` `associate-+r+_binary64_3420`
10×	`unpow1/3_binary64_3555` `*-lft-identity_binary64_3477` `pow-sqr_binary64_3461` `distribute-lft-out_binary64_3439`
9×	`associate-+l-_binary64_3423` `associate-+r-_binary64_3422`
7×	`unpow3_binary64_3554` `*-rgt-identity_binary64_3478`
6×	`exp-neg_binary64_3535`
5×	`pow-plus_binary64_3551` `exp-to-pow_binary64_3550` `cube-unmult_binary64_3525` `cube-mult_binary64_3518` `cube-neg_binary64_3515` `remove-double-neg_binary64_3476`
4×	`sqr-neg_binary64_3502` `+-rgt-identity_binary64_3473` `associate-/l/_binary64_3435` `associate--r-_binary64_3427` `associate--l-_binary64_3426`
3×	`log-pow_binary64_3577` `log-rec_binary64_3576` `mul-1-neg_binary64_3480` `associate--l+_binary64_3425`
2×	`unpow2_binary64_3553` `unpow1/2_binary64_3552` `unpow1_binary64_3546` `rem-sqrt-square_binary64_3501` `sub0-neg_binary64_3475`
1×	`div-exp_binary64_3539` `1-exp_binary64_3532` `rem-3cbrt-lft_binary64_3513` `rem-square-sqrt_binary64_3500` `/-rgt-identity_binary64_3479` `+-inverses_binary64_3467` `cancel-sign-sub_binary64_3453` `distribute-rgt1-in_binary64_3444` `count-2_binary64_3436`
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_3751` `erf-erfc_binary64_3750` `erf-odd_binary64_3749` `if-if-and-not_binary64_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `not-gte_binary64_3740` `not-lte_binary64_3739` `not-gt_binary64_3738` `not-lt_binary64_3737` `gte-same_binary64_3736` `lte-same_binary64_3735` `gt-same_binary64_3734` `lt-same_binary64_3733` `sinh---cosh_binary64_3680` `sinh-+-cosh_binary64_3679` `sinh-cosh_binary64_3678` `tanh-def-c_binary64_3677` `tanh-def-b_binary64_3676` `tanh-def-a_binary64_3675` `cosh-def_binary64_3674` `sinh-def_binary64_3673` `tan-neg_binary64_3620` `cos-neg_binary64_3619` `sin-neg_binary64_3618` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `hang-m-tan_binary64_3614` `hang-p-tan_binary64_3613` `hang-m0-tan_binary64_3612` `hang-p0-tan_binary64_3611` `hang-0m-tan_binary64_3610` `hang-0p-tan_binary64_3609` `tan-+PI/2_binary64_3608` `tan-+PI_binary64_3607` `tan-PI_binary64_3606` `tan-PI/3_binary64_3605` `tan-PI/4_binary64_3604` `tan-PI/6_binary64_3603` `cos-+PI/2_binary64_3602` `cos-+PI_binary64_3601` `cos-PI_binary64_3600` `cos-PI/2_binary64_3599` `cos-PI/3_binary64_3598` `cos-PI/4_binary64_3597` `cos-PI/6_binary64_3596` `sin-+PI/2_binary64_3595` `sin-+PI_binary64_3594` `sin-PI_binary64_3593` `sin-PI/2_binary64_3592` `sin-PI/3_binary64_3591` `sin-PI/4_binary64_3590` `sin-PI/6_binary64_3589` `sub-1-sin_binary64_3588` `sub-1-cos_binary64_3587` `-1-add-sin_binary64_3586` `-1-add-cos_binary64_3585` `1-sub-sin_binary64_3584` `1-sub-cos_binary64_3583` `cos-sin-sum_binary64_3582` `log-E_binary64_3578` `pow-base-0_binary64_3572` `pow-base-1_binary64_3548` `unpow0_binary64_3547` `unpow-1_binary64_3545` `exp-lft-cube_binary64_3544` `exp-lft-sqr_binary64_3543` `exp-cbrt_binary64_3542` `exp-sqrt_binary64_3541` `rec-exp_binary64_3538` `prod-exp_binary64_3537` `e-exp-1_binary64_3533` `exp-1-e_binary64_3531` `exp-0_binary64_3530` `rem-log-exp_binary64_3529` `rem-exp-log_binary64_3528` `cube-div_binary64_3517` `rem-3cbrt-rft_binary64_3514` `rem-cbrt-cube_binary64_3512` `rem-cube-cbrt_binary64_3511` `sqr-abs_binary64_3503` `--rgt-identity_binary64_3474` `+-lft-identity_binary64_3472` `mul0-rgt_binary64_3471` `mul0-lft_binary64_3470` `div0_binary64_3469` `*-inverses_binary64_3468` `lft-mult-inverse_binary64_3466` `rgt-mult-inverse_binary64_3465` `remove-double-div_binary64_3464` `difference-of-sqr--1_binary64_3459` `difference-of-sqr-1_binary64_3458` `distribute-lft1-in_binary64_3443` `distribute-lft-out--_binary64_3440`

Counts

111 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	226	2366
1	543	2315
2	1828	2255
3	5423	2255

prune142.0ms (0.8%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	0	21	21
Picked	1	0	1
Done	0	0	0
Total	78	23	101

Error

30.7b

Counts

101 → 23

Compiler

Compiled 3189 to 1388 computations (56.5% saved)

regimes3.1s (17.7%)

Accuracy

Total 1.7b remaining (5.2%)

Threshold costs 0b (0%)

Compiler

Compiled 45070 to 28488 computations (36.8% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64_3418`
8×	`sub-neg_binary64_3481`
7×	`*-commutative_binary64_3419`
5×	`neg-mul-1_binary64_3484` `neg-sub0_binary64_3483`
2×	`distribute-neg-out_binary64_3450`
1×	`unsub-neg_binary64_3482` `cancel-sign-sub-inv_binary64_3454` `distribute-lft-neg-out_binary64_3447` `distribute-rgt-neg-in_binary64_3446`
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_3748` `if-if-and_binary64_3747` `if-if-or-not_binary64_3746` `if-if-or_binary64_3745` `if-not_binary64_3744` `if-same_binary64_3743` `if-false_binary64_3742` `if-true_binary64_3741` `tan-0_binary64_3617` `cos-0_binary64_3616` `sin-0_binary64_3615` `unpow1_binary64_3546` `e-exp-1_binary64_3533` `1-exp_binary64_3532` `exp-1-e_binary64_3531` `exp-0_binary64_3530` `sqr-abs_binary64_3503` `sqr-neg_binary64_3502` `mul-1-neg_binary64_3480` `/-rgt-identity_binary64_3479` `-rgt-identity_binary64_3478` `-lft-identity_binary64_3477` `remove-double-neg_binary64_3476` `sub0-neg_binary64_3475` `--rgt-identity_binary64_3474` `+-rgt-identity_binary64_3473` `+-lft-identity_binary64_3472` `cancel-sign-sub_binary64_3453` `distribute-neg-frac_binary64_3452` `distribute-frac-neg_binary64_3451` `distribute-neg-in_binary64_3449` `distribute-rgt-neg-out_binary64_3448` `distribute-lft-neg-in_binary64_3445`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	54
1	34	54
2	47	54
3	58	54
4	63	54
5	64	54
6	64	54

end0.0ms (0%)

sample5.4s (30.8%)

Algorithm

1×

intervals

Results

1.2s	7604×	body	256	valid
100.0ms	1209×	body	128	nan
32.0ms	396×	body	128	valid

Compiler

Compiled 5845 to 3726 computations (36.3% saved)

Details

analyze650.0ms (3.7%)

sample58.0ms (0.3%)

simplify232.0ms (1.3%)

prune7.0ms (0%)

localize24.0ms (0.1%)

rewrite196.0ms (1.1%)

series1.9s (11%)

simplify330.0ms (1.9%)

prune257.0ms (1.5%)

localize24.0ms (0.1%)

rewrite163.0ms (0.9%)

series1.3s (7.7%)

simplify86.0ms (0.5%)

prune214.0ms (1.2%)

localize20.0ms (0.1%)

rewrite150.0ms (0.9%)

series1.3s (7.7%)

simplify90.0ms (0.5%)

prune221.0ms (1.3%)

localize20.0ms (0.1%)

rewrite142.0ms (0.8%)

series1.3s (7.3%)

simplify86.0ms (0.5%)

prune142.0ms (0.8%)

regimes3.1s (17.7%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample5.4s (30.8%)

Profiling