2-ancestry mixing, negative discriminant

Time bar (total: 3.8s)

analyze98.0ms (2.6%)

Memory
0.8MiB live, 32.9MiB 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
26.7%25%68.7%0.1%0%6.2%0%5
27.6%25%65.6%0.1%0%9.4%0%6
49%37.5%39%0.1%0%23.4%0%7
50.5%37.5%36.7%0.1%0%25.8%0%8
67.9%43.7%20.7%0.1%0%35.5%0%9
69.3%43.7%19.3%0.1%0%36.9%0%10
81.5%46.8%10.6%0.1%0%42.4%0%11
82.5%46.8%9.9%0.1%0%43.2%0%12
Compiler

Compiled 37 to 31 computations (16.2% saved)

sample3.6s (94.4%)

Memory
32.4MiB live, 1 039.8MiB allocated
Samples
926.0ms8 256×0valid-baseline
855.0ms8 256×0valid-rival
549.0ms8 256×0valid-sollya
Precisions
Click to see Rival histograms. Total time spent on operations: 733.0ms
ival-cos: 234.0ms (31.9% of total)
ival-div: 177.0ms (24.1% of total)
ival-mult: 118.0ms (16.1% of total)
ival-acos: 76.0ms (10.4% of total)
ival-add: 38.0ms (5.2% of total)
ival-neg: 38.0ms (5.2% of total)
ival-pi: 36.0ms (4.9% of total)
ival-true: 8.0ms (1.1% of total)
...in/eval/compile.rkt:76:19: 5.0ms (0.7% of total)
ival-assert: 3.0ms (0.4% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 754.0ms
ival-cos: 231.0ms (30.6% of total)
ival-div: 183.0ms (24.3% of total)
ival-mult: 121.0ms (16.1% of total)
ival-acos: 78.0ms (10.3% of total)
ival-pi: 46.0ms (6.1% of total)
ival-add: 40.0ms (5.3% of total)
ival-neg: 40.0ms (5.3% of total)
const: 15.0ms (2% of total)
Bogosity

preprocess63.0ms (1.7%)

Memory
6.9MiB live, 22.1MiB allocated
Algorithm
1×egg-herbie
Rules
358×fma-define
60×times-frac
35×associate-/r*
32×unsub-neg
27×associate-*l*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
042383
181341
2148313
3289313
4536313
5811313
6908313
7940313
8997313
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 (neg.f64 g)) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) (neg.f64 h))) #s(literal 3 binary64)))))
(neg.f64 (*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 (neg.f64 g)) h)) #s(literal 3 binary64))))))
(neg.f64 (*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) (neg.f64 h))) #s(literal 3 binary64))))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 h) g)) #s(literal 3 binary64)))))
Outputs
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 (neg.f64 g)) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) (neg.f64 h))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(neg.f64 (*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 (neg.f64 g)) h)) #s(literal 3 binary64))))))
(*.f64 #s(literal -2 binary64) (cos.f64 (+.f64 (*.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))) #s(literal -2 binary64))
(*.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))) #s(literal -2 binary64))
(neg.f64 (*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) (neg.f64 h))) #s(literal 3 binary64))))))
(*.f64 #s(literal -2 binary64) (cos.f64 (+.f64 (*.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))) #s(literal -2 binary64))
(*.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))) #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 h) g)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (neg.f64 (/.f64 h g))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 h (neg.f64 g))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 h (neg.f64 g))) #s(literal 3 binary64)))))
Compiler

Compiled 18 to 14 computations (22.2% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
98.4%
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
Compiler

Compiled 36 to 28 computations (22.2% saved)

simplify3.0ms (0.1%)

Memory
-15.2MiB live, 0.6MiB allocated
Algorithm
1×egg-herbie
Rules
5×*-commutative
4×+-commutative
3×sub-neg
3×neg-sub0
3×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02057
12957
23557
34057
44357
54457
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
Outputs
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))))

soundness0.0ms (0%)

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

Compiled 18 to 14 computations (22.2% saved)

preprocess43.0ms (1.1%)

Memory
1.5MiB live, 23.3MiB allocated
Compiler

Compiled 72 to 56 computations (22.2% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...