Details

Time bar (total: 4.3s)

analyze781.0ms (18.3%)

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%68.6%31.4%5
0%65.5%34.5%6
0%59.2%40.8%7
0%51.4%48.6%8
0%41.3%58.7%9
0%28.4%71.6%10
2.3%22.3%75.4%11
2.3%21%76.7%12
2.7%18%79.3%13
2.7%16.4%80.8%14
Compiler

Compiled 17 to 16 computations (5.9% saved)

sample93.0ms (2.2%)

Algorithm
intervals
Results
41.0ms256×body128valid
19.0ms152×body128nan
0.0msbody128invalid
Compiler

Compiled 33 to 36 computations (-9.1% saved)

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 16 to 15 computations (6.3% saved)

localize34.0ms (0.8%)

Local error

Found 8 expressions with local error:

0.6b
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.1b
(*.f64 (-.f64 a 1/2) (log.f64 t))
0.1b
(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.0b
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.0b
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.1b
(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.1b
(*.f64 (-.f64 a 1/2) (log.f64 t))
0.6b
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite3.0ms (0.1%)

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

8 calls:

2.0ms
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.0ms
(*.f64 (-.f64 a 1/2) (log.f64 t))
0.0ms
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.0ms
(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.0ms
(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))

prune4.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 16 to 15 computations (6.3% saved)

sample3.4s (78.5%)

Algorithm
intervals
Results
1.4s8000×body128valid
700.0ms4292×body128nan
5.0ms31×body128invalid
Compiler

Compiled 65 to 66 computations (-1.5% saved)

Pareto

0

Profiling

Loading profile data...