tan-example (used to crash)

Time bar (total: 24.0s)

analyze2.2s (9.1%)

Memory
41.5MiB live, 2 768.6MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.2%99.8%0%0%0%0
0%0%0.2%99.8%0%0%0%1
0%0%0.2%99.8%0%0%0%2
0%0%0.2%99.8%0%0%0%3
0%0%0.2%99.8%0%0%0%4
0%0%0.2%99.8%0%0%0%5
0%0%0.2%99.8%0%0%0%6
0%0%0.2%99.8%0%0%0%7
0%0%0.2%99.8%0%0%0%8
0.4%0%0.2%99.8%0%0%0%9
Compiler

Compiled 69 to 50 computations (27.5% saved)

sample21.7s (90.4%)

Memory
195.1MiB live, 11 354.8MiB allocated
Samples
11.7s5 886×1valid
9.2s2 370×0valid
Precisions
Click to see histograms. Total time spent on operations: 20.4s
ival-tan: 8.9s (43.9% of total)
ival-add: 7.8s (38.1% of total)
const: 2.7s (13.4% of total)
ival-<=: 581.0ms (2.8% of total)
adjust: 139.0ms (0.7% of total)
ival-sub: 76.0ms (0.4% of total)
ival-and: 68.0ms (0.3% of total)
ival-==: 34.0ms (0.2% of total)
ival-or: 28.0ms (0.1% of total)
exact: 9.0ms (0% of total)
ival-assert: 3.0ms (0% of total)
Bogosity

preprocess113.0ms (0.5%)

Memory
-31.6MiB live, 111.9MiB allocated
Algorithm
2×egg-herbie
Rules
802×sub-neg
500×distribute-rgt-in
416×associate--r+
384×cancel-sign-sub-inv
360×associate-+l-
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
054145
1135138
2311136
3919136
41935136
52574136
63029136
73269136
83308136
93308136
103314136
099
1159
2269
3469
4799
51529
62549
73659
84049
94249
04249
Stop Event
1×iter limit
1×saturated
1×saturated
Calls
Call 1
Inputs
(+ x (- (tan (+ y z)) (tan a)))
Outputs
(+ x (- (tan (+ y z)) (tan a)))
(-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x))
Call 2
Inputs
(+ x (- (tan (+ y z)) (tan a)))
(+ (neg x) (- (tan (+ y z)) (tan a)))
(+ x (- (tan (+ (neg y) z)) (tan a)))
(+ x (- (tan (+ y (neg z))) (tan a)))
(+ x (- (tan (+ y z)) (tan (neg a))))
(neg (+ (neg x) (- (tan (+ y z)) (tan a))))
(neg (+ x (- (tan (+ (neg y) z)) (tan a))))
(neg (+ x (- (tan (+ y (neg z))) (tan a))))
(neg (+ x (- (tan (+ y z)) (tan (neg a)))))
(+ y (- (tan (+ x z)) (tan a)))
(+ z (- (tan (+ y x)) (tan a)))
(+ a (- (tan (+ y z)) (tan x)))
(+ x (- (tan (+ z y)) (tan a)))
(+ x (- (tan (+ a z)) (tan y)))
(+ x (- (tan (+ y a)) (tan z)))
Outputs
(+ x (- (tan (+ y z)) (tan a)))
(+ (tan (+ y z)) (- x (tan a)))
(+ (neg x) (- (tan (+ y z)) (tan a)))
(- (tan (+ y z)) (+ x (tan a)))
(+ x (- (tan (+ (neg y) z)) (tan a)))
(+ (tan (- z y)) (- x (tan a)))
(+ x (- (tan (+ y (neg z))) (tan a)))
(+ (tan (- y z)) (- x (tan a)))
(+ x (- (tan (+ y z)) (tan (neg a))))
(+ (tan (+ y z)) (+ x (tan a)))
(neg (+ (neg x) (- (tan (+ y z)) (tan a))))
(- (+ x (tan a)) (tan (+ y z)))
(neg (+ x (- (tan (+ (neg y) z)) (tan a))))
(+ (tan (- y z)) (- (tan a) x))
(neg (+ x (- (tan (+ y (neg z))) (tan a))))
(+ (tan (- z y)) (- (tan a) x))
(neg (+ x (- (tan (+ y z)) (tan (neg a)))))
(- (tan (- (neg y) z)) (+ x (tan a)))
(+ y (- (tan (+ x z)) (tan a)))
(+ (tan (+ x z)) (- y (tan a)))
(+ z (- (tan (+ y x)) (tan a)))
(+ (tan (+ x y)) (- z (tan a)))
(+ a (- (tan (+ y z)) (tan x)))
(+ (tan (+ y z)) (- a (tan x)))
(+ x (- (tan (+ z y)) (tan a)))
(+ (tan (+ y z)) (- x (tan a)))
(+ x (- (tan (+ a z)) (tan y)))
(+ (tan (+ z a)) (- x (tan y)))
(+ x (- (tan (+ y a)) (tan z)))
(+ (tan (+ y a)) (- x (tan z)))
Symmetry

(sort y z)

explain0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Compiler

Compiled 31 to 11 computations (64.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...