Metrics for 2-ancestry mixing, zero discriminant

start0.0ms (0%)

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

analyze22.0ms (1.6%)

Memory

-22.0MiB live, 21.1MiB allocated; 11ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
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)

sample658.0ms (47.8%)

Memory

25.8MiB live, 751.2MiB allocated; 248ms collecting garbage

Samples

384.0ms

8 256×

valid

Precisions

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

ival-mult!: 90.0ms (45.3% of total)

ival-cbrt: 55.0ms (27.7% of total)

ival-div!: 53.0ms (26.7% of total)

adjust: 1.0ms (0.5% of total)

Bogosity

preprocess53.0ms (3.9%)

Memory

-45.7MiB live, 53.4MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	42
1	66	38
2	250	38
3	762	38
4	2185	38

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	73.3%	(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))

Compiler

Compiled 12 to 12 computations (0% saved)

series26.0ms (1.9%)

Memory

42.1MiB live, 42.1MiB allocated; 0ms 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:

Time	Variable		Point	Expression
5.0ms	a	@	-inf	((cbrt (/ g (* 2 a))) (/ g (* 2 a)) g (* 2 a) 2 a)
5.0ms	g	@	-inf	((cbrt (/ g (* 2 a))) (/ g (* 2 a)) g (* 2 a) 2 a)
4.0ms	g	@	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)

rewrite41.0ms (3%)

Memory

4.1MiB live, 49.4MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	88
0	33	81
1	80	81
0	319	81

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

13 → 68

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
(/.f64 g (*.f64 #s(literal 2 binary64) a))
g
(*.f64 #s(literal 2 binary64) a)
#s(literal 2 binary64)
a
#s(approx (cbrt (/ g (* 2 a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ g (* 2 a)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (/ g (* 2 a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (* 2 a) #s(hole binary64 (* 2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (cbrt (/ g (* 2 a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))

Outputs
(*.f64 (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 (.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(*.f64 (cbrt.f64 g) (pow.f64 (/.f64 #s(literal 1/2 binary64) a) #s(literal 1/3 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(.f64 (cbrt.f64 #s(literal -1 binary64)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) (/.f64 g a))))
(.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) (/.f64 g a))) (cbrt.f64 #s(literal -1 binary64)))
(.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 (.f64 (/.f64 g a) #s(literal -1 binary64))))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g)) (cbrt.f64 a))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 #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 (/.f64 g a) #s(literal -1 binary64)) #s(literal -1/2 binary64))
(.f64 (.f64 #s(literal 1/2 binary64) g) (/.f64 #s(literal 1 binary64) a))
(*.f64 (/.f64 #s(literal 1/2 binary64) a) g)
(*.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))
(.f64 (neg.f64 g) (/.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) a)))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1/2 binary64) (/.f64 g a)))
(*.f64 #s(literal 1/2 binary64) (/.f64 g a))
(*.f64 (/.f64 g a) #s(literal 1/2 binary64))
(.f64 g (.f64 (/.f64 #s(literal 1 binary64) a) #s(literal 1/2 binary64)))
(*.f64 g (/.f64 #s(literal 1/2 binary64) a))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 g)) (neg.f64 a))
(/.f64 (*.f64 g #s(literal 1 binary64)) (+.f64 a a))
(/.f64 (*.f64 (neg.f64 g) #s(literal 1/2 binary64)) (neg.f64 a))
(/.f64 (neg.f64 (*.f64 #s(literal 1/2 binary64) g)) (neg.f64 a))
(/.f64 (neg.f64 (neg.f64 g)) (neg.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (*.f64 #s(literal 1/2 binary64) g) a)
(/.f64 #s(literal 1 binary64) (/.f64 a (*.f64 #s(literal 1/2 binary64) g)))
(/.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 #s(literal -1 binary64) (neg.f64 (/.f64 (+.f64 a a) g)))
(/.f64 #s(literal 1/2 binary64) (/.f64 a g))
(/.f64 (/.f64 g a) #s(literal 2 binary64))
(/.f64 g (+.f64 a a))
(neg.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)))
(neg.f64 (/.f64 (neg.f64 g) (+.f64 a a)))
g
(*.f64 a #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) a)
(/.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))))
(neg.f64 (-.f64 (neg.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 (.f64 a #s(literal 1 binary64)) (.f64 a #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) a) (.f64 #s(literal 1 binary64) a))
(+.f64 a a)
#s(literal 2 binary64)
a
#s(approx (cbrt (/ g (* 2 a))) (cbrt.f64 (/.f64 g (+.f64 a a))))
#s(approx (/ g (* 2 a)) (/.f64 g (+.f64 a a)))
#s(approx g g)
#s(approx (cbrt (/ g (* 2 a))) (neg.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) (/.f64 g a)))))
#s(approx (* 2 a) (+.f64 a a))
#s(approx a a)
#s(approx (cbrt (/ g (* 2 a))) (cbrt.f64 (/.f64 g (+.f64 a a))))

eval10.0ms (0.7%)

Memory: -31.1MiB live, 15.1MiB allocated; 3ms collecting garbage
Compiler: Compiled 298 to 187 computations (37.2% saved)

prune7.0ms (0.5%)

Memory

13.7MiB live, 13.7MiB allocated; 0ms collecting garbage

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	50	13	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	13	64

Accuracy

99.8%

Counts

64 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	35.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.6%	(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
▶	98.4%	(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
	98.3%	(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
	73.0%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
	73.1%	(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
▶	98.3%	(*.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)))
	35.6%	(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
▶	73.3%	(cbrt.f64 (/.f64 g (+.f64 a a)))
	72.5%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
	73.2%	(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))

Compiler

Compiled 178 to 178 computations (0% saved)

series72.0ms (5.2%)

Memory

12.3MiB live, 113.1MiB allocated; 19ms collecting garbage

Counts

17 → 28

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(cbrt.f64 g)
g
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))
(/.f64 #s(literal 1/2 binary64) a)
#s(literal 1/2 binary64)
a
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 g (+.f64 a a))
(+.f64 a a)
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
#s(literal 1/3 binary64)
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 (+.f64 a a))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a)))
#s(literal 1 binary64)

Outputs
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ g (+ a a)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (pow (/ g (+ a a)) 1/3) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/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 (pow (/ g (+ a a)) 1/3) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt (/ 1/2 a)) #s(hole binary64 (* (cbrt (/ 1 a)) (cbrt 1/2))))
#s(approx (/ 1/2 a) #s(hole binary64 (/ 1/2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ 1 a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (cbrt (/ 1/2 a)) #s(hole binary64 (* (cbrt (/ 1 a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (pow (/ g (+ a a)) 1/3) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ 1 a)) (/ (cbrt -1) (cbrt -2)))))

Calls

6 calls:

Time	Variable		Point	Expression
20.0ms	a	@	0	((* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) g (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt (+ a a)) (* (cbrt g) (/ 1 (cbrt (+ a a)))) (/ 1 (cbrt (+ a a))) 1)
15.0ms	a	@	inf	((* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) g (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt (+ a a)) (* (cbrt g) (/ 1 (cbrt (+ a a)))) (/ 1 (cbrt (+ a a))) 1)
10.0ms	g	@	-inf	((* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) g (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt (+ a a)) (* (cbrt g) (/ 1 (cbrt (+ a a)))) (/ 1 (cbrt (+ a a))) 1)
10.0ms	a	@	-inf	((* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) g (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt (+ a a)) (* (cbrt g) (/ 1 (cbrt (+ a a)))) (/ 1 (cbrt (+ a a))) 1)
9.0ms	g	@	inf	((* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) g (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt (+ a a)) (* (cbrt g) (/ 1 (cbrt (+ a a)))) (/ 1 (cbrt (+ a a))) 1)

rewrite37.0ms (2.7%)

Memory

-27.7MiB live, 18.2MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	97	462
0	117	376
0	276	376

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

45 → 104

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(cbrt.f64 g)
g
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))
(/.f64 #s(literal 1/2 binary64) a)
#s(literal 1/2 binary64)
a
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 g (+.f64 a a))
(+.f64 a a)
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
#s(literal 1/3 binary64)
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(cbrt.f64 (+.f64 a a))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a)))
#s(literal 1 binary64)
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ g (+ a a)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (pow (/ g (+ a a)) 1/3) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/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 (pow (/ g (+ a a)) 1/3) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))))
#s(approx (cbrt (/ 1/2 a)) #s(hole binary64 (* (cbrt (/ 1 a)) (cbrt 1/2))))
#s(approx (/ 1/2 a) #s(hole binary64 (/ 1/2 a)))
#s(approx a #s(hole binary64 a))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ 1 a)) (/ 1 (cbrt 2)))))
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (cbrt (/ 1/2 a)) #s(hole binary64 (* (cbrt (/ 1 a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (pow (/ g (+ a a)) 1/3) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ (cbrt g) (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))
#s(approx (* (cbrt g) (/ 1 (cbrt (+ a a)))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (* (cbrt (/ 1 a)) (/ (cbrt -1) (cbrt -2)))))

Outputs
(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(cbrt.f64 (*.f64 g (/.f64 #s(literal 1/2 binary64) a)))
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 g)
g
(pow.f64 (/.f64 #s(literal 1/2 binary64) a) #s(literal 1/3 binary64))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) 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 binary64) (/.f64 a #s(literal 1/2 binary64)))
(/.f64 #s(literal 1/2 binary64) a)
#s(literal 1/2 binary64)
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 (/.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))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 1 binary64)) (cbrt.f64 (+.f64 a a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
(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 #s(literal 2 binary64) a)
(*.f64 a #s(literal 2 binary64))
(/.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))))
(neg.f64 (-.f64 (neg.f64 a) a))
(+.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 (/.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))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 1 binary64)) (cbrt.f64 (+.f64 a a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
(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 (/.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))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 1 binary64)) (cbrt.f64 (+.f64 a a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.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))
(pow.f64 (+.f64 a a) #s(literal 1/3 binary64))
(cbrt.f64 (+.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 (/.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))))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) #s(literal 1 binary64)) (cbrt.f64 (+.f64 a a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (+.f64 a a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(*.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)
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/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 (/ g (+ a a)) (*.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 (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (* (cbrt g) (cbrt (/ 1/2 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 (+ 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 (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 (cbrt (/ 1/2 a)) (cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) a) #s(literal 1/2 binary64))))
#s(approx (/ 1/2 a) (/.f64 #s(literal 1/2 binary64) a))
#s(approx a a)
#s(approx (+ a a) (+.f64 a a))
#s(approx (cbrt (+ a a)) (cbrt.f64 (+.f64 a a)))
#s(approx (/ 1 (cbrt (+ a a))) (/.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (cbrt (/ 1/2 a)) (cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) 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 (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 (cbrt (+ a a)) (neg.f64 (cbrt.f64 (*.f64 a #s(literal -2 binary64)))))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (/ 1 (cbrt (+ a a))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) a) #s(literal 1/2 binary64))))

eval7.0ms (0.5%)

Memory: 10.5MiB live, 10.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 467 to 223 computations (52.2% saved)

prune8.0ms (0.6%)

Memory

11.4MiB live, 11.4MiB allocated; 0ms collecting garbage

Pruning

16 alts after pruning (11 fresh and 5 done)

	Pruned	Kept	Total
New	81	4	85
Fresh	1	7	8
Picked	0	5	5
Done	0	0	0
Total	82	16	98

Accuracy

99.9%

Counts

98 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	35.6%	(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
	98.6%	(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
	98.2%	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
	33.4%	(/.f64 (cbrt.f64 g) (cbrt.f64 (/.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))))))
✓	98.4%	(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
	98.3%	(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
▶	73.0%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
▶	73.1%	(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
▶	98.7%	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
✓	98.3%	(*.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)))
	35.6%	(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
✓	73.3%	(cbrt.f64 (/.f64 g (+.f64 a a)))
	72.5%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
▶	73.2%	(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
▶	72.5%	#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))

Compiler

Compiled 212 to 208 computations (1.9% saved)

series86.0ms (6.3%)

Memory

-8.0MiB live, 84.5MiB allocated; 5ms collecting garbage

Counts

23 → 35

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
(cbrt.f64 g)
g
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(cbrt.f64 #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(cbrt.f64 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)
(/.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 a a)
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
#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 #s(literal 2 binary64))
#s(literal 2 binary64)

Outputs
#s(approx (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (* (/ 1/2 a) g) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt (/ (+ a a) g)) #s(hole binary64 (* (cbrt (/ a g)) (cbrt 2))))
#s(approx (/ (+ a a) g) #s(hole binary64 (* 2 (/ a g))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ g a) #s(hole binary64 (/ g a)))
#s(approx (cbrt (/ g (+ 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) (/ (cbrt 1/2) (cbrt a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))))
#s(approx (cbrt (/ (+ a a) g)) #s(hole binary64 (* (cbrt (/ a g)) (* (cbrt -2) (cbrt -1)))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (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 1/2) (cbrt a)) #s(hole binary64 (* (cbrt (/ 1 a)) (cbrt 1/2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ 1/2 a) #s(hole binary64 (/ 1/2 a)))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (/ (+ a a) g)) #s(hole binary64 (* -1 (* (cbrt (/ a g)) (cbrt -2)))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (* (pow (cbrt -1) 2) (cbrt 1/2)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
#s(approx (cbrt (/ 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)))))

Calls

6 calls:

Time	Variable		Point	Expression
26.0ms	a	@	inf	((* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (cbrt g) g (/ (cbrt 1/2) (cbrt a)) (cbrt 1/2) 1/2 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ 1 (cbrt (/ (+ a a) g))) 1 (cbrt (/ (+ a a) g)) (/ (+ a a) g) (+ a a) (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt 2) 2)
18.0ms	g	@	inf	((* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (cbrt g) g (/ (cbrt 1/2) (cbrt a)) (cbrt 1/2) 1/2 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ 1 (cbrt (/ (+ a a) g))) 1 (cbrt (/ (+ a a) g)) (/ (+ a a) g) (+ a a) (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt 2) 2)
14.0ms	a	@	-inf	((* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (cbrt g) g (/ (cbrt 1/2) (cbrt a)) (cbrt 1/2) 1/2 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ 1 (cbrt (/ (+ a a) g))) 1 (cbrt (/ (+ a a) g)) (/ (+ a a) g) (+ a a) (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt 2) 2)
12.0ms	g	@	-inf	((* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (cbrt g) g (/ (cbrt 1/2) (cbrt a)) (cbrt 1/2) 1/2 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ 1 (cbrt (/ (+ a a) g))) 1 (cbrt (/ (+ a a) g)) (/ (+ a a) g) (+ a a) (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt 2) 2)
9.0ms	a	@	0	((* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (cbrt g) g (/ (cbrt 1/2) (cbrt a)) (cbrt 1/2) 1/2 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (/ 1 (cbrt (/ (+ a a) g))) 1 (cbrt (/ (+ a a) g)) (/ (+ a a) g) (+ a a) (* (cbrt (/ g a)) (cbrt 1/2)) (cbrt (/ g a)) (/ g a) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (cbrt 2)) (cbrt 2) 2)

rewrite34.0ms (2.5%)

Memory

22.7MiB live, 22.7MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	125	573
0	148	496
0	358	496

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

58 → 139

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
(cbrt.f64 g)
g
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(cbrt.f64 #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(cbrt.f64 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)
(/.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 a a)
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
#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 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (* (/ 1/2 a) g) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt (/ (+ a a) g)) #s(hole binary64 (* (cbrt (/ a g)) (cbrt 2))))
#s(approx (/ (+ a a) g) #s(hole binary64 (* 2 (/ a g))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (/ g a) #s(hole binary64 (/ g a)))
#s(approx (cbrt (/ g (+ 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) (/ (cbrt 1/2) (cbrt a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))))
#s(approx (cbrt (/ (+ a a) g)) #s(hole binary64 (* (cbrt (/ a g)) (* (cbrt -2) (cbrt -1)))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (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 1/2) (cbrt a)) #s(hole binary64 (* (cbrt (/ 1 a)) (cbrt 1/2))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ 1/2 a) #s(hole binary64 (/ 1/2 a)))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
#s(approx (cbrt (* (/ 1/2 a) g)) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (/ (+ a a) g)) #s(hole binary64 (* -1 (* (cbrt (/ a g)) (cbrt -2)))))
#s(approx (* (cbrt (/ g a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (* (pow (cbrt -1) 2) (cbrt 1/2)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))
#s(approx (cbrt (/ 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)))))

Outputs
(.f64 (cbrt.f64 (.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(pow.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -2 binary64)))
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 g)
g
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 #s(literal 1/2 binary64))) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 1/2 binary64))))
(cbrt.f64 (*.f64 (/.f64 #s(literal 1 binary64) a) #s(literal 1/2 binary64)))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 #s(literal -1 binary64)))
(*.f64 (cbrt.f64 #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal -2 binary64))))
(*.f64 (cbrt.f64 #s(literal -1 binary64)) (cbrt.f64 #s(literal -1/2 binary64)))
(pow.f64 #s(literal 1/2 binary64) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 #s(literal -1 binary64))) (neg.f64 (cbrt.f64 #s(literal -2 binary64))))
(/.f64 (cbrt.f64 #s(literal -1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 #s(literal -2 binary64)) (cbrt.f64 #s(literal -1 binary64))))
(cbrt.f64 #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(pow.f64 a #s(literal 1/3 binary64))
(cbrt.f64 a)
a
(.f64 (cbrt.f64 (.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(pow.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -2 binary64)))
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
(*.f64 (/.f64 #s(literal 1/2 binary64) a) g)
(*.f64 (/.f64 g a) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (/.f64 g a))
(*.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 binary64) (/.f64 a #s(literal 1/2 binary64)))
(/.f64 #s(literal 1/2 binary64) a)
(*.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)))
#s(literal 1 binary64)
(.f64 (cbrt.f64 (.f64 (/.f64 a g) #s(literal -2 binary64))) (cbrt.f64 #s(literal -1 binary64)))
(*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 (/.f64 a g)))
(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 g) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (/.f64 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)))
(fma.f64 a (/.f64 #s(literal 1 binary64) g) (/.f64 a g))
(+.f64 (/.f64 a g) (/.f64 a g))
(*.f64 #s(literal 2 binary64) a)
(*.f64 a #s(literal 2 binary64))
(/.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))))
(neg.f64 (-.f64 (neg.f64 a) a))
(+.f64 a a)
(.f64 (cbrt.f64 (.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(pow.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -2 binary64)))
(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
(pow.f64 (/.f64 g a) #s(literal 1/3 binary64))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(cbrt.f64 (/.f64 g a))
(*.f64 g (/.f64 #s(literal 1 binary64) a))
(/.f64 (neg.f64 g) (neg.f64 a))
(/.f64 #s(literal 1 binary64) (/.f64 a g))
(/.f64 g a)
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 (/.f64 g a)))
(*.f64 (cbrt.f64 (/.f64 g a)) (/.f64 #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 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 (/.f64 g a))))
(cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) (cbrt.f64 #s(literal -1 binary64)))
(*.f64 (cbrt.f64 #s(literal -1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(cbrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g)))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx g g)
#s(approx (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g)))
#s(approx (* (/ 1/2 a) g) (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
#s(approx (cbrt (/ (+ a a) g)) (cbrt.f64 (/.f64 (+.f64 a a) g)))
#s(approx (/ (+ a a) g) (/.f64 (+.f64 a a) g))
#s(approx (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g)))
#s(approx (cbrt (/ g a)) (cbrt.f64 (/.f64 g a)))
#s(approx (/ g a) (/.f64 g a))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g)))
#s(approx (/ (cbrt (/ g a)) (cbrt 2)) (cbrt.f64 (/.f64 (/.f64 g a) #s(literal 2 binary64))))
#s(approx (* (cbrt g) (/ (cbrt 1/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) (/ (cbrt 1/2) (cbrt a))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) (neg.f64 (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal -2 binary64)))))
#s(approx (cbrt (/ (+ a a) g)) (cbrt.f64 (/.f64 (+.f64 a a) g)))
#s(approx (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt (/ g a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #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)) (cbrt 2)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ (cbrt 1/2) (cbrt a)) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx a a)
#s(approx (/ 1/2 a) (/.f64 #s(literal 1/2 binary64) a))
#s(approx (+ a a) (+.f64 a a))
#s(approx (cbrt a) (neg.f64 (cbrt.f64 (*.f64 a #s(literal -1 binary64)))))
#s(approx (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g)))
#s(approx (/ 1 (cbrt (/ (+ a a) g))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g)))
#s(approx (cbrt (/ (+ a a) g)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 a g) #s(literal -2 binary64)))))
#s(approx (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (.f64 (.f64 (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)) (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal 1/2 binary64))))
#s(approx (cbrt (/ g a)) (*.f64 (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)) (cbrt.f64 (/.f64 g a))))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g)))
#s(approx (/ (cbrt (/ g a)) (cbrt 2)) (/.f64 (*.f64 (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)) (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal 2 binary64))))

eval22.0ms (1.6%)

Memory: -29.2MiB live, 17.5MiB allocated; 7ms collecting garbage
Compiler: Compiled 658 to 355 computations (46% saved)

prune11.0ms (0.8%)

Memory

13.8MiB live, 13.8MiB allocated; 0ms collecting garbage

Pruning

22 alts after pruning (12 fresh and 10 done)

	Pruned	Kept	Total
New	107	7	114
Fresh	1	5	6
Picked	0	5	5
Done	0	5	5
Total	108	22	130

Accuracy

99.9%

Counts

130 → 22

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	35.6%	(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
	98.6%	(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
	98.2%	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
✓	98.4%	(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
▶	35.5%	(/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64)))
	98.3%	(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
✓	73.0%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
▶	72.4%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))))
	72.9%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
▶	98.7%	(*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 1/2 binary64)))
✓	73.1%	(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
	72.3%	(*.f64 (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 a g))) (cbrt.f64 #s(literal 1/2 binary64)))
✓	98.7%	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
	98.6%	(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 1/2 binary64)))))
✓	98.3%	(*.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)))
	35.6%	(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
✓	73.3%	(cbrt.f64 (/.f64 g (+.f64 a a)))
▶	72.5%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
✓	73.2%	(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
▶	73.1%	#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
✓	72.5%	#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))

Compiler

Compiled 271 to 271 computations (0% saved)

series83.0ms (6.1%)

Memory

-5.7MiB live, 87.2MiB allocated; 5ms collecting garbage

Counts

27 → 41

Calls

Call 1

Inputs
(*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 1/2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(cbrt.f64 g)
g
(cbrt.f64 a)
a
(cbrt.f64 #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
(/.f64 #s(literal 1/2 binary64) (/.f64 a g))
(/.f64 a g)
(/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64)))
#s(literal 1 binary64)
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64))
(/.f64 (+.f64 a a) g)
(+.f64 a a)
#s(literal 1/3 binary64)
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))))
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a))))
(/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))
(/.f64 g (+.f64 a a))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
#s(literal 2 binary64)

Outputs
#s(approx (* (/ (cbrt g) (cbrt a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ (cbrt g) (cbrt a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (/ 1/2 (/ a g))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ 1/2 (/ a g)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (/ a g) #s(hole binary64 (/ a g)))
#s(approx (/ 1 (pow (/ (+ a a) g) 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (pow (/ (+ a a) g) 1/3) #s(hole binary64 (* (cbrt (/ a g)) (cbrt 2))))
#s(approx (/ (+ a a) g) #s(hole binary64 (* 2 (/ a g))))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) #s(hole binary64 (* (cbrt (/ a g)) (cbrt 2))))
#s(approx (/ 1 (/ g (+ a a))) #s(hole binary64 (* 2 (/ a g))))
#s(approx (/ g (+ a a)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ (cbrt (/ g a)) (pow 2 1/3)) #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) (cbrt a)) (cbrt 1/2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (/ (cbrt g) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (cbrt (/ 1/2 (/ a g))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ 1 (pow (/ (+ a a) g) 1/3)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))))
#s(approx (pow (/ (+ a a) g) 1/3) #s(hole binary64 (* (cbrt (/ a g)) (* (cbrt -2) (cbrt -1)))))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) #s(hole binary64 (* (cbrt (/ a g)) (* (cbrt -2) (cbrt -1)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ (cbrt (/ g a)) (pow 2 1/3)) #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 a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
#s(approx (cbrt (/ 1/2 (/ a g))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ 1 (pow (/ (+ a a) g) 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (pow (/ (+ a a) g) 1/3) #s(hole binary64 (* -1 (* (cbrt (/ a g)) (cbrt -2)))))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) #s(hole binary64 (* -1 (* (cbrt (/ a g)) (cbrt -2)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ (cbrt (/ g a)) (pow 2 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))

Calls

6 calls:

Time	Variable		Point	Expression
23.0ms	a	@	inf	((* (/ (cbrt g) (cbrt a)) (cbrt 1/2)) (/ (cbrt g) (cbrt a)) (cbrt g) g (cbrt a) a (cbrt 1/2) 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (/ 1 (pow (/ (+ a a) g) 1/3)) 1 (pow (/ (+ a a) g) 1/3) (/ (+ a a) g) (+ a a) 1/3 (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (cbrt (/ 1 (/ g (+ a a)))) (/ 1 (/ g (+ a a))) (/ g (+ a a)) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (pow 2 1/3)) (cbrt (/ g a)) (/ g a) (pow 2 1/3) 2)
16.0ms	g	@	inf	((* (/ (cbrt g) (cbrt a)) (cbrt 1/2)) (/ (cbrt g) (cbrt a)) (cbrt g) g (cbrt a) a (cbrt 1/2) 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (/ 1 (pow (/ (+ a a) g) 1/3)) 1 (pow (/ (+ a a) g) 1/3) (/ (+ a a) g) (+ a a) 1/3 (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (cbrt (/ 1 (/ g (+ a a)))) (/ 1 (/ g (+ a a))) (/ g (+ a a)) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (pow 2 1/3)) (cbrt (/ g a)) (/ g a) (pow 2 1/3) 2)
14.0ms	a	@	-inf	((* (/ (cbrt g) (cbrt a)) (cbrt 1/2)) (/ (cbrt g) (cbrt a)) (cbrt g) g (cbrt a) a (cbrt 1/2) 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (/ 1 (pow (/ (+ a a) g) 1/3)) 1 (pow (/ (+ a a) g) 1/3) (/ (+ a a) g) (+ a a) 1/3 (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (cbrt (/ 1 (/ g (+ a a)))) (/ 1 (/ g (+ a a))) (/ g (+ a a)) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (pow 2 1/3)) (cbrt (/ g a)) (/ g a) (pow 2 1/3) 2)
13.0ms	g	@	-inf	((* (/ (cbrt g) (cbrt a)) (cbrt 1/2)) (/ (cbrt g) (cbrt a)) (cbrt g) g (cbrt a) a (cbrt 1/2) 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (/ 1 (pow (/ (+ a a) g) 1/3)) 1 (pow (/ (+ a a) g) 1/3) (/ (+ a a) g) (+ a a) 1/3 (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (cbrt (/ 1 (/ g (+ a a)))) (/ 1 (/ g (+ a a))) (/ g (+ a a)) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (pow 2 1/3)) (cbrt (/ g a)) (/ g a) (pow 2 1/3) 2)
9.0ms	g	@	0	((* (/ (cbrt g) (cbrt a)) (cbrt 1/2)) (/ (cbrt g) (cbrt a)) (cbrt g) g (cbrt a) a (cbrt 1/2) 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (/ 1 (pow (/ (+ a a) g) 1/3)) 1 (pow (/ (+ a a) g) 1/3) (/ (+ a a) g) (+ a a) 1/3 (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (cbrt (/ 1 (/ g (+ a a)))) (/ 1 (/ g (+ a a))) (/ g (+ a a)) (cbrt (/ g (+ a a))) (/ (cbrt (/ g a)) (pow 2 1/3)) (cbrt (/ g a)) (/ g a) (pow 2 1/3) 2)

rewrite36.0ms (2.6%)

Memory

25.0MiB live, 25.0MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	133	708
0	159	598
0	387	590

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

68 → 179

Calls

Call 1

Inputs
(*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 1/2 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(cbrt.f64 g)
g
(cbrt.f64 a)
a
(cbrt.f64 #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
(/.f64 #s(literal 1/2 binary64) (/.f64 a g))
(/.f64 a g)
(/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64)))
#s(literal 1 binary64)
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64))
(/.f64 (+.f64 a a) g)
(+.f64 a a)
#s(literal 1/3 binary64)
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))))
(cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a))))
(/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))
(/.f64 g (+.f64 a a))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
(cbrt.f64 (/.f64 g a))
(/.f64 g a)
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
#s(literal 2 binary64)
#s(approx (* (/ (cbrt g) (cbrt a)) (cbrt 1/2)) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ (cbrt g) (cbrt a)) #s(hole binary64 (cbrt (/ g a))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx g #s(hole binary64 g))
#s(approx (cbrt (/ 1/2 (/ a g))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ 1/2 (/ a g)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (/ a g) #s(hole binary64 (/ a g)))
#s(approx (/ 1 (pow (/ (+ a a) g) 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (pow (/ (+ a a) g) 1/3) #s(hole binary64 (* (cbrt (/ a g)) (cbrt 2))))
#s(approx (/ (+ a a) g) #s(hole binary64 (* 2 (/ a g))))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) #s(hole binary64 (* (cbrt (/ g a)) (/ 1 (cbrt 2)))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) #s(hole binary64 (* (cbrt (/ a g)) (cbrt 2))))
#s(approx (/ 1 (/ g (+ a a))) #s(hole binary64 (* 2 (/ a g))))
#s(approx (/ g (+ a a)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (cbrt 1/2))))
#s(approx (/ (cbrt (/ g a)) (pow 2 1/3)) #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) (cbrt a)) (cbrt 1/2)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))))
#s(approx (/ (cbrt g) (cbrt a)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1)))))
#s(approx (cbrt g) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1)))))
#s(approx (cbrt (/ 1/2 (/ a g))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ 1 (pow (/ (+ a a) g) 1/3)) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))))
#s(approx (pow (/ (+ a a) g) 1/3) #s(hole binary64 (* (cbrt (/ a g)) (* (cbrt -2) (cbrt -1)))))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) #s(hole binary64 (* (cbrt (/ a g)) (* (cbrt -2) (cbrt -1)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* -1 (* (cbrt (/ g a)) (cbrt -1/2)))))
#s(approx (/ (cbrt (/ g a)) (pow 2 1/3)) #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 a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (cbrt a) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -1)))))
#s(approx (cbrt (/ 1/2 (/ a g))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ 1 (pow (/ (+ a a) g) 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (pow (/ (+ a a) g) 1/3) #s(hole binary64 (* -1 (* (cbrt (/ a g)) (cbrt -2)))))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) #s(hole binary64 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) #s(hole binary64 (* -1 (* (cbrt (/ a g)) (cbrt -2)))))
#s(approx (cbrt (/ g (+ a a))) #s(hole binary64 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))))
#s(approx (/ (cbrt (/ g a)) (pow 2 1/3)) #s(hole binary64 (* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))))
#s(approx (cbrt (/ g a)) #s(hole binary64 (* (cbrt (/ g a)) (pow (cbrt -1) 2))))

Outputs
(.f64 (cbrt.f64 (.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(pow.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 a g)))
(cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(pow.f64 (/.f64 g a) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 a g)))
(cbrt.f64 (/.f64 g a))
(pow.f64 g #s(literal 1/3 binary64))
(cbrt.f64 g)
g
(pow.f64 a #s(literal 1/3 binary64))
(cbrt.f64 a)
a
(*.f64 (cbrt.f64 #s(literal -1/2 binary64)) (cbrt.f64 #s(literal -1 binary64)))
(*.f64 (cbrt.f64 #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (cbrt.f64 #s(literal -2 binary64))))
(*.f64 (cbrt.f64 #s(literal -1 binary64)) (cbrt.f64 #s(literal -1/2 binary64)))
(pow.f64 #s(literal 1/2 binary64) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 #s(literal -1 binary64))) (neg.f64 (cbrt.f64 #s(literal -2 binary64))))
(/.f64 (cbrt.f64 #s(literal -1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 #s(literal -2 binary64)) (cbrt.f64 #s(literal -1 binary64))))
(cbrt.f64 #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(.f64 (cbrt.f64 (.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -1/2 binary64)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(pow.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64))) (cbrt.f64 #s(literal -2 binary64)))
(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 a g)))
(cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)))
(*.f64 (/.f64 #s(literal 1/2 binary64) a) g)
(*.f64 (/.f64 g a) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (/.f64 g a))
(/.f64 (*.f64 #s(literal 1/2 binary64) g) a)
(/.f64 #s(literal -1/2 binary64) (neg.f64 (/.f64 a g)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 a g) #s(literal 1/2 binary64)))
(/.f64 #s(literal 1/2 binary64) (/.f64 a g))
(*.f64 a (/.f64 #s(literal 1 binary64) g))
(/.f64 (neg.f64 a) (neg.f64 g))
(/.f64 #s(literal 1 binary64) (/.f64 g a))
(/.f64 a g)
(*.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1/3 binary64)))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1/3 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)))
#s(literal 1 binary64)
(*.f64 (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/6 binary64)) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/6 binary64)))
(.f64 (cbrt.f64 (.f64 (/.f64 a g) #s(literal -2 binary64))) (cbrt.f64 #s(literal -1 binary64)))
(*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 (/.f64 a g)))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(cbrt.f64 (/.f64 (+.f64 a a) g))
(exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 a a) g)) #s(literal 1/3 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) g) (+.f64 a a))
(*.f64 (/.f64 a g) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (/.f64 a g))
(*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))
(*.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal -1 binary64))
(/.f64 (neg.f64 (+.f64 a a)) (neg.f64 g))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 g (+.f64 a a))))
(/.f64 (+.f64 a a) g)
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 g (+.f64 a a)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))
(fma.f64 a (/.f64 #s(literal 1 binary64) g) (/.f64 a g))
(+.f64 (/.f64 a g) (/.f64 a g))
(*.f64 #s(literal 2 binary64) a)
(*.f64 a #s(literal 2 binary64))
(/.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))))
(neg.f64 (-.f64 (neg.f64 a) a))
(+.f64 a a)
#s(literal 1/3 binary64)
(*.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1/3 binary64)))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 a a) g)) #s(literal -1 binary64))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1/3 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 (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/6 binary64)) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/6 binary64)))
(.f64 (cbrt.f64 (.f64 (/.f64 a g) #s(literal -2 binary64))) (cbrt.f64 #s(literal -1 binary64)))
(*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 #s(literal 2 binary64)))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 (/.f64 a g)))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a))))
(cbrt.f64 (/.f64 (+.f64 a a) g))
(exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 a a) g)) #s(literal 1/3 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) g) (+.f64 a a))
(*.f64 (/.f64 a g) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (/.f64 a g))
(*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))
(*.f64 #s(literal 1 binary64) (/.f64 (+.f64 a a) g))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal -1 binary64))
(/.f64 (neg.f64 (+.f64 a a)) (neg.f64 g))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 g (+.f64 a a))))
(/.f64 (+.f64 a a) g)
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 g (+.f64 a a)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))
(fma.f64 a (/.f64 #s(literal 1 binary64) g) (/.f64 a g))
(+.f64 (/.f64 a g) (/.f64 a g))
(*.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))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (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 (/.f64 g a)) (/.f64 #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 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 (/.f64 g a))))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
(pow.f64 (/.f64 g a) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 a g)))
(cbrt.f64 (/.f64 g a))
(*.f64 g (/.f64 #s(literal 1 binary64) a))
(/.f64 (neg.f64 g) (neg.f64 a))
(/.f64 #s(literal 1 binary64) (/.f64 a g))
(/.f64 g a)
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/6 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/6 binary64)))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) (cbrt.f64 #s(literal -1 binary64)))
(*.f64 (cbrt.f64 #s(literal -1 binary64)) (cbrt.f64 #s(literal -2 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(cbrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/3 binary64)))
#s(literal 2 binary64)
#s(approx (cbrt (/ 1/2 (/ a g))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (cbrt (/ g a)) (cbrt.f64 (/.f64 g a)))
#s(approx (cbrt g) (cbrt.f64 g))
#s(approx g g)
#s(approx (cbrt (/ 1/2 (/ a g))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (/ 1/2 (/ a g)) (*.f64 (/.f64 g a) #s(literal 1/2 binary64)))
#s(approx (/ a g) (/.f64 a g))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) (cbrt.f64 (/.f64 (+.f64 a a) g)))
#s(approx (/ 1 (/ g (+ a a))) (/.f64 (+.f64 a a) g))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) (cbrt.f64 (/.f64 (+.f64 a a) g)))
#s(approx (/ 1 (/ g (+ a a))) (/.f64 (+.f64 a a) g))
#s(approx (/ g (+ a a)) (*.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 (/ (cbrt (/ g a)) (pow 2 1/3)) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (cbrt (/ g a)) (cbrt.f64 (/.f64 g a)))
#s(approx (/ g a) (/.f64 g a))
#s(approx (cbrt (/ 1/2 (/ a g))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt (/ g a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)))))
#s(approx (cbrt g) (neg.f64 (cbrt.f64 (*.f64 g #s(literal -1 binary64)))))
#s(approx (cbrt (/ 1/2 (/ a g))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (neg.f64 (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal -2 binary64)))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) (cbrt.f64 (/.f64 (+.f64 a a) g)))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (neg.f64 (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal -2 binary64)))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) (cbrt.f64 (/.f64 (+.f64 a a) g)))
#s(approx (cbrt (/ g (+ a a))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (/ (cbrt (/ g a)) (pow 2 1/3)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1/2 binary64)))))
#s(approx (cbrt (/ g a)) (neg.f64 (cbrt.f64 (*.f64 (/.f64 g a) #s(literal -1 binary64)))))
#s(approx (cbrt a) (cbrt.f64 a))
#s(approx a a)
#s(approx (+ a a) (+.f64 a a))
#s(approx (cbrt a) (neg.f64 (cbrt.f64 (*.f64 a #s(literal -1 binary64)))))
#s(approx (cbrt (/ 1/2 (/ a g))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 a g) #s(literal -2 binary64)))))
#s(approx (/ 1 (cbrt (/ 1 (/ g (+ a a))))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (cbrt (/ 1 (/ g (+ a a)))) (neg.f64 (cbrt.f64 (*.f64 (/.f64 a g) #s(literal -2 binary64)))))
#s(approx (cbrt (/ g (+ a a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
#s(approx (/ (cbrt (/ g a)) (pow 2 1/3)) (/.f64 (*.f64 (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)) (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (cbrt (/ g a)) (*.f64 (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)) (cbrt.f64 (/.f64 g a))))

eval33.0ms (2.4%)

Memory: -19.0MiB live, 26.8MiB allocated; 2ms collecting garbage
Compiler: Compiled 669 to 398 computations (40.5% saved)

prune17.0ms (1.2%)

Memory

-18.2MiB live, 28.7MiB allocated; 9ms collecting garbage

Pruning

26 alts after pruning (12 fresh and 14 done)

	Pruned	Kept	Total
New	107	5	112
Fresh	0	7	7
Picked	1	4	5
Done	0	10	10
Total	108	26	134

Accuracy

99.9%

Counts

134 → 26

Alt Table

Click to see full alt table

Status	Accuracy	Program
	35.5%	(pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1/3 binary64))
✓	35.6%	(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
	98.6%	(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
	98.2%	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
✓	98.4%	(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
	98.3%	(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
	73.2%	(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
	35.2%	(/.f64 #s(literal 1 binary64) (exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 a a) g)) #s(literal 1/3 binary64))))
✓	73.0%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
✓	72.4%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))))
	72.9%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
✓	98.7%	(*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 1/2 binary64)))
	98.6%	(.f64 (.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 a))) (cbrt.f64 #s(literal 1/2 binary64)))
✓	73.1%	(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
	72.3%	(*.f64 (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 a g))) (cbrt.f64 #s(literal 1/2 binary64)))
✓	98.7%	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
	98.6%	(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 1/2 binary64)))))
✓	98.3%	(*.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)))
	35.6%	(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
✓	73.3%	(cbrt.f64 (/.f64 g (+.f64 a a)))
✓	72.5%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
	72.5%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (*.f64 a (/.f64 #s(literal 1 binary64) g))))
✓	73.2%	(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))
✓	73.1%	#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
✓	72.5%	#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))

Compiler

Compiled 349 to 302 computations (13.5% saved)

regimes44.0ms (3.2%)

Memory

20.8MiB live, 113.5MiB allocated; 6ms collecting garbage

Counts

30 → 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)))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1/3 binary64))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (*.f64 a (/.f64 #s(literal 1 binary64) g))))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
(/.f64 #s(literal 1 binary64) (exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 a a) g)) #s(literal 1/3 binary64))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64))))
#s(approx (cbrt (/ g (+ a a))) (/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 (+.f64 a a)) (cbrt.f64 g)))
(*.f64 (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 a g))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(.f64 (.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 a))) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 1/2 binary64)))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (/.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) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))

Calls

5 calls:

10.0ms	(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
9.0ms	(*.f64 #s(literal 2 binary64) a)
8.0ms	a
8.0ms	g
7.0ms	(/.f64 g (*.f64 #s(literal 2 binary64) a))

Results

Accuracy	Segments	Branch
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%	1	`g`
98.7%	1	`a`

Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes23.0ms (1.7%)

Memory

16.5MiB live, 63.6MiB allocated; 1ms collecting garbage

Counts

15 → 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)))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1/3 binary64))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (*.f64 a (/.f64 #s(literal 1 binary64) g))))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
(/.f64 #s(literal 1 binary64) (exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 a a) g)) #s(literal 1/3 binary64))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))

Outputs
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))

Calls

5 calls:

5.0ms	(/.f64 g (*.f64 #s(literal 2 binary64) a))
4.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)))

Results

Accuracy	Segments	Branch
98.4%	1	`(*.f64 #s(literal 2 binary64) a)`
98.4%	1	`g`
98.4%	1	`a`
98.4%	1	`(/.f64 g (*.f64 #s(literal 2 binary64) a))`
98.4%	1	`(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))`

Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes23.0ms (1.7%)

Memory

-13.6MiB live, 35.0MiB allocated; 4ms collecting garbage

Accuracy

Total -24.8b remaining (-145.1%)

Threshold costs -24.8b (-145.1%)

Counts

14 → 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)))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
(pow.f64 (/.f64 (+.f64 a a) g) #s(literal -1/3 binary64))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (*.f64 a (/.f64 #s(literal 1 binary64) g))))
(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (+.f64 a a) g) #s(literal 1/3 binary64)))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (*.f64 (+.f64 a a) (/.f64 #s(literal 1 binary64) g))))
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 g (+.f64 a a)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
(/.f64 #s(literal 1 binary64) (exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 a a) g)) #s(literal 1/3 binary64))))

Outputs
(cbrt.f64 (/.f64 g (+.f64 a a)))

Calls

5 calls:

6.0ms	g
4.0ms	a
4.0ms	(*.f64 #s(literal 2 binary64) a)
4.0ms	(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
4.0ms	(/.f64 g (*.f64 #s(literal 2 binary64) a))

Results

Accuracy	Segments	Branch
73.3%	1	`(*.f64 #s(literal 2 binary64) a)`
73.3%	1	`(/.f64 g (*.f64 #s(literal 2 binary64) a))`
73.3%	1	`(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))`
73.3%	1	`g`
73.3%	1	`a`

Compiler

Compiled 16 to 19 computations (-18.8% saved)

derivations4.0ms (0.3%)

Memory

4.9MiB live, 4.9MiB allocated; 0ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 14 to 12 computations (14.3% saved)

preprocess21.0ms (1.5%)

Memory: 4.4MiB live, 50.6MiB allocated; 3ms collecting garbage
Compiler: Compiled 20 to 18 computations (10% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze22.0ms (1.6%)

sample658.0ms (47.8%)

preprocess53.0ms (3.9%)

series26.0ms (1.9%)

rewrite41.0ms (3%)

eval10.0ms (0.7%)

prune7.0ms (0.5%)

series72.0ms (5.2%)

rewrite37.0ms (2.7%)

eval7.0ms (0.5%)

prune8.0ms (0.6%)

series86.0ms (6.3%)

rewrite34.0ms (2.5%)

eval22.0ms (1.6%)

prune11.0ms (0.8%)

series83.0ms (6.1%)

rewrite36.0ms (2.6%)

eval33.0ms (2.4%)

prune17.0ms (1.2%)

regimes44.0ms (3.2%)

regimes23.0ms (1.7%)

regimes23.0ms (1.7%)

derivations4.0ms (0.3%)

preprocess21.0ms (1.5%)

end0.0ms (0%)

Profiling