2-ancestry mixing, negative discriminant
Time bar (total: 29.7s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 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 |
Compiled 19 to 15 computations (21.1% saved)
| 5.2s | 8256× | 0 | valid |
| 997.0ms | 8240× | 0 | valid-sollya |
| 607.0ms | 1109× | 0 | invalid |
| 139.0ms | 1083× | 0 | invalid-sollya |
| 16.0ms | 42× | 0 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (3.755045039509259e-12 -1.1770289468967547e+194) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.119598 | #f |
| (-5.438686460092031e-175 9.2914263990676e-227) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.07245900000000001 | #f |
| (1.6450922843927604e-51 -3.3788933745874635e-66) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.17875000000000002 | #f |
| (3.390458581514911e-255 -5.943852427832311e+200) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.213511 | #f |
| (1.8317224817336115e+171 -3.846015960034069e-293) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.127268 | #f |
| (4.619007148315654e+198 2.2370033305305233e+194) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.14591800000000002 | #f |
| (7.551388062790329e-73 -3.891432539009845e+297) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.201404 | #f |
| (-5.717124878484454e-97 -3.797929961942503e-294) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.121435 | #f |
| (-1.4049231032795887e-244 -2.2404893786987252e-300) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.156715 | #f |
| (5.3805920358999255e-217 1.1789039497155703e-68) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.11184 | #f |
| (7.554740966785899e-45 -5.4683849143849256e-281) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.119339 | #f |
| (2.7389420760317033e-180 2.144460160846786e+256) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.204287 | #f |
| (-1.7003631156581167e-237 -3.7431803518388284e-238) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.075499 | #f |
| (5.6093867837165616e+194 -1.2678170117380362e-302) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.074311 | #f |
| (-1.831206772932512e-243 -7.008342249645543e+29) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.20965799999999998 | #f |
| (1.757278516657995e-109 -1.6794304677868261e-301) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.154315 | #f |
| (1.1947267982255396e-14 -3.113997460103946e-286) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.137404 | #f |
| (-3.564065112092918e+255 -1.774522326879378e-287) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12861 | #f |
| (-1.017825331062046e-127 -4.485623904267195e-284) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.074646 | #f |
| (-7.728798222142224e-109 2.0333879789258564e+204) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.127348 | #f |
| (-4.2943106188387527e+151 5.889882634779486e+144) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.144021 | #f |
| (-6.665481580817002e+180 -2.2228398079270077e-286) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.15445699999999998 | #f |
| (-1.1880415357543135e-60 -1.342144589704996e-301) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.157942 | #f |
| (1.6612431477745408e+78 -1.9554141073284786e+98) | -1.7320508075688772 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-3.6198598759876767e-127 -1.2288516822260119e-151) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.07490799999999999 | #f |
| (-1.4118172492759494e-257 -6.78206468666996e-260) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.117076 | #f |
| (-3.4784876780079066e+253 -3.379136401432264e+248) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.15537499999999999 | #f |
| (-0.0004465311250374785 4.747143248058385e+258) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.25597899999999996 | #f |
| (-1.7874350203110234e-300 -2.7850359992007164e+93) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.26697899999999997 | #f |
| (1.0948422253768908e+123 4.7034495058121416e+120) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.153075 | #f |
| (-8.849138908950502e-35 4.108572900229831e-67) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.113041 | #f |
| (1.6813831779396626e-21 -3.3937035735130785e+75) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.119506 | #f |
| (-2.2896535079286903e+78 2.4222826317241537e+205) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.121407 | #f |
| (-1.66849347782861e-196 8.107998201584456e-140) | -1.7320508075688772 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-4.210043466073069e+95 1.6445027077046236e+94) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12476499999999999 | #f |
| (-8.59138402177124e+224 -6.207297806087513e-301) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.126314 | #f |
| (2.1176502507639712e+187 -3.5277436428487433e+252) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.22441 | #f |
| (2.7385532921330876e-225 6.81425359920371e-125) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.12164699999999999 | #f |
| (-6.654571386437022e-137 2.9299324412060173e-142) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.113873 | #f |
| (1.3689351120382828e-233 -2.463970563596106e+269) | -1.7320508075688772 | (-1.7320508075688772 -1.7320508075688772) | +nan.0 | valid | exit | 0 | 0.275617 | #f |
| (2.5799728953623834e+26 -2.0932866754231803e-275) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.172687 | #f |
| (-5.1104209391363884e-64 -3.555657765064685e-300) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.07674399999999999 | #f |
| 1× | egg-herbie |
| 358× | fma-define |
| 60× | times-frac |
| 35× | associate-/r* |
| 32× | unsub-neg |
| 27× | associate-*l* |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 42 | 383 |
| 1 | 81 | 341 |
| 2 | 148 | 313 |
| 3 | 289 | 313 |
| 4 | 536 | 313 |
| 5 | 811 | 313 |
| 6 | 908 | 313 |
| 7 | 940 | 313 |
| 8 | 997 | 313 |
| 1× | saturated |
| 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))))) |
Compiled 18 to 14 computations (22.2% saved)
Compiled 2 to 2 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 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))))) |
Compiled 36 to 28 computations (22.2% saved)
| 1× | egg-herbie |
| 5× | *-commutative |
| 4× | +-commutative |
| 3× | sub-neg |
| 3× | neg-sub0 |
| 3× | neg-mul-1 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 57 |
| 1 | 29 | 57 |
| 2 | 35 | 57 |
| 3 | 40 | 57 |
| 4 | 43 | 57 |
| 5 | 44 | 57 |
| 1× | saturated |
| 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))))) |
| 1× | fuel |
Compiled 18 to 14 computations (22.2% saved)
Compiled 72 to 56 computations (22.2% saved)
Loading profile data...