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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze532.0ms (5.6%)

Memory

17.6MiB live, 660.1MiB allocated; 171ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
4.2%	3.1%	71.7%	0.2%	0%	25%	0%	9
4.2%	3.1%	71.3%	0.2%	0%	25.3%	0%	10
6.3%	4.7%	69.2%	0.2%	0%	25.9%	0%	11
9.2%	6.6%	65.8%	0.2%	0%	27.4%	0%	12

Compiler

Compiled 21 to 20 computations (4.8% saved)

sample6.5s (67.7%)

Memory

97.5MiB live, 7 585.0MiB allocated; 1.8s collecting garbage

Samples

3.0s	15 752×	0	invalid
1.7s	8 256×	0	valid

Precisions

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

ival-mult: 1.6s (45.5% of total)

ival-div: 1.3s (36.1% of total)

ival-acos: 351.0ms (9.7% of total)

ival-sqrt: 245.0ms (6.8% of total)

exact: 52.0ms (1.4% of total)

adjust: 8.0ms (0.2% of total)

ival-assert: 8.0ms (0.2% of total)

Bogosity

explain259.0ms (2.7%)

Memory

2.0MiB live, 425.0MiB allocated; 62ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
22	-	1	(4.5841615586997367e-172 3.2333951627165756e+149 -3.9695560113820175e-148 4.928062650752571e+227)	`(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))`
15	-	4	(-5.858368283730463e-223 8.169826992378329e+225 1.2850654941828865e-129 6.437053269483558e+138)	`(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))`
1	-	0	-	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`
0	-	0	-	`t`
0	-	0	-	`#s(literal 3 binary64)`
0	-	0	-	`#s(literal 1 binary64)`
0	-	0	-	`(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))`
0	-	0	-	`(*.f64 y #s(literal 27 binary64))`
0	-	0	-	`y`
0	-	0	-	`#s(literal 27 binary64)`
0	-	0	-	`z`
0	-	0	-	`(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))`
0	-	0	-	`(acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(*.f64 z #s(literal 2 binary64))`
0	-	0	-	`(sqrt.f64 t)`
0	-	0	-	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))`	u/n	18	0
↳	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`	underflow	53
↳	`(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))`	underflow	53
`*.f64`	`(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))`	*nu**	11	0
`/.f64`	`(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))`	o/n	3	0
↳	`(*.f64 y #s(literal 27 binary64))`	overflow	2
↳	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`	overflow	3
↳	`(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))`	overflow	3
`/.f64`	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`	n/o	1	0
↳	`(*.f64 y #s(literal 27 binary64))`	overflow	2

Confusion

	Predicted +	Predicted -
+	3	0
-	30	223

Precision

0.09090909090909091

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3	0	0
-	30	0	223

Precision?

0.09090909090909091

Recall?

1.0

Freqs

test

number	freq
0	223
1	33

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

131.0ms

512×

valid

Compiler

Compiled 203 to 58 computations (71.4% saved)

Precisions

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

ival-mult: 54.0ms (69.3% of total)

ival-div: 11.0ms (14.1% of total)

ival-acos: 7.0ms (9% of total)

ival-sqrt: 4.0ms (5.1% of total)

exact: 1.0ms (1.3% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess194.0ms (2%)

Memory

21.8MiB live, 263.5MiB allocated; 44ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	92	263
1	287	227
2	1042	197
3	3987	197
4	7017	197
0	18	17
0	29	17
1	50	15
2	137	13
3	494	13
4	2142	13
5	5176	13
0	8214	13

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

Outputs

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

(*.f64 (acos.f64 (*.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))) #s(literal 1/3 binary64))

Symmetry

(sort y z)

Compiler

Compiled 19 to 18 computations (5.3% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.3%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

Status

Accuracy

Program

▶

97.3%

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify129.0ms (1.3%)

Memory

18.0MiB live, 152.7MiB allocated; 16ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
cost-diff	2	(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))
cost-diff	2	(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
cost-diff	2	(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	86
0	29	86
1	50	76
2	137	68
3	494	68
4	2142	68
5	5176	68
0	8214	68

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
#s(literal 1 binary64)
#s(literal 3 binary64)
(acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))
(/.f64 x (*.f64 y #s(literal 27 binary64)))
x
(*.f64 y #s(literal 27 binary64))
y
#s(literal 27 binary64)
(*.f64 z #s(literal 2 binary64))
z
#s(literal 2 binary64)
(sqrt.f64 t)
t

Outputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))) #s(literal 1/3 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
#s(literal 1/3 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
(acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(acos.f64 (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y)))
(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))
(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(*.f64 (/.f64 #s(literal 1/18 binary64) z) (/.f64 x y))
(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))
(*.f64 (/.f64 #s(literal 1/9 binary64) y) x)
(/.f64 x (*.f64 y #s(literal 27 binary64)))
(/.f64 (/.f64 x #s(literal 27 binary64)) y)
x
(*.f64 y #s(literal 27 binary64))
(*.f64 #s(literal 27 binary64) y)
y
#s(literal 27 binary64)
(*.f64 z #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) z)
z
#s(literal 2 binary64)
(sqrt.f64 t)
t

localize59.0ms (0.6%)

Memory

-5.4MiB live, 94.8MiB allocated; 11ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.20703125	(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))
accuracy	0.984375	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
accuracy	2.850262219943666	(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
accuracy	5.40804300197879	(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))

Samples

49.0ms

256×

valid

Compiler

Compiled 92 to 20 computations (78.3% saved)

Precisions

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

ival-div: 19.0ms (54.7% of total)

ival-mult: 11.0ms (31.7% of total)

ival-sqrt: 2.0ms (5.8% of total)

ival-acos: 2.0ms (5.8% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series28.0ms (0.3%)

Memory

4.6MiB live, 50.2MiB allocated; 6ms collecting garbage

Counts

5 → 6

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))

Outputs
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* 3 (/ x (* y 27))) #s(hole binary64 (* 1/9 (/ x y))))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))

Calls

12 calls:

Time	Variable		Point	Expression
7.0ms	x	@	inf	((/ 1 3) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))
3.0ms	y	@	0	((/ 1 3) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))
3.0ms	x	@	0	((/ 1 3) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))
2.0ms	t	@	-inf	((/ 1 3) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))
2.0ms	x	@	-inf	((/ 1 3) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))

simplify103.0ms (1.1%)

Memory

-34.8MiB live, 110.4MiB allocated; 37ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	47	149
1	105	134
2	337	122
3	1300	122
0	3788	122

Stop Event

1×	iter limit
1×	iter limit
1×	node limit

Counts

6 → 6

Calls

Call 1

Inputs
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* 3 (/ x (* y 27))) #s(hole binary64 (* 1/9 (/ x y))))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))

Outputs
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) (*.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x))
#s(approx (* 3 (/ x (* y 27))) #s(hole binary64 (* 1/9 (/ x y))))
#s(approx (* 3 (/ x (* y 27))) (*.f64 (/.f64 #s(literal 1/9 binary64) y) x))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64)))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x)))

rewrite46.0ms (0.5%)

Memory

17.2MiB live, 109.5MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	50
0	29	50
1	63	42
0	256	42

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

5 → 50

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))

Outputs
#s(literal 1/3 binary64)
(.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))
(.f64 #s(literal 3/2 binary64) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z))
(*.f64 (/.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) z) #s(literal 3 binary64))
(*.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (/.f64 #s(literal 3 binary64) z))
(*.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 x y) #s(literal 54 binary64)))
(.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) (/.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) z)))
(*.f64 #s(literal 3 binary64) (/.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) z))
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 (/.f64 x y) #s(literal 54 binary64))) z)
(/.f64 (.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 x (.f64 #s(literal 27 binary64) y))) #s(literal 2 binary64))
(/.f64 (/.f64 (*.f64 #s(literal 1/9 binary64) (/.f64 x y)) #s(literal 2 binary64)) z)
(/.f64 (neg.f64 (/.f64 (*.f64 #s(literal 1/9 binary64) (/.f64 x y)) z)) #s(literal -2 binary64))
(/.f64 (neg.f64 (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)))) (neg.f64 (.f64 #s(literal -2 binary64) z)))
(/.f64 (/.f64 (*.f64 #s(literal 1/9 binary64) (/.f64 x y)) z) #s(literal 2 binary64))
(/.f64 (.f64 x #s(literal 3 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) (.f64 #s(literal 2 binary64) z)))
(/.f64 (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y))) (.f64 #s(literal -2 binary64) z))
(/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (.f64 #s(literal 2 binary64) z))
(neg.f64 (/.f64 (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y))) (.f64 #s(literal 2 binary64) z)))
(neg.f64 (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (.f64 #s(literal -2 binary64) z)))
(*.f64 #s(literal 1/9 binary64) (/.f64 x y))
(*.f64 (/.f64 #s(literal 3 binary64) y) (/.f64 x #s(literal 27 binary64)))
(.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) #s(literal 3 binary64))
(.f64 #s(literal 3 binary64) (/.f64 x (.f64 #s(literal 27 binary64) y)))
(/.f64 (/.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 27 binary64)) y)
(/.f64 (/.f64 (*.f64 x #s(literal 3 binary64)) y) #s(literal 27 binary64))
(/.f64 (*.f64 (/.f64 x y) #s(literal 3 binary64)) #s(literal 27 binary64))
(/.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (.f64 #s(literal -27 binary64) y))
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x y)) #s(literal 27 binary64))
(/.f64 (.f64 #s(literal 3 binary64) (neg.f64 x)) (.f64 #s(literal -27 binary64) y))
(/.f64 (neg.f64 (.f64 x #s(literal 3 binary64))) (.f64 #s(literal -27 binary64) y))
(/.f64 (.f64 x #s(literal 3 binary64)) (.f64 #s(literal 27 binary64) y))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))))
(.f64 (.f64 (sqrt.f64 t) (/.f64 #s(literal 3 binary64) z)) (/.f64 (/.f64 x y) #s(literal 54 binary64)))
(.f64 (.f64 (sqrt.f64 t) #s(literal 3 binary64)) (/.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) z))
(.f64 (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 t) z))
(.f64 (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) z) (/.f64 (sqrt.f64 t) #s(literal 2 binary64)))
(.f64 (/.f64 #s(literal 3 binary64) z) (.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (sqrt.f64 t)))
(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))
(.f64 (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)) (sqrt.f64 t))
(.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (/.f64 (sqrt.f64 t) (*.f64 #s(literal 2 binary64) z)))
(.f64 #s(literal 3 binary64) (.f64 (/.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) z) (sqrt.f64 t)))
(/.f64 (/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/9 binary64) (/.f64 x y))) #s(literal 2 binary64)) z)
(/.f64 (/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/9 binary64) (/.f64 x y))) z) #s(literal 2 binary64))
(/.f64 (.f64 (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) z) (sqrt.f64 t)) #s(literal 2 binary64))
(/.f64 (.f64 (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y))) (sqrt.f64 t)) (*.f64 #s(literal -2 binary64) z))
(/.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) z)) #s(literal 2 binary64))
(/.f64 (.f64 (sqrt.f64 t) (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)))) (*.f64 #s(literal -2 binary64) z))
(/.f64 (neg.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/9 binary64) (/.f64 x y)))) (*.f64 #s(literal -2 binary64) z))
(/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 #s(literal 2 binary64) z))

eval7.0ms (0.1%)

Memory: 25.8MiB live, 25.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 036 to 299 computations (71.1% saved)

prune9.0ms (0.1%)

Memory

-36.9MiB live, 15.9MiB allocated; 7ms collecting garbage

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	3	56

Accuracy

98.5%

Counts

56 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.3%	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))
▶	97.0%	#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))
▶	96.9%	#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64)))

Status

Accuracy

Program

▶

97.3%

(*.f64 (acos.f64 (*.f64 (sqrt.f64 t) (*.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))

▶

97.0%

#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 (acos.f64 (/.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))

▶

96.9%

#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 (acos.f64 (*.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64)))

Compiler

Compiled 81 to 71 computations (12.3% saved)

simplify145.0ms (1.5%)

Memory

39.1MiB live, 274.5MiB allocated; 15ms collecting garbage

Localize:

Found 12 expressions of interest:

New	Metric	Score
cost-diff	0	(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))
cost-diff	0	(acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))))
cost-diff	0	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))
cost-diff	2	(.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))
cost-diff	0	(/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)
cost-diff	0	(acos.f64 (/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z))
cost-diff	0	(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64))
cost-diff	0	#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))
cost-diff	0	(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x))
cost-diff	0	(acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x)))
cost-diff	0	(.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64))
cost-diff	0	#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64)))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	44	249
0	64	243
1	116	239
2	287	233
3	872	233
4	2462	233
5	6210	233
0	8777	233

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x)))
(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x))
(/.f64 (/.f64 #s(literal 1/18 binary64) z) y)
(/.f64 #s(literal 1/18 binary64) z)
#s(literal 1/18 binary64)
z
y
(*.f64 (sqrt.f64 t) x)
(sqrt.f64 t)
t
x
#s(literal 1/3 binary64)
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z))
(/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)
(.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64))
(*.f64 (/.f64 (sqrt.f64 t) y) x)
(/.f64 (sqrt.f64 t) y)
(sqrt.f64 t)
t
y
x
#s(literal -1/18 binary64)
z
#s(literal 1/3 binary64)
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))))
(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))
(sqrt.f64 t)
t
(.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))
(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)
(/.f64 x (*.f64 #s(literal 27 binary64) y))
x
(*.f64 #s(literal 27 binary64) y)
#s(literal 27 binary64)
y
z
#s(literal 3/2 binary64)
#s(literal 1/3 binary64)

Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) #s(literal 1/18 binary64)) (/.f64 x z))) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64))
(.f64 (acos.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) #s(literal 1/18 binary64)) (/.f64 x z))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x)))
(acos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) #s(literal 1/18 binary64)) (/.f64 x z)))
(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x))
(.f64 (.f64 (/.f64 (sqrt.f64 t) y) #s(literal 1/18 binary64)) (/.f64 x z))
(/.f64 (/.f64 #s(literal 1/18 binary64) z) y)
(/.f64 #s(literal 1/18 binary64) z)
#s(literal 1/18 binary64)
z
y
(*.f64 (sqrt.f64 t) x)
(sqrt.f64 t)
t
x
#s(literal 1/3 binary64)
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64))
(.f64 (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z)) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z))
(acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z))
(/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)
(/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)
(.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64))
(.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x))
(*.f64 (/.f64 (sqrt.f64 t) y) x)
(/.f64 (sqrt.f64 t) y)
(sqrt.f64 t)
t
y
x
#s(literal -1/18 binary64)
z
#s(literal 1/3 binary64)
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))
(.f64 (acos.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) #s(literal 1/18 binary64)) (/.f64 x z))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))))
(acos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) #s(literal 1/18 binary64)) (/.f64 x z)))
(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))
(.f64 (.f64 (/.f64 (sqrt.f64 t) y) #s(literal 1/18 binary64)) (/.f64 x z))
(sqrt.f64 t)
t
(.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))
(*.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x)
(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)
(/.f64 (/.f64 x z) (*.f64 #s(literal 27 binary64) y))
(/.f64 x (*.f64 #s(literal 27 binary64) y))
(/.f64 (/.f64 x #s(literal 27 binary64)) y)
x
(*.f64 #s(literal 27 binary64) y)
#s(literal 27 binary64)
y
z
#s(literal 3/2 binary64)
#s(literal 1/3 binary64)

localize259.0ms (2.7%)

Memory

-39.0MiB live, 148.3MiB allocated; 27ms collecting garbage

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.25	(.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))
accuracy	0.984375	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))
accuracy	2.850262219943666	(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))
accuracy	5.166599905410381	(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)
accuracy	0.7217471132162422	#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))
accuracy	0.98046875	(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64))
accuracy	2.2591719181968584	(*.f64 (/.f64 (sqrt.f64 t) y) x)
accuracy	5.958965964970227	(/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)
accuracy	0.23046875	(*.f64 (sqrt.f64 t) x)
accuracy	0.36328125	(/.f64 #s(literal 1/18 binary64) z)
accuracy	0.984375	(.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64))
accuracy	6.365494339491539	(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x))

Samples

125.0ms

256×

valid

Compiler

Compiled 227 to 43 computations (81.1% saved)

Precisions

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

ival-mult: 50.0ms (47% of total)

ival-div: 36.0ms (33.8% of total)

const: 9.0ms (8.5% of total)

ival-acos: 8.0ms (7.5% of total)

ival-sqrt: 2.0ms (1.9% of total)

exact: 1.0ms (0.9% of total)

adjust: 0.0ms (0% of total)

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

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

series65.0ms (0.7%)

Memory

10.9MiB live, 55.2MiB allocated; 8ms collecting garbage

Counts

16 → 27

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x)))
(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z))
(/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)
(.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))))
(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))
(/.f64 #s(literal 1/18 binary64) z)
(*.f64 (sqrt.f64 t) x)
(*.f64 (/.f64 (sqrt.f64 t) y) x)
(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)

Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) #s(hole binary64 (* 1/3 (acos (* -1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) #s(hole binary64 (acos (* -1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (/ (* (* (/ (sqrt t) y) x) -1/18) z) #s(hole binary64 (* -1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (/ (/ x (* 27 y)) z) 3/2) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (sqrt t) x) #s(hole binary64 (* (sqrt t) x)))
#s(approx (* (/ (sqrt t) y) x) #s(hole binary64 (* (sqrt t) (/ x y))))
#s(approx (/ (/ x (* 27 y)) z) #s(hole binary64 (* 1/27 (/ x (* y z)))))
#s(approx (/ 1/18 z) #s(hole binary64 (/ 1/18 z)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) #s(hole binary64 (* 1/3 (acos (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) #s(hole binary64 (acos (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (/ (* (* (/ (sqrt t) y) x) -1/18) z) #s(hole binary64 (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (sqrt t) x) #s(hole binary64 (* -1 (* (sqrt t) (* x (pow (sqrt -1) 2))))))
#s(approx (* (/ (sqrt t) y) x) #s(hole binary64 (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) y)))))

Calls

12 calls:

Time	Variable		Point	Expression
31.0ms	t	@	0	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) (* (/ (/ 1/18 z) y) (* (sqrt t) x)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) (/ (* (* (/ (sqrt t) y) x) -1/18) z) (* (/ (/ x (* 27 y)) z) 3/2) (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) (/ 1/18 z) (* (sqrt t) x) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z))
6.0ms	x	@	0	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) (* (/ (/ 1/18 z) y) (* (sqrt t) x)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) (/ (* (* (/ (sqrt t) y) x) -1/18) z) (* (/ (/ x (* 27 y)) z) 3/2) (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) (/ 1/18 z) (* (sqrt t) x) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z))
4.0ms	x	@	-inf	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) (* (/ (/ 1/18 z) y) (* (sqrt t) x)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) (/ (* (* (/ (sqrt t) y) x) -1/18) z) (* (/ (/ x (* 27 y)) z) 3/2) (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) (/ 1/18 z) (* (sqrt t) x) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z))
3.0ms	t	@	-inf	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) (* (/ (/ 1/18 z) y) (* (sqrt t) x)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) (/ (* (* (/ (sqrt t) y) x) -1/18) z) (* (/ (/ x (* 27 y)) z) 3/2) (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) (/ 1/18 z) (* (sqrt t) x) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z))
3.0ms	x	@	inf	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) (* (/ (/ 1/18 z) y) (* (sqrt t) x)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) (/ (* (* (/ (sqrt t) y) x) -1/18) z) (* (/ (/ x (* 27 y)) z) 3/2) (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) (/ 1/18 z) (* (sqrt t) x) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z))

simplify78.0ms (0.8%)

Memory

29.2MiB live, 74.1MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	99	622
1	213	582
2	623	561
0	2085	561

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound

Counts

27 → 27

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) #s(hole binary64 (* 1/3 (acos (* -1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) #s(hole binary64 (acos (* -1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (/ (* (* (/ (sqrt t) y) x) -1/18) z) #s(hole binary64 (* -1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (/ (/ x (* 27 y)) z) 3/2) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (sqrt t) x) #s(hole binary64 (* (sqrt t) x)))
#s(approx (* (/ (sqrt t) y) x) #s(hole binary64 (* (sqrt t) (/ x y))))
#s(approx (/ (/ x (* 27 y)) z) #s(hole binary64 (* 1/27 (/ x (* y z)))))
#s(approx (/ 1/18 z) #s(hole binary64 (/ 1/18 z)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) #s(hole binary64 (* 1/3 (acos (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) #s(hole binary64 (acos (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (/ (* (* (/ (sqrt t) y) x) -1/18) z) #s(hole binary64 (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (sqrt t) x) #s(hole binary64 (* -1 (* (sqrt t) (* x (pow (sqrt -1) 2))))))
#s(approx (* (/ (sqrt t) y) x) #s(hole binary64 (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) y)))))

Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (.f64 (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))) #s(literal 1/3 binary64)))
#s(approx (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (.f64 (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))) #s(literal 1/3 binary64)))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) (acos.f64 (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y)))
#s(approx (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) #s(hole binary64 (* 1/3 (acos (* -1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) (.f64 (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z)) #s(literal 1/3 binary64)))
#s(approx (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) #s(hole binary64 (acos (* -1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)))
#s(approx (/ (* (* (/ (sqrt t) y) x) -1/18) z) #s(hole binary64 (* -1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* (* (/ (sqrt t) y) x) -1/18) z) (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z))
#s(approx (* (/ (/ x (* 27 y)) z) 3/2) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* (/ (/ x (* 27 y)) z) 3/2) (*.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (.f64 (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))) #s(literal 1/3 binary64)))
#s(approx (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) (acos.f64 (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))))
#s(approx (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y)))
#s(approx (* (sqrt t) x) #s(hole binary64 (* (sqrt t) x)))
#s(approx (* (sqrt t) x) (*.f64 (sqrt.f64 t) x))
#s(approx (* (/ (sqrt t) y) x) #s(hole binary64 (* (sqrt t) (/ x y))))
#s(approx (* (/ (sqrt t) y) x) (*.f64 (/.f64 (sqrt.f64 t) y) x))
#s(approx (/ (/ x (* 27 y)) z) #s(hole binary64 (* 1/27 (/ x (* y z)))))
#s(approx (/ (/ x (* 27 y)) z) (.f64 #s(literal 1/27 binary64) (/.f64 x (.f64 z y))))
#s(approx (/ 1/18 z) #s(hole binary64 (/ 1/18 z)))
#s(approx (/ 1/18 z) (/.f64 #s(literal 1/18 binary64) z))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (.f64 (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z)) #s(literal 1/3 binary64)))
#s(approx (* (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (.f64 (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z)) #s(literal 1/3 binary64)))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y)))
#s(approx (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) #s(hole binary64 (* 1/3 (acos (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) 1/3) (.f64 (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))) #s(literal 1/3 binary64)))
#s(approx (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) #s(hole binary64 (acos (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (acos (/ (* (* (/ (sqrt t) y) x) -1/18) z)) (acos.f64 (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y))))
#s(approx (/ (* (* (/ (sqrt t) y) x) -1/18) z) #s(hole binary64 (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (/ (* (* (/ (sqrt t) y) x) -1/18) z) (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) 1/3) (.f64 (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z)) #s(literal 1/3 binary64)))
#s(approx (acos (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (acos (* (/ (/ 1/18 z) y) (* (sqrt t) x))) (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)))
#s(approx (* (sqrt t) (* (/ (/ x (* 27 y)) z) 3/2)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (/ (/ 1/18 z) y) (* (sqrt t) x)) (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) z)) (/.f64 x y)))
#s(approx (* (sqrt t) x) #s(hole binary64 (* -1 (* (sqrt t) (* x (pow (sqrt -1) 2))))))
#s(approx (* (sqrt t) x) (*.f64 (sqrt.f64 t) x))
#s(approx (* (/ (sqrt t) y) x) #s(hole binary64 (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) y)))))
#s(approx (* (/ (sqrt t) y) x) (*.f64 (/.f64 (sqrt.f64 t) y) x))

rewrite135.0ms (1.4%)

Memory

-34.8MiB live, 100.4MiB allocated; 52ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	199
0	64	199
1	150	195
0	554	195

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

16 → 117

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x)))
(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z))
(/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)
(.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))))
(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))
(/.f64 #s(literal 1/18 binary64) z)
(*.f64 (sqrt.f64 t) x)
(*.f64 (/.f64 (sqrt.f64 t) y) x)
(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)

Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (*.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (.f64 (*.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))) #s(literal 1/3 binary64))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))))
(/.f64 (-.f64 (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64))) (.f64 (asin.f64 (.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))) (asin.f64 (.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))))) (+.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))) #s(literal 3 binary64))) (fma.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64)) (fma.f64 (asin.f64 (.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))) (asin.f64 (.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))) (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (.f64 (*.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t)))))))
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))))
(acos.f64 (.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t)))
(.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) x) (sqrt.f64 t))
(.f64 (.f64 (sqrt.f64 t) (/.f64 (/.f64 #s(literal 1/18 binary64) z) y)) x)
(.f64 (.f64 (sqrt.f64 t) x) (/.f64 (/.f64 #s(literal 1/18 binary64) z) y))
(.f64 (sqrt.f64 t) (.f64 x (/.f64 (/.f64 #s(literal 1/18 binary64) z) y)))
(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x))
(.f64 (/.f64 #s(literal 1/18 binary64) z) (.f64 (/.f64 (sqrt.f64 t) y) x))
(.f64 x (.f64 (sqrt.f64 t) (/.f64 (/.f64 #s(literal 1/18 binary64) z) y)))
(/.f64 (.f64 (/.f64 #s(literal -1/18 binary64) z) (.f64 (sqrt.f64 t) x)) (neg.f64 y))
(/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 z y))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) (/.f64 #s(literal -1/18 binary64) z)) (neg.f64 y))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))
(/.f64 (neg.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t))) (neg.f64 y))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z)) #s(literal 1/3 binary64))
(.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z)))
(/.f64 (-.f64 (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64))) (.f64 (asin.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)) (asin.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)))) (+.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z))))
(/.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64)) (fma.f64 (asin.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)) (asin.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)) (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (*.f64 (/.f64 (sqrt.f64 t) y) x)) z))))))
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)))
(acos.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z))
(.f64 (/.f64 #s(literal -1/18 binary64) z) (.f64 (/.f64 (sqrt.f64 t) y) x))
(.f64 #s(literal -1/18 binary64) (/.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) z))
(.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) (/.f64 #s(literal -1/18 binary64) z))
(.f64 (/.f64 (sqrt.f64 t) y) (/.f64 (.f64 #s(literal -1/18 binary64) x) z))
(.f64 (/.f64 (sqrt.f64 t) y) (.f64 x (/.f64 #s(literal -1/18 binary64) z)))
(.f64 x (.f64 (/.f64 (sqrt.f64 t) y) (/.f64 #s(literal -1/18 binary64) z)))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) (/.f64 #s(literal -1/18 binary64) z)) y)
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal -1/18 binary64)) (*.f64 z y))
(/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal 1/18 binary64)) (neg.f64 z))
(/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) (neg.f64 (neg.f64 z)))
(/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) z)
(neg.f64 (/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal 1/18 binary64)) z))
(neg.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (/.f64 (sqrt.f64 t) y) x)) (neg.f64 z)))
(*.f64 (/.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) z) #s(literal 3 binary64))
(*.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (/.f64 #s(literal 3 binary64) z))
(*.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 x y) #s(literal 54 binary64)))
(.f64 #s(literal 3/2 binary64) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z))
(.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64))
(.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) (/.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) z)))
(.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) (/.f64 #s(literal 3/2 binary64) z))
(*.f64 #s(literal 3 binary64) (/.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) z))
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 (/.f64 x y) #s(literal 54 binary64))) z)
(/.f64 (.f64 (/.f64 x (.f64 #s(literal -27 binary64) y)) #s(literal 3/2 binary64)) (neg.f64 z))
(/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z))
(/.f64 (.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 x (.f64 #s(literal 27 binary64) y))) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 3/2 binary64) (/.f64 x (.f64 #s(literal -27 binary64) y))) (neg.f64 z))
(/.f64 (.f64 #s(literal 3/2 binary64) x) (.f64 (*.f64 #s(literal 27 binary64) y) z))
(/.f64 (/.f64 (*.f64 #s(literal 1/9 binary64) (/.f64 x y)) #s(literal 2 binary64)) z)
(/.f64 (neg.f64 (/.f64 (*.f64 #s(literal 1/9 binary64) (/.f64 x y)) z)) #s(literal -2 binary64))
(/.f64 (neg.f64 (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)))) (neg.f64 (.f64 #s(literal -2 binary64) z)))
(/.f64 (neg.f64 (.f64 #s(literal 3/2 binary64) (/.f64 x (.f64 #s(literal 27 binary64) y)))) (neg.f64 z))
(/.f64 (/.f64 (*.f64 #s(literal 1/9 binary64) (/.f64 x y)) z) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 3/2 binary64) (/.f64 x (.f64 #s(literal 27 binary64) y))) z)
(/.f64 (.f64 x #s(literal 3 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) (.f64 #s(literal 2 binary64) z)))
(/.f64 (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y))) (.f64 #s(literal -2 binary64) z))
(/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (.f64 #s(literal 2 binary64) z))
(neg.f64 (/.f64 (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y))) (.f64 #s(literal 2 binary64) z)))
(neg.f64 (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (.f64 #s(literal -2 binary64) z)))
(.f64 (acos.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z))) #s(literal 1/3 binary64))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z))))
(/.f64 (-.f64 (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64))) (.f64 (asin.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z))) (asin.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z))))) (+.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z))) #s(literal 3 binary64))) (fma.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64)) (fma.f64 (asin.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z))) (asin.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z))) (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)))))))
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z))))
(acos.f64 (.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)))
(.f64 (.f64 (sqrt.f64 t) #s(literal 3/2 binary64)) (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z))
(.f64 (.f64 (sqrt.f64 t) (/.f64 #s(literal 3 binary64) z)) (/.f64 (/.f64 x y) #s(literal 54 binary64)))
(.f64 (.f64 (sqrt.f64 t) #s(literal 3 binary64)) (/.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) z))
(.f64 (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 t) z))
(.f64 (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) z) (/.f64 (sqrt.f64 t) #s(literal 2 binary64)))
(.f64 (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) (sqrt.f64 t)) #s(literal 3/2 binary64))
(.f64 (/.f64 #s(literal 3 binary64) z) (.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (sqrt.f64 t)))
(.f64 (.f64 #s(literal 3/2 binary64) (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)) (sqrt.f64 t))
(.f64 #s(literal 3/2 binary64) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) (sqrt.f64 t)))
(.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) (*.f64 #s(literal 3/2 binary64) (sqrt.f64 t)))
(.f64 (sqrt.f64 t) (.f64 #s(literal 3/2 binary64) (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)))
(.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (/.f64 (sqrt.f64 t) (*.f64 #s(literal 2 binary64) z)))
(.f64 #s(literal 3 binary64) (.f64 (/.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) z) (sqrt.f64 t)))
(/.f64 (/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/9 binary64) (/.f64 x y))) #s(literal 2 binary64)) z)
(/.f64 (/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/9 binary64) (/.f64 x y))) z) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 #s(literal 3/2 binary64) (/.f64 x (*.f64 #s(literal 27 binary64) y))) (sqrt.f64 t)) z)
(/.f64 (.f64 (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) z) (sqrt.f64 t)) #s(literal 2 binary64))
(/.f64 (.f64 (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y))) (sqrt.f64 t)) (*.f64 #s(literal -2 binary64) z))
(/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 3/2 binary64) (/.f64 x (*.f64 #s(literal 27 binary64) y)))) z)
(/.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) z)) #s(literal 2 binary64))
(/.f64 (.f64 (sqrt.f64 t) (neg.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)))) (*.f64 #s(literal -2 binary64) z))
(/.f64 (neg.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/9 binary64) (/.f64 x y)))) (*.f64 #s(literal -2 binary64) z))
(/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 #s(literal 2 binary64) z))
(/.f64 #s(literal -1/18 binary64) (neg.f64 z))
(/.f64 #s(literal 1/18 binary64) (neg.f64 (neg.f64 z)))
(/.f64 #s(literal 1/18 binary64) z)
(neg.f64 (/.f64 #s(literal -1/18 binary64) z))
(*.f64 (sqrt.f64 t) x)
(*.f64 x (sqrt.f64 t))
(*.f64 (/.f64 (sqrt.f64 t) y) x)
(*.f64 (sqrt.f64 t) (/.f64 x y))
(*.f64 x (/.f64 (sqrt.f64 t) y))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 t)) x) (neg.f64 y))
(/.f64 (*.f64 x (neg.f64 (sqrt.f64 t))) (neg.f64 y))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 t) x)) (neg.f64 y))
(/.f64 (*.f64 (sqrt.f64 t) x) y)
(/.f64 (/.f64 x #s(literal 27 binary64)) (*.f64 z y))
(/.f64 (/.f64 x y) (*.f64 #s(literal 27 binary64) z))
(/.f64 (/.f64 x (*.f64 #s(literal -27 binary64) y)) (neg.f64 z))
(/.f64 (neg.f64 x) (.f64 (.f64 #s(literal -27 binary64) y) z))
(/.f64 (neg.f64 x) (neg.f64 (.f64 (.f64 #s(literal 27 binary64) y) z)))
(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) (neg.f64 (neg.f64 z)))
(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)
(/.f64 x (.f64 (.f64 #s(literal 27 binary64) y) z))
(neg.f64 (/.f64 (/.f64 x (*.f64 #s(literal -27 binary64) y)) z))
(neg.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) (neg.f64 z)))

eval44.0ms (0.5%)

Memory: 2.9MiB live, 49.8MiB allocated; 2ms collecting garbage
Compiler: Compiled 3 632 to 644 computations (82.3% saved)

prune94.0ms (1%)

Memory

-14.2MiB live, 32.7MiB allocated; 2ms collecting garbage

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	129	3	132
Fresh	0	0	0
Picked	3	0	3
Done	0	0	0
Total	132	3	135

Accuracy

98.5%

Counts

135 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

▶

97.9%

(*.f64 (acos.f64 (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x #s(literal 3/2 binary64)) (*.f64 (*.f64 #s(literal 27 binary64) y) z)))) #s(literal 1/3 binary64))

▶

97.7%

#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 (acos.f64 (/.f64 (*.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))

▶

96.9%

#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 (acos.f64 (/.f64 (*.f64 (*.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))) #s(literal 1/3 binary64)))

Compiler

Compiled 81 to 71 computations (12.3% saved)

simplify139.0ms (1.5%)

Memory

-9.9MiB live, 175.3MiB allocated; 24ms collecting garbage

Localize:

Found 12 expressions of interest:

New	Metric	Score
cost-diff	0	(.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z)))
cost-diff	0	(acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z))))
cost-diff	0	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z)))) #s(literal 1/3 binary64))
cost-diff	2	(/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z))
cost-diff	0	(/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)
cost-diff	0	(acos.f64 (/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y))
cost-diff	0	(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64))
cost-diff	0	#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))
cost-diff	0	(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))
cost-diff	0	(acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y)))
cost-diff	0	(.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64))
cost-diff	0	#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64)))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	43	244
0	63	238
1	122	232
2	330	228
3	1040	228
4	2723	228
5	5983	228
0	8375	228

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y)))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))
(.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64))
(*.f64 (sqrt.f64 t) x)
(sqrt.f64 t)
t
x
#s(literal 1/18 binary64)
(*.f64 z y)
z
y
#s(literal 1/3 binary64)
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)
(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t))
(*.f64 (/.f64 #s(literal 1/18 binary64) z) x)
(/.f64 #s(literal 1/18 binary64) z)
#s(literal 1/18 binary64)
z
x
(sqrt.f64 t)
t
y
#s(literal 1/3 binary64)
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z)))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z))))
(.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z)))
(sqrt.f64 t)
t
(/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z))
(*.f64 x #s(literal 3/2 binary64))
x
#s(literal 3/2 binary64)
(.f64 (.f64 #s(literal 27 binary64) y) z)
(*.f64 #s(literal 27 binary64) y)
#s(literal 27 binary64)
y
z
#s(literal 1/3 binary64)

Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64))
(.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y)))
(acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))
(/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)
(.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64))
(.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x))
(*.f64 (sqrt.f64 t) x)
(sqrt.f64 t)
t
x
#s(literal 1/18 binary64)
(*.f64 z y)
z
y
#s(literal 1/3 binary64)
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64))
(.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y))
(acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)
(/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)
(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t))
(/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z)
(*.f64 (/.f64 #s(literal 1/18 binary64) z) x)
(/.f64 #s(literal 1/18 binary64) z)
#s(literal 1/18 binary64)
z
x
(sqrt.f64 t)
t
y
#s(literal 1/3 binary64)
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z)))) #s(literal 1/3 binary64))
(.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z))))
(acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y))
(.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z)))
(/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)
(sqrt.f64 t)
t
(/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z))
(/.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) y)
(*.f64 x #s(literal 3/2 binary64))
(*.f64 #s(literal 3/2 binary64) x)
x
#s(literal 3/2 binary64)
(.f64 (.f64 #s(literal 27 binary64) y) z)
(*.f64 #s(literal 27 binary64) y)
#s(literal 27 binary64)
y
z
#s(literal 1/3 binary64)

localize191.0ms (2%)

Memory

36.3MiB live, 226.7MiB allocated; 24ms collecting garbage

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.203125	(.f64 (.f64 #s(literal 27 binary64) y) z)
accuracy	0.984375	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z)))) #s(literal 1/3 binary64))
accuracy	2.850262219943666	(.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z)))
accuracy	5.258247026468721	(/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z))
accuracy	0.36328125	(/.f64 #s(literal 1/18 binary64) z)
accuracy	0.984375	(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64))
accuracy	3.4878848885539733	(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t))
accuracy	5.661710460586118	(/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)
accuracy	0.23046875	(*.f64 (sqrt.f64 t) x)
accuracy	0.379570019536884	(.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64))
accuracy	0.984375	(.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64))
accuracy	6.563275515754333	(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))

Samples

166.0ms

256×

valid

Compiler

Compiled 222 to 42 computations (81.1% saved)

Precisions

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

const: 74.0ms (50.5% of total)

ival-mult: 48.0ms (32.8% of total)

ival-div: 12.0ms (8.2% of total)

ival-acos: 9.0ms (6.1% of total)

ival-sqrt: 2.0ms (1.4% of total)

exact: 1.0ms (0.7% of total)

adjust: 0.0ms (0% of total)

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

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

series40.0ms (0.4%)

Memory

-17.8MiB live, 81.0MiB allocated; 14ms collecting garbage

Counts

17 → 29

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y)))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)
(/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z)))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z))))
(.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z)))
(.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64))
(*.f64 (sqrt.f64 t) x)
(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t))
(/.f64 #s(literal 1/18 binary64) z)
(.f64 (.f64 #s(literal 27 binary64) y) z)

Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (/ (* (* (/ 1/18 z) x) (sqrt t)) y) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* x 3/2) (* (* 27 y) z)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (* (sqrt t) x) 1/18) #s(hole binary64 (* 1/18 (* (sqrt t) x))))
#s(approx (* (sqrt t) x) #s(hole binary64 (* (sqrt t) x)))
#s(approx (* (* (/ 1/18 z) x) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x z)))))
#s(approx (* (* 27 y) z) #s(hole binary64 (* 27 (* y z))))
#s(approx (/ 1/18 z) #s(hole binary64 (/ 1/18 z)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (/ (* (* (/ 1/18 z) x) (sqrt t)) y) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (* (sqrt t) x) 1/18) #s(hole binary64 (* -1/18 (* (sqrt t) (* x (pow (sqrt -1) 2))))))
#s(approx (* (sqrt t) x) #s(hole binary64 (* -1 (* (sqrt t) (* x (pow (sqrt -1) 2))))))
#s(approx (* (* (/ 1/18 z) x) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) z)))))

Calls

12 calls:

Time	Variable		Point	Expression
8.0ms	x	@	0	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (/ (* (* (sqrt t) x) 1/18) (* z y)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) (/ (* (* (/ 1/18 z) x) (sqrt t)) y) (/ (* x 3/2) (* (* 27 y) z)) (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) (* (* (sqrt t) x) 1/18) (* (sqrt t) x) (* (* (/ 1/18 z) x) (sqrt t)) (/ 1/18 z) (* (* 27 y) z))
7.0ms	z	@	inf	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (/ (* (* (sqrt t) x) 1/18) (* z y)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) (/ (* (* (/ 1/18 z) x) (sqrt t)) y) (/ (* x 3/2) (* (* 27 y) z)) (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) (* (* (sqrt t) x) 1/18) (* (sqrt t) x) (* (* (/ 1/18 z) x) (sqrt t)) (/ 1/18 z) (* (* 27 y) z))
3.0ms	t	@	-inf	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (/ (* (* (sqrt t) x) 1/18) (* z y)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) (/ (* (* (/ 1/18 z) x) (sqrt t)) y) (/ (* x 3/2) (* (* 27 y) z)) (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) (* (* (sqrt t) x) 1/18) (* (sqrt t) x) (* (* (/ 1/18 z) x) (sqrt t)) (/ 1/18 z) (* (* 27 y) z))
3.0ms	x	@	-inf	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (/ (* (* (sqrt t) x) 1/18) (* z y)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) (/ (* (* (/ 1/18 z) x) (sqrt t)) y) (/ (* x 3/2) (* (* 27 y) z)) (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) (* (* (sqrt t) x) 1/18) (* (sqrt t) x) (* (* (/ 1/18 z) x) (sqrt t)) (/ 1/18 z) (* (* 27 y) z))
3.0ms	x	@	inf	((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (/ (* (* (sqrt t) x) 1/18) (* z y)) (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) (/ (* (* (/ 1/18 z) x) (sqrt t)) y) (/ (* x 3/2) (* (* 27 y) z)) (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) (* (* (sqrt t) x) 1/18) (* (sqrt t) x) (* (* (/ 1/18 z) x) (sqrt t)) (/ 1/18 z) (* (* 27 y) z))

simplify70.0ms (0.7%)

Memory

-22.6MiB live, 129.0MiB allocated; 13ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	98	660
1	213	614
2	616	591
0	2134	591

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound

Counts

29 → 29

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (/ (* (* (/ 1/18 z) x) (sqrt t)) y) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* x 3/2) (* (* 27 y) z)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (* (sqrt t) x) 1/18) #s(hole binary64 (* 1/18 (* (sqrt t) x))))
#s(approx (* (sqrt t) x) #s(hole binary64 (* (sqrt t) x)))
#s(approx (* (* (/ 1/18 z) x) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x z)))))
#s(approx (* (* 27 y) z) #s(hole binary64 (* 27 (* y z))))
#s(approx (/ 1/18 z) #s(hole binary64 (/ 1/18 z)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (/ (* (* (/ 1/18 z) x) (sqrt t)) y) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (* (sqrt t) x) 1/18) #s(hole binary64 (* -1/18 (* (sqrt t) (* x (pow (sqrt -1) 2))))))
#s(approx (* (sqrt t) x) #s(hole binary64 (* -1 (* (sqrt t) (* x (pow (sqrt -1) 2))))))
#s(approx (* (* (/ 1/18 z) x) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) z)))))

Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (.f64 (acos.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y))) #s(literal 1/3 binary64)))
#s(approx (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (.f64 (acos.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y))) #s(literal 1/3 binary64)))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (acos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) (.f64 (.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y)))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (.f64 (acos.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y))) #s(literal 1/3 binary64)))
#s(approx (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (acos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y))))
#s(approx (/ (* (* (/ 1/18 z) x) (sqrt t)) y) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) (.f64 (.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y)))
#s(approx (/ (* x 3/2) (* (* 27 y) z)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (/ (* x 3/2) (* (* 27 y) z)) (.f64 (/.f64 x (.f64 z y)) #s(literal 1/18 binary64)))
#s(approx (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (.f64 (acos.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y))) #s(literal 1/3 binary64)))
#s(approx (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (acos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y))))
#s(approx (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) (.f64 (.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y)))
#s(approx (* (* (sqrt t) x) 1/18) #s(hole binary64 (* 1/18 (* (sqrt t) x))))
#s(approx (* (* (sqrt t) x) 1/18) (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)))
#s(approx (* (sqrt t) x) #s(hole binary64 (* (sqrt t) x)))
#s(approx (* (sqrt t) x) (*.f64 (sqrt.f64 t) x))
#s(approx (* (* (/ 1/18 z) x) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x z)))))
#s(approx (* (* (/ 1/18 z) x) (sqrt t)) (.f64 (/.f64 (.f64 (sqrt.f64 t) x) z) #s(literal 1/18 binary64)))
#s(approx (* (* 27 y) z) #s(hole binary64 (* 27 (* y z))))
#s(approx (* (* 27 y) z) (.f64 (.f64 #s(literal 27 binary64) y) z))
#s(approx (/ 1/18 z) #s(hole binary64 (/ 1/18 z)))
#s(approx (/ 1/18 z) (/.f64 #s(literal 1/18 binary64) z))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (.f64 (acos.f64 (.f64 (.f64 #s(literal -1/18 binary64) (/.f64 x (.f64 z y))) (sqrt.f64 t))) #s(literal 1/3 binary64)))
#s(approx (* (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (.f64 (acos.f64 (.f64 (.f64 #s(literal -1/18 binary64) (/.f64 x (.f64 z y))) (sqrt.f64 t))) #s(literal 1/3 binary64)))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (acos.f64 (.f64 (.f64 #s(literal -1/18 binary64) (/.f64 x (*.f64 z y))) (sqrt.f64 t))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) (.f64 (.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y)))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (.f64 (acos.f64 (.f64 (.f64 #s(literal -1/18 binary64) (/.f64 x (.f64 z y))) (sqrt.f64 t))) #s(literal 1/3 binary64)))
#s(approx (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (acos.f64 (.f64 (.f64 #s(literal -1/18 binary64) (/.f64 x (*.f64 z y))) (sqrt.f64 t))))
#s(approx (/ (* (* (/ 1/18 z) x) (sqrt t)) y) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) (.f64 (.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y)))
#s(approx (* (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (/ (* (* (/ 1/18 z) x) (sqrt t)) y)) 1/3) (.f64 (acos.f64 (.f64 (.f64 #s(literal -1/18 binary64) (/.f64 x (.f64 z y))) (sqrt.f64 t))) #s(literal 1/3 binary64)))
#s(approx (acos (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z)))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (acos (/ (* (* (sqrt t) x) 1/18) (* z y))) (acos.f64 (.f64 (.f64 #s(literal -1/18 binary64) (/.f64 x (*.f64 z y))) (sqrt.f64 t))))
#s(approx (* (sqrt t) (/ (* x 3/2) (* (* 27 y) z))) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (/ (* (* (sqrt t) x) 1/18) (* z y)) (.f64 (.f64 (/.f64 (sqrt.f64 t) z) #s(literal 1/18 binary64)) (/.f64 x y)))
#s(approx (* (* (sqrt t) x) 1/18) #s(hole binary64 (* -1/18 (* (sqrt t) (* x (pow (sqrt -1) 2))))))
#s(approx (* (* (sqrt t) x) 1/18) (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)))
#s(approx (* (sqrt t) x) #s(hole binary64 (* -1 (* (sqrt t) (* x (pow (sqrt -1) 2))))))
#s(approx (* (sqrt t) x) (*.f64 (sqrt.f64 t) x))
#s(approx (* (* (/ 1/18 z) x) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) z)))))
#s(approx (* (* (/ 1/18 z) x) (sqrt t)) (.f64 (/.f64 (.f64 (sqrt.f64 t) x) z) #s(literal 1/18 binary64)))

rewrite52.0ms (0.5%)

Memory

27.3MiB live, 74.3MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	205
0	63	199
1	155	193
0	598	193

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

17 → 211

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y)))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64))
(acos.f64 (/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)
(/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z)))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z))))
(.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z)))
(.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64))
(*.f64 (sqrt.f64 t) x)
(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t))
(/.f64 #s(literal 1/18 binary64) z)
(.f64 (.f64 #s(literal 27 binary64) y) z)

Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64))
(.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)))
(/.f64 (-.f64 (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64))) (.f64 (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)))) (+.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y))))
(/.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) #s(literal 3 binary64))) (fma.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64)) (fma.f64 (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y))))))
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)))
(acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y))
(.f64 (.f64 (sqrt.f64 t) (/.f64 (/.f64 x #s(literal 27 binary64)) y)) (/.f64 #s(literal 3/2 binary64) z))
(.f64 (/.f64 (.f64 (sqrt.f64 t) x) y) (/.f64 #s(literal 1/18 binary64) z))
(.f64 (/.f64 (sqrt.f64 t) (.f64 #s(literal 27 binary64) y)) (/.f64 (*.f64 #s(literal 3/2 binary64) x) z))
(.f64 (/.f64 (sqrt.f64 t) z) (/.f64 (.f64 #s(literal 1/18 binary64) x) y))
(.f64 (/.f64 (sqrt.f64 t) z) (.f64 (/.f64 x y) #s(literal 1/18 binary64)))
(.f64 (/.f64 (sqrt.f64 t) #s(literal 27 binary64)) (/.f64 (.f64 #s(literal 3/2 binary64) x) (*.f64 z y)))
(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) (.f64 (sqrt.f64 t) x))
(.f64 (/.f64 (sqrt.f64 t) y) (.f64 (/.f64 #s(literal 1/18 binary64) z) x))
(.f64 (/.f64 #s(literal 1/18 binary64) y) (/.f64 (.f64 (sqrt.f64 t) x) z))
(.f64 (/.f64 (.f64 (sqrt.f64 t) x) z) (/.f64 #s(literal 1/18 binary64) y))
(.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) x) (sqrt.f64 t))
(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (/.f64 (sqrt.f64 t) y))
(.f64 (/.f64 #s(literal 1/18 binary64) z) (.f64 x (/.f64 (sqrt.f64 t) y)))
(.f64 (/.f64 #s(literal 1/18 binary64) z) (/.f64 (.f64 (sqrt.f64 t) x) y))
(.f64 #s(literal 1/18 binary64) (/.f64 (.f64 (sqrt.f64 t) x) (*.f64 z y)))
(.f64 (.f64 (sqrt.f64 t) x) (/.f64 (/.f64 #s(literal 1/18 binary64) y) z))
(.f64 (sqrt.f64 t) (/.f64 (.f64 #s(literal 1/18 binary64) x) (*.f64 z y)))
(.f64 (sqrt.f64 t) (/.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) y))
(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) x))
(.f64 (/.f64 (/.f64 x #s(literal 27 binary64)) y) (.f64 (/.f64 #s(literal 3/2 binary64) z) (sqrt.f64 t)))
(.f64 x (.f64 (sqrt.f64 t) (/.f64 (/.f64 #s(literal 1/18 binary64) y) z)))
(.f64 x (.f64 (/.f64 #s(literal 1/18 binary64) z) (/.f64 (sqrt.f64 t) y)))
(.f64 x (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) (sqrt.f64 t)))
(/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) y) z)
(/.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) (*.f64 #s(literal 27 binary64) y)) z)
(/.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) z) (*.f64 #s(literal 27 binary64) y))
(/.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) #s(literal 27 binary64)) (*.f64 z y))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) (/.f64 #s(literal 1/18 binary64) y)) z)
(/.f64 (.f64 (.f64 #s(literal 1/18 binary64) x) (/.f64 (sqrt.f64 t) y)) z)
(/.f64 (.f64 (.f64 (/.f64 x y) #s(literal 1/18 binary64)) (sqrt.f64 t)) z)
(/.f64 (.f64 (.f64 #s(literal -3/2 binary64) x) (sqrt.f64 t)) (.f64 #s(literal -27 binary64) (.f64 z y)))
(/.f64 (.f64 (/.f64 (.f64 (sqrt.f64 t) x) z) #s(literal 1/18 binary64)) y)
(/.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 x y) #s(literal 1/18 binary64))) z)
(/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal -3/2 binary64) x)) (.f64 #s(literal -27 binary64) (.f64 z y)))
(/.f64 (neg.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x))) (neg.f64 (*.f64 (neg.f64 z) y)))
(/.f64 (neg.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64))) (.f64 #s(literal -27 binary64) (.f64 z y)))
(/.f64 (neg.f64 (neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z))) (neg.f64 (neg.f64 y)))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z))
(/.f64 (neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z)) (neg.f64 y))
(/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 (neg.f64 z) y))
(/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)
(/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 z y))
(neg.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 z y)))
(neg.f64 (/.f64 (neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z)) y))
(neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 (neg.f64 z) y)))
(neg.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) (neg.f64 y)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64))
(.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)))
(/.f64 (-.f64 (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64))) (.f64 (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)))) (+.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y))))
(/.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) #s(literal 3 binary64))) (fma.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64)) (fma.f64 (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y))))))
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)))
(acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y))
(.f64 (.f64 (sqrt.f64 t) (/.f64 (/.f64 x #s(literal 27 binary64)) y)) (/.f64 #s(literal 3/2 binary64) z))
(.f64 (/.f64 (.f64 (sqrt.f64 t) x) y) (/.f64 #s(literal 1/18 binary64) z))
(.f64 (/.f64 (sqrt.f64 t) (.f64 #s(literal 27 binary64) y)) (/.f64 (*.f64 #s(literal 3/2 binary64) x) z))
(.f64 (/.f64 (sqrt.f64 t) z) (/.f64 (.f64 #s(literal 1/18 binary64) x) y))
(.f64 (/.f64 (sqrt.f64 t) z) (.f64 (/.f64 x y) #s(literal 1/18 binary64)))
(.f64 (/.f64 (sqrt.f64 t) #s(literal 27 binary64)) (/.f64 (.f64 #s(literal 3/2 binary64) x) (*.f64 z y)))
(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) (.f64 (sqrt.f64 t) x))
(.f64 (/.f64 (sqrt.f64 t) y) (.f64 (/.f64 #s(literal 1/18 binary64) z) x))
(.f64 (/.f64 #s(literal 1/18 binary64) y) (/.f64 (.f64 (sqrt.f64 t) x) z))
(.f64 (/.f64 (.f64 (sqrt.f64 t) x) z) (/.f64 #s(literal 1/18 binary64) y))
(.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) x) (sqrt.f64 t))
(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (/.f64 (sqrt.f64 t) y))
(.f64 (/.f64 #s(literal 1/18 binary64) z) (.f64 x (/.f64 (sqrt.f64 t) y)))
(.f64 (/.f64 #s(literal 1/18 binary64) z) (/.f64 (.f64 (sqrt.f64 t) x) y))
(.f64 #s(literal 1/18 binary64) (/.f64 (.f64 (sqrt.f64 t) x) (*.f64 z y)))
(.f64 (.f64 (sqrt.f64 t) x) (/.f64 (/.f64 #s(literal 1/18 binary64) y) z))
(.f64 (sqrt.f64 t) (/.f64 (.f64 #s(literal 1/18 binary64) x) (*.f64 z y)))
(.f64 (sqrt.f64 t) (/.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) y))
(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) x))
(.f64 (/.f64 (/.f64 x #s(literal 27 binary64)) y) (.f64 (/.f64 #s(literal 3/2 binary64) z) (sqrt.f64 t)))
(.f64 x (.f64 (sqrt.f64 t) (/.f64 (/.f64 #s(literal 1/18 binary64) y) z)))
(.f64 x (.f64 (/.f64 #s(literal 1/18 binary64) z) (/.f64 (sqrt.f64 t) y)))
(.f64 x (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) (sqrt.f64 t)))
(/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) y) z)
(/.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) (*.f64 #s(literal 27 binary64) y)) z)
(/.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) z) (*.f64 #s(literal 27 binary64) y))
(/.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) #s(literal 27 binary64)) (*.f64 z y))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) (/.f64 #s(literal 1/18 binary64) y)) z)
(/.f64 (.f64 (.f64 #s(literal 1/18 binary64) x) (/.f64 (sqrt.f64 t) y)) z)
(/.f64 (.f64 (.f64 (/.f64 x y) #s(literal 1/18 binary64)) (sqrt.f64 t)) z)
(/.f64 (.f64 (.f64 #s(literal -3/2 binary64) x) (sqrt.f64 t)) (.f64 #s(literal -27 binary64) (.f64 z y)))
(/.f64 (.f64 (/.f64 (.f64 (sqrt.f64 t) x) z) #s(literal 1/18 binary64)) y)
(/.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 x y) #s(literal 1/18 binary64))) z)
(/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal -3/2 binary64) x)) (.f64 #s(literal -27 binary64) (.f64 z y)))
(/.f64 (neg.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x))) (neg.f64 (*.f64 (neg.f64 z) y)))
(/.f64 (neg.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64))) (.f64 #s(literal -27 binary64) (.f64 z y)))
(/.f64 (neg.f64 (neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z))) (neg.f64 (neg.f64 y)))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z))
(/.f64 (neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z)) (neg.f64 y))
(/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 (neg.f64 z) y))
(/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)
(/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 z y))
(neg.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 z y)))
(neg.f64 (/.f64 (neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z)) y))
(neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 (neg.f64 z) y)))
(neg.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) (neg.f64 y)))
(.f64 (/.f64 #s(literal 3/2 binary64) (.f64 #s(literal 27 binary64) y)) (/.f64 x z))
(.f64 (/.f64 x z) (/.f64 #s(literal 3/2 binary64) (.f64 #s(literal 27 binary64) y)))
(.f64 (/.f64 x #s(literal 27 binary64)) (/.f64 #s(literal 3/2 binary64) (.f64 z y)))
(*.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) x)
(*.f64 (/.f64 #s(literal 3/2 binary64) z) (/.f64 (/.f64 x #s(literal 27 binary64)) y))
(.f64 #s(literal 3/2 binary64) (/.f64 x (.f64 (*.f64 #s(literal 27 binary64) y) z)))
(.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y)))
(*.f64 (/.f64 (/.f64 x #s(literal 27 binary64)) y) (/.f64 #s(literal 3/2 binary64) z))
(*.f64 x (/.f64 (/.f64 #s(literal 1/18 binary64) y) z))
(/.f64 (/.f64 (.f64 #s(literal 3/2 binary64) x) #s(literal 27 binary64)) (.f64 z y))
(/.f64 (*.f64 (/.f64 x y) (/.f64 #s(literal 3/2 binary64) z)) #s(literal 27 binary64))
(/.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 3/2 binary64) z)) (.f64 #s(literal -27 binary64) y))
(/.f64 (.f64 x (/.f64 #s(literal 3/2 binary64) z)) (.f64 #s(literal 27 binary64) y))
(/.f64 (*.f64 (/.f64 (/.f64 x #s(literal 27 binary64)) y) #s(literal 3/2 binary64)) z)
(/.f64 (/.f64 (.f64 #s(literal 3/2 binary64) x) z) (.f64 #s(literal 27 binary64) y))
(/.f64 (neg.f64 (*.f64 (/.f64 x y) #s(literal 1/18 binary64))) (neg.f64 z))
(/.f64 (neg.f64 (.f64 #s(literal -3/2 binary64) x)) (neg.f64 (.f64 #s(literal -27 binary64) (*.f64 z y))))
(/.f64 (.f64 (/.f64 x y) #s(literal 3/2 binary64)) (.f64 #s(literal 27 binary64) z))
(/.f64 (*.f64 (/.f64 x y) #s(literal 1/18 binary64)) z)
(/.f64 (.f64 #s(literal -3/2 binary64) x) (.f64 #s(literal -27 binary64) (*.f64 z y)))
(/.f64 (.f64 #s(literal 3/2 binary64) x) (.f64 (*.f64 #s(literal 27 binary64) y) z))
(neg.f64 (/.f64 (.f64 #s(literal -3/2 binary64) x) (.f64 (*.f64 #s(literal 27 binary64) y) z)))
(neg.f64 (/.f64 (.f64 #s(literal 3/2 binary64) x) (.f64 #s(literal -27 binary64) (*.f64 z y))))
(.f64 (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)) #s(literal 1/3 binary64))
(.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y)))
(/.f64 (-.f64 (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64))) (.f64 (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)))) (+.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y))))
(/.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) #s(literal 3 binary64))) (fma.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64)) (fma.f64 (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)) (.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) x)) z) y))))))
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)))
(acos.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y))
(.f64 (.f64 (sqrt.f64 t) (/.f64 (/.f64 x #s(literal 27 binary64)) y)) (/.f64 #s(literal 3/2 binary64) z))
(.f64 (/.f64 (.f64 (sqrt.f64 t) x) y) (/.f64 #s(literal 1/18 binary64) z))
(.f64 (/.f64 (sqrt.f64 t) (.f64 #s(literal 27 binary64) y)) (/.f64 (*.f64 #s(literal 3/2 binary64) x) z))
(.f64 (/.f64 (sqrt.f64 t) z) (/.f64 (.f64 #s(literal 1/18 binary64) x) y))
(.f64 (/.f64 (sqrt.f64 t) z) (.f64 (/.f64 x y) #s(literal 1/18 binary64)))
(.f64 (/.f64 (sqrt.f64 t) #s(literal 27 binary64)) (/.f64 (.f64 #s(literal 3/2 binary64) x) (*.f64 z y)))
(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) (.f64 (sqrt.f64 t) x))
(.f64 (/.f64 (sqrt.f64 t) y) (.f64 (/.f64 #s(literal 1/18 binary64) z) x))
(.f64 (/.f64 #s(literal 1/18 binary64) y) (/.f64 (.f64 (sqrt.f64 t) x) z))
(.f64 (/.f64 (.f64 (sqrt.f64 t) x) z) (/.f64 #s(literal 1/18 binary64) y))
(.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) x) (sqrt.f64 t))
(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (/.f64 (sqrt.f64 t) y))
(.f64 (/.f64 #s(literal 1/18 binary64) z) (.f64 x (/.f64 (sqrt.f64 t) y)))
(.f64 (/.f64 #s(literal 1/18 binary64) z) (/.f64 (.f64 (sqrt.f64 t) x) y))
(.f64 #s(literal 1/18 binary64) (/.f64 (.f64 (sqrt.f64 t) x) (*.f64 z y)))
(.f64 (.f64 (sqrt.f64 t) x) (/.f64 (/.f64 #s(literal 1/18 binary64) y) z))
(.f64 (sqrt.f64 t) (/.f64 (.f64 #s(literal 1/18 binary64) x) (*.f64 z y)))
(.f64 (sqrt.f64 t) (/.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) y))
(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) x))
(.f64 (/.f64 (/.f64 x #s(literal 27 binary64)) y) (.f64 (/.f64 #s(literal 3/2 binary64) z) (sqrt.f64 t)))
(.f64 x (.f64 (sqrt.f64 t) (/.f64 (/.f64 #s(literal 1/18 binary64) y) z)))
(.f64 x (.f64 (/.f64 #s(literal 1/18 binary64) z) (/.f64 (sqrt.f64 t) y)))
(.f64 x (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) y) z) (sqrt.f64 t)))
(/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) y) z)
(/.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) (*.f64 #s(literal 27 binary64) y)) z)
(/.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) z) (*.f64 #s(literal 27 binary64) y))
(/.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) #s(literal 27 binary64)) (*.f64 z y))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) (/.f64 #s(literal 1/18 binary64) y)) z)
(/.f64 (.f64 (.f64 #s(literal 1/18 binary64) x) (/.f64 (sqrt.f64 t) y)) z)
(/.f64 (.f64 (.f64 (/.f64 x y) #s(literal 1/18 binary64)) (sqrt.f64 t)) z)
(/.f64 (.f64 (.f64 #s(literal -3/2 binary64) x) (sqrt.f64 t)) (.f64 #s(literal -27 binary64) (.f64 z y)))
(/.f64 (.f64 (/.f64 (.f64 (sqrt.f64 t) x) z) #s(literal 1/18 binary64)) y)
(/.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 x y) #s(literal 1/18 binary64))) z)
(/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal -3/2 binary64) x)) (.f64 #s(literal -27 binary64) (.f64 z y)))
(/.f64 (neg.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x))) (neg.f64 (*.f64 (neg.f64 z) y)))
(/.f64 (neg.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64))) (.f64 #s(literal -27 binary64) (.f64 z y)))
(/.f64 (neg.f64 (neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z))) (neg.f64 (neg.f64 y)))
(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z))
(/.f64 (neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z)) (neg.f64 y))
(/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 (neg.f64 z) y))
(/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) y)
(/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 z y))
(neg.f64 (/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 z y)))
(neg.f64 (/.f64 (neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z)) y))
(neg.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) (*.f64 (neg.f64 z) y)))
(neg.f64 (/.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z) (neg.f64 y)))
(.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) x)
(.f64 (.f64 #s(literal 1/18 binary64) x) (sqrt.f64 t))
(.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x))
(.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64))
(.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) x))
(.f64 x (.f64 (sqrt.f64 t) #s(literal 1/18 binary64)))
(*.f64 (sqrt.f64 t) x)
(*.f64 x (sqrt.f64 t))
(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) (sqrt.f64 t)) x)
(.f64 (.f64 (sqrt.f64 t) (/.f64 #s(literal 1/18 binary64) z)) x)
(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t))
(.f64 (/.f64 #s(literal 1/18 binary64) z) (.f64 (sqrt.f64 t) x))
(.f64 #s(literal 1/18 binary64) (/.f64 (.f64 (sqrt.f64 t) x) z))
(.f64 (.f64 (sqrt.f64 t) x) (/.f64 #s(literal 1/18 binary64) z))
(.f64 (sqrt.f64 t) (.f64 (/.f64 #s(literal 1/18 binary64) z) x))
(.f64 x (.f64 (/.f64 #s(literal 1/18 binary64) z) (sqrt.f64 t)))
(/.f64 (.f64 #s(literal -1/18 binary64) (.f64 (sqrt.f64 t) x)) (neg.f64 z))
(/.f64 (.f64 #s(literal 1/18 binary64) (.f64 (sqrt.f64 t) x)) z)
(/.f64 #s(literal -1/18 binary64) (neg.f64 z))
(/.f64 #s(literal 1/18 binary64) (neg.f64 (neg.f64 z)))
(/.f64 #s(literal 1/18 binary64) z)
(neg.f64 (/.f64 #s(literal -1/18 binary64) z))
(neg.f64 (/.f64 #s(literal 1/18 binary64) (neg.f64 z)))
(.f64 (.f64 z #s(literal 27 binary64)) y)
(.f64 (.f64 #s(literal 27 binary64) z) y)
(.f64 (.f64 #s(literal 27 binary64) y) z)
(.f64 (.f64 z y) #s(literal 27 binary64))
(.f64 z (.f64 #s(literal 27 binary64) y))
(.f64 #s(literal 27 binary64) (.f64 z y))
(.f64 y (.f64 #s(literal 27 binary64) z))

eval16.0ms (0.2%)

Memory: 7.6MiB live, 53.6MiB allocated; 3ms collecting garbage
Compiler: Compiled 3 485 to 625 computations (82.1% saved)

prune18.0ms (0.2%)

Memory

-18.8MiB live, 25.0MiB allocated; 9ms collecting garbage

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	0	0
Picked	2	1	3
Done	0	0	0
Total	118	2	120

Accuracy

98.5%

Counts

120 → 2

Alt Table

Click to see full alt table

Status

Accuracy

Program

▶

97.9%

(*.f64 (acos.f64 (*.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))) #s(literal 1/3 binary64))

✓

97.7%

#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 (acos.f64 (/.f64 (*.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))

Compiler

Compiled 46 to 41 computations (10.9% saved)

simplify8.0ms (0.1%)

Memory

15.0MiB live, 15.0MiB allocated; 0ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(sqrt.f64 t)
cost-diff	0	(.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))
cost-diff	0	(acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y)))))
cost-diff	0	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y))))) #s(literal 1/3 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	57
0	20	57
1	30	57
2	61	57
3	138	57
4	226	57
5	260	57
0	260	57

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y))))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y)))))
(.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))
(sqrt.f64 t)
t
(.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y)))
#s(literal 1/18 binary64)
(/.f64 x (*.f64 z y))
x
(*.f64 z y)
z
y
#s(literal 1/3 binary64)

Outputs
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y))))) #s(literal 1/3 binary64))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 (/.f64 (/.f64 (sqrt.f64 t) y) z) #s(literal 1/18 binary64)) x)))
(acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y)))))
(acos.f64 (.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 t) y) z) #s(literal 1/18 binary64)) x))
(.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))
(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 t) y) z) #s(literal 1/18 binary64)) x)
(sqrt.f64 t)
t
(.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y)))
(.f64 (/.f64 x (.f64 y z)) #s(literal 1/18 binary64))
#s(literal 1/18 binary64)
(/.f64 x (*.f64 z y))
(/.f64 x (*.f64 y z))
x
(*.f64 z y)
(*.f64 y z)
z
y
#s(literal 1/3 binary64)

localize50.0ms (0.5%)

Memory

-20.3MiB live, 77.6MiB allocated; 16ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.297538769536884	(.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y)))
accuracy	0.984375	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y))))) #s(literal 1/3 binary64))
accuracy	2.850262219943666	(.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))
accuracy	5.20209102356254	(/.f64 x (*.f64 z y))

Samples

42.0ms

256×

valid

Compiler

Compiled 59 to 15 computations (74.6% saved)

Precisions

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

const: 17.0ms (58.6% of total)

ival-mult: 6.0ms (20.7% of total)

ival-div: 2.0ms (6.9% of total)

ival-sqrt: 2.0ms (6.9% of total)

ival-acos: 2.0ms (6.9% of total)

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

adjust: 0.0ms (0% of total)

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

series16.0ms (0.2%)

Memory

-13.8MiB live, 32.9MiB allocated; 3ms collecting garbage

Counts

6 → 10

Calls

Call 1

Inputs
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y))))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y)))))
(.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))
(sqrt.f64 t)
(/.f64 x (*.f64 z y))
(.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y)))

Outputs
#s(approx (* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (sqrt t) (* 1/18 (/ x (* z y)))) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ x (* z y)) #s(hole binary64 (/ x (* y z))))
#s(approx (* 1/18 (/ x (* z y))) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (sqrt t) #s(hole binary64 (sqrt t)))
#s(approx (* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (sqrt t) (* 1/18 (/ x (* z y)))) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (sqrt t) #s(hole binary64 (* -1 (* (sqrt t) (pow (sqrt -1) 2)))))

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	t	@	inf	((* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) (* (sqrt t) (* 1/18 (/ x (* z y)))) (sqrt t) (/ x (* z y)) (* 1/18 (/ x (* z y))))
2.0ms	x	@	-inf	((* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) (* (sqrt t) (* 1/18 (/ x (* z y)))) (sqrt t) (/ x (* z y)) (* 1/18 (/ x (* z y))))
1.0ms	t	@	-inf	((* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) (* (sqrt t) (* 1/18 (/ x (* z y)))) (sqrt t) (/ x (* z y)) (* 1/18 (/ x (* z y))))
1.0ms	x	@	inf	((* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) (* (sqrt t) (* 1/18 (/ x (* z y)))) (sqrt t) (/ x (* z y)) (* 1/18 (/ x (* z y))))
1.0ms	x	@	0	((* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) (* (sqrt t) (* 1/18 (/ x (* z y)))) (sqrt t) (/ x (* z y)) (* 1/18 (/ x (* z y))))

simplify33.0ms (0.4%)

Memory

10.6MiB live, 57.7MiB allocated; 1ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	44	188
1	91	180
2	260	178
0	892	178

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound

Counts

10 → 10

Calls

Call 1

Inputs
#s(approx (* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (sqrt t) (* 1/18 (/ x (* z y)))) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ x (* z y)) #s(hole binary64 (/ x (* y z))))
#s(approx (* 1/18 (/ x (* z y))) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (sqrt t) #s(hole binary64 (sqrt t)))
#s(approx (* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (sqrt t) (* 1/18 (/ x (* z y)))) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (sqrt t) #s(hole binary64 (* -1 (* (sqrt t) (pow (sqrt -1) 2)))))

Outputs
#s(approx (* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) (.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) y)) (/.f64 x z)))))
#s(approx (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) (acos.f64 (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) y)) (/.f64 x z))))
#s(approx (* (sqrt t) (* 1/18 (/ x (* z y)))) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (sqrt t) (* 1/18 (/ x (* z y)))) (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) y)) (/.f64 x z)))
#s(approx (/ x (* z y)) #s(hole binary64 (/ x (* y z))))
#s(approx (/ x (* z y)) (/.f64 x (*.f64 y z)))
#s(approx (* 1/18 (/ x (* z y))) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* 1/18 (/ x (* z y))) (*.f64 (/.f64 #s(literal 1/18 binary64) y) (/.f64 x z)))
#s(approx (sqrt t) #s(hole binary64 (sqrt t)))
#s(approx (sqrt t) (sqrt.f64 t))
#s(approx (* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (* (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) 1/3) (.f64 (acos.f64 (.f64 (.f64 #s(literal -1/18 binary64) (/.f64 x (.f64 y z))) (sqrt.f64 t))) #s(literal 1/3 binary64)))
#s(approx (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (acos (* (sqrt t) (* 1/18 (/ x (* z y))))) (acos.f64 (.f64 (.f64 #s(literal -1/18 binary64) (/.f64 x (*.f64 y z))) (sqrt.f64 t))))
#s(approx (* (sqrt t) (* 1/18 (/ x (* z y)))) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (sqrt t) (* 1/18 (/ x (* z y)))) (.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (sqrt.f64 t) y)) (/.f64 x z)))
#s(approx (sqrt t) #s(hole binary64 (* -1 (* (sqrt t) (pow (sqrt -1) 2)))))
#s(approx (sqrt t) (sqrt.f64 t))

rewrite43.0ms (0.4%)

Memory

15.4MiB live, 65.2MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	48
0	20	48
1	40	48
2	135	48
0	702	48

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

6 → 106

Calls

Call 1

Inputs
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y))))) #s(literal 1/3 binary64))
(acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y)))))
(.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))
(sqrt.f64 t)
(/.f64 x (*.f64 z y))
(.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y)))

Outputs
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))))
(.f64 (acos.f64 (.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 1/3 binary64))
(/.f64 (.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 2 binary64))) #s(literal 1/3 binary64)) (+.f64 (asin.f64 (.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 3 binary64))) #s(literal 1/3 binary64)) (fma.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (+.f64 (asin.f64 (.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 #s(literal 1/3 binary64) (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 2 binary64)))) (+.f64 (asin.f64 (.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))))
(/.f64 (.f64 #s(literal 1/3 binary64) (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 3 binary64)))) (fma.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (+.f64 (asin.f64 (.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 2 binary64)))) (neg.f64 (+.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (+.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 2 binary64))) (+.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 3 binary64))) (fma.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (+.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64)) (+.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64)))) (/.f64 (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 2 binary64)) (+.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64)))))
(-.f64 (/.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (fma.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (+.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64)))) (/.f64 (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 3 binary64)) (fma.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (+.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64)))))
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))))
(+.f64 (-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64))) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))))
(acos.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z)))
(.f64 (.f64 (.f64 (/.f64 x (.f64 y z)) #s(literal 1/18 binary64)) (pow.f64 t #s(literal 1/4 binary64))) (pow.f64 t #s(literal 1/4 binary64)))
(.f64 (.f64 (sqrt.f64 t) (/.f64 #s(literal 1/18 binary64) y)) (/.f64 x z))
(.f64 (.f64 (sqrt.f64 t) (/.f64 #s(literal 1/18 binary64) z)) (/.f64 x y))
(.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) (neg.f64 y)) (/.f64 (neg.f64 x) z))
(.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) (neg.f64 z)) (/.f64 (neg.f64 x) y))
(.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))
(.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) z) (/.f64 x y))
(.f64 (/.f64 (sqrt.f64 t) y) (.f64 (/.f64 x z) #s(literal 1/18 binary64)))
(.f64 (/.f64 (sqrt.f64 t) z) (.f64 x (/.f64 #s(literal 1/18 binary64) y)))
(.f64 (.f64 x (/.f64 #s(literal 1/18 binary64) y)) (/.f64 (sqrt.f64 t) z))
(.f64 (.f64 (/.f64 x z) #s(literal 1/18 binary64)) (/.f64 (sqrt.f64 t) y))
(.f64 (.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t)) #s(literal 1/18 binary64))
(.f64 (pow.f64 t #s(literal 1/4 binary64)) (.f64 (pow.f64 t #s(literal 1/4 binary64)) (.f64 (/.f64 x (.f64 y z)) #s(literal 1/18 binary64))))
(.f64 (/.f64 #s(literal 1/18 binary64) y) (.f64 (/.f64 x z) (sqrt.f64 t)))
(.f64 (/.f64 #s(literal 1/18 binary64) z) (.f64 (/.f64 x y) (sqrt.f64 t)))
(.f64 (.f64 x #s(literal 1/18 binary64)) (/.f64 (sqrt.f64 t) (*.f64 y z)))
(.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) (/.f64 x (*.f64 y z)))
(.f64 (.f64 (/.f64 x (*.f64 y z)) #s(literal 1/18 binary64)) (sqrt.f64 t))
(.f64 (/.f64 x (.f64 y z)) (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)))
(.f64 #s(literal 1/18 binary64) (.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t)))
(.f64 (sqrt.f64 t) (.f64 (/.f64 x (*.f64 y z)) #s(literal 1/18 binary64)))
(/.f64 (/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal -1/18 binary64) x)) (neg.f64 y)) z)
(/.f64 (/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal -1/18 binary64) x)) y) (neg.f64 z))
(/.f64 (/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal -1/18 binary64) x)) z) (neg.f64 y))
(/.f64 (/.f64 (.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) x) y) z)
(/.f64 (.f64 (.f64 x (/.f64 #s(literal 1/18 binary64) y)) (sqrt.f64 t)) z)
(/.f64 (.f64 (.f64 (/.f64 x z) #s(literal 1/18 binary64)) (sqrt.f64 t)) y)
(/.f64 (.f64 (.f64 #s(literal -1/18 binary64) x) (sqrt.f64 t)) (*.f64 (neg.f64 y) z))
(/.f64 (.f64 (/.f64 x y) (.f64 #s(literal 1/18 binary64) (sqrt.f64 t))) z)
(/.f64 (.f64 (/.f64 (neg.f64 x) z) (.f64 #s(literal 1/18 binary64) (sqrt.f64 t))) (neg.f64 y))
(/.f64 (.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) (/.f64 x y)) z)
(/.f64 (.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) (/.f64 (neg.f64 x) z)) (neg.f64 y))
(/.f64 (.f64 (sqrt.f64 t) (.f64 x (/.f64 #s(literal 1/18 binary64) y))) z)
(/.f64 (neg.f64 (/.f64 (.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) x) z)) (neg.f64 y))
(/.f64 (neg.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal -1/18 binary64) x))) (*.f64 y z))
(/.f64 (/.f64 (.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) x) z) y)
(/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal -1/18 binary64) x)) (*.f64 (neg.f64 y) z))
(/.f64 (.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) x) (*.f64 y z))
(neg.f64 (/.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal -1/18 binary64) x)) (*.f64 y z)))
(neg.f64 (.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) (/.f64 (/.f64 x (neg.f64 y)) z)))
(neg.f64 (.f64 (/.f64 (/.f64 x (neg.f64 y)) z) (.f64 #s(literal 1/18 binary64) (sqrt.f64 t))))
(*.f64 (neg.f64 (pow.f64 t #s(literal 1/4 binary64))) (neg.f64 (pow.f64 t #s(literal 1/4 binary64))))
(*.f64 (fabs.f64 (pow.f64 t #s(literal 1/4 binary64))) (fabs.f64 (pow.f64 t #s(literal 1/4 binary64))))
(*.f64 (pow.f64 t #s(literal 1/4 binary64)) (pow.f64 t #s(literal 1/4 binary64)))
(pow.f64 (exp.f64 (log.f64 t)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 t t) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 t #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 t #s(literal 1/2 binary64))
(sqrt.f64 t)
(exp.f64 (*.f64 (log.f64 t) #s(literal 1/2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 t) #s(literal 1/2 binary64))) (sinh.f64 (.f64 (log.f64 t) #s(literal 1/2 binary64))))
(/.f64 (/.f64 (neg.f64 x) z) (neg.f64 y))
(/.f64 (/.f64 (neg.f64 x) y) (neg.f64 z))
(/.f64 (neg.f64 (/.f64 x y)) (neg.f64 z))
(/.f64 (/.f64 x y) z)
(/.f64 (/.f64 x z) (neg.f64 (neg.f64 y)))
(/.f64 (/.f64 x z) y)
(/.f64 (neg.f64 x) (*.f64 (neg.f64 y) z))
(/.f64 x (*.f64 y z))
(neg.f64 (/.f64 (/.f64 x (neg.f64 y)) z))
(*.f64 (/.f64 (neg.f64 x) z) (/.f64 #s(literal 1/18 binary64) (neg.f64 y)))
(*.f64 (/.f64 #s(literal 1/18 binary64) (neg.f64 y)) (/.f64 (neg.f64 x) z))
(*.f64 (/.f64 (neg.f64 x) y) (/.f64 #s(literal 1/18 binary64) (neg.f64 z)))
(*.f64 (/.f64 #s(literal 1/18 binary64) (neg.f64 z)) (/.f64 (neg.f64 x) y))
(*.f64 (/.f64 #s(literal 1/18 binary64) y) (/.f64 x z))
(*.f64 (/.f64 x y) (/.f64 #s(literal 1/18 binary64) z))
(*.f64 (/.f64 #s(literal 1/18 binary64) z) (/.f64 x y))
(*.f64 (/.f64 x z) (/.f64 #s(literal 1/18 binary64) y))
(.f64 (neg.f64 x) (/.f64 #s(literal 1/18 binary64) (.f64 (neg.f64 y) z)))
(.f64 (/.f64 x (.f64 y z)) #s(literal 1/18 binary64))
(.f64 x (/.f64 #s(literal 1/18 binary64) (.f64 y z)))
(.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 y z)))
(/.f64 (/.f64 (*.f64 #s(literal -1/18 binary64) x) y) (neg.f64 z))
(/.f64 (/.f64 (*.f64 #s(literal -1/18 binary64) x) z) (neg.f64 y))
(/.f64 (*.f64 (/.f64 x y) #s(literal 1/18 binary64)) z)
(/.f64 (*.f64 (/.f64 (neg.f64 x) z) #s(literal 1/18 binary64)) (neg.f64 y))
(/.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) y) (neg.f64 x)) (neg.f64 z))
(/.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) y) x) z)
(/.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) y)
(/.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (neg.f64 x) z)) (neg.f64 y))
(/.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1/18 binary64) y))) (neg.f64 z))
(/.f64 (neg.f64 (*.f64 (/.f64 x z) #s(literal 1/18 binary64))) (neg.f64 y))
(/.f64 (neg.f64 (.f64 #s(literal -1/18 binary64) x)) (.f64 y z))
(/.f64 (*.f64 x (/.f64 #s(literal 1/18 binary64) y)) z)
(/.f64 (*.f64 (/.f64 x z) #s(literal 1/18 binary64)) y)
(/.f64 (.f64 #s(literal -1/18 binary64) x) (.f64 (neg.f64 y) z))
(/.f64 (.f64 x #s(literal 1/18 binary64)) (.f64 y z))
(neg.f64 (/.f64 (.f64 #s(literal -1/18 binary64) x) (.f64 y z)))
(neg.f64 (/.f64 (.f64 x #s(literal 1/18 binary64)) (.f64 (neg.f64 y) z)))
(neg.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x (neg.f64 y)) z)))
(neg.f64 (*.f64 (/.f64 (/.f64 x (neg.f64 y)) z) #s(literal 1/18 binary64)))

eval15.0ms (0.2%)

Memory: -12.9MiB live, 34.0MiB allocated; 2ms collecting garbage
Compiler: Compiled 2 067 to 505 computations (75.6% saved)

prune13.0ms (0.1%)

Memory

-16.4MiB live, 30.7MiB allocated; 2ms collecting garbage

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	113	3	116

Accuracy

98.5%

Counts

116 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

97.3%

(/.f64 (*.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (*.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 3 binary64))) #s(literal 1/3 binary64)) (fma.f64 (asin.f64 (*.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (+.f64 (asin.f64 (*.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64))))

✓

97.9%

(*.f64 (acos.f64 (*.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))) #s(literal 1/3 binary64))

✓

97.7%

#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 (acos.f64 (/.f64 (*.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))

Compiler

Compiled 348 to 160 computations (54% saved)

regimes36.0ms (0.4%)

Memory

47.4MiB live, 94.8MiB allocated; 1ms collecting garbage

Counts

9 → 1

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y))))) #s(literal 1/3 binary64))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z)))) #s(literal 1/3 binary64))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (*.f64 (sqrt.f64 t) x))) #s(literal 1/3 binary64)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64)))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))) #s(literal 1/3 binary64))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(/.f64 (.f64 (-.f64 (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) #s(literal 3 binary64))) #s(literal 1/3 binary64)) (fma.f64 (asin.f64 (.f64 (/.f64 (.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (+.f64 (asin.f64 (.f64 (/.f64 (*.f64 #s(literal 1/18 binary64) (sqrt.f64 t)) y) (/.f64 x z))) (/.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) #s(literal 2 binary64))))

Outputs
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y))))) #s(literal 1/3 binary64))

Calls

13 calls:

3.0ms	(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
3.0ms	t
3.0ms	(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))
3.0ms	z
3.0ms	(*.f64 y #s(literal 27 binary64))

Results

Accuracy	Segments	Branch
97.9%	1	`(sqrt.f64 t)`
97.9%	1	`(*.f64 z #s(literal 2 binary64))`
97.9%	1	`(*.f64 y #s(literal 27 binary64))`
97.9%	1	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`
97.9%	1	`(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))`
97.9%	1	`(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))`
97.9%	1	`(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))`
97.9%	1	`(acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))`
97.9%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))`
97.9%	1	`x`
97.9%	1	`y`
97.9%	1	`z`
97.9%	1	`t`

Compiler

Compiled 83 to 108 computations (-30.1% saved)

regimes19.0ms (0.2%)

Memory

-40.8MiB live, 55.7MiB allocated; 3ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64)))

Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (.f64 (acos.f64 (/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (.f64 z y))) #s(literal 1/3 binary64)))

Calls

13 calls:

6.0ms	t
2.0ms	(*.f64 y #s(literal 27 binary64))
1.0ms	(*.f64 z #s(literal 2 binary64))
1.0ms	(sqrt.f64 t)
1.0ms	(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))

Results

Accuracy	Segments	Branch
96.9%	1	`(sqrt.f64 t)`
96.9%	1	`(*.f64 z #s(literal 2 binary64))`
96.9%	1	`(*.f64 y #s(literal 27 binary64))`
96.9%	1	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`
96.9%	1	`(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))`
96.9%	1	`(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))`
96.9%	1	`(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))`
96.9%	1	`(acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))`
96.9%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))`
96.9%	1	`x`
96.9%	1	`y`
96.9%	1	`z`
96.9%	1	`t`

Compiler

Compiled 83 to 108 computations (-30.1% saved)

simplify48.0ms (0.5%)

Memory

12.1MiB live, 58.9MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	44
1	56	44
2	144	44
3	527	44
4	2599	44
5	4806	44

Stop Event

1×	node limit

Calls

Call 1

Inputs

(*.f64 (acos.f64 (*.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))) #s(literal 1/3 binary64))

#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 (acos.f64 (/.f64 (*.f64 (*.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))) #s(literal 1/3 binary64)))

Outputs

(*.f64 (acos.f64 (*.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))) #s(literal 1/3 binary64))

#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 (acos.f64 (/.f64 (*.f64 (*.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))) #s(literal 1/3 binary64)))

derivations45.0ms (0.5%)

Memory

-12.5MiB live, 34.3MiB allocated; 3ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 46 to 33 computations (28.3% saved)

preprocess40.0ms (0.4%)

Memory: 9.6MiB live, 57.4MiB allocated; 18ms collecting garbage
Remove: (sort y z)
Compiler: Compiled 190 to 160 computations (15.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze532.0ms (5.6%)

sample6.5s (67.7%)

explain259.0ms (2.7%)

preprocess194.0ms (2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify129.0ms (1.3%)

localize59.0ms (0.6%)

series28.0ms (0.3%)

simplify103.0ms (1.1%)

rewrite46.0ms (0.5%)

eval7.0ms (0.1%)

prune9.0ms (0.1%)

simplify145.0ms (1.5%)

localize259.0ms (2.7%)

series65.0ms (0.7%)

simplify78.0ms (0.8%)

rewrite135.0ms (1.4%)

eval44.0ms (0.5%)

prune94.0ms (1%)

simplify139.0ms (1.5%)

localize191.0ms (2%)

series40.0ms (0.4%)

simplify70.0ms (0.7%)

rewrite52.0ms (0.5%)

eval16.0ms (0.2%)

prune18.0ms (0.2%)

simplify8.0ms (0.1%)

localize50.0ms (0.5%)

series16.0ms (0.2%)

simplify33.0ms (0.4%)

rewrite43.0ms (0.4%)

eval15.0ms (0.2%)

prune13.0ms (0.1%)

regimes36.0ms (0.4%)

regimes19.0ms (0.2%)

simplify48.0ms (0.5%)

derivations45.0ms (0.5%)

preprocess40.0ms (0.4%)

end0.0ms (0%)

Profiling