Metrics for 2-ancestry mixing, zero discriminant

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze11.0ms (0.9%)

Memory

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

sample626.0ms (48.9%)

Memory

-3.1MiB live, 851.9MiB allocated

Samples

387.0ms

8 004×

valid

Precisions

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

ival-div: 76.0ms (37.2% of total)

ival-mult: 61.0ms (29.9% of total)

ival-cbrt: 53.0ms (25.9% of total)

ival-true: 6.0ms (2.9% of total)

exact: 5.0ms (2.4% of total)

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

Bogosity

explain1.0ms (0.1%)

Memory

2.3MiB live, 2.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
2	-	-	`(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))`
0	-	-	`(/.f64 g (*.f64 #s(literal 2 binary64) a))`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`a`
0	-	-	`g`
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)))`	uflow-rescue	1	0
↳	`(/.f64 g (*.f64 #s(literal 2 binary64) a))`	underflow	1
`cbrt.f64`	`(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))`	oflow-rescue	1	0
↳	`(/.f64 g (*.f64 #s(literal 2 binary64) a))`	overflow	1

Confusion

	Predicted +	Predicted -
+	2	0
-	0	2

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2	0	0
-	0	0	2

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	2
1	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

0.0ms

8×

valid

Compiler

Compiled 61 to 28 computations (54.1% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

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

preprocess14.0ms (1.1%)

Memory

24.5MiB live, 24.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	36
1	38	32
2	78	32
3	116	32
4	133	32
5	156	32
6	197	32
7	227	32
8	232	32
0	6	6
0	9	6
1	12	6
2	14	6
0	14	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.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 6 to 6 computations (0% saved)

simplify5.0ms (0.4%)

Memory

-31.5MiB live, 5.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	12	17
2	14	17
0	14	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

localize1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

0.0ms

4×

valid

Compiler

Compiled 36 to 14 computations (61.1% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

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

series27.0ms (2.1%)

Memory

12.4MiB live, 50.6MiB allocated

Counts

3 → 60

Calls

Call 1

Inputs
#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())
#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())
#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())

Inputs

#s(alt (cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())

#s(alt (/.f64 g (*.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (*.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())

#s(alt (*.f64 #s(literal 2 binary64) a) (patch (*.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())

Outputs
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor 0 a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor 0 a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor 0 a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor 0 a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor inf a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor inf a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor inf a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor inf a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor -inf a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor -inf a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor -inf a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* 2 a) (taylor -inf a) (#s(alt (.f64 #s(literal 2 binary64) a) (patch (.f64 #s(literal 2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) (patch (cbrt.f64 (/.f64 g (.f64 #s(literal 2 binary64) a))) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (/.f64 g (.f64 #s(literal 2 binary64) a)) (patch (/.f64 g (.f64 #s(literal 2 binary64) a)) #<representation binary64>) () ())) ())

Calls

6 calls:

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

simplify6.0ms (0.5%)

Memory

9.4MiB live, 9.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	340
1	32	340
2	52	340
3	58	340
4	63	340
5	75	340
6	87	340
7	102	340
8	130	340
9	135	340
0	135	340

Stop Event

1×	iter limit
1×	saturated

Counts

60 → 60

Calls

Call 1

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

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

rewrite102.0ms (7.9%)

Memory

-9.3MiB live, 111.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	14
0	9	14
1	25	14
2	119	14
3	634	14
4	5097	14
0	8371	14

Stop Event

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

Counts

3 → 399

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
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval5.0ms (0.4%)

Memory: 11.1MiB live, 11.1MiB allocated
Compiler: Compiled 4 831 to 1 116 computations (76.9% saved)

prune1.0ms (0.1%)

Memory

2.8MiB live, 2.8MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	456	3	459
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	456	4	460

Accuracy

100.0%

Counts

460 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(/.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a)))
▶	99.0%	(.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)))
✓	51.6%	(cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a)))
▶	51.8%	(cbrt.f64 (*.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)))

Compiler

Compiled 30 to 30 computations (0% saved)

simplify8.0ms (0.6%)

Memory

12.5MiB live, 12.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	71
0	28	71
1	40	69
2	62	69
3	95	69
4	127	69
5	156	69
6	191	69
7	204	69
8	216	69
9	216	69
0	216	69

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize4.0ms (0.3%)

Memory

-35.3MiB live, 2.7MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 #s(literal -1/2 binary64) g)
accuracy	0	(neg.f64 a)
accuracy	0.75	(cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))
accuracy	0.75	(cbrt.f64 (neg.f64 a))
accuracy	0	(*.f64 #s(literal -1/2 binary64) g)
accuracy	0.5	(.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)))
accuracy	0.75	(cbrt.f64 (/.f64 #s(literal -1 binary64) a))
accuracy	0.75	(cbrt.f64 (*.f64 #s(literal -1/2 binary64) g))
accuracy	0	(/.f64 #s(literal -1/2 binary64) a)
accuracy	0	(neg.f64 g)
accuracy	0.25	(*.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))
accuracy	30.975893563402465	(cbrt.f64 (*.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)))

Samples

1.0ms

4×

valid

Compiler

Compiled 144 to 34 computations (76.4% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

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

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

series71.0ms (5.5%)

Memory

37.1MiB live, 116.8MiB allocated

Counts

12 → 192

Calls

Call 1

Inputs
#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())
#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())
#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())
#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())
#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())
#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())
#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())
#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())
#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())
#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())

Outputs
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor 0 a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor 0 a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor 0 a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor 0 a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor 0 a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor 0 a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor 0 a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor 0 a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor 0 a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor 0 a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor 0 a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor 0 a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor 0 a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor 0 a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor 0 a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor 0 a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor 0 a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor 0 a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor 0 a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor 0 a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt a) (cbrt -1)) (taylor 0 a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt a) (cbrt -1)) (taylor 0 a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt a) (cbrt -1)) (taylor 0 a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt a) (cbrt -1)) (taylor 0 a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor 0 a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor 0 a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor 0 a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor 0 a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor inf a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor inf a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor inf a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor inf a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor inf a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor inf a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor inf a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor inf a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor inf a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor inf a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor inf a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor inf a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor inf a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor inf a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor inf a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor inf a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt a) (cbrt -1)) (taylor inf a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt a) (cbrt -1)) (taylor inf a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt a) (cbrt -1)) (taylor inf a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt a) (cbrt -1)) (taylor inf a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor inf a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor inf a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor inf a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor inf a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor -inf a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor -inf a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor -inf a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1/2 a) (taylor -inf a) (#s(alt (/.f64 #s(literal -1/2 binary64) a) (patch (/.f64 #s(literal -1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor -inf a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor -inf a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor -inf a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ 1 a)) (cbrt -1)) (taylor -inf a) (#s(alt (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (patch (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor -inf a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor -inf a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor -inf a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ -1 a) (taylor -inf a) (#s(alt (/.f64 #s(literal -1 binary64) a) (patch (/.f64 #s(literal -1 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* -1 (cbrt a)) (taylor -inf a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 (cbrt a)) (taylor -inf a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 (cbrt a)) (taylor -inf a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 (cbrt a)) (taylor -inf a) (#s(alt (cbrt.f64 (neg.f64 a)) (patch (cbrt.f64 (neg.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor -inf a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor -inf a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor -inf a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 a) (taylor -inf a) (#s(alt (neg.f64 a) (patch (neg.f64 a) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor 0 g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor 0 g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor 0 g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor 0 g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor 0 g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor 0 g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor 0 g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor 0 g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt -1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt -1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt -1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt -1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor 0 g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor 0 g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor 0 g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor 0 g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor 0 g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor 0 g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor 0 g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor 0 g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor inf g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor inf g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor inf g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor inf g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor inf g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor inf g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor inf g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor inf g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt -1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt -1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt -1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt -1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (/ (cbrt -1/2) (cbrt -1))) (taylor inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor inf g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor inf g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor inf g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor inf g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) (patch (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) (patch (cbrt.f64 (.f64 (/.f64 #s(literal -1/2 binary64) a) (neg.f64 g))) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor -inf g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor -inf g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor -inf g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 g) (taylor -inf g) (#s(alt (neg.f64 g) (patch (neg.f64 g) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2)))) (taylor -inf g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2)))) (taylor -inf g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2)))) (taylor -inf g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (* (cbrt -1) (cbrt 1/2)))) (taylor -inf g) (#s(alt (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) (patch (.f64 (cbrt.f64 (/.f64 #s(literal -1 binary64) a)) (cbrt.f64 (.f64 #s(literal -1/2 binary64) g))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt g) (cbrt 1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt g) (cbrt 1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt g) (cbrt 1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt g) (cbrt 1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (/ (cbrt 1/2) (cbrt -1)))) (taylor -inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (/ (cbrt 1/2) (cbrt -1)))) (taylor -inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (/ (cbrt 1/2) (cbrt -1)))) (taylor -inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (/ (cbrt 1/2) (cbrt -1)))) (taylor -inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) (patch (/.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) g)) (cbrt.f64 (neg.f64 a))) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor -inf g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor -inf g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor -inf g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1/2 g) (taylor -inf g) (#s(alt (.f64 #s(literal -1/2 binary64) g) (patch (.f64 #s(literal -1/2 binary64) g) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
24.0ms	a	@	inf	((* (/ -1/2 a) (neg g)) (cbrt (* (/ -1/2 a) (neg g))) (/ -1/2 a) (neg g) (* (cbrt (/ -1 a)) (cbrt (* -1/2 g))) (cbrt (/ -1 a)) (/ -1 a) (cbrt (* -1/2 g)) (/ (cbrt (* -1/2 g)) (cbrt (neg a))) (* -1/2 g) (cbrt (neg a)) (neg a))
13.0ms	a	@	0	((* (/ -1/2 a) (neg g)) (cbrt (* (/ -1/2 a) (neg g))) (/ -1/2 a) (neg g) (* (cbrt (/ -1 a)) (cbrt (* -1/2 g))) (cbrt (/ -1 a)) (/ -1 a) (cbrt (* -1/2 g)) (/ (cbrt (* -1/2 g)) (cbrt (neg a))) (* -1/2 g) (cbrt (neg a)) (neg a))
10.0ms	g	@	inf	((* (/ -1/2 a) (neg g)) (cbrt (* (/ -1/2 a) (neg g))) (/ -1/2 a) (neg g) (* (cbrt (/ -1 a)) (cbrt (* -1/2 g))) (cbrt (/ -1 a)) (/ -1 a) (cbrt (* -1/2 g)) (/ (cbrt (* -1/2 g)) (cbrt (neg a))) (* -1/2 g) (cbrt (neg a)) (neg a))
8.0ms	g	@	-inf	((* (/ -1/2 a) (neg g)) (cbrt (* (/ -1/2 a) (neg g))) (/ -1/2 a) (neg g) (* (cbrt (/ -1 a)) (cbrt (* -1/2 g))) (cbrt (/ -1 a)) (/ -1 a) (cbrt (* -1/2 g)) (/ (cbrt (* -1/2 g)) (cbrt (neg a))) (* -1/2 g) (cbrt (neg a)) (neg a))
7.0ms	g	@	0	((* (/ -1/2 a) (neg g)) (cbrt (* (/ -1/2 a) (neg g))) (/ -1/2 a) (neg g) (* (cbrt (/ -1 a)) (cbrt (* -1/2 g))) (cbrt (/ -1 a)) (/ -1 a) (cbrt (* -1/2 g)) (/ (cbrt (* -1/2 g)) (cbrt (neg a))) (* -1/2 g) (cbrt (neg a)) (neg a))

simplify22.0ms (1.7%)

Memory

-7.1MiB live, 31.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	1148
1	83	1148
2	163	1148
3	229	1148
4	274	1148
5	377	1148
6	460	1148
7	530	1148
8	669	1148
9	683	1148
10	684	1148
0	684	1148

Stop Event

1×	iter limit
1×	saturated

Counts

192 → 192

Calls

Call 1

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

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

rewrite97.0ms (7.6%)

Memory

-3.0MiB live, 110.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	54
0	28	51
1	78	47
2	329	47
3	1933	45
0	9148	44

Stop Event

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

Counts

12 → 910

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval16.0ms (1.2%)

Memory: -6.0MiB live, 32.1MiB allocated
Compiler: Compiled 14 931 to 2 066 computations (86.2% saved)

prune2.0ms (0.1%)

Memory

5.3MiB live, 5.3MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	1 237	2	1 239
Fresh	0	0	0
Picked	2	1	3
Done	1	0	1
Total	1 240	3	1 243

Accuracy

100.0%

Counts

1 243 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

▶

99.6%

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

✓

99.0%

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

▶

51.8%

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

Compiler

Compiled 22 to 22 computations (0% saved)

simplify3.0ms (0.3%)

Memory

5.7MiB live, 5.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	36
0	17	36
1	20	36
2	22	36
3	23	36
0	23	36

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize1.0ms (0.1%)

Memory

1.7MiB live, 1.7MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a))
accuracy	0	(*.f64 #s(literal 1/2 binary64) g)
accuracy	0.75	(cbrt.f64 (*.f64 #s(literal 1/2 binary64) g))
accuracy	0.75	(cbrt.f64 a)
accuracy	0	(/.f64 #s(literal 1/2 binary64) a)
accuracy	0.25	(*.f64 (/.f64 #s(literal 1/2 binary64) a) g)
accuracy	30.975893563402465	(cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) g))

Samples

0.0ms

4×

valid

Compiler

Compiled 74 to 22 computations (70.3% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

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

series86.0ms (6.7%)

Memory

-23.5MiB live, 66.5MiB allocated

Counts

7 → 120

Calls

Call 1

Inputs
#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())
#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())
#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())
#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())
#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())

Outputs
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor 0 a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor 0 a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor 0 a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor 0 a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (cbrt a) (taylor 0 a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (cbrt a) (taylor 0 a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (cbrt a) (taylor 0 a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (cbrt a) (taylor 0 a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor inf a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor inf a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor inf a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor inf a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (cbrt a) (taylor inf a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (cbrt a) (taylor inf a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (cbrt a) (taylor inf a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (cbrt a) (taylor inf a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (* (cbrt -1) (cbrt -1/2))) (taylor -inf a) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf a) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor -inf a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor -inf a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor -inf a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (/ 1/2 a) (taylor -inf a) (#s(alt (/.f64 #s(literal 1/2 binary64) a) (patch (/.f64 #s(literal 1/2 binary64) a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor -inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor -inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor -inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor -inf a) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt a) (cbrt -1))) (taylor -inf a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt a) (cbrt -1))) (taylor -inf a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt a) (cbrt -1))) (taylor -inf a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt a) (cbrt -1))) (taylor -inf a) (#s(alt (cbrt.f64 a) (patch (cbrt.f64 a) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor 0 g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor 0 g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt 1/2)) (taylor 0 g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor 0 g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor 0 g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor 0 g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor 0 g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor inf g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt (/ g a)) (cbrt 1/2)) (taylor inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* (cbrt g) (cbrt 1/2)) (taylor inf g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor inf g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor inf g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor inf g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor inf g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) (patch (cbrt.f64 (.f64 (/.f64 #s(literal 1/2 binary64) a) g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (/ g a)) (taylor -inf g) (#s(alt (.f64 (/.f64 #s(literal 1/2 binary64) a) g) (patch (.f64 (/.f64 #s(literal 1/2 binary64) a) g) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt (/ g a)) (cbrt -1/2))) (taylor -inf g) (#s(alt (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) (patch (/.f64 (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (cbrt.f64 a)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt g) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt g) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt g) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (cbrt g) (cbrt -1/2))) (taylor -inf g) (#s(alt (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) (patch (cbrt.f64 (.f64 #s(literal 1/2 binary64) g)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor -inf g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor -inf g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor -inf g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())
#s(alt (* 1/2 g) (taylor -inf g) (#s(alt (.f64 #s(literal 1/2 binary64) g) (patch (.f64 #s(literal 1/2 binary64) g) #<representation binary64>) () ())) ())

Calls

6 calls:

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

simplify10.0ms (0.8%)

Memory

10.9MiB live, 10.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	652
1	49	652
2	89	652
3	101	652
4	110	652
5	143	652
6	175	652
7	200	652
8	253	652
9	260	652
0	260	652

Stop Event

1×	iter limit
1×	saturated

Counts

120 → 120

Calls

Call 1

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

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

rewrite138.0ms (10.8%)

Memory

5.6MiB live, 161.1MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
0	17	29
1	46	29
2	173	29
3	858	29
4	6627	29
0	8112	29

Stop Event

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

Counts

7 → 672

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval20.0ms (1.6%)

Memory: -4.7MiB live, 33.7MiB allocated
Compiler: Compiled 9 217 to 1 198 computations (87% saved)

prune2.0ms (0.2%)

Memory

4.8MiB live, 4.8MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	792	0	792
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	792	3	795

Accuracy

100.0%

Counts

795 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

99.6%

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

✓

99.0%

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

✓

51.8%

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

Compiler

Compiled 65 to 50 computations (23.1% saved)

regimes0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated
Compiler: Compiled 3 to 4 computations (-33.3% saved)

end0.0ms (0%)

Memory

0.0MiB live, 0.0MiB allocated

Calls

1 calls:

0.0ms

(*.f64 #s(literal 2 binary64) a)

Iter	Nodes	Cost
0	16	36
1	38	32
2	78	32
3	116	32
4	133	32
5	156	32
6	197	32
7	227	32
8	232	32
0	6	6
0	9	6
1	12	6
2	14	6
0	14	6

Iter	Nodes	Cost
0	18	340
1	32	340
2	52	340
3	58	340
4	63	340
5	75	340
6	87	340
7	102	340
8	130	340
9	135	340
0	135	340

Iter	Nodes	Cost
0	16	71
0	28	71
1	40	69
2	62	69
3	95	69
4	127	69
5	156	69
6	191	69
7	204	69
8	216	69
9	216	69
0	216	69

Iter	Nodes	Cost
0	25	652
1	49	652
2	89	652
3	101	652
4	110	652
5	143	652
6	175	652
7	200	652
8	253	652
9	260	652
0	260	652

Iter	Nodes	Cost
0	16	36
1	38	32
2	78	32
3	116	32
4	133	32
5	156	32
6	197	32
7	227	32
8	232	32
0	6	6
0	9	6
1	12	6
2	14	6
0	14	6

Iter	Nodes	Cost
0	18	340
1	32	340
2	52	340
3	58	340
4	63	340
5	75	340
6	87	340
7	102	340
8	130	340
9	135	340
0	135	340

Iter	Nodes	Cost
0	16	71
0	28	71
1	40	69
2	62	69
3	95	69
4	127	69
5	156	69
6	191	69
7	204	69
8	216	69
9	216	69
0	216	69

Iter	Nodes	Cost
0	25	652
1	49	652
2	89	652
3	101	652
4	110	652
5	143	652
6	175	652
7	200	652
8	253	652
9	260	652
0	260	652

start0.0ms (0%)

analyze11.0ms (0.9%)

sample626.0ms (48.9%)

explain1.0ms (0.1%)

preprocess14.0ms (1.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify5.0ms (0.4%)

localize1.0ms (0%)

series27.0ms (2.1%)

simplify6.0ms (0.5%)

rewrite102.0ms (7.9%)

eval5.0ms (0.4%)

prune1.0ms (0.1%)

simplify8.0ms (0.6%)

localize4.0ms (0.3%)

series71.0ms (5.5%)

simplify22.0ms (1.7%)

rewrite97.0ms (7.6%)

eval16.0ms (1.2%)

prune2.0ms (0.1%)

simplify3.0ms (0.3%)

localize1.0ms (0.1%)

series86.0ms (6.7%)

simplify10.0ms (0.8%)

rewrite138.0ms (10.8%)

eval20.0ms (1.6%)

prune2.0ms (0.2%)

regimes0.0ms (0%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	16	36
1	38	32
2	78	32
3	116	32
4	133	32
5	156	32
6	197	32
7	227	32
8	232	32
0	6	6
0	9	6
1	12	6
2	14	6
0	14	6

Iter	Nodes	Cost
0	18	340
1	32	340
2	52	340
3	58	340
4	63	340
5	75	340
6	87	340
7	102	340
8	130	340
9	135	340
0	135	340

Iter	Nodes	Cost
0	16	71
0	28	71
1	40	69
2	62	69
3	95	69
4	127	69
5	156	69
6	191	69
7	204	69
8	216	69
9	216	69
0	216	69

Iter	Nodes	Cost
0	25	652
1	49	652
2	89	652
3	101	652
4	110	652
5	143	652
6	175	652
7	200	652
8	253	652
9	260	652
0	260	652