2-ancestry mixing, zero discriminant

Time bar (total: 2.0s)

start0.0ms (0%)

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

analyze12.0ms (0.6%)

Memory
24.2MiB live, 24.2MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
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)

sample832.0ms (42.2%)

Memory
45.2MiB live, 773.6MiB allocated; 275ms collecting garbage
Samples
616.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 300.0ms
ival-mult: 125.0ms (41.6% of total)
ival-div: 95.0ms (31.6% of total)
ival-cbrt: 69.0ms (23% of total)
exact: 6.0ms (2% of total)
ival-assert: 3.0ms (1% of total)
adjust: 2.0ms (0.7% of total)
Bogosity

explain101.0ms (5.1%)

Memory
-22.9MiB live, 68.7MiB allocated; 7ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
580-1(-7.643889277581475e-133 1.2463746674531268e+179)(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
00-0-(/.f64 g (*.f64 #s(literal 2 binary64) a))
00-0-#s(literal 2 binary64)
00-0-a
00-0-g
00-0-(*.f64 #s(literal 2 binary64) a)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cbrt.f64(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))oflow-rescue310
↳(/.f64 g (*.f64 #s(literal 2 binary64) a))overflow31
cbrt.f64(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))uflow-rescue260
↳(/.f64 g (*.f64 #s(literal 2 binary64) a))underflow26
Confusion
Predicted +Predicted -
+571
-0198
Precision
1.0
Recall
0.9827586206896551
Confusion?
Predicted +Predicted MaybePredicted -
+5701
-00198
Precision?
1.0
Recall?
0.9827586206896551
Freqs
test
numberfreq
0199
157
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
24.0ms512×0valid
Compiler

Compiled 44 to 22 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0ms
ival-div: 4.0ms (34.5% of total)
ival-mult: 4.0ms (34.5% of total)
ival-cbrt: 3.0ms (25.9% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess218.0ms (11.1%)

Memory
14.5MiB live, 110.5MiB allocated; 10ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02142
14038
26838
312138
429738
5145538
6623738
0106
0156
1176
2206
3256
4456
51226
65756
746896
084226
Stop Event
1×saturated
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
Outputs
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
Compiler

Compiled 6 to 6 computations (0% saved)

eval0.0ms (0%)

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

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶77.9%
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
Compiler

Compiled 6 to 6 computations (0% saved)

series31.0ms (1.6%)

Memory
-12.4MiB live, 32.8MiB allocated; 3ms 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
10.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
@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)

rewrite37.0ms (1.9%)

Memory
31.2MiB live, 31.2MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04198
16196
26296
36396
46496
06489
110389
025289
135289
247389
350289
450689
Stop Event
1×saturated
1×iter limit
1×iter limit
1×unsound
1×saturated
Counts
13 → 35
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
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 a #s(literal -2 binary64))))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(*.f64 (pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/6 binary64)) (pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/6 binary64)))
(neg.f64 (/.f64 g (*.f64 a #s(literal -2 binary64))))
(neg.f64 (/.f64 (neg.f64 g) (+.f64 a a)))
(/.f64 g (+.f64 a a))
(/.f64 (/.f64 g a) #s(literal 2 binary64))
(/.f64 (neg.f64 g) (*.f64 a #s(literal -2 binary64)))
(/.f64 (/.f64 g #s(literal 2 binary64)) a)
(/.f64 (neg.f64 (neg.f64 g)) (neg.f64 (*.f64 a #s(literal -2 binary64))))
(/.f64 (neg.f64 (/.f64 g #s(literal 2 binary64))) (neg.f64 a))
g
(+.f64 a 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))
(fma.f64 a #s(literal 1 binary64) (*.f64 a #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) a (*.f64 #s(literal 1 binary64) a))
(/.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (fma.f64 a a (-.f64 (*.f64 a a) (*.f64 a a))))
(/.f64 (-.f64 (*.f64 a a) (*.f64 a a)) (-.f64 a a))
(*.f64 #s(literal 2 binary64) a)
(*.f64 a #s(literal 2 binary64))
#s(literal 2 binary64)
a
#s(approx (cbrt (/ g (* 2 a))) (cbrt.f64 (/.f64 (*.f64 g #s(literal 1/2 binary64)) a)))
#s(approx (/ g (* 2 a)) (/.f64 (*.f64 g #s(literal 1/2 binary64)) a))
#s(approx g g)
#s(approx (cbrt (/ g (* 2 a))) (neg.f64 (cbrt.f64 (/.f64 (*.f64 g #s(literal -1/2 binary64)) a))))
#s(approx (* 2 a) (+.f64 a a))
#s(approx a a)
#s(approx (cbrt (/ g (* 2 a))) (cbrt.f64 (/.f64 (*.f64 g #s(literal 1/2 binary64)) a)))

eval4.0ms (0.2%)

Memory
5.0MiB live, 5.0MiB allocated; 0ms collecting garbage
Compiler

Compiled 299 to 112 computations (62.5% saved)

prune2.0ms (0.1%)

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

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New30434
Fresh000
Picked101
Done000
Total31435
Accuracy
99.4%
Counts
35 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.6%
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
▶98.7%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
▶36.1%
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
▶77.9%
(cbrt.f64 (/.f64 g (+.f64 a a)))
Compiler

Compiled 29 to 26 computations (10.3% saved)

series232.0ms (11.8%)

Memory
7.7MiB live, 187.4MiB allocated; 23ms collecting garbage
Counts
17 → 36
Calls
Call 1
Inputs
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 g (+.f64 a a))
g
(+.f64 a a)
a
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64))
(log.f64 (/.f64 g (+.f64 a a)))
#s(literal 1/3 binary64)
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 g)
(cbrt.f64 (+.f64 a a))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(/.f64 g #s(literal 2 binary64))
#s(literal 2 binary64)
(cbrt.f64 a)
Outputs
#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 g #s(hole binary64 g))
#s(approx (exp (* (log (/ g (+ a a))) 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log g) (log (/ 1/2 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log g) (log (/ 1/2 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 2)) (cbrt a)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt (/ g 2)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (/ g 2) #s(hole binary64 (* 1/2 g)))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (/ 1/2 a)) (* -1 (log (/ 1 g)))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (/ 1/2 a)) (* -1 (log (/ 1 g))))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (exp (* (log (/ g (+ a a))) 1/3)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (/ -1/2 a)) (* -1 (log (/ -1 g)))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (/ -1/2 a)) (* -1 (log (/ -1 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 2)) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (cbrt (/ g 2)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* 1/2 g)) (* -1 (log a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* 1/2 g)) (* -1 (log a)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* 1/2 g)) (log (/ 1 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* 1/2 g)) (log (/ 1 a)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (exp (* (log (/ g (+ a a))) 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* -1/2 g)) (log (/ -1 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* -1/2 g)) (log (/ -1 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 a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
Calls

6 calls:

TimeVariablePointExpression
56.0ms
g
@0
((cbrt (/ g (+ a a))) (/ g (+ a a)) g (+ a a) a (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) 2 (cbrt a))
55.0ms
a
@0
((cbrt (/ g (+ a a))) (/ g (+ a a)) g (+ a a) a (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) 2 (cbrt a))
46.0ms
a
@-inf
((cbrt (/ g (+ a a))) (/ g (+ a a)) g (+ a a) a (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) 2 (cbrt a))
31.0ms
g
@inf
((cbrt (/ g (+ a a))) (/ g (+ a a)) g (+ a a) a (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) 2 (cbrt a))
30.0ms
g
@-inf
((cbrt (/ g (+ a a))) (/ g (+ a a)) g (+ a a) a (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) 2 (cbrt a))

rewrite57.0ms (2.9%)

Memory
-10.3MiB live, 34.3MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0171653
1251649
2255649
3258649
4262649
5263649
6264649
0264577
0547577
1758576
2946576
31006576
41011576
Stop Event
1×saturated
1×iter limit
1×iter limit
1×unsound
1×saturated
Counts
53 → 88
Calls
Call 1
Inputs
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 g (+.f64 a a))
g
(+.f64 a a)
a
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64))
(log.f64 (/.f64 g (+.f64 a a)))
#s(literal 1/3 binary64)
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 g)
(cbrt.f64 (+.f64 a a))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(/.f64 g #s(literal 2 binary64))
#s(literal 2 binary64)
(cbrt.f64 a)
#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 g #s(hole binary64 g))
#s(approx (exp (* (log (/ g (+ a a))) 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log g) (log (/ 1/2 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log g) (log (/ 1/2 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 2)) (cbrt a)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt (/ g 2)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (/ g 2) #s(hole binary64 (* 1/2 g)))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (/ 1/2 a)) (* -1 (log (/ 1 g)))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (/ 1/2 a)) (* -1 (log (/ 1 g))))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (exp (* (log (/ g (+ a a))) 1/3)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (/ -1/2 a)) (* -1 (log (/ -1 g)))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (/ -1/2 a)) (* -1 (log (/ -1 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 2)) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (cbrt (/ g 2)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* 1/2 g)) (* -1 (log a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* 1/2 g)) (* -1 (log a)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* 1/2 g)) (log (/ 1 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* 1/2 g)) (log (/ 1 a)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (exp (* (log (/ g (+ a a))) 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* -1/2 g)) (log (/ -1 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* -1/2 g)) (log (/ -1 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 a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
Outputs
(+.f64 (cosh.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64))) (sinh.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64))))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 g (+.f64 a a)))) #s(literal 1/3 binary64))
(/.f64 g (+.f64 a a))
(/.f64 (neg.f64 g) (neg.f64 (+.f64 a a)))
g
(+.f64 a a)
(/.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (fma.f64 a a (-.f64 (*.f64 a a) (*.f64 a a))))
(/.f64 (-.f64 (*.f64 a a) (*.f64 a a)) (-.f64 a a))
(*.f64 a #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) a)
a
(+.f64 (cosh.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64))) (sinh.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64))))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 g (+.f64 a a)))) #s(literal 1/3 binary64))
(*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64))
(*.f64 #s(literal 1/3 binary64) (log.f64 (/.f64 g (+.f64 a a))))
(log.f64 (/.f64 g (+.f64 a a)))
(-.f64 (log.f64 g) (log.f64 (+.f64 a a)))
#s(literal 1/3 binary64)
(+.f64 (cosh.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64))) (sinh.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64))))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 g (+.f64 a a)))) #s(literal 1/3 binary64))
(cbrt.f64 g)
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 (+.f64 a a))
(pow.f64 (+.f64 a a) #s(literal 1/3 binary64))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 a))
(cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(pow.f64 (/.f64 g #s(literal 2 binary64)) #s(literal 1/3 binary64))
(/.f64 g #s(literal 2 binary64))
(/.f64 (neg.f64 g) #s(literal -2 binary64))
#s(literal 2 binary64)
(cbrt.f64 a)
(pow.f64 a #s(literal 1/3 binary64))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (/ g (+ a a)) (*.f64 (/.f64 g a) #s(literal 1/2 binary64)))
#s(approx g g)
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (* (log (/ g (+ a a))) 1/3) (*.f64 #s(literal 1/3 binary64) (log.f64 (*.f64 g (/.f64 #s(literal 1/2 binary64) a)))))
#s(approx (log (/ g (+ a a))) (log.f64 (*.f64 g (/.f64 #s(literal 1/2 binary64) a))))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (cbrt (/ g 2)) (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))))
#s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))
#s(approx (* (log (/ g (+ a a))) 1/3) (*.f64 #s(literal 1/3 binary64) (fma.f64 #s(literal -1 binary64) (neg.f64 (log.f64 g)) (log.f64 (/.f64 #s(literal 1/2 binary64) a)))))
#s(approx (log (/ g (+ a a))) (fma.f64 #s(literal -1 binary64) (neg.f64 (log.f64 g)) (log.f64 (/.f64 #s(literal 1/2 binary64) a))))
#s(approx (cbrt (/ g (+ a a))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt (/ g (+ a a))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (* (log (/ g (+ a a))) 1/3) (*.f64 #s(literal 1/3 binary64) (fma.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) g)) (log.f64 (/.f64 #s(literal -1/2 binary64) a)))))
#s(approx (log (/ g (+ a a))) (fma.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) g)) (log.f64 (/.f64 #s(literal -1/2 binary64) a))))
#s(approx (cbrt (/ g (+ a a))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt g) (neg.f64 (cbrt.f64 (*.f64 g #s(literal -1 binary64)))))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt (/ g 2)) (neg.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64)))))
#s(approx (+ a a) (+.f64 a a))
#s(approx a a)
#s(approx (* (log (/ g (+ a a))) 1/3) (*.f64 #s(literal 1/3 binary64) (log.f64 (*.f64 (*.f64 g #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) a)))))
#s(approx (log (/ g (+ a a))) (log.f64 (*.f64 (*.f64 g #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) a))))
#s(approx (cbrt (+ a a)) (cbrt.f64 (+.f64 a a)))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx (* (log (/ g (+ a a))) 1/3) (*.f64 #s(literal 1/3 binary64) (log.f64 (*.f64 (*.f64 g #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) a)))))
#s(approx (log (/ g (+ a a))) (log.f64 (*.f64 (*.f64 g #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) a))))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (* (log (/ g (+ a a))) 1/3) (*.f64 #s(literal 1/3 binary64) (log.f64 (*.f64 (*.f64 g #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) a)))))
#s(approx (log (/ g (+ a a))) (log.f64 (*.f64 (*.f64 g #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) a))))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (cbrt (+ a a)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal -2 binary64)))))
#s(approx (cbrt a) (neg.f64 (cbrt.f64 (*.f64 a #s(literal -1 binary64)))))

eval8.0ms (0.4%)

Memory
11.8MiB live, 11.8MiB allocated; 0ms collecting garbage
Compiler

Compiled 1 067 to 257 computations (75.9% saved)

prune5.0ms (0.3%)

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

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New95499
Fresh000
Picked134
Done000
Total967103
Accuracy
99.6%
Counts
103 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.2%
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
▶98.6%
(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))) (cbrt.f64 a))
▶98.2%
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
✓98.7%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
✓36.1%
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
✓77.9%
(cbrt.f64 (/.f64 g (+.f64 a a)))
▶76.9%
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64))))
Compiler

Compiled 65 to 58 computations (10.8% saved)

series65.0ms (3.3%)

Memory
-27.1MiB live, 67.6MiB allocated; 14ms collecting garbage
Counts
21 → 33
Calls
Call 1
Inputs
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
g
a
#s(literal 1 binary64)
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
(cbrt.f64 g)
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(cbrt.f64 a)
(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))) (cbrt.f64 a))
(cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64))))
#s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))
(*.f64 g #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
Outputs
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ (* (cbrt (/ g a)) 1) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (cbrt (/ g a))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ g a) #s(hole binary64 (/ g a)))
#s(approx g #s(hole binary64 g))
#s(approx (/ (cbrt g) (* (cbrt a) (cbrt 2))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt (/ g 2)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (/ g 2) #s(hole binary64 (* 1/2 g)))
#s(approx (* g 1/2) #s(hole binary64 (* 1/2 g)))
#s(approx (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (/ (cbrt g) (cbrt 2)) #s(hole binary64 (* (cbrt g) (/ 1 (cbrt 2)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ (cbrt g) (* (cbrt a) (cbrt 2))) #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 2)) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (cbrt (/ g 2)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (/ (cbrt g) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt g) (/ (cbrt -1) (cbrt 2))))))
#s(approx a #s(hole binary64 a))
#s(approx (* (cbrt a) (cbrt 2)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
#s(approx (* (cbrt a) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt a) (* (cbrt -1) (cbrt 2))))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
Calls

6 calls:

TimeVariablePointExpression
29.0ms
g
@0
((cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (cbrt 2)) (* (cbrt (/ g a)) 1) (cbrt (/ g a)) (/ g a) g a 1 (cbrt 2) 2 (/ (cbrt g) (* (cbrt a) (cbrt 2))) (cbrt g) (* (cbrt a) (cbrt 2)) (cbrt a) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (* g 1/2) 1/2 (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)))
10.0ms
a
@-inf
((cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (cbrt 2)) (* (cbrt (/ g a)) 1) (cbrt (/ g a)) (/ g a) g a 1 (cbrt 2) 2 (/ (cbrt g) (* (cbrt a) (cbrt 2))) (cbrt g) (* (cbrt a) (cbrt 2)) (cbrt a) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (* g 1/2) 1/2 (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)))
8.0ms
g
@-inf
((cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (cbrt 2)) (* (cbrt (/ g a)) 1) (cbrt (/ g a)) (/ g a) g a 1 (cbrt 2) 2 (/ (cbrt g) (* (cbrt a) (cbrt 2))) (cbrt g) (* (cbrt a) (cbrt 2)) (cbrt a) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (* g 1/2) 1/2 (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)))
6.0ms
a
@inf
((cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (cbrt 2)) (* (cbrt (/ g a)) 1) (cbrt (/ g a)) (/ g a) g a 1 (cbrt 2) 2 (/ (cbrt g) (* (cbrt a) (cbrt 2))) (cbrt g) (* (cbrt a) (cbrt 2)) (cbrt a) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (* g 1/2) 1/2 (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)))
6.0ms
g
@inf
((cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (cbrt 2)) (* (cbrt (/ g a)) 1) (cbrt (/ g a)) (/ g a) g a 1 (cbrt 2) 2 (/ (cbrt g) (* (cbrt a) (cbrt 2))) (cbrt g) (* (cbrt a) (cbrt 2)) (cbrt a) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (* g 1/2) 1/2 (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)))

rewrite41.0ms (2.1%)

Memory
28.8MiB live, 28.8MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0136601
1212595
2217589
3222589
4227589
5230589
6232589
0232491
0386489
1480470
2552470
3562470
4563470
Stop Event
1×saturated
1×iter limit
1×iter limit
1×unsound
1×saturated
Counts
54 → 99
Calls
Call 1
Inputs
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
g
a
#s(literal 1 binary64)
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
(cbrt.f64 g)
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(cbrt.f64 a)
(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))) (cbrt.f64 a))
(cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64))))
#s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))
(*.f64 g #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ (* (cbrt (/ g a)) 1) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (cbrt (/ g a))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ g a) #s(hole binary64 (/ g a)))
#s(approx g #s(hole binary64 g))
#s(approx (/ (cbrt g) (* (cbrt a) (cbrt 2))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt (/ g 2)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (/ g 2) #s(hole binary64 (* 1/2 g)))
#s(approx (* g 1/2) #s(hole binary64 (* 1/2 g)))
#s(approx (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (/ (cbrt g) (cbrt 2)) #s(hole binary64 (* (cbrt g) (/ 1 (cbrt 2)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ (cbrt g) (* (cbrt a) (cbrt 2))) #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 2)) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (cbrt (/ g 2)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (/ (cbrt g) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt g) (/ (cbrt -1) (cbrt 2))))))
#s(approx a #s(hole binary64 a))
#s(approx (* (cbrt a) (cbrt 2)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
#s(approx (* (cbrt a) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt a) (* (cbrt -1) (cbrt 2))))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
Outputs
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a)))
(cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 (/.f64 g a)))
(cbrt.f64 (/.f64 g a))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(pow.f64 (/.f64 g a) #s(literal 1/3 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64))
(cbrt.f64 (/.f64 g a))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(pow.f64 (/.f64 g a) #s(literal 1/3 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64))
(/.f64 g a)
(/.f64 (neg.f64 g) (neg.f64 a))
g
a
#s(literal 1 binary64)
(cbrt.f64 #s(literal 2 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
#s(literal 2 binary64)
(cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 (/.f64 g a)))
(cbrt.f64 g)
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 (*.f64 a #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 a))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(cbrt.f64 a)
(pow.f64 a #s(literal 1/3 binary64))
(cbrt.f64 (/.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64))) a))
(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))) (cbrt.f64 a))
(/.f64 (neg.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64))))) (neg.f64 (cbrt.f64 a)))
(cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64))))
(pow.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64))) #s(literal 1/3 binary64))
#s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))
(*.f64 g #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) g)
#s(literal 1/2 binary64)
(cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 (/.f64 g a)))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(pow.f64 (/.f64 g #s(literal 2 binary64)) #s(literal 1/3 binary64))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a)))
#s(approx (* (cbrt (/ g a)) 1) (cbrt.f64 (/.f64 g a)))
#s(approx (* (cbrt (/ g a)) 1) (cbrt.f64 (/.f64 g a)))
#s(approx (/ g a) (/.f64 g a))
#s(approx g g)
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a)))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (cbrt (/ g 2)) (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))))
#s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))
#s(approx (* g 1/2) (*.f64 g #s(literal 1/2 binary64)))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a)))
#s(approx (cbrt (/ g 2)) (/.f64 (*.f64 (cbrt.f64 g) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (cbrt (/ g (+ a a))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (* (cbrt (/ g a)) 1) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)))))
#s(approx (* (cbrt (/ g a)) 1) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)))))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt g) (neg.f64 (cbrt.f64 (*.f64 g #s(literal -1 binary64)))))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt (/ g 2)) (neg.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64)))))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt (/ g 2)) (neg.f64 (cbrt.f64 (*.f64 g #s(literal -1/2 binary64)))))
#s(approx a a)
#s(approx (* (cbrt a) (cbrt 2)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (/ (cbrt (/ g 2)) (cbrt a)) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (* (cbrt (/ g a)) 1) (*.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (* (cbrt (/ g a)) 1) (*.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (* (cbrt a) (cbrt 2)) (neg.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64)))))
#s(approx (cbrt a) (neg.f64 (cbrt.f64 (*.f64 a #s(literal -1 binary64)))))

eval17.0ms (0.9%)

Memory
-29.4MiB live, 16.3MiB allocated; 3ms collecting garbage
Compiler

Compiled 1 225 to 227 computations (81.5% saved)

prune7.0ms (0.3%)

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

11 alts after pruning (5 fresh and 6 done)

PrunedKeptTotal
New90595
Fresh000
Picked134
Done033
Total9111102
Accuracy
99.7%
Counts
102 → 11
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.7%
(/.f64 (/.f64 (cbrt.f64 g) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))) (cbrt.f64 a))
✓98.2%
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
✓98.6%
(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))) (cbrt.f64 a))
▶98.7%
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
✓98.2%
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
✓98.7%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
✓36.1%
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
✓77.9%
(cbrt.f64 (/.f64 g (+.f64 a a)))
▶98.2%
#s(approx (cbrt (/ g (+ a a))) (/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64))))
▶77.5%
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
▶76.9%
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))
Compiler

Compiled 177 to 155 computations (12.4% saved)

series47.0ms (2.4%)

Memory
8.3MiB live, 55.0MiB allocated; 1ms collecting garbage
Counts
23 → 34
Calls
Call 1
Inputs
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
(cbrt.f64 g)
g
(*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
(cbrt.f64 a)
a
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
#s(literal 2 binary64)
#s(literal 1/3 binary64)
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #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 (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
(/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
(*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (cbrt (/ g (+ a a))) (/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(/.f64 (/.f64 (cbrt.f64 g) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
Outputs
#s(approx (/ (cbrt g) (* (cbrt a) (pow 2 1/3))) #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 (/ (cbrt (/ g a)) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 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 a)) 1) (pow 2 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (/ (cbrt g) (cbrt a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ (/ (cbrt g) (pow 2 1/3)) (cbrt a)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (/ (cbrt g) (pow 2 1/3)) #s(hole binary64 (* (cbrt g) (/ 1 (cbrt 2)))))
#s(approx (/ (cbrt g) (* (cbrt a) (pow 2 1/3))) #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 a)) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (/ (cbrt g) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ (/ (cbrt g) (pow 2 1/3)) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (/ (cbrt g) (pow 2 1/3)) #s(hole binary64 (* -1 (* (cbrt g) (/ (cbrt -1) (cbrt 2))))))
#s(approx (* (cbrt a) (pow 2 1/3)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (* (cbrt a) (pow 2 1/3)) #s(hole binary64 (* -1 (* (cbrt a) (* (cbrt -1) (cbrt 2))))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/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))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
Calls

6 calls:

TimeVariablePointExpression
18.0ms
g
@-inf
((/ (cbrt g) (* (cbrt a) (pow 2 1/3))) (cbrt g) g (* (cbrt a) (pow 2 1/3)) (cbrt a) a (pow 2 1/3) 2 1/3 (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2) (cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (* (cbrt (/ g a)) 1) 1 (cbrt (/ g (+ a a))) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (/ (/ (cbrt g) (pow 2 1/3)) (cbrt a)) (/ (cbrt g) (pow 2 1/3)))
8.0ms
a
@-inf
((/ (cbrt g) (* (cbrt a) (pow 2 1/3))) (cbrt g) g (* (cbrt a) (pow 2 1/3)) (cbrt a) a (pow 2 1/3) 2 1/3 (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2) (cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (* (cbrt (/ g a)) 1) 1 (cbrt (/ g (+ a a))) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (/ (/ (cbrt g) (pow 2 1/3)) (cbrt a)) (/ (cbrt g) (pow 2 1/3)))
5.0ms
g
@inf
((/ (cbrt g) (* (cbrt a) (pow 2 1/3))) (cbrt g) g (* (cbrt a) (pow 2 1/3)) (cbrt a) a (pow 2 1/3) 2 1/3 (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2) (cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (* (cbrt (/ g a)) 1) 1 (cbrt (/ g (+ a a))) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (/ (/ (cbrt g) (pow 2 1/3)) (cbrt a)) (/ (cbrt g) (pow 2 1/3)))
5.0ms
a
@inf
((/ (cbrt g) (* (cbrt a) (pow 2 1/3))) (cbrt g) g (* (cbrt a) (pow 2 1/3)) (cbrt a) a (pow 2 1/3) 2 1/3 (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2) (cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (* (cbrt (/ g a)) 1) 1 (cbrt (/ g (+ a a))) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (/ (/ (cbrt g) (pow 2 1/3)) (cbrt a)) (/ (cbrt g) (pow 2 1/3)))
5.0ms
g
@0
((/ (cbrt g) (* (cbrt a) (pow 2 1/3))) (cbrt g) g (* (cbrt a) (pow 2 1/3)) (cbrt a) a (pow 2 1/3) 2 1/3 (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt (/ g a)) (/ g a) (cbrt 2) (cbrt (/ g (+ a a))) (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (* (cbrt (/ g a)) 1) 1 (cbrt (/ g (+ a a))) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (/ (/ (cbrt g) (pow 2 1/3)) (cbrt a)) (/ (cbrt g) (pow 2 1/3)))

rewrite160.0ms (8.1%)

Memory
-12.2MiB live, 32.9MiB allocated; 200ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
013447244640711
121247244640705
221747244640699
322247244640699
422747244640699
523247244640699
623447244640699
0234549
0378549
1462532
2533532
3543532
4544532
Stop Event
1×saturated
1×iter limit
1×iter limit
1×unsound
1×saturated
Counts
57 → 124
Calls
Call 1
Inputs
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
(cbrt.f64 g)
g
(*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
(cbrt.f64 a)
a
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
#s(literal 2 binary64)
#s(literal 1/3 binary64)
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #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 (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
(/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
(*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (cbrt (/ g (+ a a))) (/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(/.f64 (/.f64 (cbrt.f64 g) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
#s(approx (/ (cbrt g) (* (cbrt a) (pow 2 1/3))) #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 (/ (cbrt (/ g a)) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 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 a)) 1) (pow 2 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (/ (cbrt g) (cbrt a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ (/ (cbrt g) (pow 2 1/3)) (cbrt a)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (/ (cbrt g) (pow 2 1/3)) #s(hole binary64 (* (cbrt g) (/ 1 (cbrt 2)))))
#s(approx (/ (cbrt g) (* (cbrt a) (pow 2 1/3))) #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 a)) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (/ (cbrt g) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (/ (/ (cbrt g) (pow 2 1/3)) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (/ (cbrt g) (pow 2 1/3)) #s(hole binary64 (* -1 (* (cbrt g) (/ (cbrt -1) (cbrt 2))))))
#s(approx (* (cbrt a) (pow 2 1/3)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (* (cbrt a) (pow 2 1/3)) #s(hole binary64 (* -1 (* (cbrt a) (* (cbrt -1) (cbrt 2))))))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/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))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))))
#s(approx (* (cbrt (/ g a)) 1) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
Outputs
(cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 (/.f64 g a)))
(cbrt.f64 g)
(pow.f64 g #s(literal 1/3 binary64))
g
(cbrt.f64 (*.f64 a #s(literal 2 binary64)))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 a))
(cbrt.f64 a)
(pow.f64 a #s(literal 1/3 binary64))
a
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/3 binary64)))
(cbrt.f64 #s(literal 2 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/6 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/6 binary64)))
#s(literal 2 binary64)
#s(literal 1/3 binary64)
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
(cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 (/.f64 g a)))
(cbrt.f64 (/.f64 g a))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(pow.f64 (/.f64 g a) #s(literal 1/3 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64))
(/.f64 g a)
(/.f64 (neg.f64 g) (neg.f64 a))
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/3 binary64)))
(cbrt.f64 #s(literal 2 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/6 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/6 binary64)))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
(cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 (/.f64 g a)))
(cbrt.f64 (/.f64 g a))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(pow.f64 (/.f64 g a) #s(literal 1/3 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
(cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 (/.f64 g a)))
(cbrt.f64 (/.f64 g a))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(pow.f64 (/.f64 g a) #s(literal 1/3 binary64))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64))
(cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (neg.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 (/.f64 g a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx g g)
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
#s(approx (/ (cbrt g) (cbrt a)) (cbrt.f64 (/.f64 g a)))
#s(approx (/ g a) (/.f64 g a))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
#s(approx (/ (cbrt g) (cbrt a)) (cbrt.f64 (/.f64 g a)))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
#s(approx (/ (cbrt g) (cbrt a)) (cbrt.f64 (/.f64 g a)))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
#s(approx (/ (cbrt g) (pow 2 1/3)) (/.f64 (*.f64 (cbrt.f64 g) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt g) (neg.f64 (cbrt.f64 (*.f64 g #s(literal -1 binary64)))))
#s(approx (cbrt (/ g (+ a a))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ (cbrt g) (cbrt a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ (cbrt g) (cbrt a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ (cbrt g) (cbrt a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ (cbrt g) (pow 2 1/3)) (neg.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64)))))
#s(approx (* (cbrt a) (pow 2 1/3)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx a a)
#s(approx (* (cbrt a) (pow 2 1/3)) (neg.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64)))))
#s(approx (cbrt a) (neg.f64 (cbrt.f64 (*.f64 a #s(literal -1 binary64)))))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)) (cbrt.f64 #s(literal 2 binary64)))))
#s(approx (/ (cbrt g) (cbrt a)) (*.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (/ (* (cbrt (/ g a)) 1) (pow 2 1/3)) (*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)) (cbrt.f64 #s(literal 2 binary64)))))
#s(approx (/ (cbrt g) (cbrt a)) (*.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))

eval10.0ms (0.5%)

Memory
17.6MiB live, 17.5MiB allocated; 0ms collecting garbage
Compiler

Compiled 1 608 to 260 computations (83.8% saved)

prune16.0ms (0.8%)

Memory
-39.3MiB live, 16.3MiB allocated; 14ms collecting garbage
Pruning

13 alts after pruning (2 fresh and 11 done)

PrunedKeptTotal
New1112113
Fresh000
Picked055
Done066
Total11113124
Accuracy
99.8%
Counts
124 → 13
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.7%
(/.f64 (/.f64 (cbrt.f64 g) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))) (cbrt.f64 a))
✓98.2%
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
✓98.6%
(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))) (cbrt.f64 a))
✓98.7%
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
✓98.2%
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
✓98.7%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
98.7%
(/.f64 #s(approx (/ (cbrt g) (pow 2 1/3)) (neg.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64))))) (cbrt.f64 a))
✓36.1%
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
✓77.9%
(cbrt.f64 (/.f64 g (+.f64 a a)))
✓98.2%
#s(approx (cbrt (/ g (+ a a))) (/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64))))
98.7%
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) #s(literal 1 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
✓77.5%
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
✓76.9%
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))
Compiler

Compiled 323 to 196 computations (39.3% saved)

regimes23.0ms (1.2%)

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

5 calls:

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

Compiled 16 to 19 computations (-18.8% saved)

regimes22.0ms (1.1%)

Memory
-24.3MiB live, 22.2MiB allocated; 2ms collecting garbage
Counts
11 → 1
Calls
Call 1
Inputs
(cbrt.f64 (/.f64 g (+.f64 a a)))
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 g #s(literal 1/2 binary64)))) (cbrt.f64 a))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 (/.f64 g a)) #s(literal 1 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
Outputs
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
Calls

5 calls:

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

Compiled 16 to 19 computations (-18.8% saved)

regimes7.0ms (0.3%)

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

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Stop Event
1×fuel
Counts
2 → 1
Calls
Call 1
Inputs
(cbrt.f64 (/.f64 g (+.f64 a a)))
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
Outputs
(cbrt.f64 (/.f64 g (+.f64 a a)))
Calls

5 calls:

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

Compiled 45 to 39 computations (13.3% saved)

preprocess17.0ms (0.9%)

Memory
22.9MiB live, 22.9MiB allocated; 0ms collecting garbage
Compiler

Compiled 70 to 52 computations (25.7% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...