Details

Time bar (total: 932.0ms)

analyze4.0ms (0.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
50%50%0.1%2
74.9%25%0.1%3
87.4%12.5%0.1%4
93.7%6.2%0.1%5
96.8%3.1%0.1%6
98.3%1.6%0.1%7
99.1%0.8%0.1%8
99.5%0.4%0.1%9
99.7%0.2%0.1%10
99.8%0.1%0.1%11
99.9%0%0.1%12
99.9%0%0.1%13
99.9%0%0.1%14
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample846.0ms (90.8%)

Results
835.0ms8256×body128valid
Compiler

Compiled 18 to 14 computations (22.2% saved)

preprocess16.0ms (1.8%)

Algorithm
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0918
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 8 to 6 computations (25% saved)

simplify5.0ms (0.6%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
Stop Event
1×saturated
Counts
1 → 1

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.9b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))
Compiler

Compiled 24 to 18 computations (25% saved)

localize5.0ms (0.5%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))

series53.0ms (5.7%)

Counts
1 → 0
Calls

6 calls:

12.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))
im
0
8.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))
im
-inf
8.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))
re
0
8.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))
re
inf
8.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))
re
-inf

rewrite0.0ms (0%)

Algorithm
1×batch-egg-rewrite

end0.0ms (0%)

Profiling

Loading profile data...