Details

analyze17.8s (23.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

545×	`associate-r_binary64`
492×	`associate-l_binary64`
171×	`times-frac_binary64`
170×	`associate-/l*_binary64`
124×	`*-commutative_binary64`
116×	`sqr-pow_binary64`
105×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
102×	`associate-/r_binary64` `associate-l/_binary64`
64×	`associate-/r/_binary64`
62×	`swap-sqr_binary64`
59×	`unpow2_binary64`
57×	`unpow1/2_binary64` `unpow1_binary64`
51×	`+-commutative_binary64`
50×	`neg-mul-1_binary64` `neg-sub0_binary64`
47×	`distribute-rgt-neg-out_binary64`
46×	`associate-*r/_binary64`
44×	`associate-/l/_binary64`
35×	`sub-neg_binary64`
22×	`div-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `associate-+l+_binary64` `associate-+r+_binary64`
11×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
8×	`difference-of-squares_binary64` `cancel-sign-sub-inv_binary64`
1×	`1-exp_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` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_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` `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` `unsub-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` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `unswap-sqr_binary64` `cancel-sign-sub_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-lft-neg-out_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` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	410	3212
1	1174	3121
2	4949	3121
3	4997	3121
0	5	5
1	5	5

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
0%	99.8%	0.2%	13
0%	99.8%	0.2%	14

Compiler

Compiled 184 to 125 computations (32.1% saved)

sample854.0ms (1.1%)

Algorithm

1×

intervals

Results

291.0ms	57×	body	1024	valid
155.0ms	33×	body	1024	invalid
98.0ms	152×	body	128	valid
85.0ms	25×	body	512	valid
52.0ms	16×	body	512	invalid
51.0ms	8×	body	2048	valid
43.0ms	65×	body	128	invalid
25.0ms	14×	body	256	valid
18.0ms	9×	body	256	invalid

Compiler

Compiled 367 to 254 computations (30.8% saved)

simplify57.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
686×	`associate-l_binary64`
303×	`associate-/r*_binary64`
262×	`associate-/l*_binary64`
190×	`associate-*l/_binary64`
155×	`div-sub_binary64`
142×	`associate-*r/_binary64`
113×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
69×	`distribute-rgt-neg-out_binary64`
61×	`associate-r_binary64`
57×	`distribute-lft-neg-out_binary64`
42×	`associate-/r/_binary64`
38×	`*-commutative_binary64`
27×	`sqr-pow_binary64`
18×	`swap-sqr_binary64`
17×	`associate-/l/_binary64`
15×	`neg-mul-1_binary64` `neg-sub0_binary64`
14×	`distribute-frac-neg_binary64`
11×	`sub-neg_binary64` `unswap-sqr_binary64`
9×	`unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `unpow1_binary64` `cube-unmult_binary64` `rem-sqrt-square_binary64` `+-commutative_binary64`
7×	`distribute-lft-neg-in_binary64`
6×	`distribute-rgt-neg-in_binary64` `distribute-rgt-out_binary64` `distribute-lft-out_binary64`
4×	`cancel-sign-sub-inv_binary64`
3×	`sqr-neg_binary64` `distribute-neg-frac_binary64`
2×	`div0_binary64` `difference-of-squares_binary64` `distribute-neg-in_binary64` `associate-+l+_binary64` `associate-+r+_binary64`
1×	`1-exp_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` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_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` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_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` `rem-square-sqrt_binary64` `unsub-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` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	292
1	159	287
2	592	287
3	4709	283
4	5020	283

prune10.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

63.5b

Counts

2 → 1

Compiler

Compiled 356 to 240 computations (32.6% saved)

localize93.0ms (0.1%)

Local error

Found 4 expressions with local error:

25.0b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
25.0b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
25.0b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
49.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 (.f64 8 (.f64 (.f64 a (.f64 b (.f64 b a))) (.f64 a (.f64 b (.f64 b a))))) (pow.f64 (.f64 x-scale y-scale) 2)) (+.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale)) 2))))))) (/.f64 (.f64 a (.f64 (.f64 b b) (.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))

rewrite2.4s (3.3%)

Algorithm

1×	rewrite-expression-head

Error

63.4b

Rules

198×	`times-frac_binary64`
130×	`add-exp-log_binary64`
63×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
58×	`prod-exp_binary64`
49×	`div-exp_binary64`
44×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
37×	`add-cbrt-cube_binary64`
29×	`sqrt-div_binary64`
22×	`sqrt-prod_binary64`
17×	`distribute-neg-frac_binary64` `associate-/l/_binary64`
16×	`frac-add_binary64`
14×	`div-inv_binary64`
13×	`cbrt-undiv_binary64` `cbrt-unprod_binary64` `unpow-prod-down_binary64` `unpow2_binary64` `sqr-pow_binary64`
12×	`pow-exp_binary64` `flip3-+_binary64` `flip-+_binary64` `associate-/l*_binary64`
11×	`neg-mul-1_binary64`
10×	`associate-/r*_binary64`
8×	`frac-times_binary64` `associate-*r/_binary64`
6×	`pow-to-exp_binary64`
4×	`pow1_binary64` `add-log-exp_binary64`
1×	`frac-2neg_binary64` `neg-sub0_binary64` `div-sub_binary64` `clear-num_binary64` `distribute-frac-neg_binary64` `associate-*l/_binary64` `associate-/r/_binary64`

Counts

4 → 225

Calls

4 calls:

25.0ms	(/.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 (.f64 8 (.f64 (.f64 a (.f64 b (.f64 b a))) (.f64 a (.f64 b (.f64 b a))))) (pow.f64 (.f64 x-scale y-scale) 2)) (+.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale)) 2))))))) (/.f64 (.f64 a (.f64 (.f64 b b) (.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 65920 to 40075 computations (39.2% saved)

series9.5s (12.7%)

Error

49.0b

Counts

4 → 26

Calls

4 calls:

9.2s	(/.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 (.f64 8 (.f64 (.f64 a (.f64 b (.f64 b a))) (.f64 a (.f64 b (.f64 b a))))) (pow.f64 (.f64 x-scale y-scale) 2)) (+.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale)) 2))))))) (/.f64 (.f64 a (.f64 (.f64 b b) (.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))
28.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
27.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
27.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 46110 to 33031 computations (28.4% saved)

simplify2.0s (2.6%)

Algorithm

1×	egg-herbie

Rules

836×	`times-frac_binary64`
204×	`associate-/l/_binary64`
192×	`*-commutative_binary64`
154×	`associate-/r/_binary64`
124×	`distribute-frac-neg_binary64`
103×	`associate-r_binary64`
96×	`neg-mul-1_binary64`
95×	`div-sub_binary64`
92×	`neg-sub0_binary64`
83×	`+-commutative_binary64`
80×	`sub-neg_binary64`
74×	`distribute-rgt-in_binary64`
73×	`associate-/l*_binary64`
70×	`distribute-lft-in_binary64`
61×	`distribute-rgt-neg-in_binary64`
53×	`associate-/r*_binary64`
49×	`associate-+r+_binary64`
45×	`log-prod_binary64`
44×	`cancel-sign-sub-inv_binary64`
39×	`unswap-sqr_binary64`
36×	`sqr-pow_binary64` `associate-l_binary64`
31×	`associate-*l/_binary64`
28×	`distribute-lft-neg-in_binary64`
26×	`swap-sqr_binary64`
25×	`distribute-lft-neg-out_binary64`
23×	`associate-*r/_binary64`
22×	`distribute-neg-frac_binary64`
20×	`associate--l+_binary64`
16×	`distribute-neg-in_binary64`
15×	`/-rgt-identity_binary64` `associate--r-_binary64`
14×	`log-pow_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt-out_binary64`
13×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
12×	`log-div_binary64` `exp-prod_binary64`
9×	`cube-unmult_binary64`
5×	`pow-plus_binary64`
4×	`distribute-lft-out_binary64` `associate--r+_binary64`
3×	`sqr-neg_binary64` `pow-sqr_binary64` `difference-of-squares_binary64` `distribute-rgt-out--_binary64` `associate-+r-_binary64` `associate-+l+_binary64`
2×	`unpow3_binary64` `exp-diff_binary64` `exp-neg_binary64` `cube-mult_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `div0_binary64`
1×	`1-exp_binary64` `remove-double-neg_binary64` `count-2_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-rec_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_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` `unsub-neg_binary64` `mul-1-neg_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_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` `cancel-sign-sub_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `associate--l-_binary64` `associate-+l-_binary64`

Counts

251 → 234

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	810	95662
1	2154	88897
2	4883	88885
3	4998	88885
4	4959	88885

prune3.7s (5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	221	13	234
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	222	13	235

Error

49.0b

Counts

235 → 13

Compiler

Compiled 56657 to 35062 computations (38.1% saved)

localize54.0ms (0.1%)

Local error

Found 4 expressions with local error:

24.6b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite302.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

49.0b

Rules

4×	`pow1_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`

Counts

4 → 28

Calls

4 calls:

3.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2660 to 1685 computations (36.7% saved)

series94.0ms (0.1%)

Error

49.0b

Counts

4 → 12

Calls

4 calls:

19.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
17.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
17.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
17.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2544 to 1831 computations (28% saved)

simplify214.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1304×	`sqr-pow_binary64`
724×	`unswap-sqr_binary64`
614×	`pow-sqr_binary64`
326×	`cube-prod_binary64`
313×	`associate-l_binary64`
281×	`*-commutative_binary64`
226×	`unpow3_binary64`
216×	`cube-mult_binary64`
183×	`associate-r_binary64`
96×	`pow-plus_binary64`
32×	`rem-sqrt-square_binary64`
18×	`cube-unmult_binary64`
12×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
1×	`1-exp_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` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_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` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_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-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` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_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--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

40 → 4

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	571
1	31	487
2	40	487
3	47	487
4	54	487
5	69	487
6	106	487
7	207	487
8	551	487
9	1147	487
10	1286	487
11	1549	487
12	1854	487
13	2264	487
14	2827	487
15	3286	487
16	3590	487
17	3706	487
18	3726	487
19	3730	487
20	3730	487
21	4527	487
22	5187	487

prune95.0ms (0.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	3	14	17

Error

49.0b

Counts

17 → 14

Compiler

Compiled 2485 to 1704 computations (31.4% saved)

localize57.0ms (0.1%)

Local error

Found 4 expressions with local error:

24.6b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite283.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

49.0b

Rules

4×	`pow1_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`

Counts

4 → 28

Calls

4 calls:

3.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2744 to 1769 computations (35.5% saved)

series100.0ms (0.1%)

Error

49.0b

Counts

4 → 12

Calls

4 calls:

20.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
18.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
18.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
17.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2631 to 1918 computations (27.1% saved)

simplify213.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1304×	`sqr-pow_binary64`
724×	`unswap-sqr_binary64`
614×	`pow-sqr_binary64`
326×	`cube-prod_binary64`
313×	`associate-l_binary64`
281×	`*-commutative_binary64`
226×	`unpow3_binary64`
216×	`cube-mult_binary64`
183×	`associate-r_binary64`
96×	`pow-plus_binary64`
32×	`rem-sqrt-square_binary64`
18×	`cube-unmult_binary64`
12×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
1×	`1-exp_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` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_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` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_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-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` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_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--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

40 → 4

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	571
1	31	487
2	40	487
3	47	487
4	54	487
5	69	487
6	106	487
7	207	487
8	551	487
9	1147	487
10	1286	487
11	1549	487
12	1854	487
13	2264	487
14	2827	487
15	3286	487
16	3590	487
17	3706	487
18	3726	487
19	3730	487
20	3730	487
21	4527	487
22	5187	487

prune99.0ms (0.1%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	4	14	18

Error

49.0b

Counts

18 → 14

Compiler

Compiled 2406 to 1649 computations (31.5% saved)

localize55.0ms (0.1%)

Local error

Found 4 expressions with local error:

24.6b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite318.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

49.0b

Rules

4×	`pow1_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`

Counts

4 → 28

Calls

4 calls:

3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2660 to 1685 computations (36.7% saved)

series167.0ms (0.2%)

Error

49.0b

Counts

4 → 18

Calls

4 calls:

27.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
19.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
17.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 3594 to 2573 computations (28.4% saved)

simplify111.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

765×	`distribute-rgt-neg-in_binary64`
655×	`distribute-lft-neg-in_binary64`
440×	`cancel-sign-sub-inv_binary64`
369×	`*-commutative_binary64`
353×	`distribute-rgt-in_binary64`
292×	`neg-mul-1_binary64`
288×	`sub-neg_binary64`
285×	`neg-sub0_binary64`
240×	`unswap-sqr_binary64`
166×	`distribute-neg-in_binary64`
164×	`associate-r_binary64`
147×	`associate-l_binary64`
88×	`distribute-lft-out--_binary64`
86×	`distribute-rgt-out--_binary64`
80×	`sqr-pow_binary64`
74×	`swap-sqr_binary64` `distribute-lft-out_binary64`
65×	`distribute-lft-neg-out_binary64`
63×	`distribute-rgt-out_binary64`
57×	`associate-+l-_binary64`
56×	`unsub-neg_binary64`
51×	`remove-double-neg_binary64` `distribute-rgt-neg-out_binary64`
45×	`+-commutative_binary64`
42×	`cube-prod_binary64`
40×	`associate--r+_binary64`
37×	`unpow3_binary64` `associate-+l+_binary64`
36×	`associate--l+_binary64`
27×	`associate-+r+_binary64`
24×	`pow-sqr_binary64` `associate-+r-_binary64`
21×	`sub0-neg_binary64`
19×	`pow-plus_binary64`
18×	`associate--l-_binary64`
16×	`+-rgt-identity_binary64`
15×	`distribute-lft-in_binary64`
14×	`cube-unmult_binary64` `cube-mult_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `associate--r-_binary64`
8×	`distribute-neg-out_binary64`
4×	`cancel-sign-sub_binary64`
3×	`--rgt-identity_binary64`
2×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `rem-sqrt-square_binary64`
1×	`1-exp_binary64` `*-lft-identity_binary64` `distribute-rgt1-in_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` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_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` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_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-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_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` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-lft1-in_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-r/_binary64`

Counts

46 → 10

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	46	769
1	98	685
2	237	685
3	892	685
4	2019	673
5	3624	667
6	4989	667
7	4904	667

prune99.0ms (0.1%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	8	2	10
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	8	16	24

Error

49.0b

Counts

24 → 16

Compiler

Compiled 970 to 626 computations (35.5% saved)

regimes7.3s (9.8%)

Accuracy

Total 8.8b remaining (15.5%)

Threshold costs 0b (0%)

Compiler

Compiled 190439 to 130085 computations (31.7% saved)

bsearch731.0ms (1%)

Steps

Iters	Range		Point
10	3.118126379603037e-186	1.0546354316237734e-170	7.611767332974229e-172
5	-9.019909365394235e-52	-3.283568463643062e-52	-3.587488034252246e-52

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Rules

27×	`*-commutative_binary64`
12×	`+-commutative_binary64`
2×	`*-lft-identity_binary64`
1×	`1-exp_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` `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` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	88	411
1	129	411
2	126	411

end7.0ms (0%)

Compiler: Compiled 256 to 173 computations (32.4% saved)

sample27.7s (37.3%)

Algorithm

1×

intervals

Results

8.9s	1850×	body	1024	valid
4.5s	913×	body	1024	invalid
3.1s	4583×	body	128	valid
3.0s	937×	body	512	valid
1.5s	182×	body	2048	valid
1.5s	448×	body	512	invalid
1.2s	1668×	body	128	invalid
804.0ms	448×	body	256	valid
446.0ms	223×	body	256	invalid

Compiler

Compiled 2846 to 1991 computations (30% saved)

Details

analyze17.8s (23.9%)

sample854.0ms (1.1%)

simplify57.0ms (0.1%)

prune10.0ms (0%)

localize93.0ms (0.1%)

rewrite2.4s (3.3%)

series9.5s (12.7%)

simplify2.0s (2.6%)

prune3.7s (5%)

localize54.0ms (0.1%)

rewrite302.0ms (0.4%)

series94.0ms (0.1%)

simplify214.0ms (0.3%)

prune95.0ms (0.1%)

localize57.0ms (0.1%)

rewrite283.0ms (0.4%)

series100.0ms (0.1%)

simplify213.0ms (0.3%)

prune99.0ms (0.1%)

localize55.0ms (0.1%)

rewrite318.0ms (0.4%)

series167.0ms (0.2%)

simplify111.0ms (0.1%)

prune99.0ms (0.1%)

regimes7.3s (9.8%)

bsearch731.0ms (1%)

simplify9.0ms (0%)

end7.0ms (0%)

sample27.7s (37.3%)

Profiling