Metrics for 2-ancestry mixing, negative discriminant

analyze117.0ms (3.5%)

Memory

-4.4MiB live, 147.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
26.7%	25%	68.7%	0.1%	0%	6.2%	0%	5
27.6%	25%	65.6%	0.1%	0%	9.4%	0%	6
49%	37.5%	39%	0.1%	0%	23.4%	0%	7
50.5%	37.5%	36.7%	0.1%	0%	25.8%	0%	8
67.9%	43.7%	20.7%	0.1%	0%	35.5%	0%	9
69.3%	43.7%	19.3%	0.1%	0%	36.9%	0%	10
81.5%	46.8%	10.6%	0.1%	0%	42.4%	0%	11
82.5%	46.8%	9.9%	0.1%	0%	43.2%	0%	12

Compiler

Compiled 18 to 16 computations (11.1% saved)

sample1.6s (48.3%)

Memory

51.9MiB live, 1 840.6MiB allocated

Samples

1.1s	8 256×	0	valid
191.0ms	1 133×	0	invalid

Precisions

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

ival-cos: 370.0ms (35.9% of total)

ival-div: 287.0ms (27.9% of total)

ival-mult: 140.0ms (13.6% of total)

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

ival-neg: 41.0ms (4% of total)

ival-add: 40.0ms (3.9% of total)

ival-pi: 38.0ms (3.7% of total)

exact: 10.0ms (1% of total)

ival-true: 7.0ms (0.7% of total)

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

Bogosity

preprocess29.0ms (0.9%)

Memory

-5.1MiB live, 42.0MiB allocated

Algorithm

2×	egg-herbie

Rules

120×	`times-frac`
70×	`associate-/r*`
64×	`unsub-neg`
54×	`associate-l`
48×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	92
1	75	80
2	138	80
3	269	80
4	497	80
5	540	80
6	557	80
7	589	80
8	614	80
0	14	16
1	25	14
2	37	14
3	47	14
4	55	14
5	65	14
6	81	14
7	89	14
8	92	14
0	92	13

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))

Outputs

(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))

(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g (-.f64 #s(literal 0 binary64) h))) #s(literal 3 binary64)))))

Call 2

Inputs
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg (neg g)) h)) 3))))
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) (neg h))) 3))))
(neg (* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg (neg g)) h)) 3)))))
(neg (* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) (neg h))) 3)))))
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg h) g)) 3))))

Outputs
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))
(* 2 (cos (+ (* (PI) 2/3) (/ (acos (/ g (neg h))) 3))))
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg (neg g)) h)) 3))))
(* 2 (cos (+ (* (PI) 2/3) (/ (acos (/ g h)) 3))))
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) (neg h))) 3))))
(* 2 (cos (+ (* (PI) 2/3) (/ (acos (/ g h)) 3))))
(neg (* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg (neg g)) h)) 3)))))
(* (cos (+ (* (PI) 2/3) (/ (acos (/ g h)) 3))) -2)
(neg (* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) (neg h))) 3)))))
(* (cos (+ (* (PI) 2/3) (/ (acos (/ g h)) 3))) -2)
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg h) g)) 3))))
(* 2 (cos (+ (* (PI) 2/3) (/ (acos (/ h (neg g))) 3))))

explain178.0ms (5.3%)

Memory

27.0MiB live, 260.8MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64))`
-	-	`(acos.f64 (/.f64 (neg.f64 g) h))`
-	-	`(cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))))`
-	-	`#s(literal 3 binary64)`
-	-	`(+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))`
-	-	`(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))`
-	-	`(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))`
-	-	`(neg.f64 g)`
-	-	`#s(literal 2 binary64)`
-	-	`g`
-	-	`(*.f64 #s(literal 2 binary64) (PI.f64))`
-	-	`h`
-	-	`(/.f64 (neg.f64 g) h)`
-	-	`(PI.f64)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

70.0ms

512×

valid

Compiler

Compiled 188 to 60 computations (68.1% saved)

Precisions

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

ival-div: 15.0ms (32.3% of total)

ival-cos: 13.0ms (28% of total)

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

ival-acos: 4.0ms (8.6% of total)

ival-pi: 2.0ms (4.3% of total)

ival-add: 2.0ms (4.3% of total)

ival-neg: 2.0ms (4.3% of total)

ival-true: 1.0ms (2.2% of total)

exact: 1.0ms (2.2% of total)

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

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.4%	(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify13.0ms (0.4%)

Memory

-28.8MiB live, 8.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))))
✓	cost-diff	0	(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (/.f64 (.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
✓	cost-diff	128	(+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))
✓	cost-diff	704	(/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64))

Rules

32×	`+-lowering-+.f64`
32×	`-lowering-.f32`
32×	`-lowering-.f64`
32×	`+-lowering-+.f32`
24×	`accelerator-lowering-fma.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	74
1	25	66
2	37	66
3	47	66
4	55	66
5	65	66
6	81	66
7	89	66
8	92	66
0	92	63

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))
2
(cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))
(+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))
(/ (* 2 (PI)) 3)
(* 2 (PI))
(PI)
3
(/ (acos (/ (neg g) h)) 3)
(acos (/ (neg g) h))
(/ (neg g) h)
(neg g)
g
h

Outputs
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g (-.f64 #s(literal 0 binary64) h))) #s(literal 3 binary64)))))
2
#s(literal 2 binary64)
(cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))
(cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g (-.f64 #s(literal 0 binary64) h))) #s(literal 3 binary64))))
(+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))
(fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g (-.f64 #s(literal 0 binary64) h))) #s(literal 3 binary64)))
(/ (* 2 (PI)) 3)
(*.f64 (PI.f64) #s(literal 2/3 binary64))
(* 2 (PI))
(*.f64 #s(literal 2 binary64) (PI.f64))
(PI)
(PI.f64)
3
#s(literal 3 binary64)
(/ (acos (/ (neg g) h)) 3)
(/.f64 (acos.f64 (/.f64 g (-.f64 #s(literal 0 binary64) h))) #s(literal 3 binary64))
(acos (/ (neg g) h))
(acos.f64 (/.f64 g (-.f64 #s(literal 0 binary64) h)))
(/ (neg g) h)
(/.f64 g (-.f64 #s(literal 0 binary64) h))
(neg g)
(-.f64 #s(literal 0 binary64) g)
g
h

localize67.0ms (2%)

Memory

-30.2MiB live, 67.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	98.5%	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))
✓	accuracy	98.5%	(cos.f64 (+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))))
✓	accuracy	98.5%	(+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))
✓	accuracy	98.4%	(/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64))

Samples

30.0ms

256×

valid

Compiler

Compiled 76 to 16 computations (78.9% saved)

Precisions

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

ival-cos: 7.0ms (33.7% of total)

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

ival-mult: 3.0ms (14.5% of total)

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

ival-pi: 1.0ms (4.8% of total)

ival-add: 1.0ms (4.8% of total)

ival-neg: 1.0ms (4.8% of total)

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

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

exact: 0.0ms (0% of total)

series14.0ms (0.4%)

Memory

-22.9MiB live, 14.6MiB allocated

Counts

5 → 96

Calls

Call 1

Inputs
#<alt (/ (* 2 (PI)) 3)>
#<alt (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))>
#<alt (* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))>
#<alt (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))>
#<alt (/ (acos (/ (neg g) h)) 3)>

Outputs
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>
#<alt (* 1/3 (acos (* -1 (/ g h))))>

Calls

24 calls:

Time	Variable		Point	Expression
6.0ms	g	@	inf	(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))
1.0ms	g	@	-inf	(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))
1.0ms	g	@	0	(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))
1.0ms	h	@	inf	(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))
1.0ms	h	@	-inf	(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))

rewrite609.0ms (17.9%)

Memory

4.9MiB live, 396.5MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

7 768×	`accelerator-lowering-fma.f32`
7 768×	`accelerator-lowering-fma.f64`
5 868×	`-lowering-.f32`
5 868×	`-lowering-.f64`
2 670×	`/-lowering-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	55
1	89	47
2	733	47
0	8499	44

Stop Event

1×	iter limit
1×	node limit

Counts

5 → 253

Calls

Call 1

Inputs
(/ (* 2 (PI)) 3)
(+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))
(* 2 (cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3))))
(cos (+ (/ (* 2 (PI)) 3) (/ (acos (/ (neg g) h)) 3)))
(/ (acos (/ (neg g) h)) 3)

Outputs
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64))) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (*.f64 (PI.f64) #s(literal -2/3 binary64)))
(neg.f64 (*.f64 (PI.f64) #s(literal -2/3 binary64)))
(neg.f64 (.f64 (.f64 (PI.f64) #s(literal -2/3 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) (PI.f64)))
(/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3/2 binary64) (PI.f64)))
(/.f64 (*.f64 (PI.f64) #s(literal -2 binary64)) #s(literal -3 binary64))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64)))
(pow.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -1 binary64))
(.f64 #s(literal 2 binary64) (.f64 (PI.f64) #s(literal 1/3 binary64)))
(.f64 #s(literal 2 binary64) (.f64 (*.f64 (PI.f64) #s(literal 1/3 binary64)) #s(literal 1 binary64)))
(*.f64 (PI.f64) #s(literal 2/3 binary64))
(.f64 (.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 1/3 binary64))
(.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/3 binary64)))
(.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 2/3 binary64)))
(.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (*.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/3 binary64)))
(.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (*.f64 (cbrt.f64 (PI.f64)) #s(literal 1/3 binary64)) #s(literal 2 binary64)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 2/3 binary64)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/3 binary64)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/3 binary64)) #s(literal 2 binary64)))
(.f64 (.f64 (PI.f64) #s(literal -2 binary64)) #s(literal -1/3 binary64))
(.f64 #s(literal 1/3 binary64) (.f64 #s(literal 2 binary64) (PI.f64)))
(.f64 #s(literal 1/3 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (PI.f64))) #s(literal -1 binary64)))
(.f64 #s(literal -1 binary64) (.f64 (PI.f64) #s(literal -2/3 binary64)))
(.f64 (.f64 (PI.f64) #s(literal 1/3 binary64)) #s(literal 2 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) (PI.f64)) #s(literal -2/3 binary64))
(.f64 #s(literal -2 binary64) (.f64 (PI.f64) #s(literal -1/3 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 (PI.f64) #s(literal 2/3 binary64))) (*.f64 (cbrt.f64 (PI.f64)) #s(literal 1/3 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 (PI.f64))) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/3 binary64)))
(*.f64 #s(literal 2/3 binary64) (PI.f64))
(*.f64 (pow.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -1/2 binary64)))
(.f64 (.f64 #s(literal 1/3 binary64) (PI.f64)) #s(literal 2 binary64))
(.f64 (.f64 #s(literal 1/3 binary64) (pow.f64 (PI.f64) #s(literal 2/3 binary64))) (*.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)))
(.f64 (.f64 #s(literal 1/3 binary64) (sqrt.f64 (PI.f64))) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 2 binary64)))
(.f64 (.f64 #s(literal 1/3 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))) (cbrt.f64 (PI.f64)))
(.f64 (.f64 #s(literal 1/3 binary64) (*.f64 #s(literal 2 binary64) (sqrt.f64 (PI.f64)))) (sqrt.f64 (PI.f64)))
(+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(+.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(+.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (neg.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(-.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))
(-.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal -2/3 binary64)))
(-.f64 (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)) (-.f64 (.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64))))
(-.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))
(-.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal -2/3 binary64)))) (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal -2/3 binary64)))))
(-.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64))) (*.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (PI.f64) #s(literal 1/3 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (.f64 (PI.f64) #s(literal 1/3 binary64)) #s(literal 1 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 1/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 1 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/3 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 2/3 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/3 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 2/3 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/3 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 (PI.f64) #s(literal -2 binary64)) #s(literal -1/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (neg.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(fma.f64 #s(literal 1/3 binary64) (.f64 #s(literal 2 binary64) (PI.f64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 #s(literal 1/3 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1 binary64)) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 #s(literal 1/3 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (PI.f64))) #s(literal -1 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 (PI.f64) #s(literal -2/3 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 (PI.f64) #s(literal 1/3 binary64)) #s(literal 2 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (-.f64 #s(literal 0 binary64) (PI.f64)) #s(literal -2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 #s(literal -2 binary64) (.f64 (PI.f64) #s(literal -1/3 binary64)) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 2 binary64) (pow.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/3 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 (PI.f64))) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/3 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 2/3 binary64) (PI.f64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 6 binary64) (/.f64 (.f64 (PI.f64) (.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64))) (-.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (neg.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(fma.f64 (/.f64 (.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 1/3 binary64)) (/.f64 (.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64)) (-.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (neg.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(fma.f64 (/.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64)) (/.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (-.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (neg.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(fma.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4 binary64)) #s(literal 1/3 binary64)) (/.f64 #s(literal 1/9 binary64) (-.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (neg.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(fma.f64 #s(literal 12 binary64) (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/9 binary64)) (-.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (neg.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(fma.f64 (/.f64 (.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/3 binary64)) (/.f64 (.f64 (PI.f64) #s(literal 1/3 binary64)) (-.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (neg.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(fma.f64 (/.f64 (.f64 (PI.f64) (.f64 (PI.f64) #s(literal 4/3 binary64))) #s(literal 1/3 binary64)) (/.f64 #s(literal 1/3 binary64) (-.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (neg.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(fma.f64 (pow.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1/2 binary64)) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -1/2 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 1/3 binary64) (PI.f64)) #s(literal 2 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 1/3 binary64) (pow.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 1/3 binary64) (sqrt.f64 (PI.f64))) (.f64 (sqrt.f64 (PI.f64)) #s(literal 2 binary64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 1/3 binary64) (.f64 #s(literal 2 binary64) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))) (cbrt.f64 (PI.f64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 1/3 binary64) (.f64 #s(literal 2 binary64) (sqrt.f64 (PI.f64)))) (sqrt.f64 (PI.f64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(neg.f64 (fma.f64 (PI.f64) #s(literal -2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))
(neg.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64) (*.f64 (PI.f64) #s(literal -2/3 binary64))))
(neg.f64 (/.f64 (fma.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 (PI.f64) #s(literal 6 binary64))) #s(literal -9 binary64)))
(neg.f64 (/.f64 (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64))) (-.f64 #s(literal 0 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (.f64 #s(literal 1/9 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (-.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2 binary64) (PI.f64))))))))
(neg.f64 (/.f64 (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal -1/9 binary64))) (fma.f64 (PI.f64) #s(literal -2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64)))) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (.f64 #s(literal 1/9 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (-.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2 binary64) (PI.f64)))))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal -1/9 binary64)))) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal 1/9 binary64) (.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal 3 binary64)) (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (+.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal 3/2 binary64) (PI.f64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (+.f64 #s(literal -3 binary64) (neg.f64 (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal -3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (fma.f64 (.f64 (PI.f64) #s(literal -2 binary64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal 3 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -9 binary64) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -3 binary64) (*.f64 (PI.f64) #s(literal -6 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64)) (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (*.f64 #s(literal 2 binary64) (PI.f64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (*.f64 (PI.f64) #s(literal 2/3 binary64))) (+.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64)) (+.f64 #s(literal -3 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (*.f64 (PI.f64) #s(literal -2 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal -3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))) (fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -3 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 9 binary64) (fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64) (*.f64 (PI.f64) #s(literal 6 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal -2/3 binary64))) (fma.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal 1/9 binary64) (neg.f64 (.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64))))))
(/.f64 (fma.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 (PI.f64) #s(literal 6 binary64))) #s(literal 9 binary64))
(/.f64 (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64))) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (.f64 #s(literal 1/9 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (-.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2 binary64) (PI.f64))))))
(/.f64 (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64))) (fma.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal 1/9 binary64) (.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))))))
(/.f64 (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal -1/9 binary64))) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))
(/.f64 (fma.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64)) (/.f64 #s(literal 3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(/.f64 (fma.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 (PI.f64) #s(literal -6 binary64))) #s(literal -9 binary64))
(/.f64 (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal 3 binary64)))
(/.f64 (+.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal 3/2 binary64) (PI.f64))) (/.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(/.f64 (+.f64 #s(literal -3 binary64) (neg.f64 (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))) (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -3 binary64)))
(/.f64 (fma.f64 (.f64 (PI.f64) #s(literal -2 binary64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64)) (/.f64 #s(literal -3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(/.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 #s(literal 3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(/.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -3 binary64) (*.f64 (PI.f64) #s(literal -6 binary64))) #s(literal -9 binary64))
(/.f64 (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 #s(literal 2 binary64) (PI.f64)))) (*.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64)))
(/.f64 (+.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (/.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(/.f64 (+.f64 #s(literal -3 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 (PI.f64) #s(literal -2 binary64)))) (*.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64)))
(/.f64 (fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (/.f64 #s(literal -3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(/.f64 (fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64) (*.f64 (PI.f64) #s(literal 6 binary64))) #s(literal 9 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64)))) (-.f64 #s(literal 0 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (.f64 #s(literal 1/9 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (-.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2 binary64) (PI.f64)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64)))) (neg.f64 (fma.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal 1/9 binary64) (.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal -1/9 binary64)))) (fma.f64 (PI.f64) #s(literal -2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(/.f64 (fma.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal 1/9 binary64) (neg.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)))) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal -2/3 binary64))))
(/.f64 (fma.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64)) (.f64 #s(literal 3 binary64) (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))))
(/.f64 (fma.f64 #s(literal 1 binary64) (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -1 binary64))) (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))))
(/.f64 (fma.f64 (.f64 (PI.f64) #s(literal -2 binary64)) (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64)) (.f64 #s(literal -3 binary64) (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))))
(/.f64 (+.f64 #s(literal -3 binary64) (.f64 (/.f64 #s(literal -3/2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (.f64 (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal 3 binary64)))
(/.f64 (+.f64 (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal 1 binary64))) (.f64 (/.f64 #s(literal -3/2 binary64) (PI.f64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))))
(/.f64 (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal -3/2 binary64) (PI.f64)) (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))) (.f64 (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64)))
(/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -1 binary64))) (.f64 (/.f64 #s(literal -3/2 binary64) (PI.f64)) (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))))
(/.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (*.f64 #s(literal 3 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64))))
(/.f64 (fma.f64 #s(literal 1 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64)) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1 binary64))) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal -3/2 binary64) (PI.f64))))
(/.f64 (fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal 3 binary64)) (*.f64 #s(literal -3 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64))))
(/.f64 (+.f64 #s(literal -3 binary64) (.f64 (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 #s(literal 2 binary64) (PI.f64)))) (*.f64 (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64)))
(/.f64 (+.f64 (/.f64 #s(literal -3/2 binary64) (PI.f64)) (.f64 (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 1 binary64))) (.f64 (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal 3/2 binary64) (PI.f64))))
(/.f64 (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 (PI.f64) #s(literal -2 binary64)))) (*.f64 (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64)))
(/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64)) (.f64 (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1 binary64))) (.f64 (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal -3/2 binary64) (PI.f64))))
(/.f64 (neg.f64 (fma.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64))) (neg.f64 (/.f64 #s(literal 3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(/.f64 (neg.f64 (fma.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 (PI.f64) #s(literal -6 binary64)))) #s(literal 9 binary64))
(/.f64 (neg.f64 (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))) (neg.f64 (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal 3 binary64))))
(/.f64 (neg.f64 (+.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal 3/2 binary64) (PI.f64)))) (neg.f64 (/.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(/.f64 (neg.f64 (+.f64 #s(literal -3 binary64) (neg.f64 (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))))) (neg.f64 (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -3 binary64))))
(/.f64 (neg.f64 (fma.f64 (.f64 (PI.f64) #s(literal -2 binary64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64))) (neg.f64 (/.f64 #s(literal -3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(/.f64 (neg.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal 3 binary64))) (neg.f64 (/.f64 #s(literal 3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
(/.f64 (neg.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -3 binary64) (*.f64 (PI.f64) #s(literal -6 binary64)))) #s(literal 9 binary64))
(/.f64 (neg.f64 (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 #s(literal 2 binary64) (PI.f64))))) (neg.f64 (*.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64))))
(/.f64 (neg.f64 (+.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))) (neg.f64 (/.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
(/.f64 (neg.f64 (+.f64 #s(literal -3 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 (PI.f64) #s(literal -2 binary64))))) (neg.f64 (*.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64))))
(/.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -3 binary64))) (neg.f64 (/.f64 #s(literal -3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
(/.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64) (*.f64 (PI.f64) #s(literal 6 binary64)))) #s(literal -9 binary64))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64))))) (neg.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (.f64 #s(literal 1/9 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (-.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2 binary64) (PI.f64))))))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal -1/9 binary64))))) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal 1/9 binary64) (neg.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64))))) (neg.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal -2/3 binary64)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (fma.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))) (+.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))) #s(literal -1 binary64))
(.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(.f64 #s(literal 1 binary64) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64))))
(.f64 (fma.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 (PI.f64) #s(literal 6 binary64))) #s(literal 1/9 binary64))
(.f64 (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (.f64 #s(literal 1/9 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (-.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2 binary64) (PI.f64)))))))
(.f64 (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal 1/9 binary64) (.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))))
(.f64 (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (.f64 #s(literal 1/9 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (-.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2 binary64) (PI.f64))))) (.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (.f64 #s(literal 1/9 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (-.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2 binary64) (PI.f64))))))))
(*.f64 #s(literal 1/3 binary64) (fma.f64 #s(literal 2 binary64) (PI.f64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))
(.f64 #s(literal 1/3 binary64) (+.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2 binary64) (PI.f64))))
(.f64 (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal -1/9 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))
(.f64 (fma.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(.f64 (fma.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 (PI.f64) #s(literal -6 binary64))) #s(literal -1/9 binary64))
(.f64 (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal 3 binary64))))
(.f64 (+.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal 3/2 binary64) (PI.f64))) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64))))
(.f64 (+.f64 #s(literal -3 binary64) (neg.f64 (.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))) (/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -3 binary64))))
(.f64 (fma.f64 (.f64 (PI.f64) #s(literal -2 binary64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))))
(.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -3 binary64) (.f64 (PI.f64) #s(literal -6 binary64))) #s(literal -1/9 binary64))
(.f64 (+.f64 #s(literal 3 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 #s(literal 2 binary64) (PI.f64)))) (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal 3 binary64))))
(.f64 (+.f64 (/.f64 #s(literal 3/2 binary64) (PI.f64)) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64))))
(.f64 (+.f64 #s(literal -3 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (.f64 (PI.f64) #s(literal -2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64))))
(.f64 (fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (/.f64 #s(literal 3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))))
(.f64 (fma.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64) (.f64 (PI.f64) #s(literal 6 binary64))) #s(literal 1/9 binary64))
(.f64 (-.f64 #s(literal 0 binary64) (fma.f64 #s(literal 1/27 binary64) (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64)) (.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 8/27 binary64)))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (.f64 #s(literal 1/9 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) (-.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2 binary64) (PI.f64))))))))
(.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64) (.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal -1/9 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (PI.f64) #s(literal -2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(*.f64 #s(literal -1/3 binary64) (fma.f64 (PI.f64) #s(literal -2 binary64) (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))))
(.f64 #s(literal -1/3 binary64) (fma.f64 #s(literal -1 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 (PI.f64) #s(literal -2 binary64))))
(.f64 (fma.f64 (pow.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 2 binary64)) #s(literal 1/9 binary64) (neg.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal -2/3 binary64)))))
(.f64 (/.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 1/3 binary64)) (/.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))) (-.f64 (.f64 #s(literal 2 binary64) (PI.f64)) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))))
(+.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (*.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))))))
(+.f64 (.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (.f64 (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (*.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #s(literal 2 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))))))
(fma.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64) (.f64 (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #s(literal 2 binary64)))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))))
(.f64 (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))) #s(literal 2 binary64))
(+.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (*.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
(+.f64 (.f64 (cos.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (cos.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))) (.f64 (sin.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (sin.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))))
(cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(-.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(-.f64 (/.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (fma.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))))) (/.f64 (pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (fma.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))))))
(-.f64 (/.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (/.f64 (pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(fma.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
(fma.f64 (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
(fma.f64 (+.f64 (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) #s(literal 1/2 binary64) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
(fma.f64 (cos.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (cos.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (.f64 (sin.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (sin.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (fma.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))))) (-.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))))))
(/.f64 (-.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (fma.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))))))
(/.f64 (.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64))))) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))
(/.f64 (-.f64 (+.f64 (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (-.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))))) #s(literal 2 binary64))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (fma.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))))))
(/.f64 (neg.f64 (.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))))) (neg.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (pow.f64 (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (*.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))))))))
(/.f64 (-.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (.f64 (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))))) (-.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (*.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))))))
(.f64 (-.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (fma.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))))))
(.f64 (.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64))))) (/.f64 #s(literal 1 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
(+.f64 (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)) (neg.f64 (*.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(+.f64 (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)) (*.f64 (asin.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(+.f64 (.f64 #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1/3 binary64) (asin.f64 (/.f64 g h))))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))
(-.f64 (*.f64 (PI.f64) #s(literal 1/3 binary64)) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))
(-.f64 (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)) (*.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(fma.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64) (neg.f64 (.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(fma.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64) (.f64 (asin.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 1/2 binary64)) (.f64 #s(literal 1/3 binary64) (asin.f64 (/.f64 g h))))
(neg.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))
(neg.f64 (.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)) #s(literal 1 binary64)))
(/.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 3 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))
(/.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -3 binary64))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)) (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)) (fma.f64 (.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)) (*.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)) (.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64))) (.f64 (.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (fma.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 1/3 binary64) (.f64 (asin.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(pow.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1 binary64))
(*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))
(.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(*.f64 (-.f64 #s(literal 0 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1/3 binary64))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(*.f64 #s(literal 1/3 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1 binary64)))
(.f64 #s(literal -1 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))) #s(literal -1/2 binary64)))

simplify18.0ms (0.5%)

Memory

22.7MiB live, 22.7MiB allocated

Algorithm

1×	egg-herbie

Rules

32×	`+-lowering-+.f64`
32×	`+-lowering-+.f32`
28×	`-lowering-.f32`
28×	`-lowering-.f64`
24×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	1056
1	23	1056
2	30	1056
3	36	1056
4	46	1056
5	52	1056
6	60	1056
7	74	1056
8	85	1056
9	88	1056
10	89	1056
0	89	984

Stop Event

1×	iter limit
1×	saturated

Counts

96 → 96

Calls

Call 1

Inputs
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))
(* 1/3 (acos (* -1 (/ g h))))

Outputs
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64)))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(* 2 (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI)))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 (PI))))
(cos.f64 (fma.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (*.f64 #s(literal 2/3 binary64) (PI.f64))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))
(* 1/3 (acos (* -1 (/ g h))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))))

eval138.0ms (4.1%)

Memory: -21.6MiB live, 62.9MiB allocated
Compiler: Compiled 9 057 to 1 158 computations (87.2% saved)

prune95.0ms (2.8%)

Memory

18.1MiB live, 56.1MiB allocated

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	343	6	349
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	344	6	350

Accuracy

100.0%

Counts

350 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.4%	(.f64 #s(literal 2 binary64) (fma.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (*.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))))))
	98.5%	(.f64 #s(literal 2 binary64) (fma.f64 (cos.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (cos.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (.f64 (sin.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))) (sin.f64 (/.f64 (pow.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))))
▶	99.8%	(.f64 #s(literal 2 binary64) (/.f64 (-.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (fma.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))))))
▶	98.4%	(.f64 #s(literal 2 binary64) (.f64 (.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64))))) (/.f64 #s(literal 1 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))))
▶	98.5%	(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
▶	98.5%	(.f64 #s(literal 2 binary64) (cos.f64 (/.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (.f64 #s(literal 3 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64))))))

Compiler

Compiled 688 to 272 computations (60.5% saved)

simplify471.0ms (13.9%)

Memory

-0.4MiB live, 518.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 20 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))
✓	cost-diff	0	(.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
✓	cost-diff	0	(.f64 #s(literal 2 binary64) (.f64 (.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64))))) (/.f64 #s(literal 1 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))))))
✓	cost-diff	30144	(.f64 (.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64))))) (/.f64 #s(literal 1 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))))))
✓	cost-diff	320	(.f64 #s(literal 2 binary64) (fma.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (*.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))))))
✓	cost-diff	384	(/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64))
✓	cost-diff	384	(fma.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
✓	cost-diff	2240	(*.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))
✓	cost-diff	0	(cos.f64 (/.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (*.f64 #s(literal 3 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64)))))
✓	cost-diff	0	(.f64 #s(literal 2 binary64) (cos.f64 (/.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (.f64 #s(literal 3 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64))))))
✓	cost-diff	320	(*.f64 #s(literal 3 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64)))
✓	cost-diff	384	(/.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (*.f64 #s(literal 3 binary64) (/.f64 #s(literal -3/2 binary64) (PI.f64))))
✓	cost-diff	0	(PI.f64)
✓	cost-diff	0	(fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
✓	cost-diff	0	(cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
✓	cost-diff	0	(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
✓	cost-diff	320	(.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
✓	cost-diff	384	(/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64))
✓	cost-diff	1280	(.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (fma.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) (.f64 (-.f64 #s(literal 1/4 binary64) (.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))) (cos.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))))
✓	cost-diff	2240	(*.f64 (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal 2 binary64)))

Rules

14 140×	`accelerator-lowering-fma.f32`
14 140×	`accelerator-lowering-fma.f64`
7 306×	`-lowering-.f32`
7 306×	`-lowering-.f64`
2 736×	`+-lowering-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	1125
1	164	1075
2	508	836
3	3350	824
4	7338	824
0	8199	796

Stop Event

1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(* 2 (/ (- (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 3) (pow (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) 3)) (+ (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 2) (* (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) (+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))))))))
2
(/ (- (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 3) (pow (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) 3)) (+ (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 2) (* (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) (+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3)))))))
(- (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 3) (pow (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) 3))
(pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 3)
(* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3)))
(- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))
1/4
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
(/ (sqrt 3) 2)
(sqrt 3)
3
(cos (* (acos (- 0 (/ g h))) 1/3))
(* (acos (- 0 (/ g h))) 1/3)
(acos (- 0 (/ g h)))
(- 0 (/ g h))
0
(/ g h)
g
h
1/3
(pow (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) 3)
(* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3)))
(* 2 (* (/ (sqrt 3) 2) 1/2))
(* (/ (sqrt 3) 2) 1/2)
1/2
(sin (* (acos (- 0 (/ g h))) 1/3))
(+ (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 2) (* (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) (+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))))))
(pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 2)
(* (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) (+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3)))))
(+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))))
(* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))
(* 2 (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) 1/3))))
2
(cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) 1/3)))
(+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) 1/3))
(PI)
2/3
(* (acos (- 0 (/ g h))) 1/3)
(acos (- 0 (/ g h)))
(- 0 (/ g h))
0
(/ g h)
g
h
1/3
(* 2 (cos (/ (+ (* (acos (- 0 (/ g h))) (/ -3/2 (PI))) -3) (* 3 (/ -3/2 (PI))))))
2
(cos (/ (+ (* (acos (- 0 (/ g h))) (/ -3/2 (PI))) -3) (* 3 (/ -3/2 (PI)))))
(/ (+ (* (acos (- 0 (/ g h))) (/ -3/2 (PI))) -3) (* 3 (/ -3/2 (PI))))
(+ (* (acos (- 0 (/ g h))) (/ -3/2 (PI))) -3)
(acos (- 0 (/ g h)))
(- 0 (/ g h))
0
(/ g h)
g
h
(/ -3/2 (PI))
-3/2
(PI)
-3
(* 3 (/ -3/2 (PI)))
3
(* 2 (+ (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) (* (sin (* (acos (- 0 (/ g h))) 1/3)) (* -2 (* (/ (sqrt 3) 2) 1/2)))))
2
(+ (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) (* (sin (* (acos (- 0 (/ g h))) 1/3)) (* -2 (* (/ (sqrt 3) 2) 1/2))))
(- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))
1/4
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
(/ (sqrt 3) 2)
(sqrt 3)
3
(cos (* (acos (- 0 (/ g h))) 1/3))
(* (acos (- 0 (/ g h))) 1/3)
(acos (- 0 (/ g h)))
(- 0 (/ g h))
0
(/ g h)
g
h
1/3
(* (sin (* (acos (- 0 (/ g h))) 1/3)) (* -2 (* (/ (sqrt 3) 2) 1/2)))
(sin (* (acos (- 0 (/ g h))) 1/3))
(* -2 (* (/ (sqrt 3) 2) 1/2))
-2
(* (/ (sqrt 3) 2) 1/2)
1/2
(* 2 (* (* (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))) (cos (+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3)))) (/ 1 (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))))))
2
(* (* (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))) (cos (+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3)))) (/ 1 (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3)))))
(* (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))) (cos (+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3))))
(cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3)))
(+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))
(PI)
2/3
(* (acos (- 0 (/ g h))) -1/3)
(acos (- 0 (/ g h)))
(- 0 (/ g h))
0
(/ g h)
g
h
-1/3
(cos (+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3)))
(+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3))
1/3
(* (PI) 2/3)
(/ 1 (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))))
1

Outputs
(* 2 (/ (- (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 3) (pow (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) 3)) (+ (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 2) (* (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) (+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))))))))
(/.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3 binary64)) #s(literal -1/4 binary64) (.f64 (.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal -3/8 binary64))) (pow.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3 binary64)))) (fma.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (fma.f64 (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal -1/4 binary64)) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3/4 binary64))) (pow.f64 (.f64 #s(literal -1/2 binary64) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64))))
2
#s(literal 2 binary64)
(/ (- (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 3) (pow (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) 3)) (+ (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 2) (* (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) (+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3)))))))
(/.f64 (fma.f64 #s(literal -1/8 binary64) (pow.f64 (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3 binary64)) (fma.f64 (pow.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3 binary64)) (.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal -3/8 binary64)) #s(literal 0 binary64))) (fma.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (fma.f64 (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal -1/4 binary64)) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3/4 binary64))) (pow.f64 (.f64 #s(literal -1/2 binary64) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64))))
(- (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 3) (pow (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) 3))
(fma.f64 #s(literal -1/8 binary64) (pow.f64 (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3 binary64)) (fma.f64 (pow.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3 binary64)) (*.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal -3/8 binary64)) #s(literal 0 binary64)))
(pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 3)
(fma.f64 #s(literal -1/8 binary64) (pow.f64 (cos.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3 binary64)) #s(literal 0 binary64))
(* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3)))
(.f64 #s(literal -1/2 binary64) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))
#s(literal -1/2 binary64)
1/4
#s(literal 1/4 binary64)
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
#s(literal 3/4 binary64)
(/ (sqrt 3) 2)
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal 3 binary64)))
(sqrt 3)
(sqrt.f64 #s(literal 3 binary64))
3
#s(literal 3 binary64)
(cos (* (acos (- 0 (/ g h))) 1/3))
(cos.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(* (acos (- 0 (/ g h))) 1/3)
(*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))
(acos (- 0 (/ g h)))
(acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))
(- 0 (/ g h))
(-.f64 #s(literal 0 binary64) (/.f64 g h))
0
#s(literal 0 binary64)
(/ g h)
(/.f64 g h)
g
h
1/3
#s(literal 1/3 binary64)
(pow (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) 3)
(pow.f64 (.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal 3 binary64))) (sin.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 3 binary64))
(* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3)))
(.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal 3 binary64))) (sin.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(* 2 (* (/ (sqrt 3) 2) 1/2))
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal 3 binary64)))
(* (/ (sqrt 3) 2) 1/2)
(*.f64 #s(literal 1/4 binary64) (sqrt.f64 #s(literal 3 binary64)))
1/2
#s(literal 1/2 binary64)
(sin (* (acos (- 0 (/ g h))) 1/3))
(sin.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(+ (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 2) (* (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) (+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))))))
(fma.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (fma.f64 (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal -1/4 binary64)) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3/4 binary64))) (pow.f64 (.f64 #s(literal -1/2 binary64) (cos.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64)))
(pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) 2)
(pow.f64 (.f64 #s(literal -1/2 binary64) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))) #s(literal 2 binary64))
(* (* (* 2 (* (/ (sqrt 3) 2) 1/2)) (sin (* (acos (- 0 (/ g h))) 1/3))) (+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3)))))
(.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (fma.f64 (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 (sqrt.f64 #s(literal 3 binary64)) #s(literal -1/4 binary64)) (.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) #s(literal 3/4 binary64))))
(+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))))
(fma.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal 3 binary64))) (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (.f64 #s(literal -1/2 binary64) (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (- 0 (/ g h))) 1/3)))
(.f64 (.f64 #s(literal 1/4 binary64) (sqrt.f64 #s(literal 3 binary64))) (sin.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))))
(* 2 (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) 1/3))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))))
2
#s(literal 2 binary64)
(cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) 1/3)))
(cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) 1/3))
(fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(PI)
(PI.f64)
2/3
#s(literal 2/3 binary64)
(* (acos (- 0 (/ g h))) 1/3)
(*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))
(acos (- 0 (/ g h)))
(acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))
(- 0 (/ g h))
(-.f64 #s(literal 0 binary64) (/.f64 g h))
0
#s(literal 0 binary64)
(/ g h)
(/.f64 g h)
g
h
1/3
#s(literal 1/3 binary64)
(* 2 (cos (/ (+ (* (acos (- 0 (/ g h))) (/ -3/2 (PI))) -3) (* 3 (/ -3/2 (PI))))))
(.f64 #s(literal 2 binary64) (cos.f64 (/.f64 (.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (PI.f64)) #s(literal -9/2 binary64))))
2
#s(literal 2 binary64)
(cos (/ (+ (* (acos (- 0 (/ g h))) (/ -3/2 (PI))) -3) (* 3 (/ -3/2 (PI)))))
(cos.f64 (/.f64 (*.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (PI.f64)) #s(literal -9/2 binary64)))
(/ (+ (* (acos (- 0 (/ g h))) (/ -3/2 (PI))) -3) (* 3 (/ -3/2 (PI))))
(/.f64 (*.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64)) (PI.f64)) #s(literal -9/2 binary64))
(+ (* (acos (- 0 (/ g h))) (/ -3/2 (PI))) -3)
(fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) (/.f64 #s(literal -3/2 binary64) (PI.f64)) #s(literal -3 binary64))
(acos (- 0 (/ g h)))
(acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))
(- 0 (/ g h))
(-.f64 #s(literal 0 binary64) (/.f64 g h))
0
#s(literal 0 binary64)
(/ g h)
(/.f64 g h)
g
h
(/ -3/2 (PI))
(/.f64 #s(literal -3/2 binary64) (PI.f64))
-3/2
#s(literal -3/2 binary64)
(PI)
(PI.f64)
-3
#s(literal -3 binary64)
(* 3 (/ -3/2 (PI)))
(/.f64 #s(literal -9/2 binary64) (PI.f64))
3
#s(literal 3 binary64)
(* 2 (+ (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) (* (sin (* (acos (- 0 (/ g h))) 1/3)) (* -2 (* (/ (sqrt 3) 2) 1/2)))))
(fma.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (-.f64 #s(literal 0 binary64) (sqrt.f64 #s(literal 3 binary64))) (neg.f64 (cos.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
2
#s(literal 2 binary64)
(+ (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (- 0 (/ g h))) 1/3))) (* (sin (* (acos (- 0 (/ g h))) 1/3)) (* -2 (* (/ (sqrt 3) 2) 1/2))))
(.f64 #s(literal -1/2 binary64) (fma.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (sqrt.f64 #s(literal 3 binary64)) (cos.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))))
(- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))
#s(literal -1/2 binary64)
1/4
#s(literal 1/4 binary64)
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
#s(literal 3/4 binary64)
(/ (sqrt 3) 2)
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal 3 binary64)))
(sqrt 3)
(sqrt.f64 #s(literal 3 binary64))
3
#s(literal 3 binary64)
(cos (* (acos (- 0 (/ g h))) 1/3))
(cos.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(* (acos (- 0 (/ g h))) 1/3)
(*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))
(acos (- 0 (/ g h)))
(acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))
(- 0 (/ g h))
(-.f64 #s(literal 0 binary64) (/.f64 g h))
0
#s(literal 0 binary64)
(/ g h)
(/.f64 g h)
g
h
1/3
#s(literal 1/3 binary64)
(* (sin (* (acos (- 0 (/ g h))) 1/3)) (* -2 (* (/ (sqrt 3) 2) 1/2)))
(.f64 (sin.f64 (.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64))) (fma.f64 #s(literal -1/2 binary64) (sqrt.f64 #s(literal 3 binary64)) #s(literal 0 binary64)))
(sin (* (acos (- 0 (/ g h))) 1/3))
(sin.f64 (*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64)))
(* -2 (* (/ (sqrt 3) 2) 1/2))
(fma.f64 #s(literal -1/2 binary64) (sqrt.f64 #s(literal 3 binary64)) #s(literal 0 binary64))
-2
#s(literal -2 binary64)
(* (/ (sqrt 3) 2) 1/2)
(*.f64 #s(literal 1/4 binary64) (sqrt.f64 #s(literal 3 binary64)))
1/2
#s(literal 1/2 binary64)
(* 2 (* (* (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))) (cos (+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3)))) (/ 1 (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))))))
(.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))))
2
#s(literal 2 binary64)
(* (* (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))) (cos (+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3)))) (/ 1 (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3)))))
(cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(* (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))) (cos (+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3))))
(.f64 (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64) (.f64 (PI.f64) #s(literal 2/3 binary64)))) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
(cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3)))
(cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))
(fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(PI)
(PI.f64)
2/3
#s(literal 2/3 binary64)
(* (acos (- 0 (/ g h))) -1/3)
(*.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64))
(acos (- 0 (/ g h)))
(acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h)))
(- 0 (/ g h))
(-.f64 #s(literal 0 binary64) (/.f64 g h))
0
#s(literal 0 binary64)
(/ g h)
(/.f64 g h)
g
h
-1/3
#s(literal -1/3 binary64)
(cos (+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3)))
(cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(+ (* (acos (- 0 (/ g h))) 1/3) (* (PI) 2/3))
(fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
1/3
#s(literal 1/3 binary64)
(* (PI) 2/3)
(*.f64 (PI.f64) #s(literal 2/3 binary64))
(/ 1 (cos (+ (* (PI) 2/3) (* (acos (- 0 (/ g h))) -1/3))))
(/.f64 #s(literal 1 binary64) (cos.f64 (fma.f64 (acos.f64 (-.f64 #s(literal 0 binary64) (/.f64 g h))) #s(literal -1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
1
#s(literal 1 binary64)

localize2.0ms (0.1%)

Memory: 2.7MiB live, 2.7MiB allocated
Compiler: Compiled 1 240 to 66 computations (94.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	36	92
1	75	80
2	138	80
3	269	80
4	497	80
5	540	80
6	557	80
7	589	80
8	614	80
0	14	16
1	25	14
2	37	14
3	47	14
4	55	14
5	65	14
6	81	14
7	89	14
8	92	14
0	92	13

Iter	Nodes	Cost
0	36	92
1	75	80
2	138	80
3	269	80
4	497	80
5	540	80
6	557	80
7	589	80
8	614	80
0	14	16
1	25	14
2	37	14
3	47	14
4	55	14
5	65	14
6	81	14
7	89	14
8	92	14
0	92	13

analyze117.0ms (3.5%)

sample1.6s (48.3%)

preprocess29.0ms (0.9%)

explain178.0ms (5.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify13.0ms (0.4%)

localize67.0ms (2%)

series14.0ms (0.4%)

rewrite609.0ms (17.9%)

simplify18.0ms (0.5%)

eval138.0ms (4.1%)

prune95.0ms (2.8%)

simplify471.0ms (13.9%)

localize2.0ms (0.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	36	92
1	75	80
2	138	80
3	269	80
4	497	80
5	540	80
6	557	80
7	589	80
8	614	80
0	14	16
1	25	14
2	37	14
3	47	14
4	55	14
5	65	14
6	81	14
7	89	14
8	92	14
0	92	13