Metrics for Maksimov and Kolovsky, Equation (3)

analyze573.0ms (3.9%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	6
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	7
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	8
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	9
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	10
46.9%	46.8%	53%	0.1%	0%	0%	0%	11
46.9%	46.8%	53%	0.1%	0%	0%	0%	12

Compiler

Compiled 28 to 23 computations (17.9% saved)

Precisions

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

Operation ival-pow, time spent: 196.0ms, 44.0% of total-time

Operation ival-mult, time spent: 105.0ms, 24.0% of total-time

Operation ival-cos, time spent: 44.0ms, 10.0% of total-time

Operation ival-div, time spent: 38.0ms, 9.0% of total-time

Operation ival-sqrt, time spent: 37.0ms, 8.0% of total-time

Operation ival-add, time spent: 17.0ms, 4.0% of total-time

Operation const, time spent: 7.0ms, 2.0% of total-time

sample2.5s (16.8%)

Results

2.3s	8251×	0	valid
1.0ms	2×	1	valid
0.0ms	1×	0	valid
1.0ms	1×	3	valid
0.0ms	1×	0	infinite

Precisions

Click to see histograms. Total time spent on operations: 1.5s

Operation ival-cos, time spent: 430.0ms, 29.0% of total-time

Operation ival-mult, time spent: 322.0ms, 22.0% of total-time

Operation ival-pow, time spent: 213.0ms, 14.0% of total-time

Operation ival-div, time spent: 198.0ms, 13.0% of total-time

Operation ival-add, time spent: 149.0ms, 10.0% of total-time

Operation ival-sqrt, time spent: 121.0ms, 8.0% of total-time

Operation const, time spent: 46.0ms, 3.0% of total-time

Bogosity

preprocess5.1s (34.6%)

Algorithm

1×	egg-herbie

Rules

884×	`associate-/r/`
674×	`div-sub`
644×	`distribute-lft-neg-in`
632×	`distribute-frac-neg`
612×	`neg-mul-1`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))`
-	-	`(/.f64 K 2)`
-	-	`(/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2))))`
-	-	`(+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))`
-	-	`(*.f64 2 J)`
-	-	`J`
-	-	`(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))`
-	-	`-2`
-	-	`(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))`
-	-	`(cos.f64 (/.f64 K 2))`
-	-	`U`
-	-	`(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))`
-	-	`(pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)`
-	-	`K`
-	-	`2`
-	-	`1`
-	-	`(*.f64 -2 J)`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	82	992
1	217	858
2	680	858
3	2759	858
4	5615	858

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
(.f64 (.f64 (.f64 -2 (neg.f64 J)) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 (neg.f64 J)) (cos.f64 (/.f64 K 2)))) 2))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 (neg.f64 K) 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 (neg.f64 K) 2)))) 2))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (neg.f64 U) (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
(neg.f64 (.f64 (.f64 (.f64 -2 (neg.f64 J)) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 (neg.f64 J)) (cos.f64 (/.f64 K 2)))) 2)))))
(neg.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 (neg.f64 K) 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 (neg.f64 K) 2)))) 2)))))
(neg.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (neg.f64 U) (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))))
(.f64 (.f64 (.f64 -2 K) (cos.f64 (/.f64 J 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 K) (cos.f64 (/.f64 J 2)))) 2))))
(.f64 (.f64 (.f64 -2 U) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 J (.f64 (*.f64 2 U) (cos.f64 (/.f64 K 2)))) 2))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 U 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 K (.f64 (*.f64 2 J) (cos.f64 (/.f64 U 2)))) 2))))

Outputs
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
(.f64 (.f64 -2 J) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2)))) (*.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
(.f64 (.f64 -2 J) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2)))) (*.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 (.f64 (.f64 -2 (neg.f64 J)) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 (neg.f64 J)) (cos.f64 (/.f64 K 2)))) 2))))
(.f64 (.f64 -2 (neg.f64 J)) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 2 (neg.f64 J)))) 2)))))
(.f64 (.f64 J 2) (.f64 (cos.f64 (/.f64 K 2)) (hypot.f64 1 (/.f64 U (.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))))))
(.f64 2 (.f64 (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2)))) (*.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 J (.f64 (.f64 2 (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2)))))))
(.f64 J (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 2 (cos.f64 (/.f64 K 2)))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 (neg.f64 K) 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 (neg.f64 K) 2)))) 2))))
(.f64 (.f64 -2 J) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2)))) (*.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (neg.f64 U) (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
(.f64 (.f64 -2 J) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2)))) (*.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 J (cos.f64 (/.f64 K 2)))))
(neg.f64 (.f64 (.f64 (.f64 -2 (neg.f64 J)) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 (neg.f64 J)) (cos.f64 (/.f64 K 2)))) 2)))))
(.f64 (.f64 -2 J) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2)))) (*.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 J (cos.f64 (/.f64 K 2)))))
(neg.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 (neg.f64 K) 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 (neg.f64 K) 2)))) 2)))))
(.f64 (.f64 -2 (neg.f64 J)) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 2 (neg.f64 J)))) 2)))))
(.f64 (.f64 J 2) (.f64 (cos.f64 (/.f64 K 2)) (hypot.f64 1 (/.f64 U (.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))))))
(.f64 2 (.f64 (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2)))) (*.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 J (.f64 (.f64 2 (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2)))))))
(.f64 J (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 2 (cos.f64 (/.f64 K 2)))))
(neg.f64 (.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (neg.f64 U) (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))))
(.f64 (.f64 -2 (neg.f64 J)) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 2 (neg.f64 J)))) 2)))))
(.f64 (.f64 J 2) (.f64 (cos.f64 (/.f64 K 2)) (hypot.f64 1 (/.f64 U (.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))))))
(.f64 2 (.f64 (hypot.f64 1 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2)))) (*.f64 J (cos.f64 (/.f64 K 2)))))
(.f64 J (.f64 (.f64 2 (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2)))))))
(.f64 J (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 2 (cos.f64 (/.f64 K 2)))))
(.f64 (.f64 (.f64 -2 K) (cos.f64 (/.f64 J 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 K) (cos.f64 (/.f64 J 2)))) 2))))
(.f64 (.f64 (.f64 -2 K) (cos.f64 (/.f64 J 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 2 (*.f64 K (cos.f64 (/.f64 J 2))))) 2))))
(.f64 (.f64 -2 (.f64 K (cos.f64 (/.f64 J 2)))) (hypot.f64 1 (/.f64 U (.f64 K (*.f64 2 (cos.f64 (/.f64 J 2)))))))
(.f64 -2 (.f64 (cos.f64 (/.f64 J 2)) (.f64 K (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 K (cos.f64 (/.f64 J 2))))))))
(.f64 (.f64 -2 (.f64 K (cos.f64 (/.f64 J 2)))) (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 K (cos.f64 (/.f64 J 2))))))
(.f64 (.f64 (.f64 -2 U) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 J (.f64 (*.f64 2 U) (cos.f64 (/.f64 K 2)))) 2))))
(.f64 (.f64 -2 U) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 J (.f64 (cos.f64 (/.f64 K 2)) (*.f64 2 U))) 2)))))
(.f64 (.f64 (cos.f64 (/.f64 K 2)) (.f64 -2 U)) (hypot.f64 1 (/.f64 J (.f64 (cos.f64 (/.f64 K 2)) (*.f64 2 U)))))
(.f64 -2 (.f64 (cos.f64 (/.f64 K 2)) (.f64 U (hypot.f64 1 (/.f64 (/.f64 J (.f64 2 U)) (cos.f64 (/.f64 K 2)))))))
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 J (.f64 2 U)) (cos.f64 (/.f64 K 2)))) (.f64 (cos.f64 (/.f64 K 2)) U)))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 U 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 K (.f64 (*.f64 2 J) (cos.f64 (/.f64 U 2)))) 2))))
(.f64 (.f64 -2 J) (.f64 (cos.f64 (/.f64 U 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 K (.f64 (*.f64 J 2) (cos.f64 (/.f64 U 2)))) 2)))))
(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 U 2))) (hypot.f64 1 (/.f64 K (.f64 (*.f64 J 2) (cos.f64 (/.f64 U 2))))))
(.f64 (cos.f64 (/.f64 U 2)) (.f64 -2 (.f64 J (hypot.f64 1 (/.f64 K (.f64 (*.f64 J 2) (cos.f64 (/.f64 U 2))))))))
(.f64 (.f64 -2 (.f64 J (cos.f64 (/.f64 U 2)))) (hypot.f64 1 (/.f64 K (.f64 J (*.f64 2 (cos.f64 (/.f64 U 2)))))))

Symmetry

(abs K)

(abs U)

(negabs J)

Compiler

Compiled 255 to 194 computations (23.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 4.5s

Operation ival-cos, time spent: 3.2s, 70.0% of total-time

Operation ival-mult, time spent: 478.0ms, 11.0% of total-time

Operation ival-div, time spent: 378.0ms, 8.0% of total-time

Operation ival-pow, time spent: 173.0ms, 4.0% of total-time

Operation ival-add, time spent: 162.0ms, 4.0% of total-time

Operation ival-sqrt, time spent: 97.0ms, 2.0% of total-time

Operation const, time spent: 66.0ms, 1.0% of total-time

eval2.0ms (0%)

Compiler: Compiled 90 to 70 computations (22.2% saved)

prune3.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	78.0%	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
▶	78.0%	(.f64 (.f64 -2 J) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))
▶	90.3%	(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 J (cos.f64 (/.f64 K 2)))))

Status

Accuracy

Program

▶

78.0%

(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))

▶

78.0%

(*.f64 (*.f64 -2 J) (*.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (*.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))

▶

90.3%

(*.f64 -2 (*.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (*.f64 J (cos.f64 (/.f64 K 2))))) (*.f64 J (cos.f64 (/.f64 K 2)))))

Compiler

Compiled 78 to 63 computations (19.2% saved)

localize6.3s (43%)

Compiler: Compiled 317 to 235 computations (25.9% saved)
Precisions: Click to see histograms. Total time spent on operations: 5.8s
Operation ival-cos, time spent: 4.0s, 68.0% of total-time
Operation ival-div, time spent: 712.0ms, 12.0% of total-time
Operation ival-mult, time spent: 496.0ms, 9.0% of total-time
Operation ival-pow, time spent: 187.0ms, 3.0% of total-time
Operation ival-add, time spent: 187.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 109.0ms, 2.0% of total-time
Operation const, time spent: 87.0ms, 1.0% of total-time
Operation ival-hypot, time spent: 56.0ms, 1.0% of total-time

eval0.0ms (0%)

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

prune24.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	3	3
Done	0	0
Total	3	3

Accuracy

90.3%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	78.0%	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
✓	78.0%	(.f64 (.f64 -2 J) (.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))
✓	90.3%	(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 J (cos.f64 (/.f64 K 2)))))

Status

Accuracy

Program

✓

78.0%

(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))

✓

78.0%

(*.f64 (*.f64 -2 J) (*.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (*.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))

✓

90.3%

(*.f64 -2 (*.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (*.f64 J (cos.f64 (/.f64 K 2))))) (*.f64 J (cos.f64 (/.f64 K 2)))))

Compiler

Compiled 150 to 120 computations (20% saved)

regimes22.0ms (0.2%)

Accuracy

Total -7.9b remaining (-126.4%)

Threshold costs -7.9b (-126.4%)

Counts

3 → 1

Calls

Call 1

Inputs

(*.f64 -2 (*.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (*.f64 J (cos.f64 (/.f64 K 2))))) (*.f64 J (cos.f64 (/.f64 K 2)))))

(*.f64 (*.f64 -2 J) (*.f64 (cos.f64 (/.f64 K 2)) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 U (*.f64 J 2)) (cos.f64 (/.f64 K 2))) 2)))))

(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))

Outputs
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 J (cos.f64 (/.f64 K 2)))))

Calls

6 calls:

5.0ms	J
3.0ms	(/.f64 K 2)
3.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
3.0ms	U
3.0ms	K

Results

Accuracy	Segments	Branch
90.3%	1	`J`
90.3%	1	`K`
90.3%	1	`U`
90.3%	1	`(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))`
90.3%	1	`(cos.f64 (/.f64 K 2))`
90.3%	1	`(/.f64 K 2)`

Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`
3×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	78
1	29	78

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 -2 (.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (.f64 J (cos.f64 (/.f64 K 2))))) (.f64 J (cos.f64 (/.f64 K 2)))))

Outputs

(*.f64 -2 (*.f64 (hypot.f64 1 (/.f64 (/.f64 U 2) (*.f64 J (cos.f64 (/.f64 K 2))))) (*.f64 J (cos.f64 (/.f64 K 2)))))

(*.f64 -2 (*.f64 (*.f64 J (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 (/.f64 U 2) (*.f64 J (cos.f64 (/.f64 K 2)))))))

Compiler

Compiled 24 to 19 computations (20.8% saved)

soundness152.0ms (1%)

Rules

884×	`associate-/r/`
674×	`div-sub`
644×	`distribute-lft-neg-in`
632×	`distribute-frac-neg`
612×	`neg-mul-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	82	992
1	217	858
2	680	858
3	2759	858
4	5615	858

Stop Event

1×	node limit

Compiler

Compiled 238 to 183 computations (23.1% saved)

end0.0ms (0%)

preprocess49.0ms (0.3%)

Remove

(negabs J)

(abs U)

(abs K)

Compiler

Compiled 390 to 310 computations (20.5% saved)

analyze573.0ms (3.9%)

sample2.5s (16.8%)

preprocess5.1s (34.6%)

eval2.0ms (0%)

prune3.0ms (0%)

localize6.3s (43%)

eval0.0ms (0%)

prune24.0ms (0.2%)

regimes22.0ms (0.2%)

simplify3.0ms (0%)

soundness152.0ms (1%)

end0.0ms (0%)

preprocess49.0ms (0.3%)

Profiling