Metrics for 2-ancestry mixing, negative discriminant

analyze238.0ms (3.5%)

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 19 to 17 computations (10.5% saved)

Precisions

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

Operation ival-cos, time spent: 43.0ms, 28.0% of total-time

Operation ival-div, time spent: 30.0ms, 20.0% of total-time

Operation ival-mult, time spent: 30.0ms, 20.0% of total-time

Operation ival-pi, time spent: 16.0ms, 11.0% of total-time

Operation ival-acos, time spent: 13.0ms, 9.0% of total-time

Operation ival-add, time spent: 9.0ms, 6.0% of total-time

Operation ival-neg, time spent: 8.0ms, 5.0% of total-time

Operation const, time spent: 5.0ms, 3.0% of total-time

sample3.5s (51.7%)

Results

2.8s	8255×	256	valid
442.0ms	1131×	256	invalid
1.0ms	1×	256	valid

Precisions

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

Operation ival-cos, time spent: 469.0ms, 24.0% of total-time

Operation ival-div, time spent: 402.0ms, 21.0% of total-time

Operation ival-add, time spent: 285.0ms, 15.0% of total-time

Operation ival-mult, time spent: 261.0ms, 14.0% of total-time

Operation ival-acos, time spent: 185.0ms, 10.0% of total-time

Operation ival-pi, time spent: 182.0ms, 9.0% of total-time

Operation ival-neg, time spent: 91.0ms, 5.0% of total-time

Operation const, time spent: 53.0ms, 3.0% of total-time

Bogosity

preprocess671.0ms (9.8%)

Algorithm

1×	egg-herbie

Rules

358×	`fma-define`
60×	`times-frac`
35×	`associate-/r*`
32×	`unsub-neg`
27×	`associate-l`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(PI.f64)`
-	-	`(/.f64 (neg.f64 g) h)`
-	-	`h`
-	-	`(*.f64 #s(literal 2 binary64) (PI.f64))`
-	-	`g`
-	-	`#s(literal 2 binary64)`
-	-	`(neg.f64 g)`
-	-	`(.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)))))`
-	-	`(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #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)))`
-	-	`#s(literal 3 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))))`
-	-	`(/.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 3 binary64))`
-	-	`(acos.f64 (/.f64 (neg.f64 g) h))`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	42	383
1	81	341
2	148	313
3	289	313
4	536	313
5	811	313
6	908	313
7	940	313
8	997	313

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.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)))))
(.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)))))
(.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 (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) (neg.f64 h))) #s(literal 3 binary64)))))
(neg.f64 (.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 (neg.f64 g)) h)) #s(literal 3 binary64))))))
(neg.f64 (.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) (neg.f64 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 h) g)) #s(literal 3 binary64)))))

Outputs
(.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)))))
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #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 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g (neg.f64 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)))))
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #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 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g (neg.f64 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 (neg.f64 g)) h)) #s(literal 3 binary64)))))
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.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) (neg.f64 h))) #s(literal 3 binary64)))))
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(neg.f64 (.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 (neg.f64 g)) h)) #s(literal 3 binary64))))))
(.f64 #s(literal -2 binary64) (cos.f64 (+.f64 (.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(.f64 (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))) #s(literal -2 binary64))
(*.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))) #s(literal -2 binary64))
(neg.f64 (.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) (neg.f64 h))) #s(literal 3 binary64))))))
(.f64 #s(literal -2 binary64) (cos.f64 (+.f64 (.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))))
(.f64 (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))) #s(literal -2 binary64))
(*.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)))) #s(literal -2 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 h) g)) #s(literal 3 binary64)))))
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 #s(literal 2 binary64) (/.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 (acos.f64 (neg.f64 (/.f64 h g))) #s(literal 3 binary64)))))
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 h (neg.f64 g))) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (/.f64 (acos.f64 (/.f64 h (neg.f64 g))) #s(literal 3 binary64)))))

Compiler

Compiled 172 to 108 computations (37.2% saved)

Precisions

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

Operation ival-div, time spent: 75.0ms, 29.0% of total-time

Operation ival-cos, time spent: 64.0ms, 25.0% of total-time

Operation ival-mult, time spent: 49.0ms, 19.0% of total-time

Operation ival-acos, time spent: 22.0ms, 8.0% of total-time

Operation ival-add, time spent: 15.0ms, 6.0% of total-time

Operation ival-pi, time spent: 13.0ms, 5.0% of total-time

Operation const, time spent: 11.0ms, 4.0% of total-time

Operation ival-neg, time spent: 11.0ms, 4.0% of total-time

eval2.0ms (0%)

Compiler: Compiled 45 to 34 computations (24.4% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize369.0ms (5.4%)

Localize:

Found 4 expressions with local error:

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

Compiler

Compiled 67 to 37 computations (44.8% saved)

Precisions

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

Operation ival-acos, time spent: 176.0ms, 65.0% of total-time

Operation ival-cos, time spent: 36.0ms, 13.0% of total-time

Operation ival-div, time spent: 21.0ms, 8.0% of total-time

Operation ival-mult, time spent: 17.0ms, 6.0% of total-time

Operation ival-add, time spent: 7.0ms, 3.0% of total-time

Operation ival-neg, time spent: 5.0ms, 2.0% of total-time

Operation ival-pi, time spent: 4.0ms, 1.0% of total-time

Operation const, time spent: 4.0ms, 1.0% of total-time

series24.0ms (0.4%)

Counts

4 → 72

Calls

Call 1

Inputs
#<alt (*.f64 (PI.f64) #s(literal 2/3 binary64))>
#<alt (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64))))>
#<alt (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))>
#<alt (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64))>

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

Calls

18 calls:

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

rewrite388.0ms (5.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1156×	`log1p-expm1-u`
1156×	`expm1-log1p-u`
303×	`fma-define`
178×	`fma-neg`
111×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	114
1	246	102
2	3491	102

Stop Event

1×	node limit

Counts

4 → 132

Calls

Call 1

Inputs
(*.f64 (PI.f64) #s(literal 2/3 binary64))
(cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64))))
(+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))
(/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64))

Outputs
(-.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)))) #s(literal 1 binary64))
(pow.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 #s(literal 2/3 binary64)) (PI.f64)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64)))
(expm1.f64 (log1p.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(log1p.f64 (expm1.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(exp.f64 (log.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 1 binary64)))
(+.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(+.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(+.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(-.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))) #s(literal 1 binary64))
(.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64)) (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(.f64 (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64))) (fma.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (fma.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))))
(/.f64 (-.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))) (fma.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(pow.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 2 binary64)))
(log.f64 (exp.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))))
(cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(exp.f64 (log.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(exp.f64 (.f64 (log.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 1 binary64)))
(fma.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(fma.f64 (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(fma.f64 #s(literal 1 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 #s(literal 1 binary64) (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 #s(literal 1 binary64) (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(fma.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64)) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64)) (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))) (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))) (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(fma.f64 (sqrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (sqrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (sqrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (sqrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (/.f64 (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(.f64 (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (pow.f64 (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(.f64 (sqrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sqrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(.f64 (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (pow.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)))))
(.f64 (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64))) (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)))))
(/.f64 (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64))) (fma.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64))))
(/.f64 (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64))) (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 2 binary64)) #s(literal 1/9 binary64) (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(/.f64 (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64))) (-.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64)))) (neg.f64 (fma.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64))) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
(pow.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64)))
(log.f64 (exp.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(cbrt.f64 (pow.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(log1p.f64 (expm1.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(exp.f64 (log.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(exp.f64 (.f64 (log.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64)))
(fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 2/3 binary64) (PI.f64) (*.f64 (acos.f64 (/.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 g h)) #s(literal 1/3 binary64)))
(fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (.f64 (acos.f64 (/.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 g h)) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 2 binary64)) (.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 3 binary64)) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (pow.f64 (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64)) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64)) (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (cbrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (pow.f64 (cbrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 2 binary64)) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 2 binary64)) (cbrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) #s(literal 3 binary64)) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (sqrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (sqrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (sqrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sqrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (neg.f64 (acos.f64 (/.f64 g h))) #s(literal -1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (.f64 #s(literal 2/3 binary64) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 2/3 binary64) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64))
(-.f64 (/.f64 (*.f64 (PI.f64) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (/.f64 (asin.f64 (/.f64 g h)) #s(literal 3 binary64)))
(*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))
(.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 2 binary64)) (.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 3 binary64)))
(.f64 (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (pow.f64 (cbrt.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) #s(literal 1/3 binary64)))
(*.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) #s(literal 3 binary64)))
(.f64 (sqrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (sqrt.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(*.f64 (neg.f64 (acos.f64 (/.f64 g h))) #s(literal -1/3 binary64))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))
(pow.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal 3 binary64) (acos.f64 (/.f64 g h))) #s(literal -1 binary64))
(neg.f64 (/.f64 (acos.f64 (/.f64 g h)) #s(literal -3 binary64)))
(sqrt.f64 (pow.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)))
(log.f64 (cbrt.f64 (exp.f64 (acos.f64 (/.f64 g h)))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(cbrt.f64 (pow.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(log1p.f64 (expm1.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(exp.f64 (log.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 1 binary64)))

eval148.0ms (2.2%)

Compiler: Compiled 4057 to 2673 computations (34.1% saved)

prune36.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	203	1	204
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	203	2	205

Accuracy

98.5%

Counts

205 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.5%	(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))))
▶	96.7%	(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))

Status

Accuracy

Program

✓

98.5%

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

▶

96.7%

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

Compiler

Compiled 31 to 27 computations (12.9% saved)

localize223.0ms (3.3%)

Localize:

Found 4 expressions with local error:

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

Compiler

Compiled 59 to 35 computations (40.7% saved)

Precisions

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

Operation ival-cos, time spent: 34.0ms, 33.0% of total-time

Operation ival-mult, time spent: 31.0ms, 30.0% of total-time

Operation ival-acos, time spent: 11.0ms, 11.0% of total-time

Operation ival-div, time spent: 10.0ms, 10.0% of total-time

Operation ival-add, time spent: 8.0ms, 8.0% of total-time

Operation ival-pi, time spent: 6.0ms, 6.0% of total-time

Operation const, time spent: 4.0ms, 4.0% of total-time

series13.0ms (0.2%)

Counts

4 → 72

Calls

Call 1

Inputs
#<alt (*.f64 (PI.f64) #s(literal 2/3 binary64))>
#<alt (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))>
#<alt (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))>
#<alt (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))>

Outputs
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (cos.f64 (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64))))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (*.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>
#<alt (+.f64 (.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h))) (.f64 #s(literal 2/3 binary64) (PI.f64)))>

Calls

18 calls:

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

rewrite321.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1108×	`log1p-expm1-u`
1108×	`expm1-log1p-u`
326×	`fma-define`
198×	`expm1-undefine`
198×	`log1p-undefine`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	102
1	214	102
2	2919	102

Stop Event

1×	node limit

Counts

4 → 116

Calls

Call 1

Inputs
(*.f64 (PI.f64) #s(literal 2/3 binary64))
(cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))
(+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))

Outputs
(-.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)))) #s(literal 1 binary64))
(pow.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 #s(literal 2/3 binary64)) (PI.f64)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64)))
(expm1.f64 (log1p.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(log1p.f64 (expm1.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(exp.f64 (log.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 1 binary64)))
(+.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(+.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(+.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(-.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))) #s(literal 1 binary64))
(.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64)) (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(.f64 (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64))) (fma.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (fma.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))))
(/.f64 (-.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))) (fma.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(pow.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 2 binary64)))
(log.f64 (exp.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))))
(cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(exp.f64 (log.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(exp.f64 (.f64 (log.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 1 binary64)))
(fma.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(fma.f64 (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(fma.f64 #s(literal 1 binary64) (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 #s(literal 1 binary64) (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 #s(literal 1 binary64) (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(fma.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64)) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 2 binary64)) (cbrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (sqrt.f64 (cos.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (fma.f64 (neg.f64 (sin.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))) (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))) (cbrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(fma.f64 (sqrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (sqrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (neg.f64 (.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(fma.f64 (sqrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (sqrt.f64 (.f64 (cos.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (cos.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) (.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (sin.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64))
(pow.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 #s(literal 1/3 binary64)) (acos.f64 (/.f64 g h))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(cbrt.f64 (*.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64)))
(expm1.f64 (log1p.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(log1p.f64 (expm1.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(exp.f64 (log.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 1 binary64)))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 #s(literal -1/3 binary64) (acos.f64 (/.f64 g h))))) (/.f64 (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 #s(literal -1/3 binary64) (acos.f64 (/.f64 g h))))))
(.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))
(.f64 (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (pow.f64 (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(.f64 (sqrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) (sqrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(.f64 (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (pow.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)))))
(.f64 (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 #s(literal -1/3 binary64) (acos.f64 (/.f64 g h))))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64))) (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 #s(literal -1/3 binary64) (acos.f64 (/.f64 g h)))) (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)))))
(/.f64 (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64))) (fma.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64))))
(/.f64 (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64))) (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 2 binary64)) #s(literal 1/9 binary64) (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (.f64 (.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64)) (acos.f64 (/.f64 g h))))))
(/.f64 (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64))) (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 #s(literal -1/3 binary64) (acos.f64 (/.f64 g h)))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (acos.f64 (/.f64 g h)) #s(literal 3 binary64)) #s(literal 1/27 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 8/27 binary64)))) (neg.f64 (fma.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)))) (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 #s(literal -1/3 binary64) (acos.f64 (/.f64 g h))))))
(/.f64 (-.f64 (pow.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2 binary64))) (fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (neg.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)))))
(pow.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64)))
(log.f64 (exp.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))))))
(cbrt.f64 (pow.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(log1p.f64 (expm1.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(exp.f64 (log.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))
(exp.f64 (.f64 (log.f64 (fma.f64 (PI.f64) #s(literal 2/3 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))) #s(literal 1 binary64)))
(fma.f64 (PI.f64) #s(literal 2/3 binary64) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 2/3 binary64) (PI.f64) (*.f64 (acos.f64 (/.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 g h)) #s(literal 1/3 binary64)))
(fma.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 g h)) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (.f64 (acos.f64 (/.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 g h)) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 2 binary64)) (.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (cbrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (pow.f64 (cbrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 2 binary64)) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 2 binary64)) (cbrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (pow.f64 (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64)) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) #s(literal 2 binary64)) (cbrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) #s(literal 1/3 binary64)) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 2/3 binary64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (sqrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (sqrt.f64 (.f64 (PI.f64) #s(literal 2/3 binary64))) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (sqrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (sqrt.f64 (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64))) (*.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (.f64 #s(literal 1/3 binary64) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) #s(literal 2 binary64))) (cbrt.f64 (acos.f64 (/.f64 g h))) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (.f64 #s(literal 1/3 binary64) (sqrt.f64 (acos.f64 (/.f64 g h)))) (sqrt.f64 (acos.f64 (/.f64 g h))) (.f64 (PI.f64) #s(literal 2/3 binary64)))
(fma.f64 (.f64 #s(literal 2/3 binary64) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))
(fma.f64 (.f64 #s(literal 2/3 binary64) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)) (.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))

eval151.0ms (2.2%)

Compiler: Compiled 3610 to 2281 computations (36.8% saved)

prune37.0ms (0.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	188	0	188
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	188	2	190

Accuracy

98.5%

Counts

190 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.5%	(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) #s(literal 3 binary64)))))
✓	96.7%	(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))

Status

Accuracy

Program

✓

98.5%

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

✓

96.7%

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

Compiler

Compiled 76 to 64 computations (15.8% saved)

regimes314.0ms (4.6%)

Counts

3 → 1

Calls

Call 1

Inputs

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

(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 g (neg.f64 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)))))

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

Calls

9 calls:

295.0ms	(/.f64 (neg.f64 g) h)
3.0ms	g
3.0ms	(neg.f64 g)
3.0ms	h
2.0ms	(.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)))))

Results

Accuracy	Segments	Branch
98.5%	1	`g`
98.5%	1	`h`
98.5%	1	`(.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)))))`
98.5%	1	`(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))))`
98.5%	1	`(+.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)))`
98.5%	1	`(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64))`
98.5%	1	`(acos.f64 (/.f64 (neg.f64 g) h))`
98.5%	1	`(/.f64 (neg.f64 g) h)`
98.5%	1	`(neg.f64 g)`

Compiler

Compiled 81 to 66 computations (18.5% saved)

regimes6.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Stop Event

1×

done

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (acos.f64 (/.f64 g h)) #s(literal 1/3 binary64)))))

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

Calls

2 calls:

2.0ms	h
2.0ms	g

Results

Accuracy	Segments	Branch
96.7%	1	`g`
96.7%	1	`h`

Compiler

Compiled 37 to 31 computations (16.2% saved)

soundness303.0ms (4.4%)

Rules

1156×	`log1p-expm1-u`
1156×	`expm1-log1p-u`
358×	`fma-define`
303×	`fma-define`
178×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	114
1	246	102
2	3491	102
0	42	383
1	81	341
2	148	313
3	289	313
4	536	313
5	811	313
6	908	313
7	940	313
8	997	313

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 230 to 166 computations (27.8% saved)

end0.0ms (0%)

preprocess64.0ms (0.9%)

Compiler: Compiled 94 to 80 computations (14.9% saved)

Iter	Nodes	Cost
0	42	383
1	81	341
2	148	313
3	289	313
4	536	313
5	811	313
6	908	313
7	940	313
8	997	313

Iter	Nodes	Cost
0	42	383
1	81	341
2	148	313
3	289	313
4	536	313
5	811	313
6	908	313
7	940	313
8	997	313

analyze238.0ms (3.5%)

sample3.5s (51.7%)

preprocess671.0ms (9.8%)

eval2.0ms (0%)

prune2.0ms (0%)

localize369.0ms (5.4%)

series24.0ms (0.4%)

rewrite388.0ms (5.7%)

eval148.0ms (2.2%)

prune36.0ms (0.5%)

localize223.0ms (3.3%)

series13.0ms (0.2%)

rewrite321.0ms (4.7%)

eval151.0ms (2.2%)

prune37.0ms (0.5%)

regimes314.0ms (4.6%)

regimes6.0ms (0.1%)

soundness303.0ms (4.4%)

end0.0ms (0%)

preprocess64.0ms (0.9%)

Profiling

Iter	Nodes	Cost
0	42	383
1	81	341
2	148	313
3	289	313
4	536	313
5	811	313
6	908	313
7	940	313
8	997	313