2-ancestry mixing, zero discriminant

Time bar (total: 1.5s)

start0.0ms (0%)

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

analyze11.0ms (0.7%)

Memory
18.7MiB live, 18.7MiB 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)

sample652.0ms (43.4%)

Memory
-29.5MiB live, 704.7MiB allocated; 118ms collecting garbage
Samples
428.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 242.0ms
ival-mult!: 106.0ms (43.9% of total)
ival-div!: 81.0ms (33.5% of total)
ival-cbrt: 53.0ms (21.9% of total)
adjust: 1.0ms (0.4% of total)
Bogosity

preprocess181.0ms (12.1%)

Memory
-13.2MiB live, 33.4MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01838
17036
225436
371636
4179936
5767636
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
73.4%
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
Symmetry

(negabs g)

(negabs a)

Compiler

Compiled 12 to 12 computations (0% saved)

series40.0ms (2.6%)

Memory
13.2MiB live, 59.9MiB allocated; 2ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02656
Stop Event
iter-limit
Counts
6 → 6
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))) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a)))
#s(approx (/ g (* 2 a)) (*.f64 #s(literal 1/2 binary64) (/.f64 g a)))
#s(approx g g)
#s(approx (cbrt (/ g (* 2 a))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64))) (cbrt.f64 a))))
#s(approx (* 2 a) (*.f64 #s(literal 2 binary64) a))
#s(approx a a)
Calls

6 calls:

TimeVariablePoint
11.0ms
a
-inf
6.0ms
g
0
6.0ms
g
-inf
4.0ms
g
inf
4.0ms
a
inf

rewrite29.0ms (1.9%)

Memory
-0.3MiB live, 46.8MiB allocated; 2ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0617
0917
12717
014617
Stop Event
iter-limit
iter-limit
iter-limit
unsound
iter-limit
Counts
6 → 46
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
(*.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)))
(*.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 g) (pow.f64 (/.f64 #s(literal 1/2 binary64) a) #s(literal 1/3 binary64)))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(*.f64 (*.f64 g #s(literal 1/2 binary64)) (/.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 g (/.f64 #s(literal 1/2 binary64) a))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1 binary64))
(/.f64 (*.f64 g #s(literal 1 binary64)) (+.f64 a a))
(/.f64 (/.f64 g a) #s(literal 2 binary64))
(/.f64 (neg.f64 (*.f64 g #s(literal 1/2 binary64))) (neg.f64 a))
(/.f64 (neg.f64 (neg.f64 g)) (neg.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (+.f64 a a) g)))
(/.f64 (*.f64 g #s(literal 1/2 binary64)) a)
(/.f64 #s(literal 1 binary64) (/.f64 a (*.f64 g #s(literal 1/2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 a a) g) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g))
(/.f64 (neg.f64 g) (*.f64 #s(literal -2 binary64) a))
(/.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 (+.f64 #s(literal 1 binary64) (/.f64 a a)) a)
(*.f64 a #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) a)
(/.f64 (-.f64 (*.f64 a a) (*.f64 a a)) (-.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))))
(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

eval5.0ms (0.3%)

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

Compiled 426 to 160 computations (62.4% saved)

prune7.0ms (0.4%)

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

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New361248
Fresh000
Picked101
Done000
Total371249
Accuracy
99.8%
Counts
49 → 12
Alt Table
Click to see full alt table
StatusAccuracyProgram
68.6%
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
98.7%
(/.f64 (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))) (cbrt.f64 a))
98.8%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
98.7%
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
72.0%
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
98.7%
(*.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)))
29.8%
(cbrt.f64 (/.f64 g (/.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))))))
73.4%
(cbrt.f64 (/.f64 g (+.f64 a a)))
71.7%
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g)))
73.4%
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
98.6%
#s(approx (cbrt (/ g (* 2 a))) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a)))
Compiler

Compiled 220 to 182 computations (17.3% saved)

series79.0ms (5.2%)

Memory
-14.7MiB live, 130.2MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
063195
Stop Event
iter-limit
Counts
19 → 18
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))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
#s(literal 1/3 binary64)
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
#s(literal 1 binary64)
(cbrt.f64 (/.f64 (+.f64 a a) g))
(/.f64 (+.f64 a a) g)
(/.f64 (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))) (cbrt.f64 a))
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
(*.f64 g #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(cbrt.f64 a)
Outputs
#s(approx (/ (cbrt g) (cbrt (+ a a))) (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx g g)
#s(approx (cbrt (/ g (+ a a))) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a)))
#s(approx (/ g (+ a a)) (*.f64 #s(literal 1/2 binary64) (/.f64 g a)))
#s(approx (cbrt (/ (+ a a) g)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 g)))
#s(approx (/ (+ a a) g) (*.f64 #s(literal 2 binary64) (/.f64 a g)))
#s(approx (cbrt (* g 1/2)) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))))
#s(approx (* g 1/2) (*.f64 #s(literal 1/2 binary64) g))
#s(approx (cbrt (/ g (+ a a))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64))) (cbrt.f64 a))))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) (*.f64 #s(literal -1 binary64) (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))))))
#s(approx (cbrt (/ (+ a a) g)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))) (cbrt.f64 g))))
#s(approx (cbrt (* g 1/2)) (*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64)))))
#s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (+ a a) (*.f64 #s(literal 2 binary64) a))
#s(approx a a)
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx (cbrt (+ a a)) (*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64)))))
Calls

6 calls:

TimeVariablePoint
20.0ms
a
inf
19.0ms
g
0
11.0ms
g
-inf
10.0ms
a
0
9.0ms
a
-inf

rewrite23.0ms (1.5%)

Memory
-13.1MiB live, 33.5MiB allocated; 3ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01974
03369
010269
Stop Event
iter-limit
iter-limit
iter-limit
unsound
iter-limit
Counts
19 → 87
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))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
#s(literal 1/3 binary64)
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
#s(literal 1 binary64)
(cbrt.f64 (/.f64 (+.f64 a a) g))
(/.f64 (+.f64 a a) g)
(/.f64 (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))) (cbrt.f64 a))
(cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))
(*.f64 g #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(cbrt.f64 a)
Outputs
(*.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)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 (+.f64 a a) g))))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 g)
g
(pow.f64 (+.f64 a a) #s(literal 1/3 binary64))
(cbrt.f64 (+.f64 a a))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 a a)) a)
(*.f64 #s(literal 2 binary64) a)
(/.f64 (-.f64 (*.f64 a a) (*.f64 a a)) (-.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 a (neg.f64 a))
(+.f64 a a)
a
(*.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)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 (+.f64 a a) g))))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(*.f64 g (/.f64 #s(literal 1 binary64) (+.f64 a a)))
(/.f64 (neg.f64 g) (neg.f64 (+.f64 a a)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g))
(/.f64 g (+.f64 a a))
(*.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)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 (+.f64 a a) g))))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
#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)))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 (+.f64 a a) g))))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
#s(literal 1 binary64)
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64))
(/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g))
(cbrt.f64 (/.f64 (+.f64 a a) g))
(*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))
(/.f64 (neg.f64 (+.f64 a a)) (neg.f64 g))
(/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))
(/.f64 (+.f64 a a) g)
(+.f64 (/.f64 a g) (/.f64 a g))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(/.f64 (neg.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 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
(cbrt.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) g) a))
(*.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))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 #s(literal 1/2 binary64) g)
(*.f64 g #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(pow.f64 a #s(literal 1/3 binary64))
(cbrt.f64 a)

eval7.0ms (0.5%)

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

Compiled 856 to 233 computations (72.8% saved)

prune33.0ms (2.2%)

Memory
-30.0MiB live, 23.5MiB allocated; 10ms collecting garbage
Pruning

16 alts after pruning (11 fresh and 5 done)

PrunedKeptTotal
New72678
Fresh257
Picked055
Done000
Total741690
Accuracy
99.8%
Counts
90 → 16
Alt Table
Click to see full alt table
StatusAccuracyProgram
68.6%
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
98.6%
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
98.7%
(/.f64 (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))) (cbrt.f64 a))
98.8%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
98.3%
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
98.7%
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
98.7%
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
72.0%
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
72.0%
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
98.3%
(/.f64 #s(literal 1 binary64) #s(approx (cbrt (/ (+ a a) g)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 g))))
98.7%
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
98.7%
(*.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)))
73.4%
(cbrt.f64 (/.f64 g (+.f64 a a)))
71.7%
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g)))
73.4%
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
Compiler

Compiled 245 to 221 computations (9.8% saved)

series77.0ms (5.1%)

Memory
22.5MiB live, 116.5MiB allocated; 5ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079290
Stop Event
iter-limit
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
(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)
#s(literal 1/2 binary64)
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
(cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g)))
(*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))
(/.f64 #s(literal 1 binary64) g)
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 #s(literal 1/2 binary64) g)
(/.f64 #s(literal 1 binary64) (cbrt.f64 a))
(cbrt.f64 a)
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
(/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
Outputs
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx g g)
#s(approx (cbrt (* (/ 1/2 a) g)) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a)))
#s(approx (* (/ 1/2 a) g) (*.f64 #s(literal 1/2 binary64) (/.f64 g a)))
#s(approx (cbrt (* (+ a a) (/ 1 g))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 g)))
#s(approx (* (+ a a) (/ 1 g)) (*.f64 #s(literal 2 binary64) (/.f64 a g)))
#s(approx (/ 1 g) (/.f64 #s(literal 1 binary64) g))
#s(approx (cbrt (* 1/2 g)) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))))
#s(approx (* 1/2 g) (*.f64 #s(literal 1/2 binary64) g))
#s(approx (/ (cbrt a) (cbrt (* 1/2 g))) (/.f64 (cbrt.f64 a) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))))
#s(approx (cbrt (* (/ 1/2 a) g)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64))) (cbrt.f64 a))))
#s(approx (/ 1 (cbrt (* (+ a a) (/ 1 g)))) (*.f64 #s(literal -1 binary64) (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))))))
#s(approx (cbrt (* (+ a a) (/ 1 g))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))) (cbrt.f64 g))))
#s(approx (cbrt (* 1/2 g)) (*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64)))))
#s(approx (/ (cbrt a) (cbrt (* 1/2 g))) (*.f64 #s(literal -1 binary64) (/.f64 (cbrt.f64 a) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64))))))
#s(approx (/ 1 (cbrt (+ a a))) (/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
#s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (+ a a) (*.f64 #s(literal 2 binary64) a))
#s(approx a a)
#s(approx (/ 1/2 a) (/.f64 #s(literal 1/2 binary64) a))
#s(approx (/ 1 (cbrt a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx (/ 1 (cbrt (+ a a))) (/.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64)))))
#s(approx (cbrt (+ a a)) (*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64)))))
Calls

6 calls:

TimeVariablePoint
27.0ms
a
inf
17.0ms
g
-inf
9.0ms
a
-inf
7.0ms
a
0
7.0ms
g
inf

rewrite27.0ms (1.8%)

Memory
-6.8MiB live, 39.7MiB allocated; 3ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
023108
04295
013595
Stop Event
iter-limit
iter-limit
iter-limit
unsound
iter-limit
Counts
23 → 85
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
(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)
#s(literal 1/2 binary64)
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
(cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g)))
(*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))
(/.f64 #s(literal 1 binary64) g)
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 #s(literal 1/2 binary64) g)
(/.f64 #s(literal 1 binary64) (cbrt.f64 a))
(cbrt.f64 a)
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
(/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
Outputs
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (cbrt.f64 g))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 1 binary64)) (cbrt.f64 (+.f64 a a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 g)
g
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(pow.f64 (cbrt.f64 (+.f64 a a)) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a)))
#s(literal 1 binary64)
(pow.f64 (+.f64 a a) #s(literal 1/3 binary64))
(cbrt.f64 (+.f64 a a))
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 a a)) a)
(/.f64 (-.f64 (*.f64 a a) (*.f64 a a)) (-.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 a (neg.f64 a))
(+.f64 a a)
a
(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
(pow.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g) #s(literal 1/3 binary64))
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
(*.f64 (/.f64 #s(literal 1/2 binary64) a) g)
(*.f64 g (/.f64 #s(literal 1/2 binary64) a))
(/.f64 (*.f64 #s(literal 1/2 binary64) g) a)
(*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) a))
(/.f64 #s(literal -1/2 binary64) (neg.f64 a))
(/.f64 #s(literal 1/2 binary64) a)
(/.f64 #s(literal 1 binary64) (/.f64 a #s(literal 1/2 binary64)))
#s(literal 1/2 binary64)
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g))))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 (+.f64 a a) g))))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (/.f64 #s(literal 1 binary64) g)))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64))
(cbrt.f64 (/.f64 (+.f64 a a) g))
(*.f64 (/.f64 #s(literal 1 binary64) g) (+.f64 a a))
(*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))
(/.f64 (*.f64 (+.f64 a a) #s(literal 1 binary64)) g)
(/.f64 (+.f64 a a) g)
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) g))
(pow.f64 g #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 g))
(/.f64 #s(literal 1 binary64) (/.f64 g #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) g)
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 a)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g)))))
(pow.f64 (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g))) #s(literal -1 binary64))
(/.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64)) (cbrt.f64 a))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g)))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g))))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g))
(pow.f64 (*.f64 #s(literal 1/2 binary64) g) #s(literal 1/3 binary64))
(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
(*.f64 #s(literal 1/2 binary64) g)
(*.f64 g #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(pow.f64 (cbrt.f64 a) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 a)))
(/.f64 #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))
(cbrt.f64 a)
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 a)) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g)))))
(pow.f64 (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g))) #s(literal -1 binary64))
(/.f64 (*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) #s(literal 1 binary64)) (cbrt.f64 a))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g)))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g))))
(*.f64 (cbrt.f64 a) (/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
(/.f64 (neg.f64 (cbrt.f64 a)) (neg.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
(/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g)))))
(cbrt.f64 (/.f64 a (*.f64 #s(literal 1/2 binary64) g)))

eval14.0ms (0.9%)

Memory
-0.7MiB live, 47.5MiB allocated; 4ms collecting garbage
Compiler

Compiled 1 176 to 329 computations (72% saved)

prune10.0ms (0.7%)

Memory
-9.4MiB live, 38.1MiB allocated; 1ms collecting garbage
Pruning

20 alts after pruning (10 fresh and 10 done)

PrunedKeptTotal
New94599
Fresh156
Picked055
Done055
Total9520115
Accuracy
99.9%
Counts
115 → 20
Alt Table
Click to see full alt table
StatusAccuracyProgram
68.6%
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
98.6%
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
98.7%
(/.f64 (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))) (cbrt.f64 a))
98.8%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
98.3%
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
98.7%
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
98.7%
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
98.7%
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (/.f64 #s(literal 1 binary64) g))))
98.7%
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 a) (/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))))
72.0%
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
72.0%
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
98.3%
(/.f64 #s(literal 1 binary64) #s(approx (cbrt (/ (+ a a) g)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 g))))
98.7%
(*.f64 (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
98.7%
(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
98.7%
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
98.7%
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
98.3%
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))))
73.4%
(cbrt.f64 (/.f64 g (+.f64 a a)))
71.7%
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g)))
73.4%
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
Compiler

Compiled 296 to 265 computations (10.5% saved)

series50.0ms (3.3%)

Memory
-6.2MiB live, 185.0MiB allocated; 5ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
065221
Stop Event
iter-limit
Counts
23 → 19
Calls
Call 1
Inputs
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
#s(literal 1 binary64)
(/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g))
(cbrt.f64 (+.f64 a a))
(+.f64 a a)
a
(cbrt.f64 g)
g
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g))
(/.f64 (+.f64 a a) g)
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (/.f64 #s(literal 1 binary64) g))))
(*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (/.f64 #s(literal 1 binary64) g)))
(cbrt.f64 (/.f64 #s(literal 1 binary64) g))
(/.f64 #s(literal 1 binary64) g)
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
#s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(cbrt.f64 a)
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))))
(/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
Outputs
#s(approx (/ 1 (/ (cbrt (+ a a)) (cbrt g))) (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
#s(approx (/ (cbrt (+ a a)) (cbrt g)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 g)))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx g g)
#s(approx (cbrt (/ 1 (/ (+ a a) g))) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a)))
#s(approx (/ 1 (/ (+ a a) g)) (*.f64 #s(literal 1/2 binary64) (/.f64 g a)))
#s(approx (/ (+ a a) g) (*.f64 #s(literal 2 binary64) (/.f64 a g)))
#s(approx (cbrt (/ 1 g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 g)))
#s(approx (/ 1 g) (/.f64 #s(literal 1 binary64) g))
#s(approx (cbrt (/ 1 (/ (+ a a) g))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal -1/2 binary64))) (cbrt.f64 a))))
#s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (+ a a) (*.f64 #s(literal 2 binary64) a))
#s(approx a a)
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx (/ 1 (cbrt (+ a a))) (/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
#s(approx (/ 1 (/ (cbrt (+ a a)) (cbrt g))) (*.f64 #s(literal -1 binary64) (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))))))
#s(approx (/ (cbrt (+ a a)) (cbrt g)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))) (cbrt.f64 g))))
#s(approx (cbrt (+ a a)) (*.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64)))))
#s(approx (/ 1 (cbrt (+ a a))) (/.f64 #s(literal -1 binary64) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64)))))
Calls

6 calls:

TimeVariablePoint
8.0ms
a
-inf
8.0ms
a
inf
7.0ms
a
0
7.0ms
g
inf
7.0ms
g
-inf

rewrite28.0ms (1.9%)

Memory
22.8MiB live, 70.3MiB allocated; 1ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
025135
043112
0132112
Stop Event
iter-limit
iter-limit
iter-limit
unsound
iter-limit
Counts
23 → 101
Calls
Call 1
Inputs
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
#s(literal 1 binary64)
(/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g))
(cbrt.f64 (+.f64 a a))
(+.f64 a a)
a
(cbrt.f64 g)
g
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g))
(/.f64 (+.f64 a a) g)
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (/.f64 #s(literal 1 binary64) g))))
(*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (/.f64 #s(literal 1 binary64) g)))
(cbrt.f64 (/.f64 #s(literal 1 binary64) g))
(/.f64 #s(literal 1 binary64) g)
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
#s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(cbrt.f64 a)
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))))
(/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
Outputs
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (/.f64 #s(literal 1 binary64) (cbrt.f64 g)))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 (+.f64 a a) g))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
#s(literal 1 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 g)) (cbrt.f64 (+.f64 a a)))
(*.f64 (cbrt.f64 (+.f64 a a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 g)))
(/.f64 (neg.f64 (cbrt.f64 (+.f64 a a))) (neg.f64 (cbrt.f64 g)))
(/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(cbrt.f64 (/.f64 (+.f64 a a) g))
(pow.f64 (+.f64 a a) #s(literal 1/3 binary64))
(cbrt.f64 (+.f64 a a))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 a a)) a)
(*.f64 #s(literal 2 binary64) a)
(/.f64 (-.f64 (*.f64 a a) (*.f64 a a)) (-.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 a (neg.f64 a))
(+.f64 a a)
a
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 g)
g
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (/.f64 #s(literal 1 binary64) (cbrt.f64 g)))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 (+.f64 a a) g))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 a a)) g)
(*.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (+.f64 a a) g)))
(/.f64 g (+.f64 a a))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 a a) g) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g))
(*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))
(/.f64 (neg.f64 (+.f64 a a)) (neg.f64 g))
(/.f64 (+.f64 a a) g)
(/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))
(+.f64 (/.f64 a g) (/.f64 a g))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (cbrt.f64 g))
(*.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (/.f64 #s(literal 1 binary64) (cbrt.f64 g)))
(/.f64 #s(literal -1 binary64) (neg.f64 (cbrt.f64 (/.f64 (+.f64 a a) g))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 g)) (cbrt.f64 (+.f64 a a)))
(*.f64 (cbrt.f64 (+.f64 a a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 g)))
(/.f64 (neg.f64 (cbrt.f64 (+.f64 a a))) (neg.f64 (cbrt.f64 g)))
(/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(cbrt.f64 (/.f64 (+.f64 a a) g))
(pow.f64 (/.f64 #s(literal 1 binary64) g) #s(literal 1/3 binary64))
(/.f64 #s(literal 1 binary64) (cbrt.f64 g))
(cbrt.f64 (/.f64 #s(literal 1 binary64) g))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) g))
(pow.f64 g #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 g))
(/.f64 #s(literal 1 binary64) (/.f64 g #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) g)
(*.f64 (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))) (cbrt.f64 g))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 1 binary64)) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))))
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64)))) (cbrt.f64 g)))
#s(approx (cbrt (+ a a)) (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 (*.f64 a #s(literal 2 binary64)))
(pow.f64 a #s(literal 1/3 binary64))
(cbrt.f64 a)
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))) (cbrt.f64 g))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 1 binary64)) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))))
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64)))) (cbrt.f64 g)))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))))
(pow.f64 #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64)))) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64)))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (cbrt.f64 (*.f64 a #s(literal 2 binary64)))))

eval9.0ms (0.6%)

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

Compiled 1 367 to 311 computations (77.2% saved)

prune26.0ms (1.7%)

Memory
-23.3MiB live, 23.7MiB allocated; 2ms collecting garbage
Pruning

24 alts after pruning (9 fresh and 15 done)

PrunedKeptTotal
New955100
Fresh145
Picked055
Done01010
Total9624120
Accuracy
99.9%
Counts
120 → 24
Alt Table
Click to see full alt table
StatusAccuracyProgram
68.6%
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
98.6%
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
98.7%
(/.f64 (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))) (cbrt.f64 a))
98.8%
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
98.8%
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))))
98.3%
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))))
98.7%
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
98.7%
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
73.4%
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
98.7%
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 g)) (cbrt.f64 (+.f64 a a))))
98.7%
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (pow.f64 g #s(literal -1 binary64)))))
98.7%
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (/.f64 #s(literal 1 binary64) g))))
98.7%
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 a) (/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))))
98.4%
(/.f64 #s(literal 1 binary64) (*.f64 #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))) (cbrt.f64 (/.f64 #s(literal 1 binary64) g))))
72.0%
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
72.0%
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
98.7%
(*.f64 (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
98.7%
(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
98.7%
(*.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
98.7%
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
98.3%
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))))
73.4%
(cbrt.f64 (/.f64 g (+.f64 a a)))
71.7%
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g)))
73.4%
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
Compiler

Compiled 233 to 207 computations (11.2% saved)

regimes130.0ms (8.7%)

Memory
-15.7MiB live, 221.0MiB allocated; 26ms collecting garbage
Accuracy

Total -4.1b remaining (-22.1%)

Threshold costs -4.1b (-22.1%)

Counts
8 → 1
22 → 1
29 → 1
Calls
Call 1
Inputs
(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)))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
Outputs
(cbrt.f64 (/.f64 g (+.f64 a a)))
Call 2
Inputs
(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)))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
(/.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 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
(/.f64 (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))) (cbrt.f64 a))
(*.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) (cbrt.f64 a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (/.f64 #s(literal 1 binary64) g))))
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 g)) (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 a) (/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))))
#s(approx (cbrt (/ g (* 2 a))) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.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))
Outputs
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
Call 3
Inputs
(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)))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
(/.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 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
(/.f64 (cbrt.f64 (*.f64 g #s(literal 1/2 binary64))) (cbrt.f64 a))
(*.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) (cbrt.f64 a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))))
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (/.f64 #s(literal 1 binary64) g))))
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 g)) (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 a) (/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)))))
#s(approx (cbrt (/ g (* 2 a))) (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.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 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))))
(*.f64 (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(/.f64 #s(literal 1 binary64) #s(approx (cbrt (/ (+ a a) g)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 g))))
(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 (pow.f64 g #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (*.f64 #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))) (cbrt.f64 (/.f64 #s(literal 1 binary64) g))))
(cbrt.f64 (/.f64 g (/.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))))))
Outputs
(/.f64 (cbrt.f64 g) #s(approx (cbrt (+ a a)) (*.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))))
Calls

15 calls:

27.0ms
a
19.0ms
(/.f64 g (*.f64 #s(literal 2 binary64) a))
11.0ms
a
10.0ms
(/.f64 g (*.f64 #s(literal 2 binary64) a))
9.0ms
(*.f64 #s(literal 2 binary64) a)
Results
AccuracySegmentsBranch
73.4%1(/.f64 g (*.f64 #s(literal 2 binary64) a))
73.4%1(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
73.4%1(*.f64 #s(literal 2 binary64) a)
73.4%1g
73.4%1a
98.8%1(*.f64 #s(literal 2 binary64) a)
98.8%1(/.f64 g (*.f64 #s(literal 2 binary64) a))
98.8%1(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
98.8%1g
98.8%1a
98.8%1(*.f64 #s(literal 2 binary64) a)
98.8%1(/.f64 g (*.f64 #s(literal 2 binary64) a))
98.8%1(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
98.8%1g
98.8%1a
Compiler

Compiled 347 to 156 computations (55% saved)

derivations3.0ms (0.2%)

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

Compiled 27 to 17 computations (37% saved)

preprocess65.0ms (4.3%)

Memory
19.1MiB live, 110.7MiB allocated; 9ms collecting garbage
Remove

(negabs a)

(negabs g)

Compiler

Compiled 141 to 115 computations (18.4% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...