FastMath dist

Time bar (total: 2.6s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample1.3s (49.9%)

Memory
-60.5MiB live, 1 035.3MiB allocated; 1.4s collecting garbage
Samples
401.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 150.0ms
ival-mult!: 82.0ms (54.7% of total)
ival-add!: 66.0ms (44% of total)
adjust: 1.0ms (0.7% of total)
Bogosity

preprocess50.0ms (1.9%)

Memory
-12.1MiB live, 74.0MiB allocated; 30ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02654
117750
2118550
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶50.2%
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
Symmetry

(abs d1)

(negabs d1)

(sort d2 d3)

Compiler

Compiled 14 to 12 computations (14.3% saved)

series82.0ms (3.2%)

Memory
41.5MiB live, 86.3MiB allocated; 30ms collecting garbage
Counts
6 → 12
Calls
Call 1
Inputs
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
(*.f64 d1 d2)
d1
d2
(*.f64 d1 d3)
d3
Outputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (* d1 d2) (*.f64 d1 d2))
#s(approx d1 d1)
#s(approx (* d1 d3) (*.f64 d1 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 (*.f64 #s(literal -1 binary64) d3)))))
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
#s(approx d2 d2)
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d2 (+.f64 d1 (/.f64 (*.f64 d1 d3) d2))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2))))))
#s(approx d3 d3)
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3))))))
Calls

9 calls:

TimeVariablePoint
1.0ms
d1
-inf
1.0ms
d1
inf
1.0ms
d3
0
1.0ms
d1
0
1.0ms
d2
-inf

rewrite197.0ms (7.6%)

Memory
-26.9MiB live, 164.8MiB allocated; 96ms collecting garbage
Counts
6 → 14
Calls
Call 1
Inputs
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
(*.f64 d1 d2)
d1
d2
(*.f64 d1 d3)
d3
Outputs
(*.f64 (+.f64 d3 d2) d1)
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (-.f64 d2 (neg.f64 d3)))
(*.f64 d1 (-.f64 d3 (neg.f64 d2)))
(*.f64 (/.f64 (*.f64 (+.f64 d3 d2) d1) d1) (/.f64 (*.f64 (-.f64 d2 d3) d1) (-.f64 d2 d3)))
(*.f64 d1 d2)
(*.f64 d2 d1)
d1
(neg.f64 (neg.f64 d1))
d2
(*.f64 d1 d3)
(*.f64 d3 d1)
(neg.f64 (neg.f64 (*.f64 d1 d3)))
d3

eval2.0ms (0.1%)

Memory
3.4MiB live, 3.4MiB allocated; 0ms collecting garbage
Compiler

Compiled 247 to 77 computations (68.8% saved)

prune1.0ms (0.1%)

Memory
2.2MiB live, 2.2MiB allocated; 0ms collecting garbage
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New18321
Fresh000
Picked101
Done000
Total19322
Accuracy
100.0%
Counts
22 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶52.2%
(*.f64 (+.f64 d3 d2) d1)
▶51.8%
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
▶46.2%
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
Compiler

Compiled 36 to 25 computations (30.6% saved)

series97.0ms (3.7%)

Memory
-12.7MiB live, 84.0MiB allocated; 16ms collecting garbage
Counts
13 → 26
Calls
Call 1
Inputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
(*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3)))
d3
(+.f64 d1 (/.f64 (*.f64 d1 d2) d3))
d1
(/.f64 (*.f64 d1 d2) d3)
(*.f64 d1 d2)
d2
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
(fma.f64 d1 d2 (*.f64 d1 d3))
(*.f64 d1 d3)
(*.f64 (+.f64 d3 d2) d1)
(+.f64 d3 d2)
Outputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (* d3 (+ d1 (/ (* d1 d2) d3))) (*.f64 d1 (*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)))))
#s(approx (+ d1 (/ (* d1 d2) d3)) (*.f64 d1 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
#s(approx d1 d1)
#s(approx (/ (* d1 d2) d3) (/.f64 (*.f64 d1 d2) d3))
#s(approx (* d1 d2) (*.f64 d1 d2))
#s(approx (* d1 d3) (*.f64 d1 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 (*.f64 #s(literal -1 binary64) d3)))))
#s(approx (* d3 (+ d1 (/ (* d1 d2) d3))) (*.f64 #s(literal -1 binary64) (*.f64 d1 (*.f64 d3 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64))))))
#s(approx (+ d1 (/ (* d1 d2) d3)) (*.f64 #s(literal -1 binary64) (*.f64 d1 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
#s(approx (+ d1 (/ (* d1 d2) d3)) (+.f64 d1 (/.f64 (*.f64 d1 d2) d3)))
#s(approx d2 d2)
#s(approx (+ d3 d2) d3)
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d2 (+.f64 d1 (/.f64 (*.f64 d1 d3) d2))))
#s(approx (+ d1 (/ (* d1 d2) d3)) (*.f64 d2 (+.f64 (/.f64 d1 d2) (/.f64 d1 d3))))
#s(approx (+ d3 d2) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2))))))
#s(approx (+ d1 (/ (* d1 d2) d3)) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) (/.f64 d1 d2) (*.f64 #s(literal -1 binary64) (/.f64 d1 d3))))))
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d2 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d3 d2)) #s(literal 1 binary64)))))
#s(approx (+ d1 (/ (* d1 d2) d3)) (/.f64 (fma.f64 d1 d2 (*.f64 d1 d3)) d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
#s(approx (+ d3 d2) (*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3))))))
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d3 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
Calls

9 calls:

TimeVariablePoint
3.0ms
d2
inf
2.0ms
d1
-inf
2.0ms
d3
-inf
2.0ms
d2
-inf
2.0ms
d1
inf

rewrite195.0ms (7.5%)

Memory
33.2MiB live, 216.2MiB allocated; 31ms collecting garbage
Counts
13 → 45
Calls
Call 1
Inputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
(*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3)))
d3
(+.f64 d1 (/.f64 (*.f64 d1 d2) d3))
d1
(/.f64 (*.f64 d1 d2) d3)
(*.f64 d1 d2)
d2
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
(fma.f64 d1 d2 (*.f64 d1 d3))
(*.f64 d1 d3)
(*.f64 (+.f64 d3 d2) d1)
(+.f64 d3 d2)
Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d3 (fma.f64 (/.f64 d1 d3) d2 d1)))
(*.f64 d3 (fma.f64 (/.f64 d1 d3) d2 d1))
(*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3)
(*.f64 d1 (fma.f64 (/.f64 d2 d3) d3 d3))
(*.f64 (*.f64 d1 (-.f64 d1 (/.f64 (*.f64 (*.f64 d1 d2) d2) (*.f64 d3 d3)))) (/.f64 d3 (-.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
(*.f64 d1 (+.f64 d3 (/.f64 (*.f64 d3 d2) d3)))
d3
(neg.f64 (neg.f64 d3))
(*.f64 (+.f64 (/.f64 d2 d3) #s(literal 1 binary64)) d1)
(*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) (/.f64 (-.f64 d1 (/.f64 (*.f64 d1 d2) d3)) (-.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
(*.f64 (/.f64 (*.f64 d1 (-.f64 d1 (/.f64 (*.f64 (*.f64 d1 d2) d2) (*.f64 d3 d3)))) (*.f64 d1 (-.f64 d1 (/.f64 (*.f64 (*.f64 d1 d2) d2) (*.f64 d3 d3))))) (fma.f64 (/.f64 d1 d3) d2 d1))
(*.f64 (fma.f64 (-.f64 (/.f64 (*.f64 d1 d2) d3) d1) (/.f64 (*.f64 d1 d2) d3) (*.f64 d1 d1)) (/.f64 (fma.f64 (/.f64 d1 d3) d2 d1) (fma.f64 (-.f64 (/.f64 (*.f64 d1 d2) d3) d1) (/.f64 (*.f64 d1 d2) d3) (*.f64 d1 d1))))
(*.f64 (/.f64 (fma.f64 (*.f64 d1 d1) d1 (pow.f64 (/.f64 (*.f64 d1 d2) d3) #s(literal 3 binary64))) (-.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) (pow.f64 (*.f64 (-.f64 (/.f64 (*.f64 d1 d2) d3) d1) (/.f64 (*.f64 d1 d2) d3)) #s(literal 2 binary64)))) (-.f64 (*.f64 d1 d1) (*.f64 (-.f64 (/.f64 (*.f64 d1 d2) d3) d1) (/.f64 (*.f64 d1 d2) d3))))
d1
(neg.f64 (neg.f64 d1))
(*.f64 (/.f64 d1 d3) d2)
(*.f64 (/.f64 d2 d3) d1)
(*.f64 d1 (/.f64 d2 d3))
(*.f64 d2 (/.f64 d1 d3))
(*.f64 (neg.f64 d1) (/.f64 d2 (neg.f64 d3)))
(*.f64 d1 d2)
(*.f64 d2 d1)
(*.f64 (neg.f64 d1) (neg.f64 d2))
(*.f64 (neg.f64 d2) (neg.f64 d1))
(*.f64 (neg.f64 (neg.f64 d2)) d1)
d2
#s(approx (* (+ d3 d2) d1) (*.f64 (+.f64 d3 d2) d1))
(*.f64 (+.f64 d3 d2) d1)
(*.f64 d1 (+.f64 d3 d2))
(*.f64 (*.f64 (+.f64 d3 d2) (-.f64 d3 d2)) (/.f64 d1 (-.f64 d3 d2)))
(*.f64 d1 (-.f64 d3 (neg.f64 d2)))
(*.f64 d1 (-.f64 d2 (neg.f64 d3)))
(*.f64 d1 d3)
(*.f64 d3 d1)
(neg.f64 (neg.f64 (*.f64 d1 d3)))
(*.f64 (+.f64 d3 d2) d1)
(*.f64 d1 (+.f64 d3 d2))
(*.f64 (*.f64 (+.f64 d3 d2) (-.f64 d3 d2)) (/.f64 d1 (-.f64 d3 d2)))
(*.f64 d1 (-.f64 d3 (neg.f64 d2)))
(*.f64 d1 (-.f64 d2 (neg.f64 d3)))
(*.f64 (+.f64 d3 d2) (/.f64 (-.f64 d3 d2) (-.f64 d3 d2)))
(*.f64 (/.f64 (*.f64 (+.f64 d3 d2) (-.f64 d3 d2)) (-.f64 (*.f64 (*.f64 d3 d3) d3) (*.f64 (*.f64 d2 d2) d2))) (fma.f64 d2 (+.f64 d3 d2) (*.f64 d3 d3)))
(*.f64 (/.f64 (*.f64 (+.f64 d3 d2) (-.f64 d3 d2)) (*.f64 (+.f64 d3 d2) (-.f64 d3 d2))) (+.f64 d3 d2))
(*.f64 (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)) (/.f64 (+.f64 d3 d2) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(*.f64 (/.f64 (fma.f64 (*.f64 d2 d2) d2 (*.f64 (*.f64 d3 d3) d3)) (fma.f64 (*.f64 (*.f64 (*.f64 d3 d3) d3) (*.f64 d3 d3)) d3 (pow.f64 (*.f64 (-.f64 d2 d3) d2) #s(literal 3 binary64)))) (fma.f64 (*.f64 (-.f64 d2 d3) d2) (-.f64 (*.f64 (-.f64 d2 d3) d2) (*.f64 d3 d3)) (*.f64 (*.f64 d3 d3) (*.f64 d3 d3))))

eval15.0ms (0.6%)

Memory
-27.0MiB live, 16.2MiB allocated; 10ms collecting garbage
Compiler

Compiled 1 365 to 309 computations (77.4% saved)

prune3.0ms (0.1%)

Memory
6.4MiB live, 6.4MiB allocated; 0ms collecting garbage
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New65267
Fresh000
Picked033
Done000
Total65570
Accuracy
100.0%
Counts
70 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓52.2%
(*.f64 (+.f64 d3 d2) d1)
▶31.9%
(*.f64 #s(approx (+ d3 d2) d3) d1)
✓51.8%
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
▶43.9%
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3))
✓46.2%
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
Compiler

Compiled 59 to 41 computations (30.5% saved)

series86.0ms (3.3%)

Memory
28.2MiB live, 73.5MiB allocated; 11ms collecting garbage
Counts
9 → 27
Calls
Call 1
Inputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3))
(*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3)
(fma.f64 (/.f64 d1 d3) d2 d1)
(/.f64 d1 d3)
d1
d3
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
Outputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (* (+ (* (/ d1 d3) d2) d1) d3) (*.f64 d1 (*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)))))
#s(approx (+ (* (/ d1 d3) d2) d1) (*.f64 d1 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
#s(approx (/ d1 d3) (/.f64 d1 d3))
#s(approx d1 d1)
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 (*.f64 #s(literal -1 binary64) d3)))))
#s(approx (* (+ (* (/ d1 d3) d2) d1) d3) (*.f64 #s(literal -1 binary64) (*.f64 d1 (*.f64 d3 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64))))))
#s(approx (+ (* (/ d1 d3) d2) d1) (*.f64 #s(literal -1 binary64) (*.f64 d1 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
#s(approx (+ (* (/ d1 d3) d2) d1) (+.f64 d1 (/.f64 (*.f64 d1 d2) d3)))
#s(approx d2 d2)
#s(approx (+ d3 d2) d3)
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d2 (+.f64 d1 (/.f64 (*.f64 d1 d3) d2))))
#s(approx (+ (* (/ d1 d3) d2) d1) (/.f64 (*.f64 d1 d2) d3))
#s(approx (+ (* (/ d1 d3) d2) d1) (*.f64 d2 (+.f64 (/.f64 d1 d2) (/.f64 d1 d3))))
#s(approx (+ d3 d2) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2))))))
#s(approx (+ (* (/ d1 d3) d2) d1) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) (/.f64 d1 d2) (*.f64 #s(literal -1 binary64) (/.f64 d1 d3))))))
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d2 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d3 d2)) #s(literal 1 binary64)))))
#s(approx (+ (* (/ d1 d3) d2) d1) (/.f64 (fma.f64 d1 d2 (*.f64 d1 d3)) d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
#s(approx (+ d3 d2) (*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3))))))
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d3 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))
Calls

9 calls:

TimeVariablePoint
2.0ms
d1
-inf
1.0ms
d1
inf
1.0ms
d3
-inf
1.0ms
d1
0
1.0ms
d2
-inf

rewrite232.0ms (9%)

Memory
-35.9MiB live, 111.9MiB allocated; 86ms collecting garbage
Counts
9 → 21
Calls
Call 1
Inputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3))
(*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3)
(fma.f64 (/.f64 d1 d3) d2 d1)
(/.f64 d1 d3)
d1
d3
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3))
(*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3)
(*.f64 d3 (fma.f64 (/.f64 d1 d3) d2 d1))
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (fma.f64 (/.f64 d1 d3) d2 d1)) (/.f64 d3 (-.f64 (/.f64 (*.f64 d2 d1) d3) d1)))
(*.f64 (/.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (fma.f64 (/.f64 d1 d3) d2 d1)) d3) (-.f64 (pow.f64 (/.f64 (*.f64 d2 d1) d3) #s(literal 3 binary64)) (*.f64 (*.f64 d1 d1) d1))) (fma.f64 d1 (fma.f64 (/.f64 d1 d3) d2 d1) (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d2 d2)) (*.f64 d3 d3))))
(*.f64 (/.f64 (*.f64 (*.f64 (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (fma.f64 (/.f64 d1 d3) d2 d1)) d3) (*.f64 (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (fma.f64 (/.f64 d1 d3) d2 d1))) (fma.f64 (/.f64 d1 d3) d2 d1))
(*.f64 (/.f64 (*.f64 (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (fma.f64 (/.f64 d1 d3) d2 d1)) (-.f64 (pow.f64 (/.f64 (*.f64 d2 d1) d3) #s(literal 3 binary64)) (*.f64 (*.f64 d1 d1) d1))) (fma.f64 d1 (fma.f64 (/.f64 d1 d3) d2 d1) (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d2 d2)) (*.f64 d3 d3))))
(*.f64 (/.f64 (*.f64 (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (fma.f64 (/.f64 d1 d3) d2 d1)) (*.f64 (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (fma.f64 (/.f64 d1 d3) d2 d1))) (fma.f64 (/.f64 d1 d3) d2 d1))
(*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) (/.f64 (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (-.f64 (/.f64 (*.f64 d2 d1) d3) d1)))
(*.f64 (fma.f64 (/.f64 (*.f64 d2 d1) d3) (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (*.f64 d1 d1)) (/.f64 (fma.f64 (/.f64 d1 d3) d2 d1) (fma.f64 (/.f64 (*.f64 d2 d1) d3) (-.f64 (/.f64 (*.f64 d2 d1) d3) d1) (*.f64 d1 d1))))
(*.f64 (/.f64 (fma.f64 (*.f64 d1 d1) d1 (pow.f64 (/.f64 (*.f64 d2 d1) d3) #s(literal 3 binary64))) (-.f64 (pow.f64 (/.f64 (*.f64 d2 d1) d3) (+.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (*.f64 (*.f64 d1 d1) (*.f64 (-.f64 d1 (/.f64 (*.f64 d2 d1) d3)) (-.f64 d1 (/.f64 (*.f64 d2 d1) d3)))))) (-.f64 (/.f64 (*.f64 (*.f64 d1 d1) (*.f64 d2 d2)) (*.f64 d3 d3)) (*.f64 (-.f64 d1 (/.f64 (*.f64 d2 d1) d3)) d1)))
(/.f64 d1 d3)
(/.f64 (neg.f64 d1) (neg.f64 d3))
(neg.f64 (neg.f64 (/.f64 d1 d3)))
d1
(neg.f64 (neg.f64 d1))
d3
(neg.f64 (neg.f64 d3))
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)

eval4.0ms (0.2%)

Memory
6.2MiB live, 6.2MiB allocated; 0ms collecting garbage
Compiler

Compiled 1 015 to 206 computations (79.7% saved)

prune2.0ms (0.1%)

Memory
3.4MiB live, 3.4MiB allocated; 0ms collecting garbage
Pruning

6 alts after pruning (1 fresh and 5 done)

PrunedKeptTotal
New40141
Fresh000
Picked022
Done033
Total40646
Accuracy
100.0%
Counts
46 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓52.2%
(*.f64 (+.f64 d3 d2) d1)
✓31.9%
(*.f64 #s(approx (+ d3 d2) d3) d1)
✓51.8%
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
✓43.9%
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3))
✓46.2%
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
▶27.9%
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
Compiler

Compiled 70 to 49 computations (30% saved)

series74.0ms (2.8%)

Memory
-0.6MiB live, 44.8MiB allocated; 6ms collecting garbage
Counts
4 → 11
Calls
Call 1
Inputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
(*.f64 d1 d2)
d1
d2
Outputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (* d1 d2) (*.f64 d1 d2))
#s(approx d1 d1)
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 (*.f64 #s(literal -1 binary64) d3)))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
#s(approx d2 d2)
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d2 (+.f64 d1 (/.f64 (*.f64 d1 d3) d2))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2))))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3))))))
Calls

9 calls:

TimeVariablePoint
1.0ms
d1
-inf
1.0ms
d1
inf
0.0ms
d2
-inf
0.0ms
d2
inf
0.0ms
d1
0

rewrite157.0ms (6.1%)

Memory
-2.5MiB live, 88.8MiB allocated; 34ms collecting garbage
Counts
4 → 6
Calls
Call 1
Inputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
(*.f64 d1 d2)
d1
d2
Outputs
#s(approx (* d1 (+ d2 d3)) (*.f64 d1 d2))
(*.f64 d1 d2)
(*.f64 d2 d1)
d1
(neg.f64 (neg.f64 d1))
d2

eval1.0ms (0%)

Memory
1.9MiB live, 1.9MiB allocated; 0ms collecting garbage
Compiler

Compiled 177 to 50 computations (71.8% saved)

prune2.0ms (0.1%)

Memory
2.9MiB live, 2.9MiB allocated; 0ms collecting garbage
Pruning

6 alts after pruning (0 fresh and 6 done)

PrunedKeptTotal
New12012
Fresh000
Picked011
Done055
Total12618
Accuracy
100.0%
Counts
18 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓52.2%
(*.f64 (+.f64 d3 d2) d1)
✓31.9%
(*.f64 #s(approx (+ d3 d2) d3) d1)
✓51.8%
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
✓43.9%
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3))
✓46.2%
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
✓27.9%
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
Compiler

Compiled 70 to 49 computations (30% saved)

regimes21.0ms (0.8%)

Memory
35.7MiB live, 35.7MiB allocated; 0ms collecting garbage
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
2 → 2
7 → 1
Calls
Call 1
Inputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
Outputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
Call 2
Inputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
(*.f64 #s(approx (+ d3 d2) d3) d1)
Outputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
(*.f64 #s(approx (+ d3 d2) d3) d1)
Call 3
Inputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 d2))
(*.f64 #s(approx (+ d3 d2) d3) d1)
(*.f64 (+.f64 d3 d2) d1)
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d1 d3) d2 d1) d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3))))
Outputs
(*.f64 (+.f64 d3 d2) d1)
Calls

12 calls:

3.0ms
d2
3.0ms
d3
2.0ms
d1
2.0ms
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
1.0ms
d1
Results
AccuracySegmentsBranch
27.9%1d1
27.9%1d2
27.9%1d3
27.9%1(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
51.2%2(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
44.0%2d2
45.7%2d3
33.7%2d1
52.2%1(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
52.2%1d1
52.2%1d2
52.2%1d3
Compiler

Compiled 107 to 70 computations (34.6% saved)

bsearch0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-8.255169357537012e-218
-3.953776289700823e-225
Compiler

Compiled 10 to 12 computations (-20% saved)

derivations1.0ms (0%)

Memory
1.9MiB live, 1.9MiB allocated; 0ms collecting garbage
Stop Event
1×done
Compiler

Compiled 44 to 18 computations (59.1% saved)

preprocess71.0ms (2.8%)

Memory
-11.9MiB live, 80.2MiB allocated; 14ms collecting garbage
Remove

(sort d2 d3)

(negabs d1)

(abs d1)

Compiler

Compiled 432 to 267 computations (38.2% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...