Details

analyze9.9s (18.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

395×	`associate-/l/_binary64`
281×	`neg-mul-1_binary64`
225×	`distribute-neg-frac_binary64`
202×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
193×	`associate-*r/_binary64`
179×	`distribute-rgt-neg-in_binary64`
170×	`*-commutative_binary64`
161×	`associate-l_binary64`
160×	`associate-*l/_binary64`
157×	`distribute-lft-neg-in_binary64`
148×	`associate-/l*_binary64`
118×	`associate-r_binary64`
106×	`cancel-sign-sub-inv_binary64`
92×	`swap-sqr_binary64`
87×	`sqr-pow_binary64`
84×	`neg-sub0_binary64`
62×	`unswap-sqr_binary64`
53×	`sub-neg_binary64`
38×	`distribute-lft-neg-out_binary64`
37×	`+-commutative_binary64`
33×	`times-frac_binary64` `div-sub_binary64`
29×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `rem-sqrt-square_binary64`
16×	`difference-of-squares_binary64`
11×	`associate-/r/_binary64`
10×	`associate-/r*_binary64`
5×	`distribute-rgt-neg-out_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-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` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-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` `count-2_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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	249	1925
1	710	1925
2	2441	1925
3	4874	1925
4	5141	1925
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
6.2%	93.5%	0.2%	11
6.2%	93.5%	0.2%	12
7.8%	92%	0.2%	13
8.6%	91.2%	0.2%	14

Compiler

Compiled 110 to 84 computations (23.6% saved)

sample1.1s (2.1%)

Algorithm

1×

intervals

Results

338.0ms	54×	body	4096	valid
225.0ms	60×	body	2048	valid
132.0ms	34×	body	2048	invalid
123.0ms	19×	body	4096	invalid
58.0ms	25×	body	1024	valid
51.0ms	102×	body	128	valid
46.0ms	18×	body	1024	invalid
18.0ms	1×	body	8192	invalid
17.0ms	8×	body	512	invalid
14.0ms	1×	body	8192	valid
13.0ms	9×	body	512	valid
13.0ms	30×	body	128	invalid
5.0ms	5×	body	256	valid
2.0ms	2×	body	256	invalid

Compiler

Compiled 219 to 172 computations (21.5% saved)

simplify30.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

600×	`associate-/l/_binary64`
540×	`associate-/r*_binary64`
529×	`associate-/r/_binary64`
263×	`distribute-rgt-in_binary64`
260×	`distribute-lft-in_binary64`
145×	`associate-l_binary64`
138×	`associate-r_binary64`
112×	`associate-/l*_binary64`
103×	`associate-*r/_binary64`
99×	`associate-*l/_binary64`
83×	`distribute-neg-frac_binary64`
65×	`swap-sqr_binary64`
55×	`times-frac_binary64` `distribute-rgt-neg-in_binary64`
52×	`unswap-sqr_binary64`
50×	`*-commutative_binary64`
46×	`distribute-lft-neg-in_binary64`
44×	`div-sub_binary64`
43×	`cancel-sign-sub-inv_binary64`
26×	`neg-sub0_binary64`
25×	`distribute-lft-neg-out_binary64`
24×	`neg-mul-1_binary64` `sqr-pow_binary64`
19×	`sub-neg_binary64`
18×	`distribute-rgt-neg-out_binary64`
16×	`distribute-neg-in_binary64`
6×	`unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `unpow1_binary64` `cube-unmult_binary64` `rem-sqrt-square_binary64`
5×	`+-commutative_binary64`
4×	`difference-of-squares_binary64`
2×	`unsub-neg_binary64` `sub0-neg_binary64` `+-rgt-identity_binary64` `associate-+l-_binary64` `associate-+r-_binary64`
1×	`1-exp_binary64` `distribute-frac-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` `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` `sqr-neg_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_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` `cancel-sign-sub_binary64` `distribute-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`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	175
1	103	175
2	310	175
3	1387	172
4	5232	172

prune8.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

42.4b

Counts

2 → 2

Compiler

Compiled 323 to 229 computations (29.1% saved)

localize54.0ms (0.1%)

Local error

Found 4 expressions with local error:

26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.6b	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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)))

rewrite466.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

38.3b

Rules

15×	`associate-*r/_binary64`
9×	`frac-sub_binary64`
7×	`associate-*l/_binary64`
6×	`add-log-exp_binary64` `frac-times_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
2×	`sub-div_binary64`
1×	`diff-log_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64`

Counts

4 → 44

Calls

4 calls:

42.0ms	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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.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 6110 to 4322 computations (29.3% saved)

series966.0ms (1.8%)

Error

35.3b

Counts

4 → 25

Calls

4 calls:

838.0ms	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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)))
22.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
20.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
19.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 5804 to 4525 computations (22% saved)

simplify160.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

250×	`distribute-rgt-in_binary64`
242×	`distribute-lft-in_binary64`
224×	`associate-r_binary64`
202×	`distribute-rgt-neg-in_binary64`
200×	`unswap-sqr_binary64`
197×	`cancel-sign-sub-inv_binary64`
178×	`times-frac_binary64`
173×	`associate-l_binary64`
170×	`distribute-lft-neg-in_binary64`
163×	`associate-/l*_binary64`
156×	`associate-*l/_binary64`
152×	`*-commutative_binary64`
135×	`associate-*r/_binary64`
114×	`associate-/r*_binary64`
92×	`distribute-neg-frac_binary64`
73×	`sqr-pow_binary64`
56×	`neg-sub0_binary64`
53×	`distribute-lft-out_binary64`
51×	`cube-div_binary64`
45×	`neg-mul-1_binary64` `+-commutative_binary64`
44×	`sub-neg_binary64`
43×	`cube-prod_binary64`
41×	`distribute-rgt-out_binary64`
40×	`distribute-neg-in_binary64`
39×	`distribute-lft-neg-out_binary64`
35×	`swap-sqr_binary64`
33×	`mul-1-neg_binary64`
29×	`exp-prod_binary64`
17×	`unpow3_binary64` `associate-/r/_binary64`
16×	`cube-mult_binary64`
15×	`associate-/l/_binary64`
12×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `associate-+l+_binary64` `associate-+r+_binary64`
8×	`distribute-rgt-neg-out_binary64`
7×	`difference-of-squares_binary64`
5×	`cube-unmult_binary64`
4×	`pow-plus_binary64` `div-sub_binary64`
3×	`exp-sum_binary64` `unsub-neg_binary64` `pow-sqr_binary64` `distribute-rgt-out--_binary64`
2×	`exp-diff_binary64` `distribute-frac-neg_binary64`
1×	`div-exp_binary64` `1-exp_binary64` `+-rgt-identity_binary64` `distribute-lft-out--_binary64` `associate-+r-_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` `rec-exp_binary64` `prod-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_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` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_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` `cancel-sign-sub_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+l-_binary64`

Counts

69 → 52

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	7502
1	626	6809
2	2739	6473
3	5086	6473

prune253.0ms (0.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	41	11	52
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	43	11	54

Error

34.0b

Counts

54 → 11

Compiler

Compiled 5595 to 3616 computations (35.4% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

26.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.6b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.6b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite260.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

34.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:

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

Compiler

Compiled 2100 to 1018 computations (51.5% saved)

series80.0ms (0.2%)

Error

34.0b

Counts

4 → 12

Calls

4 calls:

13.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
12.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
12.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
11.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 1976 to 1263 computations (36.1% saved)

simplify208.0ms (0.4%)

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

prune60.0ms (0.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	4	11	15

Error

34.0b

Counts

15 → 11

Compiler

Compiled 1317 to 850 computations (35.5% saved)

localize44.0ms (0.1%)

Local error

Found 4 expressions with local error:

26.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.6b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.6b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite261.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

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

Compiler

Compiled 2212 to 1128 computations (49% saved)

series84.0ms (0.2%)

Error

34.0b

Counts

4 → 12

Calls

4 calls:

14.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
13.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
13.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
12.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2092 to 1329 computations (36.5% saved)

simplify217.0ms (0.4%)

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

prune59.0ms (0.1%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	4	11	15

Error

34.0b

Counts

15 → 11

Compiler

Compiled 1261 to 817 computations (35.2% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

14.4b	(.f64 (.f64 x-scale x-scale) (*.f64 y-scale y-scale))
16.9b	(.f64 (.f64 a a) (*.f64 b b))
19.1b	(/.f64 (.f64 (.f64 a a) (.f64 b b)) (.f64 (.f64 x-scale x-scale) (.f64 y-scale y-scale)))

rewrite430.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

15.3b

Rules

157×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
96×	`prod-exp_binary64` `cbrt-unprod_binary64`
59×	`pow1_binary64`
28×	`pow-prod-down_binary64`
25×	`div-exp_binary64` `cbrt-undiv_binary64`
8×	`pow-prod-up_binary64` `pow-plus_binary64`
4×	`pow2_binary64` `pow-sqr_binary64`
3×	`add-log-exp_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
2×	`unswap-sqr_binary64` `associate-l_binary64` `associate-r_binary64` `*-commutative_binary64`
1×	`frac-2neg_binary64` `times-frac_binary64` `clear-num_binary64` `div-inv_binary64` `associate-/l_binary64` `associate-/r_binary64`

Counts

3 → 121

Calls

3 calls:

18.0ms	(/.f64 (.f64 (.f64 a a) (.f64 b b)) (.f64 (.f64 x-scale x-scale) (.f64 y-scale y-scale)))
9.0ms	(.f64 (.f64 x-scale x-scale) (*.f64 y-scale y-scale))
8.0ms	(.f64 (.f64 a a) (*.f64 b b))

Compiler

Compiled 3171 to 528 computations (83.3% saved)

series137.0ms (0.3%)

Error

34.0b

Counts

3 → 24

Calls

3 calls:

82.0ms	(/.f64 (.f64 (.f64 a a) (.f64 b b)) (.f64 (.f64 x-scale x-scale) (.f64 y-scale y-scale)))
20.0ms	(.f64 (.f64 x-scale x-scale) (*.f64 y-scale y-scale))
19.0ms	(.f64 (.f64 a a) (*.f64 b b))

Compiler

Compiled 867 to 856 computations (1.3% saved)

simplify119.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

685×	`associate-/l/_binary64`
561×	`times-frac_binary64`
305×	`associate-/r/_binary64`
222×	`log-prod_binary64`
212×	`log-div_binary64`
202×	`unswap-sqr_binary64`
192×	`associate-/l*_binary64`
181×	`associate-l_binary64`
177×	`associate-/r*_binary64`
148×	`associate-r_binary64`
73×	`associate--l+_binary64`
66×	`exp-prod_binary64`
64×	`associate--r+_binary64`
61×	`*-commutative_binary64`
56×	`sub-neg_binary64`
45×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
44×	`cube-prod_binary64` `swap-sqr_binary64`
40×	`cancel-sign-sub-inv_binary64`
38×	`sqr-pow_binary64`
25×	`associate-*l/_binary64`
23×	`neg-mul-1_binary64` `neg-sub0_binary64`
22×	`associate-*r/_binary64`
20×	`cube-div_binary64`
15×	`distribute-neg-in_binary64`
14×	`+-commutative_binary64`
12×	`associate-+l+_binary64`
10×	`pow-sqr_binary64`
9×	`cube-unmult_binary64`
8×	`log-pow_binary64` `pow-plus_binary64` `associate-+l-_binary64` `associate-+r-_binary64` `associate-+r+_binary64`
7×	`unsub-neg_binary64` `distribute-rgt-in_binary64`
5×	`distribute-lft-out--_binary64`
4×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `rem-sqrt-square_binary64` `distribute-lft-out_binary64` `count-2_binary64`
3×	`distribute-rgt-out--_binary64`
2×	`distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-out_binary64` `associate--l-_binary64`
1×	`1-exp_binary64` `distribute-lft-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-rec_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` `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-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` `div-sub_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` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `associate--r-_binary64`

Counts

145 → 103

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	150	3865
1	298	2451
2	2177	2117
3	4779	2065
4	5091	2065

prune37.0ms (0.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	96	7	103
Fresh	5	3	8
Picked	1	0	1
Done	1	1	2
Total	103	11	114

Error

6.0b

Counts

114 → 11

Compiler

Compiled 243 to 103 computations (57.6% saved)

regimes2.4s (4.4%)

Accuracy

Total 0.5b remaining (9.5%)

Threshold costs 0.5b (9.5%)

Compiler

Compiled 61231 to 45620 computations (25.5% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`sqr-abs_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-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	12	25
1	16	25
2	16	25

end1.0ms (0%)

Compiler: Compiled 17 to 11 computations (35.3% saved)

sample35.7s (67.4%)

Algorithm

1×

intervals

Results

9.4s	1433×	body	4096	valid
6.4s	1654×	body	2048	valid
5.8s	847×	body	4096	invalid
4.1s	1079×	body	2048	invalid
2.2s	887×	body	1024	valid
1.9s	3455×	body	128	valid
1.5s	608×	body	1024	invalid
863.0ms	60×	body	8192	valid
585.0ms	366×	body	512	valid
478.0ms	34×	body	8192	invalid
458.0ms	962×	body	128	invalid
427.0ms	264×	body	512	invalid
142.0ms	145×	body	256	valid
129.0ms	129×	body	256	invalid

Compiler

Compiled 657 to 501 computations (23.7% saved)

Details

analyze9.9s (18.6%)

sample1.1s (2.1%)

simplify30.0ms (0.1%)

prune8.0ms (0%)

localize54.0ms (0.1%)

rewrite466.0ms (0.9%)

series966.0ms (1.8%)

simplify160.0ms (0.3%)

prune253.0ms (0.5%)

localize37.0ms (0.1%)

rewrite260.0ms (0.5%)

series80.0ms (0.2%)

simplify208.0ms (0.4%)

prune60.0ms (0.1%)

localize44.0ms (0.1%)

rewrite261.0ms (0.5%)

series84.0ms (0.2%)

simplify217.0ms (0.4%)

prune59.0ms (0.1%)

localize10.0ms (0%)

rewrite430.0ms (0.8%)

series137.0ms (0.3%)

simplify119.0ms (0.2%)

prune37.0ms (0.1%)

regimes2.4s (4.4%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end1.0ms (0%)

sample35.7s (67.4%)

Profiling