math.log10 on complex, real part

Time bar (total: 2.9s)

analyze71.0ms (2.5%)

Memory
5.7MiB live, 23.5MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
18.8%18.7%81.2%0.1%0%0%0%5
34.4%34.3%65.6%0.1%0%0%0%6
54.7%54.6%45.3%0.1%0%0%0%7
64.8%64.8%35.1%0.1%0%0%0%8
76.2%76.1%23.8%0.1%0%0%0%9
81.8%81.8%18.1%0.1%0%0%0%10
87.8%87.7%12.2%0.1%0%0%0%11
90.8%90.7%9.2%0.1%0%0%0%12
Compiler

Compiled 29 to 23 computations (20.7% saved)

sample2.7s (94.7%)

Memory
13.2MiB live, 741.4MiB allocated
Samples
681.0ms8 256×73valid-baseline
584.0ms8 256×73valid-rival
498.0ms8 256×73valid-sollya
Precisions
Click to see Rival histograms. Total time spent on operations: 422.0ms
ival-log: 160.0ms (37.9% of total)
ival-mult: 107.0ms (25.4% of total)
ival-sqrt: 57.0ms (13.5% of total)
ival-div: 51.0ms (12.1% of total)
ival-add: 34.0ms (8.1% of total)
ival-true: 7.0ms (1.7% of total)
...in/eval/compile.rkt:110:19: 3.0ms (0.7% of total)
ival-assert: 3.0ms (0.7% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 412.0ms
ival-log: 150.0ms (36.4% of total)
ival-mult: 106.0ms (25.7% of total)
ival-sqrt: 56.0ms (13.6% of total)
ival-div: 52.0ms (12.6% of total)
ival-add: 38.0ms (9.2% of total)
const: 11.0ms (2.7% of total)
Bogosity

preprocess54.0ms (1.9%)

Memory
3.2MiB live, 20.9MiB allocated
Algorithm
1×egg-herbie
Rules
59×fma-define
56×fmm-def
21×sub-neg
17×neg-sub0
15×distribute-lft-neg-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034197
168197
2119197
3215197
4318197
5367197
6387197
7398197
8413197
9414197
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) (log.f64 #s(literal 10 binary64)))
(neg.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) (log.f64 #s(literal 10 binary64))))
(neg.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) (log.f64 #s(literal 10 binary64)))
Outputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
(neg.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 (hypot.f64 re im)) (neg.f64 (log.f64 #s(literal 10 binary64))))
(neg.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 (hypot.f64 re im)) (neg.f64 (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
Symmetry

(abs re)

(abs im)

(sort re im)

Compiler

Compiled 14 to 10 computations (28.6% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
52.8%
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify2.0ms (0.1%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×egg-herbie
Rules
1×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01649
11749
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
Outputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 14 to 10 computations (28.6% saved)

preprocess25.0ms (0.9%)

Memory
-2.0MiB live, 29.3MiB allocated
Remove

(sort re im)

(abs im)

(abs re)

Compiler

Compiled 224 to 160 computations (28.6% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...