Metrics for Numeric.SpecFunctions:$slogFactorial from math-functions-0.1.5.2, A

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
50%	50%	50%	0%	0%	0%	0%	2
75%	75%	25%	0%	0%	0%	0%	3
87.5%	87.5%	12.5%	0%	0%	0%	0%	4
93.8%	93.7%	6.2%	0%	0%	0%	0%	5
96.9%	96.8%	3.1%	0%	0%	0%	0%	6
98.4%	98.4%	1.6%	0%	0%	0%	0%	7
99.2%	99.2%	0.8%	0%	0%	0%	0%	8
99.6%	99.6%	0.4%	0%	0%	0%	0%	9
99.8%	99.8%	0.2%	0%	0%	0%	0%	10
99.9%	99.9%	0.1%	0%	0%	0%	0%	11
100%	99.9%	0%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample990.0ms (24.9%)

Memory

-13.4MiB live, 589.3MiB allocated

Samples

502.0ms

8 256×

valid

Precisions

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

ival-div: 271.0ms (74.6% of total)

ival-mult: 79.0ms (21.7% of total)

ival-true: 5.0ms (1.4% of total)

exact: 4.0ms (1.1% of total)

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

Bogosity

explain73.0ms (1.8%)

Memory

-9.7MiB live, 83.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
5	-	-	`(/.f64 #s(literal 1 binary64) (*.f64 x x))`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(*.f64 x x)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 #s(literal 1 binary64) (*.f64 x x))`	n/o	5	0
↳	`(*.f64 x x)`	overflow	53

Confusion

	Predicted +	Predicted -
+	5	0
-	0	251

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5	0	0
-	0	0	251

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	251
1	5

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

18.0ms

512×

valid

Compiler

Compiled 39 to 20 computations (48.7% saved)

Precisions

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

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

ival-div: 3.0ms (36.7% of total)

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

exact: 0.0ms (0% of total)

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

preprocess15.0ms (0.4%)

Memory

28.2MiB live, 28.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	24	10
2	67	10
3	135	10
4	185	10
5	223	10
6	235	10
0	4	5
0	6	5
1	10	5
0	10	5

Stop Event

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

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))

Outputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))

Symmetry

(abs x)

Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.8%	(/.f64 #s(literal 1 binary64) (*.f64 x x))

Compiler

Compiled 5 to 4 computations (20% saved)

simplify3.0ms (0.1%)

Memory

3.0MiB live, 3.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 x x)
cost-diff	0	(/.f64 #s(literal 1 binary64) (*.f64 x x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	10
0	6	10
1	10	10
0	10	10

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
#s(literal 1 binary64)
(*.f64 x x)
x

Outputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
#s(literal 1 binary64)
(*.f64 x x)
x

localize87.0ms (2.2%)

Memory

-19.2MiB live, 19.7MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0	(*.f64 x x)
accuracy	0.7480231461061895	(/.f64 #s(literal 1 binary64) (*.f64 x x))

Samples

83.0ms

256×

valid

Compiler

Compiled 22 to 10 computations (54.5% saved)

Precisions

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

ival-mult: 3.0ms (62.5% of total)

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

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

exact: 0.0ms (0% of total)

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

series2.0ms (0.1%)

Memory

3.3MiB live, 3.3MiB allocated

Counts

2 → 24

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	((/ 1 (* x x)) (* x x))
0.0ms	x	@	inf	((/ 1 (* x x)) (* x x))
0.0ms	x	@	-inf	((/ 1 (* x x)) (* x x))

simplify3.0ms (0.1%)

Memory

3.1MiB live, 3.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	96
1	8	96
2	10	96
0	10	96

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 24

Calls

Call 1

Inputs
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)

Outputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)

rewrite56.0ms (1.4%)

Memory

5.7MiB live, 44.5MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	4	8
0	6	8
1	20	6
2	72	6
3	260	6
0	1092	6

Stop Event

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

Counts

2 → 110

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(*.f64 x x)

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>

eval43.0ms (1.1%)

Memory: -18.0MiB live, 20.7MiB allocated
Compiler: Compiled 1 247 to 266 computations (78.7% saved)

prune4.0ms (0.1%)

Memory

9.6MiB live, 9.6MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	131	3	134
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	131	4	135

Accuracy

100.0%

Counts

135 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 x #s(literal -2 binary64))
▶	99.8%	(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
✓	98.8%	(/.f64 #s(literal 1 binary64) (*.f64 x x))
▶	99.5%	(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))

Compiler

Compiled 25 to 19 computations (24% saved)

simplify25.0ms (0.6%)

Memory

17.3MiB live, 17.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score
cost-diff	0	(pow.f64 x #s(literal -2 binary64))
cost-diff	0	(neg.f64 x)
cost-diff	0	(/.f64 #s(literal -1 binary64) x)
cost-diff	512	(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
cost-diff	0	(/.f64 #s(literal -1 binary64) x)
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
cost-diff	8448	(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	46
0	19	51
1	33	47
2	67	47
3	112	39
4	159	39
5	208	39
6	250	39
7	276	39
8	307	39
9	331	39
10	339	39
11	424	39
12	572	39
13	611	39
14	613	39
15	614	39
0	614	39

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
#s(literal -1 binary64)
(sqrt.f64 x)
x
(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))
(/.f64 #s(literal -1 binary64) x)
(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
(/.f64 #s(literal -1 binary64) x)
#s(literal -1 binary64)
x
(neg.f64 x)
(pow.f64 x #s(literal -2 binary64))
x
#s(literal -2 binary64)

Outputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
#s(literal -1 binary64)
(sqrt.f64 x)
x
(pow.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #s(literal 3 binary64))
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal -1 binary64) x)
#s(literal -1 binary64)
x
(neg.f64 x)
(pow.f64 x #s(literal -2 binary64))
x
#s(literal -2 binary64)

localize67.0ms (1.7%)

Memory

-3.7MiB live, 37.0MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0	(pow.f64 x #s(literal -2 binary64))
accuracy	0	(/.f64 #s(literal -1 binary64) x)
accuracy	0	(neg.f64 x)
accuracy	0.125	(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
accuracy	0	(sqrt.f64 x)
accuracy	0.1875	(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
accuracy	0.21875	(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
accuracy	0.25228500976844204	(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))

Samples

58.0ms

256×

valid

Compiler

Compiled 94 to 24 computations (74.5% saved)

Precisions

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

ival-sqrt: 33.0ms (73.1% of total)

ival-div: 6.0ms (13.3% of total)

ival-pow: 3.0ms (6.6% of total)

ival-mult: 2.0ms (4.4% of total)

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

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

exact: 0.0ms (0% of total)

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

series41.0ms (1%)

Memory

-27.0MiB live, 11.0MiB allocated

Counts

8 → 96

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (pow.f64 x #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
35.0ms	x	@	-inf	((* (/ -1 (sqrt x)) (/ (/ -1 x) (sqrt x))) (/ -1 (sqrt x)) (sqrt x) (/ -1 x) (/ (/ -1 x) (neg x)) (neg x) (pow x -2) (/ (/ -1 x) (sqrt x)))
2.0ms	x	@	0	((* (/ -1 (sqrt x)) (/ (/ -1 x) (sqrt x))) (/ -1 (sqrt x)) (sqrt x) (/ -1 x) (/ (/ -1 x) (neg x)) (neg x) (pow x -2) (/ (/ -1 x) (sqrt x)))
2.0ms	x	@	inf	((* (/ -1 (sqrt x)) (/ (/ -1 x) (sqrt x))) (/ -1 (sqrt x)) (sqrt x) (/ -1 x) (/ (/ -1 x) (neg x)) (neg x) (pow x -2) (/ (/ -1 x) (sqrt x)))

Time

Variable

Point

Expression

35.0ms

-inf

((* (/ -1 (sqrt x)) (/ (/ -1 x) (sqrt x))) (/ -1 (sqrt x)) (sqrt x) (/ -1 x) (/ (/ -1 x) (neg x)) (neg x) (pow x -2) (/ (/ -1 x) (sqrt x)))

2.0ms

((* (/ -1 (sqrt x)) (/ (/ -1 x) (sqrt x))) (/ -1 (sqrt x)) (sqrt x) (/ -1 x) (/ (/ -1 x) (neg x)) (neg x) (pow x -2) (/ (/ -1 x) (sqrt x)))

2.0ms

inf

((* (/ -1 (sqrt x)) (/ (/ -1 x) (sqrt x))) (/ -1 (sqrt x)) (sqrt x) (/ -1 x) (/ (/ -1 x) (neg x)) (neg x) (pow x -2) (/ (/ -1 x) (sqrt x)))

simplify158.0ms (4%)

Memory

23.1MiB live, 60.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	408
1	43	408
2	89	408
3	153	408
4	291	408
5	393	408
6	573	408
7	1234	408
8	1667	408
9	2382	408
10	2544	408
11	2587	408
12	2627	408
13	2825	408
14	3045	408
15	3345	408
16	3519	408
17	3667	408
18	3905	408
19	4291	408
20	4915	408
21	4915	408
22	6631	408
23	6631	408
24	6631	408
0	6631	408

Stop Event

1×	iter limit
1×	saturated

Counts

96 → 96

Calls

Call 1

Inputs
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(/ -1 x)
(/ -1 x)
(/ -1 x)
(/ -1 x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(/ -1 x)
(/ -1 x)
(/ -1 x)
(/ -1 x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(/ -1 (* (pow x 2) (pow (sqrt -1) 2)))
(/ -1 (* (pow x 2) (pow (sqrt -1) 2)))
(/ -1 (* (pow x 2) (pow (sqrt -1) 2)))
(/ -1 (* (pow x 2) (pow (sqrt -1) 2)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(/ -1 x)
(/ -1 x)
(/ -1 x)
(/ -1 x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))

Outputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))

rewrite110.0ms (2.8%)

Memory

4.2MiB live, 158.1MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	37
0	19	50
1	68	25
2	408	24
3	2064	21
4	7841	21
0	8378	21

Stop Event

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

Counts

8 → 1 587

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
(sqrt.f64 x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
(neg.f64 x)
(pow.f64 x #s(literal -2 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))

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

eval226.0ms (5.7%)

Memory: 6.8MiB live, 425.4MiB allocated
Compiler: Compiled 28 754 to 2 825 computations (90.2% saved)

prune175.0ms (4.4%)

Memory

-133.3MiB live, 131.5MiB allocated

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	2 021	2	2 023
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	2 021	6	2 027

Accuracy

100.0%

Counts

2 027 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 x #s(literal -2 binary64))
✓	99.8%	(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
✓	98.8%	(/.f64 #s(literal 1 binary64) (*.f64 x x))
▶	99.6%	(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
▶	99.6%	(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
✓	99.5%	(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))

Compiler

Compiled 53 to 37 computations (30.2% saved)

simplify100.0ms (2.5%)

Memory

8.9MiB live, 122.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(/.f64 x (sqrt.f64 x))
cost-diff	576	(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
cost-diff	8192	(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
cost-diff	0	(/.f64 (sqrt.f64 x) x)
cost-diff	576	(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)))
cost-diff	704	(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))
cost-diff	8192	(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	83
0	23	81
1	41	75
2	97	71
3	284	59
4	643	59
5	1805	59
6	3901	59
7	5680	59
8	6511	59
9	7213	59
0	8117	59

Stop Event

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

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)))
#s(literal -1 binary64)
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))
#s(literal 1 binary64)
(/.f64 (sqrt.f64 x) x)
(sqrt.f64 x)
x
(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))
(/.f64 #s(literal -1 binary64) x)
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
#s(literal -1 binary64)
(/.f64 x (sqrt.f64 x))
x
(sqrt.f64 x)
(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))
(/.f64 #s(literal -1 binary64) x)

Outputs
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (sqrt.f64 x) (neg.f64 x))
#s(literal -1 binary64)
(/.f64 x (sqrt.f64 x))
#s(literal 1 binary64)
(/.f64 (sqrt.f64 x) x)
(sqrt.f64 x)
x
(pow.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #s(literal 3 binary64))
(/.f64 #s(literal -1 binary64) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (sqrt.f64 x) (neg.f64 x))
#s(literal -1 binary64)
(/.f64 x (sqrt.f64 x))
x
(sqrt.f64 x)
(pow.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #s(literal 3 binary64))
(/.f64 #s(literal -1 binary64) x)

localize54.0ms (1.4%)

Memory

-7.5MiB live, 110.4MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.1875	(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
accuracy	0.21875	(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
accuracy	0.25228500976844204	(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))
accuracy	0.4609375	(/.f64 x (sqrt.f64 x))
accuracy	0.21875	(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)))
accuracy	0.25228500976844204	(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))
accuracy	0.2578125	(/.f64 (sqrt.f64 x) x)
accuracy	0.265625	(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))

Samples

42.0ms

256×

valid

Compiler

Compiled 168 to 28 computations (83.3% saved)

Precisions

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

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

ival-sqrt: 7.0ms (21.5% of total)

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

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

exact: 0.0ms (0% of total)

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

series8.0ms (0.2%)

Memory

17.2MiB live, 17.2MiB allocated

Counts

9 → 108

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

2.0ms

-inf

((* (/ -1 (/ 1 (/ (sqrt x) x))) (/ (/ -1 x) (sqrt x))) (/ 1 (/ (sqrt x) x)) (/ -1 (/ 1 (/ (sqrt x) x))) (/ (sqrt x) x) (* (/ -1 (/ x (sqrt x))) (/ (/ -1 x) (sqrt x))) (/ -1 (/ x (sqrt x))) (/ x (sqrt x)) (sqrt x) (/ (/ -1 x) (sqrt x)))

1.0ms

((* (/ -1 (/ 1 (/ (sqrt x) x))) (/ (/ -1 x) (sqrt x))) (/ 1 (/ (sqrt x) x)) (/ -1 (/ 1 (/ (sqrt x) x))) (/ (sqrt x) x) (* (/ -1 (/ x (sqrt x))) (/ (/ -1 x) (sqrt x))) (/ -1 (/ x (sqrt x))) (/ x (sqrt x)) (sqrt x) (/ (/ -1 x) (sqrt x)))

1.0ms

inf

((* (/ -1 (/ 1 (/ (sqrt x) x))) (/ (/ -1 x) (sqrt x))) (/ 1 (/ (sqrt x) x)) (/ -1 (/ 1 (/ (sqrt x) x))) (/ (sqrt x) x) (* (/ -1 (/ x (sqrt x))) (/ (/ -1 x) (sqrt x))) (/ -1 (/ x (sqrt x))) (/ x (sqrt x)) (sqrt x) (/ (/ -1 x) (sqrt x)))

simplify18.0ms (0.4%)

Memory

-19.5MiB live, 18.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	444
1	40	444
2	79	444
3	136	444
4	301	444
5	402	444
6	468	444
7	489	444
8	491	444
0	491	444

Stop Event

1×	iter limit
1×	saturated

Counts

108 → 108

Calls

Call 1

Inputs
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(sqrt (/ 1 x))
(sqrt (/ 1 x))
(sqrt (/ 1 x))
(sqrt (/ 1 x))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(sqrt (/ 1 x))
(sqrt (/ 1 x))
(sqrt (/ 1 x))
(sqrt (/ 1 x))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* -1 (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))

Outputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))

rewrite75.0ms (1.9%)

Memory

1.4MiB live, 90.6MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	64
0	23	54
1	78	41
2	467	31
0	2314	31

Stop Event

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

Counts

9 → 392

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x)))
(/.f64 (sqrt.f64 x) x)
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
(/.f64 x (sqrt.f64 x))
(sqrt.f64 x)
(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))

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>

eval81.0ms (2%)

Memory: -5.9MiB live, 149.1MiB allocated
Compiler: Compiled 11 380 to 1 093 computations (90.4% saved)

prune17.0ms (0.4%)

Memory

7.8MiB live, 46.6MiB allocated

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	702	4	706
Fresh	0	0	0
Picked	1	1	2
Done	0	4	4
Total	703	9	712

Accuracy

100.0%

Counts

712 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 x #s(literal -2 binary64))
▶	99.5%	(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x)
✓	99.8%	(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
✓	98.8%	(/.f64 #s(literal 1 binary64) (*.f64 x x))
▶	99.6%	(*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
▶	99.6%	(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))
▶	99.5%	(.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)))
✓	99.6%	(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
✓	99.5%	(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))

Compiler

Compiled 90 to 61 computations (32.2% saved)

simplify113.0ms (2.8%)

Memory

-6.0MiB live, 110.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

New	Metric	Score
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
cost-diff	384	(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x)
cost-diff	2112	(/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x)))
cost-diff	0	(neg.f64 x)
cost-diff	0	(sqrt.f64 x)
cost-diff	128	(/.f64 (sqrt.f64 x) (neg.f64 x))
cost-diff	8448	(*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
cost-diff	704	(/.f64 x (sqrt.f64 x))
cost-diff	8448	(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
cost-diff	704	(/.f64 x (sqrt.f64 x))
cost-diff	8448	(.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	143
0	36	158
1	74	142
2	210	121
3	612	97
4	1851	97
5	2976	97
6	3922	97
7	5445	97
8	7026	97
0	8060	97

Stop Event

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

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)))
(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
#s(literal -1 binary64)
(/.f64 x (sqrt.f64 x))
x
(sqrt.f64 x)
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))
(/.f64 (/.f64 #s(literal -1 binary64) x) x)
(/.f64 #s(literal -1 binary64) x)
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))
(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
#s(literal -1 binary64)
(/.f64 x (sqrt.f64 x))
x
(sqrt.f64 x)
(/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
(*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(/.f64 (sqrt.f64 x) (neg.f64 x))
(sqrt.f64 x)
x
(neg.f64 x)
(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))
(/.f64 #s(literal -1 binary64) x)
#s(literal -1 binary64)
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x)
(/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x)))
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
#s(literal -1 binary64)
(sqrt.f64 x)
x
(neg.f64 (sqrt.f64 x))

Outputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
#s(literal -1 binary64)
(sqrt.f64 x)
x
(sqrt.f64 x)
(pow.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #s(literal 3 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) x) x)
(/.f64 #s(literal -1 binary64) x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
#s(literal -1 binary64)
(sqrt.f64 x)
x
(sqrt.f64 x)
(pow.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #s(literal 3 binary64))
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
(sqrt.f64 x)
x
(neg.f64 x)
(pow.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #s(literal 3 binary64))
(/.f64 #s(literal -1 binary64) x)
#s(literal -1 binary64)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
#s(literal -1 binary64)
(sqrt.f64 x)
x
(neg.f64 (sqrt.f64 x))

localize60.0ms (1.5%)

Memory

22.8MiB live, 99.1MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 (sqrt.f64 x))
accuracy	0.125	(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x)
accuracy	0.21875	(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
accuracy	0.36556625976844204	(/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x)))
accuracy	0	(neg.f64 x)
accuracy	0.1875	(*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
accuracy	0.25228500976844204	(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))
accuracy	0.2578125	(/.f64 (sqrt.f64 x) (neg.f64 x))
accuracy	0.1875	(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))
accuracy	0.21875	(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
accuracy	0.21875	(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
accuracy	0.4609375	(/.f64 x (sqrt.f64 x))
accuracy	0.1875	(.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)))
accuracy	0.21875	(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
accuracy	0.4609375	(/.f64 x (sqrt.f64 x))
accuracy	9.923138944836914	(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))

Samples

45.0ms

256×

valid

Compiler

Compiled 288 to 40 computations (86.1% saved)

Precisions

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

ival-div: 15.0ms (55% of total)

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

ival-sqrt: 2.0ms (7.3% of total)

ival-neg: 2.0ms (7.3% of total)

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

exact: 0.0ms (0% of total)

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

series22.0ms (0.6%)

Memory

-20.7MiB live, 27.2MiB allocated

Counts

14 → 168

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (sqrt.f64 x) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (neg.f64 (sqrt.f64 x)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

3.0ms

-inf

((* (/ -1 (/ x (sqrt x))) (* (/ (/ -1 x) x) (sqrt x))) (/ x (sqrt x)) (/ -1 (/ x (sqrt x))) (sqrt x) (* (/ -1 (/ x (sqrt x))) (/ (/ -1 (sqrt x)) x)) (* (/ (sqrt x) (neg x)) (/ (/ -1 x) (sqrt x))) (/ (sqrt x) (neg x)) (neg x) (/ (/ -1 (sqrt x)) (neg (sqrt x))) (/ (/ (/ -1 (sqrt x)) (neg (sqrt x))) x) (/ -1 (sqrt x)) (* (/ (/ -1 x) x) (sqrt x)) (/ (/ -1 x) (sqrt x)) (neg (sqrt x)))

2.0ms

((* (/ -1 (/ x (sqrt x))) (* (/ (/ -1 x) x) (sqrt x))) (/ x (sqrt x)) (/ -1 (/ x (sqrt x))) (sqrt x) (* (/ -1 (/ x (sqrt x))) (/ (/ -1 (sqrt x)) x)) (* (/ (sqrt x) (neg x)) (/ (/ -1 x) (sqrt x))) (/ (sqrt x) (neg x)) (neg x) (/ (/ -1 (sqrt x)) (neg (sqrt x))) (/ (/ (/ -1 (sqrt x)) (neg (sqrt x))) x) (/ -1 (sqrt x)) (* (/ (/ -1 x) x) (sqrt x)) (/ (/ -1 x) (sqrt x)) (neg (sqrt x)))

1.0ms

inf

((* (/ -1 (/ x (sqrt x))) (* (/ (/ -1 x) x) (sqrt x))) (/ x (sqrt x)) (/ -1 (/ x (sqrt x))) (sqrt x) (* (/ -1 (/ x (sqrt x))) (/ (/ -1 (sqrt x)) x)) (* (/ (sqrt x) (neg x)) (/ (/ -1 x) (sqrt x))) (/ (sqrt x) (neg x)) (neg x) (/ (/ -1 (sqrt x)) (neg (sqrt x))) (/ (/ (/ -1 (sqrt x)) (neg (sqrt x))) x) (/ -1 (sqrt x)) (* (/ (/ -1 x) x) (sqrt x)) (/ (/ -1 x) (sqrt x)) (neg (sqrt x)))

simplify132.0ms (3.3%)

Memory

18.2MiB live, 55.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	732
1	59	732
2	131	732
3	246	732
4	467	732
5	664	732
6	1800	732
7	3205	732
8	4127	732
9	4162	732
10	4205	732
11	4277	732
12	4467	732
13	4467	732
14	4467	732
15	4467	732
0	4467	732

Stop Event

1×	iter limit
1×	saturated

Counts

168 → 168

Calls

Call 1

Inputs
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt x))
(* -1 (sqrt x))
(* -1 (sqrt x))
(* -1 (sqrt x))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt x))
(* -1 (sqrt x))
(* -1 (sqrt x))
(* -1 (sqrt x))
(* -1 (/ (pow (sqrt -1) 2) (pow x 2)))
(* -1 (/ (pow (sqrt -1) 2) (pow x 2)))
(* -1 (/ (pow (sqrt -1) 2) (pow x 2)))
(* -1 (/ (pow (sqrt -1) 2) (pow x 2)))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* (sqrt (/ 1 x)) (pow (sqrt -1) 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(/ -1 (* x (pow (sqrt -1) 2)))
(/ -1 (* x (pow (sqrt -1) 2)))
(/ -1 (* x (pow (sqrt -1) 2)))
(/ -1 (* x (pow (sqrt -1) 2)))
(/ -1 (* (pow x 2) (pow (sqrt -1) 2)))
(/ -1 (* (pow x 2) (pow (sqrt -1) 2)))
(/ -1 (* (pow x 2) (pow (sqrt -1) 2)))
(/ -1 (* (pow x 2) (pow (sqrt -1) 2)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* -1 (sqrt (/ 1 x)))
(* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))
(* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))
(* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))
(* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* -1 (sqrt (/ 1 (pow x 3))))
(* (sqrt x) (pow (sqrt -1) 2))
(* (sqrt x) (pow (sqrt -1) 2))
(* (sqrt x) (pow (sqrt -1) 2))
(* (sqrt x) (pow (sqrt -1) 2))

Outputs
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 #s(literal 1 binary64) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))))
(neg.f64 (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))

rewrite160.0ms (4%)

Memory

-31.5MiB live, 147.7MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	98
0	36	111
1	132	96
2	1043	44
0	4010	44

Stop Event

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

Counts

14 → 810

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)))
(/.f64 x (sqrt.f64 x))
(/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x)))
(sqrt.f64 x)
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))
(*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(/.f64 (sqrt.f64 x) (neg.f64 x))
(neg.f64 x)
(/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x)))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x)
(/.f64 #s(literal -1 binary64) (sqrt.f64 x))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x))
(/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x))
(neg.f64 (sqrt.f64 x))

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>

eval313.0ms (7.9%)

Memory: 38.6MiB live, 304.0MiB allocated
Compiler: Compiled 25 089 to 2 495 computations (90.1% saved)

prune33.0ms (0.8%)

Memory

-7.4MiB live, 104.2MiB allocated

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	1 690	4	1 694
Fresh	0	0	0
Picked	3	1	4
Done	3	2	5
Total	1 696	7	1 703

Accuracy

100.0%

Counts

1 703 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 x #s(literal -2 binary64))
✓	99.5%	(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x)
	99.8%	(/.f64 (/.f64 #s(literal 1 binary64) x) x)
✓	98.8%	(/.f64 #s(literal 1 binary64) (*.f64 x x))
	76.7%	(.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) (.f64 (neg.f64 x) x)) x)
	98.6%	(.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (sqrt.f64 x) (.f64 (neg.f64 x) x)))
	99.4%	(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))

Compiler

Compiled 199 to 77 computations (61.3% saved)

regimes13.0ms (0.3%)

Memory

17.0MiB live, 17.0MiB allocated

Counts

14 → 1

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
(.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) (.f64 (neg.f64 x) x)) x)
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x)
(.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (sqrt.f64 x) (.f64 (neg.f64 x) x)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))
(*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))
(.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(pow.f64 x #s(literal -2 binary64))

Outputs
(pow.f64 x #s(literal -2 binary64))

Calls

3 calls:

4.0ms	x
4.0ms	(/.f64 #s(literal 1 binary64) (*.f64 x x))
4.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(/.f64 #s(literal 1 binary64) (*.f64 x x))`
100.0%	1	`(*.f64 x x)`

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes24.0ms (0.6%)

Memory

-34.2MiB live, 16.6MiB allocated

Counts

13 → 1

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
(.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) (.f64 (neg.f64 x) x)) x)
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (neg.f64 (sqrt.f64 x))) x)
(.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (sqrt.f64 x) (.f64 (neg.f64 x) x)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))
(*.f64 (/.f64 (sqrt.f64 x) (neg.f64 x)) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 x)) x))
(.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 x))) (.f64 (/.f64 (/.f64 #s(literal -1 binary64) x) x) (sqrt.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 x) x))) (/.f64 (/.f64 #s(literal -1 binary64) x) (sqrt.f64 x)))

Outputs
(/.f64 (/.f64 #s(literal 1 binary64) x) x)

Calls

3 calls:

15.0ms	(*.f64 x x)
4.0ms	x
4.0ms	(/.f64 #s(literal 1 binary64) (*.f64 x x))

Results

Accuracy	Segments	Branch
99.8%	1	`x`
99.8%	1	`(/.f64 #s(literal 1 binary64) (*.f64 x x))`
99.8%	1	`(*.f64 x x)`

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes4.0ms (0.1%)

Memory

5.2MiB live, 5.2MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))

Outputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))

Calls

3 calls:

1.0ms	x
1.0ms	(/.f64 #s(literal 1 binary64) (*.f64 x x))
1.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
98.8%	1	`x`
98.8%	1	`(/.f64 #s(literal 1 binary64) (*.f64 x x))`
98.8%	1	`(*.f64 x x)`

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify31.0ms (0.8%)

Memory

-9.8MiB live, 29.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	11	13

Stop Event

1×

saturated

Calls

Call 1

Inputs
(pow.f64 x #s(literal -2 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))

Outputs
(pow.f64 x #s(literal -2 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))

soundness602.0ms (15.2%)

Memory

6.2MiB live, 317.9MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	37
0	19	50
1	68	25
2	408	24
3	2064	21
4	7841	21
0	8378	21
0	13	64
0	23	54
1	78	41
2	467	31
0	2314	31
0	19	98
0	36	111
1	132	96
2	1043	44
0	4010	44
0	4	8
0	6	8
1	20	6
2	72	6
3	260	6
0	1092	6

Stop Event

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

Compiler

Compiled 63 to 41 computations (34.9% saved)

preprocess33.0ms (0.8%)

Memory: 12.9MiB live, 89.2MiB allocated
Remove: (abs x)
Compiler: Compiled 58 to 44 computations (24.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	11	46
0	19	51
1	33	47
2	67	47
3	112	39
4	159	39
5	208	39
6	250	39
7	276	39
8	307	39
9	331	39
10	339	39
11	424	39
12	572	39
13	611	39
14	613	39
15	614	39
0	614	39

Iter	Nodes	Cost
0	21	444
1	40	444
2	79	444
3	136	444
4	301	444
5	402	444
6	468	444
7	489	444
8	491	444
0	491	444

Iter	Nodes	Cost
0	11	46
0	19	51
1	33	47
2	67	47
3	112	39
4	159	39
5	208	39
6	250	39
7	276	39
8	307	39
9	331	39
10	339	39
11	424	39
12	572	39
13	611	39
14	613	39
15	614	39
0	614	39

Iter	Nodes	Cost
0	21	444
1	40	444
2	79	444
3	136	444
4	301	444
5	402	444
6	468	444
7	489	444
8	491	444
0	491	444

start0.0ms (0%)

analyze1.0ms (0%)

sample990.0ms (24.9%)

explain73.0ms (1.8%)

preprocess15.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.1%)

localize87.0ms (2.2%)

series2.0ms (0.1%)

simplify3.0ms (0.1%)

rewrite56.0ms (1.4%)

eval43.0ms (1.1%)

prune4.0ms (0.1%)

simplify25.0ms (0.6%)

localize67.0ms (1.7%)

series41.0ms (1%)

simplify158.0ms (4%)

rewrite110.0ms (2.8%)

eval226.0ms (5.7%)

prune175.0ms (4.4%)

simplify100.0ms (2.5%)

localize54.0ms (1.4%)

series8.0ms (0.2%)

simplify18.0ms (0.4%)

rewrite75.0ms (1.9%)

eval81.0ms (2%)

prune17.0ms (0.4%)

simplify113.0ms (2.8%)

localize60.0ms (1.5%)

series22.0ms (0.6%)

simplify132.0ms (3.3%)

rewrite160.0ms (4%)

eval313.0ms (7.9%)

prune33.0ms (0.8%)

regimes13.0ms (0.3%)

regimes24.0ms (0.6%)

regimes4.0ms (0.1%)

simplify31.0ms (0.8%)

soundness602.0ms (15.2%)

preprocess33.0ms (0.8%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	11	46
0	19	51
1	33	47
2	67	47
3	112	39
4	159	39
5	208	39
6	250	39
7	276	39
8	307	39
9	331	39
10	339	39
11	424	39
12	572	39
13	611	39
14	613	39
15	614	39
0	614	39

Iter	Nodes	Cost
0	21	444
1	40	444
2	79	444
3	136	444
4	301	444
5	402	444
6	468	444
7	489	444
8	491	444
0	491	444