Metrics for Maksimov and Kolovsky, Equation (3)

analyze319.0ms (7.7%)

Memory

-18.6MiB live, 114.6MiB allocated

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 54 to 37 computations (31.5% saved)

sample3.7s (88.6%)

Memory

15.8MiB live, 1 035.8MiB allocated

Samples

903.0ms	8 256×	valid-baseline
899.0ms	8 256×	valid-rival
768.0ms	8 256×	valid-sollya

Bogosity

preprocess120.0ms (2.9%)

Memory

-7.2MiB live, 24.8MiB allocated

Algorithm

1×	egg-herbie

Rules

499×	`distribute-lft-neg-in`
475×	`fmm-def`
405×	`distribute-rgt-neg-in`
331×	`unsub-neg`
306×	`neg-mul-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	82	992
1	202	858
2	657	858
3	2308	858
4	4451	858
5	7260	858

Stop Event

1×	node limit

Calls

Call 1

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

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

Symmetry

(abs K)

(abs U)

(negabs J)

Compiler

Compiled 27 to 17 computations (37% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	74.2%	(.f64 (.f64 (.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))

Status

Accuracy

Program

74.2%

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

Compiler

Compiled 54 to 34 computations (37% saved)

simplify2.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative`
3×	`1-exp`
1×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	88
1	35	88

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

Outputs

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

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

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 27 to 17 computations (37% saved)

preprocess27.0ms (0.6%)

Memory

-2.3MiB live, 29.0MiB allocated

Remove

(negabs J)

(abs U)

(abs K)

Compiler

Compiled 432 to 272 computations (37% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze319.0ms (7.7%)

sample3.7s (88.6%)

preprocess120.0ms (2.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

preprocess27.0ms (0.6%)

end0.0ms (0%)

Profiling