Details

Time bar (total: 3.2s)

analyze177.0ms (5.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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)

sample2.3s (71.7%)

Results
2.1s8256×body256valid
191.0ms1108×body256invalid
Bogosity

preprocess120.0ms (3.7%)

Algorithm
2×egg-herbie
Rules
1122×rational.json-simplify-2
1032×rational.json-simplify-44
972×rational.json-simplify-35
952×rational.json-simplify-1
910×rational.json-simplify-61
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02590
15990
210590
319890
437390
579090
6201090
7515390
8610690
9695090
022
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 h) g)) 3))))
Outputs
(*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) 3))))
(*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 h) g)) 3))))
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 h) g)) 3))))
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 h (neg.f64 g))) 3))))
Compiler

Compiled 20 to 18 computations (10% saved)

simplify99.0ms (3%)

Algorithm
1×egg-herbie
Rules
1320×rational.json-simplify-35
1300×rational.json-simplify-50
1278×rational.json-simplify-52
966×rational.json-simplify-1
956×rational.json-simplify-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01845
14045
27245
312645
423645
545945
6105245
7171445
8286745
9377045
10502245
11674045
Stop Event
1×node limit
Counts
1 → 3
Calls
Call 1
Inputs
(*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
Outputs
(*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) 3))))

eval1.0ms (0%)

Compiler

Compiled 46 to 35 computations (23.9% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New213
Fresh101
Picked000
Done000
Total314
Error
1.0b
Counts
4 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶1.0b
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
Compiler

Compiled 16 to 14 computations (12.5% saved)

localize24.0ms (0.7%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.9b
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
✓1.0b
(cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
✓1.0b
(+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
✓1.0b
(*.f64 (PI.f64) 2/3)
Compiler

Compiled 66 to 32 computations (51.5% saved)

series9.0ms (0.3%)

Counts
4 → 72
Calls

18 calls:

TimeVariablePointExpression
2.0ms
h
@inf
(+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
1.0ms
h
@inf
(cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
1.0ms
g
@0
(+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
1.0ms
g
@0
(cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
1.0ms
g
@inf
(cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))

rewrite90.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
1554×rational.json-1
1554×rational.json-2
1554×rational.json-4
1554×rational.json-3
1542×exponential.json-3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016104
1113104
2265104
3634104
41724104
54904104
Stop Event
1×node limit
Counts
4 → 75
Calls
Call 1
Inputs
(*.f64 (PI.f64) 2/3)
(+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
(cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (PI.f64) 2/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (PI.f64) 2/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (PI.f64) 2/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (PI.f64) 2/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (PI.f64) 4/3) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (PI.f64) 8/3) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (PI.f64) 8/3)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (PI.f64) 8/3)) (*.f64 2 (*.f64 (PI.f64) 8/3))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (PI.f64) 2/3) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (neg.f64 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/3 (+.f64 (acos.f64 (neg.f64 (/.f64 g h))) (*.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))) (*.f64 (PI.f64) 4/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) (*.f64 2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) (neg.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) (*.f64 2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (/.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4) 1/12)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/6 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/12 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1)))))

simplify170.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
1256×rational.json-simplify-35
1218×rational.json-simplify-1
1124×rational.json-simplify-2
1092×rational.json-simplify-45
1034×rational.json-simplify-26
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01494431
13044431
26854431
321644431
436054431
548564431
670404431
Stop Event
1×node limit
Counts
147 → 86
Calls
Call 1
Inputs
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(+.f64 (*.f64 (PI.f64) 2/3) 0)
(+.f64 0 (*.f64 (PI.f64) 2/3))
(-.f64 (*.f64 (PI.f64) 2/3) 0)
(/.f64 (*.f64 (PI.f64) 2/3) 1)
(/.f64 (*.f64 (PI.f64) 4/3) 2)
(/.f64 (*.f64 (PI.f64) 8/3) 4)
(/.f64 (*.f64 2 (*.f64 (PI.f64) 8/3)) 8)
(/.f64 (+.f64 (*.f64 2 (*.f64 (PI.f64) 8/3)) (*.f64 2 (*.f64 (PI.f64) 8/3))) 16)
(pow.f64 (*.f64 (PI.f64) 2/3) 1)
(-.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 0)
(-.f64 0 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(-.f64 (+.f64 1 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(*.f64 1 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))
(*.f64 -1 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(*.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)
(*.f64 2 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))
(*.f64 2 (*.f64 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 1))
(*.f64 2 (neg.f64 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)))
(*.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 1/2)
(*.f64 1/3 (+.f64 (acos.f64 (neg.f64 (/.f64 g h))) (*.f64 (PI.f64) 2)))
(*.f64 1/2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))
(*.f64 1/2 (+.f64 (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))) (*.f64 (PI.f64) 4/3)))
(*.f64 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)
(/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(/.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)
(/.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)
(/.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4) 4)
(/.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2) -2)
(/.f64 (*.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) -4)
(/.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) 8)
(/.f64 (neg.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) 2)
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) (*.f64 2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4))) 16)
(/.f64 (+.f64 (neg.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) (neg.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2))) 4)
(pow.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(neg.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(+.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)
(+.f64 0 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(-.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)
(*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(*.f64 1 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(*.f64 2 (/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))
(*.f64 2 (*.f64 (/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 1))
(*.f64 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 1/2)
(*.f64 1/2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))
(*.f64 (/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)
(/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(/.f64 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)
(/.f64 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) 4)
(/.f64 (*.f64 2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) 8)
(/.f64 (+.f64 (*.f64 2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) (*.f64 2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4))) 16)
(pow.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(+.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)
(+.f64 0 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))
(-.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)
(*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)
(*.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1)
(*.f64 1 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))
(*.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2) 1/6)
(*.f64 2 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6))
(*.f64 2 (/.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2))
(*.f64 2 (*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6) 1))
(*.f64 2 (*.f64 (/.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2) 1))
(*.f64 2 (*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2) 1/3))
(*.f64 2 (*.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1/2))
(*.f64 2 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/6))
(*.f64 (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))) 1/2)
(*.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4) 1/12)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/2 (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/6 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2))
(*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6) 2)
(*.f64 (/.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2) 2)
(*.f64 1/12 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4))
(pow.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1)
Outputs
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (*.f64 (PI.f64) 2/3) 0)
(*.f64 2/3 (PI.f64))
(+.f64 0 (*.f64 (PI.f64) 2/3))
(*.f64 2/3 (PI.f64))
(-.f64 (*.f64 (PI.f64) 2/3) 0)
(*.f64 2/3 (PI.f64))
(/.f64 (*.f64 (PI.f64) 2/3) 1)
(*.f64 2/3 (PI.f64))
(/.f64 (*.f64 (PI.f64) 4/3) 2)
(*.f64 2/3 (PI.f64))
(/.f64 (*.f64 (PI.f64) 8/3) 4)
(*.f64 2/3 (PI.f64))
(/.f64 (*.f64 2 (*.f64 (PI.f64) 8/3)) 8)
(*.f64 2/3 (PI.f64))
(/.f64 (+.f64 (*.f64 2 (*.f64 (PI.f64) 8/3)) (*.f64 2 (*.f64 (PI.f64) 8/3))) 16)
(*.f64 2/3 (PI.f64))
(pow.f64 (*.f64 (PI.f64) 2/3) 1)
(*.f64 2/3 (PI.f64))
(-.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 0)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(-.f64 0 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(-.f64 (+.f64 1 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 1 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 -1 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 2 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 2 (*.f64 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 1))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 2 (neg.f64 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 1/2)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 1/3 (+.f64 (acos.f64 (neg.f64 (/.f64 g h))) (*.f64 (PI.f64) 2)))
(*.f64 1/3 (+.f64 (acos.f64 (/.f64 g (neg.f64 h))) (*.f64 (PI.f64) 2)))
(*.f64 1/2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 1/2 (+.f64 (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))) (*.f64 (PI.f64) 4/3)))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(*.f64 (/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4) 4)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2) -2)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (*.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) -4)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) 8)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (neg.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) 2)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) (*.f64 2 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4))) 16)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(/.f64 (+.f64 (neg.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) (neg.f64 (*.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2))) 4)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(pow.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(neg.f64 (neg.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(+.f64 0 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(-.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(*.f64 1 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(*.f64 2 (/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(*.f64 2 (*.f64 (/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 1))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(*.f64 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 1/2)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(*.f64 1/2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(*.f64 (/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(/.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(/.f64 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(/.f64 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) 4)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(/.f64 (*.f64 2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) 8)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(/.f64 (+.f64 (*.f64 2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) (*.f64 2 (*.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4))) 16)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(pow.f64 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (*.f64 2/3 (PI.f64)) (*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))))
(+.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 0 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(-.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2) 1/6)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 2 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6))
(*.f64 2 (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) 6))
(*.f64 2 (/.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 2 (*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6) 1))
(*.f64 2 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6))
(*.f64 2 (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) 6))
(*.f64 2 (*.f64 (/.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2) 1))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 2 (*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2) 1/3))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 2 (*.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1/2))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 2 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/6))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))) 1/2)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4) 1/12)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/2 (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/6 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6) 2)
(*.f64 2 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6))
(*.f64 2 (/.f64 (acos.f64 (/.f64 g (neg.f64 h))) 6))
(*.f64 (/.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2) 2)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(*.f64 1/12 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))
(pow.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 g (neg.f64 h))))

eval28.0ms (0.9%)

Compiler

Compiled 1495 to 976 computations (34.7% saved)

prune12.0ms (0.4%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New86086
Fresh000
Picked011
Done000
Total86187
Error
1.0b
Counts
87 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
✓1.0b
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
Compiler

Compiled 16 to 14 computations (12.5% saved)

regimes27.0ms (0.8%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0.0b (-0%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
Outputs
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
Calls

9 calls:

4.0ms
(neg.f64 g)
4.0ms
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
4.0ms
h
3.0ms
g
3.0ms
(/.f64 (neg.f64 g) h)
Results
ErrorSegmentsBranch
1.0b1g
1.0b1h
1.0b1(*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
1.0b1(cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
1.0b1(+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
1.0b1(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
1.0b1(acos.f64 (/.f64 (neg.f64 g) h))
1.0b1(/.f64 (neg.f64 g) h)
1.0b1(neg.f64 g)
Compiler

Compiled 113 to 90 computations (20.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01845
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
Outputs
(*.f64 2 (cos.f64 (+.f64 (*.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
Compiler

Compiled 16 to 14 computations (12.5% saved)

soundness138.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
1320×rational.json-simplify-35
1300×rational.json-simplify-50
1278×rational.json-simplify-52
966×rational.json-simplify-1
956×rational.json-simplify-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01845
14045
27245
312645
423645
545945
6105245
7171445
8286745
9377045
10502245
11674045
Stop Event
1×node limit
Compiler

Compiled 48 to 34 computations (29.2% saved)

end19.0ms (0.6%)

Compiler

Compiled 16 to 14 computations (12.5% saved)

Profiling

Loading profile data...