Details

Time bar (total: 2.4min)

analyze17.8s (12.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
049973121
149973121
055
155
Search
TrueOtherFalseIter
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)

sample863.0ms (0.6%)

Algorithm
1×intervals
Results
301.0ms61×body1024valid
142.0ms28×body1024invalid
121.0ms36×body512valid
95.0ms139×body128valid
43.0ms6×body2048valid
40.0ms11×body512invalid
37.0ms54×body128invalid
26.0ms14×body256valid
17.0ms9×body256invalid
Compiler

Compiled 367 to 254 computations (30.8% saved)

simplify55.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
05020283

prune21.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
63.7b
Counts
2 → 2
Compiler

Compiled 539 to 364 computations (32.5% saved)

localize72.0ms (0.1%)

Local error

Found 4 expressions with local error:

27.5b
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
27.5b
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
27.5b
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
45.8b
(/.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)))

rewrite7.8s (5.4%)

Algorithm
1×rewrite-expression-head
Error
63.7b
Rules
198×times-frac_binary64_1107
130×add-exp-log_binary64_1139
63×add-cube-cbrt_binary64_1136 add-sqr-sqrt_binary64_1123 *-un-lft-identity_binary64_1101
58×prod-exp_binary64_1150
49×div-exp_binary64_1152
44×distribute-rgt-neg-in_binary64_1059 distribute-lft-neg-in_binary64_1058
37×add-cbrt-cube_binary64_1137
29×sqrt-div_binary64_1118
22×sqrt-prod_binary64_1117
17×associate-*r/_binary64_1043 distribute-neg-frac_binary64_1065 associate-/l/_binary64_1048
16×frac-add_binary64_1109
14×div-inv_binary64_1098
13×cbrt-undiv_binary64_1135 cbrt-unprod_binary64_1134 unpow-prod-down_binary64_1180 unpow2_binary64_1166 sqr-pow_binary64_1073
12×pow-exp_binary64_1169 flip3-+_binary64_1104 flip-+_binary64_1075 associate-/l*_binary64_1046
11×neg-mul-1_binary64_1097
10×associate-*l/_binary64_1044 associate-/r*_binary64_1045
8×frac-times_binary64_1111
6×pow-to-exp_binary64_1170
4×pow1_binary64_1162 add-log-exp_binary64_1140
1×frac-2neg_binary64_1112 neg-sub0_binary64_1096 div-sub_binary64_1106 clear-num_binary64_1100 distribute-frac-neg_binary64_1064 associate-/r/_binary64_1047
Counts
4 → 225
Calls

4 calls:

32.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
(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 70937 to 45015 computations (36.5% saved)

series1.1min (47.7%)

Error
50.7b
Counts
4 → 26
Calls

4 calls:

1.1min
(/.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)))
48.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
48.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
47.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 45883 to 33483 computations (27% saved)

simplify752.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
251 → 251
Iterations

Useful iterations: 0 (134.0ms)

IterNodesCost
0497992185
1497992185

prune7.0s (4.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New23417251
Fresh101
Picked101
Done000
Total23617253
Error
50.3b
Counts
253 → 17
Compiler

Compiled 74562 to 43976 computations (41% saved)

localize46.0ms (0%)

Local error

Found 4 expressions with local error:

27.0b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.3b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.3b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.3b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))

rewrite136.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
50.3b
Rules
4×pow1_binary64_1162 add-log-exp_binary64_1140 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 add-cube-cbrt_binary64_1136 add-sqr-sqrt_binary64_1123 *-un-lft-identity_binary64_1101
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
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 2660 to 1685 computations (36.7% saved)

series187.0ms (0.1%)

Error
50.3b
Counts
4 → 13
Calls

4 calls:

39.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
35.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
33.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
30.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 3356 to 2355 computations (29.8% saved)

simplify89.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
04790504
14790504

prune274.0ms (0.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New38341
Fresh01616
Picked101
Done000
Total391958
Error
50.3b
Counts
58 → 19
Compiler

Compiled 6290 to 4102 computations (34.8% saved)

localize46.0ms (0%)

Local error

Found 4 expressions with local error:

27.0b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.0b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.3b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.3b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))

rewrite127.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
50.3b
Rules
4×pow1_binary64_1162 add-log-exp_binary64_1140 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 add-cube-cbrt_binary64_1136 add-sqr-sqrt_binary64_1123 *-un-lft-identity_binary64_1101
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 2520 to 1629 computations (35.4% saved)

series167.0ms (0.1%)

Error
50.3b
Counts
4 → 12
Calls

4 calls:

32.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
31.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
30.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 2992 to 2147 computations (28.2% saved)

simplify163.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (152.0ms)

IterNodesCost
05187494

prune259.0ms (0.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New38240
Fresh01818
Picked101
Done000
Total392059
Error
50.3b
Counts
59 → 20
Compiler

Compiled 6081 to 4025 computations (33.8% saved)

localize44.0ms (0%)

Local error

Found 4 expressions with local error:

27.0b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.0b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.0b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.3b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))

rewrite123.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
50.3b
Rules
4×pow1_binary64_1162 add-log-exp_binary64_1140 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 add-cube-cbrt_binary64_1136 add-sqr-sqrt_binary64_1123 *-un-lft-identity_binary64_1101
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 2380 to 1573 computations (33.9% saved)

series158.0ms (0.1%)

Error
50.3b
Counts
4 → 12
Calls

4 calls:

31.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
30.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
29.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
27.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 2824 to 2078 computations (26.4% saved)

simplify174.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (163.0ms)

IterNodesCost
05187501

prune150.0ms (0.1%)

Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New38240
Fresh11819
Picked101
Done000
Total402060
Error
50.3b
Counts
60 → 20
Compiler

Compiled 3260 to 2156 computations (33.9% saved)

regimes4.8s (3.3%)

Accuracy

Total 7.5b remaining (13.1%)

Threshold costs 0b (0%)

Compiler

Compiled 98495 to 66446 computations (32.5% saved)

bsearch694.0ms (0.5%)

Steps
ItersRangePoint
6
1871278492739597.8
22952785029234216.0
15654183408095428.0
7
1.2702502230516781e-77
1.905480963016838e-75
2.1817530525056398e-76
Compiler

Compiled 1 to 5 computations (-400% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0127411
1127411

end0.0ms (0%)

sample33.5s (23.2%)

Algorithm
1×intervals
Results
9.2s1865×body1024valid
4.7s945×body1024invalid
3.2s4574×body128valid
2.9s912×body512valid
1.7s205×body2048valid
1.5s470×body512invalid
1.3s1867×body128invalid
791.0ms443×body256valid
493.0ms248×body256invalid
21.0ms1×body4096valid
Compiler

Compiled 11075 to 7507 computations (32.2% saved)

Profiling

Loading profile data...