2-ancestry mixing, zero discriminant

Time bar (total: 1.7s)

start0.0ms (0%)

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

analyze12.0ms (0.7%)

Memory
32.6MiB live, 32.6MiB allocated; 0ms collecting garbage
Algorithm
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
50%50%50%0.1%0%0%0%3
50%50%50%0.1%0%0%0%4
75%74.9%25%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
87.5%87.4%12.5%0.1%0%0%0%7
87.5%87.4%12.5%0.1%0%0%0%8
93.8%93.7%6.2%0.1%0%0%0%9
93.8%93.7%6.2%0.1%0%0%0%10
96.9%96.8%3.1%0.1%0%0%0%11
96.9%96.8%3.1%0.1%0%0%0%12
Compiler

Compiled 8 to 8 computations (0% saved)

sample742.0ms (43.3%)

Memory
-13.4MiB live, 1 195.2MiB allocated; 302ms collecting garbage
Samples
484.0ms8 255×0valid
0.0ms1valid
Precisions
Click to see histograms. Total time spent on operations: 176.0ms
ival-cbrt: 65.0ms (37% of total)
ival-mult!: 59.0ms (33.6% of total)
ival-div!: 50.0ms (28.5% of total)
adjust: 2.0ms (1.1% of total)
Bogosity

preprocess202.0ms (11.8%)

Memory
-5.5MiB live, 79.6MiB allocated; 45ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01838
17036
225636
372636
4180836
5751936
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
80.5%
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
Symmetry

(negabs g)

(negabs a)

Compiler

Compiled 12 to 12 computations (0% saved)

series34.0ms (2%)

Memory
38.3MiB live, 82.2MiB allocated; 12ms collecting garbage
Counts
6 → 7
Calls
Call 1
Inputs
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
(/.f64 g (*.f64 #s(literal 2 binary64) a))
g
(*.f64 #s(literal 2 binary64) a)
#s(literal 2 binary64)
a
Outputs
#s(approx (cbrt (/ g (* 2 a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ g (* 2 a)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (/ g (* 2 a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (* 2 a) #s(hole binary64 (* 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (cbrt (/ g (* 2 a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
Calls

6 calls:

TimeVariablePointExpression
12.0ms
g
@inf
((cbrt (/ g (* 2 a))) (/ g (* 2 a)) g (* 2 a) 2 a)
5.0ms
a
@-inf
((cbrt (/ g (* 2 a))) (/ g (* 2 a)) g (* 2 a) 2 a)
5.0ms
g
@-inf
((cbrt (/ g (* 2 a))) (/ g (* 2 a)) g (* 2 a) 2 a)
4.0ms
g
@0
((cbrt (/ g (* 2 a))) (/ g (* 2 a)) g (* 2 a) 2 a)
4.0ms
a
@inf
((cbrt (/ g (* 2 a))) (/ g (* 2 a)) g (* 2 a) 2 a)

rewrite83.0ms (4.9%)

Memory
-6.4MiB live, 47.2MiB allocated; 21ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03088
03381
18081
031781
176281
Stop Event
saturated
iter-limit
iter-limit
unsound
iter-limit
Counts
13 → 55
Calls
Call 1
Inputs
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
(/.f64 g (*.f64 #s(literal 2 binary64) a))
g
(*.f64 #s(literal 2 binary64) a)
#s(literal 2 binary64)
a
#s(approx (cbrt (/ g (* 2 a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ g (* 2 a)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (/ g (* 2 a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (* 2 a) #s(hole binary64 (* 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (cbrt (/ g (* 2 a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
Outputs
(*.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 #s(literal -1 binary64)) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) (/.f64 g a))))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) (/.f64 g a))) (cbrt.f64 #s(literal -1 binary64)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64))))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g)) (cbrt.f64 a))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(*.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)) #s(literal -1/2 binary64))
(*.f64 (*.f64 #s(literal 1/2 binary64) g) (/.f64 #s(literal 1 binary64) a))
(*.f64 (/.f64 #s(literal 1/2 binary64) a) g)
(*.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))
(*.f64 (neg.f64 g) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) a)))
(*.f64 #s(literal -1 binary64) (*.f64 #s(literal -1/2 binary64) (/.f64 g a)))
(*.f64 #s(literal 1/2 binary64) (/.f64 g a))
(*.f64 (/.f64 g a) #s(literal 1/2 binary64))
(*.f64 g (*.f64 (/.f64 #s(literal 1 binary64) a) #s(literal 1/2 binary64)))
(*.f64 g (/.f64 #s(literal 1/2 binary64) a))
(/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 g)) (neg.f64 a))
(/.f64 (*.f64 g #s(literal 1 binary64)) (+.f64 a a))
(/.f64 (*.f64 (neg.f64 g) #s(literal 1/2 binary64)) (neg.f64 a))
(/.f64 (neg.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 a))
(/.f64 (neg.f64 (neg.f64 g)) (neg.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (*.f64 #s(literal 1/2 binary64) g) a)
(/.f64 (neg.f64 g) (*.f64 #s(literal -2 binary64) a))
(/.f64 (/.f64 g a) #s(literal 2 binary64))
(/.f64 g (+.f64 a a))
(neg.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)))
(neg.f64 (/.f64 (neg.f64 g) (+.f64 a a)))
g
(*.f64 a #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) a)
(fma.f64 #s(literal 1 binary64) a (*.f64 #s(literal 1 binary64) a))
(fma.f64 a #s(literal 1 binary64) (*.f64 a #s(literal 1 binary64)))
(-.f64 a (neg.f64 a))
(+.f64 (*.f64 a #s(literal 1 binary64)) (*.f64 a #s(literal 1 binary64)))
(+.f64 (*.f64 #s(literal 1 binary64) a) (*.f64 #s(literal 1 binary64) a))
(+.f64 a a)
#s(literal 2 binary64)
a
#s(approx (cbrt (/ g (* 2 a))) (cbrt.f64 (/.f64 g (+.f64 a a))))
#s(approx (/ g (* 2 a)) (/.f64 g (+.f64 a a)))
#s(approx g g)
#s(approx (cbrt (/ g (* 2 a))) (neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) (/.f64 g a)))))
#s(approx (* 2 a) (+.f64 a a))
#s(approx a a)
#s(approx (cbrt (/ g (* 2 a))) (cbrt.f64 (/.f64 g (+.f64 a a))))

eval10.0ms (0.6%)

Memory
-36.5MiB live, 13.0MiB allocated; 3ms collecting garbage
Compiler

Compiled 228 to 144 computations (36.8% saved)

prune5.0ms (0.3%)

Memory
10.4MiB live, 10.4MiB allocated; 0ms collecting garbage
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New42850
Fresh000
Picked101
Done000
Total43851
Accuracy
99.8%
Counts
51 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
98.7%
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
98.7%
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
98.9%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
80.4%
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
98.8%
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
98.7%
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
80.5%
(cbrt.f64 (/.f64 g (+.f64 a a)))
80.4%
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
Compiler

Compiled 108 to 108 computations (0% saved)

series58.0ms (3.4%)

Memory
0.1MiB live, 92.0MiB allocated; 6ms collecting garbage
Counts
19 → 24
Calls
Call 1
Inputs
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 g)
g
(cbrt.f64 (+.f64 a a))
(+.f64 a a)
a
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 g (+.f64 a a))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))
(/.f64 #s(literal 1/2 binary64) a)
#s(literal 1/2 binary64)
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 #s(literal 1/2 binary64) g)
(cbrt.f64 a)
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(cbrt.f64 #s(literal 1/2 binary64))
Outputs
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ g (+ a a)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (cbrt (* 1/2 g)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (* 1/2 g) #s(hole binary64 (* 1/2 g)))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt (* 1/2 g)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (* (cbrt g) (cbrt 1/2)) #s(hole binary64 (* -1 (* (cbrt g) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (cbrt (/ 1/2 a)) #s(hole binary64 (* (cbrt (/ 1 a)) (cbrt 1/2))))
#s(approx (/ 1/2 a) #s(hole binary64 (/ 1/2 a)))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (cbrt (/ 1/2 a)) #s(hole binary64 (* (cbrt (/ 1 a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
Calls

6 calls:

TimeVariablePointExpression
17.0ms
a
@-inf
((/ (cbrt g) (cbrt (+ a a))) (cbrt g) g (cbrt (+ a a)) (+ a a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 (/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) (cbrt a) (/ (* (cbrt g) (cbrt 1/2)) (cbrt a)) (* (cbrt g) (cbrt 1/2)) (cbrt 1/2))
12.0ms
g
@-inf
((/ (cbrt g) (cbrt (+ a a))) (cbrt g) g (cbrt (+ a a)) (+ a a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 (/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) (cbrt a) (/ (* (cbrt g) (cbrt 1/2)) (cbrt a)) (* (cbrt g) (cbrt 1/2)) (cbrt 1/2))
8.0ms
a
@0
((/ (cbrt g) (cbrt (+ a a))) (cbrt g) g (cbrt (+ a a)) (+ a a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 (/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) (cbrt a) (/ (* (cbrt g) (cbrt 1/2)) (cbrt a)) (* (cbrt g) (cbrt 1/2)) (cbrt 1/2))
7.0ms
a
@inf
((/ (cbrt g) (cbrt (+ a a))) (cbrt g) g (cbrt (+ a a)) (+ a a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 (/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) (cbrt a) (/ (* (cbrt g) (cbrt 1/2)) (cbrt a)) (* (cbrt g) (cbrt 1/2)) (cbrt 1/2))
7.0ms
g
@0
((/ (cbrt g) (cbrt (+ a a))) (cbrt g) g (cbrt (+ a a)) (+ a a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 (/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) (cbrt a) (/ (* (cbrt g) (cbrt 1/2)) (cbrt a)) (* (cbrt g) (cbrt 1/2)) (cbrt 1/2))

rewrite81.0ms (4.7%)

Memory
30.7MiB live, 79.8MiB allocated; 10ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0100352
0126323
1299209
01164209
12202209
Stop Event
saturated
iter-limit
iter-limit
unsound
iter-limit
Counts
43 → 430
Calls
Call 1
Inputs
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 g)
g
(cbrt.f64 (+.f64 a a))
(+.f64 a a)
a
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 g (+.f64 a a))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))
(/.f64 #s(literal 1/2 binary64) a)
#s(literal 1/2 binary64)
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 #s(literal 1/2 binary64) g)
(cbrt.f64 a)
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(cbrt.f64 #s(literal 1/2 binary64))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ g (+ a a)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (cbrt (* 1/2 g)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (* 1/2 g) #s(hole binary64 (* 1/2 g)))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt (* 1/2 g)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (* (cbrt g) (cbrt 1/2)) #s(hole binary64 (* -1 (* (cbrt g) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (cbrt (/ 1/2 a)) #s(hole binary64 (* (cbrt (/ 1 a)) (cbrt 1/2))))
#s(approx (/ 1/2 a) #s(hole binary64 (/ 1/2 a)))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (cbrt (/ 1/2 a)) #s(hole binary64 (* (cbrt (/ 1 a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
Outputs
(*.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 (/.f64 g a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (pow.f64 a #s(literal -1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64)) (cbrt.f64 a))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal 1 binary64)))
(neg.f64 (/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 g)
g
(*.f64 (neg.f64 (cbrt.f64 a)) (cbrt.f64 #s(literal -2 binary64)))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) (neg.f64 (cbrt.f64 a)))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -2 binary64)))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 a))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (*.f64 (cbrt.f64 #s(literal -2 binary64)) #s(literal 1 binary64)))
(neg.f64 (cbrt.f64 #s(literal -2 binary64)))
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
a
(*.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 (/.f64 g a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (pow.f64 a #s(literal -1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64)) (cbrt.f64 a))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal 1 binary64)))
(neg.f64 (/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)) #s(literal -1/2 binary64))
(*.f64 (neg.f64 g) #s(literal -1/2 binary64))
(*.f64 (*.f64 #s(literal -1 binary64) g) #s(literal -1/2 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 #s(literal -1/2 binary64) g))
(*.f64 (*.f64 #s(literal 1/2 binary64) g) (/.f64 #s(literal 1 binary64) a))
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (/.f64 g a) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (/.f64 g a))
(*.f64 #s(literal 1/2 binary64) g)
(*.f64 g #s(literal 1/2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 g)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 g) #s(literal 1/2 binary64)) (neg.f64 a))
(/.f64 (*.f64 #s(literal -1 binary64) (/.f64 g a)) #s(literal -2 binary64))
(/.f64 (*.f64 g #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 (neg.f64 g) #s(literal -1 binary64)) (*.f64 (neg.f64 a) #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 g)) (*.f64 #s(literal -2 binary64) (neg.f64 a)))
(/.f64 (neg.f64 (neg.f64 g)) #s(literal 2 binary64))
(/.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (neg.f64 g) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1/2 binary64) g) (neg.f64 a))
(/.f64 (*.f64 #s(literal -1 binary64) g) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) g) a)
(/.f64 (/.f64 g a) #s(literal 2 binary64))
(/.f64 g #s(literal 2 binary64))
(neg.f64 (/.f64 g #s(literal -2 binary64)))
(neg.f64 (/.f64 (neg.f64 g) #s(literal 2 binary64)))
(*.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 (/.f64 g a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (pow.f64 a #s(literal -1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64)) (cbrt.f64 a))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal 1 binary64)))
(neg.f64 (/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal 1/2 binary64))) #s(literal -1 binary64))
(*.f64 (*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 #s(literal -1/2 binary64))) #s(literal -1 binary64))
(*.f64 (*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) #s(literal -1 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (cbrt.f64 a)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (pow.f64 a #s(literal -1/3 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (pow.f64 a #s(literal -1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (cbrt.f64 #s(literal 2 binary64)) #s(literal -1 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal -1/3 binary64))
(pow.f64 #s(literal 1/2 binary64) #s(literal 1/3 binary64))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) #s(literal -1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (*.f64 (pow.f64 a #s(literal -1/3 binary64)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 a)))
(/.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (cbrt.f64 #s(literal -1/2 binary64)))
(cbrt.f64 #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
#s(literal 1/2 binary64)
(*.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 (/.f64 g a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (pow.f64 a #s(literal -1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64)) (cbrt.f64 a))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal 1 binary64)))
(neg.f64 (/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 (/.f64 g a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (pow.f64 a #s(literal -1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64)) (cbrt.f64 a))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal 1 binary64)))
(neg.f64 (/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)) #s(literal -1/2 binary64))
(*.f64 (neg.f64 g) #s(literal -1/2 binary64))
(*.f64 (*.f64 #s(literal -1 binary64) g) #s(literal -1/2 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 #s(literal -1/2 binary64) g))
(*.f64 (*.f64 #s(literal 1/2 binary64) g) (/.f64 #s(literal 1 binary64) a))
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (/.f64 g a) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (/.f64 g a))
(*.f64 #s(literal 1/2 binary64) g)
(*.f64 g #s(literal 1/2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 g)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 g) #s(literal 1/2 binary64)) (neg.f64 a))
(/.f64 (*.f64 #s(literal -1 binary64) (/.f64 g a)) #s(literal -2 binary64))
(/.f64 (*.f64 g #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 (neg.f64 g) #s(literal -1 binary64)) (*.f64 (neg.f64 a) #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 g)) (*.f64 #s(literal -2 binary64) (neg.f64 a)))
(/.f64 (neg.f64 (neg.f64 g)) #s(literal 2 binary64))
(/.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (neg.f64 g) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1/2 binary64) g) (neg.f64 a))
(/.f64 (*.f64 #s(literal -1 binary64) g) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) g) a)
(/.f64 (/.f64 g a) #s(literal 2 binary64))
(/.f64 g #s(literal 2 binary64))
(neg.f64 (/.f64 g #s(literal -2 binary64)))
(neg.f64 (/.f64 (neg.f64 g) #s(literal 2 binary64)))
(pow.f64 a #s(literal 1/3 binary64))
(cbrt.f64 a)
(*.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 (/.f64 g a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (pow.f64 a #s(literal -1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64)) (cbrt.f64 a))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal 1 binary64)))
(neg.f64 (/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 (/.f64 g a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (pow.f64 a #s(literal -1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64)) (cbrt.f64 a))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) #s(literal -1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal 1 binary64)))
(neg.f64 (/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal 1/2 binary64))) #s(literal -1 binary64))
(*.f64 (*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 #s(literal -1/2 binary64))) #s(literal -1 binary64))
(*.f64 (*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) #s(literal -1 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (cbrt.f64 a)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (pow.f64 a #s(literal -1/3 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (pow.f64 a #s(literal -1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (cbrt.f64 #s(literal 2 binary64)) #s(literal -1 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal -1/3 binary64))
(pow.f64 #s(literal 1/2 binary64) #s(literal 1/3 binary64))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) #s(literal -1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (*.f64 (pow.f64 a #s(literal -1/3 binary64)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (/.f64 #s(literal -1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (pow.f64 a #s(literal -1/3 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 a)))
(/.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (cbrt.f64 #s(literal -1/2 binary64)))
(cbrt.f64 #s(literal 1/2 binary64))
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx g g)
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* 1/2 g) (*.f64 #s(literal 1/2 binary64) g))
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* 1/2 g) (*.f64 #s(literal 1/2 binary64) g))
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt g) (neg.f64 (neg.f64 (cbrt.f64 g))))
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (+ a a)) (cbrt.f64 #s(literal 2 binary64)))
#s(approx (+ a a) #s(literal 2 binary64))
#s(approx a a)
#s(approx (cbrt (/ 1/2 a)) (cbrt.f64 #s(literal 1/2 binary64)))
#s(approx (/ 1/2 a) #s(literal 1/2 binary64))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (+ a a)) (cbrt.f64 #s(literal 2 binary64)))
#s(approx (* (cbrt g) (cbrt 1/2)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (/ 1/2 a)) (cbrt.f64 #s(literal 1/2 binary64)))
#s(approx (cbrt a) (neg.f64 (neg.f64 (cbrt.f64 a))))

eval16.0ms (0.9%)

Memory
-22.3MiB live, 24.5MiB allocated; 2ms collecting garbage
Compiler

Compiled 572 to 301 computations (47.4% saved)

prune11.0ms (0.6%)

Memory
22.0MiB live, 22.0MiB allocated; 0ms collecting garbage
Pruning

16 alts after pruning (11 fresh and 5 done)

PrunedKeptTotal
New1298137
Fresh033
Picked055
Done000
Total12916145
Accuracy
99.9%
Counts
145 → 16
Alt Table
Click to see full alt table
StatusAccuracyProgram
8.0%
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
98.7%
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
79.7%
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
98.7%
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
98.2%
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
98.9%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
8.0%
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))
80.4%
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
98.8%
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
98.7%
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
98.8%
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
98.7%
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
8.0%
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (/ 1/2 a) #s(literal 1/2 binary64))))
80.5%
(cbrt.f64 (/.f64 g (+.f64 a a)))
80.4%
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
8.0%
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
Compiler

Compiled 193 to 197 computations (-2.1% saved)

series61.0ms (3.6%)

Memory
-34.6MiB live, 107.8MiB allocated; 9ms collecting garbage
Counts
25 → 31
Calls
Call 1
Inputs
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))
(*.f64 #s(literal -1/2 binary64) g)
#s(literal -1/2 binary64)
g
(/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a)))
#s(literal 1 binary64)
(neg.f64 (cbrt.f64 a))
(cbrt.f64 a)
a
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
(*.f64 g #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
(*.f64 (/.f64 #s(literal 1/2 binary64) a) g)
(/.f64 #s(literal 1/2 binary64) a)
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))
(cbrt.f64 g)
(cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64)))
#s(approx (+ a a) #s(literal 2 binary64))
#s(literal 2 binary64)
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
(cbrt.f64 #s(literal 2 binary64))
Outputs
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (cbrt (* -1/2 g)) #s(hole binary64 (* (cbrt g) (cbrt -1/2))))
#s(approx (* -1/2 g) #s(hole binary64 (* -1/2 g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (* g 1/2)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (* g 1/2) #s(hole binary64 (* 1/2 g)))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (* (/ 1/2 a) g) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx (cbrt (/ g a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ g a) #s(hole binary64 (/ g a)))
#s(approx (cbrt (* -1/2 g)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt 1/2)))))
#s(approx (cbrt (* g 1/2)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ 1 (neg (cbrt a))) #s(hole binary64 (* -1 (cbrt (/ 1 a)))))
#s(approx (neg (cbrt a)) #s(hole binary64 (* -1 (cbrt a))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ 1/2 a) #s(hole binary64 (/ 1/2 a)))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (neg (cbrt a)) #s(hole binary64 (* (cbrt a) (cbrt -1))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))
#s(approx (/ (cbrt (/ g a)) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
Calls

6 calls:

TimeVariablePointExpression
17.0ms
a
@-inf
((* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt (* -1/2 g)) (* -1/2 g) -1/2 g (/ 1 (neg (cbrt a))) 1 (neg (cbrt a)) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) 1/2 (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (+ a a) 2 (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2))
10.0ms
a
@0
((* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt (* -1/2 g)) (* -1/2 g) -1/2 g (/ 1 (neg (cbrt a))) 1 (neg (cbrt a)) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) 1/2 (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (+ a a) 2 (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2))
9.0ms
g
@-inf
((* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt (* -1/2 g)) (* -1/2 g) -1/2 g (/ 1 (neg (cbrt a))) 1 (neg (cbrt a)) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) 1/2 (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (+ a a) 2 (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2))
8.0ms
g
@0
((* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt (* -1/2 g)) (* -1/2 g) -1/2 g (/ 1 (neg (cbrt a))) 1 (neg (cbrt a)) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) 1/2 (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (+ a a) 2 (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2))
8.0ms
a
@inf
((* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt (* -1/2 g)) (* -1/2 g) -1/2 g (/ 1 (neg (cbrt a))) 1 (neg (cbrt a)) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) 1/2 (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (+ a a) 2 (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2))

rewrite59.0ms (3.4%)

Memory
9.4MiB live, 55.6MiB allocated; 3ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0117432
0139393
1341281
01412281
12447281
Stop Event
saturated
iter-limit
node-limit
iter-limit
Counts
56 → 288
Calls
Call 1
Inputs
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))
(*.f64 #s(literal -1/2 binary64) g)
#s(literal -1/2 binary64)
g
(/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a)))
#s(literal 1 binary64)
(neg.f64 (cbrt.f64 a))
(cbrt.f64 a)
a
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
(*.f64 g #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
(*.f64 (/.f64 #s(literal 1/2 binary64) a) g)
(/.f64 #s(literal 1/2 binary64) a)
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))
(cbrt.f64 g)
(cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64)))
#s(approx (+ a a) #s(literal 2 binary64))
#s(literal 2 binary64)
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
(cbrt.f64 #s(literal 2 binary64))
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (cbrt (* -1/2 g)) #s(hole binary64 (* (cbrt g) (cbrt -1/2))))
#s(approx (* -1/2 g) #s(hole binary64 (* -1/2 g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (* g 1/2)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (* g 1/2) #s(hole binary64 (* 1/2 g)))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (* (/ 1/2 a) g) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx (cbrt (/ g a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ g a) #s(hole binary64 (/ g a)))
#s(approx (cbrt (* -1/2 g)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt 1/2)))))
#s(approx (cbrt (* g 1/2)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ 1 (neg (cbrt a))) #s(hole binary64 (* -1 (cbrt (/ 1 a)))))
#s(approx (neg (cbrt a)) #s(hole binary64 (* -1 (cbrt a))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ 1/2 a) #s(hole binary64 (/ 1/2 a)))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (neg (cbrt a)) #s(hole binary64 (* (cbrt a) (cbrt -1))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))
#s(approx (/ (cbrt (/ g a)) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
Outputs
(*.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64)) (neg.f64 (neg.f64 (cbrt.f64 g))))
(*.f64 (/.f64 (cbrt.f64 g) #s(literal -1 binary64)) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(*.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)) (/.f64 (cbrt.f64 g) #s(literal -1 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (neg.f64 (cbrt.f64 g))))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
(*.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal -1 binary64))
(/.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) (neg.f64 (cbrt.f64 a)))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
(cbrt.f64 (neg.f64 (*.f64 g #s(literal -1/2 binary64))))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (neg.f64 (cbrt.f64 g))))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
(pow.f64 (*.f64 g #s(literal -1/2 binary64)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (*.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) (cbrt.f64 a))
(neg.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(cbrt.f64 (*.f64 (*.f64 g #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(cbrt.f64 (*.f64 g #s(literal -1/2 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) g) #s(literal -1/2 binary64))
(*.f64 g #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 1 binary64) g))
(*.f64 #s(literal -1/2 binary64) g)
(/.f64 (*.f64 (neg.f64 g) #s(literal -1/2 binary64)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 g) #s(literal -1 binary64)) (*.f64 (neg.f64 a) #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) g) #s(literal 2 binary64))
(/.f64 (*.f64 g #s(literal -1/2 binary64)) a)
(neg.f64 (*.f64 #s(literal 1/2 binary64) g))
#s(literal -1/2 binary64)
g
#s(literal -1 binary64)
#s(literal 1 binary64)
(*.f64 #s(literal -1 binary64) (cbrt.f64 a))
(*.f64 (cbrt.f64 a) #s(literal -1 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) a) #s(literal 1/3 binary64))
(pow.f64 (neg.f64 a) #s(literal 1/3 binary64))
(neg.f64 (cbrt.f64 a))
(cbrt.f64 (*.f64 #s(literal -1 binary64) a))
(cbrt.f64 (neg.f64 a))
(*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 a)))
(*.f64 (neg.f64 (cbrt.f64 a)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 a) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 a))
(pow.f64 a #s(literal 1/3 binary64))
(neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(neg.f64 (*.f64 (neg.f64 (cbrt.f64 a)) #s(literal 1 binary64)))
(neg.f64 (neg.f64 (cbrt.f64 a)))
(cbrt.f64 (*.f64 (neg.f64 a) #s(literal -1 binary64)))
(cbrt.f64 (neg.f64 (neg.f64 a)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1 binary64) a)))
(cbrt.f64 a)
a
(*.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64)) (neg.f64 (neg.f64 (cbrt.f64 g))))
(*.f64 (/.f64 (cbrt.f64 g) #s(literal -1 binary64)) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(*.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)) (/.f64 (cbrt.f64 g) #s(literal -1 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (neg.f64 (cbrt.f64 g))))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
(*.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal -1 binary64))
(/.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) (neg.f64 (cbrt.f64 a)))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
(cbrt.f64 (neg.f64 (*.f64 g #s(literal -1/2 binary64))))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (*.f64 #s(literal -1 binary64) g) #s(literal -1/2 binary64))
(*.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1 binary64))
(*.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 1/2 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 g #s(literal -1/2 binary64)))
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) g))
(*.f64 #s(literal 1/2 binary64) g)
(*.f64 g #s(literal 1/2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 g)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 g) #s(literal 1/2 binary64)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 g) #s(literal -1 binary64)) (*.f64 (neg.f64 a) #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 g)) (*.f64 #s(literal -2 binary64) (neg.f64 a)))
(/.f64 (neg.f64 g) (*.f64 (neg.f64 a) #s(literal 2 binary64)))
(/.f64 (neg.f64 g) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) g) (*.f64 #s(literal -2 binary64) a))
(/.f64 (*.f64 #s(literal -1 binary64) g) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) g) a)
(/.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 2 binary64))
(/.f64 (*.f64 g #s(literal -1/2 binary64)) (neg.f64 a))
(/.f64 g #s(literal 2 binary64))
#s(literal 1/2 binary64)
(*.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64)) (neg.f64 (neg.f64 (cbrt.f64 g))))
(*.f64 (/.f64 (cbrt.f64 g) #s(literal -1 binary64)) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(*.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)) (/.f64 (cbrt.f64 g) #s(literal -1 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (neg.f64 (cbrt.f64 g))))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
(*.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal -1 binary64))
(/.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) (neg.f64 (cbrt.f64 a)))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
(cbrt.f64 (neg.f64 (*.f64 g #s(literal -1/2 binary64))))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (*.f64 #s(literal -1 binary64) g) #s(literal -1/2 binary64))
(*.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1 binary64))
(*.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 1/2 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 g #s(literal -1/2 binary64)))
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) g))
(*.f64 #s(literal 1/2 binary64) g)
(*.f64 g #s(literal 1/2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 g)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 g) #s(literal 1/2 binary64)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 g) #s(literal -1 binary64)) (*.f64 (neg.f64 a) #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 g)) (*.f64 #s(literal -2 binary64) (neg.f64 a)))
(/.f64 (neg.f64 g) (*.f64 (neg.f64 a) #s(literal 2 binary64)))
(/.f64 (neg.f64 g) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) g) (*.f64 #s(literal -2 binary64) a))
(/.f64 (*.f64 #s(literal -1 binary64) g) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) g) a)
(/.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 2 binary64))
(/.f64 (*.f64 g #s(literal -1/2 binary64)) (neg.f64 a))
(/.f64 g #s(literal 2 binary64))
#s(literal 1/2 binary64)
(*.f64 (pow.f64 #s(approx (+ a a) #s(literal 2 binary64)) #s(literal -1/3 binary64)) (cbrt.f64 g))
(*.f64 (neg.f64 (cbrt.f64 g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))))
(*.f64 (cbrt.f64 g) (pow.f64 #s(approx (+ a a) #s(literal 2 binary64)) #s(literal -1/3 binary64)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g #s(approx (+ a a) #s(literal 2 binary64)))))
(pow.f64 (/.f64 g #s(approx (+ a a) #s(literal 2 binary64))) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64)))))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (neg.f64 (neg.f64 (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))
(neg.f64 (/.f64 (cbrt.f64 g) (neg.f64 (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64)))))
(cbrt.f64 (/.f64 g #s(approx (+ a a) #s(literal 2 binary64))))
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 g)
(pow.f64 #s(approx (+ a a) #s(literal 2 binary64)) #s(literal 1/3 binary64))
(cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64)))
#s(approx (+ a a) #s(literal 2 binary64))
#s(literal 2 binary64)
(*.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64)) (neg.f64 (neg.f64 (cbrt.f64 g))))
(*.f64 (/.f64 (cbrt.f64 g) #s(literal -1 binary64)) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(*.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)) (/.f64 (cbrt.f64 g) #s(literal -1 binary64)))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (neg.f64 (cbrt.f64 g))))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
(*.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) #s(literal -1 binary64))
(/.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))) (neg.f64 (cbrt.f64 a)))
(neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
(cbrt.f64 (neg.f64 (*.f64 g #s(literal -1/2 binary64))))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 (neg.f64 (cbrt.f64 g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 g) #s(literal 1 binary64))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (cbrt.f64 g))))
(pow.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 2 binary64)) (*.f64 (cbrt.f64 a) #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (cbrt.f64 a))
(neg.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))))
(neg.f64 (neg.f64 (cbrt.f64 g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1 binary64) g))
(*.f64 (neg.f64 g) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) g))
(*.f64 #s(literal 1 binary64) g)
(*.f64 g #s(literal 1 binary64))
(/.f64 (neg.f64 (neg.f64 g)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 g) (neg.f64 a))
(/.f64 (*.f64 #s(literal -1 binary64) g) (neg.f64 a))
(/.f64 (*.f64 #s(literal 1 binary64) g) a)
(/.f64 g a)
(neg.f64 (/.f64 g (neg.f64 a)))
(neg.f64 (/.f64 (neg.f64 g) a))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) (neg.f64 (cbrt.f64 a)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 a))
(*.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -2 binary64)))
(*.f64 (neg.f64 (cbrt.f64 a)) (cbrt.f64 #s(literal -2 binary64)))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (*.f64 (cbrt.f64 #s(literal -2 binary64)) #s(literal 1 binary64)))
(neg.f64 (cbrt.f64 #s(literal -2 binary64)))
(cbrt.f64 (*.f64 (neg.f64 a) #s(literal -2 binary64)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -2 binary64) a)))
(cbrt.f64 #s(literal 2 binary64))
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (* -1/2 g)) (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
#s(approx (* -1/2 g) (*.f64 g #s(literal -1/2 binary64)))
#s(approx g g)
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* (/ 1/2 a) g) (*.f64 #s(literal 1/2 binary64) g))
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* (/ 1/2 a) g) (*.f64 #s(literal 1/2 binary64) g))
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx (cbrt (/ g a)) (neg.f64 (neg.f64 (cbrt.f64 g))))
#s(approx (/ g a) (*.f64 #s(literal 1 binary64) g))
#s(approx (cbrt (* -1/2 g)) (cbrt.f64 (*.f64 g #s(literal -1/2 binary64))))
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt g) (neg.f64 (neg.f64 (cbrt.f64 g))))
#s(approx (cbrt (/ g a)) (neg.f64 (neg.f64 (cbrt.f64 g))))
#s(approx (/ 1 (neg (cbrt a))) #s(literal -1 binary64))
#s(approx (neg (cbrt a)) (neg.f64 (cbrt.f64 a)))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx a a)
#s(approx (/ 1/2 a) #s(literal 1/2 binary64))
#s(approx (cbrt (+ a a)) (cbrt.f64 #s(literal 2 binary64)))
#s(approx (+ a a) #s(literal 2 binary64))
#s(approx (neg (cbrt a)) (neg.f64 (cbrt.f64 a)))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (+ a a)) (cbrt.f64 #s(literal 2 binary64)))
#s(approx (* (cbrt (* -1/2 g)) (/ 1 (neg (cbrt a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (/ g a)) (neg.f64 (neg.f64 (cbrt.f64 g))))

eval18.0ms (1%)

Memory
-14.8MiB live, 30.6MiB allocated; 4ms collecting garbage
Compiler

Compiled 756 to 430 computations (43.1% saved)

prune9.0ms (0.5%)

Memory
18.5MiB live, 18.5MiB allocated; 0ms collecting garbage
Pruning

18 alts after pruning (8 fresh and 10 done)

PrunedKeptTotal
New1602162
Fresh066
Picked055
Done055
Total16018178
Accuracy
99.9%
Counts
178 → 18
Alt Table
Click to see full alt table
StatusAccuracyProgram
8.0%
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
98.3%
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
98.7%
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
80.5%
(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
79.7%
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
98.7%
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
98.2%
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
98.9%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
8.0%
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))
80.4%
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
98.8%
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
98.7%
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
98.8%
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
98.7%
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
8.0%
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (/ 1/2 a) #s(literal 1/2 binary64))))
80.5%
(cbrt.f64 (/.f64 g (+.f64 a a)))
80.4%
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
8.0%
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
Compiler

Compiled 190 to 193 computations (-1.6% saved)

series83.0ms (4.9%)

Memory
-5.5MiB live, 90.0MiB allocated; 50ms collecting garbage
Counts
23 → 25
Calls
Call 1
Inputs
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(cbrt.f64 g)
g
(/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a)))
#s(literal 1 binary64)
(cbrt.f64 (+.f64 a a))
(+.f64 a a)
a
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(*.f64 #s(literal 1/2 binary64) g)
#s(literal 1/2 binary64)
#s(literal 1/3 binary64)
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
(cbrt.f64 #s(literal 1/2 binary64))
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(cbrt.f64 a)
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
Outputs
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (pow (* 1/2 g) 1/3) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (* 1/2 g) #s(hole binary64 (* 1/2 g)))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ g a) #s(hole binary64 (/ g a)))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (pow (* 1/2 g) 1/3) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ 1 a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (cbrt 1/2) (cbrt a)) #s(hole binary64 (* (cbrt (/ 1 a)) (cbrt 1/2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ 1 a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (* (pow (cbrt -1) 2) (cbrt 1/2)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
Calls

6 calls:

TimeVariablePointExpression
45.0ms
a
@-inf
((* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt g) g (/ 1 (cbrt (+ a a))) 1 (cbrt (+ a a)) (+ a a) a (pow (* 1/2 g) 1/3) (* 1/2 g) 1/2 1/3 (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt 1/2) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (cbrt a) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (cbrt 2) 2)
11.0ms
g
@-inf
((* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt g) g (/ 1 (cbrt (+ a a))) 1 (cbrt (+ a a)) (+ a a) a (pow (* 1/2 g) 1/3) (* 1/2 g) 1/2 1/3 (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt 1/2) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (cbrt a) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (cbrt 2) 2)
7.0ms
g
@inf
((* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt g) g (/ 1 (cbrt (+ a a))) 1 (cbrt (+ a a)) (+ a a) a (pow (* 1/2 g) 1/3) (* 1/2 g) 1/2 1/3 (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt 1/2) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (cbrt a) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (cbrt 2) 2)
7.0ms
a
@0
((* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt g) g (/ 1 (cbrt (+ a a))) 1 (cbrt (+ a a)) (+ a a) a (pow (* 1/2 g) 1/3) (* 1/2 g) 1/2 1/3 (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt 1/2) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (cbrt a) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (cbrt 2) 2)
7.0ms
a
@inf
((* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt g) g (/ 1 (cbrt (+ a a))) 1 (cbrt (+ a a)) (+ a a) a (pow (* 1/2 g) 1/3) (* 1/2 g) 1/2 1/3 (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt 1/2) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (cbrt a) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (cbrt 2) 2)

rewrite59.0ms (3.4%)

Memory
10.6MiB live, 59.9MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0100386
0125331
1315208
01340208
12323208
Stop Event
saturated
iter-limit
node-limit
iter-limit
Counts
48 → 312
Calls
Call 1
Inputs
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(cbrt.f64 g)
g
(/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a)))
#s(literal 1 binary64)
(cbrt.f64 (+.f64 a a))
(+.f64 a a)
a
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(*.f64 #s(literal 1/2 binary64) g)
#s(literal 1/2 binary64)
#s(literal 1/3 binary64)
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
(cbrt.f64 #s(literal 1/2 binary64))
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(cbrt.f64 a)
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (pow (* 1/2 g) 1/3) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (* 1/2 g) #s(hole binary64 (* 1/2 g)))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ g a) #s(hole binary64 (/ g a)))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (pow (* 1/2 g) 1/3) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ 1 a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (cbrt 1/2) (cbrt a)) #s(hole binary64 (* (cbrt (/ 1 a)) (cbrt 1/2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ 1 a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (* (pow (cbrt -1) 2) (cbrt 1/2)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
Outputs
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (/.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 2 binary64)))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(fabs.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (neg.f64 (cbrt.f64 g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (neg.f64 (cbrt.f64 g)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 g)))
(*.f64 (cbrt.f64 g) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 g))
(pow.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 1/3 binary64))
(pow.f64 g #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))) (neg.f64 (cbrt.f64 a)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 2 binary64)) (*.f64 (neg.f64 (cbrt.f64 a)) #s(literal 2 binary64)))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 2 binary64)) (*.f64 (cbrt.f64 a) #s(literal 2 binary64)))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))))
(neg.f64 (neg.f64 (cbrt.f64 g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1 binary64) g))
(cbrt.f64 g)
g
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (cbrt.f64 #s(literal 2 binary64)) #s(literal -1 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal -1/3 binary64))
(pow.f64 #s(literal 1/2 binary64) #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (cbrt.f64 #s(literal 1/2 binary64))) #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (cbrt.f64 #s(literal -2 binary64))))
(/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 a)))
(/.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(neg.f64 (cbrt.f64 #s(literal -1/2 binary64)))
(cbrt.f64 #s(literal 1/2 binary64))
#s(literal 1 binary64)
(*.f64 (neg.f64 (cbrt.f64 a)) (cbrt.f64 #s(literal -2 binary64)))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) (neg.f64 (cbrt.f64 a)))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -2 binary64)))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 a))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (*.f64 (cbrt.f64 #s(literal -2 binary64)) #s(literal 1 binary64)))
(neg.f64 (cbrt.f64 #s(literal -2 binary64)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -2 binary64) a)))
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
a
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (/.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 2 binary64)))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(fabs.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) g))
(*.f64 #s(literal 1/2 binary64) g)
(*.f64 g #s(literal 1/2 binary64))
(/.f64 (*.f64 (neg.f64 g) #s(literal 1/2 binary64)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 g) #s(literal -1 binary64)) (*.f64 (neg.f64 a) #s(literal -2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) g) (*.f64 #s(literal -2 binary64) a))
(/.f64 (*.f64 #s(literal -1 binary64) g) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) g) a)
#s(literal 1/2 binary64)
#s(literal 1/3 binary64)
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (/.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 2 binary64)))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(fabs.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (neg.f64 (cbrt.f64 g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (neg.f64 (cbrt.f64 g)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 g)))
(*.f64 (cbrt.f64 g) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 g))
(pow.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 1/3 binary64))
(pow.f64 g #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))) (neg.f64 (cbrt.f64 a)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 2 binary64)) (*.f64 (neg.f64 (cbrt.f64 a)) #s(literal 2 binary64)))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 2 binary64)) (*.f64 (cbrt.f64 a) #s(literal 2 binary64)))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))))
(neg.f64 (neg.f64 (cbrt.f64 g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1 binary64) g))
(cbrt.f64 g)
(*.f64 (neg.f64 g) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) g))
(*.f64 #s(literal 1 binary64) g)
(*.f64 g #s(literal 1 binary64))
(/.f64 (neg.f64 (neg.f64 g)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 g) (neg.f64 a))
(/.f64 (*.f64 #s(literal -1 binary64) g) (neg.f64 a))
(/.f64 (*.f64 #s(literal 1 binary64) g) a)
(/.f64 g a)
(neg.f64 (/.f64 g (neg.f64 a)))
(neg.f64 (/.f64 (neg.f64 g) a))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (cbrt.f64 #s(literal 2 binary64)) #s(literal -1 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal -1/3 binary64))
(pow.f64 #s(literal 1/2 binary64) #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (cbrt.f64 #s(literal 1/2 binary64))) #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (cbrt.f64 #s(literal -2 binary64))))
(/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 a)))
(/.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(neg.f64 (cbrt.f64 #s(literal -1/2 binary64)))
(cbrt.f64 #s(literal 1/2 binary64))
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (/.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 2 binary64)))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(fabs.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (cbrt.f64 #s(literal 2 binary64)) #s(literal -1 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal -1/3 binary64))
(pow.f64 #s(literal 1/2 binary64) #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (cbrt.f64 #s(literal 1/2 binary64))) #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (cbrt.f64 #s(literal -2 binary64))))
(/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 a)))
(/.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 a)))
(neg.f64 (cbrt.f64 #s(literal -1/2 binary64)))
(cbrt.f64 #s(literal 1/2 binary64))
(pow.f64 a #s(literal 1/3 binary64))
(cbrt.f64 a)
(*.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) #s(literal -1 binary64))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (neg.f64 (cbrt.f64 g)))
(*.f64 #s(literal -1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))))
(neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (/.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 2 binary64)))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(fabs.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (neg.f64 (cbrt.f64 g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (neg.f64 (cbrt.f64 g)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 g)))
(*.f64 (cbrt.f64 g) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 g))
(pow.f64 (*.f64 #s(literal 1 binary64) g) #s(literal 1/3 binary64))
(pow.f64 g #s(literal 1/3 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))) (neg.f64 (cbrt.f64 a)))
(/.f64 (*.f64 (neg.f64 (cbrt.f64 g)) #s(literal 2 binary64)) (*.f64 (neg.f64 (cbrt.f64 a)) #s(literal 2 binary64)))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 2 binary64)) (*.f64 (cbrt.f64 a) #s(literal 2 binary64)))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 g))))
(neg.f64 (neg.f64 (cbrt.f64 g)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -1 binary64) g)))
(cbrt.f64 (*.f64 #s(literal 1 binary64) g))
(cbrt.f64 g)
(*.f64 (neg.f64 (cbrt.f64 a)) (cbrt.f64 #s(literal -2 binary64)))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) (neg.f64 (cbrt.f64 a)))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (cbrt.f64 #s(literal -2 binary64)))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 a))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(neg.f64 (*.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal -2 binary64))))
(neg.f64 (*.f64 (cbrt.f64 #s(literal -2 binary64)) #s(literal 1 binary64)))
(neg.f64 (cbrt.f64 #s(literal -2 binary64)))
(cbrt.f64 (neg.f64 (*.f64 #s(literal -2 binary64) a)))
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (/ g a)) (cbrt.f64 g))
#s(approx g g)
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* 1/2 g) (*.f64 #s(literal 1/2 binary64) g))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (/ g a)) (cbrt.f64 g))
#s(approx (/ g a) (*.f64 #s(literal 1 binary64) g))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (/ g a)) (cbrt.f64 g))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (/ g a)) (cbrt.f64 g))
#s(approx (/ (cbrt 1/2) (cbrt a)) (cbrt.f64 #s(literal 1/2 binary64)))
#s(approx (cbrt (+ a a)) (cbrt.f64 #s(literal 2 binary64)))
#s(approx (+ a a) #s(literal 2 binary64))
#s(approx a a)
#s(approx (/ (cbrt 1/2) (cbrt a)) (cbrt.f64 #s(literal 1/2 binary64)))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (/ (cbrt 1/2) (cbrt a)) (cbrt.f64 #s(literal 1/2 binary64)))
#s(approx (cbrt (+ a a)) (cbrt.f64 #s(literal 2 binary64)))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
#s(approx (cbrt (/ g a)) (cbrt.f64 g))
#s(approx (cbrt a) (neg.f64 (neg.f64 (cbrt.f64 a))))

eval16.0ms (0.9%)

Memory
-18.1MiB live, 28.0MiB allocated; 3ms collecting garbage
Compiler

Compiled 692 to 362 computations (47.7% saved)

prune10.0ms (0.6%)

Memory
20.7MiB live, 20.7MiB allocated; 0ms collecting garbage
Pruning

19 alts after pruning (4 fresh and 15 done)

PrunedKeptTotal
New1501151
Fresh033
Picked055
Done01010
Total15019169
Accuracy
99.9%
Counts
169 → 19
Alt Table
Click to see full alt table
StatusAccuracyProgram
8.0%
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
98.3%
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
98.7%
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
80.5%
(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
79.7%
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
98.7%
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
98.2%
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
98.9%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
8.0%
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))
80.4%
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
98.8%
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
98.7%
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
98.8%
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
98.7%
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
8.0%
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (/ 1/2 a) #s(literal 1/2 binary64))))
8.0%
(fabs.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
80.5%
(cbrt.f64 (/.f64 g (+.f64 a a)))
80.4%
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
8.0%
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
Compiler

Compiled 219 to 198 computations (9.6% saved)

regimes28.0ms (1.6%)

Memory
-1.4MiB live, 45.4MiB allocated; 2ms collecting garbage
Counts
20 → 1
Calls
Call 1
Inputs
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(fabs.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (/ 1/2 a) #s(literal 1/2 binary64))))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(*.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
Outputs
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
Calls

5 calls:

6.0ms
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
5.0ms
g
5.0ms
a
5.0ms
(*.f64 #s(literal 2 binary64) a)
5.0ms
(/.f64 g (*.f64 #s(literal 2 binary64) a))
Results
AccuracySegmentsBranch
98.9%1(*.f64 #s(literal 2 binary64) a)
98.9%1(/.f64 g (*.f64 #s(literal 2 binary64) a))
98.9%1(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
98.9%1g
98.9%1a
Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes13.0ms (0.8%)

Memory
23.5MiB live, 23.5MiB allocated; 0ms collecting garbage
Counts
8 → 1
Calls
Call 1
Inputs
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(fabs.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
(*.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (/ 1/2 a) #s(literal 1/2 binary64))))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(approx (+ a a) #s(literal 2 binary64))))
Outputs
(cbrt.f64 (/.f64 g (+.f64 a a)))
Calls

5 calls:

3.0ms
(*.f64 #s(literal 2 binary64) a)
3.0ms
a
2.0ms
g
2.0ms
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
2.0ms
(/.f64 g (*.f64 #s(literal 2 binary64) a))
Results
AccuracySegmentsBranch
80.5%1(*.f64 #s(literal 2 binary64) a)
80.5%1a
80.5%1(/.f64 g (*.f64 #s(literal 2 binary64) a))
80.5%1(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
80.5%1g
Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes14.0ms (0.8%)

Memory
-30.9MiB live, 19.8MiB allocated; 5ms collecting garbage
Counts
3 → 1
Calls
Call 1
Inputs
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(fabs.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
Outputs
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
Calls

5 calls:

7.0ms
g
1.0ms
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
1.0ms
(*.f64 #s(literal 2 binary64) a)
1.0ms
a
1.0ms
(/.f64 g (*.f64 #s(literal 2 binary64) a))
Results
AccuracySegmentsBranch
8.0%1(*.f64 #s(literal 2 binary64) a)
8.0%1a
8.0%1(/.f64 g (*.f64 #s(literal 2 binary64) a))
8.0%1(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
8.0%1g
Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes4.0ms (0.2%)

Memory
12.1MiB live, 12.1MiB allocated; 0ms collecting garbage
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
Outputs
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
Calls

4 calls:

1.0ms
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
1.0ms
(*.f64 #s(literal 2 binary64) a)
1.0ms
(/.f64 g (*.f64 #s(literal 2 binary64) a))
1.0ms
a
Results
AccuracySegmentsBranch
8.0%1(/.f64 g (*.f64 #s(literal 2 binary64) a))
8.0%1(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
8.0%1(*.f64 #s(literal 2 binary64) a)
8.0%1a
Compiler

Compiled 15 to 17 computations (-13.3% saved)

derivations14.0ms (0.8%)

Memory
15.8MiB live, 15.8MiB allocated; 0ms collecting garbage
Stop Event
fuel
Compiler

Compiled 15 to 14 computations (6.7% saved)

preprocess75.0ms (4.4%)

Memory
10.5MiB live, 143.9MiB allocated; 13ms collecting garbage
Remove

(negabs g)

Compiler

Compiled 109 to 118 computations (-8.3% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...