Main:z from

Time bar (total: 9.6s)

analyze244.0ms (2.5%)

Memory
-44.5MiB live, 174.5MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
6.3%6.2%93.6%0.2%0%0%0%5
8.3%6.2%68.6%0.2%0%25%0%6
11.1%6.2%49.9%0.2%0%43.7%0%7
14.8%6.2%35.9%0.2%0%57.7%0%8
19.8%6.2%25.3%0.2%0%68.2%0%9
23.7%6.2%20.1%0.2%0%73.5%0%10
28.4%6.2%15.7%0.2%0%77.9%0%11
34.1%6.2%12%0.2%0%81.5%0%12
Compiler

Compiled 33 to 26 computations (21.2% saved)

sample8.6s (90.1%)

Memory
-86.1MiB live, 11 222.9MiB allocated
Samples
3.4s7 535×1valid
3.3s15 988×0invalid
132.0ms660×0valid
22.0ms61×2valid
Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-sqrt: 2.6s (48.4% of total)
ival-add: 1.4s (27% of total)
ival-sub: 952.0ms (17.9% of total)
adjust: 304.0ms (5.7% of total)
exact: 22.0ms (0.4% of total)
ival-true: 19.0ms (0.4% of total)
ival-assert: 10.0ms (0.2% of total)
Bogosity

preprocess707.0ms (7.4%)

Memory
-27.7MiB live, 619.1MiB allocated
Algorithm
2×egg-herbie
Rules
12 672×accelerator-lowering-fma.f32
12 672×accelerator-lowering-fma.f64
4 402×--lowering--.f32
4 402×--lowering--.f64
4 374×+-lowering-+.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074485
1259477
21133473
35936473
02431
15331
216731
397231
4464231
5696531
0840631
Stop Event
1×iter limit
1×node limit
1×node limit
Calls
Call 1
Inputs
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
Outputs
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
(+.f64 (sqrt.f64 (+.f64 x #s(literal 1 binary64))) (+.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) t)) (sqrt.f64 t)) (+.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) y)) (sqrt.f64 y)) (-.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) z)) (sqrt.f64 z)) (sqrt.f64 x)))))
Call 2
Inputs
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (+ (+ (- (sqrt (+ (neg x) 1)) (sqrt (neg x))) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ (neg y) 1)) (sqrt (neg y)))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ (neg z) 1)) (sqrt (neg z)))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ (neg t) 1)) (sqrt (neg t))))
(neg (+ (+ (+ (- (sqrt (+ (neg x) 1)) (sqrt (neg x))) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t))))
(neg (+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ (neg y) 1)) (sqrt (neg y)))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t))))
(neg (+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ (neg z) 1)) (sqrt (neg z)))) (- (sqrt (+ t 1)) (sqrt t))))
(neg (+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ (neg t) 1)) (sqrt (neg t)))))
(+ (+ (+ (- (sqrt (+ y 1)) (sqrt y)) (- (sqrt (+ x 1)) (sqrt x))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (+ (+ (- (sqrt (+ z 1)) (sqrt z)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ x 1)) (sqrt x))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (+ (+ (- (sqrt (+ t 1)) (sqrt t)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ x 1)) (sqrt x)))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ t 1)) (sqrt t))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ y 1)) (sqrt y)))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ t 1)) (sqrt t))) (- (sqrt (+ z 1)) (sqrt z)))
Outputs
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (- (sqrt (+ 1 y)) (sqrt y)) (- (+ (- (sqrt (+ x 1)) (sqrt x)) (sqrt (+ 1 z))) (+ (sqrt z) (- (sqrt t) (sqrt (+ 1 t))))))
(+ (+ (+ (- (sqrt (+ (neg x) 1)) (sqrt (neg x))) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (- (sqrt (+ 1 t)) (sqrt t)) (- (sqrt (- 1 x)) (+ (sqrt (neg x)) (+ (- (sqrt z) (sqrt (+ 1 z))) (- (sqrt y) (sqrt (+ 1 y)))))))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ (neg y) 1)) (sqrt (neg y)))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (sqrt (+ x 1)) (- (- (sqrt (- 1 y)) (sqrt x)) (+ (- (sqrt (neg y)) (sqrt (+ 1 z))) (+ (sqrt z) (- (sqrt t) (sqrt (+ 1 t)))))))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ (neg z) 1)) (sqrt (neg z)))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (sqrt (+ x 1)) (- (- (sqrt (+ 1 y)) (sqrt y)) (- (+ (sqrt x) (- (sqrt t) (sqrt (+ 1 t)))) (- (sqrt (- 1 z)) (sqrt (neg z))))))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ (neg t) 1)) (sqrt (neg t))))
(- (sqrt (+ x 1)) (+ (+ (sqrt x) (- (sqrt y) (sqrt (+ 1 y)))) (+ (- (sqrt (neg t)) (sqrt (- 1 t))) (- (sqrt z) (sqrt (+ 1 z))))))
(neg (+ (+ (+ (- (sqrt (+ (neg x) 1)) (sqrt (neg x))) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t))))
(+ (+ (- (sqrt t) (sqrt (+ 1 t))) (- (sqrt z) (sqrt (+ 1 z)))) (+ (- (sqrt y) (sqrt (+ 1 y))) (- (sqrt (neg x)) (sqrt (- 1 x)))))
(neg (+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ (neg y) 1)) (sqrt (neg y)))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t))))
(+ (- (sqrt t) (sqrt (+ 1 t))) (- (- (sqrt z) (sqrt (+ 1 z))) (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (- 1 y)) (sqrt (neg y))))))
(neg (+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ (neg z) 1)) (sqrt (neg z)))) (- (sqrt (+ t 1)) (sqrt t))))
(+ (- (sqrt x) (sqrt (+ x 1))) (- (- (- (sqrt y) (sqrt (+ 1 y))) (- (sqrt (- 1 z)) (sqrt (neg z)))) (- (sqrt (+ 1 t)) (sqrt t))))
(neg (+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ (neg t) 1)) (sqrt (neg t)))))
(+ (sqrt (neg t)) (- (- (sqrt x) (sqrt (+ x 1))) (+ (sqrt (- 1 t)) (+ (sqrt (+ 1 y)) (- (- (sqrt (+ 1 z)) (sqrt z)) (sqrt y))))))
(+ (+ (+ (- (sqrt (+ y 1)) (sqrt y)) (- (sqrt (+ x 1)) (sqrt x))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (- (sqrt (+ 1 y)) (sqrt y)) (- (+ (- (sqrt (+ x 1)) (sqrt x)) (sqrt (+ 1 z))) (+ (sqrt z) (- (sqrt t) (sqrt (+ 1 t))))))
(+ (+ (+ (- (sqrt (+ z 1)) (sqrt z)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ x 1)) (sqrt x))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (- (sqrt (+ 1 y)) (sqrt y)) (- (+ (- (sqrt (+ x 1)) (sqrt x)) (sqrt (+ 1 z))) (+ (sqrt z) (- (sqrt t) (sqrt (+ 1 t))))))
(+ (+ (+ (- (sqrt (+ t 1)) (sqrt t)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ x 1)) (sqrt x)))
(+ (- (sqrt (+ 1 y)) (sqrt y)) (- (+ (- (sqrt (+ x 1)) (sqrt x)) (sqrt (+ 1 z))) (+ (sqrt z) (- (sqrt t) (sqrt (+ 1 t))))))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ t 1)) (sqrt t)))
(+ (- (sqrt (+ 1 y)) (sqrt y)) (- (+ (- (sqrt (+ x 1)) (sqrt x)) (sqrt (+ 1 z))) (+ (sqrt z) (- (sqrt t) (sqrt (+ 1 t))))))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ t 1)) (sqrt t))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ y 1)) (sqrt y)))
(+ (- (sqrt (+ 1 y)) (sqrt y)) (- (+ (- (sqrt (+ x 1)) (sqrt x)) (sqrt (+ 1 z))) (+ (sqrt z) (- (sqrt t) (sqrt (+ 1 t))))))
(+ (+ (+ (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ y 1)) (sqrt y))) (- (sqrt (+ t 1)) (sqrt t))) (- (sqrt (+ z 1)) (sqrt z)))
(+ (- (sqrt (+ 1 y)) (sqrt y)) (- (+ (- (sqrt (+ x 1)) (sqrt x)) (sqrt (+ 1 z))) (+ (sqrt z) (- (sqrt t) (sqrt (+ 1 t))))))
Symmetry

(sort x y z t)

explain1.0ms (0%)

Memory
5.2MiB live, 5.2MiB allocated
Samples
0.0ms1×0valid
Compiler

Compiled 140 to 26 computations (81.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-sub: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-sqrt: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...