Metrics for mixedcos

analyze250.0ms (4%)

Algorithm

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
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 13 computations (35% saved)

sample5.6s (88.6%)

Results

1.9s	8256×	valid-rival
1.1s	8254×	valid-sollya
10.0ms	2×	exit-sollya

Bogosity

preprocess394.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

484×	`div-sub`
394×	`distribute-lft-neg-in`
344×	`unsub-neg`
340×	`distribute-frac-neg`
336×	`associate-*r/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	56	730
1	146	685
2	481	661
3	2310	661
4	6074	661

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) (neg.f64 x))) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 (neg.f64 x) (pow.f64 s #s(literal 2 binary64))) (neg.f64 x))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 (neg.f64 c) #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 (neg.f64 s) #s(literal 2 binary64))) x)))
(neg.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) (neg.f64 x))) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 (neg.f64 x) (pow.f64 s #s(literal 2 binary64))) (neg.f64 x)))))
(neg.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 (neg.f64 c) #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x))))
(neg.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 (neg.f64 s) #s(literal 2 binary64))) x))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) c)) (.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (.f64 c (pow.f64 s #s(literal 2 binary64))) c)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) s)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 s (pow.f64 x #s(literal 2 binary64))) s)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 s #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 c #s(literal 2 binary64))) x)))

Outputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 x (.f64 x (pow.f64 s #s(literal 2 binary64))))))
(/.f64 (/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 (cos.f64 (*.f64 x #s(literal -2 binary64))) (pow.f64 x #s(literal 2 binary64))) (pow.f64 s #s(literal 2 binary64))) (pow.f64 c #s(literal 2 binary64)))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 x (.f64 x (pow.f64 s #s(literal 2 binary64))))))
(/.f64 (/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 (cos.f64 (*.f64 x #s(literal -2 binary64))) (pow.f64 x #s(literal 2 binary64))) (pow.f64 s #s(literal 2 binary64))) (pow.f64 c #s(literal 2 binary64)))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) (neg.f64 x))) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 (neg.f64 x) (pow.f64 s #s(literal 2 binary64))) (neg.f64 x))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 x (.f64 x (pow.f64 s #s(literal 2 binary64))))))
(/.f64 (/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 (cos.f64 (*.f64 x #s(literal -2 binary64))) (pow.f64 x #s(literal 2 binary64))) (pow.f64 s #s(literal 2 binary64))) (pow.f64 c #s(literal 2 binary64)))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 (neg.f64 c) #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 x (.f64 x (pow.f64 s #s(literal 2 binary64))))))
(/.f64 (/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 (cos.f64 (*.f64 x #s(literal -2 binary64))) (pow.f64 x #s(literal 2 binary64))) (pow.f64 s #s(literal 2 binary64))) (pow.f64 c #s(literal 2 binary64)))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 (neg.f64 s) #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 x (.f64 x (pow.f64 s #s(literal 2 binary64))))))
(/.f64 (/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 (cos.f64 (*.f64 x #s(literal -2 binary64))) (pow.f64 x #s(literal 2 binary64))) (pow.f64 s #s(literal 2 binary64))) (pow.f64 c #s(literal 2 binary64)))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(neg.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) (neg.f64 x))) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 (neg.f64 x) (pow.f64 s #s(literal 2 binary64))) (neg.f64 x)))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (neg.f64 x) (.f64 (pow.f64 s #s(literal 2 binary64)) (neg.f64 x))))))
(/.f64 (/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (pow.f64 c #s(literal 2 binary64))) (neg.f64 (neg.f64 (neg.f64 (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))))))
(/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (pow.f64 s #s(literal 2 binary64)) (neg.f64 (pow.f64 x #s(literal 2 binary64))))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (*.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) (neg.f64 (pow.f64 c #s(literal 2 binary64)))))
(neg.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 (neg.f64 c) #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (neg.f64 x) (.f64 (pow.f64 s #s(literal 2 binary64)) (neg.f64 x))))))
(/.f64 (/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (pow.f64 c #s(literal 2 binary64))) (neg.f64 (neg.f64 (neg.f64 (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))))))
(/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (pow.f64 s #s(literal 2 binary64)) (neg.f64 (pow.f64 x #s(literal 2 binary64))))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (*.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) (neg.f64 (pow.f64 c #s(literal 2 binary64)))))
(neg.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 (neg.f64 s) #s(literal 2 binary64))) x))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (neg.f64 x) (.f64 (pow.f64 s #s(literal 2 binary64)) (neg.f64 x))))))
(/.f64 (/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (pow.f64 c #s(literal 2 binary64))) (neg.f64 (neg.f64 (neg.f64 (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))))))
(/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (pow.f64 s #s(literal 2 binary64)) (neg.f64 (pow.f64 x #s(literal 2 binary64))))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (*.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) (neg.f64 (pow.f64 c #s(literal 2 binary64)))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) c)) (.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (.f64 c (pow.f64 s #s(literal 2 binary64))) c)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) c)) (.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 c (.f64 c (pow.f64 s #s(literal 2 binary64))))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) c)) (.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) s)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 s (pow.f64 x #s(literal 2 binary64))) s)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) s)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 s (.f64 s (pow.f64 x #s(literal 2 binary64))))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) s)) (.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 s #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 c #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 x (.f64 x (pow.f64 s #s(literal 2 binary64))))))
(/.f64 (/.f64 (cos.f64 (.f64 x #s(literal -2 binary64))) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (/.f64 (/.f64 (cos.f64 (*.f64 x #s(literal -2 binary64))) (pow.f64 x #s(literal 2 binary64))) (pow.f64 s #s(literal 2 binary64))) (pow.f64 c #s(literal 2 binary64)))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 c #s(literal 2 binary64))) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))

Symmetry

(abs x)

(abs c)

(abs s)

(sort c s)

Compiler

Compiled 19 to 12 computations (36.8% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	67.4%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))

Compiler

Compiled 38 to 24 computations (36.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	62
1	23	62

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))

Outputs

(/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))

(/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 x (*.f64 x (pow.f64 s #s(literal 2 binary64))))))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 19 to 12 computations (36.8% saved)

preprocess66.0ms (1%)

Remove

(abs s)

(sort c s)

(abs c)

(abs x)

Compiler

Compiled 456 to 288 computations (36.8% saved)

mixedcos

analyze250.0ms (4%)

sample5.6s (88.6%)

preprocess394.0ms (6.3%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify3.0ms (0%)

soundness1.0ms (0%)

preprocess66.0ms (1%)

end0.0ms (0%)

Profiling