Details

Time bar (total: 57.7s)

analyze12.0s (20.8%)

Algorithm
search
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
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.4s (2.4%)

Algorithm
intervals
Results
290.0ms34×body4096valid
274.0ms65×body2048valid
219.0ms28×body4096invalid
171.0ms35×body2048invalid
83.0ms29×body1024invalid
77.0ms117×body128valid
75.0msbody8192valid
68.0ms24×body1024valid
23.0ms14×body512invalid
21.0ms39×body128invalid
13.0msbody512valid
7.0msbody256valid
7.0msbody256invalid
Compiler

Compiled 219 to 172 computations (21.5% saved)

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 109 to 83 computations (23.9% saved)

localize72.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b
(*.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)))
0.0b
(+.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))
0.0b
(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))
0.0b
(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))
27.1b
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
27.1b
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
27.1b
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.0b
(-.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)))

rewrite2.0ms (0%)

Algorithm
rewrite-expression-head
Rules
Counts
4 → 0
Calls

8 calls:

1.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)))
0.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms
(*.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)))

prune9.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked000
Done011
Total011
Error
40.2b
Counts
1 → 1
Compiler

Compiled 109 to 83 computations (23.9% saved)

sample44.2s (76.7%)

Algorithm
intervals
Results
11.6s1407×body4096valid
7.7s1622×body2048valid
7.1s846×body4096invalid
5.6s1158×body2048invalid
2.7s873×body1024valid
2.4s3548×body128valid
2.2s672×body1024invalid
1.0s61×body8192valid
680.0ms348×body512valid
612.0ms1055×body128invalid
603.0ms34×body8192invalid
492.0ms245×body512invalid
180.0ms141×body256valid
151.0ms125×body256invalid
Compiler

Compiled 328 to 255 computations (22.3% saved)

Pareto

0

Profiling

Loading profile data...