Metrics for sqrt B (should all be same)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.7MiB live, 0.7MiB 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
100%	100%	0%	0%	0%	0%	0%	2

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample658.0ms (12.7%)

Memory

20.7MiB live, 957.1MiB allocated

Samples

443.0ms

8 256×

valid

Precisions

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

ival-mult: 193.0ms (71.1% of total)

ival-sqrt: 66.0ms (24.3% of total)

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

exact: 4.0ms (1.5% of total)

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

Bogosity

explain353.0ms (6.8%)

Memory

-17.5MiB live, 137.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
134	-	5	(9.271272035587437e-161)	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(.f64 (.f64 #s(literal 2 binary64) x) x)`
0	-	0	-	`(*.f64 #s(literal 2 binary64) x)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`	oflow-rescue	69	0
↳	`(.f64 (.f64 #s(literal 2 binary64) x) x)`	overflow	69
`sqrt.f64`	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`	uflow-rescue	60	0
↳	`(.f64 (.f64 #s(literal 2 binary64) x) x)`	underflow	60

Confusion

	Predicted +	Predicted -
+	129	5
-	0	122

Precision

1.0

Recall

0.9626865671641791

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	129	0	5
-	0	0	122

Precision?

1.0

Recall?

0.9626865671641791

Freqs

test

number	freq
0	127
1	129

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

54.0ms

512×

valid

Compiler

Compiled 42 to 19 computations (54.8% saved)

Precisions

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

ival-mult: 7.0ms (60.2% of total)

ival-sqrt: 4.0ms (34.4% of total)

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

exact: 0.0ms (0% of total)

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

preprocess39.0ms (0.8%)

Memory

-11.7MiB live, 27.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	21	13
2	62	13
3	149	13
4	214	13
5	231	13
6	233	13
0	5	6
0	8	6
1	12	6
2	13	6
0	13	6

Stop Event

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

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Outputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(sqrt.f64 (.f64 (.f64 x #s(literal 2 binary64)) x))

Symmetry

(abs x)

Compiler

Compiled 6 to 5 computations (16.7% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	52.1%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify3.0ms (0%)

Memory

1.9MiB live, 1.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	16
0	8	16
1	12	16
2	13	16
0	13	16

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x

Outputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(sqrt.f64 (.f64 (.f64 x #s(literal 2 binary64)) x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(.f64 (.f64 x #s(literal 2 binary64)) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
#s(literal 2 binary64)
x

localize19.0ms (0.4%)

Memory

-20.7MiB live, 17.8MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(.f64 (.f64 #s(literal 2 binary64) x) x)
accuracy	0	(*.f64 #s(literal 2 binary64) x)
accuracy	30.67810736348699	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Samples

14.0ms

256×

valid

Compiler

Compiled 18 to 7 computations (61.1% saved)

Precisions

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

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

ival-sqrt: 3.0ms (46.8% of total)

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

exact: 0.0ms (0% of total)

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

series4.0ms (0.1%)

Memory

4.5MiB live, 4.5MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs
#s(alt (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())
#s(alt (.f64 (.f64 #s(literal 2 binary64) x) x) (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())
#s(alt (.f64 #s(literal 2 binary64) x) (patch (.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())

Inputs

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

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

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

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

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	((sqrt (* (* 2 x) x)) (* (* 2 x) x) (* 2 x))
1.0ms	x	@	inf	((sqrt (* (* 2 x) x)) (* (* 2 x) x) (* 2 x))
1.0ms	x	@	-inf	((sqrt (* (* 2 x) x)) (* (* 2 x) x) (* 2 x))

simplify5.0ms (0.1%)

Memory

4.4MiB live, 4.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	148
1	17	148
2	32	148
3	36	148
4	40	148
5	52	148
6	64	148
7	75	148
8	95	148
9	100	148
0	100	148

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

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

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

rewrite214.0ms (4.1%)

Memory

7.8MiB live, 163.4MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	5	14
0	8	14
1	17	14
2	38	13
3	92	12
4	338	12
5	2074	12
0	8672	12

Stop Event

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

Counts

3 → 118

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 2 binary64) 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>

eval17.0ms (0.3%)

Memory: 18.0MiB live, 18.0MiB allocated
Compiler: Compiled 1 927 to 352 computations (81.7% saved)

prune46.0ms (0.9%)

Memory

-16.6MiB live, 29.3MiB allocated

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	147	7	154
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	147	8	155

Accuracy

100.0%

Counts

155 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	28.1%	(pow.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64))
	98.9%	(pow.f64 (*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
	99.0%	(.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/8 binary64)) (.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/8 binary64)) (*.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)))))
▶	99.5%	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
▶	99.3%	(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x))
▶	99.5%	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
▶	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	52.1%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Compiler

Compiled 132 to 105 computations (20.5% saved)

simplify4.0ms (0.1%)

Memory

5.7MiB live, 5.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
cost-diff	0	(pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64))
cost-diff	6784	(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x))
cost-diff	0	(pow.f64 x #s(literal 4 binary64))
cost-diff	0	(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
cost-diff	0	(pow.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64))
cost-diff	0	(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
cost-diff	0	(sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64)))
cost-diff	0	(pow.f64 x #s(literal 3/4 binary64))
cost-diff	0	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
cost-diff	0	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(*.f64 x #s(literal 2 binary64))
cost-diff	0	(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
cost-diff	0	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	90
0	38	90
1	48	86
2	51	86
0	51	86

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
(sqrt.f64 x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
(pow.f64 x #s(literal 3/4 binary64))
x
#s(literal 3/4 binary64)
(sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(sqrt.f64 x)
#s(literal 2 binary64)
(pow.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)
#s(literal 1/4 binary64)
(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x))
(pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64))
#s(literal 4 binary64)
#s(literal 1/8 binary64)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
x

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

localize103.0ms (2%)

Memory

10.1MiB live, 86.3MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0	(pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64))
accuracy	0.23828125	(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
accuracy	0.3046875	(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x))
accuracy	0	(pow.f64 x #s(literal 4 binary64))
accuracy	0.006191259768442017	(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
accuracy	45.97543741925609	(pow.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64))
accuracy	0	(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
accuracy	0	(sqrt.f64 x)
accuracy	0.08984375	(sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64)))
accuracy	0.3203125	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
accuracy	0	(sqrt.f64 #s(literal 2 binary64))
accuracy	0.4140625	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
accuracy	0	(*.f64 x #s(literal 2 binary64))
accuracy	0	(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
accuracy	0	(sqrt.f64 x)
accuracy	0.328125	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))

Samples

88.0ms

256×

valid

Compiler

Compiled 92 to 24 computations (73.9% saved)

Precisions

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

ival-pow: 55.0ms (73.5% of total)

ival-mult: 12.0ms (16% of total)

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

exact: 1.0ms (1.3% of total)

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

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

series247.0ms (4.8%)

Memory

0.1MiB live, 194.4MiB allocated

Counts

16 → 168

Calls

Call 1

Inputs
#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())
#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())
#s(alt (sqrt.f64 #s(literal 2 binary64)) (patch (sqrt.f64 #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())
#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())
#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())
#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())
#s(alt (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (patch (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())

Outputs
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor 0 x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor 0 x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor 0 x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor 0 x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow x 3)) 1/4) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow x 3)) 1/4) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow x 3)) 1/4) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow x 3)) 1/4) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow (* 1 x) 1/4) (sqrt 2)) (taylor 0 x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* 1 x) 1/4) (sqrt 2)) (taylor 0 x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* 1 x) 1/4) (sqrt 2)) (taylor 0 x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* 1 x) 1/4) (sqrt 2)) (taylor 0 x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 2 (sqrt x)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 (sqrt x)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 (sqrt x)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 (sqrt x)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor 0 x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor 0 x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor 0 x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor 0 x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor 0 x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor 0 x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor 0 x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor 0 x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow x 3)) 1/4) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow x 3)) 1/4) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow x 3)) 1/4) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow x 3)) 1/4) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow (* 1 x) 1/4) (sqrt 2)) (taylor inf x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* 1 x) 1/4) (sqrt 2)) (taylor inf x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* 1 x) 1/4) (sqrt 2)) (taylor inf x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* 1 x) 1/4) (sqrt 2)) (taylor inf x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 2 (sqrt x)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 (sqrt x)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 (sqrt x)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 (sqrt x)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor inf x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor inf x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor inf x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor inf x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor inf x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor inf x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor inf x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor inf x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor inf x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor inf x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor inf x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor inf x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (sqrt -2) (sqrt -1)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (sqrt -2) (sqrt -1)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (sqrt -2) (sqrt -1)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (sqrt -2) (sqrt -1)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1)))) (taylor -inf x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1)))) (taylor -inf x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1)))) (taylor -inf x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1)))) (taylor -inf x) (#s(alt (sqrt.f64 (.f64 x #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1))))) (taylor -inf x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1))))) (taylor -inf x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1))))) (taylor -inf x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1))))) (taylor -inf x) (#s(alt (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) (patch (.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x)))))) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x)))))) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x)))))) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x)))))) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3/4 binary64)) (patch (pow.f64 x #s(literal 3/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2))) (taylor -inf x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2))) (taylor -inf x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2))) (taylor -inf x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2))) (taylor -inf x) (#s(alt (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) (patch (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -2 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) #s(literal 2 binary64)) (patch (.f64 (sqrt.f64 x) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow 4 1/4) x)) (taylor -inf x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow 4 1/4) x)) (taylor -inf x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow 4 1/4) x)) (taylor -inf x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow 4 1/4) x)) (taylor -inf x) (#s(alt (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) (patch (pow.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor -inf x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor -inf x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor -inf x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow x 4)) (taylor -inf x) (#s(alt (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) (patch (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 4) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 4 binary64)) (patch (pow.f64 x #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/4) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 4 1/8) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) (patch (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
97.0ms	x	@	0	((* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (sqrt 2) x) (sqrt 2) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (pow (* (pow x 4) 4) 1/4) (* (pow x 4) 4) (pow x 4) (* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x))
88.0ms	x	@	-inf	((* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (sqrt 2) x) (sqrt 2) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (pow (* (pow x 4) 4) 1/4) (* (pow x 4) 4) (pow x 4) (* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x))
58.0ms	x	@	inf	((* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (sqrt 2) x) (sqrt 2) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (pow (* (pow x 4) 4) 1/4) (* (pow x 4) 4) (pow x 4) (* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x))

Time

Variable

Point

Expression

97.0ms

((* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (sqrt 2) x) (sqrt 2) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (pow (* (pow x 4) 4) 1/4) (* (pow x 4) 4) (pow x 4) (* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x))

88.0ms

-inf

((* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (sqrt 2) x) (sqrt 2) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (pow (* (pow x 4) 4) 1/4) (* (pow x 4) 4) (pow x 4) (* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x))

58.0ms

inf

((* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (sqrt 2) x) (sqrt 2) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (pow (* (pow x 4) 4) 1/4) (* (pow x 4) 4) (pow x 4) (* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x))

simplify200.0ms (3.9%)

Memory

-5.2MiB live, 40.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	56	812
1	126	812
2	337	808
3	761	808
4	1006	808
5	1335	808
6	1711	808
7	1960	808
8	2196	808
9	2514	808
10	2717	808
11	2865	808
12	2981	808
13	3090	808
14	3285	808
15	3495	808
16	3894	808
17	4597	808
18	5524	808
19	6909	808
0	8103	808

Stop Event

1×	iter limit
1×	node limit

Counts

168 → 168

Calls

Call 1

Inputs
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(pow (* 1 (pow x 3)) 1/4)
(pow (* 1 (pow x 3)) 1/4)
(pow (* 1 (pow x 3)) 1/4)
(pow (* 1 (pow x 3)) 1/4)
(* (pow (* 1 x) 1/4) (sqrt 2))
(* (pow (* 1 x) 1/4) (sqrt 2))
(* (pow (* 1 x) 1/4) (sqrt 2))
(* (pow (* 1 x) 1/4) (sqrt 2))
(* 2 (sqrt x))
(* 2 (sqrt x))
(* 2 (sqrt x))
(* 2 (sqrt x))
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* 4 (pow x 4))
(* 4 (pow x 4))
(* 4 (pow x 4))
(* 4 (pow x 4))
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/8) x)
(* (pow 4 1/8) x)
(* (pow 4 1/8) x)
(* (pow 4 1/8) x)
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(pow (* 1 (pow x 3)) 1/4)
(pow (* 1 (pow x 3)) 1/4)
(pow (* 1 (pow x 3)) 1/4)
(pow (* 1 (pow x 3)) 1/4)
(* (pow (* 1 x) 1/4) (sqrt 2))
(* (pow (* 1 x) 1/4) (sqrt 2))
(* (pow (* 1 x) 1/4) (sqrt 2))
(* (pow (* 1 x) 1/4) (sqrt 2))
(* 2 (sqrt x))
(* 2 (sqrt x))
(* 2 (sqrt x))
(* 2 (sqrt x))
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* 4 (pow x 4))
(* 4 (pow x 4))
(* 4 (pow x 4))
(* 4 (pow x 4))
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/8) x)
(* (pow 4 1/8) x)
(* (pow 4 1/8) x)
(* (pow 4 1/8) x)
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 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)))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1)))))
(* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1)))))
(* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1)))))
(* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1)))))
(exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x))))))
(exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x))))))
(exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x))))))
(exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x))))))
(* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2)))
(* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2)))
(* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2)))
(* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2)))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (pow 4 1/4) x))
(* -1 (* (pow 4 1/4) x))
(* -1 (* (pow 4 1/4) x))
(* -1 (* (pow 4 1/4) x))
(* 4 (pow x 4))
(* 4 (pow x 4))
(* 4 (pow x 4))
(* 4 (pow x 4))
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/4) x)
(* (pow 4 1/8) x)
(* (pow 4 1/8) x)
(* (pow 4 1/8) x)
(* (pow 4 1/8) x)

Outputs
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow (* 1 (pow x 3)) 1/4)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow x 3)) 1/4)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow x 3)) 1/4)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow x 3)) 1/4)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(* (pow (* 1 x) 1/4) (sqrt 2))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(* (pow (* 1 x) 1/4) (sqrt 2))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(* (pow (* 1 x) 1/4) (sqrt 2))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(* (pow (* 1 x) 1/4) (sqrt 2))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(* 2 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* 2 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* 2 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* 2 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow (* 1 (pow x 3)) 1/4)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow x 3)) 1/4)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow x 3)) 1/4)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow x 3)) 1/4)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(* (pow (* 1 x) 1/4) (sqrt 2))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(* (pow (* 1 x) 1/4) (sqrt 2))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(* (pow (* 1 x) 1/4) (sqrt 2))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(* (pow (* 1 x) 1/4) (sqrt 2))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(* 2 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* 2 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* 2 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* 2 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(.f64 (neg.f64 x) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(.f64 (neg.f64 x) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(.f64 (neg.f64 x) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(.f64 (neg.f64 x) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(neg.f64 (.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))) (sqrt.f64 x)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(neg.f64 (.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))) (sqrt.f64 x)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(neg.f64 (.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))) (sqrt.f64 x)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(neg.f64 (.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))) (sqrt.f64 x)))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1)))))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 45/4 binary64)) (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x)))
(* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1)))))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 45/4 binary64)) (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x)))
(* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1)))))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 45/4 binary64)) (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x)))
(* -1 (* (pow -1 1/4) (* (* x (sqrt 2)) (sqrt (sqrt -1)))))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 45/4 binary64)) (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x)))
(exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x))))))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x))))))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x))))))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(exp (* 1/4 (+ (log -1) (* -3 (log (/ -1 x))))))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2)))
(.f64 (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 #s(literal 2 binary64))) (pow.f64 (neg.f64 x) #s(literal 1/4 binary64)))
(* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2)))
(.f64 (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 #s(literal 2 binary64))) (pow.f64 (neg.f64 x) #s(literal 1/4 binary64)))
(* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2)))
(.f64 (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 #s(literal 2 binary64))) (pow.f64 (neg.f64 x) #s(literal 1/4 binary64)))
(* (pow (* -1 x) 1/4) (* (sqrt (sqrt -1)) (sqrt 2)))
(.f64 (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 #s(literal 2 binary64))) (pow.f64 (neg.f64 x) #s(literal 1/4 binary64)))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* -2 (* (sqrt x) (pow (sqrt -1) 2)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(* -1 (* (pow 4 1/4) x))
(*.f64 (neg.f64 x) (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)))
(* -1 (* (pow 4 1/4) x))
(*.f64 (neg.f64 x) (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)))
(* -1 (* (pow 4 1/4) x))
(*.f64 (neg.f64 x) (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)))
(* -1 (* (pow 4 1/4) x))
(*.f64 (neg.f64 x) (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(* 4 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/4) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(* (pow 4 1/8) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)

rewrite695.0ms (13.4%)

Memory

-17.5MiB live, 95.9MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	75
0	38	69
1	86	69
2	218	59
3	775	59
4	5208	59
0	8499	59

Stop Event

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

Counts

16 → 1 140

Calls

Call 1

Inputs
(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
(sqrt.f64 x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
(pow.f64 x #s(literal 3/4 binary64))
(sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(pow.f64 x #s(literal 4 binary64))
(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x))
(pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64))
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) 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>

eval369.0ms (7.1%)

Memory: 5.1MiB live, 272.2MiB allocated
Compiler: Compiled 17 825 to 2 075 computations (88.4% saved)

prune29.0ms (0.6%)

Memory

5.6MiB live, 93.3MiB allocated

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	1 419	3	1 422
Fresh	2	0	2
Picked	1	4	5
Done	0	1	1
Total	1 422	8	1 430

Accuracy

100.0%

Counts

1 430 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.1%	(*.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x)
✓	99.5%	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
▶	98.9%	(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x))
✓	99.3%	(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x))
▶	99.1%	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
✓	99.5%	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
✓	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	52.1%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Compiler

Compiled 59 to 51 computations (13.6% saved)

simplify5.0ms (0.1%)

Memory

7.6MiB live, 7.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score
cost-diff	0	(pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64))
cost-diff	0	(*.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x)
cost-diff	6464	(pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64))
cost-diff	0	(pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64))
cost-diff	0	(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
cost-diff	0	(pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64))
cost-diff	0	(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x))
cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
cost-diff	1600	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	63
0	29	63
1	38	59
2	55	55
3	61	55
4	84	55
5	112	55
0	112	55

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 x)
x
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x))
(pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64))
#s(literal 16 binary64)
#s(literal 5/64 binary64)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64))
#s(literal 64 binary64)
#s(literal 1/32 binary64)
x
(*.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x)
(pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64))
(pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64))
#s(literal 256 binary64)
#s(literal 1/32 binary64)
#s(literal 2 binary64)
x

Outputs
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(sqrt.f64 x)
x
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x))
(.f64 (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) x) (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)))
(pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64))
#s(literal 16 binary64)
#s(literal 5/64 binary64)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64))
#s(literal 64 binary64)
#s(literal 1/32 binary64)
x
(*.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64))
(pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64))
(pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64))
#s(literal 256 binary64)
#s(literal 1/32 binary64)
#s(literal 2 binary64)
x

localize50.0ms (1%)

Memory

5.8MiB live, 122.0MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0	(pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64))
accuracy	0.4140625	(*.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x)
accuracy	1.0	(pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64))
accuracy	0	(pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64))
accuracy	0	(pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64))
accuracy	0.30859375	(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x))
accuracy	0.484375	(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
accuracy	0	(sqrt.f64 x)
accuracy	0	(sqrt.f64 #s(literal 2 binary64))
accuracy	0.328125	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
accuracy	0.4153900390737681	(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))

Samples

37.0ms

256×

valid

Compiler

Compiled 65 to 20 computations (69.2% saved)

Precisions

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

ival-pow: 9.0ms (36.4% of total)

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

ival-sqrt: 4.0ms (16.2% of total)

ival-pow2: 2.0ms (8.1% of total)

exact: 1.0ms (4% of total)

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

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

series143.0ms (2.8%)

Memory

-13.5MiB live, 303.5MiB allocated

Counts

11 → 72

Calls

Call 1

Inputs
#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())
#s(alt (sqrt.f64 #s(literal 2 binary64)) (patch (sqrt.f64 #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())
#s(alt (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (patch (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())
#s(alt (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) (patch (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) #<representation binary64>) () ())
#s(alt (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) (patch (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())
#s(alt (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) (patch (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #<representation binary64>) () ())

Outputs
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor 0 x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor 0 x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor 0 x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor 0 x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor 0 x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (sqrt x) (taylor inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor inf x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor inf x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor inf x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor inf x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor inf x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (pow (sqrt -1) 2))) (taylor -inf x) (#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) (* (pow 1048576 1/64) x)) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) (patch (.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 64 1/32) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (patch (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())
#s(alt (* (pow 256 1/16) x) (taylor -inf x) (#s(alt (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) (patch (.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

86.0ms

((* (* (sqrt x) (sqrt 2)) (sqrt x)) (* (sqrt x) (sqrt 2)) (sqrt x) (sqrt 2) (* (pow 16 5/64) (* (pow 64 1/32) x)) (pow 16 5/64) (* (pow 64 1/32) x) (pow 64 1/32) (pow (pow 256 1/32) 2) (* (pow (pow 256 1/32) 2) x) (pow 256 1/32))

29.0ms

inf

((* (* (sqrt x) (sqrt 2)) (sqrt x)) (* (sqrt x) (sqrt 2)) (sqrt x) (sqrt 2) (* (pow 16 5/64) (* (pow 64 1/32) x)) (pow 16 5/64) (* (pow 64 1/32) x) (pow 64 1/32) (pow (pow 256 1/32) 2) (* (pow (pow 256 1/32) 2) x) (pow 256 1/32))

26.0ms

-inf

((* (* (sqrt x) (sqrt 2)) (sqrt x)) (* (sqrt x) (sqrt 2)) (sqrt x) (sqrt 2) (* (pow 16 5/64) (* (pow 64 1/32) x)) (pow 16 5/64) (* (pow 64 1/32) x) (pow 64 1/32) (pow (pow 256 1/32) 2) (* (pow (pow 256 1/32) 2) x) (pow 256 1/32))

simplify126.0ms (2.4%)

Memory

6.3MiB live, 88.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	360
1	56	360
2	158	360
3	287	360
4	811	360
5	1220	360
6	1782	360
7	1981	360
8	2079	360
9	2115	360
10	2123	360
11	2123	360
12	2411	360
13	2561	360
14	2577	360
15	2609	360
16	2625	360
17	2641	360
18	2761	360
19	2809	360
20	2809	360
21	3270	360
0	3270	360

Stop Event

1×	iter limit
1×	saturated

Counts

72 → 72

Calls

Call 1

Inputs
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) x)
(* (pow 64 1/32) x)
(* (pow 64 1/32) x)
(* (pow 64 1/32) x)
(* (pow 256 1/16) x)
(* (pow 256 1/16) x)
(* (pow 256 1/16) x)
(* (pow 256 1/16) x)
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) x)
(* (pow 64 1/32) x)
(* (pow 64 1/32) x)
(* (pow 64 1/32) x)
(* (pow 256 1/16) x)
(* (pow 256 1/16) x)
(* (pow 256 1/16) x)
(* (pow 256 1/16) x)
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 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)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(* (pow 64 1/32) x)
(* (pow 64 1/32) x)
(* (pow 64 1/32) x)
(* (pow 64 1/32) x)
(* (pow 256 1/16) x)
(* (pow 256 1/16) x)
(* (pow 256 1/16) x)
(* (pow 256 1/16) x)

Outputs
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) (* (pow 1048576 1/64) x))
(.f64 (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x) (pow.f64 #s(literal 1048576 binary64) #s(literal 1/64 binary64)))
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 64 1/32) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(* (pow 256 1/16) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)

rewrite87.0ms (1.7%)

Memory

-8.3MiB live, 150.7MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	52
0	29	54
1	72	53
2	198	51
3	634	25
0	3664	25

Stop Event

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

Counts

11 → 386

Calls

Call 1

Inputs
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 x)
(sqrt.f64 #s(literal 2 binary64))
(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x))
(pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64))
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x)
(pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64))
(pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64))
(*.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x)
(pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64))

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>

eval69.0ms (1.3%)

Memory: -2.0MiB live, 115.6MiB allocated
Compiler: Compiled 5 685 to 588 computations (89.7% saved)

prune11.0ms (0.2%)

Memory

31.6MiB live, 31.6MiB allocated

Pruning

10 alts after pruning (3 fresh and 7 done)

	Pruned	Kept	Total
New	488	3	491
Fresh	0	0	0
Picked	0	3	3
Done	1	4	5
Total	489	10	499

Accuracy

100.0%

Counts

499 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.1%	(*.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x)
✓	99.5%	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
✓	98.9%	(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x))
▶	98.9%	(.f64 (.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
▶	98.9%	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
✓	99.1%	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
✓	99.5%	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
✓	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
▶	20.3%	(*.f64 x #s(literal 1 binary64))
✓	52.1%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Compiler

Compiled 79 to 64 computations (19% saved)

simplify7.0ms (0.1%)

Memory

-31.2MiB live, 7.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 9 expressions of interest:

New	Metric	Score
cost-diff	0	(sqrt.f64 (sqrt.f64 x))
cost-diff	0	(.f64 (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64)))
cost-diff	1600	(.f64 (.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
cost-diff	2240	(*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
cost-diff	1600	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
cost-diff	2240	(*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))
cost-diff	320	(*.f64 x #s(literal 1 binary64))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	78
0	21	51
1	34	51
2	53	43
3	64	43
4	85	43
5	100	43
6	102	43
0	102	43

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize35.0ms (0.7%)

Memory

15.8MiB live, 53.4MiB allocated

Localize:

Found 9 expressions of interest:

New	Metric	Score
accuracy	0.140625	(sqrt.f64 (sqrt.f64 x))
accuracy	0.328125	(.f64 (.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
accuracy	0.4153900390737681	(.f64 (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64)))
accuracy	0.5527725586106521	(*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))
accuracy	0.140625	(sqrt.f64 (sqrt.f64 x))
accuracy	0.328125	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
accuracy	0.4153900390737681	(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
accuracy	0.5527725586106521	(*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))
accuracy	0	(*.f64 x #s(literal 1 binary64))

Samples

26.0ms

256×

valid

Compiler

Compiled 80 to 14 computations (82.5% saved)

Precisions

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

ival-mult: 9.0ms (64.2% of total)

ival-sqrt: 5.0ms (35.7% of total)

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

exact: 0.0ms (0% of total)

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

series30.0ms (0.6%)

Memory

13.0MiB live, 51.2MiB allocated

Counts

8 → 96

Calls

Call 1

Inputs
#s(alt (.f64 x #s(literal 1 binary64)) (patch (.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (patch (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))) (patch (.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))) #<representation binary64>) () ())
#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) (patch (.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt (sqrt.f64 (sqrt.f64 x)) (patch (sqrt.f64 (sqrt.f64 x)) #<representation binary64>) () ())

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

Calls

3 calls:

Time

Variable

Point

Expression

11.0ms

inf

((* x 1) (* (sqrt (sqrt x)) (sqrt (sqrt x))) (* (* (sqrt x) (sqrt 2)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (* (sqrt x) (sqrt 2)) (sqrt x) (* (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt 2)) (sqrt x)) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt 2)) (sqrt (sqrt x)))

9.0ms

-inf

((* x 1) (* (sqrt (sqrt x)) (sqrt (sqrt x))) (* (* (sqrt x) (sqrt 2)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (* (sqrt x) (sqrt 2)) (sqrt x) (* (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt 2)) (sqrt x)) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt 2)) (sqrt (sqrt x)))

7.0ms

((* x 1) (* (sqrt (sqrt x)) (sqrt (sqrt x))) (* (* (sqrt x) (sqrt 2)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (* (sqrt x) (sqrt 2)) (sqrt x) (* (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt 2)) (sqrt x)) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt 2)) (sqrt (sqrt x)))

simplify29.0ms (0.6%)

Memory

-14.6MiB live, 32.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	332
1	51	332
2	164	332
3	302	332
4	693	332
5	914	332
6	1051	332
7	1074	332
8	1076	332
9	1076	332
0	1076	332

Stop Event

1×	iter limit
1×	saturated

Counts

96 → 84

Calls

Call 1

Inputs
x
x
x
x
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(pow (* 1 x) 1/4)
(pow (* 1 x) 1/4)
(pow (* 1 x) 1/4)
(pow (* 1 x) 1/4)
x
x
x
x
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(* (sqrt x) (sqrt 2))
(pow (* 1 x) 1/4)
(pow (* 1 x) 1/4)
(pow (* 1 x) 1/4)
(pow (* 1 x) 1/4)
x
x
x
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 (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 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 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(* (pow (* -1 x) 1/4) (sqrt (sqrt -1)))
(* (pow (* -1 x) 1/4) (sqrt (sqrt -1)))
(* (pow (* -1 x) 1/4) (sqrt (sqrt -1)))
(* (pow (* -1 x) 1/4) (sqrt (sqrt -1)))

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

rewrite162.0ms (3.1%)

Memory

29.8MiB live, 181.8MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	56
0	21	30
1	43	24
2	141	24
3	554	24
4	3235	24
0	9652	24

Stop Event

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

Counts

8 → 548

Calls

Call 1

Inputs
(*.f64 x #s(literal 1 binary64))
(*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 x)
(.f64 (.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
(.f64 (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64)))
(sqrt.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>

eval156.0ms (3%)

Memory: 6.3MiB live, 233.1MiB allocated
Compiler: Compiled 20 415 to 2 326 computations (88.6% saved)

prune36.0ms (0.7%)

Memory

-35.7MiB live, 92.7MiB allocated

Pruning

11 alts after pruning (2 fresh and 9 done)

	Pruned	Kept	Total
New	1 356	2	1 358
Fresh	0	0	0
Picked	1	2	3
Done	0	7	7
Total	1 357	11	1 368

Accuracy

100.0%

Counts

1 368 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.1%	(*.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x)
✓	99.5%	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
✓	98.9%	(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x))
✓	98.9%	(.f64 (.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
✓	98.9%	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
✓	99.1%	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
✓	99.5%	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
	99.0%	(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
✓	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	52.1%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
	20.3%	x

Compiler

Compiled 224 to 124 computations (44.6% saved)

regimes15.0ms (0.3%)

Memory

34.8MiB live, 34.9MiB allocated

Counts

16 → 1

Calls

Call 1

Inputs
x
(*.f64 x #s(literal 1 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
(.f64 (.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 x))
(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
(*.f64 (pow.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/32 binary64)) #s(literal 2 binary64)) x)
(pow.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64))
(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x))
(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 5/64 binary64)) (.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/32 binary64)) x))
(pow.f64 (*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
(.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/8 binary64)) (.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/8 binary64)) (*.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)))))

Outputs
(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))

Calls

3 calls:

5.0ms	x
4.0ms	(.f64 (.f64 #s(literal 2 binary64) x) x)
4.0ms	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Results

Accuracy	Segments	Branch
99.5%	1	`x`
99.5%	1	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`
99.5%	1	`(.f64 (.f64 #s(literal 2 binary64) x) x)`

Compiler

Compiled 12 to 10 computations (16.7% saved)

regimes7.0ms (0.1%)

Memory

-26.1MiB live, 13.2MiB allocated

Counts

4 → 1

Calls

Call 1

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

Outputs
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)

Calls

3 calls:

3.0ms	(.f64 (.f64 #s(literal 2 binary64) x) x)
2.0ms	x
2.0ms	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Results

Accuracy	Segments	Branch
99.4%	1	`x`
99.4%	1	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`
99.4%	1	`(.f64 (.f64 #s(literal 2 binary64) x) x)`

Compiler

Compiled 12 to 10 computations (16.7% saved)

regimes5.0ms (0.1%)

Memory

10.1MiB live, 10.1MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

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

Outputs
x

Calls

3 calls:

1.0ms	x
1.0ms	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
1.0ms	(.f64 (.f64 #s(literal 2 binary64) x) x)

Results

Accuracy	Segments	Branch
20.3%	1	`x`
20.3%	1	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`
20.3%	1	`(.f64 (.f64 #s(literal 2 binary64) x) x)`

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify22.0ms (0.4%)

Memory

7.9MiB live, 47.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	11	12

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
x

Outputs
(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
x

soundness1.1s (20.7%)

Memory

-1.2MiB live, 351.0MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	12	56
0	21	30
1	43	24
2	141	24
3	554	24
4	3235	24
0	9652	24
0	22	75
0	38	69
1	86	69
2	218	59
3	775	59
4	5208	59
0	8499	59
0	5	14
0	8	14
1	17	14
2	38	13
3	92	12
4	338	12
5	2074	12
0	8672	12
0	18	52
0	29	54
1	72	53
2	198	51
3	634	25
0	3664	25

Stop Event

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

Compiler

Compiled 52 to 36 computations (30.8% saved)

preprocess105.0ms (2%)

Memory: 5.4MiB live, 43.8MiB allocated
Compiler: Compiled 64 to 50 computations (21.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	9	148
1	17	148
2	32	148
3	36	148
4	40	148
5	52	148
6	64	148
7	75	148
8	95	148
9	100	148
0	100	148

Iter	Nodes	Cost
0	9	148
1	17	148
2	32	148
3	36	148
4	40	148
5	52	148
6	64	148
7	75	148
8	95	148
9	100	148
0	100	148

start0.0ms (0%)

analyze0.0ms (0%)

sample658.0ms (12.7%)

explain353.0ms (6.8%)

preprocess39.0ms (0.8%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0%)

localize19.0ms (0.4%)

series4.0ms (0.1%)

simplify5.0ms (0.1%)

rewrite214.0ms (4.1%)

eval17.0ms (0.3%)

prune46.0ms (0.9%)

simplify4.0ms (0.1%)

localize103.0ms (2%)

series247.0ms (4.8%)

simplify200.0ms (3.9%)

rewrite695.0ms (13.4%)

eval369.0ms (7.1%)

prune29.0ms (0.6%)

simplify5.0ms (0.1%)

localize50.0ms (1%)

series143.0ms (2.8%)

simplify126.0ms (2.4%)

rewrite87.0ms (1.7%)

eval69.0ms (1.3%)

prune11.0ms (0.2%)

simplify7.0ms (0.1%)

localize35.0ms (0.7%)

series30.0ms (0.6%)

simplify29.0ms (0.6%)

rewrite162.0ms (3.1%)

eval156.0ms (3%)

prune36.0ms (0.7%)

regimes15.0ms (0.3%)

regimes7.0ms (0.1%)

regimes5.0ms (0.1%)

simplify22.0ms (0.4%)

soundness1.1s (20.7%)

preprocess105.0ms (2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	9	148
1	17	148
2	32	148
3	36	148
4	40	148
5	52	148
6	64	148
7	75	148
8	95	148
9	100	148
0	100	148