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

analyze452.0ms (5%)

Memory

12.1MiB live, 715.1MiB allocated; 139ms 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)

sample5.7s (63.6%)

Memory

82.6MiB live, 7 192.4MiB allocated; 1.5s collecting garbage

Samples

2.3s	15 077×	0	invalid
1.7s	8 256×	0	valid

Precisions

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

ival-mult: 1.3s (47.9% of total)

ival-div: 775.0ms (28.3% of total)

ival-sqrt: 392.0ms (14.3% of total)

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

exact: 38.0ms (1.4% of total)

ival-true: 16.0ms (0.6% of total)

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

adjust: 6.0ms (0.2% of total)

Bogosity

explain420.0ms (4.6%)

Memory

22.9MiB live, 452.8MiB allocated; 85ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
23	-	3	(9.751846871896329e-85 -5.252966272746544e+235 -2.7470774971165724e-207 1.439571746930523e+66)	`(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))`
14	-	0	-	`(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))`
2	-	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	19	0
↳	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`	underflow	57
↳	`(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))`	underflow	57
`*.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**	14	0
`/.f64`	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`	n/o	2	0
↳	`(*.f64 y #s(literal 27 binary64))`	overflow	3
`/.f64`	`(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))`	o/n	1	0
↳	`(*.f64 y #s(literal 27 binary64))`	overflow	3
↳	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`	overflow	1
↳	`(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))`	overflow	1

Confusion

	Predicted +	Predicted -
+	1	0
-	35	220

Precision

0.027777777777777776

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	35	0	220

Precision?

0.027777777777777776

Recall?

1.0

Freqs

test

number	freq
0	220
1	36

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

246.0ms

512×

valid

Compiler

Compiled 203 to 58 computations (71.4% saved)

Precisions

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

ival-acos: 156.0ms (70.3% of total)

ival-div: 46.0ms (20.7% of total)

ival-mult: 14.0ms (6.3% of total)

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

exact: 1.0ms (0.5% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess244.0ms (2.7%)

Memory

-0.7MiB live, 229.5MiB allocated; 55ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	89	246
1	279	212
2	1015	184
3	3935	184
4	6986	184
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.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.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))))

Status

Accuracy

Program

▶

98.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))))

Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify172.0ms (1.9%)

Memory

10.0MiB live, 197.1MiB allocated; 35ms 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

localize81.0ms (0.9%)

Memory

-39.3MiB live, 134.9MiB allocated; 54ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.4225330375875232	(/.f64 x (*.f64 y #s(literal 27 binary64)))
accuracy	0.9765625	(.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	3.214863048578086	(.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	4.701377500091685	(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))

Samples

31.0ms

256×

valid

Compiler

Compiled 92 to 20 computations (78.3% saved)

Precisions

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

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

ival-div: 6.0ms (33.3% of total)

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

ival-acos: 2.0ms (11.1% 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)

series44.0ms (0.5%)

Memory

21.8MiB live, 114.9MiB allocated; 10ms collecting garbage

Counts

6 → 7

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))
(/.f64 x (*.f64 y #s(literal 27 binary64)))

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 (/ x (* y 27)) #s(hole binary64 (* 1/27 (/ 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 (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
15.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)) (/ x (* y 27)))
5.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)) (/ x (* y 27)))
4.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)) (/ x (* y 27)))
4.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)) (/ x (* y 27)))
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)) (/ x (* y 27)))

simplify115.0ms (1.3%)

Memory

-1.3MiB live, 139.6MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	50	160
1	111	145
2	345	133
3	1303	133
0	3811	133

Stop Event

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

Counts

7 → 7

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 (/ x (* y 27)) #s(hole binary64 (* 1/27 (/ 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 (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 (/ x (* y 27)) #s(hole binary64 (* 1/27 (/ x y))))
#s(approx (/ x (* y 27)) (*.f64 #s(literal 1/27 binary64) (/.f64 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 (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)))

rewrite49.0ms (0.5%)

Memory

-9.5MiB live, 78.4MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	55
0	29	55
1	63	47
0	256	47

Stop Event

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

Counts

6 → 58

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))
(/.f64 x (*.f64 y #s(literal 27 binary64)))

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))
(/.f64 (/.f64 x #s(literal 27 binary64)) y)
(/.f64 (neg.f64 (/.f64 x y)) #s(literal -27 binary64))
(/.f64 (neg.f64 (neg.f64 x)) (neg.f64 (*.f64 #s(literal -27 binary64) y)))
(/.f64 (/.f64 x y) #s(literal 27 binary64))
(/.f64 (neg.f64 x) (*.f64 #s(literal -27 binary64) y))
(/.f64 x (*.f64 #s(literal 27 binary64) y))
(neg.f64 (/.f64 (neg.f64 x) (*.f64 #s(literal 27 binary64) y)))
(neg.f64 (/.f64 x (*.f64 #s(literal -27 binary64) y)))

eval8.0ms (0.1%)

Memory: 18.6MiB live, 18.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 221 to 354 computations (71% saved)

prune3.0ms (0%)

Memory

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

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	61	3	64
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	3	65

Accuracy

98.5%

Counts

65 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.1%	(.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))
▶	96.2%	#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

▶

98.1%

(*.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))

▶

96.2%

#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)

simplify259.0ms (2.9%)

Memory

-44.9MiB live, 245.8MiB allocated; 46ms 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)

localize130.0ms (1.4%)

Memory

30.2MiB live, 322.3MiB allocated; 29ms collecting garbage

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.4225330375875232	(/.f64 x (*.f64 #s(literal 27 binary64) y))
accuracy	0.9765625	(.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	3.214863048578086	(.f64 (sqrt.f64 t) (.f64 (/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z) #s(literal 3/2 binary64)))
accuracy	4.723709630492114	(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)
accuracy	0.7270351720227538	#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.9765625	(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)) #s(literal 1/3 binary64))
accuracy	3.2434467652540726	(*.f64 (/.f64 (sqrt.f64 t) y) x)
accuracy	4.731280813912406	(/.f64 (.f64 (.f64 (/.f64 (sqrt.f64 t) y) x) #s(literal -1/18 binary64)) z)
accuracy	0.203125	(/.f64 (/.f64 #s(literal 1/18 binary64) z) y)
accuracy	0.3671875	(/.f64 #s(literal 1/18 binary64) z)
accuracy	0.9765625	(.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.097230626903171	(.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) y) (.f64 (sqrt.f64 t) x))

Samples

105.0ms

256×

valid

Compiler

Compiled 227 to 43 computations (81.1% saved)

Precisions

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

ival-mult: 35.0ms (44.1% of total)

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

const: 15.0ms (18.9% of total)

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

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

exact: 1.0ms (1.3% of total)

adjust: 0.0ms (0% of total)

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

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

series46.0ms (0.5%)

Memory

9.6MiB live, 102.7MiB allocated; 15ms collecting garbage

Counts

17 → 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 (/.f64 #s(literal 1/18 binary64) z) y)
(*.f64 (/.f64 (sqrt.f64 t) y) x)
(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)
(/.f64 x (*.f64 #s(literal 27 binary64) 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 (* (/ (/ 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) 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 (/ x (* 27 y)) #s(hole binary64 (* 1/27 (/ x y))))
#s(approx (/ (/ 1/18 z) y) #s(hole binary64 (/ 1/18 (* 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) y) x) #s(hole binary64 (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) y)))))

Calls

12 calls:

Time	Variable		Point	Expression
9.0ms	y	@	-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) (/ (/ 1/18 z) y) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z) (/ x (* 27 y)))
8.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) (/ (/ 1/18 z) y) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z) (/ x (* 27 y)))
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) (/ (/ 1/18 z) y) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z) (/ x (* 27 y)))
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) (/ (/ 1/18 z) y) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z) (/ x (* 27 y)))
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) (/ (/ 1/18 z) y) (* (/ (sqrt t) y) x) (/ (/ x (* 27 y)) z) (/ x (* 27 y)))

simplify165.0ms (1.8%)

Memory

-15.6MiB live, 125.0MiB allocated; 27ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	99	626
1	214	586
2	603	565
3	1869	565
0	4446	565

Stop Event

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

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) 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 (/ x (* 27 y)) #s(hole binary64 (* 1/27 (/ x y))))
#s(approx (/ (/ 1/18 z) y) #s(hole binary64 (/ 1/18 (* 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) 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 (/.f64 (sqrt.f64 t) z) y) (*.f64 #s(literal 1/18 binary64) x))) #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 (/.f64 (sqrt.f64 t) z) y) (*.f64 #s(literal 1/18 binary64) x))) #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 (/.f64 (sqrt.f64 t) z) y) (.f64 #s(literal 1/18 binary64) x))))
#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 (/.f64 (sqrt.f64 t) z) y) (.f64 #s(literal 1/18 binary64) x)))
#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 (/.f64 (sqrt.f64 t) z) y) (*.f64 #s(literal 1/18 binary64) x))) #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 (/.f64 (sqrt.f64 t) z) y) (.f64 #s(literal 1/18 binary64) x))))
#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 (/.f64 (sqrt.f64 t) z) y) (.f64 #s(literal 1/18 binary64) 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 (/ x (* 27 y)) #s(hole binary64 (* 1/27 (/ x y))))
#s(approx (/ x (* 27 y)) (*.f64 #s(literal 1/27 binary64) (/.f64 x y)))
#s(approx (/ (/ 1/18 z) y) #s(hole binary64 (/ 1/18 (* y z))))
#s(approx (/ (/ 1/18 z) y) (/.f64 (/.f64 #s(literal 1/18 binary64) 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 (/.f64 (sqrt.f64 t) z) y) (.f64 #s(literal 1/18 binary64) x)))
#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 (/.f64 (sqrt.f64 t) z) y) (*.f64 #s(literal 1/18 binary64) x))) #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 (/.f64 (sqrt.f64 t) z) y) (.f64 #s(literal 1/18 binary64) x))))
#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 (/.f64 (sqrt.f64 t) z) y) (.f64 #s(literal 1/18 binary64) 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))

rewrite89.0ms (1%)

Memory

-9.8MiB live, 83.8MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	205
0	64	205
1	150	201
0	554	201

Stop Event

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

Counts

17 → 131

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 (/.f64 #s(literal 1/18 binary64) z) y)
(*.f64 (/.f64 (sqrt.f64 t) y) x)
(/.f64 (/.f64 x (*.f64 #s(literal 27 binary64) y)) z)
(/.f64 x (*.f64 #s(literal 27 binary64) y))

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 (/.f64 #s(literal -1/18 binary64) z) (neg.f64 y))
(/.f64 #s(literal -1/18 binary64) (*.f64 (neg.f64 z) y))
(/.f64 #s(literal -1/18 binary64) (neg.f64 (*.f64 z y)))
(/.f64 (/.f64 #s(literal 1/18 binary64) z) (neg.f64 (neg.f64 y)))
(/.f64 (/.f64 #s(literal 1/18 binary64) z) y)
(/.f64 #s(literal 1/18 binary64) (*.f64 z y))
(neg.f64 (/.f64 (/.f64 #s(literal -1/18 binary64) z) y))
(neg.f64 (/.f64 (/.f64 #s(literal 1/18 binary64) z) (neg.f64 y)))
(*.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)))
(/.f64 (neg.f64 (/.f64 x #s(literal 27 binary64))) (neg.f64 y))
(/.f64 (neg.f64 (/.f64 x y)) #s(literal -27 binary64))
(/.f64 (neg.f64 (neg.f64 x)) (neg.f64 (*.f64 #s(literal -27 binary64) y)))
(/.f64 (/.f64 x #s(literal 27 binary64)) y)
(/.f64 (/.f64 x y) #s(literal 27 binary64))
(/.f64 (neg.f64 x) (*.f64 #s(literal -27 binary64) y))
(/.f64 x (*.f64 #s(literal 27 binary64) y))
(neg.f64 (/.f64 x (*.f64 #s(literal -27 binary64) y)))

eval38.0ms (0.4%)

Memory: -9.5MiB live, 36.4MiB allocated; 3ms collecting garbage
Compiler: Compiled 3 988 to 733 computations (81.6% saved)

prune6.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	144	3	147
Fresh	0	0	0
Picked	3	0	3
Done	0	0	0
Total	147	3	150

Accuracy

98.5%

Counts

150 → 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))

▶

98.1%

#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)

simplify156.0ms (1.7%)

Memory

21.4MiB live, 119.0MiB allocated; 8ms 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)

localize118.0ms (1.3%)

Memory

-14.4MiB live, 177.9MiB allocated; 30ms collecting garbage

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.24609375	(.f64 (.f64 #s(literal 27 binary64) y) z)
accuracy	0.9765625	(.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	3.214863048578086	(.f64 (sqrt.f64 t) (/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (.f64 #s(literal 27 binary64) y) z)))
accuracy	4.469041583823533	(/.f64 (.f64 x #s(literal 3/2 binary64)) (.f64 (*.f64 #s(literal 27 binary64) y) z))
accuracy	0.3671875	(/.f64 #s(literal 1/18 binary64) z)
accuracy	0.9765625	(.f64 (acos.f64 (/.f64 (.f64 (*.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64))
accuracy	2.261763001562922	(.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t))
accuracy	6.7001633129010285	(/.f64 (.f64 (.f64 (/.f64 #s(literal 1/18 binary64) z) x) (sqrt.f64 t)) y)
accuracy	0.19140625	(*.f64 (sqrt.f64 t) x)
accuracy	0.5092373171843245	(.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64))
accuracy	0.9765625	(.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.454912672743573	(/.f64 (.f64 (.f64 (sqrt.f64 t) x) #s(literal 1/18 binary64)) (*.f64 z y))

Samples

93.0ms

256×

valid

Compiler

Compiled 222 to 42 computations (81.1% saved)

Precisions

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

ival-mult: 23.0ms (37.5% of total)

ival-acos: 19.0ms (31% of total)

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

const: 6.0ms (9.8% of total)

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

exact: 1.0ms (1.6% of total)

adjust: 0.0ms (0% of total)

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

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

series38.0ms (0.4%)

Memory

27.1MiB live, 72.7MiB allocated; 6ms 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
9.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))
5.0ms	y	@	-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))
3.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))

simplify70.0ms (0.8%)

Memory

-35.7MiB live, 104.6MiB allocated; 14ms 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)))

rewrite51.0ms (0.6%)

Memory

33.5MiB live, 79.5MiB allocated; 5ms 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.9MiB live, 38.9MiB allocated; 3ms collecting garbage
Compiler: Compiled 3 485 to 625 computations (82.1% saved)

prune14.0ms (0.2%)

Memory

-21.7MiB live, 32.8MiB allocated; 2ms 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))

✓

98.1%

#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

14.9MiB live, 14.9MiB 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)

localize42.0ms (0.5%)

Memory

-24.6MiB live, 68.7MiB allocated; 7ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.228847509768442	(.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y)))
accuracy	0.9765625	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (.f64 z y))))) #s(literal 1/3 binary64))
accuracy	3.214863048578086	(.f64 (sqrt.f64 t) (.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 z y))))
accuracy	4.267909215764552	(/.f64 x (*.f64 z y))

Samples

28.0ms

256×

valid

Compiler

Compiled 59 to 15 computations (74.6% saved)

Precisions

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

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

const: 6.0ms (32.9% of total)

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

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

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

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

adjust: 0.0ms (0% of total)

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

series14.0ms (0.2%)

Memory

31.1MiB live, 31.1MiB allocated; 0ms 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
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	@	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))))
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	z	@	-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))))

simplify31.0ms (0.3%)

Memory

-10.1MiB live, 37.1MiB allocated; 3ms 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))

rewrite116.0ms (1.3%)

Memory

-0.0MiB live, 50.3MiB allocated; 3ms 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)))

eval16.0ms (0.2%)

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

prune10.0ms (0.1%)

Memory

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

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	114	2	116

Accuracy

98.5%

Counts

116 → 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))

✓

98.1%

#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 240 to 121 computations (49.6% saved)

regimes39.0ms (0.4%)

Memory

-19.3MiB live, 74.7MiB allocated; 3ms collecting garbage

Counts

8 → 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))))

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) x) (sqrt.f64 t)) y)) #s(literal 1/3 binary64)))

Calls

13 calls:

7.0ms	(/.f64 x (*.f64 y #s(literal 27 binary64)))
4.0ms	z
3.0ms	(*.f64 y #s(literal 27 binary64))
3.0ms	(*.f64 z #s(literal 2 binary64))
3.0ms	y

Results

Accuracy	Segments	Branch
98.1%	1	`(sqrt.f64 t)`
98.1%	1	`(*.f64 z #s(literal 2 binary64))`
98.1%	1	`(*.f64 y #s(literal 27 binary64))`
98.1%	1	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`
98.1%	1	`(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))`
98.1%	1	`(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))`
98.1%	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))`
98.1%	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)))`
98.1%	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))))`
98.1%	1	`x`
98.1%	1	`y`
98.1%	1	`z`
98.1%	1	`t`

Compiler

Compiled 83 to 108 computations (-30.1% saved)

regimes33.0ms (0.4%)

Memory

0.6MiB live, 58.0MiB allocated; 9ms collecting garbage

Counts

4 → 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)))

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:

12.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))
2.0ms	(*.f64 y #s(literal 27 binary64))
2.0ms	(*.f64 z #s(literal 2 binary64))
2.0ms	z
2.0ms	(sqrt.f64 t)

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)

regimes14.0ms (0.2%)

Memory

-7.5MiB live, 39.8MiB allocated; 1ms 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:

1.0ms	(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)))
1.0ms	(*.f64 z #s(literal 2 binary64))
1.0ms	(*.f64 y #s(literal 27 binary64))
1.0ms	(sqrt.f64 t)
1.0ms	t

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)

simplify47.0ms (0.5%)

Memory

3.5MiB live, 50.6MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	75
1	63	75
2	151	75
3	539	75
4	2609	75
5	4817	75

Stop Event

1×	node limit

Calls

Call 1

Inputs

#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 (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

#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 (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)))

derivations101.0ms (1.1%)

Memory

-20.5MiB live, 26.7MiB allocated; 2ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 79 to 40 computations (49.4% saved)

preprocess34.0ms (0.4%)

Memory: 12.3MiB live, 61.2MiB allocated; 5ms collecting garbage
Remove: (sort y z)
Compiler: Compiled 296 to 204 computations (31.1% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze452.0ms (5%)

sample5.7s (63.6%)

explain420.0ms (4.6%)

preprocess244.0ms (2.7%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify172.0ms (1.9%)

localize81.0ms (0.9%)

series44.0ms (0.5%)

simplify115.0ms (1.3%)

rewrite49.0ms (0.5%)

eval8.0ms (0.1%)

prune3.0ms (0%)

simplify259.0ms (2.9%)

localize130.0ms (1.4%)

series46.0ms (0.5%)

simplify165.0ms (1.8%)

rewrite89.0ms (1%)

eval38.0ms (0.4%)

prune6.0ms (0.1%)

simplify156.0ms (1.7%)

localize118.0ms (1.3%)

series38.0ms (0.4%)

simplify70.0ms (0.8%)

rewrite51.0ms (0.6%)

eval16.0ms (0.2%)

prune14.0ms (0.2%)

simplify8.0ms (0.1%)

localize42.0ms (0.5%)

series14.0ms (0.2%)

simplify31.0ms (0.3%)

rewrite116.0ms (1.3%)

eval16.0ms (0.2%)

prune10.0ms (0.1%)

regimes39.0ms (0.4%)

regimes33.0ms (0.4%)

regimes14.0ms (0.2%)

simplify47.0ms (0.5%)

derivations101.0ms (1.1%)

preprocess34.0ms (0.4%)

end0.0ms (0%)

Profiling