Trigonometry B

Time bar (total: 1.1s)

analyze117.0ms (10.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
50%50%50%0%0%0%0%3
50%50%50%0%0%0%0%4
50%50%50%0%0%0%0%5
50%50%50%0%0%0%0%6
50%50%50%0%0%0%0%7
50%50%50%0%0%0%0%8
50%50%50%0%0%0%0%9
50%50%50%0%0%0%0%10
50%50%50%0%0%0%0%11
50%50%50%0%0%0%0%12
Compiler

Compiled 17 to 9 computations (47.1% saved)

sample871.0ms (78.2%)

Results
859.0ms8255×body256valid
0.0ms1×body512valid
Bogosity

preprocess127.0ms (11.4%)

Algorithm
1×egg-herbie
Rules
588×associate-/r*
469×associate--l-
467×associate-+r-
448×associate--r+
428×associate-+l-
Problems
247×No Errors
7×(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
1×(*.f64 (tan.f64 x) (tan.f64 x))
1×(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
019256
150220
296220
3174216
4398216
5964216
62773216
75197216
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 1 (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))))
(neg.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 1 (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x))))))
Outputs
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (neg.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (neg.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (-.f64 1 (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 1 (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (neg.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1)) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(neg.f64 (/.f64 (-.f64 1 (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 1 (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x))))))
(/.f64 (neg.f64 (-.f64 1 (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x))))) (+.f64 1 (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x)))))
(/.f64 (+.f64 -1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) -1) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
Symmetry

(abs x)

Compiler

Compiled 40 to 14 computations (65% saved)

end0.0ms (0%)

Profiling

Loading profile data...