mixedcos

Time bar (total: 1.7s)

analyze234.0ms (13.5%)

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
12.5%12.5%87.4%0.1%0%0%0%4
18.8%18.7%81.1%0.1%0%0%0%5
28.1%28.1%71.8%0.1%0%0%0%6
42.2%42.1%57.7%0.1%0%0%0%7
49.2%49.1%50.7%0.1%0%0%0%8
57.4%57.3%42.5%0.1%0%0%0%9
67%66.9%33%0.1%0%0%0%10
71.8%71.7%28.2%0.1%0%0%0%11
76.9%76.8%23.1%0.1%0%0%0%12
Compiler

Compiled 20 to 15 computations (25% saved)

sample1.4s (77.7%)

Results
949.0ms5655×body256valid
389.0ms2599×body256infinite
1.0ms2×body1024valid
Bogosity

preprocess153.0ms (8.8%)

Algorithm
1×egg-herbie
Rules
666×distribute-lft-in
663×distribute-rgt-in
446×distribute-lft-neg-in
446×associate-/l*
383×distribute-rgt-neg-in
Problems
151×No Errors
65×(*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x))
29×(*.f64 x (pow.f64 s 2))
11×(*.f64 (*.f64 x (pow.f64 s 2)) x)
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
056730
1146685
2582661
32498661
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
(/.f64 (cos.f64 (*.f64 2 (neg.f64 x))) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (neg.f64 x) (pow.f64 s 2)) (neg.f64 x))))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 (neg.f64 c) 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 (neg.f64 s) 2)) x)))
(neg.f64 (/.f64 (cos.f64 (*.f64 2 (neg.f64 x))) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (neg.f64 x) (pow.f64 s 2)) (neg.f64 x)))))
(neg.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 (neg.f64 c) 2) (*.f64 (*.f64 x (pow.f64 s 2)) x))))
(neg.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 (neg.f64 s) 2)) x))))
(/.f64 (cos.f64 (*.f64 2 c)) (*.f64 (pow.f64 x 2) (*.f64 (*.f64 c (pow.f64 s 2)) c)))
(/.f64 (cos.f64 (*.f64 2 s)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 s (pow.f64 x 2)) s)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 s 2) (*.f64 (*.f64 x (pow.f64 c 2)) x)))
Outputs
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 x (*.f64 x (pow.f64 s 2)))))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (cos.f64 (*.f64 x -2)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (/.f64 (cos.f64 (*.f64 x -2)) (pow.f64 s 2)) (*.f64 (pow.f64 c 2) (pow.f64 x 2)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 x (*.f64 x (pow.f64 s 2)))))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (cos.f64 (*.f64 x -2)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (/.f64 (cos.f64 (*.f64 x -2)) (pow.f64 s 2)) (*.f64 (pow.f64 c 2) (pow.f64 x 2)))
(/.f64 (cos.f64 (*.f64 2 (neg.f64 x))) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (neg.f64 x) (pow.f64 s 2)) (neg.f64 x))))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 x (*.f64 x (pow.f64 s 2)))))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (cos.f64 (*.f64 x -2)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (/.f64 (cos.f64 (*.f64 x -2)) (pow.f64 s 2)) (*.f64 (pow.f64 c 2) (pow.f64 x 2)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 (neg.f64 c) 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 x (*.f64 x (pow.f64 s 2)))))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (cos.f64 (*.f64 x -2)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (/.f64 (cos.f64 (*.f64 x -2)) (pow.f64 s 2)) (*.f64 (pow.f64 c 2) (pow.f64 x 2)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 (neg.f64 s) 2)) x)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 x (*.f64 x (pow.f64 s 2)))))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (cos.f64 (*.f64 x -2)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (/.f64 (cos.f64 (*.f64 x -2)) (pow.f64 s 2)) (*.f64 (pow.f64 c 2) (pow.f64 x 2)))
(neg.f64 (/.f64 (cos.f64 (*.f64 2 (neg.f64 x))) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (neg.f64 x) (pow.f64 s 2)) (neg.f64 x)))))
(/.f64 (neg.f64 (cos.f64 (*.f64 2 (neg.f64 x)))) (*.f64 (pow.f64 c 2) (*.f64 (neg.f64 x) (*.f64 (pow.f64 s 2) (neg.f64 x)))))
(/.f64 (neg.f64 (cos.f64 (*.f64 2 x))) (*.f64 (pow.f64 c 2) (neg.f64 (neg.f64 (*.f64 (pow.f64 s 2) (pow.f64 x 2))))))
(/.f64 (/.f64 (neg.f64 (cos.f64 (*.f64 x -2))) (pow.f64 c 2)) (*.f64 (pow.f64 s 2) (pow.f64 x 2)))
(/.f64 (/.f64 (neg.f64 (cos.f64 (*.f64 x -2))) (pow.f64 x 2)) (*.f64 (pow.f64 c 2) (pow.f64 s 2)))
(neg.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 (neg.f64 c) 2) (*.f64 (*.f64 x (pow.f64 s 2)) x))))
(/.f64 (neg.f64 (cos.f64 (*.f64 2 (neg.f64 x)))) (*.f64 (pow.f64 c 2) (*.f64 (neg.f64 x) (*.f64 (pow.f64 s 2) (neg.f64 x)))))
(/.f64 (neg.f64 (cos.f64 (*.f64 2 x))) (*.f64 (pow.f64 c 2) (neg.f64 (neg.f64 (*.f64 (pow.f64 s 2) (pow.f64 x 2))))))
(/.f64 (/.f64 (neg.f64 (cos.f64 (*.f64 x -2))) (pow.f64 c 2)) (*.f64 (pow.f64 s 2) (pow.f64 x 2)))
(/.f64 (/.f64 (neg.f64 (cos.f64 (*.f64 x -2))) (pow.f64 x 2)) (*.f64 (pow.f64 c 2) (pow.f64 s 2)))
(neg.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 (neg.f64 s) 2)) x))))
(/.f64 (neg.f64 (cos.f64 (*.f64 2 (neg.f64 x)))) (*.f64 (pow.f64 c 2) (*.f64 (neg.f64 x) (*.f64 (pow.f64 s 2) (neg.f64 x)))))
(/.f64 (neg.f64 (cos.f64 (*.f64 2 x))) (*.f64 (pow.f64 c 2) (neg.f64 (neg.f64 (*.f64 (pow.f64 s 2) (pow.f64 x 2))))))
(/.f64 (/.f64 (neg.f64 (cos.f64 (*.f64 x -2))) (pow.f64 c 2)) (*.f64 (pow.f64 s 2) (pow.f64 x 2)))
(/.f64 (/.f64 (neg.f64 (cos.f64 (*.f64 x -2))) (pow.f64 x 2)) (*.f64 (pow.f64 c 2) (pow.f64 s 2)))
(/.f64 (cos.f64 (*.f64 2 c)) (*.f64 (pow.f64 x 2) (*.f64 (*.f64 c (pow.f64 s 2)) c)))
(/.f64 (cos.f64 (*.f64 2 c)) (*.f64 (pow.f64 x 2) (*.f64 c (*.f64 c (pow.f64 s 2)))))
(/.f64 (cos.f64 (*.f64 2 c)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (/.f64 (cos.f64 (*.f64 2 c)) (*.f64 (pow.f64 c 2) (pow.f64 s 2))) (pow.f64 x 2))
(/.f64 (cos.f64 (*.f64 2 s)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 s (pow.f64 x 2)) s)))
(/.f64 (cos.f64 (*.f64 2 s)) (*.f64 (pow.f64 c 2) (*.f64 s (*.f64 s (pow.f64 x 2)))))
(/.f64 (cos.f64 (*.f64 2 s)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (/.f64 (cos.f64 (*.f64 2 s)) (*.f64 (pow.f64 s 2) (pow.f64 x 2))) (pow.f64 c 2))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 s 2) (*.f64 (*.f64 x (pow.f64 c 2)) x)))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 x (*.f64 x (pow.f64 s 2)))))
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (cos.f64 (*.f64 x -2)) (*.f64 (pow.f64 c 2) (*.f64 (pow.f64 s 2) (pow.f64 x 2))))
(/.f64 (/.f64 (cos.f64 (*.f64 x -2)) (pow.f64 s 2)) (*.f64 (pow.f64 c 2) (pow.f64 x 2)))
Symmetry

(abs x)

(abs c)

(abs s)

(sort c s)

Compiler

Compiled 60 to 39 computations (35% saved)

end0.0ms (0%)

Profiling

Loading profile data...