Details

Time bar (total: 2.3min)

analyze17.6s (13%)

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)

sample809.0ms (0.6%)

Algorithm
1×intervals
Results
305.0ms64×body1024valid
137.0ms28×body1024invalid
100.0ms149×body128valid
82.0ms27×body512valid
49.0ms15×body512invalid
36.0ms6×body2048valid
31.0ms49×body128invalid
17.0ms10×body256valid
10.0ms5×body256invalid
Compiler

Compiled 367 to 254 computations (30.8% saved)

simplify55.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05020283

prune19.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
63.9b
Counts
2 → 1
Compiler

Compiled 356 to 240 computations (32.6% saved)

localize74.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite7.5s (5.5%)

Algorithm
1×rewrite-expression-head
Error
63.8b
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×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-/r*_binary64_1045
8×frac-times_binary64_1111 associate-*r/_binary64_1043
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-*l/_binary64_1044 associate-/r/_binary64_1047
Counts
4 → 225
Calls

4 calls:

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

Compiled 69281 to 42082 computations (39.3% saved)

series1.0min (45%)

Error
49.5b
Counts
4 → 25
Calls

4 calls:

1.0min
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 8 (*.f64 (*.f64 a (*.f64 b (*.f64 b a))) (*.f64 a (*.f64 b (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (+.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))))) (/.f64 (*.f64 a (*.f64 (*.f64 b b) (*.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))
59.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
58.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
56.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 36258 to 25842 computations (28.7% saved)

simplify607.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
250 → 250
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
0551086965

prune7.6s (5.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New23812250
Fresh000
Picked101
Done000
Total23912251
Error
49.5b
Counts
251 → 12
Compiler

Compiled 69965 to 43060 computations (38.5% saved)

localize45.0ms (0%)

Local error

Found 4 expressions with local error:

24.7b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.9b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.9b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.9b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))

rewrite159.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
49.5b
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)))
3.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 2660 to 1685 computations (36.7% saved)

series212.0ms (0.2%)

Error
49.5b
Counts
4 → 12
Calls

4 calls:

41.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
41.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
39.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
37.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 3184 to 2222 computations (30.2% saved)

simplify153.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (141.0ms)

IterNodesCost
05187501

prune272.0ms (0.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New36440
Fresh01111
Picked101
Done000
Total371552
Error
49.5b
Counts
52 → 15
Compiler

Compiled 5206 to 3424 computations (34.2% saved)

localize49.0ms (0%)

Local error

Found 4 expressions with local error:

24.7b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.9b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.9b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.9b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))

rewrite163.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
49.5b
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:

4.0ms
(sin.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 2744 to 1769 computations (35.5% saved)

series225.0ms (0.2%)

Error
49.5b
Counts
4 → 12
Calls

4 calls:

45.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
43.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
42.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
40.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 3292 to 2330 computations (29.2% saved)

simplify151.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (140.0ms)

IterNodesCost
05187501

prune286.0ms (0.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New38240
Fresh11314
Picked101
Done000
Total401555
Error
49.5b
Counts
55 → 15
Compiler

Compiled 5332 to 3550 computations (33.4% saved)

localize47.0ms (0%)

Local error

Found 4 expressions with local error:

24.7b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.9b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.9b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.9b
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))

rewrite170.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
49.5b
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)))
3.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 2828 to 1853 computations (34.5% saved)

series234.0ms (0.2%)

Error
49.5b
Counts
4 → 12
Calls

4 calls:

47.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
45.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
43.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
40.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 3400 to 2438 computations (28.3% saved)

simplify151.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (140.0ms)

IterNodesCost
05187501

prune220.0ms (0.2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New40040
Fresh01414
Picked011
Done000
Total401555
Error
49.5b
Counts
55 → 15
Compiler

Compiled 3900 to 2556 computations (34.5% saved)

regimes5.1s (3.7%)

Accuracy

Total 7.5b remaining (13.1%)

Threshold costs 0b (0%)

Compiler

Compiled 85370 to 59404 computations (30.4% saved)

bsearch120.0ms (0.1%)

Steps
ItersRangePoint
2
5.403201083758864e-255
5.95048777631364e-255
5.745255266605598e-255
Compiler

Compiled 1 to 5 computations (-400% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
085290
185290

end0.0ms (0%)

sample32.6s (24.1%)

Algorithm
1×intervals
Results
9.2s1890×body1024valid
4.8s1013×body1024invalid
3.0s4477×body128valid
2.9s943×body512valid
1.6s487×body512invalid
1.3s191×body2048valid
1.2s1850×body128invalid
852.0ms498×body256valid
466.0ms242×body256invalid
23.0ms1×body4096valid
Compiler

Compiled 9813 to 6873 computations (30% saved)

Profiling

Loading profile data...