Metrics for math.exp on complex, imaginary part

analyze156.0ms (7.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

2× *-commutative_binary64

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 erf-erfc_binary64 erf-odd_binary64 if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 not-gte_binary64 not-lte_binary64 not-gt_binary64 not-lt_binary64 gte-same_binary64 lte-same_binary64 gt-same_binary64 lt-same_binary64 sinh---cosh_binary64 sinh-+-cosh_binary64 sinh-cosh_binary64 tanh-def-c_binary64 tanh-def-b_binary64 tanh-def-a_binary64 cosh-def_binary64 sinh-def_binary64 tan-neg_binary64 cos-neg_binary64 sin-neg_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 hang-m-tan_binary64 hang-p-tan_binary64 hang-m0-tan_binary64 hang-p0-tan_binary64 hang-0m-tan_binary64 hang-0p-tan_binary64 tan-+PI/2_binary64 tan-+PI_binary64 tan-PI_binary64 tan-PI/3_binary64 tan-PI/4_binary64 tan-PI/6_binary64 cos-+PI/2_binary64 cos-+PI_binary64 cos-PI_binary64 cos-PI/2_binary64 cos-PI/3_binary64 cos-PI/4_binary64 cos-PI/6_binary64 sin-+PI/2_binary64 sin-+PI_binary64 sin-PI_binary64 sin-PI/2_binary64 sin-PI/3_binary64 sin-PI/4_binary64 sin-PI/6_binary64 sub-1-sin_binary64 sub-1-cos_binary64 -1-add-sin_binary64 -1-add-cos_binary64 1-sub-sin_binary64 1-sub-cos_binary64 cos-sin-sum_binary64 log-E_binary64 log-pow_binary64 log-rec_binary64 log-div_binary64 log-prod_binary64 pow-base-0_binary64 unpow1/3_binary64 unpow3_binary64 unpow2_binary64 unpow1/2_binary64 pow-plus_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow1_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-lft-sqr_binary64 exp-cbrt_binary64 exp-sqrt_binary64 exp-prod_binary64 div-exp_binary64 rec-exp_binary64 prod-exp_binary64 exp-diff_binary64 exp-neg_binary64 exp-sum_binary64 e-exp-1_binary64 1-exp_binary64 exp-1-e_binary64 exp-0_binary64 rem-log-exp_binary64 rem-exp-log_binary64 cube-unmult_binary64 cube-mult_binary64 cube-div_binary64 cube-prod_binary64 cube-neg_binary64 rem-3cbrt-rft_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 sqr-abs_binary64 sqr-neg_binary64 rem-sqrt-square_binary64 rem-square-sqrt_binary64 times-frac_binary64 div-sub_binary64 neg-mul-1_binary64 neg-sub0_binary64 unsub-neg_binary64 sub-neg_binary64 mul-1-neg_binary64 /-rgt-identity_binary64 *-rgt-identity_binary64 *-lft-identity_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 mul0-rgt_binary64 mul0-lft_binary64 div0_binary64 *-inverses_binary64 +-inverses_binary64 lft-mult-inverse_binary64 rgt-mult-inverse_binary64 remove-double-div_binary64 pow-sqr_binary64 sqr-pow_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 difference-of-squares_binary64 unswap-sqr_binary64 swap-sqr_binary64 cancel-sign-sub-inv_binary64 cancel-sign-sub_binary64 distribute-neg-frac_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-neg-in_binary64 distribute-rgt-neg-out_binary64 distribute-lft-neg-out_binary64 distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64 distribute-rgt1-in_binary64 distribute-lft1-in_binary64 distribute-rgt-out--_binary64 distribute-rgt-out_binary64 distribute-lft-out--_binary64 distribute-lft-out_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 count-2_binary64 associate-/l/_binary64 associate-/r/_binary64 associate-/l*_binary64 associate-/r*_binary64 associate-*l/_binary64 associate-*r/_binary64 associate-*l*_binary64 associate-*r*_binary64 associate--r-_binary64 associate--l-_binary64 associate--l+_binary64 associate--r+_binary64 associate-+l-_binary64 associate-+r-_binary64 associate-+l+_binary64 associate-+r+_binary64 +-commutative_binary64

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	11	16
2	11	16
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
81.2%	18.7%	0.1%	5
81.2%	15.6%	3.2%	6
81.2%	15.6%	3.2%	7
81.2%	14%	4.8%	8
81.2%	14%	4.8%	9
81.2%	13.3%	5.6%	10
81.2%	13.3%	5.6%	11
81.2%	12.9%	6%	12
81.2%	12.9%	6%	13
81.2%	12.7%	6.1%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample45.0ms (2.1%)

Algorithm

1×

intervals

Results

12.0ms	179×	body	128	valid
11.0ms	45×	body	1024	valid
4.0ms	21×	body	1024	invalid
3.0ms	25×	body	512	valid
1.0ms	9×	body	512	invalid
1.0ms	23×	body	128	invalid
1.0ms	7×	body	256	valid
0.0ms	5×	body	256	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64

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 erf-erfc_binary64 erf-odd_binary64 if-if-and-not_binary64 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 not-gte_binary64 not-lte_binary64 not-gt_binary64 not-lt_binary64 gte-same_binary64 lte-same_binary64 gt-same_binary64 lt-same_binary64 sinh---cosh_binary64 sinh-+-cosh_binary64 sinh-cosh_binary64 tanh-def-c_binary64 tanh-def-b_binary64 tanh-def-a_binary64 cosh-def_binary64 sinh-def_binary64 tan-neg_binary64 cos-neg_binary64 sin-neg_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 hang-m-tan_binary64 hang-p-tan_binary64 hang-m0-tan_binary64 hang-p0-tan_binary64 hang-0m-tan_binary64 hang-0p-tan_binary64 tan-+PI/2_binary64 tan-+PI_binary64 tan-PI_binary64 tan-PI/3_binary64 tan-PI/4_binary64 tan-PI/6_binary64 cos-+PI/2_binary64 cos-+PI_binary64 cos-PI_binary64 cos-PI/2_binary64 cos-PI/3_binary64 cos-PI/4_binary64 cos-PI/6_binary64 sin-+PI/2_binary64 sin-+PI_binary64 sin-PI_binary64 sin-PI/2_binary64 sin-PI/3_binary64 sin-PI/4_binary64 sin-PI/6_binary64 sub-1-sin_binary64 sub-1-cos_binary64 -1-add-sin_binary64 -1-add-cos_binary64 1-sub-sin_binary64 1-sub-cos_binary64 cos-sin-sum_binary64 log-E_binary64 log-pow_binary64 log-rec_binary64 log-div_binary64 log-prod_binary64 pow-base-0_binary64 unpow1/3_binary64 unpow3_binary64 unpow2_binary64 unpow1/2_binary64 pow-plus_binary64 exp-to-pow_binary64 pow-base-1_binary64 unpow0_binary64 unpow1_binary64 unpow-1_binary64 exp-lft-cube_binary64 exp-lft-sqr_binary64 exp-cbrt_binary64 exp-sqrt_binary64 exp-prod_binary64 div-exp_binary64 rec-exp_binary64 prod-exp_binary64 exp-diff_binary64 exp-neg_binary64 exp-sum_binary64 e-exp-1_binary64 1-exp_binary64 exp-1-e_binary64 exp-0_binary64 rem-log-exp_binary64 rem-exp-log_binary64 cube-unmult_binary64 cube-mult_binary64 cube-div_binary64 cube-prod_binary64 cube-neg_binary64 rem-3cbrt-rft_binary64 rem-3cbrt-lft_binary64 rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 sqr-abs_binary64 sqr-neg_binary64 rem-sqrt-square_binary64 rem-square-sqrt_binary64 times-frac_binary64 div-sub_binary64 neg-mul-1_binary64 neg-sub0_binary64 unsub-neg_binary64 sub-neg_binary64 mul-1-neg_binary64 /-rgt-identity_binary64 *-rgt-identity_binary64 *-lft-identity_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 mul0-rgt_binary64 mul0-lft_binary64 div0_binary64 *-inverses_binary64 +-inverses_binary64 lft-mult-inverse_binary64 rgt-mult-inverse_binary64 remove-double-div_binary64 pow-sqr_binary64 sqr-pow_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 difference-of-squares_binary64 unswap-sqr_binary64 swap-sqr_binary64 cancel-sign-sub-inv_binary64 cancel-sign-sub_binary64 distribute-neg-frac_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-neg-in_binary64 distribute-rgt-neg-out_binary64 distribute-lft-neg-out_binary64 distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64 distribute-rgt1-in_binary64 distribute-lft1-in_binary64 distribute-rgt-out--_binary64 distribute-rgt-out_binary64 distribute-lft-out--_binary64 distribute-lft-out_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 count-2_binary64 associate-/l/_binary64 associate-/r/_binary64 associate-/l*_binary64 associate-/r*_binary64 associate-*l/_binary64 associate-*r/_binary64 associate-*l*_binary64 associate-*r*_binary64 associate--r-_binary64 associate--l-_binary64 associate--l+_binary64 associate--r+_binary64 associate-+l-_binary64 associate-+r-_binary64 associate-+l+_binary64 associate-+r+_binary64 +-commutative_binary64

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

prune1.0ms (0.1%)

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

0.0b

Counts

1 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

rewrite19.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

5×	`add-sqr-sqrt_binary64`
3×	`pow1_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `-un-lft-identity_binary64` `associate-l_binary64` `associate-r*_binary64`
2×	`add-exp-log_binary64`
1×	`pow-prod-down_binary64` `prod-exp_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

1 → 18

Calls

1 calls:

5.0ms

(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 178 to 50 computations (71.9% saved)

series33.0ms (1.5%)

Error

0b

Counts

1 → 11

Calls

1 calls:

26.0ms

(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 254 to 174 computations (31.5% saved)

simplify97.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

416×	`cancel-sign-sub-inv_binary64`
342×	`distribute-rgt-neg-in_binary64`
334×	`unswap-sqr_binary64`
325×	`distribute-lft-out_binary64`
290×	`distribute-lft-neg-in_binary64`
258×	`*-commutative_binary64`
237×	`distribute-rgt-out_binary64`
225×	`+-commutative_binary64`
222×	`associate-l_binary64`
204×	`associate-+l+_binary64`
202×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
188×	`sqr-pow_binary64`
182×	`associate-+r+_binary64`
177×	`associate-r_binary64`
115×	`times-frac_binary64`
108×	`sub-neg_binary64`
84×	`exp-prod_binary64`
82×	`neg-mul-1_binary64`
78×	`cube-prod_binary64`
76×	`neg-sub0_binary64`
74×	`log-prod_binary64`
73×	`pow-sqr_binary64`
50×	`distribute-neg-in_binary64`
48×	`exp-sum_binary64`
46×	`cube-div_binary64`
37×	`distribute-rgt-out--_binary64`
35×	`swap-sqr_binary64`
34×	`log-div_binary64` `unpow3_binary64`
33×	`associate-/l/_binary64` `associate-/l*_binary64`
32×	`associate-*r/_binary64`
29×	`associate--r+_binary64`
26×	`distribute-lft-neg-out_binary64`
25×	`associate-+l-_binary64`
23×	`log-pow_binary64` `*-lft-identity_binary64`
22×	`cube-unmult_binary64` `*-rgt-identity_binary64` `count-2_binary64`
21×	`cube-mult_binary64` `rem-sqrt-square_binary64`
20×	`distribute-rgt1-in_binary64`
19×	`associate-/r/_binary64`
18×	`distribute-lft-out--_binary64`
17×	`pow-plus_binary64`
13×	`associate-/r_binary64` `associate-l/_binary64`
11×	`associate--l+_binary64`
10×	`sub0-neg_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft1-in_binary64` `associate-+r-_binary64`
9×	`unpow2_binary64` `+-rgt-identity_binary64`
8×	`unsub-neg_binary64`
7×	`unpow1_binary64` `exp-sqrt_binary64`
6×	`unpow1/2_binary64` `exp-to-pow_binary64` `prod-exp_binary64` `remove-double-neg_binary64`
5×	`rem-log-exp_binary64`
4×	`exp-lft-sqr_binary64` `exp-diff_binary64` `rem-exp-log_binary64` `--rgt-identity_binary64`
3×	`cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `associate--r-_binary64`
2×	`log-rec_binary64` `cube-neg_binary64` `sqr-neg_binary64` `/-rgt-identity_binary64`
1×	`sin-neg_binary64` `exp-lft-cube_binary64` `1-exp_binary64` `exp-1-e_binary64` `mul-1-neg_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-cbrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `div-sub_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `associate--l-_binary64`

Counts

29 → 17

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	390
1	152	354
2	393	334
3	965	321
4	1952	321
5	2639	321
6	3769	321
7	4592	321
8	4902	321

prune13.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	16	1	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	2	18

Error

0b

Counts

18 → 2

Compiler

Compiled 171 to 74 computations (56.7% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))

rewrite70.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

19×	`add-sqr-sqrt_binary64`
13×	`pow1_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64` `sqrt-prod_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`associate-l_binary64`
8×	`sqrt-pow1_binary64`
7×	`associate-r_binary64`
6×	`exp-prod_binary64`
4×	`pow-prod-down_binary64` `prod-exp_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64`
2×	`unswap-sqr_binary64` `*-commutative_binary64` `pow1/2_binary64` `rem-sqrt-square_binary64`

Counts

4 → 75

Calls

4 calls:

10.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
9.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
2.0ms	(sqrt.f64 (exp.f64 re))
2.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 1062 to 222 computations (79.1% saved)

series76.0ms (3.5%)

Error

0b

Counts

4 → 34

Calls

4 calls:

23.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
20.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
8.0ms	(sqrt.f64 (exp.f64 re))
8.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 969 to 636 computations (34.4% saved)

simplify121.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

356×	`*-commutative_binary64`
321×	`times-frac_binary64`
268×	`unswap-sqr_binary64`
227×	`cancel-sign-sub-inv_binary64`
202×	`associate-+l+_binary64` `+-commutative_binary64`
187×	`distribute-rgt-neg-in_binary64`
179×	`distribute-lft-out_binary64`
160×	`distribute-lft-neg-in_binary64`
147×	`associate-r_binary64`
144×	`sqr-pow_binary64`
142×	`associate-*r/_binary64`
127×	`associate-l_binary64`
126×	`distribute-rgt-in_binary64`
125×	`distribute-rgt-out_binary64`
120×	`associate-+r+_binary64`
118×	`distribute-lft-in_binary64`
116×	`associate-*l/_binary64`
112×	`associate-/l*_binary64`
106×	`associate-/l/_binary64`
102×	`cube-div_binary64`
101×	`sub-neg_binary64`
92×	`exp-prod_binary64`
89×	`log-div_binary64`
75×	`distribute-neg-in_binary64`
74×	`log-prod_binary64` `cube-prod_binary64`
71×	`associate-/r/_binary64`
58×	`neg-mul-1_binary64` `count-2_binary64`
56×	`associate--r+_binary64`
53×	`pow-sqr_binary64`
52×	`neg-sub0_binary64`
45×	`unsub-neg_binary64` `associate-+l-_binary64`
39×	`associate-/r*_binary64`
38×	`exp-sum_binary64`
29×	`rem-sqrt-square_binary64`
28×	`swap-sqr_binary64`
22×	`distribute-rgt-out--_binary64`
19×	`associate--l+_binary64`
18×	`unpow3_binary64`
16×	`distribute-lft-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out--_binary64` `associate-+r-_binary64`
15×	`exp-sqrt_binary64`
14×	`log-pow_binary64` `*-rgt-identity_binary64`
12×	`cube-unmult_binary64` `cube-mult_binary64` `*-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
11×	`exp-to-pow_binary64` `+-rgt-identity_binary64`
9×	`sub0-neg_binary64`
7×	`unpow1/2_binary64` `exp-lft-sqr_binary64`
6×	`distribute-lft1-in_binary64` `associate--r-_binary64`
5×	`prod-exp_binary64` `rem-log-exp_binary64`
4×	`pow-plus_binary64` `remove-double-neg_binary64`
2×	`log-rec_binary64` `rem-exp-log_binary64` `/-rgt-identity_binary64` `--rgt-identity_binary64` `distribute-rgt-neg-out_binary64`
1×	`log-E_binary64` `unpow2_binary64` `unpow1_binary64` `rec-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `sqr-neg_binary64` `rem-square-sqrt_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-cbrt_binary64` `div-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `div-sub_binary64` `mul-1-neg_binary64` `+-lft-identity_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `associate--l-_binary64`

Counts

109 → 67

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	119	1430
1	280	1237
2	743	1171
3	1188	1141
4	1682	1141
5	2740	1127
6	4261	1123
7	4856	1123

prune31.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0b

Counts

69 → 2

Compiler

Compiled 663 to 243 computations (63.3% saved)

regimes113.0ms (5.3%)

Accuracy

Total 0.0b remaining (34.8%)

Threshold costs 0.0b (34.8%)

Compiler

Compiled 837 to 635 computations (24.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× *-commutative_binary64

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 if-if-and_binary64 if-if-or-not_binary64 if-if-or_binary64 if-not_binary64 if-same_binary64 if-false_binary64 if-true_binary64 tan-0_binary64 cos-0_binary64 sin-0_binary64 unpow1_binary64 e-exp-1_binary64 1-exp_binary64 exp-1-e_binary64 exp-0_binary64 sqr-abs_binary64 sqr-neg_binary64 neg-mul-1_binary64 neg-sub0_binary64 unsub-neg_binary64 sub-neg_binary64 mul-1-neg_binary64 /-rgt-identity_binary64 *-rgt-identity_binary64 *-lft-identity_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 cancel-sign-sub-inv_binary64 cancel-sign-sub_binary64 distribute-neg-frac_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-neg-in_binary64 distribute-rgt-neg-out_binary64 distribute-lft-neg-out_binary64 distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64 +-commutative_binary64

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

end1.0ms (0%)

Compiler: Compiled 5 to 5 computations (0% saved)

sample1.3s (62.7%)

Algorithm

1×

intervals

Results

329.0ms	1339×	body	1024	valid
262.0ms	5628×	body	128	valid
126.0ms	636×	body	1024	invalid
98.0ms	686×	body	512	valid
48.0ms	342×	body	512	invalid
38.0ms	825×	body	128	invalid
31.0ms	345×	body	256	valid
13.0ms	149×	body	256	invalid
1.0ms	2×	body	2048	valid

Compiler

Compiled 29 to 34 computations (-17.2% saved)

Details

analyze156.0ms (7.2%)

sample45.0ms (2.1%)

simplify8.0ms (0.4%)

prune1.0ms (0.1%)

localize6.0ms (0.3%)

rewrite19.0ms (0.9%)

series33.0ms (1.5%)

simplify97.0ms (4.5%)

prune13.0ms (0.6%)

localize8.0ms (0.4%)

rewrite70.0ms (3.3%)

series76.0ms (3.5%)

simplify121.0ms (5.6%)

prune31.0ms (1.5%)

regimes113.0ms (5.3%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.3s (62.7%)

Profiling