Details

Time bar (total: 8.5s)

analyze1.9s (22.9%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
25%74.9%0.1%6
25%74.9%0.1%7
25%62.4%12.6%8
31.2%56.2%12.6%9
34.3%53%12.6%10
42.9%44.5%12.6%11
46.8%40.6%12.6%12
47.8%39.6%12.6%13
52.6%34.8%12.6%14
Compiler

Compiled 22 to 20 computations (9.1% saved)

sample236.0ms (2.8%)

Algorithm
intervals
Results
74.0ms57×body1024valid
57.0ms50×body1024invalid
25.0ms155×body128valid
19.0ms24×body512valid
17.0ms23×body512invalid
14.0msbody2048valid
5.0ms12×body256invalid
5.0ms11×body256valid
4.0ms25×body128invalid
Compiler

Compiled 43 to 42 computations (2.3% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 21 to 19 computations (9.5% saved)

localize17.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.2b
(pow.f64 (*.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2)
0.2b
(*.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
0.1b
(pow.f64 (*.f64 a (cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2)
0.1b
(*.f64 a (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
0.3b
(*.f64 PI.f64 (/.f64 angle 180))
0.3b
(*.f64 PI.f64 (/.f64 angle 180))
25.5b
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
25.7b
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite3.0ms (0%)

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

8 calls:

2.0ms
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
0.0ms
(*.f64 PI.f64 (/.f64 angle 180))
0.0ms
(*.f64 PI.f64 (/.f64 angle 180))
0.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
0.0ms
(pow.f64 (*.f64 a (cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2)

prune4.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 21 to 19 computations (9.5% saved)

sample6.3s (74%)

Algorithm
intervals
Results
1.7s1576×body1024valid
1.5s1346×body1024invalid
768.0ms5044×body128valid
597.0ms847×body512valid
528.0ms697×body512invalid
279.0ms169×body2048valid
150.0ms364×body256valid
147.0ms347×body256invalid
97.0ms616×body128invalid
Compiler

Compiled 64 to 61 computations (4.7% saved)

Pareto

0

Profiling

Loading profile data...