Metrics for Maksimov and Kolovsky, Equation (32)

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 35 to 22 computations (37.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

ival-div: 0.0ms (0% of total)

ival-add: 0.0ms (0% of total)

ival-exp: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

ival-fabs: 0.0ms (0% of total)

ival-sub: 0.0ms (0% of total)

ival-cos: 0.0ms (0% of total)

const: 0.0ms (0% of total)

ival-neg: 0.0ms (0% of total)

ival-pow: 0.0ms (0% of total)

sample1.7s (72.7%)

Results

1.1s	7938×	256	valid
75.0ms	156×	1024	valid
45.0ms	144×	512	valid
11.0ms	18×	2048	valid

Precisions

Click to see histograms. Total time spent on operations: 900.0ms

ival-sub: 210.0ms (23.3% of total)

ival-mult: 136.0ms (15.1% of total)

ival-div: 129.0ms (14.3% of total)

ival-pow: 106.0ms (11.8% of total)

ival-cos: 102.0ms (11.3% of total)

ival-exp: 66.0ms (7.3% of total)

ival-add: 56.0ms (6.2% of total)

ival-fabs: 44.0ms (4.9% of total)

ival-neg: 39.0ms (4.3% of total)

const: 11.0ms (1.2% of total)

Bogosity

preprocess115.0ms (5%)

Algorithm

1×	egg-herbie

Rules

802×	`exp-sum`
791×	`fma-neg`
338×	`exp-diff`
306×	`exp-prod`
285×	`fma-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	219	2686
1	584	2642
2	1608	2542
3	5840	2534

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 (neg.f64 K) (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 (neg.f64 m) n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (neg.f64 m) n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 (neg.f64 m) n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m (neg.f64 n))) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m (neg.f64 n)) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m (neg.f64 n)))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M)) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 (neg.f64 l) (fabs.f64 (-.f64 m n))))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 (neg.f64 K) (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n)))))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 (neg.f64 m) n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (neg.f64 m) n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 (neg.f64 m) n)))))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m (neg.f64 n))) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m (neg.f64 n)) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m (neg.f64 n))))))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M)) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n)))))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 (neg.f64 l) (fabs.f64 (-.f64 m n)))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 m (+.f64 K n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 K n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 K n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 n (+.f64 m K)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m K) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m K))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 M (+.f64 m n)) #s(literal 2 binary64)) K)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) K) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 l (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 K (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 n m)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n m) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 n m))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 M n)) #s(literal 2 binary64)) m)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 M n) #s(literal 2 binary64)) m) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 M n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 l n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 l n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 m (fabs.f64 (-.f64 l n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m M)) #s(literal 2 binary64)) n)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m M) #s(literal 2 binary64)) n) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m M))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m l)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m l) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 n (fabs.f64 (-.f64 m l))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) l)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) l) #s(literal 2 binary64))) (-.f64 M (fabs.f64 (-.f64 m n))))))

Outputs
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64))) M)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) l) (fabs.f64 (-.f64 n m)))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)) (-.f64 l (fabs.f64 (-.f64 n m)))))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64))) M)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) l) (fabs.f64 (-.f64 n m)))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)) (-.f64 l (fabs.f64 (-.f64 n m)))))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 (neg.f64 K) (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) l) (fabs.f64 (-.f64 n m)))) (cos.f64 (-.f64 (.f64 (neg.f64 K) (/.f64 (+.f64 m n) #s(literal 2 binary64))) M)))
(.f64 (exp.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)) (-.f64 l (fabs.f64 (-.f64 n m)))))) (cos.f64 (-.f64 (.f64 (+.f64 m n) (/.f64 (neg.f64 K) #s(literal 2 binary64))) M)))
(.f64 (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))) (cos.f64 (-.f64 (.f64 (+.f64 m n) (*.f64 K #s(literal -1/2 binary64))) M)))
(*.f64 (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))) (cos.f64 (fma.f64 (+.f64 m n) (/.f64 K #s(literal 2 binary64)) M)))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 (neg.f64 m) n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (neg.f64 m) n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 (neg.f64 m) n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 n m) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (-.f64 n m) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 (neg.f64 m) n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 n m) #s(literal 2 binary64))) M)) (exp.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (-.f64 n m) #s(literal 2 binary64)) M) #s(literal 2 binary64)) (-.f64 l (fabs.f64 (+.f64 m n)))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 n m) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (+.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (-.f64 n m) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m (neg.f64 n))) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m (neg.f64 n)) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m (neg.f64 n)))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 m n) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (-.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m (neg.f64 n)))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 m n) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (-.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (+.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 m n) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (+.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (-.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M)) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64))) (neg.f64 M))) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M)) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 n m))))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (+.f64 M (/.f64 (+.f64 m n) #s(literal 2 binary64))) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 n m))))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (+.f64 M (/.f64 (+.f64 m n) #s(literal 2 binary64))) #s(literal 2 binary64)))))
(*.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 K #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (+.f64 M (/.f64 (+.f64 m n) #s(literal 2 binary64))) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 (neg.f64 l) (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64))) M)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (neg.f64 l)) (fabs.f64 (-.f64 n m)))))
(.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (+.f64 (fabs.f64 (-.f64 n m)) (.f64 #s(literal -1 binary64) (-.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)) l)))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (-.f64 (+.f64 l (fabs.f64 (-.f64 n m))) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 (neg.f64 K) (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n)))))))
(.f64 (neg.f64 (cos.f64 (-.f64 (.f64 (neg.f64 K) (/.f64 (+.f64 m n) #s(literal 2 binary64))) M))) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) l) (fabs.f64 (-.f64 n m)))))
(.f64 (exp.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)) (-.f64 l (fabs.f64 (-.f64 n m)))))) (neg.f64 (cos.f64 (-.f64 (.f64 (+.f64 m n) (/.f64 (neg.f64 K) #s(literal 2 binary64))) M))))
(.f64 (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))) (neg.f64 (cos.f64 (-.f64 (.f64 (+.f64 m n) (*.f64 K #s(literal -1/2 binary64))) M))))
(*.f64 (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))) (neg.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 K #s(literal 2 binary64)) M))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 (neg.f64 m) n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (neg.f64 m) n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 (neg.f64 m) n)))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 n m) #s(literal 2 binary64))) M)) (neg.f64 (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (-.f64 n m) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 (neg.f64 m) n)))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 n m) #s(literal 2 binary64))) M)) (neg.f64 (exp.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (-.f64 n m) #s(literal 2 binary64)) M) #s(literal 2 binary64)) (-.f64 l (fabs.f64 (+.f64 m n))))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 n m) #s(literal 2 binary64))) M)) (neg.f64 (exp.f64 (-.f64 (-.f64 (fabs.f64 (+.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (-.f64 n m) #s(literal 2 binary64)) M) #s(literal 2 binary64))))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m (neg.f64 n))) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m (neg.f64 n)) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m (neg.f64 n))))))))
(.f64 (neg.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 m n) #s(literal 2 binary64))) M))) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (-.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m (neg.f64 n)))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 m n) #s(literal 2 binary64))) M)) (neg.f64 (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (-.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (+.f64 m n)))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (-.f64 m n) #s(literal 2 binary64))) M)) (neg.f64 (exp.f64 (-.f64 (-.f64 (fabs.f64 (+.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (-.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M)) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n)))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64))) (neg.f64 M))) (neg.f64 (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M)) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 n m)))))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) M)) (neg.f64 (exp.f64 (-.f64 (neg.f64 (pow.f64 (+.f64 M (/.f64 (+.f64 m n) #s(literal 2 binary64))) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 n m)))))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) M)) (neg.f64 (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (+.f64 M (/.f64 (+.f64 m n) #s(literal 2 binary64))) #s(literal 2 binary64))))))
(*.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 K #s(literal 2 binary64)) M)) (neg.f64 (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (+.f64 M (/.f64 (+.f64 m n) #s(literal 2 binary64))) #s(literal 2 binary64))))))
(neg.f64 (.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 (neg.f64 l) (fabs.f64 (-.f64 m n)))))))
(.f64 (neg.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64))) M))) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (neg.f64 l)) (fabs.f64 (-.f64 n m)))))
(.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (neg.f64 (exp.f64 (+.f64 (fabs.f64 (-.f64 n m)) (.f64 #s(literal -1 binary64) (-.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)) l))))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (neg.f64 (exp.f64 (-.f64 (+.f64 l (fabs.f64 (-.f64 n m))) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 m (+.f64 K n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 K n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 K n))))))
(.f64 (cos.f64 (-.f64 (.f64 m (/.f64 (+.f64 K n) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 K n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 K n))))))
(.f64 (cos.f64 (-.f64 (.f64 m (/.f64 (+.f64 K n) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 K n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 K n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 n (+.f64 m K)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m K) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m K))))))
(.f64 (cos.f64 (-.f64 (.f64 n (/.f64 (+.f64 K m) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 K m) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m K))))))
(.f64 (cos.f64 (-.f64 (.f64 n (/.f64 (+.f64 K m) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m K)) l) (pow.f64 (-.f64 (/.f64 (+.f64 K m) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (.f64 n (/.f64 (+.f64 K m) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 K m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 K m) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 M (+.f64 m n)) #s(literal 2 binary64)) K)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) K) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 M (/.f64 (+.f64 m n) #s(literal 2 binary64))) K)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) K) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 n m))))))
(*.f64 (cos.f64 (fma.f64 M (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 K))) (exp.f64 (+.f64 (fabs.f64 (-.f64 n m)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) K) #s(literal 2 binary64))) l))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 m n) (/.f64 M #s(literal 2 binary64))) K)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) K) #s(literal 2 binary64)))))
(*.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 M #s(literal 2 binary64)) (neg.f64 K))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) K) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 l (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 K (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 l (/.f64 (+.f64 m n) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 K (fabs.f64 (-.f64 n m))))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) l) M)) (exp.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)) (-.f64 K (fabs.f64 (-.f64 n m)))))))
(*.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 l #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) K) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 m n) (/.f64 l #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) K) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 n m)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n m) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 n m))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64))) M)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) l) (fabs.f64 (-.f64 n m)))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)) (-.f64 l (fabs.f64 (-.f64 n m)))))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64)) (neg.f64 M))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 M n)) #s(literal 2 binary64)) m)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 M n) #s(literal 2 binary64)) m) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 M n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 n M) #s(literal 2 binary64))) m)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n M) #s(literal 2 binary64)) m) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 M n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 n M) #s(literal 2 binary64))) m)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n M) #s(literal 2 binary64)) m) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 n M))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 n M) #s(literal 2 binary64))) m)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 M n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 n M) #s(literal 2 binary64)) m) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 l n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 l n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 m (fabs.f64 (-.f64 l n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 n l) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n l) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 m (fabs.f64 (-.f64 l n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 n l) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 l n)) m) (pow.f64 (-.f64 (/.f64 (+.f64 n l) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m M)) #s(literal 2 binary64)) n)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m M) #s(literal 2 binary64)) n) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m M))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m M) #s(literal 2 binary64))) n)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m M) #s(literal 2 binary64)) n) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m M))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m M) #s(literal 2 binary64))) n)) (exp.f64 (+.f64 (fabs.f64 (-.f64 m M)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m M) #s(literal 2 binary64)) n) #s(literal 2 binary64))) l))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m M) #s(literal 2 binary64))) n)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m M)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m M) #s(literal 2 binary64)) n) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m l)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m l) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 n (fabs.f64 (-.f64 m l))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m l) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m l) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 n (fabs.f64 (-.f64 m l))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m l) #s(literal 2 binary64))) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m l)) n) (pow.f64 (-.f64 (/.f64 (+.f64 m l) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) l)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) l) #s(literal 2 binary64))) (-.f64 M (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64))) l)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) l) #s(literal 2 binary64))) M) (fabs.f64 (-.f64 n m)))))
(.f64 (cos.f64 (-.f64 (.f64 K (/.f64 (+.f64 m n) #s(literal 2 binary64))) l)) (exp.f64 (+.f64 (fabs.f64 (-.f64 n m)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) l) #s(literal 2 binary64))) M))))
(*.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 K #s(literal 2 binary64)) (neg.f64 l))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 n m)) M) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) l) #s(literal 2 binary64)))))

Symmetry

(sort m n)

explain445.0ms (19.4%)

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
178	44	(-2.3323601255549895e-33 4.33014558321052e-174 3.453135280394455e-99 4.1871666499056036e+133 -9.821411308047971e-211)	58	(-9.771083069020909e+260 -1.3126926257610912e+120 2.0422701516107105e-260 2.2785369034984595e+236 6.740505551757511e-252)	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`
0	0	-	0	-	`M`
0	0	-	0	-	`l`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`(-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M)`
0	0	-	0	-	`(-.f64 m n)`
0	41	(-2.9603373700782754e+22 -1.3130705482151974e-37 5.6455874591476195e+94 -6.792470130502197e-194 -1.2071721196079327e+145)	0	-	`(pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))`
0	0	-	0	-	`(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))`
0	0	-	0	-	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`
0	0	-	0	-	`(exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n)))))`
0	0	-	0	-	`n`
0	0	-	0	-	`(*.f64 K (+.f64 m n))`
0	0	-	0	-	`m`
0	0	-	0	-	`(fabs.f64 (-.f64 m n))`
0	0	-	0	-	`(+.f64 m n)`
0	0	-	0	-	`(-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))`
0	0	-	0	-	`(neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))`
0	0	-	0	-	`(-.f64 l (fabs.f64 (-.f64 m n)))`
0	0	-	0	-	`(/.f64 (+.f64 m n) #s(literal 2 binary64))`
0	0	-	0	-	`K`
0	0	-	0	-	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`

Results

135.0ms	206×	1024	valid
106.0ms	114×	2048	valid
37.0ms	86×	512	valid
25.0ms	106×	256	valid

Compiler

Compiled 342 to 65 computations (81% saved)

Precisions

Click to see histograms. Total time spent on operations: 161.0ms

ival-cos: 33.0ms (20.6% of total)

ival-sub: 31.0ms (19.3% of total)

ival-div: 26.0ms (16.2% of total)

ival-mult: 20.0ms (12.5% of total)

ival-pow: 18.0ms (11.2% of total)

ival-add: 11.0ms (6.9% of total)

ival-exp: 7.0ms (4.4% of total)

ival-fabs: 7.0ms (4.4% of total)

ival-neg: 6.0ms (3.7% of total)

const: 2.0ms (1.2% of total)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	74.1%	(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))

Status

Accuracy

Program

74.1%

(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))

Compiler

Compiled 68 to 42 computations (38.2% saved)

simplify35.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

168×	`unsub-neg`
88×	`neg-mul-1`
69×	`distribute-lft-neg-in`
54×	`distribute-neg-out`
42×	`neg-sub0`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	119
1	48	119
2	70	119
3	96	115
4	123	115
5	141	115
6	181	115
7	327	115
8	498	115
9	508	115
10	529	115
11	568	115
12	626	115
13	681	115
14	724	115
15	754	115
16	764	115
17	769	115

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))

Outputs

(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n))))))

(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)) (-.f64 l (fabs.f64 (-.f64 m n)))))))

(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64)))))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 33 to 20 computations (39.4% saved)

preprocess27.0ms (1.2%)

Remove: (sort m n)
Compiler: Compiled 266 to 162 computations (39.1% saved)

Maksimov and Kolovsky, Equation (32)

analyze0.0ms (0%)

sample1.7s (72.7%)

preprocess115.0ms (5%)

explain445.0ms (19.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify35.0ms (1.5%)

soundness0.0ms (0%)

preprocess27.0ms (1.2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	30	119
1	48	119
2	70	119
3	96	115
4	123	115
5	141	115
6	181	115
7	327	115
8	498	115
9	508	115
10	529	115
11	568	115
12	626	115
13	681	115
14	724	115
15	754	115
16	764	115
17	769	115

Iter	Nodes	Cost
0	30	119
1	48	119
2	70	119
3	96	115
4	123	115
5	141	115
6	181	115
7	327	115
8	498	115
9	508	115
10	529	115
11	568	115
12	626	115
13	681	115
14	724	115
15	754	115
16	764	115
17	769	115

Iter	Nodes	Cost
0	30	119
1	48	119
2	70	119
3	96	115
4	123	115
5	141	115
6	181	115
7	327	115
8	498	115
9	508	115
10	529	115
11	568	115
12	626	115
13	681	115
14	724	115
15	754	115
16	764	115
17	769	115