Metrics for 2-ancestry mixing, zero discriminant

start0.0ms (0%)

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

analyze11.0ms (0.5%)

Memory

15.1MiB live, 15.1MiB allocated; 0ms 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)

sample1.1s (44.3%)

Memory

-26.8MiB live, 735.2MiB allocated; 1.1s collecting garbage

Samples

785.0ms

8 256×

valid

Precisions

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

ival-cbrt: 456.0ms (73.7% of total)

ival-div!: 112.0ms (18.1% of total)

ival-mult!: 50.0ms (8.1% of total)

adjust: 1.0ms (0.2% of total)

Bogosity

preprocess186.0ms (7.7%)

Memory

-28.5MiB live, 62.4MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	38
1	70	36
2	254	36
3	716	36
4	1799	36
5	7673	36

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(negabs g)

(negabs a)

Compiler

Compiled 12 to 12 computations (0% saved)

series36.0ms (1.5%)

Memory

27.8MiB live, 73.6MiB allocated; 4ms collecting garbage

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

Calls

6 calls:

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

rewrite54.0ms (2.3%)

Memory

8.9MiB live, 60.9MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	73
0	32	70
1	88	68
0	397	68

Stop Event

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

Counts

12 → 74

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

eval12.0ms (0.5%)

Memory: -27.4MiB live, 18.9MiB allocated; 5ms collecting garbage
Compiler: Compiled 339 to 204 computations (39.8% saved)

prune8.0ms (0.3%)

Memory

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

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	57	13	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	13	71

Accuracy

99.8%

Counts

71 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	74.3%	(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
▶	98.9%	(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
▶	98.7%	(/.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)))
	79.9%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
	98.8%	(.f64 (neg.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g))) (/.f64 #s(literal 1 binary64) (neg.f64 (cbrt.f64 a))))
	98.7%	(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
	98.7%	(*.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))))
	98.7%	(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (/.f64 (cbrt.f64 g) (cbrt.f64 a)))
	74.5%	(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
▶	79.6%	(cbrt.f64 (/.f64 g (+.f64 a a)))
	79.2%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
	79.6%	(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))

Compiler

Compiled 186 to 186 computations (0% saved)

series57.0ms (2.4%)

Memory

-32.8MiB live, 111.2MiB allocated; 13ms collecting garbage

Counts

18 → 17

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable		Point	Expression
17.0ms	a	@	-inf	((/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) 1/2 g (cbrt a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ 1 (/ (cbrt (+ a a)) (cbrt g))) 1 (/ (cbrt (+ a a)) (cbrt g)))
10.0ms	g	@	0	((/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) 1/2 g (cbrt a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ 1 (/ (cbrt (+ a a)) (cbrt g))) 1 (/ (cbrt (+ a a)) (cbrt g)))
8.0ms	a	@	0	((/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) 1/2 g (cbrt a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ 1 (/ (cbrt (+ a a)) (cbrt g))) 1 (/ (cbrt (+ a a)) (cbrt g)))
7.0ms	a	@	inf	((/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) 1/2 g (cbrt a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ 1 (/ (cbrt (+ a a)) (cbrt g))) 1 (/ (cbrt (+ a a)) (cbrt g)))
7.0ms	g	@	-inf	((/ (cbrt (* 1/2 g)) (cbrt a)) (cbrt (* 1/2 g)) (* 1/2 g) 1/2 g (cbrt a) a (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (pow (/ g (+ a a)) 1/3) 1/3 (/ (cbrt g) (cbrt (+ a a))) (cbrt g) (cbrt (+ a a)) (/ 1 (/ (cbrt (+ a a)) (cbrt g))) 1 (/ (cbrt (+ a a)) (cbrt g)))

rewrite27.0ms (1.1%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	258
0	92	227
0	238	227

Stop Event

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

Counts

35 → 115

Calls

Call 1

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

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

eval13.0ms (0.6%)

Memory: -23.3MiB live, 23.1MiB allocated; 4ms collecting garbage
Compiler: Compiled 514 to 241 computations (53.1% saved)

prune14.0ms (0.6%)

Memory

-20.9MiB live, 26.1MiB allocated; 3ms collecting garbage

Pruning

20 alts after pruning (15 fresh and 5 done)

	Pruned	Kept	Total
New	85	9	94
Fresh	2	6	8
Picked	0	5	5
Done	0	0	0
Total	87	20	107

Accuracy

99.9%

Counts

107 → 20

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.3%	(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
	98.7%	(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
✓	98.9%	(/.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.7%	(/.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)))
	98.8%	(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))))
	79.6%	(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
	98.6%	(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 g))))
	98.2%	(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 a) (/.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 g))))
	79.9%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
▶	98.7%	(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (cbrt.f64 g))
	98.7%	(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
▶	98.8%	(.f64 (cbrt.f64 (.f64 g #s(literal 1/2 binary64))) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
	98.7%	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
▶	98.7%	(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (/.f64 (cbrt.f64 g) (cbrt.f64 a)))
▶	74.5%	(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
✓	79.6%	(cbrt.f64 (/.f64 g (+.f64 a a)))
	79.2%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
▶	79.6%	(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))

Compiler

Compiled 270 to 270 computations (0% saved)

series250.0ms (10.4%)

Memory

17.7MiB live, 299.8MiB allocated; 27ms collecting garbage

Counts

25 → 32

Calls

Call 1

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

Outputs
#s(approx (* (cbrt (* g 1/2)) (/ 1 (cbrt a))) #s(hole binary64 (/ (* (cbrt g) (cbrt 1/2)) (cbrt a))))
#s(approx (cbrt (* g 1/2)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (* g 1/2) #s(hole binary64 (* 1/2 g)))
#s(approx g #s(hole binary64 g))
#s(approx (* (/ 1/2 a) g) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log g) (log (/ 1/2 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log g) (log (/ 1/2 a)))))
#s(approx (* (/ 1 (cbrt (+ a a))) (cbrt g)) #s(hole binary64 (/ (cbrt g) (* (cbrt a) (cbrt 2)))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx (/ (cbrt g) (cbrt a)) #s(hole binary64 (/ (cbrt g) (cbrt a))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (/ 1/2 a)) (* -1 (log (/ 1 g)))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (/ 1/2 a)) (* -1 (log (/ 1 g))))))
#s(approx (* (cbrt (* g 1/2)) (/ 1 (cbrt a))) #s(hole binary64 (* -1 (/ (* (cbrt g) (cbrt -1/2)) (cbrt a)))))
#s(approx (cbrt (* g 1/2)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (/ -1/2 a)) (* -1 (log (/ -1 g)))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (/ -1/2 a)) (* -1 (log (/ -1 g))))))
#s(approx (/ 1 (cbrt a)) #s(hole binary64 (/ 1 (cbrt a))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ 1/2 a) #s(hole binary64 (/ 1/2 a)))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* 1/2 g)) (* -1 (log a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* 1/2 g)) (* -1 (log a)))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (/ 1 (* (cbrt a) (cbrt 2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* 1/2 g)) (log (/ 1 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* 1/2 g)) (log (/ 1 a)))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* -1/2 g)) (log (/ -1 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* -1/2 g)) (log (/ -1 a)))))
#s(approx (* (/ 1 (cbrt (+ a a))) (cbrt g)) #s(hole binary64 (* -1 (/ (cbrt g) (* (cbrt a) (cbrt -2))))))
#s(approx (/ 1 (cbrt (+ a a))) #s(hole binary64 (/ -1 (* (cbrt a) (cbrt -2)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))

Calls

6 calls:

Time	Variable		Point	Expression
67.0ms	g	@	0	((* (cbrt (* g 1/2)) (/ 1 (cbrt a))) (cbrt (* g 1/2)) (* g 1/2) g 1/2 (/ 1 (cbrt a)) 1 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (/ g (+ a a)) (+ a a) 1/3 (* (/ 1 (cbrt (+ a a))) (cbrt g)) (/ 1 (cbrt (+ a a))) (cbrt (+ a a)) (cbrt g) (* (cbrt 1/2) (/ (cbrt g) (cbrt a))) (cbrt 1/2) (/ (cbrt g) (cbrt a)))
60.0ms	g	@	-inf	((* (cbrt (* g 1/2)) (/ 1 (cbrt a))) (cbrt (* g 1/2)) (* g 1/2) g 1/2 (/ 1 (cbrt a)) 1 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (/ g (+ a a)) (+ a a) 1/3 (* (/ 1 (cbrt (+ a a))) (cbrt g)) (/ 1 (cbrt (+ a a))) (cbrt (+ a a)) (cbrt g) (* (cbrt 1/2) (/ (cbrt g) (cbrt a))) (cbrt 1/2) (/ (cbrt g) (cbrt a)))
50.0ms	a	@	-inf	((* (cbrt (* g 1/2)) (/ 1 (cbrt a))) (cbrt (* g 1/2)) (* g 1/2) g 1/2 (/ 1 (cbrt a)) 1 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (/ g (+ a a)) (+ a a) 1/3 (* (/ 1 (cbrt (+ a a))) (cbrt g)) (/ 1 (cbrt (+ a a))) (cbrt (+ a a)) (cbrt g) (* (cbrt 1/2) (/ (cbrt g) (cbrt a))) (cbrt 1/2) (/ (cbrt g) (cbrt a)))
34.0ms	a	@	inf	((* (cbrt (* g 1/2)) (/ 1 (cbrt a))) (cbrt (* g 1/2)) (* g 1/2) g 1/2 (/ 1 (cbrt a)) 1 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (/ g (+ a a)) (+ a a) 1/3 (* (/ 1 (cbrt (+ a a))) (cbrt g)) (/ 1 (cbrt (+ a a))) (cbrt (+ a a)) (cbrt g) (* (cbrt 1/2) (/ (cbrt g) (cbrt a))) (cbrt 1/2) (/ (cbrt g) (cbrt a)))
21.0ms	a	@	0	((* (cbrt (* g 1/2)) (/ 1 (cbrt a))) (cbrt (* g 1/2)) (* g 1/2) g 1/2 (/ 1 (cbrt a)) 1 (cbrt a) a (cbrt (* (/ 1/2 a) g)) (* (/ 1/2 a) g) (/ 1/2 a) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (/ g (+ a a)) (+ a a) 1/3 (* (/ 1 (cbrt (+ a a))) (cbrt g)) (/ 1 (cbrt (+ a a))) (cbrt (+ a a)) (cbrt g) (* (cbrt 1/2) (/ (cbrt g) (cbrt a))) (cbrt 1/2) (/ (cbrt g) (cbrt a)))

rewrite43.0ms (1.8%)

Memory

18.7MiB live, 63.8MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	130	544
0	161	500
0	527	498

Stop Event

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

Counts

57 → 126

Calls

Call 1

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

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

eval13.0ms (0.5%)

Memory: -17.1MiB live, 28.8MiB allocated; 3ms collecting garbage
Compiler: Compiled 647 to 363 computations (43.9% saved)

prune11.0ms (0.5%)

Memory

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

Pruning

25 alts after pruning (16 fresh and 9 done)

	Pruned	Kept	Total
New	100	7	107
Fresh	1	9	10
Picked	0	5	5
Done	1	4	5
Total	102	25	127

Accuracy

99.9%

Counts

127 → 25

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.3%	(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
	98.7%	(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
	78.8%	(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
✓	98.9%	(/.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.7%	(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
▶	98.8%	(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))))
	79.6%	(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
▶	98.6%	(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 g))))
	98.2%	(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 a) (/.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 g))))
	79.9%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
	98.2%	(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 g))
▶	98.2%	(.f64 (/.f64 #s(literal 1 binary64) (.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))) (cbrt.f64 g))
✓	98.7%	(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (cbrt.f64 g))
	79.6%	(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
	98.7%	(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
✓	98.8%	(.f64 (cbrt.f64 (.f64 g #s(literal 1/2 binary64))) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
✓	98.7%	(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (/.f64 (cbrt.f64 g) (cbrt.f64 a)))
	98.7%	(.f64 (cbrt.f64 #s(literal 1/2 binary64)) (.f64 (cbrt.f64 g) (/.f64 #s(literal 1 binary64) (cbrt.f64 a))))
	91.0%	(exp.f64 (*.f64 (-.f64 (log.f64 g) (log.f64 (+.f64 a a))) #s(literal 1/3 binary64)))
✓	74.5%	(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
▶	0.0%	(exp.f64 (*.f64 #s(approx (log (/ g (+ a a))) (+.f64 (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) g))) (log.f64 (/.f64 #s(literal -1/2 binary64) a)))) #s(literal 1/3 binary64)))
✓	79.6%	(cbrt.f64 (/.f64 g (+.f64 a a)))
▶	79.2%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
✓	79.6%	(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))

Compiler

Compiled 347 to 347 computations (0% saved)

series243.0ms (10.1%)

Memory

4.4MiB live, 434.7MiB allocated; 39ms collecting garbage

Counts

35 → 51

Calls

Call 1

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

Outputs
#s(approx (/ 1 (/ (cbrt a) (cbrt (* g 1/2)))) #s(hole binary64 (/ (* (cbrt g) (cbrt 1/2)) (cbrt a))))
#s(approx (/ (cbrt a) (cbrt (* g 1/2))) #s(hole binary64 (/ (cbrt a) (* (cbrt g) (cbrt 1/2)))))
#s(approx (cbrt (* g 1/2)) #s(hole binary64 (* (cbrt g) (cbrt 1/2))))
#s(approx (* g 1/2) #s(hole binary64 (* 1/2 g)))
#s(approx g #s(hole binary64 g))
#s(approx (/ 1/2 (/ a g)) #s(hole binary64 (* 1/2 (/ g a))))
#s(approx (/ a g) #s(hole binary64 (/ a g)))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log g) (log (/ 1/2 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log g) (log (/ 1/2 a)))))
#s(approx (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) #s(hole binary64 (- (log (/ -1/2 a)) (* -1 (log (neg g))))))
#s(approx (neg (log (/ -1 g))) #s(hole binary64 (log (neg g))))
#s(approx (log (/ -1 g)) #s(hole binary64 (* -1 (log (neg g)))))
#s(approx (/ -1 g) #s(hole binary64 (/ -1 g)))
#s(approx (/ 1 (* (cbrt (+ a a)) (/ 1 (cbrt g)))) #s(hole binary64 (/ (cbrt g) (* (cbrt a) (cbrt 2)))))
#s(approx (* (cbrt (+ a a)) (/ 1 (cbrt g))) #s(hole binary64 (/ (* (cbrt a) (cbrt 2)) (cbrt g))))
#s(approx (/ 1 (cbrt g)) #s(hole binary64 (/ 1 (cbrt g))))
#s(approx (cbrt g) #s(hole binary64 (cbrt g)))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (/ 1/2 a)) (* -1 (log (/ 1 g)))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (/ 1/2 a)) (* -1 (log (/ 1 g))))))
#s(approx (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) #s(hole binary64 (- (log (/ -1/2 a)) (log (neg (/ 1 g))))))
#s(approx (neg (log (/ -1 g))) #s(hole binary64 (* -1 (log (neg (/ 1 g))))))
#s(approx (log (/ -1 g)) #s(hole binary64 (log (neg (/ 1 g)))))
#s(approx (/ 1 (/ (cbrt a) (cbrt (* g 1/2)))) #s(hole binary64 (* -1 (/ (* (cbrt g) (cbrt -1/2)) (cbrt a)))))
#s(approx (/ (cbrt a) (cbrt (* g 1/2))) #s(hole binary64 (* -1 (/ (cbrt a) (* (cbrt g) (cbrt -1/2))))))
#s(approx (cbrt (* g 1/2)) #s(hole binary64 (* -1 (* (cbrt g) (cbrt -1/2)))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (/ -1/2 a)) (* -1 (log (/ -1 g)))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (/ -1/2 a)) (* -1 (log (/ -1 g))))))
#s(approx (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) #s(hole binary64 (- (log (/ -1/2 a)) (log (/ -1 g)))))
#s(approx (neg (log (/ -1 g))) #s(hole binary64 (* -1 (log (/ -1 g)))))
#s(approx (log (/ -1 g)) #s(hole binary64 (log (/ -1 g))))
#s(approx (cbrt a) #s(hole binary64 (cbrt a)))
#s(approx a #s(hole binary64 a))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* 1/2 g)) (* -1 (log a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* 1/2 g)) (* -1 (log a)))))
#s(approx (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) #s(hole binary64 (- (+ (log 1/2) (* -1 (log (neg a)))) (log (/ -1 g)))))
#s(approx (log (/ -1/2 a)) #s(hole binary64 (+ (log 1/2) (* -1 (log (neg a))))))
#s(approx (/ -1/2 a) #s(hole binary64 (/ -1/2 a)))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* (cbrt a) (cbrt 2))))
#s(approx (+ a a) #s(hole binary64 (* 2 a)))
#s(approx (/ 1 (* (cbrt a) (cbrt 2))) #s(hole binary64 (/ 1 (* (cbrt a) (cbrt 2)))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* 1/2 g)) (log (/ 1 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* 1/2 g)) (log (/ 1 a)))))
#s(approx (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) #s(hole binary64 (- (+ (log 1/2) (log (neg (/ 1 a)))) (log (/ -1 g)))))
#s(approx (log (/ -1/2 a)) #s(hole binary64 (+ (log 1/2) (log (neg (/ 1 a))))))
#s(approx (* (log (/ g (+ a a))) 1/3) #s(hole binary64 (* 1/3 (+ (log (* -1/2 g)) (log (/ -1 a))))))
#s(approx (log (/ g (+ a a))) #s(hole binary64 (+ (log (* -1/2 g)) (log (/ -1 a)))))
#s(approx (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) #s(hole binary64 (- (+ (log 1/2) (log (/ -1 a))) (log (/ -1 g)))))
#s(approx (log (/ -1/2 a)) #s(hole binary64 (+ (log 1/2) (log (/ -1 a)))))
#s(approx (/ 1 (* (cbrt (+ a a)) (/ 1 (cbrt g)))) #s(hole binary64 (* -1 (/ (cbrt g) (* (cbrt a) (cbrt -2))))))
#s(approx (* (cbrt (+ a a)) (/ 1 (cbrt g))) #s(hole binary64 (* -1 (/ (* (cbrt a) (cbrt -2)) (cbrt g)))))
#s(approx (cbrt (+ a a)) #s(hole binary64 (* -1 (* (cbrt a) (cbrt -2)))))

Calls

6 calls:

Time	Variable		Point	Expression
57.0ms	a	@	-inf	((/ 1 (/ (cbrt a) (cbrt (* g 1/2)))) 1 (/ (cbrt a) (cbrt (* g 1/2))) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) g 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) (neg (log (/ -1 g))) (log (/ -1 g)) (/ -1 g) -1 (log (/ -1/2 a)) (/ -1/2 a) -1/2 1/3 (/ 1 (* (cbrt (+ a a)) (/ 1 (cbrt g)))) (* (cbrt (+ a a)) (/ 1 (cbrt g))) (cbrt (+ a a)) (+ a a) (/ 1 (cbrt g)) (cbrt g) (* (/ 1 (* (cbrt a) (cbrt 2))) (cbrt g)) (/ 1 (* (cbrt a) (cbrt 2))) (* (cbrt a) (cbrt 2)) (cbrt 2) 2)
47.0ms	a	@	0	((/ 1 (/ (cbrt a) (cbrt (* g 1/2)))) 1 (/ (cbrt a) (cbrt (* g 1/2))) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) g 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) (neg (log (/ -1 g))) (log (/ -1 g)) (/ -1 g) -1 (log (/ -1/2 a)) (/ -1/2 a) -1/2 1/3 (/ 1 (* (cbrt (+ a a)) (/ 1 (cbrt g)))) (* (cbrt (+ a a)) (/ 1 (cbrt g))) (cbrt (+ a a)) (+ a a) (/ 1 (cbrt g)) (cbrt g) (* (/ 1 (* (cbrt a) (cbrt 2))) (cbrt g)) (/ 1 (* (cbrt a) (cbrt 2))) (* (cbrt a) (cbrt 2)) (cbrt 2) 2)
47.0ms	g	@	0	((/ 1 (/ (cbrt a) (cbrt (* g 1/2)))) 1 (/ (cbrt a) (cbrt (* g 1/2))) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) g 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) (neg (log (/ -1 g))) (log (/ -1 g)) (/ -1 g) -1 (log (/ -1/2 a)) (/ -1/2 a) -1/2 1/3 (/ 1 (* (cbrt (+ a a)) (/ 1 (cbrt g)))) (* (cbrt (+ a a)) (/ 1 (cbrt g))) (cbrt (+ a a)) (+ a a) (/ 1 (cbrt g)) (cbrt g) (* (/ 1 (* (cbrt a) (cbrt 2))) (cbrt g)) (/ 1 (* (cbrt a) (cbrt 2))) (* (cbrt a) (cbrt 2)) (cbrt 2) 2)
31.0ms	g	@	-inf	((/ 1 (/ (cbrt a) (cbrt (* g 1/2)))) 1 (/ (cbrt a) (cbrt (* g 1/2))) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) g 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) (neg (log (/ -1 g))) (log (/ -1 g)) (/ -1 g) -1 (log (/ -1/2 a)) (/ -1/2 a) -1/2 1/3 (/ 1 (* (cbrt (+ a a)) (/ 1 (cbrt g)))) (* (cbrt (+ a a)) (/ 1 (cbrt g))) (cbrt (+ a a)) (+ a a) (/ 1 (cbrt g)) (cbrt g) (* (/ 1 (* (cbrt a) (cbrt 2))) (cbrt g)) (/ 1 (* (cbrt a) (cbrt 2))) (* (cbrt a) (cbrt 2)) (cbrt 2) 2)
30.0ms	g	@	inf	((/ 1 (/ (cbrt a) (cbrt (* g 1/2)))) 1 (/ (cbrt a) (cbrt (* g 1/2))) (cbrt a) a (cbrt (* g 1/2)) (* g 1/2) g 1/2 (cbrt (/ 1/2 (/ a g))) (/ 1/2 (/ a g)) (/ a g) (exp (* (log (/ g (+ a a))) 1/3)) (* (log (/ g (+ a a))) 1/3) (log (/ g (+ a a))) (+ (neg (log (/ -1 g))) (log (/ -1/2 a))) (neg (log (/ -1 g))) (log (/ -1 g)) (/ -1 g) -1 (log (/ -1/2 a)) (/ -1/2 a) -1/2 1/3 (/ 1 (* (cbrt (+ a a)) (/ 1 (cbrt g)))) (* (cbrt (+ a a)) (/ 1 (cbrt g))) (cbrt (+ a a)) (+ a a) (/ 1 (cbrt g)) (cbrt g) (* (/ 1 (* (cbrt a) (cbrt 2))) (cbrt g)) (/ 1 (* (cbrt a) (cbrt 2))) (* (cbrt a) (cbrt 2)) (cbrt 2) 2)

rewrite77.0ms (3.2%)

Memory

-4.1MiB live, 90.5MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	185	925
0	225	817
0	834	817

Stop Event

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

Counts

86 → 202

Calls

Call 1

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

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

eval17.0ms (0.7%)

Memory: -7.7MiB live, 36.7MiB allocated; 4ms collecting garbage
Compiler: Compiled 1 283 to 652 computations (49.2% saved)

prune18.0ms (0.7%)

Memory

1.2MiB live, 46.7MiB allocated; 2ms collecting garbage

Pruning

28 alts after pruning (15 fresh and 13 done)

	Pruned	Kept	Total
New	152	6	158
Fresh	2	9	11
Picked	1	4	5
Done	0	9	9
Total	155	28	183

Accuracy

99.9%

Counts

183 → 28

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.3%	(pow.f64 (/.f64 g (+.f64 a a)) #s(literal 1/3 binary64))
	98.6%	(/.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (/.f64 #s(literal 1 binary64) (cbrt.f64 g)))
	78.8%	(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
✓	98.9%	(/.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.7%	(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
	79.9%	(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 a g)))
✓	98.8%	(/.f64 #s(literal 1 binary64) (/.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 g #s(literal 1/2 binary64)))))
	79.6%	(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
	98.2%	(/.f64 #s(literal 1 binary64) (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (cbrt.f64 g))))
✓	98.6%	(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 (+.f64 a a)) (/.f64 #s(literal 1 binary64) (cbrt.f64 g))))
	98.2%	(/.f64 #s(literal 1 binary64) (*.f64 (cbrt.f64 a) (/.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 g))))
	79.9%	(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))
	98.2%	(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 g))
	98.7%	(.f64 (/.f64 #s(literal 1 binary64) (.f64 (cbrt.f64 a) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))) (cbrt.f64 g))
✓	98.2%	(.f64 (/.f64 #s(literal 1 binary64) (.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))) (cbrt.f64 g))
✓	98.7%	(*.f64 (/.f64 #s(literal 1 binary64) (cbrt.f64 (+.f64 a a))) (cbrt.f64 g))
	79.6%	(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
	98.7%	(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
✓	98.8%	(.f64 (cbrt.f64 (.f64 g #s(literal 1/2 binary64))) (/.f64 #s(literal 1 binary64) (cbrt.f64 a)))
✓	98.7%	(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (/.f64 (cbrt.f64 g) (cbrt.f64 a)))
	91.0%	(exp.f64 (*.f64 (-.f64 (log.f64 g) (log.f64 (+.f64 a a))) #s(literal 1/3 binary64)))
✓	74.5%	(exp.f64 (*.f64 (log.f64 (/.f64 g (+.f64 a a))) #s(literal 1/3 binary64)))
	0.0%	(exp.f64 (*.f64 #s(approx (log (/ g (+ a a))) (+.f64 #s(approx (neg (log (/ -1 g))) (log.f64 (neg.f64 g))) (log.f64 (/.f64 #s(literal -1/2 binary64) a)))) #s(literal 1/3 binary64)))
✓	79.6%	(cbrt.f64 (/.f64 g (+.f64 a a)))
✓	79.2%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 a g)))
	79.1%	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) (*.f64 a (/.f64 #s(literal 1 binary64) g))))
✓	79.6%	(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))

Compiler

Compiled 424 to 356 computations (16% saved)

regimes54.0ms (2.3%)

Memory

10.6MiB live, 110.9MiB allocated; 7ms collecting garbage

Counts

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

Outputs
(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))

Calls

5 calls:

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

Results

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

Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes30.0ms (1.2%)

Memory

-33.4MiB live, 56.4MiB allocated; 10ms 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))
(/.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) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))
(exp.f64 (*.f64 (-.f64 (log.f64 g) (log.f64 (+.f64 a a))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 #s(approx (log (/ g (+ a a))) (+.f64 #s(approx (neg (log (/ -1 g))) (log.f64 (neg.f64 g))) (log.f64 (/.f64 #s(literal -1/2 binary64) a)))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 #s(approx (log (/ g (+ a a))) (+.f64 (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) g))) (log.f64 (/.f64 #s(literal -1/2 binary64) a)))) #s(literal 1/3 binary64)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (+.f64 a a)))
(*.f64 (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)) (cbrt.f64 g))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))

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

Calls

5 calls:

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

regimes19.0ms (0.8%)

Memory

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

Counts

12 → 3

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

Outputs
(exp.f64 (*.f64 (-.f64 (log.f64 g) (log.f64 (+.f64 a a))) #s(literal 1/3 binary64)))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(exp.f64 (*.f64 (-.f64 (log.f64 g) (log.f64 (+.f64 a a))) #s(literal 1/3 binary64)))

Calls

5 calls:

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

Results

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

Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes29.0ms (1.2%)

Memory

-12.7MiB live, 35.9MiB allocated; 29ms collecting garbage

Counts

9 → 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))
(/.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) (/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 g (+.f64 a a)))))

Outputs
(/.f64 #s(literal 1 binary64) (cbrt.f64 (/.f64 (+.f64 a a) g)))

Calls

5 calls:

16.0ms	(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
3.0ms	(*.f64 #s(literal 2 binary64) a)
3.0ms	a
3.0ms	g
3.0ms	(/.f64 g (*.f64 #s(literal 2 binary64) a))

Results

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

Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes17.0ms (0.7%)

Memory

-22.2MiB live, 23.4MiB allocated; 7ms collecting garbage

Accuracy

Total -3.7b remaining (-28.5%)

Threshold costs -3.7b (-28.5%)

Counts

5 → 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))

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 16 to 19 computations (-18.8% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	2.0855794119874106e+102	+inf
0.0ms	1.2509215578115534e-104	2.0480806887083607e-98

Compiler

Compiled 9 to 11 computations (-22.2% saved)

derivations9.0ms (0.4%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 36 to 33 computations (8.3% saved)

preprocess93.0ms (3.9%)

Memory

16.7MiB live, 154.2MiB allocated; 29ms collecting garbage

Remove

(negabs a)

(negabs g)

Compiler

Compiled 230 to 223 computations (3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze11.0ms (0.5%)

sample1.1s (44.3%)

preprocess186.0ms (7.7%)

series36.0ms (1.5%)

rewrite54.0ms (2.3%)

eval12.0ms (0.5%)

prune8.0ms (0.3%)

series57.0ms (2.4%)

rewrite27.0ms (1.1%)

eval13.0ms (0.6%)

prune14.0ms (0.6%)

series250.0ms (10.4%)

rewrite43.0ms (1.8%)

eval13.0ms (0.5%)

prune11.0ms (0.5%)

series243.0ms (10.1%)

rewrite77.0ms (3.2%)

eval17.0ms (0.7%)

prune18.0ms (0.7%)

regimes54.0ms (2.3%)

regimes30.0ms (1.2%)

regimes19.0ms (0.8%)

regimes29.0ms (1.2%)

regimes17.0ms (0.7%)

bsearch0.0ms (0%)

derivations9.0ms (0.4%)

preprocess93.0ms (3.9%)

end0.0ms (0%)

Profiling