Metrics for sqrt B (should all be same)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
100%	100%	0%	0%	0%	0%	0%	2

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample2.5s (38.3%)

Memory

1.2MiB live, 705.1MiB allocated

Samples

1.3s

8 256×

valid

Precisions

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

ival-sqrt: 127.0ms (47.4% of total)

ival-mult: 126.0ms (47% of total)

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

exact: 5.0ms (1.9% of total)

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

Bogosity

explain129.0ms (2%)

Memory

-5.7MiB live, 77.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
119	-	1	(1.3631887134284442e-157)	`(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	73	0
↳	`(*.f64 #s(literal 2 binary64) x)`	overflow	1
↳	`(.f64 (.f64 #s(literal 2 binary64) x) x)`	overflow	73
`sqrt.f64`	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`	uflow-rescue	45	0
↳	`(.f64 (.f64 #s(literal 2 binary64) x) x)`	underflow	45

Confusion

	Predicted +	Predicted -
+	118	1
-	0	137

Precision

1.0

Recall

0.9915966386554622

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	118	0	1
-	0	0	137

Precision?

1.0

Recall?

0.9915966386554622

Freqs

test

number	freq
0	138
1	118

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

23.0ms

512×

valid

Compiler

Compiled 58 to 24 computations (58.6% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

preprocess14.0ms (0.2%)

Memory

19.2MiB live, 19.3MiB 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 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

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify3.0ms (0%)

Memory

2.8MiB live, 2.8MiB 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 x #s(literal 2 binary64)) x))
(.f64 (.f64 x #s(literal 2 binary64)) x)
(*.f64 x #s(literal 2 binary64))
#s(literal 2 binary64)
x

localize61.0ms (0.9%)

Memory

-11.4MiB live, 27.3MiB 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	27.483143221593448	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Samples

56.0ms

256×

valid

Compiler

Compiled 34 to 12 computations (64.7% saved)

Precisions

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

ival-mult: 47.0ms (95.1% of total)

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

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

exact: 0.0ms (0% of total)

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

series5.0ms (0.1%)

Memory

8.6MiB live, 8.6MiB allocated

Counts

3 → 36

Calls

Call 1

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

Inputs

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

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

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

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (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

7.2MiB live, 7.2MiB 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
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)

rewrite138.0ms (2.1%)

Memory

-2.4MiB live, 238.0MiB 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>

eval20.0ms (0.3%)

Memory: -2.0MiB live, 36.7MiB allocated
Compiler: Compiled 2 095 to 356 computations (83% saved)

prune9.0ms (0.1%)

Memory

-14.6MiB live, 24.8MiB 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
	98.8%	(pow.f64 (*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
▶	99.4%	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
▶	70.2%	(.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.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 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)))
▶	99.2%	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
▶	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	57.1%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Compiler

Compiled 128 to 105 computations (18% saved)

simplify6.0ms (0.1%)

Memory

10.3MiB live, 10.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 18 expressions of interest:

New	Metric	Score
cost-diff	0	(.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64)))
cost-diff	0	(sqrt.f64 (.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64))))
cost-diff	0	(pow.f64 x #s(literal 1/4 binary64))
cost-diff	0	(.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 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 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))
cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
cost-diff	0	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
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/16 binary64))
cost-diff	320	(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x))
cost-diff	13248	(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	26	124
0	45	124
1	61	120
2	81	114
3	99	114
4	102	114
5	104	114
0	104	114

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize84.0ms (1.3%)

Memory

-4.4MiB live, 152.8MiB allocated

Localize:

Found 18 expressions of interest:

New	Metric	Score
accuracy	0	(sqrt.f64 x)
accuracy	0.1484375	(.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64)))
accuracy	0.3857612793053261	(.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
accuracy	19.476198173519226	(sqrt.f64 (.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64))))
accuracy	0	(sqrt.f64 x)
accuracy	0.0078125	(pow.f64 x #s(literal 3/4 binary64))
accuracy	0.11328125	(sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64)))
accuracy	0.35546875	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
accuracy	0	(*.f64 x #s(literal 2 binary64))
accuracy	0	(sqrt.f64 x)
accuracy	0.2382797881405156	(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
accuracy	0.34375	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
accuracy	0	(sqrt.f64 #s(literal 2 binary64))
accuracy	0.40234375	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
accuracy	0	(pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64))
accuracy	0.21875	(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
accuracy	0.24609375	(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x))
accuracy	0.2734375	(.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)))

Samples

61.0ms

256×

valid

Compiler

Compiled 250 to 54 computations (78.4% saved)

Precisions

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

ival-pow: 20.0ms (42.8% of total)

ival-mult: 15.0ms (32.1% of total)

ival-sqrt: 10.0ms (21.4% of total)

exact: 1.0ms (2.1% of total)

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

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

series289.0ms (4.4%)

Memory

27.7MiB live, 496.2MiB allocated

Counts

18 → 192

Calls

Call 1

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

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

Calls

3 calls:

Time	Variable		Point	Expression
143.0ms	x	@	0	((* (pow 4 1/16) (* (pow 4 1/16) (* (pow 4 1/8) x))) (* (pow 4 1/16) (* (pow 4 1/8) x)) (pow 4 1/16) (* (pow 4 1/8) x) (* (sqrt 2) x) (sqrt 2) (* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (* (pow x 1/4) (sqrt (* (sqrt x) (* x 2)))) (pow x 1/4) (sqrt (* (sqrt x) (* x 2))) (* (sqrt x) (* x 2)))
94.0ms	x	@	-inf	((* (pow 4 1/16) (* (pow 4 1/16) (* (pow 4 1/8) x))) (* (pow 4 1/16) (* (pow 4 1/8) x)) (pow 4 1/16) (* (pow 4 1/8) x) (* (sqrt 2) x) (sqrt 2) (* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (* (pow x 1/4) (sqrt (* (sqrt x) (* x 2)))) (pow x 1/4) (sqrt (* (sqrt x) (* x 2))) (* (sqrt x) (* x 2)))
46.0ms	x	@	inf	((* (pow 4 1/16) (* (pow 4 1/16) (* (pow 4 1/8) x))) (* (pow 4 1/16) (* (pow 4 1/8) x)) (pow 4 1/16) (* (pow 4 1/8) x) (* (sqrt 2) x) (sqrt 2) (* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (* (pow x 1/4) (sqrt (* (sqrt x) (* x 2)))) (pow x 1/4) (sqrt (* (sqrt x) (* x 2))) (* (sqrt x) (* x 2)))

Time

Variable

Point

Expression

143.0ms

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

94.0ms

-inf

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

46.0ms

inf

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

simplify133.0ms (2%)

Memory

1.6MiB live, 78.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	75	1020
1	170	1020
2	474	1012
3	1104	1012
4	1470	1012
5	1895	1012
6	2658	1012
7	4590	1012
8	6036	1008
9	7182	1008
10	7956	1008
0	8008	1008

Stop Event

1×	iter limit
1×	node limit

Counts

192 → 192

Calls

Call 1

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

Outputs
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 x #s(literal 1/4 binary64))
(pow.f64 x #s(literal 1/4 binary64))
(pow.f64 x #s(literal 1/4 binary64))
(pow.f64 x #s(literal 1/4 binary64))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 x #s(literal 1/4 binary64))
(pow.f64 x #s(literal 1/4 binary64))
(pow.f64 x #s(literal 1/4 binary64))
(pow.f64 x #s(literal 1/4 binary64))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 64 binary64) #s(literal 1/16 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (neg.f64 x) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))))
(.f64 (neg.f64 x) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))))
(.f64 (neg.f64 x) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))))
(.f64 (neg.f64 x) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))))
(neg.f64 (.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))) (sqrt.f64 x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))) (sqrt.f64 x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))) (sqrt.f64 x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))) (sqrt.f64 x)))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 2 binary64) x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(sqrt.f64 x)
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 21/4 binary64)) (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x)))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 21/4 binary64)) (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x)))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 21/4 binary64)) (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x)))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 21/4 binary64)) (.f64 (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x)))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/4 binary64))
(.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)))
(.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)))
(.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)))
(.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)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 21/4 binary64)) (.f64 (*.f64 (sqrt.f64 #s(literal -2 binary64)) x) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64)))))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 21/4 binary64)) (.f64 (*.f64 (sqrt.f64 #s(literal -2 binary64)) x) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64)))))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 21/4 binary64)) (.f64 (*.f64 (sqrt.f64 #s(literal -2 binary64)) x) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64)))))
(.f64 (pow.f64 #s(literal -1 binary64) #s(literal 21/4 binary64)) (.f64 (*.f64 (sqrt.f64 #s(literal -2 binary64)) x) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64)))))
(pow.f64 x #s(literal 1/4 binary64))
(pow.f64 x #s(literal 1/4 binary64))
(pow.f64 x #s(literal 1/4 binary64))
(pow.f64 x #s(literal 1/4 binary64))
(.f64 (.f64 (pow.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -3/4 binary64)) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64)))) (sqrt.f64 #s(literal -2 binary64)))
(.f64 (.f64 (pow.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -3/4 binary64)) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64)))) (sqrt.f64 #s(literal -2 binary64)))
(.f64 (.f64 (pow.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -3/4 binary64)) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64)))) (sqrt.f64 #s(literal -2 binary64)))
(.f64 (.f64 (pow.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -3/4 binary64)) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64)))) (sqrt.f64 #s(literal -2 binary64)))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))

rewrite106.0ms (1.6%)

Memory

17.6MiB live, 91.4MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	100
0	45	81
1	95	75
2	244	75
3	929	69
0	3366	69

Stop Event

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

Counts

18 → 787

Calls

Call 1

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

eval140.0ms (2.1%)

Memory: -23.2MiB live, 248.1MiB allocated
Compiler: Compiled 14 756 to 1 495 computations (89.9% saved)

prune23.0ms (0.3%)

Memory

28.3MiB live, 67.9MiB allocated

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	1 098	3	1 101
Fresh	2	0	2
Picked	1	4	5
Done	0	1	1
Total	1 101	8	1 109

Accuracy

100.0%

Counts

1 109 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.1%	(.f64 (pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
✓	99.4%	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
✓	70.2%	(.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
✓	99.2%	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
▶	70.1%	(.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
✓	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
▶	99.2%	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))) x)
✓	57.1%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Compiler

Compiled 65 to 55 computations (15.4% saved)

simplify4.0ms (0.1%)

Memory

5.1MiB live, 5.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score
cost-diff	0	(sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64)))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64))
cost-diff	0	(.f64 (pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
cost-diff	0	(sqrt.f64 (.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64))))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(sqrt.f64 (sqrt.f64 x))
cost-diff	0	(.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
cost-diff	0	(log.f64 #s(literal 256 binary64))
cost-diff	0	(*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))
cost-diff	0	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))) x)
cost-diff	6656	(exp.f64 (*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	83
0	33	79
1	45	79
2	52	79
0	52	79

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))) x)
(exp.f64 (*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64)))
(*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))
(log.f64 #s(literal 256 binary64))
#s(literal 256 binary64)
#s(literal 1/16 binary64)
x
(.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
(sqrt.f64 (sqrt.f64 x))
(sqrt.f64 x)
x
(sqrt.f64 (.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64))))
(.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
#s(literal 2 binary64)
(.f64 (pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
(pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64))
(sqrt.f64 x)
x
#s(literal 3/2 binary64)
(sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) #s(literal 2 binary64))
#s(literal 2 binary64)

Outputs
(*.f64 x (pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64)))
(pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64))
(*.f64 #s(literal 1/16 binary64) (log.f64 #s(literal 256 binary64)))
(log.f64 #s(literal 256 binary64))
#s(literal 256 binary64)
#s(literal 1/16 binary64)
x
(.f64 (sqrt.f64 (.f64 (*.f64 (sqrt.f64 x) x) #s(literal 2 binary64))) (sqrt.f64 (sqrt.f64 x)))
(sqrt.f64 (sqrt.f64 x))
(sqrt.f64 x)
x
(sqrt.f64 (.f64 (.f64 (sqrt.f64 x) x) #s(literal 2 binary64)))
(.f64 (.f64 (sqrt.f64 x) x) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x))) (pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64)))
(pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64))
(sqrt.f64 x)
x
#s(literal 3/2 binary64)
(sqrt.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)))
(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
#s(literal 2 binary64)

localize79.0ms (1.2%)

Memory

-20.7MiB live, 79.1MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(sqrt.f64 x)
accuracy	0.11328125	(sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64)))
accuracy	0.35546875	(.f64 (pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
accuracy	0.42025375976844204	(pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64))
accuracy	0.125	(sqrt.f64 (sqrt.f64 x))
accuracy	0.1484375	(.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64)))
accuracy	0.3857612793053261	(.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
accuracy	19.476198173519226	(sqrt.f64 (.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64))))
accuracy	0	(*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))
accuracy	0	(log.f64 #s(literal 256 binary64))
accuracy	0.40234375	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))) x)
accuracy	1.0	(exp.f64 (*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64)))

Samples

43.0ms

256×

valid

Compiler

Compiled 168 to 40 computations (76.2% saved)

Precisions

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

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

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

ival-pow: 6.0ms (19.1% of total)

ival-log: 4.0ms (12.7% of total)

ival-exp: 3.0ms (9.5% of total)

exact: 1.0ms (3.2% of total)

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

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

series85.0ms (1.3%)

Memory

-28.0MiB live, 129.5MiB allocated

Counts

12 → 108

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (exp.f64 (*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (exp.f64 (.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (log.f64 #s(literal 256 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64))))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 (.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64)))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64)))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())

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

Calls

3 calls:

Time

Variable

Point

Expression

30.0ms

-inf

((exp (* (log 256) 1/16)) (* (exp (* (log 256) 1/16)) x) (* (log 256) 1/16) (log 256) (* (sqrt (sqrt x)) (sqrt (* (sqrt x) (* x 2)))) (sqrt (sqrt x)) (sqrt x) (sqrt (* (sqrt x) (* x 2))) (* (pow (sqrt x) 3/2) (sqrt (* (sqrt x) 2))) (pow (sqrt x) 3/2) (sqrt (* (sqrt x) 2)) (* (sqrt x) (* x 2)))

27.0ms

((exp (* (log 256) 1/16)) (* (exp (* (log 256) 1/16)) x) (* (log 256) 1/16) (log 256) (* (sqrt (sqrt x)) (sqrt (* (sqrt x) (* x 2)))) (sqrt (sqrt x)) (sqrt x) (sqrt (* (sqrt x) (* x 2))) (* (pow (sqrt x) 3/2) (sqrt (* (sqrt x) 2))) (pow (sqrt x) 3/2) (sqrt (* (sqrt x) 2)) (* (sqrt x) (* x 2)))

24.0ms

inf

((exp (* (log 256) 1/16)) (* (exp (* (log 256) 1/16)) x) (* (log 256) 1/16) (log 256) (* (sqrt (sqrt x)) (sqrt (* (sqrt x) (* x 2)))) (sqrt (sqrt x)) (sqrt x) (sqrt (* (sqrt x) (* x 2))) (* (pow (sqrt x) 3/2) (sqrt (* (sqrt x) 2))) (pow (sqrt x) 3/2) (sqrt (* (sqrt x) 2)) (* (sqrt x) (* x 2)))

simplify371.0ms (5.7%)

Memory

8.3MiB live, 83.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	49	620
1	102	620
2	276	616
3	472	616
4	1080	616
5	2023	616
6	3161	616
7	3473	616
8	3721	616
9	3893	616
10	3945	616
11	4463	616
12	4691	616
13	4696	616
14	4698	616
15	4714	616
16	4727	616
17	4732	616
18	4739	616
19	4744	616
20	4746	616
21	4746	616
22	4766	616
23	4774	616
24	4774	616
25	5397	616
26	6797	616
27	7313	616
28	7423	616
29	7445	616
30	7445	616
31	7445	616
32	7445	616
33	7445	616
0	8243	616

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 108

Calls

Call 1

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

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

rewrite151.0ms (2.3%)

Memory

5.4MiB live, 158.0MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	66
0	33	60
1	64	52
2	151	46
3	478	46
4	2867	46
0	8793	46

Stop Event

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

Counts

12 → 527

Calls

Call 1

Inputs
(exp.f64 (*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64)))
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))) x)
(*.f64 (log.f64 #s(literal 256 binary64)) #s(literal 1/16 binary64))
(log.f64 #s(literal 256 binary64))
(.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
(sqrt.f64 (sqrt.f64 x))
(sqrt.f64 x)
(sqrt.f64 (.f64 (sqrt.f64 x) (.f64 x #s(literal 2 binary64))))
(.f64 (pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
(pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64))
(sqrt.f64 (*.f64 (sqrt.f64 x) #s(literal 2 binary64)))
(.f64 (sqrt.f64 x) (.f64 x #s(literal 2 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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval140.0ms (2.1%)

Memory: 27.0MiB live, 147.0MiB allocated
Compiler: Compiled 11 200 to 1 606 computations (85.7% saved)

prune18.0ms (0.3%)

Memory

-18.5MiB live, 56.5MiB allocated

Pruning

10 alts after pruning (3 fresh and 7 done)

	Pruned	Kept	Total
New	791	3	794
Fresh	0	0	0
Picked	1	2	3
Done	0	5	5
Total	792	10	802

Accuracy

100.0%

Counts

802 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(*.f64 (pow.f64 (pow.f64 #s(literal 65536 binary64) #s(literal 1/64 binary64)) #s(literal 2 binary64)) x)
✓	99.1%	(.f64 (pow.f64 (sqrt.f64 x) #s(literal 3/2 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
✓	99.4%	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
✓	70.2%	(.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
✓	99.2%	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
▶	98.9%	(.f64 (sqrt.f64 (sqrt.f64 x)) (.f64 (pow.f64 (*.f64 #s(literal 4 binary64) x) #s(literal 1/4 binary64)) (sqrt.f64 x)))
▶	98.8%	(.f64 (sqrt.f64 (sqrt.f64 x)) (.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x))))
✓	70.1%	(.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
✓	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	57.1%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Compiler

Compiled 89 to 74 computations (16.9% saved)

simplify4.0ms (0.1%)

Memory

6.2MiB live, 6.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score
cost-diff	0	(pow.f64 #s(literal 65536 binary64) #s(literal 1/64 binary64))
cost-diff	0	(*.f64 (pow.f64 (pow.f64 #s(literal 65536 binary64) #s(literal 1/64 binary64)) #s(literal 2 binary64)) x)
cost-diff	6464	(pow.f64 (pow.f64 #s(literal 65536 binary64) #s(literal 1/64 binary64)) #s(literal 2 binary64))
cost-diff	0	(.f64 (pow.f64 (.f64 #s(literal 4 binary64) x) #s(literal 1/4 binary64)) (sqrt.f64 x))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(sqrt.f64 (sqrt.f64 x))
cost-diff	0	(.f64 (sqrt.f64 (sqrt.f64 x)) (.f64 (pow.f64 (*.f64 #s(literal 4 binary64) x) #s(literal 1/4 binary64)) (sqrt.f64 x)))
cost-diff	0	(.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(sqrt.f64 (sqrt.f64 x))
cost-diff	0	(.f64 (sqrt.f64 (sqrt.f64 x)) (.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	93
0	34	93
1	46	89
2	67	89
3	73	89
0	73	89

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

Outputs
(.f64 (.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (*.f64 #s(literal 2 binary64) x)))
(sqrt.f64 (sqrt.f64 x))
(sqrt.f64 x)
x
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 x #s(literal 1/4 binary64)))
(pow.f64 x #s(literal 1/4 binary64))
#s(literal 1/4 binary64)
(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
(.f64 (.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x)) (pow.f64 (*.f64 #s(literal 4 binary64) x) #s(literal 1/4 binary64)))
(sqrt.f64 (sqrt.f64 x))
(sqrt.f64 x)
x
(.f64 (pow.f64 (.f64 #s(literal 4 binary64) x) #s(literal 1/4 binary64)) (sqrt.f64 x))
(pow.f64 (*.f64 #s(literal 4 binary64) x) #s(literal 1/4 binary64))
(*.f64 #s(literal 4 binary64) x)
#s(literal 4 binary64)
#s(literal 1/4 binary64)
(*.f64 (pow.f64 #s(literal 65536 binary64) #s(literal 1/32 binary64)) x)
(pow.f64 #s(literal 65536 binary64) #s(literal 1/32 binary64))
(pow.f64 #s(literal 65536 binary64) #s(literal 1/64 binary64))
#s(literal 65536 binary64)
#s(literal 1/64 binary64)
#s(literal 2 binary64)
x

localize76.0ms (1.2%)

Memory

3.6MiB live, 92.4MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0	(pow.f64 #s(literal 65536 binary64) #s(literal 1/64 binary64))
accuracy	0.40234375	(*.f64 (pow.f64 (pow.f64 #s(literal 65536 binary64) #s(literal 1/64 binary64)) #s(literal 2 binary64)) x)
accuracy	1.0	(pow.f64 (pow.f64 #s(literal 65536 binary64) #s(literal 1/64 binary64)) #s(literal 2 binary64))
accuracy	0.125	(sqrt.f64 (sqrt.f64 x))
accuracy	0.24056430968940268	(pow.f64 (*.f64 #s(literal 4 binary64) x) #s(literal 1/4 binary64))
accuracy	0.37337875976844204	(.f64 (pow.f64 (.f64 #s(literal 4 binary64) x) #s(literal 1/4 binary64)) (sqrt.f64 x))
accuracy	0.3857612793053261	(.f64 (sqrt.f64 (sqrt.f64 x)) (.f64 (pow.f64 (*.f64 #s(literal 4 binary64) x) #s(literal 1/4 binary64)) (sqrt.f64 x)))
accuracy	0.125	(sqrt.f64 (sqrt.f64 x))
accuracy	0.2382797881405156	(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
accuracy	0.34765625	(.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
accuracy	0.3857612793053261	(.f64 (sqrt.f64 (sqrt.f64 x)) (.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x))))

Samples

61.0ms

256×

valid

Compiler

Compiled 188 to 42 computations (77.7% saved)

Precisions

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

ival-pow: 19.0ms (49.7% of total)

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

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

ival-pow2: 3.0ms (7.8% of total)

exact: 1.0ms (2.6% of total)

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

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

series223.0ms (3.4%)

Memory

-6.5MiB live, 381.7MiB allocated

Counts

11 → 108

Calls

Call 1

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

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

Calls

3 calls:

Time

Variable

Point

Expression

107.0ms

-inf

((* (sqrt (sqrt x)) (* (pow x 1/4) (sqrt (* 2 x)))) (sqrt (sqrt x)) (sqrt x) (* (pow x 1/4) (sqrt (* 2 x))) (* (sqrt (sqrt x)) (* (pow (* 4 x) 1/4) (sqrt x))) (* (pow (* 4 x) 1/4) (sqrt x)) (pow (pow 65536 1/64) 2) (* (pow (pow 65536 1/64) 2) x) (pow 65536 1/64) (sqrt (* 2 x)) (pow (* 4 x) 1/4))

65.0ms

((* (sqrt (sqrt x)) (* (pow x 1/4) (sqrt (* 2 x)))) (sqrt (sqrt x)) (sqrt x) (* (pow x 1/4) (sqrt (* 2 x))) (* (sqrt (sqrt x)) (* (pow (* 4 x) 1/4) (sqrt x))) (* (pow (* 4 x) 1/4) (sqrt x)) (pow (pow 65536 1/64) 2) (* (pow (pow 65536 1/64) 2) x) (pow 65536 1/64) (sqrt (* 2 x)) (pow (* 4 x) 1/4))

47.0ms

inf

((* (sqrt (sqrt x)) (* (pow x 1/4) (sqrt (* 2 x)))) (sqrt (sqrt x)) (sqrt x) (* (pow x 1/4) (sqrt (* 2 x))) (* (sqrt (sqrt x)) (* (pow (* 4 x) 1/4) (sqrt x))) (* (pow (* 4 x) 1/4) (sqrt x)) (pow (pow 65536 1/64) 2) (* (pow (pow 65536 1/64) 2) x) (pow 65536 1/64) (sqrt (* 2 x)) (pow (* 4 x) 1/4))

simplify135.0ms (2.1%)

Memory

17.2MiB live, 130.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	85	748
1	200	748
2	504	680
3	1091	640
4	1519	636
5	2072	636
6	3081	636
7	4363	636
8	6643	636
0	8257	636

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 108

Calls

Call 1

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

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

rewrite159.0ms (2.4%)

Memory

3.8MiB live, 161.5MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	69
0	34	65
1	83	55
2	230	49
3	962	39
4	3837	39
0	10038	39

Stop Event

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

Counts

11 → 630

Calls

Call 1

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

eval117.0ms (1.8%)

Memory: -10.9MiB live, 181.9MiB allocated
Compiler: Compiled 14 919 to 1 631 computations (89.1% saved)

prune21.0ms (0.3%)

Memory

5.1MiB live, 52.9MiB allocated

Pruning

10 alts after pruning (2 fresh and 8 done)

	Pruned	Kept	Total
New	930	2	932
Fresh	0	0	0
Picked	1	2	3
Done	1	6	7
Total	932	10	942

Accuracy

100.0%

Counts

942 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.2%	(*.f64 (pow.f64 (pow.f64 #s(literal 65536 binary64) #s(literal 1/64 binary64)) #s(literal 2 binary64)) x)
✓	99.4%	(.f64 (pow.f64 x #s(literal 3/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) #s(literal 2 binary64))))
✓	70.2%	(.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
✓	99.2%	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
✓	98.8%	(.f64 (sqrt.f64 (sqrt.f64 x)) (.f64 (pow.f64 x #s(literal 1/4 binary64)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x))))
	99.1%	(.f64 (sqrt.f64 (sqrt.f64 x)) (.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x))) (sqrt.f64 x)))
✓	70.1%	(.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (.f64 (sqrt.f64 x) (*.f64 x #s(literal 2 binary64)))))
✓	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
	20.3%	(*.f64 x #s(literal 1 binary64))
✓	57.1%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Compiler

Compiled 223 to 128 computations (42.6% saved)

regimes15.0ms (0.2%)

Memory

19.3MiB live, 19.3MiB allocated

Counts

16 → 1

Calls

Call 1

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

Outputs

(*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64)) 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)

regimes15.0ms (0.2%)

Memory

-20.0MiB live, 18.4MiB allocated

Counts

15 → 1

Calls

Call 1

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

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

Calls

3 calls:

6.0ms	(.f64 (.f64 #s(literal 2 binary64) x) x)
5.0ms	x
4.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)

regimes8.0ms (0.1%)

Memory

11.2MiB live, 11.2MiB allocated

Counts

6 → 1

Calls

Call 1

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

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

Calls

3 calls:

3.0ms	x
2.0ms	(.f64 (.f64 #s(literal 2 binary64) x) 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)

regimes4.0ms (0.1%)

Memory

7.1MiB live, 7.1MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

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.3%)

Memory

-4.7MiB live, 34.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	27
1	30	27

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness1.2s (17.9%)

Memory

30.7MiB live, 454.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
0	19	66
0	33	60
1	64	52
2	151	46
3	478	46
4	2867	46
0	8793	46
0	20	69
0	34	65
1	83	55
2	230	49
3	962	39
4	3837	39
0	10038	39
0	26	100
0	45	81
1	95	75
2	244	75
3	929	69
0	3366	69

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 84 to 65 computations (22.6% saved)

preprocess57.0ms (0.9%)

Memory: 6.7MiB live, 81.4MiB allocated
Compiler: Compiled 170 to 118 computations (30.6% 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%)

sample2.5s (38.3%)

explain129.0ms (2%)

preprocess14.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0%)

localize61.0ms (0.9%)

series5.0ms (0.1%)

simplify5.0ms (0.1%)

rewrite138.0ms (2.1%)

eval20.0ms (0.3%)

prune9.0ms (0.1%)

simplify6.0ms (0.1%)

localize84.0ms (1.3%)

series289.0ms (4.4%)

simplify133.0ms (2%)

rewrite106.0ms (1.6%)

eval140.0ms (2.1%)

prune23.0ms (0.3%)

simplify4.0ms (0.1%)

localize79.0ms (1.2%)

series85.0ms (1.3%)

simplify371.0ms (5.7%)

rewrite151.0ms (2.3%)

eval140.0ms (2.1%)

prune18.0ms (0.3%)

simplify4.0ms (0.1%)

localize76.0ms (1.2%)

series223.0ms (3.4%)

simplify135.0ms (2.1%)

rewrite159.0ms (2.4%)

eval117.0ms (1.8%)

prune21.0ms (0.3%)

regimes15.0ms (0.2%)

regimes15.0ms (0.2%)

regimes8.0ms (0.1%)

regimes4.0ms (0.1%)

simplify22.0ms (0.3%)

soundness1.2s (17.9%)

preprocess57.0ms (0.9%)

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