Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, D

Time bar (total: 1.6s)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
0.8MiB live, 0.8MiB 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 11 to 11 computations (0% saved)

sample973.0ms (62.7%)

Memory
58.6MiB live, 1 317.3MiB allocated; 323ms collecting garbage
Samples
681.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 444.0ms
ival-div: 224.0ms (50.5% of total)
ival-mult: 160.0ms (36.1% of total)
ival-sub: 44.0ms (9.9% of total)
exact: 10.0ms (2.3% of total)
ival-assert: 3.0ms (0.7% of total)
adjust: 2.0ms (0.5% of total)
Bogosity

explain108.0ms (6.9%)

Memory
-11.5MiB live, 179.5MiB allocated; 56ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-#s(literal 8 binary64)
00-0-(/.f64 (*.f64 x y) #s(literal 2 binary64))
00-0-z
00-0-(*.f64 x y)
00-0-(-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))
00-0-(/.f64 z #s(literal 8 binary64))
00-0-#s(literal 2 binary64)
00-0-y
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
34.0ms512×0valid
Compiler

Compiled 63 to 31 computations (50.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.0ms
ival-div: 7.0ms (47.7% of total)
ival-mult: 4.0ms (27.3% of total)
ival-sub: 3.0ms (20.4% of total)
ival-true: 1.0ms (6.8% of total)
exact: 1.0ms (6.8% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess234.0ms (15.1%)

Memory
9.2MiB live, 148.8MiB allocated; 25ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03499
15297
27193
311193
417793
536893
6173093
7588793
099
0139
1189
2249
3379
4659
51689
610479
755219
084259
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))
Outputs
(-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))
(fma.f64 (*.f64 (*.f64 (/.f64 (*.f64 #s(literal -1 binary64) (/.f64 x #s(literal 2 binary64))) #s(literal -2 binary64)) y) #s(literal -1 binary64)) #s(literal -2 binary64) (-.f64 #s(literal 0 binary64) (/.f64 z #s(literal 8 binary64))))
Symmetry

(sort x y)

Compiler

Compiled 9 to 9 computations (0% saved)

eval0.0ms (0%)

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

Compiled 0 to 3 computations (-∞% saved)

prune0.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))
Compiler

Compiled 9 to 9 computations (0% saved)

series10.0ms (0.7%)

Memory
-26.5MiB live, 20.3MiB allocated; 2ms collecting garbage
Counts
9 → 16
Calls
Call 1
Inputs
(-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))
(/.f64 (*.f64 x y) #s(literal 2 binary64))
(*.f64 x y)
x
y
#s(literal 2 binary64)
(/.f64 z #s(literal 8 binary64))
z
#s(literal 8 binary64)
Outputs
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* -1/8 z)))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (- (* 1/2 (* x y)) (* 1/8 z))))
#s(approx (/ (* x y) 2) #s(hole binary64 (* 1/2 (* x y))))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* 1/2 (* x y))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* x (+ (* -1/8 (/ z x)) (* 1/2 y)))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* -1 (* x (+ (* -1/2 y) (* 1/8 (/ z x)))))))
#s(approx y #s(hole binary64 y))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* y (+ (* -1/8 (/ z y)) (* 1/2 x)))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* -1 (* y (+ (* -1/2 x) (* 1/8 (/ z y)))))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (+ (* -1/8 z) (* 1/2 (* x y)))))
#s(approx (/ z 8) #s(hole binary64 (* 1/8 z)))
#s(approx z #s(hole binary64 z))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* z (- (* 1/2 (/ (* x y) z)) 1/8))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* -1 (* z (+ 1/8 (* -1/2 (/ (* x y) z)))))))
Calls

9 calls:

TimeVariablePointExpression
3.0ms
y
@inf
((- (/ (* x y) 2) (/ z 8)) (/ (* x y) 2) (* x y) x y 2 (/ z 8) z 8)
1.0ms
x
@-inf
((- (/ (* x y) 2) (/ z 8)) (/ (* x y) 2) (* x y) x y 2 (/ z 8) z 8)
1.0ms
x
@inf
((- (/ (* x y) 2) (/ z 8)) (/ (* x y) 2) (* x y) x y 2 (/ z 8) z 8)
1.0ms
x
@0
((- (/ (* x y) 2) (/ z 8)) (/ (* x y) 2) (* x y) x y 2 (/ z 8) z 8)
1.0ms
y
@-inf
((- (/ (* x y) 2) (/ z 8)) (/ (* x y) 2) (* x y) x y 2 (/ z 8) z 8)

rewrite112.0ms (7.2%)

Memory
28.3MiB live, 124.9MiB allocated; 12ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067257
072254
1288254
02376247
Stop Event
1×iter limit
1×iter limit
1×node limit
1×iter limit
Counts
25 → 50
Calls
Call 1
Inputs
(-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))
(/.f64 (*.f64 x y) #s(literal 2 binary64))
(*.f64 x y)
x
y
#s(literal 2 binary64)
(/.f64 z #s(literal 8 binary64))
z
#s(literal 8 binary64)
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* -1/8 z)))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (- (* 1/2 (* x y)) (* 1/8 z))))
#s(approx (/ (* x y) 2) #s(hole binary64 (* 1/2 (* x y))))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* 1/2 (* x y))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* x (+ (* -1/8 (/ z x)) (* 1/2 y)))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* -1 (* x (+ (* -1/2 y) (* 1/8 (/ z x)))))))
#s(approx y #s(hole binary64 y))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* y (+ (* -1/8 (/ z y)) (* 1/2 x)))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* -1 (* y (+ (* -1/2 x) (* 1/8 (/ z y)))))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (+ (* -1/8 z) (* 1/2 (* x y)))))
#s(approx (/ z 8) #s(hole binary64 (* 1/8 z)))
#s(approx z #s(hole binary64 z))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* z (- (* 1/2 (/ (* x y) z)) 1/8))))
#s(approx (- (/ (* x y) 2) (/ z 8)) #s(hole binary64 (* -1 (* z (+ 1/8 (* -1/2 (/ (* x y) z)))))))
Outputs
(/.f64 (/.f64 (fma.f64 (*.f64 y x) #s(literal 8 binary64) (*.f64 #s(literal -2 binary64) z)) #s(literal 2 binary64)) #s(literal 8 binary64))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 2 binary64)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (*.f64 #s(literal -1 binary64) x) y) #s(literal -8 binary64) (*.f64 #s(literal -2 binary64) (*.f64 #s(literal -1 binary64) z))) #s(literal 16 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (*.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) x) (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)) (fma.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)) (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (fma.f64 (*.f64 y x) #s(literal 8 binary64) (*.f64 #s(literal -2 binary64) z))) #s(literal -16 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) x) y) #s(literal -8 binary64)) (*.f64 #s(literal -2 binary64) (*.f64 #s(literal -1 binary64) z))) #s(literal 16 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) x) y) #s(literal 8 binary64)) (*.f64 #s(literal -2 binary64) z)) #s(literal -16 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 y x) #s(literal -8 binary64)) (*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1 binary64) z))) #s(literal -16 binary64))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 2 binary64))) (/.f64 (fma.f64 (*.f64 (*.f64 #s(literal -1 binary64) x) y) #s(literal -8 binary64) (*.f64 #s(literal -2 binary64) (*.f64 #s(literal -1 binary64) z))) #s(literal 16 binary64)))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 3 binary64))) (fma.f64 (*.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) x) (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)) (fma.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)) (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 2 binary64)))))
(/.f64 (fma.f64 (*.f64 y x) #s(literal 8 binary64) (*.f64 #s(literal -2 binary64) z)) #s(literal 16 binary64))
(-.f64 (/.f64 (pow.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) #s(literal 2 binary64)) (/.f64 (fma.f64 (*.f64 (*.f64 #s(literal -1 binary64) x) y) #s(literal -8 binary64) (*.f64 #s(literal -2 binary64) (*.f64 #s(literal -1 binary64) z))) #s(literal 16 binary64))) (/.f64 (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 2 binary64)) (/.f64 (fma.f64 (*.f64 (*.f64 #s(literal -1 binary64) x) y) #s(literal -8 binary64) (*.f64 #s(literal -2 binary64) (*.f64 #s(literal -1 binary64) z))) #s(literal 16 binary64))))
(-.f64 (/.f64 (pow.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) #s(literal 3 binary64)) (fma.f64 (*.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) x) (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)) (fma.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)) (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 2 binary64))))) (/.f64 (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 3 binary64)) (fma.f64 (*.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) x) (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)) (fma.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)) (pow.f64 (/.f64 z #s(literal 8 binary64)) #s(literal 2 binary64))))))
(-.f64 (/.f64 (*.f64 (*.f64 y x) #s(literal 8 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 z #s(literal 2 binary64)) #s(literal 16 binary64)))
(-.f64 (/.f64 (*.f64 y x) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))
(*.f64 (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)) x)
(*.f64 y (/.f64 x #s(literal 2 binary64)))
(*.f64 x (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)))
(/.f64 (neg.f64 (*.f64 (*.f64 #s(literal -1 binary64) x) y)) #s(literal 2 binary64))
(/.f64 (*.f64 (*.f64 #s(literal -1 binary64) x) y) #s(literal -2 binary64))
(/.f64 (*.f64 y x) #s(literal 2 binary64))
(neg.f64 (/.f64 (*.f64 (*.f64 #s(literal -1 binary64) x) y) #s(literal 2 binary64)))
(neg.f64 (/.f64 (*.f64 y x) #s(literal -2 binary64)))
(*.f64 y x)
(*.f64 x y)
x
y
#s(literal 2 binary64)
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) z)) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) z) #s(literal -8 binary64))
(/.f64 z #s(literal 8 binary64))
(neg.f64 (/.f64 (*.f64 #s(literal -1 binary64) z) #s(literal 8 binary64)))
(neg.f64 (/.f64 z #s(literal -8 binary64)))
z
#s(literal 8 binary64)
#s(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 #s(literal -1/8 binary64) z))
#s(approx (- (/ (* x y) 2) (/ z 8)) (fma.f64 (*.f64 #s(literal 1/2 binary64) x) y (*.f64 #s(literal -1/8 binary64) z)))
#s(approx (/ (* x y) 2) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))
#s(approx (* x y) (*.f64 y x))
#s(approx x x)
#s(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))
#s(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 (fma.f64 (/.f64 z x) #s(literal -1/8 binary64) (*.f64 #s(literal 1/2 binary64) y)) x))
#s(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 (*.f64 (fma.f64 #s(literal -1/2 binary64) y (*.f64 (/.f64 z x) #s(literal 1/8 binary64))) x) #s(literal -1 binary64)))
#s(approx y y)
#s(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 (fma.f64 (/.f64 z y) #s(literal -1/8 binary64) (*.f64 #s(literal 1/2 binary64) x)) y))
#s(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 (*.f64 (fma.f64 (/.f64 z y) #s(literal 1/8 binary64) (*.f64 #s(literal -1/2 binary64) x)) y) #s(literal -1 binary64)))
#s(approx (- (/ (* x y) 2) (/ z 8)) (fma.f64 (*.f64 #s(literal 1/2 binary64) x) y (*.f64 #s(literal -1/8 binary64) z)))
#s(approx (/ z 8) (*.f64 #s(literal 1/8 binary64) z))
#s(approx z z)
#s(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 (-.f64 (*.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)) #s(literal 1/8 binary64)) z))
#s(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 (*.f64 (fma.f64 (/.f64 (*.f64 y x) z) #s(literal -1/2 binary64) #s(literal 1/8 binary64)) z) #s(literal -1 binary64)))

eval19.0ms (1.2%)

Memory
-36.1MiB live, 10.7MiB allocated; 2ms collecting garbage
Compiler

Compiled 799 to 164 computations (79.5% saved)

prune13.0ms (0.8%)

Memory
28.2MiB live, 28.1MiB allocated; 0ms collecting garbage
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New49049
Fresh000
Picked011
Done000
Total49150
Accuracy
100.0%
Counts
50 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))
Compiler

Compiled 18 to 18 computations (0% saved)

simplify71.0ms (4.6%)

Memory
-16.5MiB live, 81.9MiB allocated; 52ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
1139
2249
3379
4719
53919
634959
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))
Outputs
(-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64)))

derivations0.0ms (0%)

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

Compiled 9 to 9 computations (0% saved)

preprocess12.0ms (0.7%)

Memory
30.3MiB live, 30.3MiB allocated; 0ms collecting garbage
Remove

(sort x y)

Compiler

Compiled 72 to 72 computations (0% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...