Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, K

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze250.0ms (7.1%)

Memory

-26.1MiB live, 433.3MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
25%	24.9%	74.8%	0.3%	0%	0%	0%	7
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	8
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	9
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	10
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	11
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	12

Compiler

Compiled 21 to 20 computations (4.8% saved)

sample2.4s (69.7%)

Memory

46.7MiB live, 3 435.0MiB allocated

Samples

772.0ms	3 170×	1	valid
549.0ms	5 086×	0	valid
416.0ms	4 179×	0	invalid

Precisions

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

ival-mult: 345.0ms (28.7% of total)

ival-cos: 254.0ms (21.1% of total)

ival-div: 198.0ms (16.5% of total)

ival-sub: 159.0ms (13.2% of total)

ival-sqrt: 142.0ms (11.8% of total)

adjust: 79.0ms (6.6% of total)

exact: 12.0ms (1% of total)

ival-true: 10.0ms (0.8% of total)

ival-assert: 5.0ms (0.4% of total)

Bogosity

explain251.0ms (7.1%)

Memory

7.4MiB live, 523.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
143	58	(4.420684932100809e+24 7.0989388432174e+177 -6.489751720270418e-207 -7.767466339841775e-174 1.2190186753846154e+180 1.5672503618110596e-93)	-	`(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))`
0	0	-	-	`(sqrt.f64 x)`
0	0	-	-	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))`
0	0	-	-	`a`
0	0	-	-	`t`
0	0	-	-	`#s(literal 3 binary64)`
0	0	-	-	`(*.f64 #s(literal 2 binary64) (sqrt.f64 x))`
0	0	-	-	`(/.f64 (*.f64 z t) #s(literal 3 binary64))`
0	0	-	-	`y`
0	0	-	-	`(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))`
0	0	-	-	`(/.f64 a (*.f64 b #s(literal 3 binary64)))`
0	0	-	-	`(*.f64 z t)`
0	0	-	-	`z`
0	0	-	-	`(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))`
0	0	-	-	`#s(literal 2 binary64)`
0	0	-	-	`b`
0	0	-	-	`(*.f64 b #s(literal 3 binary64))`
0	0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))`	sensitivity	159	0
`cos.f64`	`(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))`	oflow-rescue	42	0
↳	`(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))`	overflow	42
↳	`(*.f64 z t)`	overflow	42
↳	`(/.f64 (*.f64 z t) #s(literal 3 binary64))`	overflow	42

Confusion

	Predicted +	Predicted -
+	91	0
-	110	55

Precision

0.4527363184079602

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	91	0	0
-	110	0	55

Precision?

0.4527363184079602

Recall?

1.0

Freqs

test

number	freq
0	55
1	201

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

100.0ms	390×	1	valid
16.0ms	122×	0	valid

Compiler

Compiled 254 to 76 computations (70.1% saved)

Precisions

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

ival-cos: 25.0ms (31.5% of total)

ival-mult: 17.0ms (21.4% of total)

ival-div: 13.0ms (16.4% of total)

adjust: 10.0ms (12.6% of total)

ival-sub: 8.0ms (10.1% of total)

ival-sqrt: 6.0ms (7.6% of total)

exact: 1.0ms (1.3% of total)

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

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

preprocess5.0ms (0.1%)

Memory

15.8MiB live, 15.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))

Outputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))

Compiler

Compiled 19 to 18 computations (5.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	66.8%	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))

Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
cost-diff	0	(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
cost-diff	0	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
#s(literal 2 binary64)
(sqrt.f64 x)
x
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
y
(/.f64 (*.f64 z t) #s(literal 3 binary64))
(*.f64 z t)
z
t
#s(literal 3 binary64)
(/.f64 a (*.f64 b #s(literal 3 binary64)))
a
(*.f64 b #s(literal 3 binary64))
b

Outputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
#s(literal 2 binary64)
(sqrt.f64 x)
x
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
y
(/.f64 (*.f64 z t) #s(literal 3 binary64))
(*.f64 z t)
z
t
#s(literal 3 binary64)
(/.f64 a (*.f64 b #s(literal 3 binary64)))
a
(*.f64 b #s(literal 3 binary64))
b

localize71.0ms (2%)

Memory

-6.2MiB live, 152.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.18359375	(/.f64 (*.f64 z t) #s(literal 3 binary64))
accuracy	0.25	(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
accuracy	0.2578125	(/.f64 a (*.f64 b #s(literal 3 binary64)))
accuracy	32.567111953772994	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))

Samples

49.0ms	195×	1	valid
7.0ms	61×	0	valid

Compiler

Compiled 156 to 38 computations (75.6% saved)

Precisions

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

ival-cos: 12.0ms (32.1% of total)

ival-mult: 8.0ms (21.4% of total)

adjust: 5.0ms (13.4% of total)

ival-div: 5.0ms (13.4% of total)

ival-sub: 4.0ms (10.7% of total)

ival-sqrt: 3.0ms (8% of total)

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

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

exact: 0.0ms (0% of total)

series42.0ms (1.2%)

Memory

-9.2MiB live, 111.9MiB allocated

Counts

7 → 50

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
(sqrt.f64 x)
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))

Outputs
(- (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z))))))
(* 2 (sqrt x))
(sqrt x)
(* x (+ (* -1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (cos (- y (* 1/3 (* t z))))))))
(* -2 (* (sqrt x) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2))))
(* -1 (* x (+ (* 1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2)))))))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(- (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(- (+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* -1 (* (sqrt x) (* y (cos (neg (* 1/3 (* t z)))))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* y (+ (* -1 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z)))))))))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))
(+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))))
(+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* -1 (* (sqrt x) (* y (cos (neg (* 1/3 (* t z))))))))))
(+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* y (+ (* -1 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))))))))
(cos (neg (* 1/3 (* t z))))
(+ (cos (neg (* 1/3 (* t z)))) (* -1 (* y (sin (neg (* 1/3 (* t z)))))))
(+ (cos (neg (* 1/3 (* t z)))) (* y (- (* -1/2 (* y (cos (neg (* 1/3 (* t z)))))) (sin (neg (* 1/3 (* t z)))))))
(+ (cos (neg (* 1/3 (* t z)))) (* y (- (* y (+ (* -1/2 (cos (neg (* 1/3 (* t z))))) (* 1/6 (* y (sin (neg (* 1/3 (* t z)))))))) (sin (neg (* 1/3 (* t z)))))))
(cos (- y (* 1/3 (* t z))))
(- (* 2 (* (sqrt x) (cos (neg (+ (* -1 y) (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (neg (+ (* -1 y) (* 1/3 (* t z)))))))
(cos (neg (+ (* -1 y) (* 1/3 (* t z)))))
(- (* 2 (* (sqrt x) (cos y))) (* 1/3 (/ a b)))
(- (+ (* 2/3 (* (* t (* z (sin y))) (sqrt x))) (* 2 (* (sqrt x) (cos y)))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* -1/9 (* (* (pow t 2) (* z (cos y))) (sqrt x))) (* 2/3 (* (* t (sin y)) (sqrt x)))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* 2/3 (* (* t (sin y)) (sqrt x))) (* z (+ (* -1/9 (* (* (pow t 2) (cos y)) (sqrt x))) (* -1/81 (* (* (pow t 3) (* z (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos y)))
(+ (* 2/3 (* (* t (* z (sin y))) (sqrt x))) (* 2 (* (sqrt x) (cos y))))
(+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* -1/9 (* (* (pow t 2) (* z (cos y))) (sqrt x))) (* 2/3 (* (* t (sin y)) (sqrt x))))))
(+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* 2/3 (* (* t (sin y)) (sqrt x))) (* z (+ (* -1/9 (* (* (pow t 2) (cos y)) (sqrt x))) (* -1/81 (* (* (pow t 3) (* z (sin y))) (sqrt x))))))))
(cos y)
(+ (cos y) (* 1/3 (* t (* z (sin y)))))
(+ (cos y) (* z (- (* -1/18 (* (pow t 2) (* z (cos y)))) (* -1/3 (* t (sin y))))))
(+ (cos y) (* z (- (* z (+ (* -1/18 (* (pow t 2) (cos y))) (* -1/162 (* (pow t 3) (* z (sin y)))))) (* -1/3 (* t (sin y))))))
(* 1/3 (* t z))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* -1/9 (* (* t (* (pow z 2) (cos y))) (sqrt x))) (* 2/3 (* (sqrt x) (* z (sin y))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* 2/3 (* (sqrt x) (* z (sin y)))) (* t (+ (* -1/9 (* (sqrt x) (* (pow z 2) (cos y)))) (* -1/81 (* (* t (* (pow z 3) (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* -1/9 (* (* t (* (pow z 2) (cos y))) (sqrt x))) (* 2/3 (* (sqrt x) (* z (sin y)))))))
(+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* 2/3 (* (sqrt x) (* z (sin y)))) (* t (+ (* -1/9 (* (sqrt x) (* (pow z 2) (cos y)))) (* -1/81 (* (* t (* (pow z 3) (sin y))) (sqrt x))))))))
(+ (cos y) (* t (- (* -1/18 (* t (* (pow z 2) (cos y)))) (* -1/3 (* z (sin y))))))
(+ (cos y) (* t (- (* t (+ (* -1/18 (* (pow z 2) (cos y))) (* -1/162 (* t (* (pow z 3) (sin y)))))) (* -1/3 (* z (sin y))))))
(+ (* -1/3 (/ a b)) (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))))
(* 1/3 (/ a b))
(* -1/3 (/ a b))
(* a (- (* 2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b))))
(* -1 (* a (+ (* -2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b)))))
(/ (- (* 2 (* (* b (cos (- y (* 1/3 (* t z))))) (sqrt x))) (* 1/3 a)) b)

Calls

18 calls:

Time	Variable		Point	Expression
10.0ms	a	@	0	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (* 2 (sqrt x)) (sqrt x) (cos (- y (/ (* z t) 3))) (/ a (* b 3)) (/ (* z t) 3))
5.0ms	x	@	-inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (* 2 (sqrt x)) (sqrt x) (cos (- y (/ (* z t) 3))) (/ a (* b 3)) (/ (* z t) 3))
3.0ms	x	@	0	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (* 2 (sqrt x)) (sqrt x) (cos (- y (/ (* z t) 3))) (/ a (* b 3)) (/ (* z t) 3))
3.0ms	z	@	0	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (* 2 (sqrt x)) (sqrt x) (cos (- y (/ (* z t) 3))) (/ a (* b 3)) (/ (* z t) 3))
2.0ms	t	@	-inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (* 2 (sqrt x)) (sqrt x) (cos (- y (/ (* z t) 3))) (/ a (* b 3)) (/ (* z t) 3))

simplify1.0ms (0%)

Memory

2.4MiB live, 2.4MiB allocated

Algorithm

1×	egg-herbie

Counts

50 → 7

Calls

Call 1

Inputs
(- (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z))))))
(* 2 (sqrt x))
(sqrt x)
(* x (+ (* -1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (cos (- y (* 1/3 (* t z))))))))
(* -2 (* (sqrt x) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2))))
(* -1 (* x (+ (* 1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2)))))))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(- (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(- (+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* -1 (* (sqrt x) (* y (cos (neg (* 1/3 (* t z)))))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* y (+ (* -1 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z)))))))))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))
(+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))))
(+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* -1 (* (sqrt x) (* y (cos (neg (* 1/3 (* t z))))))))))
(+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* y (+ (* -1 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))))))))
(cos (neg (* 1/3 (* t z))))
(+ (cos (neg (* 1/3 (* t z)))) (* -1 (* y (sin (neg (* 1/3 (* t z)))))))
(+ (cos (neg (* 1/3 (* t z)))) (* y (- (* -1/2 (* y (cos (neg (* 1/3 (* t z)))))) (sin (neg (* 1/3 (* t z)))))))
(+ (cos (neg (* 1/3 (* t z)))) (* y (- (* y (+ (* -1/2 (cos (neg (* 1/3 (* t z))))) (* 1/6 (* y (sin (neg (* 1/3 (* t z)))))))) (sin (neg (* 1/3 (* t z)))))))
(cos (- y (* 1/3 (* t z))))
(- (* 2 (* (sqrt x) (cos (neg (+ (* -1 y) (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (neg (+ (* -1 y) (* 1/3 (* t z)))))))
(cos (neg (+ (* -1 y) (* 1/3 (* t z)))))
(- (* 2 (* (sqrt x) (cos y))) (* 1/3 (/ a b)))
(- (+ (* 2/3 (* (* t (* z (sin y))) (sqrt x))) (* 2 (* (sqrt x) (cos y)))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* -1/9 (* (* (pow t 2) (* z (cos y))) (sqrt x))) (* 2/3 (* (* t (sin y)) (sqrt x)))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* 2/3 (* (* t (sin y)) (sqrt x))) (* z (+ (* -1/9 (* (* (pow t 2) (cos y)) (sqrt x))) (* -1/81 (* (* (pow t 3) (* z (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos y)))
(+ (* 2/3 (* (* t (* z (sin y))) (sqrt x))) (* 2 (* (sqrt x) (cos y))))
(+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* -1/9 (* (* (pow t 2) (* z (cos y))) (sqrt x))) (* 2/3 (* (* t (sin y)) (sqrt x))))))
(+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* 2/3 (* (* t (sin y)) (sqrt x))) (* z (+ (* -1/9 (* (* (pow t 2) (cos y)) (sqrt x))) (* -1/81 (* (* (pow t 3) (* z (sin y))) (sqrt x))))))))
(cos y)
(+ (cos y) (* 1/3 (* t (* z (sin y)))))
(+ (cos y) (* z (- (* -1/18 (* (pow t 2) (* z (cos y)))) (* -1/3 (* t (sin y))))))
(+ (cos y) (* z (- (* z (+ (* -1/18 (* (pow t 2) (cos y))) (* -1/162 (* (pow t 3) (* z (sin y)))))) (* -1/3 (* t (sin y))))))
(* 1/3 (* t z))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* -1/9 (* (* t (* (pow z 2) (cos y))) (sqrt x))) (* 2/3 (* (sqrt x) (* z (sin y))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* 2/3 (* (sqrt x) (* z (sin y)))) (* t (+ (* -1/9 (* (sqrt x) (* (pow z 2) (cos y)))) (* -1/81 (* (* t (* (pow z 3) (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* -1/9 (* (* t (* (pow z 2) (cos y))) (sqrt x))) (* 2/3 (* (sqrt x) (* z (sin y)))))))
(+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* 2/3 (* (sqrt x) (* z (sin y)))) (* t (+ (* -1/9 (* (sqrt x) (* (pow z 2) (cos y)))) (* -1/81 (* (* t (* (pow z 3) (sin y))) (sqrt x))))))))
(+ (cos y) (* t (- (* -1/18 (* t (* (pow z 2) (cos y)))) (* -1/3 (* z (sin y))))))
(+ (cos y) (* t (- (* t (+ (* -1/18 (* (pow z 2) (cos y))) (* -1/162 (* t (* (pow z 3) (sin y)))))) (* -1/3 (* z (sin y))))))
(+ (* -1/3 (/ a b)) (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))))
(* 1/3 (/ a b))
(* -1/3 (/ a b))
(* a (- (* 2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b))))
(* -1 (* a (+ (* -2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b)))))
(/ (- (* 2 (* (* b (cos (- y (* 1/3 (* t z))))) (sqrt x))) (* 1/3 a)) b)

Outputs
(- (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z))))))
(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(* 2 (sqrt x))
(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
(sqrt x)
(sqrt.f64 x)
(* x (+ (* -1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (cos (- y (* 1/3 (* t z))))))))
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(* -2 (* (sqrt x) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2))))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
(* -1 (* x (+ (* 1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2)))))))
(/.f64 (*.f64 z t) #s(literal 3 binary64))

rewrite0.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Counts

7 → 7

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
(sqrt.f64 x)
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))

Outputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
(sqrt.f64 x)
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))

eval1.0ms (0%)

Memory: 3.7MiB live, 3.7MiB allocated
Compiler: Compiled 329 to 43 computations (86.9% saved)

prune3.0ms (0.1%)

Memory

7.2MiB live, 7.2MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	11	3	14
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	4	15

Accuracy

70.0%

Counts

15 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.8%	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
▶	5.1%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
▶	2.1%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
▶	3.7%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))

Compiler

Compiled 97 to 86 computations (11.3% saved)

simplify1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 z t)
cost-diff	0	(/.f64 (*.f64 z t) #s(literal 3 binary64))
cost-diff	0	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
cost-diff	0	(*.f64 b #s(literal 3 binary64))
cost-diff	0	(/.f64 a (*.f64 b #s(literal 3 binary64)))
cost-diff	0	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
cost-diff	0	(/.f64 (*.f64 z t) #s(literal 3 binary64))
cost-diff	0	(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
cost-diff	0	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
cost-diff	0	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))

Calls

Call 1

Inputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
y
(/.f64 (*.f64 z t) #s(literal 3 binary64))
(*.f64 z t)
z
t
#s(literal 3 binary64)
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
a
(*.f64 b #s(literal 3 binary64))
b
#s(literal 3 binary64)
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))
(*.f64 z t)
z
t
#s(literal 3 binary64)

Outputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
y
(/.f64 (*.f64 z t) #s(literal 3 binary64))
(*.f64 z t)
z
t
#s(literal 3 binary64)
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
a
(*.f64 b #s(literal 3 binary64))
b
#s(literal 3 binary64)
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))
(*.f64 z t)
z
t
#s(literal 3 binary64)

localize76.0ms (2.2%)

Memory

-16.5MiB live, 140.2MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 z t)
accuracy	0.18359375	(/.f64 (*.f64 z t) #s(literal 3 binary64))
accuracy	60.7165576130499	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
accuracy	0.0	(*.f64 b #s(literal 3 binary64))
accuracy	0.2578125	(/.f64 a (*.f64 b #s(literal 3 binary64)))
accuracy	62.65890685594208	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
accuracy	0.01171875	(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
accuracy	0.18359375	(/.f64 (*.f64 z t) #s(literal 3 binary64))
accuracy	32.567111953772994	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
accuracy	60.74464357012476	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))

Samples

53.0ms	195×	1	valid
7.0ms	61×	0	valid

Compiler

Compiled 235 to 48 computations (79.6% saved)

Precisions

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

ival-cos: 11.0ms (30.3% of total)

ival-mult: 8.0ms (22% of total)

adjust: 5.0ms (13.8% of total)

ival-div: 5.0ms (13.8% of total)

ival-sub: 4.0ms (11% of total)

ival-sqrt: 3.0ms (8.3% of total)

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

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

exact: 0.0ms (0% of total)

series23.0ms (0.6%)

Memory

1.5MiB live, 39.3MiB allocated

Counts

9 → 47

Calls

Call 1

Inputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
(*.f64 b #s(literal 3 binary64))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(*.f64 z t)

Outputs
(- (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z))))))
(* x (+ (* -1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (cos (- y (* 1/3 (* t z))))))))
(* -2 (* (sqrt x) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2))))
(* -1 (* x (+ (* 1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2)))))))
(- (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(- (+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* -1 (* (sqrt x) (* y (cos (neg (* 1/3 (* t z)))))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* y (+ (* -1 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z)))))))))))) (* 1/3 (/ a b)))
(cos (neg (* 1/3 (* t z))))
(+ (cos (neg (* 1/3 (* t z)))) (* -1 (* y (sin (neg (* 1/3 (* t z)))))))
(+ (cos (neg (* 1/3 (* t z)))) (* y (- (* -1/2 (* y (cos (neg (* 1/3 (* t z)))))) (sin (neg (* 1/3 (* t z)))))))
(+ (cos (neg (* 1/3 (* t z)))) (* y (- (* y (+ (* -1/2 (cos (neg (* 1/3 (* t z))))) (* 1/6 (* y (sin (neg (* 1/3 (* t z)))))))) (sin (neg (* 1/3 (* t z)))))))
(* -1/3 (* t z))
(- y (* 1/3 (* t z)))
(cos (- y (* 1/3 (* t z))))
y
(* y (+ 1 (* -1/3 (/ (* t z) y))))
(- (* 2 (* (sqrt x) (cos (neg (+ (* -1 y) (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(cos (neg (+ (* -1 y) (* 1/3 (* t z)))))
(* -1 (* y (- (* 1/3 (/ (* t z) y)) 1)))
(- (* 2 (* (sqrt x) (cos y))) (* 1/3 (/ a b)))
(- (+ (* 2/3 (* (* t (* z (sin y))) (sqrt x))) (* 2 (* (sqrt x) (cos y)))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* -1/9 (* (* (pow t 2) (* z (cos y))) (sqrt x))) (* 2/3 (* (* t (sin y)) (sqrt x)))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* 2/3 (* (* t (sin y)) (sqrt x))) (* z (+ (* -1/9 (* (* (pow t 2) (cos y)) (sqrt x))) (* -1/81 (* (* (pow t 3) (* z (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(cos y)
(+ (cos y) (* 1/3 (* t (* z (sin y)))))
(+ (cos y) (* z (- (* -1/18 (* (pow t 2) (* z (cos y)))) (* -1/3 (* t (sin y))))))
(+ (cos y) (* z (- (* z (+ (* -1/18 (* (pow t 2) (cos y))) (* -1/162 (* (pow t 3) (* z (sin y)))))) (* -1/3 (* t (sin y))))))
(+ y (* -1/3 (* t z)))
(* 1/3 (* t z))
(* t z)
(* z (- (/ y z) (* 1/3 t)))
(* -1 (* z (- (* -1 (/ y z)) (* -1/3 t))))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* -1/9 (* (* t (* (pow z 2) (cos y))) (sqrt x))) (* 2/3 (* (sqrt x) (* z (sin y))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* 2/3 (* (sqrt x) (* z (sin y)))) (* t (+ (* -1/9 (* (sqrt x) (* (pow z 2) (cos y)))) (* -1/81 (* (* t (* (pow z 3) (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(+ (cos y) (* t (- (* -1/18 (* t (* (pow z 2) (cos y)))) (* -1/3 (* z (sin y))))))
(+ (cos y) (* t (- (* t (+ (* -1/18 (* (pow z 2) (cos y))) (* -1/162 (* t (* (pow z 3) (sin y)))))) (* -1/3 (* z (sin y))))))
(* t (- (/ y t) (* 1/3 z)))
(* -1 (* t (- (* -1 (/ y t)) (* -1/3 z))))
(+ (* -1/3 (/ a b)) (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))))
(* 1/3 (/ a b))
(* -1/3 (/ a b))
(* a (- (* 2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b))))
(* -1 (* a (+ (* -2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b)))))
(/ (- (* 2 (* (* b (cos (- y (* 1/3 (* t z))))) (sqrt x))) (* 1/3 a)) b)
(* 3 b)

Calls

18 calls:

Time	Variable		Point	Expression
4.0ms	a	@	-inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos (- y (/ (* z t) 3))) (- y (/ (* z t) 3)) (/ (* z t) 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ a (* b 3)) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t))
1.0ms	x	@	0	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos (- y (/ (* z t) 3))) (- y (/ (* z t) 3)) (/ (* z t) 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ a (* b 3)) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t))
1.0ms	z	@	-inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos (- y (/ (* z t) 3))) (- y (/ (* z t) 3)) (/ (* z t) 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ a (* b 3)) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t))
1.0ms	t	@	-inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos (- y (/ (* z t) 3))) (- y (/ (* z t) 3)) (/ (* z t) 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ a (* b 3)) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t))
1.0ms	b	@	-inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos (- y (/ (* z t) 3))) (- y (/ (* z t) 3)) (/ (* z t) 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ a (* b 3)) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t))

simplify1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

1×	egg-herbie

Counts

47 → 9

Calls

Call 1

Inputs
(- (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z))))))
(* x (+ (* -1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (cos (- y (* 1/3 (* t z))))))))
(* -2 (* (sqrt x) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2))))
(* -1 (* x (+ (* 1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2)))))))
(- (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(- (+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* -1 (* (sqrt x) (* y (cos (neg (* 1/3 (* t z)))))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* y (+ (* -1 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z)))))))))))) (* 1/3 (/ a b)))
(cos (neg (* 1/3 (* t z))))
(+ (cos (neg (* 1/3 (* t z)))) (* -1 (* y (sin (neg (* 1/3 (* t z)))))))
(+ (cos (neg (* 1/3 (* t z)))) (* y (- (* -1/2 (* y (cos (neg (* 1/3 (* t z)))))) (sin (neg (* 1/3 (* t z)))))))
(+ (cos (neg (* 1/3 (* t z)))) (* y (- (* y (+ (* -1/2 (cos (neg (* 1/3 (* t z))))) (* 1/6 (* y (sin (neg (* 1/3 (* t z)))))))) (sin (neg (* 1/3 (* t z)))))))
(* -1/3 (* t z))
(- y (* 1/3 (* t z)))
(cos (- y (* 1/3 (* t z))))
y
(* y (+ 1 (* -1/3 (/ (* t z) y))))
(- (* 2 (* (sqrt x) (cos (neg (+ (* -1 y) (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(cos (neg (+ (* -1 y) (* 1/3 (* t z)))))
(* -1 (* y (- (* 1/3 (/ (* t z) y)) 1)))
(- (* 2 (* (sqrt x) (cos y))) (* 1/3 (/ a b)))
(- (+ (* 2/3 (* (* t (* z (sin y))) (sqrt x))) (* 2 (* (sqrt x) (cos y)))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* -1/9 (* (* (pow t 2) (* z (cos y))) (sqrt x))) (* 2/3 (* (* t (sin y)) (sqrt x)))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* 2/3 (* (* t (sin y)) (sqrt x))) (* z (+ (* -1/9 (* (* (pow t 2) (cos y)) (sqrt x))) (* -1/81 (* (* (pow t 3) (* z (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(cos y)
(+ (cos y) (* 1/3 (* t (* z (sin y)))))
(+ (cos y) (* z (- (* -1/18 (* (pow t 2) (* z (cos y)))) (* -1/3 (* t (sin y))))))
(+ (cos y) (* z (- (* z (+ (* -1/18 (* (pow t 2) (cos y))) (* -1/162 (* (pow t 3) (* z (sin y)))))) (* -1/3 (* t (sin y))))))
(+ y (* -1/3 (* t z)))
(* 1/3 (* t z))
(* t z)
(* z (- (/ y z) (* 1/3 t)))
(* -1 (* z (- (* -1 (/ y z)) (* -1/3 t))))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* -1/9 (* (* t (* (pow z 2) (cos y))) (sqrt x))) (* 2/3 (* (sqrt x) (* z (sin y))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* 2/3 (* (sqrt x) (* z (sin y)))) (* t (+ (* -1/9 (* (sqrt x) (* (pow z 2) (cos y)))) (* -1/81 (* (* t (* (pow z 3) (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(+ (cos y) (* t (- (* -1/18 (* t (* (pow z 2) (cos y)))) (* -1/3 (* z (sin y))))))
(+ (cos y) (* t (- (* t (+ (* -1/18 (* (pow z 2) (cos y))) (* -1/162 (* t (* (pow z 3) (sin y)))))) (* -1/3 (* z (sin y))))))
(* t (- (/ y t) (* 1/3 z)))
(* -1 (* t (- (* -1 (/ y t)) (* -1/3 z))))
(+ (* -1/3 (/ a b)) (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))))
(* 1/3 (/ a b))
(* -1/3 (/ a b))
(* a (- (* 2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b))))
(* -1 (* a (+ (* -2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b)))))
(/ (- (* 2 (* (* b (cos (- y (* 1/3 (* t z))))) (sqrt x))) (* 1/3 a)) b)
(* 3 b)

Outputs
(- (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z))))))
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(* x (+ (* -1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (cos (- y (* 1/3 (* t z))))))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(* -2 (* (sqrt x) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2))))
(/.f64 (*.f64 z t) #s(literal 3 binary64))
(* -1 (* x (+ (* 1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2)))))))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
(- (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
(- (+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(*.f64 b #s(literal 3 binary64))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* -1 (* (sqrt x) (* y (cos (neg (* 1/3 (* t z)))))))))) (* 1/3 (/ a b)))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* y (+ (* -1 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z)))))))))))) (* 1/3 (/ a b)))
(*.f64 z t)

rewrite1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Counts

9 → 9

Calls

Call 1

Inputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
(*.f64 b #s(literal 3 binary64))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(*.f64 z t)

Outputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
(/.f64 a (*.f64 b #s(literal 3 binary64)))
(*.f64 b #s(literal 3 binary64))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(*.f64 z t)

eval2.0ms (0%)

Memory: 3.8MiB live, 3.7MiB allocated
Compiler: Compiled 501 to 34 computations (93.2% saved)

prune4.0ms (0.1%)

Memory

7.9MiB live, 7.9MiB allocated

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	14	3	17
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	14	7	21

Accuracy

71.5%

Counts

21 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.8%	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
✓	5.1%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
✓	2.1%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
▶	4.3%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
▶	5.1%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
▶	2.9%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
✓	3.7%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))

Compiler

Compiled 170 to 150 computations (11.8% saved)

simplify1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 z t)
cost-diff	0	(/.f64 (*.f64 z t) #s(literal 3 binary64))
cost-diff	0	(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
cost-diff	0	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
cost-diff	0	(*.f64 z t)
cost-diff	0	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
cost-diff	0	(*.f64 b #s(literal 3 binary64))
cost-diff	0	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))

Calls

Call 1

Inputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
(*.f64 b #s(literal 3 binary64))
b
#s(literal 3 binary64)
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
(*.f64 z t)
z
t
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
y
(/.f64 (*.f64 z t) #s(literal 3 binary64))
(*.f64 z t)
z
t
#s(literal 3 binary64)

Outputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
(*.f64 b #s(literal 3 binary64))
b
#s(literal 3 binary64)
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
(*.f64 z t)
z
t
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
y
(/.f64 (*.f64 z t) #s(literal 3 binary64))
(*.f64 z t)
z
t
#s(literal 3 binary64)

localize65.0ms (1.9%)

Memory

-5.4MiB live, 73.4MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 z t)
accuracy	0.01171875	(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
accuracy	0.18359375	(/.f64 (*.f64 z t) #s(literal 3 binary64))
accuracy	61.22609896455217	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
accuracy	0.0	(*.f64 z t)
accuracy	60.71755478540513	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
accuracy	0.0	(*.f64 b #s(literal 3 binary64))
accuracy	62.14790489784945	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))

Samples

30.0ms	97×	1	valid
26.0ms	159×	0	valid

Compiler

Compiled 190 to 46 computations (75.8% saved)

Precisions

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

ival-mult: 13.0ms (32.2% of total)

ival-sqrt: 11.0ms (27.2% of total)

ival-cos: 6.0ms (14.8% of total)

ival-div: 4.0ms (9.9% of total)

ival-sub: 3.0ms (7.4% of total)

adjust: 2.0ms (4.9% of total)

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

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

exact: 0.0ms (0% of total)

series22.0ms (0.6%)

Memory

-6.2MiB live, 30.3MiB allocated

Counts

7 → 34

Calls

Call 1

Inputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
(*.f64 b #s(literal 3 binary64))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
(*.f64 z t)
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))

Outputs
(- (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z))))))
(* x (+ (* -1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (cos (- y (* 1/3 (* t z))))))))
(* -2 (* (sqrt x) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2))))
(* -1 (* x (+ (* 1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2)))))))
(- (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(- (+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* -1 (* (sqrt x) (* y (cos (neg (* 1/3 (* t z)))))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* y (+ (* -1 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z)))))))))))) (* 1/3 (/ a b)))
(* -1/3 (* t z))
(- y (* 1/3 (* t z)))
y
(* y (+ 1 (* -1/3 (/ (* t z) y))))
(- (* 2 (* (sqrt x) (cos (neg (+ (* -1 y) (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(* -1 (* y (- (* 1/3 (/ (* t z) y)) 1)))
(- (* 2 (* (sqrt x) (cos y))) (* 1/3 (/ a b)))
(- (+ (* 2/3 (* (* t (* z (sin y))) (sqrt x))) (* 2 (* (sqrt x) (cos y)))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* -1/9 (* (* (pow t 2) (* z (cos y))) (sqrt x))) (* 2/3 (* (* t (sin y)) (sqrt x)))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* 2/3 (* (* t (sin y)) (sqrt x))) (* z (+ (* -1/9 (* (* (pow t 2) (cos y)) (sqrt x))) (* -1/81 (* (* (pow t 3) (* z (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(* t z)
(+ y (* -1/3 (* t z)))
(* 1/3 (* t z))
(* z (- (/ y z) (* 1/3 t)))
(* -1 (* z (- (* -1 (/ y z)) (* -1/3 t))))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* -1/9 (* (* t (* (pow z 2) (cos y))) (sqrt x))) (* 2/3 (* (sqrt x) (* z (sin y))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* 2/3 (* (sqrt x) (* z (sin y)))) (* t (+ (* -1/9 (* (sqrt x) (* (pow z 2) (cos y)))) (* -1/81 (* (* t (* (pow z 3) (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(* t (- (/ y t) (* 1/3 z)))
(* -1 (* t (- (* -1 (/ y t)) (* -1/3 z))))
(+ (* -1/3 (/ a b)) (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))))
(* -1/3 (/ a b))
(* a (- (* 2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b))))
(* -1 (* a (+ (* -2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b)))))
(/ (- (* 2 (* (* b (cos (- y (* 1/3 (* t z))))) (sqrt x))) (* 1/3 a)) b)
(* 3 b)

Calls

18 calls:

Time	Variable		Point	Expression
6.0ms	a	@	inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (- y (/ (* z t) 3)) (/ (* z t) 3))
1.0ms	x	@	0	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (- y (/ (* z t) 3)) (/ (* z t) 3))
1.0ms	z	@	-inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (- y (/ (* z t) 3)) (/ (* z t) 3))
1.0ms	t	@	-inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (- y (/ (* z t) 3)) (/ (* z t) 3))
1.0ms	t	@	inf	((- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* b 3) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* z t) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (- y (/ (* z t) 3)) (/ (* z t) 3))

simplify1.0ms (0%)

Memory

2.0MiB live, 2.0MiB allocated

Algorithm

1×	egg-herbie

Counts

34 → 7

Calls

Call 1

Inputs
(- (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z))))))
(* x (+ (* -1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (cos (- y (* 1/3 (* t z))))))))
(* -2 (* (sqrt x) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2))))
(* -1 (* x (+ (* 1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2)))))))
(- (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(- (+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* -1 (* (sqrt x) (* y (cos (neg (* 1/3 (* t z)))))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* y (+ (* -2 (* (sqrt x) (sin (neg (* 1/3 (* t z)))))) (* y (+ (* -1 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z)))))))))))) (* 1/3 (/ a b)))
(* -1/3 (* t z))
(- y (* 1/3 (* t z)))
y
(* y (+ 1 (* -1/3 (/ (* t z) y))))
(- (* 2 (* (sqrt x) (cos (neg (+ (* -1 y) (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(* -1 (* y (- (* 1/3 (/ (* t z) y)) 1)))
(- (* 2 (* (sqrt x) (cos y))) (* 1/3 (/ a b)))
(- (+ (* 2/3 (* (* t (* z (sin y))) (sqrt x))) (* 2 (* (sqrt x) (cos y)))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* -1/9 (* (* (pow t 2) (* z (cos y))) (sqrt x))) (* 2/3 (* (* t (sin y)) (sqrt x)))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* z (+ (* 2/3 (* (* t (sin y)) (sqrt x))) (* z (+ (* -1/9 (* (* (pow t 2) (cos y)) (sqrt x))) (* -1/81 (* (* (pow t 3) (* z (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(* t z)
(+ y (* -1/3 (* t z)))
(* 1/3 (* t z))
(* z (- (/ y z) (* 1/3 t)))
(* -1 (* z (- (* -1 (/ y z)) (* -1/3 t))))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* -1/9 (* (* t (* (pow z 2) (cos y))) (sqrt x))) (* 2/3 (* (sqrt x) (* z (sin y))))))) (* 1/3 (/ a b)))
(- (+ (* 2 (* (sqrt x) (cos y))) (* t (+ (* 2/3 (* (sqrt x) (* z (sin y)))) (* t (+ (* -1/9 (* (sqrt x) (* (pow z 2) (cos y)))) (* -1/81 (* (* t (* (pow z 3) (sin y))) (sqrt x)))))))) (* 1/3 (/ a b)))
(* t (- (/ y t) (* 1/3 z)))
(* -1 (* t (- (* -1 (/ y t)) (* -1/3 z))))
(+ (* -1/3 (/ a b)) (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))))
(* -1/3 (/ a b))
(* a (- (* 2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b))))
(* -1 (* a (+ (* -2 (* (/ (cos (- y (* 1/3 (* t z)))) a) (sqrt x))) (* 1/3 (/ 1 b)))))
(/ (- (* 2 (* (* b (cos (- y (* 1/3 (* t z))))) (sqrt x))) (* 1/3 a)) b)
(* 3 b)

Outputs
(- (* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
(* 2 (* (sqrt x) (cos (- y (* 1/3 (* t z))))))
(*.f64 b #s(literal 3 binary64))
(* x (+ (* -1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (cos (- y (* 1/3 (* t z))))))))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
(* -2 (* (sqrt x) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2))))
(*.f64 z t)
(* -1 (* x (+ (* 1/3 (/ a (* b x))) (* 2 (* (sqrt (/ 1 x)) (* (cos (- y (* 1/3 (* t z)))) (pow (sqrt -1) 2)))))))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(- (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z)))))) (* 1/3 (/ a b)))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(- (+ (* -2 (* (sqrt x) (* y (sin (neg (* 1/3 (* t z))))))) (* 2 (* (sqrt x) (cos (neg (* 1/3 (* t z))))))) (* 1/3 (/ a b)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

7 → 7

Calls

Call 1

Inputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
(*.f64 b #s(literal 3 binary64))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
(*.f64 z t)
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))

Outputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
(*.f64 b #s(literal 3 binary64))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
(*.f64 z t)
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
(/.f64 (*.f64 z t) #s(literal 3 binary64))

eval1.0ms (0%)

Memory: 2.3MiB live, 2.3MiB allocated
Compiler: Compiled 358 to 30 computations (91.6% saved)

prune5.0ms (0.1%)

Memory

9.7MiB live, 9.7MiB allocated

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	3	3
Done	0	4	4
Total	12	7	19

Accuracy

71.5%

Counts

19 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.8%	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
✓	5.1%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
✓	2.1%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
✓	4.3%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
✓	5.1%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
✓	2.9%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
✓	3.7%	#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))

Compiler

Compiled 340 to 186 computations (45.3% saved)

regimes59.0ms (1.7%)

Memory

2.0MiB live, 85.2MiB allocated

Counts

7 → 2

Calls

Call 1

Inputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))

Outputs

(-.f64 (*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))) (/.f64 a (*.f64 b #s(literal 3 binary64))))

#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))

Calls

16 calls:

9.0ms	b
7.0ms	(/.f64 (*.f64 z t) #s(literal 3 binary64))
3.0ms	(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
3.0ms	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
3.0ms	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))

Results

Accuracy	Segments	Branch
66.8%	1	`x`
66.8%	1	`y`
66.8%	1	`z`
66.8%	1	`t`
66.8%	1	`a`
66.8%	1	`b`
69.4%	2	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))`
69.5%	2	`(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))`
66.8%	1	`(*.f64 #s(literal 2 binary64) (sqrt.f64 x))`
66.8%	1	`(sqrt.f64 x)`
69.4%	2	`(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))`
66.8%	1	`(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))`
66.8%	1	`(/.f64 (*.f64 z t) #s(literal 3 binary64))`
66.8%	1	`(*.f64 z t)`
66.8%	1	`(/.f64 a (*.f64 b #s(literal 3 binary64)))`
66.8%	1	`(*.f64 b #s(literal 3 binary64))`

Compiler

Compiled 75 to 139 computations (-85.3% saved)

regimes55.0ms (1.6%)

Memory

7.4MiB live, 82.3MiB allocated

Counts

6 → 1

Calls

Call 1

Inputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))

Outputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))

Calls

16 calls:

7.0ms	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
7.0ms	(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
4.0ms	(*.f64 b #s(literal 3 binary64))
3.0ms	(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
3.0ms	(sqrt.f64 x)

Results

Accuracy	Segments	Branch
5.1%	1	`y`
5.1%	1	`x`
5.1%	1	`z`
5.1%	1	`t`
5.1%	1	`a`
5.1%	1	`(*.f64 #s(literal 2 binary64) (sqrt.f64 x))`
5.1%	1	`(sqrt.f64 x)`
5.1%	1	`(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))`
5.1%	1	`(/.f64 (*.f64 z t) #s(literal 3 binary64))`
5.1%	1	`(*.f64 z t)`
5.1%	1	`(/.f64 a (*.f64 b #s(literal 3 binary64)))`
5.1%	1	`b`
5.1%	1	`(*.f64 b #s(literal 3 binary64))`
5.1%	1	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))`
5.1%	1	`(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))`
5.1%	1	`(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))`

Compiler

Compiled 75 to 139 computations (-85.3% saved)

regimes39.0ms (1.1%)

Memory

-24.6MiB live, 58.5MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))

#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))

#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 a (*.f64 b #s(literal 3 binary64))))

Outputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))

Calls

16 calls:

7.0ms	(*.f64 z t)
6.0ms	t
2.0ms	(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
2.0ms	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
2.0ms	(*.f64 #s(literal 2 binary64) (sqrt.f64 x))

Results

Accuracy	Segments	Branch
5.1%	1	`(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))`
5.1%	1	`(/.f64 (*.f64 z t) #s(literal 3 binary64))`
5.1%	1	`(*.f64 z t)`
5.1%	1	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))`
5.1%	1	`y`
5.1%	1	`(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))`
5.1%	1	`z`
5.1%	1	`b`
5.1%	1	`(*.f64 b #s(literal 3 binary64))`
5.1%	1	`x`
5.1%	1	`a`
5.1%	1	`(*.f64 #s(literal 2 binary64) (sqrt.f64 x))`
5.1%	1	`(sqrt.f64 x)`
5.1%	1	`t`
5.1%	1	`(/.f64 a (*.f64 b #s(literal 3 binary64)))`
5.1%	1	`(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))`

Compiler

Compiled 75 to 139 computations (-85.3% saved)

regimes23.0ms (0.7%)

Memory

8.7MiB live, 47.0MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))

Outputs
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))

Calls

16 calls:

4.0ms	x
1.0ms	(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
1.0ms	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
1.0ms	t
1.0ms	(*.f64 #s(literal 2 binary64) (sqrt.f64 x))

Results

Accuracy	Segments	Branch
2.9%	1	`(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))`
2.9%	1	`b`
2.9%	1	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))`
2.9%	1	`(*.f64 b #s(literal 3 binary64))`
2.9%	1	`t`
2.9%	1	`x`
2.9%	1	`(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))`
2.9%	1	`(*.f64 #s(literal 2 binary64) (sqrt.f64 x))`
2.9%	1	`(sqrt.f64 x)`
2.9%	1	`(/.f64 (*.f64 z t) #s(literal 3 binary64))`
2.9%	1	`(*.f64 z t)`
2.9%	1	`(/.f64 a (*.f64 b #s(literal 3 binary64)))`
2.9%	1	`y`
2.9%	1	`z`
2.9%	1	`a`
2.9%	1	`(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))`

Compiler

Compiled 75 to 139 computations (-85.3% saved)

bsearch0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4.0979474388838816e+148	5.0353035709871783e+151

Compiler

Compiled 22 to 28 computations (-27.3% saved)

simplify5.0ms (0.1%)

Memory

10.1MiB live, 10.1MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(if (<=.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) #s(literal 50000000000000002448836328757526028978611350176537194437252118729508413179669237808061576462363823189655653234075513838102671645933129260855113809920 binary64)) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))) #s(approx (- ( (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64))))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))

Outputs
(if (<=.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) #s(literal 50000000000000002448836328757526028978611350176537194437252118729508413179669237808061576462363823189655653234075513838102671645933129260855113809920 binary64)) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))) #s(approx (- ( (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64))))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/.f64 (*.f64 z t) #s(literal 3 binary64)))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 z t))
#s(approx (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (*.f64 b #s(literal 3 binary64)))

soundness1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Stop Event

1×

done

Compiler

Compiled 131 to 36 computations (72.5% saved)

preprocess52.0ms (1.5%)

Memory: 2.3MiB live, 77.6MiB allocated
Compiler: Compiled 434 to 188 computations (56.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze250.0ms (7.1%)

sample2.4s (69.7%)

explain251.0ms (7.1%)

preprocess5.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify1.0ms (0%)

localize71.0ms (2%)

series42.0ms (1.2%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0%)

prune3.0ms (0.1%)

simplify1.0ms (0%)

localize76.0ms (2.2%)

series23.0ms (0.6%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval2.0ms (0%)

prune4.0ms (0.1%)

simplify1.0ms (0%)

localize65.0ms (1.9%)

series22.0ms (0.6%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0%)

prune5.0ms (0.1%)

regimes59.0ms (1.7%)

regimes55.0ms (1.6%)

regimes39.0ms (1.1%)

regimes23.0ms (0.7%)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

soundness1.0ms (0%)

preprocess52.0ms (1.5%)

end0.0ms (0%)

Profiling