Details

Time bar (total: 7.2s)

analyze2.4s (33%)

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
0%99.9%0.1%6
9.4%90.5%0.1%7
14%85.8%0.1%8
16.4%83.5%0.1%9
24.6%75.3%0.1%10
28.7%71.2%0.1%11
30.7%69.1%0.1%12
35.8%64%0.1%13
38.4%61.5%0.1%14
Compiler

Compiled 29 to 18 computations (37.9% saved)

sample159.0ms (2.2%)

Algorithm
intervals
Results
69.0ms56×body1024valid
36.0ms144×body128valid
25.0ms30×body512valid
11.0ms25×body256valid
3.0msbody2048valid
Compiler

Compiled 57 to 38 computations (33.3% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 28 to 17 computations (39.3% saved)

localize33.0ms (0.5%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
0.0b
(+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))
0.0b
(atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))
0.0b
(atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))
0.1b
(*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
2.1b
(/.f64 (/.f64 eh ew) (tan.f64 t))
2.1b
(/.f64 (/.f64 eh ew) (tan.f64 t))
37.2b
(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

rewrite3.0ms (0%)

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

8 calls:

2.0ms
(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))
0.0ms
(/.f64 (/.f64 eh ew) (tan.f64 t))
0.0ms
(/.f64 (/.f64 eh ew) (tan.f64 t))
0.0ms
(*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
0.0ms
(+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))

prune4.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 28 to 17 computations (39.3% saved)

sample4.6s (64.2%)

Algorithm
intervals
Results
2.2s1997×body1024valid
1.0s4468×body128valid
713.0ms1012×body512valid
252.0ms511×body256valid
28.0ms12×body2048valid
Compiler

Compiled 85 to 55 computations (35.3% saved)

Pareto

0

Profiling

Loading profile data...