Details

analyze18.2s (17.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)

sample877.0ms (0.9%)

Algorithm

1×

intervals

Results

277.0ms	56×	body	1024	valid
187.0ms	38×	body	1024	invalid
111.0ms	148×	body	128	valid
101.0ms	29×	body	512	valid
46.0ms	14×	body	512	invalid
42.0ms	62×	body	128	invalid
33.0ms	19×	body	256	valid
27.0ms	4×	body	2048	valid
17.0ms	8×	body	256	invalid

Compiler

Compiled 367 to 254 computations (30.8% saved)

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

prune9.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

63.8b

Counts

2 → 1

Compiler

Compiled 361 to 244 computations (32.4% saved)

localize89.0ms (0.1%)

Local error

Found 4 expressions with local error:

26.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
45.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2))))))) (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))

rewrite3.9s (3.8%)

Algorithm

1×	rewrite-expression-head

Error

63.6b

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×	`associate-*r/_binary64` `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-l/_binary64` `associate-/r_binary64`
8×	`frac-times_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-/r/_binary64`

Counts

4 → 225

Calls

4 calls:

26.0ms	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2))))))) (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 67483 to 42888 computations (36.4% saved)

series32.5s (32%)

Error

49.4b

Counts

4 → 28

Calls

4 calls:

32.0s	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2))))))) (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
27.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 113578 to 81228 computations (28.5% saved)

simplify1.5s (1.5%)

Algorithm

1×	egg-herbie

Rules

339×	`*-commutative_binary64`
189×	`distribute-rgt-in_binary64`
185×	`distribute-lft-in_binary64`
183×	`associate-r_binary64`
148×	`distribute-frac-neg_binary64`
143×	`associate-/r/_binary64`
138×	`+-commutative_binary64`
110×	`associate-/l*_binary64`
102×	`neg-mul-1_binary64`
97×	`associate-+r+_binary64`
95×	`div-sub_binary64`
94×	`neg-sub0_binary64` `associate-/r*_binary64`
88×	`sub-neg_binary64`
78×	`associate-*l/_binary64`
69×	`times-frac_binary64`
63×	`distribute-rgt-neg-in_binary64`
57×	`unswap-sqr_binary64`
54×	`sqr-pow_binary64`
51×	`distribute-rgt-neg-out_binary64`
50×	`cancel-sign-sub-inv_binary64`
44×	`distribute-rgt-out_binary64`
43×	`distribute-lft-neg-out_binary64`
34×	`associate-l_binary64`
33×	`distribute-lft-neg-in_binary64`
24×	`swap-sqr_binary64`
23×	`distribute-neg-in_binary64`
22×	`associate--l+_binary64`
21×	`distribute-neg-frac_binary64`
18×	`associate-*r/_binary64`
15×	`associate--r-_binary64`
14×	`/-rgt-identity_binary64`
13×	`log-prod_binary64` `unpow2_binary64` `unpow1_binary64` `associate-/l/_binary64`
10×	`cube-unmult_binary64`
6×	`unpow3_binary64` `cube-mult_binary64` `sqr-neg_binary64` `distribute-lft-out_binary64` `associate--r+_binary64`
4×	`log-div_binary64` `difference-of-squares_binary64`
3×	`remove-double-neg_binary64` `pow-sqr_binary64` `distribute-rgt-out--_binary64` `associate-+r-_binary64` `associate-+l+_binary64`
2×	`log-pow_binary64` `pow-plus_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `div0_binary64`
1×	`unpow1/2_binary64` `exp-prod_binary64` `exp-neg_binary64` `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-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-diff_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` `count-2_binary64` `associate--l-_binary64` `associate-+l-_binary64`

Counts

253 → 236

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1071	115036
1	3203	107232
2	4997	107232

prune4.6s (4.6%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	219	17	236
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	220	17	237

Error

49.2b

Counts

237 → 17

Compiler

Compiled 69538 to 42086 computations (39.5% saved)

localize50.0ms (0%)

Local error

Found 4 expressions with local error:

25.6b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.5b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.5b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.5b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite402.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

49.2b

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	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2660 to 1685 computations (36.7% saved)

series86.0ms (0.1%)

Error

49.2b

Counts

4 → 12

Calls

4 calls:

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

Compiler

Compiled 2568 to 1837 computations (28.5% saved)

simplify221.0ms (0.2%)

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	585
1	31	501
2	40	501
3	47	501
4	54	501
5	69	501
6	106	501
7	207	501
8	551	501
9	1147	501
10	1286	501
11	1549	501
12	1854	501
13	2264	501
14	2827	501
15	3286	501
16	3590	501
17	3706	501
18	3726	501
19	3730	501
20	3730	501
21	4527	501
22	5187	501

prune133.0ms (0.1%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	4	17	21

Error

49.2b

Counts

21 → 17

Compiler

Compiled 3635 to 2388 computations (34.3% saved)

localize49.0ms (0%)

Local error

Found 4 expressions with local error:

25.6b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.5b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.5b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.5b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite343.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

49.2b

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	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2660 to 1685 computations (36.7% saved)

series95.0ms (0.1%)

Error

49.2b

Counts

4 → 12

Calls

4 calls:

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

Compiler

Compiled 2568 to 1837 computations (28.5% saved)

simplify221.0ms (0.2%)

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	585
1	31	501
2	40	501
3	47	501
4	54	501
5	69	501
6	106	501
7	207	501
8	551	501
9	1147	501
10	1286	501
11	1549	501
12	1854	501
13	2264	501
14	2827	501
15	3286	501
16	3590	501
17	3706	501
18	3726	501
19	3730	501
20	3730	501
21	4527	501
22	5187	501

prune122.0ms (0.1%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	0	15	15
Picked	0	1	1
Done	0	1	1
Total	3	18	21

Error

49.2b

Counts

21 → 18

Compiler

Compiled 3638 to 2391 computations (34.3% saved)

localize54.0ms (0.1%)

Local error

Found 4 expressions with local error:

25.6b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.5b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.5b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.5b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite366.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

49.2b

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	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2744 to 1769 computations (35.5% saved)

series103.0ms (0.1%)

Error

49.2b

Counts

4 → 12

Calls

4 calls:

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

Compiler

Compiled 2655 to 1924 computations (27.5% saved)

simplify222.0ms (0.2%)

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	585
1	31	501
2	40	501
3	47	501
4	54	501
5	69	501
6	106	501
7	207	501
8	551	501
9	1147	501
10	1286	501
11	1549	501
12	1854	501
13	2264	501
14	2827	501
15	3286	501
16	3590	501
17	3706	501
18	3726	501
19	3730	501
20	3730	501
21	4527	501
22	5187	501

prune52.0ms (0.1%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	0	15	15
Picked	1	0	1
Done	0	2	2
Total	4	18	22

Error

49.2b

Counts

22 → 18

Compiler

Compiled 376 to 253 computations (32.7% saved)

regimes6.3s (6.2%)

Accuracy

Total 8.8b remaining (15.6%)

Threshold costs 0b (0%)

Compiler

Compiled 189646 to 129209 computations (31.9% saved)

bsearch1.2s (1.2%)

Steps

Iters	Range		Point
9	7.214730571080225e-80	1.8171029983599663e-74	1.701727849224599e-78
8	-1.9358565591574945e-74	-6.896991081845211e-78	-1.0781800889803831e-77
7	-59882.32554795129	-2312.6470784251587	-44847.953253698484

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Rules

31×	`*-commutative_binary64`
12×	`+-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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	97	649
1	140	649
2	140	649

end9.0ms (0%)

Compiler: Compiled 400 to 273 computations (31.8% saved)

sample29.8s (29.3%)

Algorithm

1×

intervals

Results

9.3s	1851×	body	1024	valid
5.0s	980×	body	1024	invalid
3.2s	4553×	body	128	valid
3.1s	936×	body	512	valid
1.9s	486×	body	512	invalid
1.3s	185×	body	2048	valid
1.3s	1803×	body	128	invalid
861.0ms	475×	body	256	valid
525.0ms	250×	body	256	invalid

Compiler

Compiled 4040 to 2702 computations (33.1% saved)

Details

analyze18.2s (17.9%)

sample877.0ms (0.9%)

simplify60.0ms (0.1%)

prune9.0ms (0%)

localize89.0ms (0.1%)

rewrite3.9s (3.8%)

series32.5s (32%)

simplify1.5s (1.5%)

prune4.6s (4.6%)

localize50.0ms (0%)

rewrite402.0ms (0.4%)

series86.0ms (0.1%)

simplify221.0ms (0.2%)

prune133.0ms (0.1%)

localize49.0ms (0%)

rewrite343.0ms (0.3%)

series95.0ms (0.1%)

simplify221.0ms (0.2%)

prune122.0ms (0.1%)

localize54.0ms (0.1%)

rewrite366.0ms (0.4%)

series103.0ms (0.1%)

simplify222.0ms (0.2%)

prune52.0ms (0.1%)

regimes6.3s (6.2%)

bsearch1.2s (1.2%)

simplify12.0ms (0%)

end9.0ms (0%)

sample29.8s (29.3%)

Profiling