Metrics for 2-ancestry mixing, zero discriminant

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze12.0ms (0.4%)

Memory

31.0MiB live, 31.0MiB allocated

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)

sample940.0ms (30.5%)

Memory

4.5MiB live, 1 505.2MiB allocated

Samples

619.0ms

8 256×

valid

Precisions

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

ival-mult: 95.0ms (35.4% of total)

ival-div: 88.0ms (32.8% of total)

ival-cbrt: 70.0ms (26.1% of total)

ival-true: 7.0ms (2.6% of total)

exact: 5.0ms (1.9% of total)

ival-assert: 3.0ms (1.1% of total)

Bogosity

explain67.0ms (2.2%)

Memory

30.3MiB live, 167.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
69	-	7	(5.821349932406957e-111 -3.7678006221741987e+202)	`(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))`
0	-	0	-	`(/.f64 g (*.f64 #s(literal 2 binary64) a))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`a`
0	-	0	-	`g`
0	-	0	-	`(*.f64 #s(literal 2 binary64) a)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cbrt.f64`	`(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))`	oflow-rescue	33	0
↳	`(/.f64 g (*.f64 #s(literal 2 binary64) a))`	overflow	33
`cbrt.f64`	`(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))`	uflow-rescue	29	0
↳	`(/.f64 g (*.f64 #s(literal 2 binary64) a))`	underflow	29

Confusion

	Predicted +	Predicted -
+	62	7
-	0	187

Precision

1.0

Recall

0.8985507246376812

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	62	0	7
-	0	0	187

Precision?

1.0

Recall?

0.8985507246376812

Freqs

test

number	freq
0	194
1	62

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

31.0ms

512×

valid

Compiler

Compiled 44 to 22 computations (50% saved)

Precisions

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

ival-div: 4.0ms (31.9% of total)

ival-mult: 4.0ms (31.9% of total)

ival-cbrt: 3.0ms (24% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess19.0ms (0.6%)

Memory

-0.6MiB live, 59.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	36
1	33	32
2	50	32
3	53	32
0	6	6
0	9	6
1	15	6
2	19	6
0	19	6

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 6 to 6 computations (0% saved)

eval0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

2.3MiB live, 2.3MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 6 to 6 computations (0% saved)

simplify3.0ms (0.1%)

Memory

8.4MiB live, 8.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 #s(literal 2 binary64) a)
cost-diff	0	(/.f64 g (*.f64 #s(literal 2 binary64) a))
cost-diff	0	(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	17
0	9	17
1	15	17
2	19	17
0	19	17

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

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

localize21.0ms (0.7%)

Memory

-24.8MiB live, 36.7MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0.0	(/.f64 g (*.f64 #s(literal 2 binary64) a))
accuracy	0.0	(*.f64 #s(literal 2 binary64) a)
accuracy	16.026714892216532	(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))

Samples

16.0ms

256×

valid

Compiler

Compiled 19 to 8 computations (57.9% saved)

Precisions

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

ival-mult: 5.0ms (53.5% of total)

ival-div: 2.0ms (21.4% of total)

ival-cbrt: 2.0ms (21.4% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series86.0ms (2.8%)

Memory

2.7MiB live, 62.8MiB allocated

Counts

3 → 5

Calls

Call 1

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

Outputs
(* (cbrt (/ g a)) (cbrt 1/2))
(* 1/2 (/ g a))
(* -1 (* (cbrt (/ g a)) (cbrt -1/2)))
(* 2 a)
(* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))

Calls

6 calls:

Time	Variable		Point	Expression
65.0ms	a	@	0	((cbrt (/ g (* 2 a))) (/ g (* 2 a)) (* 2 a))
5.0ms	g	@	-inf	((cbrt (/ g (* 2 a))) (/ g (* 2 a)) (* 2 a))
4.0ms	g	@	0	((cbrt (/ g (* 2 a))) (/ g (* 2 a)) (* 2 a))
4.0ms	g	@	inf	((cbrt (/ g (* 2 a))) (/ g (* 2 a)) (* 2 a))
4.0ms	a	@	inf	((cbrt (/ g (* 2 a))) (/ g (* 2 a)) (* 2 a))

simplify4.0ms (0.1%)

Memory

6.6MiB live, 6.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	33
1	35	33
2	56	33
3	59	33
4	60	33
0	60	33

Stop Event

1×	iter limit
1×	saturated

Counts

5 → 5

Calls

Call 1

Inputs
(* (cbrt (/ g a)) (cbrt 1/2))
(* 1/2 (/ g a))
(* -1 (* (cbrt (/ g a)) (cbrt -1/2)))
(* 2 a)
(* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))

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

rewrite42.0ms (1.4%)

Memory

-23.3MiB live, 54.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	14
0	9	14
1	23	14
2	76	14
0	306	14

Stop Event

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

Counts

3 → 63

Calls

Call 1

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

Outputs
(.f64 (neg.f64 (pow.f64 (/.f64 g (.f64 #s(literal -2 binary64) a)) #s(literal 1/6 binary64))) (neg.f64 (pow.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)) #s(literal 1/6 binary64))))
(.f64 (fabs.f64 (pow.f64 (/.f64 g (.f64 #s(literal -2 binary64) a)) #s(literal 1/6 binary64))) (fabs.f64 (pow.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)) #s(literal 1/6 binary64))))
(.f64 (pow.f64 (/.f64 g (.f64 #s(literal -2 binary64) a)) #s(literal 1/6 binary64)) (pow.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)) #s(literal 1/6 binary64)))
(pow.f64 (exp.f64 (log.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)))) #s(literal 1/3 binary64))
(pow.f64 (.f64 (/.f64 g (.f64 #s(literal -2 binary64) a)) (/.f64 g (*.f64 #s(literal -2 binary64) a))) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)) #s(literal 1/6 binary64)) #s(literal 2 binary64))
(pow.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)) #s(literal 1/3 binary64))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 g))) (neg.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 (neg.f64 g))) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (/.f64 g #s(literal -2 binary64))) (cbrt.f64 (neg.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(neg.f64 (/.f64 (cbrt.f64 g) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(cbrt.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)))
(exp.f64 (.f64 (log.f64 (/.f64 g (.f64 #s(literal -2 binary64) a))) #s(literal 1/3 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (/.f64 g (.f64 #s(literal -2 binary64) a))) #s(literal 1/3 binary64))) (sinh.f64 (.f64 (log.f64 (/.f64 g (.f64 #s(literal -2 binary64) a))) #s(literal 1/3 binary64))))
(*.f64 (/.f64 (neg.f64 g) #s(literal 0 binary64)) #s(literal 0 binary64))
(.f64 (/.f64 (neg.f64 g) (.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 a a #s(literal 0 binary64)))
(*.f64 (/.f64 g #s(literal 0 binary64)) #s(literal 0 binary64))
(.f64 (/.f64 g (.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 a a #s(literal 0 binary64)))
(/.f64 (/.f64 (neg.f64 g) a) #s(literal -2 binary64))
(/.f64 (/.f64 (neg.f64 g) a) #s(literal 2 binary64))
(/.f64 (/.f64 g (neg.f64 a)) #s(literal 2 binary64))
(/.f64 (neg.f64 (/.f64 g a)) #s(literal -2 binary64))
(/.f64 (/.f64 g a) #s(literal -2 binary64))
(/.f64 (/.f64 g a) #s(literal 2 binary64))
(/.f64 (/.f64 g #s(literal -2 binary64)) (neg.f64 a))
(/.f64 (/.f64 g #s(literal -2 binary64)) a)
(/.f64 (/.f64 g #s(literal 2 binary64)) (neg.f64 (neg.f64 a)))
(/.f64 (/.f64 g #s(literal 2 binary64)) (neg.f64 a))
(/.f64 (/.f64 g #s(literal 2 binary64)) a)
(/.f64 (neg.f64 g) (*.f64 #s(literal -2 binary64) a))
(/.f64 g (*.f64 #s(literal -2 binary64) a))
(neg.f64 (/.f64 g (*.f64 #s(literal -2 binary64) a)))
(*.f64 (neg.f64 (neg.f64 a)) #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) (neg.f64 a))
(*.f64 #s(literal -2 binary64) a)
(*.f64 (neg.f64 a) #s(literal -2 binary64))
(*.f64 (neg.f64 a) #s(literal 2 binary64))
(*.f64 a #s(literal -2 binary64))
(*.f64 a #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (neg.f64 (neg.f64 a)))
(*.f64 #s(literal 2 binary64) (neg.f64 a))
(*.f64 #s(literal 2 binary64) a)
(/.f64 (+.f64 (pow.f64 (neg.f64 a) #s(literal 3 binary64)) (pow.f64 (neg.f64 a) #s(literal 3 binary64))) (fma.f64 a a #s(literal 0 binary64)))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (fma.f64 a a #s(literal 0 binary64))))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 a a #s(literal 0 binary64)))
(/.f64 #s(literal 0 binary64) (-.f64 (neg.f64 a) (neg.f64 a)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64))) (neg.f64 (fma.f64 a a #s(literal 0 binary64))))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64))) (fma.f64 a a #s(literal 0 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) a))
(-.f64 (/.f64 (.f64 a a) #s(literal 0 binary64)) (/.f64 (.f64 a a) #s(literal 0 binary64)))
(+.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a a #s(literal 0 binary64))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a a #s(literal 0 binary64))))
(+.f64 (neg.f64 (neg.f64 a)) (neg.f64 (neg.f64 a)))
(+.f64 (neg.f64 a) (neg.f64 a))
(+.f64 a a)

eval8.0ms (0.3%)

Memory: 28.9MiB live, 28.9MiB allocated
Compiler: Compiled 647 to 208 computations (67.9% saved)

prune11.0ms (0.4%)

Memory

-34.3MiB live, 25.1MiB allocated

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	62	6	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	6	69

Accuracy

99.7%

Counts

69 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
	98.2%	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
▶	74.4%	(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
▶	98.8%	(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
▶	98.7%	(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
▶	75.0%	(cbrt.f64 (/.f64 g (+.f64 a a)))
▶	75.0%	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a))))

Compiler

Compiled 100 to 94 computations (6% saved)

simplify5.0ms (0.2%)

Memory

9.7MiB live, 9.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(cbrt.f64 #s(literal 2 binary64))
cost-diff	0	(/.f64 g a)
cost-diff	0	(cbrt.f64 (/.f64 g a))
cost-diff	0	(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
cost-diff	0	(cbrt.f64 (*.f64 #s(literal -2 binary64) a))
cost-diff	0	(neg.f64 g)
cost-diff	0	(cbrt.f64 (neg.f64 g))
cost-diff	0	(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
cost-diff	0	(cbrt.f64 (/.f64 g a))
cost-diff	0	(cbrt.f64 #s(literal 1/2 binary64))
cost-diff	0	(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
cost-diff	0	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a))))
cost-diff	0	(+.f64 a a)
cost-diff	0	(/.f64 g (+.f64 a a))
cost-diff	0	(cbrt.f64 (/.f64 g (+.f64 a a)))
cost-diff	0	(cbrt.f64 a)
cost-diff	0	(/.f64 g #s(literal 2 binary64))
cost-diff	0	(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
cost-diff	0	(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	110
0	45	110
1	51	110
2	54	110
0	54	110

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize72.0ms (2.3%)

Memory

31.1MiB live, 152.5MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	0.0	(/.f64 g a)
accuracy	0.25	(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
accuracy	1.0	(cbrt.f64 #s(literal 2 binary64))
accuracy	15.92445178189344	(cbrt.f64 (/.f64 g a))
accuracy	0.0	(neg.f64 g)
accuracy	0.36166000976844204	(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
accuracy	0.6062088867581884	(cbrt.f64 (*.f64 #s(literal -2 binary64) a))
accuracy	0.6254464356003986	(cbrt.f64 (neg.f64 g))
accuracy	0.0	(cbrt.f64 #s(literal 1/2 binary64))
accuracy	0.0	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a))))
accuracy	0.45150375976844204	(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
accuracy	15.92445178189344	(cbrt.f64 (/.f64 g a))
accuracy	0.0	(/.f64 g (+.f64 a a))
accuracy	0.0	(+.f64 a a)
accuracy	16.026714892216532	(cbrt.f64 (/.f64 g (+.f64 a a)))
accuracy	0.0	(/.f64 g #s(literal 2 binary64))
accuracy	0.3984375	(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
accuracy	0.5804863769897464	(cbrt.f64 a)
accuracy	0.6107789062950725	(cbrt.f64 (/.f64 g #s(literal 2 binary64)))

Samples

55.0ms

256×

valid

Compiler

Compiled 104 to 28 computations (73.1% saved)

Precisions

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

ival-cbrt: 17.0ms (46% of total)

ival-div: 12.0ms (32.5% of total)

ival-mult: 5.0ms (13.5% of total)

ival-add: 1.0ms (2.7% of total)

ival-neg: 1.0ms (2.7% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series84.0ms (2.7%)

Memory

0.2MiB live, 192.9MiB allocated

Counts

18 → 26

Calls

Call 1

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

Outputs
(* (cbrt (/ g a)) (cbrt 1/2))
(* (cbrt g) (cbrt 1/2))
(* 1/2 g)
(* 1/2 (/ g a))
(cbrt (/ g a))
(* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))
(* (cbrt g) (cbrt -1))
(* -1 g)
(* (cbrt (/ g a)) (/ 1 (cbrt 2)))
(/ g a)
(* -1 (* (cbrt (/ g a)) (cbrt -1/2)))
(* -1 (* (cbrt g) (cbrt -1/2)))
(* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))
(* -1 (* (cbrt (/ g a)) (cbrt -1)))
(* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))
(* -1 (cbrt g))
(* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))
(cbrt a)
(* 2 a)
(* (cbrt a) (cbrt -2))
(* -1 (* (cbrt a) (cbrt -1)))
(* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))
(* (cbrt (/ g a)) (* (pow (cbrt -1) 2) (cbrt 1/2)))
(* (cbrt (/ g a)) (pow (cbrt -1) 2))
(* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))
(* -1 (* (cbrt a) (cbrt 2)))

Calls

6 calls:

Time	Variable		Point	Expression
22.0ms	g	@	0	((/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (cbrt a) (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (cbrt (/ g (* 2 a))) (* (cbrt 1/2) (cbrt (/ g a))) (cbrt 1/2) (cbrt (/ g a)) (/ (cbrt (neg g)) (cbrt (* -2 a))) (cbrt (neg g)) (neg g) (cbrt (* -2 a)) (/ (cbrt (/ g a)) (cbrt 2)) (/ g a) (cbrt 2))
15.0ms	g	@	-inf	((/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (cbrt a) (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (cbrt (/ g (* 2 a))) (* (cbrt 1/2) (cbrt (/ g a))) (cbrt 1/2) (cbrt (/ g a)) (/ (cbrt (neg g)) (cbrt (* -2 a))) (cbrt (neg g)) (neg g) (cbrt (* -2 a)) (/ (cbrt (/ g a)) (cbrt 2)) (/ g a) (cbrt 2))
14.0ms	a	@	inf	((/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (cbrt a) (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (cbrt (/ g (* 2 a))) (* (cbrt 1/2) (cbrt (/ g a))) (cbrt 1/2) (cbrt (/ g a)) (/ (cbrt (neg g)) (cbrt (* -2 a))) (cbrt (neg g)) (neg g) (cbrt (* -2 a)) (/ (cbrt (/ g a)) (cbrt 2)) (/ g a) (cbrt 2))
13.0ms	a	@	0	((/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (cbrt a) (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (cbrt (/ g (* 2 a))) (* (cbrt 1/2) (cbrt (/ g a))) (cbrt 1/2) (cbrt (/ g a)) (/ (cbrt (neg g)) (cbrt (* -2 a))) (cbrt (neg g)) (neg g) (cbrt (* -2 a)) (/ (cbrt (/ g a)) (cbrt 2)) (/ g a) (cbrt 2))
10.0ms	a	@	-inf	((/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (/ g 2) (cbrt a) (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (cbrt (/ g (* 2 a))) (* (cbrt 1/2) (cbrt (/ g a))) (cbrt 1/2) (cbrt (/ g a)) (/ (cbrt (neg g)) (cbrt (* -2 a))) (cbrt (neg g)) (neg g) (cbrt (* -2 a)) (/ (cbrt (/ g a)) (cbrt 2)) (/ g a) (cbrt 2))

simplify116.0ms (3.8%)

Memory

-23.0MiB live, 36.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	57	175
1	126	171
2	248	171
3	479	171
4	872	171
5	1276	171
6	1825	171
7	2224	171
8	2316	171
9	2349	171
10	2355	171
11	2357	171
12	2469	171
13	2651	171
14	2667	171
15	2691	171
16	2740	171
17	2740	171
18	2740	171
19	2764	171
0	2764	171

Stop Event

1×	iter limit
1×	saturated

Counts

26 → 26

Calls

Call 1

Inputs
(* (cbrt (/ g a)) (cbrt 1/2))
(* (cbrt g) (cbrt 1/2))
(* 1/2 g)
(* 1/2 (/ g a))
(cbrt (/ g a))
(* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))
(* (cbrt g) (cbrt -1))
(* -1 g)
(* (cbrt (/ g a)) (/ 1 (cbrt 2)))
(/ g a)
(* -1 (* (cbrt (/ g a)) (cbrt -1/2)))
(* -1 (* (cbrt g) (cbrt -1/2)))
(* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))
(* -1 (* (cbrt (/ g a)) (cbrt -1)))
(* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))
(* -1 (cbrt g))
(* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))
(cbrt a)
(* 2 a)
(* (cbrt a) (cbrt -2))
(* -1 (* (cbrt a) (cbrt -1)))
(* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))
(* (cbrt (/ g a)) (* (pow (cbrt -1) 2) (cbrt 1/2)))
(* (cbrt (/ g a)) (pow (cbrt -1) 2))
(* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))
(* -1 (* (cbrt a) (cbrt 2)))

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

rewrite46.0ms (1.5%)

Memory

-7.3MiB live, 62.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	86
0	45	80
1	103	80
0	329	80

Stop Event

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

Counts

18 → 168

Calls

Call 1

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

Outputs
(*.f64 (pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/6 binary64)) (pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/6 binary64)))
(pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))))) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (neg.f64 g)))) (neg.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (neg.f64 (neg.f64 (cbrt.f64 #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (neg.f64 (cbrt.f64 (neg.f64 g))) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (cbrt.f64 a)))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (neg.f64 g))) (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal 2 binary64))))
(neg.f64 (/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 (neg.f64 g)) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(neg.f64 (/.f64 (cbrt.f64 (/.f64 g a)) (neg.f64 (cbrt.f64 #s(literal 2 binary64)))))
(cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (/.f64 g #s(literal 2 binary64)) #s(literal 1/6 binary64)) (pow.f64 (/.f64 g #s(literal 2 binary64)) #s(literal 1/6 binary64)))
(pow.f64 (/.f64 g #s(literal 2 binary64)) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 #s(literal -2 binary64)))
(cbrt.f64 (/.f64 g #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 g #s(literal 2 binary64))) #s(literal 1/3 binary64)))
(/.f64 (neg.f64 (neg.f64 g)) #s(literal 2 binary64))
(/.f64 (neg.f64 g) #s(literal -2 binary64))
(/.f64 g #s(literal 2 binary64))
(neg.f64 (/.f64 g #s(literal -2 binary64)))
(*.f64 (pow.f64 a #s(literal 1/6 binary64)) (pow.f64 a #s(literal 1/6 binary64)))
(pow.f64 a #s(literal 1/3 binary64))
(cbrt.f64 a)
(exp.f64 (*.f64 (log.f64 a) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/6 binary64)) (pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/6 binary64)))
(pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))))) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (neg.f64 g)))) (neg.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (neg.f64 (neg.f64 (cbrt.f64 #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (neg.f64 (cbrt.f64 (neg.f64 g))) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (cbrt.f64 a)))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (neg.f64 g))) (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal 2 binary64))))
(neg.f64 (/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 (neg.f64 g)) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(neg.f64 (/.f64 (cbrt.f64 (/.f64 g a)) (neg.f64 (cbrt.f64 #s(literal 2 binary64)))))
(cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a)) #s(literal 1/3 binary64)))
(*.f64 (/.f64 g #s(literal 0 binary64)) #s(literal 0 binary64))
(.f64 (/.f64 g (.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 a a #s(literal 0 binary64)))
(/.f64 (/.f64 (neg.f64 g) a) #s(literal -2 binary64))
(/.f64 (neg.f64 (neg.f64 g)) (*.f64 #s(literal -2 binary64) a))
(/.f64 (neg.f64 (/.f64 g #s(literal 2 binary64))) (neg.f64 a))
(/.f64 (neg.f64 (/.f64 g a)) #s(literal -2 binary64))
(/.f64 (neg.f64 g) (*.f64 #s(literal -2 binary64) a))
(/.f64 (/.f64 g a) #s(literal 2 binary64))
(/.f64 (/.f64 g #s(literal 2 binary64)) a)
(/.f64 g (*.f64 #s(literal -2 binary64) a))
(neg.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a))
(*.f64 (neg.f64 a) #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) a)
(*.f64 a #s(literal -2 binary64))
(*.f64 a #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (neg.f64 a))
(*.f64 #s(literal 2 binary64) a)
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (fma.f64 a a #s(literal 0 binary64))))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 a a #s(literal 0 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64))) (neg.f64 (fma.f64 a a #s(literal 0 binary64))))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64))) (fma.f64 a a #s(literal 0 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) a))
(-.f64 (/.f64 (.f64 a a) #s(literal 0 binary64)) (/.f64 (.f64 a a) #s(literal 0 binary64)))
(+.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a a #s(literal 0 binary64))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a a #s(literal 0 binary64))))
(+.f64 (neg.f64 a) (neg.f64 a))
(+.f64 a a)
#s(approx (cbrt (/ g (* 2 a))) (cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64))))
(*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a)))
(pow.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)) #s(literal 1/3 binary64))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))) (cbrt.f64 a))
(/.f64 (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 g)) (cbrt.f64 a))
(cbrt.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1/2 binary64) #s(literal 1/6 binary64)) (pow.f64 #s(literal 1/2 binary64) #s(literal 1/6 binary64)))
(pow.f64 #s(literal 1/2 binary64) #s(literal 1/3 binary64))
(cbrt.f64 #s(literal 1/2 binary64))
(exp.f64 (*.f64 (log.f64 #s(literal 1/2 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (/.f64 g a) #s(literal 1/6 binary64)) (pow.f64 (/.f64 g a) #s(literal 1/6 binary64)))
(pow.f64 (/.f64 g a) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 a))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (neg.f64 a)))
(cbrt.f64 (/.f64 g a))
(exp.f64 (*.f64 (log.f64 (/.f64 g a)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/6 binary64)) (pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/6 binary64)))
(pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))))) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (neg.f64 g)))) (neg.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (neg.f64 (neg.f64 (cbrt.f64 #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (neg.f64 (cbrt.f64 (neg.f64 g))) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (cbrt.f64 a)))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (neg.f64 g))) (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal 2 binary64))))
(neg.f64 (/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 (neg.f64 g)) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(neg.f64 (/.f64 (cbrt.f64 (/.f64 g a)) (neg.f64 (cbrt.f64 #s(literal 2 binary64)))))
(cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (neg.f64 g) #s(literal 1/6 binary64)) (pow.f64 (neg.f64 g) #s(literal 1/6 binary64)))
(pow.f64 (neg.f64 g) #s(literal 1/3 binary64))
(cbrt.f64 (neg.f64 g))
(exp.f64 (*.f64 (log.f64 (neg.f64 g)) #s(literal 1/3 binary64)))
(neg.f64 g)
(.f64 (pow.f64 (.f64 #s(literal -2 binary64) a) #s(literal 1/6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) a) #s(literal 1/6 binary64)))
(*.f64 (cbrt.f64 #s(literal -2 binary64)) (cbrt.f64 a))
(*.f64 (cbrt.f64 #s(literal 2 binary64)) (cbrt.f64 a))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64)))
(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal 2 binary64)))
(pow.f64 (*.f64 #s(literal -2 binary64) a) #s(literal 1/3 binary64))
(/.f64 (cbrt.f64 #s(literal 0 binary64)) (cbrt.f64 #s(literal 0 binary64)))
(/.f64 (cbrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 a #s(literal 3 binary64)))) (cbrt.f64 (fma.f64 a a #s(literal 0 binary64))))
(cbrt.f64 (*.f64 #s(literal -2 binary64) a))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal -2 binary64) a)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/6 binary64)) (pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/6 binary64)))
(pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/3 binary64))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))))) (neg.f64 (neg.f64 (cbrt.f64 a))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (neg.f64 g)))) (neg.f64 (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(/.f64 (neg.f64 (neg.f64 (cbrt.f64 (/.f64 g a)))) (neg.f64 (neg.f64 (cbrt.f64 #s(literal 2 binary64)))))
(/.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (neg.f64 (cbrt.f64 a)))
(/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (neg.f64 (cbrt.f64 #s(literal 2 binary64))))
(/.f64 (neg.f64 (cbrt.f64 (neg.f64 g))) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
(/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (cbrt.f64 a))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64)))) (cbrt.f64 a)))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (neg.f64 g))) (cbrt.f64 (*.f64 #s(literal -2 binary64) a))))
(neg.f64 (/.f64 (neg.f64 (cbrt.f64 (/.f64 g a))) (cbrt.f64 #s(literal 2 binary64))))
(neg.f64 (/.f64 (cbrt.f64 (/.f64 g #s(literal 2 binary64))) (neg.f64 (cbrt.f64 a))))
(neg.f64 (/.f64 (cbrt.f64 (neg.f64 g)) (neg.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))))
(neg.f64 (/.f64 (cbrt.f64 (/.f64 g a)) (neg.f64 (cbrt.f64 #s(literal 2 binary64)))))
(cbrt.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a))
(exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a)) #s(literal 1/3 binary64)))
(/.f64 (neg.f64 (neg.f64 g)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 g) (neg.f64 a))
(/.f64 g a)
(neg.f64 (/.f64 (neg.f64 g) a))
(neg.f64 (/.f64 g (neg.f64 a)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/6 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/6 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
(cbrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/3 binary64)))

eval16.0ms (0.5%)

Memory: 31.0MiB live, 31.0MiB allocated
Compiler: Compiled 1 708 to 406 computations (76.2% saved)

prune56.0ms (1.8%)

Memory

-22.0MiB live, 37.8MiB allocated

Pruning

14 alts after pruning (10 fresh and 4 done)

	Pruned	Kept	Total
New	138	9	147
Fresh	0	1	1
Picked	1	4	5
Done	0	0	0
Total	139	14	153

Accuracy

99.8%

Counts

153 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
	33.2%	(pow.f64 (/.f64 (/.f64 g #s(literal 2 binary64)) a) #s(literal 1/3 binary64))
▶	98.2%	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
	98.2%	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
▶	75.0%	(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
✓	74.4%	(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
▶	98.2%	(/.f64 (cbrt.f64 (neg.f64 g)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))))
	45.0%	(/.f64 (cbrt.f64 (neg.f64 g)) (exp.f64 (.f64 (log.f64 (.f64 #s(literal -2 binary64) a)) #s(literal 1/3 binary64))))
✓	98.7%	(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
▶	98.8%	(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g))) (cbrt.f64 a))
	98.6%	(/.f64 #s(approx (cbrt (/ g 2)) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))) (cbrt.f64 a))
✓	75.0%	(cbrt.f64 (/.f64 g (+.f64 a a)))
▶	33.2%	#s(approx (cbrt (/ g (* 2 a))) (pow.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)))
	74.9%	#s(approx (cbrt (/ g (* 2 a))) (.f64 (.f64 (pow.f64 #s(literal 1/2 binary64) #s(literal 1/6 binary64)) (pow.f64 #s(literal 1/2 binary64) #s(literal 1/6 binary64))) (cbrt.f64 (/.f64 g a))))
✓	75.0%	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a))))

Compiler

Compiled 251 to 230 computations (8.4% saved)

simplify6.0ms (0.2%)

Memory

10.7MiB live, 10.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 20 expressions of interest:

New	Metric	Score
cost-diff	0	(cbrt.f64 a)
cost-diff	0	(cbrt.f64 g)
cost-diff	0	(/.f64 (cbrt.f64 g) (cbrt.f64 a))
cost-diff	0	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
cost-diff	0	(*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64)))
cost-diff	0	(neg.f64 g)
cost-diff	0	(cbrt.f64 (neg.f64 g))
cost-diff	0	(/.f64 (cbrt.f64 (neg.f64 g)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))))
cost-diff	0	(/.f64 g a)
cost-diff	0	(cbrt.f64 (/.f64 g a))
cost-diff	0	(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
cost-diff	Infinite	(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
cost-diff	0	(/.f64 g a)
cost-diff	0	(*.f64 (/.f64 g a) #s(literal 1/2 binary64))
cost-diff	0	#s(approx (cbrt (/ g (* 2 a))) (pow.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)))
cost-diff	Infinite	(pow.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)) #s(literal 1/3 binary64))
cost-diff	0	(*.f64 #s(literal 1/2 binary64) g)
cost-diff	0	#s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g))
cost-diff	0	(cbrt.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g)))
cost-diff	0	(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g))) (cbrt.f64 a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	137
0	50	133
1	67	133
2	75	133
3	78	133
0	78	133

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize104.0ms (3.4%)

Memory

0.1MiB live, 194.2MiB allocated

Localize:

Found 20 expressions of interest:

New	Metric	Score
accuracy	0.37109375	(/.f64 (cbrt.f64 g) (cbrt.f64 a))
accuracy	0.5804863769897464	(cbrt.f64 a)
accuracy	0.6254464356003986	(cbrt.f64 g)
accuracy	1.0	(cbrt.f64 #s(literal 2 binary64))
accuracy	0.36166000976844204	(/.f64 (cbrt.f64 (neg.f64 g)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))))
accuracy	0.5804863769897464	(cbrt.f64 a)
accuracy	0.6254464356003986	(cbrt.f64 (neg.f64 g))
accuracy	1.0	(cbrt.f64 #s(literal -2 binary64))
accuracy	0.0	(pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64))
accuracy	0.0	(/.f64 g a)
accuracy	0.25	(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
accuracy	15.92445178189344	(cbrt.f64 (/.f64 g a))
accuracy	0.0	(/.f64 g a)
accuracy	0.0	#s(approx (cbrt (/ g (* 2 a))) (pow.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)) #s(literal 1/3 binary64)))
accuracy	0.01171875	(*.f64 (/.f64 g a) #s(literal 1/2 binary64))
accuracy	42.55798446733786	(pow.f64 (*.f64 (/.f64 g a) #s(literal 1/2 binary64)) #s(literal 1/3 binary64))
accuracy	0.0	#s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g))
accuracy	0.3984375	(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g))) (cbrt.f64 a))
accuracy	0.5804863769897464	(cbrt.f64 a)
accuracy	0.6107789062950725	(cbrt.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g)))

Samples

83.0ms

256×

valid

Compiler

Compiled 119 to 30 computations (74.8% saved)

Precisions

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

ival-cbrt: 34.0ms (53.8% of total)

ival-div: 14.0ms (22.2% of total)

ival-mult: 10.0ms (15.8% of total)

const: 4.0ms (6.3% of total)

ival-neg: 1.0ms (1.6% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series72.0ms (2.3%)

Memory

16.9MiB live, 140.1MiB allocated

Counts

21 → 25

Calls

Call 1

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

Outputs
(* (cbrt (/ g a)) (cbrt 1/2))
(* (cbrt g) (cbrt 1/2))
(* 1/2 g)
(* 1/2 (/ g a))
(/ g a)
(* (cbrt (/ g a)) (/ 1 (cbrt 2)))
(cbrt (/ g a))
(* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))
(* (cbrt g) (cbrt -1))
(* -1 g)
(cbrt g)
(* -1 (* (cbrt (/ g a)) (cbrt -1/2)))
(* -1 (* (cbrt g) (cbrt -1/2)))
(* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))
(* -1 (* (cbrt (/ g a)) (cbrt -1)))
(* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))
(* -1 (cbrt g))
(* -1 (* (cbrt g) (cbrt -1)))
(* (cbrt a) (cbrt -2))
(cbrt a)
(* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))
(* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))
(* (cbrt (/ g a)) (pow (cbrt -1) 2))
(* -1 (* (cbrt a) (* (cbrt -2) (cbrt -1))))
(* -1 (* (cbrt a) (cbrt -1)))

Calls

6 calls:

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

simplify84.0ms (2.7%)

Memory

-10.6MiB live, 51.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	160
1	116	156
2	235	156
3	424	156
4	667	156
5	898	156
6	1163	156
7	1392	156
8	1702	156
9	1923	156
10	1989	156
11	1999	156
12	1999	156
13	2079	156
14	2234	156
15	2238	156
16	2238	156
17	2246	156
0	2246	156

Stop Event

1×	iter limit
1×	saturated

Counts

25 → 25

Calls

Call 1

Inputs
(* (cbrt (/ g a)) (cbrt 1/2))
(* (cbrt g) (cbrt 1/2))
(* 1/2 g)
(* 1/2 (/ g a))
(/ g a)
(* (cbrt (/ g a)) (/ 1 (cbrt 2)))
(cbrt (/ g a))
(* (cbrt (/ g a)) (/ (cbrt -1) (cbrt -2)))
(* (cbrt g) (cbrt -1))
(* -1 g)
(cbrt g)
(* -1 (* (cbrt (/ g a)) (cbrt -1/2)))
(* -1 (* (cbrt g) (cbrt -1/2)))
(* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))
(* -1 (* (cbrt (/ g a)) (cbrt -1)))
(* -1 (* (cbrt (/ g a)) (/ 1 (cbrt -2))))
(* -1 (cbrt g))
(* -1 (* (cbrt g) (cbrt -1)))
(* (cbrt a) (cbrt -2))
(cbrt a)
(* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))
(* (cbrt (/ g a)) (/ (pow (cbrt -1) 2) (cbrt 2)))
(* (cbrt (/ g a)) (pow (cbrt -1) 2))
(* -1 (* (cbrt a) (* (cbrt -2) (cbrt -1))))
(* -1 (* (cbrt a) (cbrt -1)))

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

rewrite126.0ms (4.1%)

Memory

-78.6MiB live, 103.4MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	113
0	50	103
1	112	100
2	318	100
0	1335	100

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

21 → 431

Calls

Call 1

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

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

eval34.0ms (1.1%)

Memory: 49.1MiB live, 106.4MiB allocated
Compiler: Compiled 4 727 to 897 computations (81% saved)

prune13.0ms (0.4%)

Memory

-22.0MiB live, 38.2MiB allocated

Pruning

14 alts after pruning (6 fresh and 8 done)

	Pruned	Kept	Total
New	312	3	315
Fresh	2	3	5
Picked	1	4	5
Done	0	4	4
Total	315	14	329

Accuracy

99.9%

Counts

329 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	33.2%	(pow.f64 (/.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g)) a) #s(literal 1/3 binary64))
✓	98.2%	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
▶	98.2%	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
✓	75.0%	(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
✓	74.4%	(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
✓	98.2%	(/.f64 (cbrt.f64 (neg.f64 g)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))))
✓	98.7%	(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
✓	98.8%	(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g))) (cbrt.f64 a))
▶	98.6%	(/.f64 #s(approx (cbrt (/ g 2)) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))) (cbrt.f64 a))
✓	75.0%	(cbrt.f64 (/.f64 g (+.f64 a a)))
	74.9%	#s(approx (cbrt (/ g (* 2 a))) (.f64 (.f64 (pow.f64 #s(literal 1/2 binary64) #s(literal 1/6 binary64)) (pow.f64 #s(literal 1/2 binary64) #s(literal 1/6 binary64))) (cbrt.f64 (/.f64 g a))))
▶	98.5%	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))))
▶	98.7%	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))))
✓	75.0%	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a))))

Compiler

Compiled 231 to 205 computations (11.3% saved)

simplify6.0ms (0.2%)

Memory

12.6MiB live, 12.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 20 expressions of interest:

New	Metric	Score
cost-diff	0	(cbrt.f64 #s(literal 2 binary64))
cost-diff	0	(cbrt.f64 g)
cost-diff	0	(/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64)))
cost-diff	0	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
cost-diff	0	(cbrt.f64 g)
cost-diff	0	(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
cost-diff	0	#s(approx (cbrt (/ g 2)) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64))))
cost-diff	0	(/.f64 #s(approx (cbrt (/ g 2)) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))) (cbrt.f64 a))
cost-diff	0	(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
cost-diff	0	(cbrt.f64 g)
cost-diff	0	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
cost-diff	0	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))))
cost-diff	0	(*.f64 #s(literal 1/2 binary64) g)
cost-diff	0	#s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g))
cost-diff	0	(/.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g)) a)
cost-diff	Infinite	(pow.f64 (/.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g)) a) #s(literal 1/3 binary64))
cost-diff	0	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))
cost-diff	0	(cbrt.f64 g)
cost-diff	0	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
cost-diff	0	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	163
0	46	162
1	59	162
2	66	162
3	68	162
0	68	162

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize84.0ms (2.7%)

Memory

8.8MiB live, 206.2MiB allocated

Localize:

Found 20 expressions of interest:

New	Metric	Score
accuracy	0.3984375	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
accuracy	0.5804863769897464	(cbrt.f64 a)
accuracy	0.6254464356003986	(cbrt.f64 g)
accuracy	1.0	(cbrt.f64 #s(literal 2 binary64))
accuracy	0.3984375	(/.f64 #s(approx (cbrt (/ g 2)) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))) (cbrt.f64 a))
accuracy	0.5098038086106522	(*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))
accuracy	0.5804863769897464	(cbrt.f64 a)
accuracy	0.6254464356003986	(cbrt.f64 g)
accuracy	0.38671875	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a)))
accuracy	0.43359375	(/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))
accuracy	0.5804863769897464	(cbrt.f64 a)
accuracy	0.6254464356003986	(cbrt.f64 g)
accuracy	0.0	(/.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g)) a)
accuracy	0.0	(*.f64 #s(literal 1/2 binary64) g)
accuracy	0.0	#s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g))
accuracy	42.55798446733786	(pow.f64 (/.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g)) a) #s(literal 1/3 binary64))
accuracy	0.0	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))))
accuracy	0.38671875	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a)))
accuracy	0.5190202149057246	(cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))
accuracy	0.6254464356003986	(cbrt.f64 g)

Samples

66.0ms

256×

valid

Compiler

Compiled 124 to 28 computations (77.4% saved)

Precisions

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

ival-div: 19.0ms (43.7% of total)

ival-cbrt: 11.0ms (25.3% of total)

ival-mult: 8.0ms (18.4% of total)

const: 4.0ms (9.2% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series135.0ms (4.4%)

Memory

-11.6MiB live, 122.9MiB allocated

Counts

18 → 19

Calls

Call 1

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

Outputs
(* (cbrt (/ g a)) (cbrt 1/2))
(cbrt g)
(* 1/2 (/ g a))
(* 1/2 g)
(* (cbrt g) (cbrt 1/2))
(* (cbrt (/ g a)) (/ 1 (cbrt 2)))
(* (cbrt g) (/ 1 (cbrt 2)))
(* -1 (* (cbrt (/ g a)) (cbrt -1/2)))
(* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))
(* -1 (* (cbrt g) (cbrt -1)))
(* -1 (* (cbrt g) (cbrt -1/2)))
(* -1 (* (cbrt g) (* (cbrt -1) (cbrt 1/2))))
(* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))
(* -1 (* (cbrt g) (/ (cbrt -1) (cbrt 2))))
(* (cbrt (/ 1 a)) (cbrt 1/2))
(cbrt a)
(* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))
(* (cbrt (/ 1 a)) (* (cbrt -1) (cbrt -1/2)))
(* -1 (* (cbrt a) (cbrt -1)))

Calls

6 calls:

Time	Variable		Point	Expression
89.0ms	a	@	0	((cbrt (/ g (* 2 a))) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) (cbrt (/ 1/2 a)) (pow (/ (/ g 2) a) 1/3) (/ (/ g 2) a) (/ g 2) (* 1/2 g) (cbrt (/ g (* 2 a))) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (* (cbrt g) (cbrt 1/2)) (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)) (cbrt 2) (cbrt a))
11.0ms	a	@	-inf	((cbrt (/ g (* 2 a))) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) (cbrt (/ 1/2 a)) (pow (/ (/ g 2) a) 1/3) (/ (/ g 2) a) (/ g 2) (* 1/2 g) (cbrt (/ g (* 2 a))) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (* (cbrt g) (cbrt 1/2)) (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)) (cbrt 2) (cbrt a))
10.0ms	g	@	-inf	((cbrt (/ g (* 2 a))) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) (cbrt (/ 1/2 a)) (pow (/ (/ g 2) a) 1/3) (/ (/ g 2) a) (/ g 2) (* 1/2 g) (cbrt (/ g (* 2 a))) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (* (cbrt g) (cbrt 1/2)) (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)) (cbrt 2) (cbrt a))
9.0ms	g	@	0	((cbrt (/ g (* 2 a))) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) (cbrt (/ 1/2 a)) (pow (/ (/ g 2) a) 1/3) (/ (/ g 2) a) (/ g 2) (* 1/2 g) (cbrt (/ g (* 2 a))) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (* (cbrt g) (cbrt 1/2)) (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)) (cbrt 2) (cbrt a))
8.0ms	a	@	inf	((cbrt (/ g (* 2 a))) (* (cbrt g) (cbrt (/ 1/2 a))) (cbrt g) (cbrt (/ 1/2 a)) (pow (/ (/ g 2) a) 1/3) (/ (/ g 2) a) (/ g 2) (* 1/2 g) (cbrt (/ g (* 2 a))) (* (cbrt g) (/ (cbrt 1/2) (cbrt a))) (/ (cbrt 1/2) (cbrt a)) (/ (cbrt (/ g 2)) (cbrt a)) (cbrt (/ g 2)) (* (cbrt g) (cbrt 1/2)) (/ (/ (cbrt g) (cbrt 2)) (cbrt a)) (/ (cbrt g) (cbrt 2)) (cbrt 2) (cbrt a))

simplify32.0ms (1%)

Memory

-39.3MiB live, 20.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	133
1	108	129
2	237	129
3	451	129
4	597	129
5	683	129
6	687	129
0	687	129

Stop Event

1×	iter limit
1×	saturated

Counts

19 → 19

Calls

Call 1

Inputs
(* (cbrt (/ g a)) (cbrt 1/2))
(cbrt g)
(* 1/2 (/ g a))
(* 1/2 g)
(* (cbrt g) (cbrt 1/2))
(* (cbrt (/ g a)) (/ 1 (cbrt 2)))
(* (cbrt g) (/ 1 (cbrt 2)))
(* -1 (* (cbrt (/ g a)) (cbrt -1/2)))
(* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2))))
(* -1 (* (cbrt g) (cbrt -1)))
(* -1 (* (cbrt g) (cbrt -1/2)))
(* -1 (* (cbrt g) (* (cbrt -1) (cbrt 1/2))))
(* -1 (* (cbrt (/ g a)) (/ (cbrt -1) (cbrt 2))))
(* -1 (* (cbrt g) (/ (cbrt -1) (cbrt 2))))
(* (cbrt (/ 1 a)) (cbrt 1/2))
(cbrt a)
(* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2)))
(* (cbrt (/ 1 a)) (* (cbrt -1) (cbrt -1/2)))
(* -1 (* (cbrt a) (cbrt -1)))

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

rewrite115.0ms (3.7%)

Memory

17.4MiB live, 136.0MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	130
0	46	117
1	101	116
2	269	116
0	1001	116

Stop Event

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

Counts

18 → 242

Calls

Call 1

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

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

eval38.0ms (1.2%)

Memory: -9.2MiB live, 58.8MiB allocated
Compiler: Compiled 4 476 to 768 computations (82.8% saved)

prune30.0ms (1%)

Memory

13.0MiB live, 72.2MiB allocated

Pruning

16 alts after pruning (3 fresh and 13 done)

	Pruned	Kept	Total
New	271	3	274
Fresh	1	0	1
Picked	0	5	5
Done	0	8	8
Total	272	16	288

Accuracy

99.9%

Counts

288 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	33.2%	(pow.f64 (/.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g)) a) #s(literal 1/3 binary64))
✓	98.2%	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 #s(literal 2 binary64)))
✓	98.2%	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 2 binary64))) (cbrt.f64 a))
✓	75.0%	(/.f64 (cbrt.f64 (/.f64 g a)) (pow.f64 #s(literal 2 binary64) #s(literal 1/3 binary64)))
✓	74.4%	(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 #s(literal 2 binary64)))
✓	98.2%	(/.f64 (cbrt.f64 (neg.f64 g)) (*.f64 (cbrt.f64 a) (cbrt.f64 #s(literal -2 binary64))))
✓	98.7%	(/.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 #s(literal -2 binary64) a)))
✓	98.8%	(/.f64 (cbrt.f64 #s(approx (/ g 2) (*.f64 #s(literal 1/2 binary64) g))) (cbrt.f64 a))
	47.8%	(/.f64 #s(approx (cbrt (/ g 2)) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))) (pow.f64 (exp.f64 (log.f64 a)) #s(literal 1/3 binary64)))
✓	98.6%	(/.f64 #s(approx (cbrt (/ g 2)) (*.f64 (cbrt.f64 g) (cbrt.f64 #s(literal 1/2 binary64)))) (cbrt.f64 a))
✓	75.0%	(cbrt.f64 (/.f64 g (+.f64 a a)))
✓	98.5%	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 a))))
✓	98.7%	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 #s(literal 1/2 binary64) a))))
	98.6%	#s(approx (cbrt (/ g (* 2 a))) (.f64 (cbrt.f64 g) #s(approx (cbrt (/ 1/2 a)) (.f64 (cbrt.f64 (/.f64 #s(literal 1 binary64) a)) (cbrt.f64 #s(literal 1/2 binary64))))))
✓	75.0%	#s(approx (cbrt (/ g (* 2 a))) (*.f64 (cbrt.f64 #s(literal 1/2 binary64)) (cbrt.f64 (/.f64 g a))))
	75.0%	#s(approx (cbrt (/ g (* 2 a))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g)))

Compiler

Compiled 430 to 258 computations (40% saved)

regimes35.0ms (1.1%)

Memory

33.4MiB live, 91.1MiB allocated

Counts

22 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes17.0ms (0.6%)

Memory

-20.7MiB live, 38.7MiB allocated

Counts

8 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes13.0ms (0.4%)

Memory

38.8MiB live, 38.8MiB allocated

Counts

7 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes33.0ms (1.1%)

Memory

-53.5MiB live, 29.6MiB allocated

Counts

6 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 16 to 19 computations (-18.8% saved)

regimes6.0ms (0.2%)

Memory

11.1MiB live, 11.1MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 16 to 19 computations (-18.8% saved)

simplify42.0ms (1.4%)

Memory

-14.9MiB live, 45.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	58
1	34	58
2	38	58
3	41	58
4	48	58
5	70	58
6	228	58
7	1869	58
8	3527	58

Stop Event

1×	node limit

Calls

Call 1

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

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

soundness396.0ms (12.8%)

Memory

38.6MiB live, 397.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	130
0	46	117
1	101	116
2	269	116
0	1001	116
0	27	86
0	45	80
1	103	80
0	329	80
0	18	33
1	35	33
2	56	33
3	59	33
4	60	33
0	60	33
0	31	113
0	50	103
1	112	100
2	318	100
0	1335	100
0	6	14
0	9	14
1	23	14
2	76	14
0	306	14
0	57	175
1	126	171
2	248	171
3	479	171
4	872	171
5	1276	171
6	1825	171
7	2224	171
8	2316	171
9	2349	171
10	2355	171
11	2357	171
12	2469	171
13	2651	171
14	2667	171
15	2691	171
16	2740	171
17	2740	171
18	2740	171
19	2764	171
0	2764	171

Stop Event

1×	fuel
1×	iter limit
1×	saturated
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	saturated
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Compiler

Compiled 181 to 136 computations (24.9% saved)

preprocess49.0ms (1.6%)

Memory: -11.2MiB live, 122.3MiB allocated
Compiler: Compiled 128 to 70 computations (45.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze12.0ms (0.4%)

sample940.0ms (30.5%)

explain67.0ms (2.2%)

preprocess19.0ms (0.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.1%)

localize21.0ms (0.7%)

series86.0ms (2.8%)

simplify4.0ms (0.1%)

rewrite42.0ms (1.4%)

eval8.0ms (0.3%)

prune11.0ms (0.4%)

simplify5.0ms (0.2%)

localize72.0ms (2.3%)

series84.0ms (2.7%)

simplify116.0ms (3.8%)

rewrite46.0ms (1.5%)

eval16.0ms (0.5%)

prune56.0ms (1.8%)

simplify6.0ms (0.2%)

localize104.0ms (3.4%)

series72.0ms (2.3%)

simplify84.0ms (2.7%)

rewrite126.0ms (4.1%)

eval34.0ms (1.1%)

prune13.0ms (0.4%)

simplify6.0ms (0.2%)

localize84.0ms (2.7%)

series135.0ms (4.4%)

simplify32.0ms (1%)

rewrite115.0ms (3.7%)

eval38.0ms (1.2%)

prune30.0ms (1%)

regimes35.0ms (1.1%)

regimes17.0ms (0.6%)

regimes13.0ms (0.4%)

regimes33.0ms (1.1%)

regimes6.0ms (0.2%)

simplify42.0ms (1.4%)

soundness396.0ms (12.8%)

preprocess49.0ms (1.6%)

end0.0ms (0%)

Profiling