Metrics for sqrt A (should all be same)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB 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
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 10 to 4 computations (60% saved)

sample504.0ms (26.4%)

Memory

-28.3MiB live, 856.1MiB allocated

Samples

325.0ms

8 256×

valid

Precisions

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

ival-hypot: 158.0ms (94.5% of total)

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

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

Bogosity

explain73.0ms (3.8%)

Memory

19.0MiB live, 174.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
125	-	1	(1.6264254476349042e-161)	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
0	-	0	-	`(+.f64 (.f64 x x) (.f64 x x))`
0	-	0	-	`(*.f64 x x)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	uflow-rescue	64	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	underflow	64
↳	`(*.f64 x x)`	underflow	128
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	oflow-rescue	60	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	overflow	60
↳	`(*.f64 x x)`	overflow	120

Confusion

	Predicted +	Predicted -
+	124	1
-	0	131

Precision

1.0

Recall

0.992

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	124	0	1
-	0	0	131

Precision?

1.0

Recall?

0.992

Freqs

test

number	freq
0	132
1	124

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

27.0ms

512×

valid

Compiler

Compiled 51 to 16 computations (68.6% saved)

Precisions

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

ival-hypot: 10.0ms (58.5% of total)

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

ival-add: 2.0ms (11.7% of total)

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

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

preprocess21.0ms (1.1%)

Memory

0.3MiB live, 44.8MiB allocated

Algorithm

1×	egg-herbie

Rules

42×	`associate-r`
32×	`distribute-lft-neg-in`
32×	`sub-neg`
24×	`neg-sub0`
22×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	166	13
4	247	13
5	256	13
6	258	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Stop Event

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

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Outputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(sqrt.f64 (*.f64 x (+.f64 x x)))

Symmetry

(abs x)

Compiler

Compiled 9 to 4 computations (55.6% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	54.5%	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Compiler

Compiled 9 to 4 computations (55.6% saved)

simplify4.0ms (0.2%)

Memory

9.5MiB live, 9.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 x x)
cost-diff	0	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
cost-diff	320	(+.f64 (.f64 x x) (.f64 x x))

Rules

14×	`lower-*.f32`
12×	`lower-*.f64`
4×	`*-commutative`
4×	`count-2`
4×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	19
0	7	15
1	11	15
2	14	15
3	17	15
0	17	12

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 x x)
x

Outputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 x (+.f64 x x))
(*.f64 x x)
x

localize21.0ms (1.1%)

Memory

-31.7MiB live, 46.2MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x x)
accuracy	0.00390625	(+.f64 (.f64 x x) (.f64 x x))
accuracy	29.08334475581213	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Samples

14.0ms

256×

valid

Compiler

Compiled 21 to 6 computations (71.4% saved)

Precisions

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

ival-hypot: 4.0ms (53.6% of total)

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

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

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

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

series3.0ms (0.2%)

Memory

7.2MiB live, 7.2MiB allocated

Counts

3 → 36

Calls

Call 1

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

Inputs

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

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

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

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

Calls

9 calls:

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

simplify6.0ms (0.3%)

Memory

14.6MiB live, 14.6MiB allocated

Algorithm

1×	egg-herbie

Rules

38×	`lower-*.f64`
38×	`lower-fma.f64`
38×	`lower-fma.f32`
38×	`lower-*.f32`
36×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

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

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

rewrite38.0ms (2%)

Memory

-23.1MiB live, 71.4MiB allocated

Rules

66×	`lower-*.f32`
64×	`lower-*.f64`
42×	`lower-fma.f64`
42×	`lower-fma.f32`
34×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	18
0	7	14
1	23	10
0	160	9

Stop Event

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

Counts

3 → 33

Calls

Call 1

Inputs
(+.f64 (.f64 x x) (.f64 x x))
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(*.f64 x x)

Outputs
(+.f64 (.f64 x x) (.f64 x x))
(-.f64 (/.f64 (.f64 (.f64 x x) (.f64 x x)) #s(literal 0 binary64)) (/.f64 (.f64 (.f64 x x) (.f64 x x)) #s(literal 0 binary64)))
(fma.f64 x x (*.f64 x x))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) (*.f64 x x))
(/.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))) (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (neg.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))
(/.f64 #s(literal 1 binary64) (*.f64 x (+.f64 x x)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))))
(*.f64 x (+.f64 x x))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 x x))
(.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64))))
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(*.f64 (+.f64 x x) x)
(exp.f64 (.f64 (log.f64 (.f64 x (+.f64 x x))) #s(literal 1/2 binary64)))
(hypot.f64 x x)
(hypot.f64 x (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) x)
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(pow.f64 (*.f64 x (+.f64 x x)) #s(literal 1/2 binary64))
(*.f64 (pow.f64 x #s(literal 1/2 binary64)) (pow.f64 (+.f64 x x) #s(literal 1/2 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 x x)))
(.f64 (pow.f64 (.f64 x (+.f64 x x)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 x (+.f64 x x)) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(pow.f64 x #s(literal 2 binary64))
(*.f64 x x)
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))

eval8.0ms (0.4%)

Memory: 16.0MiB live, 16.0MiB allocated
Compiler: Compiled 750 to 94 computations (87.5% saved)

prune9.0ms (0.5%)

Memory

-21.2MiB live, 18.2MiB allocated

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	80	5	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	5	86

Accuracy

100.0%

Counts

86 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 x x)
▶	18.9%	(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))
▶	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
▶	54.6%	(sqrt.f64 (*.f64 (+.f64 x x) x))
▶	99.3%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))

Compiler

Compiled 102 to 50 computations (51% saved)

simplify18.0ms (0.9%)

Memory

26.7MiB live, 26.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

New	Metric	Score
cost-diff	0	(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))
cost-diff	0	(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))
cost-diff	64	(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
cost-diff	1280	(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
cost-diff	0	(+.f64 x x)
cost-diff	0	(sqrt.f64 (+.f64 x x))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
cost-diff	0	(+.f64 x x)
cost-diff	0	(*.f64 (+.f64 x x) x)
cost-diff	0	(sqrt.f64 (*.f64 (+.f64 x x) x))
cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
cost-diff	0	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
cost-diff	0	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
cost-diff	5312	(hypot.f64 x x)

Rules

352×	`lower-*.f32`
340×	`lower-*.f64`
308×	`lower-fma.f32`
306×	`lower-fma.f64`
294×	`associate-r`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	23	136
0	40	122
1	55	110
2	102	95
3	188	89
4	253	89
5	522	89
6	557	89
7	558	89
0	558	89

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(hypot.f64 x x)
x
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
x
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
(sqrt.f64 (*.f64 (+.f64 x x) x))
(*.f64 (+.f64 x x) x)
(+.f64 x x)
x
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(sqrt.f64 x)
x
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))
(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))
(.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(*.f64 x x)
x
#s(literal 0 binary64)
(*.f64 x (+.f64 x x))
(+.f64 x x)
(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))

Outputs
(hypot.f64 x x)
(sqrt.f64 (*.f64 x (+.f64 x x)))
x
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
x
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
(sqrt.f64 (*.f64 (+.f64 x x) x))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(*.f64 (+.f64 x x) x)
(*.f64 x (+.f64 x x))
(+.f64 x x)
x
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(sqrt.f64 x)
x
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 (.f64 (.f64 x x) (.f64 (+.f64 x x) (.f64 x (.f64 x x))))) (.f64 x x))
(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))
(sqrt.f64 (.f64 (.f64 x x) (.f64 (+.f64 x x) (.f64 x (*.f64 x x)))))
(.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))
(.f64 (.f64 x x) (.f64 (+.f64 x x) (.f64 x (*.f64 x x))))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(.f64 x (.f64 x (*.f64 x x)))
(*.f64 x x)
x
#s(literal 0 binary64)
(*.f64 x (+.f64 x x))
(+.f64 x x)
(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
(*.f64 x x)

localize68.0ms (3.5%)

Memory

-28.5MiB live, 88.0MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0.10546875	(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
accuracy	10.017361284173306	(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))
accuracy	13.694946763197624	(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
accuracy	39.60358209731711	(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))
accuracy	0	(+.f64 x x)
accuracy	0	(sqrt.f64 (+.f64 x x))
accuracy	0	(sqrt.f64 x)
accuracy	0.35546875	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
accuracy	0	(+.f64 x x)
accuracy	0	(*.f64 (+.f64 x x) x)
accuracy	29.08334475581213	(sqrt.f64 (*.f64 (+.f64 x x) x))
accuracy	0	(sqrt.f64 #s(literal 2 binary64))
accuracy	0	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
accuracy	0.44140625	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
accuracy	0.015625	(hypot.f64 x x)

Samples

42.0ms

256×

valid

Compiler

Compiled 149 to 22 computations (85.2% saved)

Precisions

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

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

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

ival-hypot: 5.0ms (17.1% of total)

ival-add: 2.0ms (6.8% of total)

ival-div: 1.0ms (3.4% of total)

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

exact: 0.0ms (0% of total)

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

series9.0ms (0.5%)

Memory

13.3MiB live, 13.3MiB allocated

Counts

14 → 156

Calls

Call 1

Inputs
#s(alt (hypot.f64 x x) (patch (hypot.f64 x x) #<representation binary64>) () ())
#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (sqrt.f64 #s(literal 2 binary64)))) (patch #s(approx (sqrt (+ ( x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64)))) #<representation binary64>) () ())
#s(alt (.f64 x (sqrt.f64 #s(literal 2 binary64))) (patch (.f64 x (sqrt.f64 #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt (sqrt.f64 #s(literal 2 binary64)) (patch (sqrt.f64 #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (sqrt.f64 (.f64 (+.f64 x x) x)) (patch (sqrt.f64 (.f64 (+.f64 x x) x)) #<representation binary64>) () ())
#s(alt (.f64 (+.f64 x x) x) (patch (.f64 (+.f64 x x) x) #<representation binary64>) () ())
#s(alt (+.f64 x x) (patch (+.f64 x x) #<representation binary64>) () ())
#s(alt (.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x))) (patch (.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x))) #<representation binary64>) () ())
#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())
#s(alt (sqrt.f64 (+.f64 x x)) (patch (sqrt.f64 (+.f64 x x)) #<representation binary64>) () ())
#s(alt (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))) (patch (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))) #<representation binary64>) () ())
#s(alt (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (patch (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) #<representation binary64>) () ())
#s(alt (/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))) (patch (/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))) #<representation binary64>) () ())
#s(alt (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (patch (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #<representation binary64>) () ())

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

Calls

39 calls:

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

simplify244.0ms (12.8%)

Memory

21.0MiB live, 96.4MiB allocated

Algorithm

1×	egg-herbie

Rules

1 808×	`lower-*.f64`
1 808×	`lower-fma.f64`
1 808×	`lower-fma.f32`
1 808×	`lower-*.f32`
1 768×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	664
1	63	664
2	168	664
3	337	664
4	579	664
5	920	664
6	1535	664
7	1673	664
8	1758	664
9	1845	664
10	1911	664
11	1956	664
12	1972	664
13	1976	664
14	1976	664
15	2080	664
16	2339	664
17	2781	664
18	3397	664
19	3463	664
20	3577	664
21	3635	664
22	3695	664
23	4027	664
24	4163	664
25	4163	664
26	4163	664
27	4163	664
28	4639	664
29	4811	664
30	4847	664
31	4861	664
32	4863	664
33	4863	664
34	5067	664
0	5067	664

Stop Event

1×	iter limit
1×	saturated

Counts

156 → 156

Calls

Call 1

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

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

rewrite59.0ms (3.1%)

Memory

-12.5MiB live, 67.6MiB allocated

Rules

168×	`lower-*.f32`
164×	`lower-*.f64`
134×	`lower-fma.f32`
132×	`lower-fma.f64`
112×	`lower-/.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	101
0	40	51
1	109	29
0	828	29

Stop Event

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

Counts

14 → 60

Calls

Call 1

Inputs
(hypot.f64 x x)
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 #s(literal 2 binary64))
(sqrt.f64 (*.f64 (+.f64 x x) x))
(*.f64 (+.f64 x x) x)
(+.f64 x x)
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(sqrt.f64 x)
(sqrt.f64 (+.f64 x x))
(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))
(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))

Outputs
#s(literal 0 binary64)
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(sqrt.f64 #s(literal 2 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
#s(literal 0 binary64)
#s(literal 0 binary64)
#s(literal 0 binary64)
#s(literal 0 binary64)
(exp.f64 (*.f64 (log.f64 x) #s(literal 1/2 binary64)))
(sqrt.f64 x)
(pow.f64 x #s(literal 1/2 binary64))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
#s(literal 0 binary64)
(exp.f64 (.f64 (log.f64 (.f64 x (.f64 x (.f64 x x)))) #s(literal 1/2 binary64)))
(fabs.f64 (*.f64 x x))
(sqrt.f64 (.f64 x (.f64 x (*.f64 x x))))
(/.f64 (sqrt.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (sqrt.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))))
(/.f64 (sqrt.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (fabs.f64 (.f64 x x)))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 1/2 binary64))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 x (*.f64 x x)) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x (*.f64 x x))))
(.f64 (pow.f64 (.f64 x (*.f64 x x)) #s(literal 1/2 binary64)) (sqrt.f64 x))
(.f64 (pow.f64 (.f64 x x) #s(literal 1/2 binary64)) (pow.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (.f64 x (*.f64 x x))) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 x x)) (sqrt.f64 (*.f64 x x)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 1/4 binary64)))
(+.f64 #s(literal 0 binary64) (.f64 x (.f64 x (*.f64 x x))))
(+.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 0 binary64))
(exp.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 2 binary64)))
(-.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 0 binary64))
(-.f64 (fma.f64 x (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x))))
(fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(fma.f64 (fabs.f64 (.f64 x x)) (fabs.f64 (.f64 x x)) #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 x x)) x #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal 0 binary64))
(/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))))
(/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x))))
(/.f64 (neg.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (neg.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))))
(/.f64 (neg.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (neg.f64 (.f64 x (.f64 x (.f64 x x)))))
(/.f64 (-.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) #s(literal 0 binary64)) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (-.f64 #s(literal 0 binary64) (.f64 x (.f64 x (.f64 x x)))))
(pow.f64 x #s(literal 4 binary64))
(pow.f64 (*.f64 x x) #s(literal 2 binary64))
(.f64 x (.f64 x (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 x x))
(.f64 (fabs.f64 (.f64 x x)) (fabs.f64 (*.f64 x x)))
(.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (*.f64 x x))))))
(.f64 (.f64 x (*.f64 x x)) x)
(.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
#s(literal 0 binary64)
#s(literal 0 binary64)

eval24.0ms (1.3%)

Memory: 5.1MiB live, 42.1MiB allocated
Compiler: Compiled 4 677 to 286 computations (93.9% saved)

prune90.0ms (4.7%)

Memory

-13.1MiB live, 25.5MiB allocated

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	278	3	281
Fresh	0	0	0
Picked	1	4	5
Done	0	0	0
Total	279	7	286

Accuracy

100.0%

Counts

286 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	19.8%	(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))
▶	18.9%	(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64))))
✓	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	54.6%	(sqrt.f64 (*.f64 (+.f64 x x) x))
✓	99.3%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
▶	3.7%	#s(literal 0 binary64)

Compiler

Compiled 73 to 38 computations (47.9% saved)

simplify18.0ms (0.9%)

Memory

15.5MiB live, 15.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score
cost-diff	0	(.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))
cost-diff	0	(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))
cost-diff	0	(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))
cost-diff	64	(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
cost-diff	0	(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
cost-diff	0	(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64))))
cost-diff	64	(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
cost-diff	1280	(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))

Rules

344×	`lower-*.f32`
334×	`lower-*.f64`
308×	`lower-fma.f32`
306×	`lower-fma.f64`
298×	`associate-r`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	186
0	34	146
1	51	122
2	100	107
3	186	95
4	265	95
5	512	95
6	523	95
7	524	95
0	524	95

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(literal 0 binary64)
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64))))
(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
(.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x)))
(.f64 (.f64 x (*.f64 x x)) x)
(.f64 x (.f64 x x))
x
(*.f64 x x)
(*.f64 x (+.f64 x x))
(+.f64 x x)
(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
#s(literal 0 binary64)
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))
(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))
(.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(*.f64 x x)
x
#s(literal 0 binary64)
(*.f64 x (+.f64 x x))
(+.f64 x x)
#s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x))

Outputs
#s(literal 0 binary64)
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 (.f64 (.f64 x x) (.f64 (.f64 x (.f64 x x)) (+.f64 x x)))) (.f64 x x))
(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
(sqrt.f64 (.f64 (.f64 x x) (.f64 (.f64 x (*.f64 x x)) (+.f64 x x))))
(.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x)))
(.f64 (.f64 x x) (.f64 (.f64 x (*.f64 x x)) (+.f64 x x)))
(.f64 (.f64 x (*.f64 x x)) x)
(.f64 x (.f64 x (*.f64 x x)))
(.f64 x (.f64 x x))
x
(*.f64 x x)
(*.f64 x (+.f64 x x))
(+.f64 x x)
(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
(*.f64 x x)
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(.f64 x (.f64 x (*.f64 x x)))
#s(literal 0 binary64)
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (.f64 x x) (.f64 (.f64 x (.f64 x x)) (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))
(sqrt.f64 (.f64 (.f64 x x) (.f64 (.f64 x (*.f64 x x)) (+.f64 x x))))
(.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))
(.f64 (.f64 x x) (.f64 (.f64 x (*.f64 x x)) (+.f64 x x)))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(.f64 x (.f64 x (*.f64 x x)))
(*.f64 x x)
x
#s(literal 0 binary64)
(*.f64 x (+.f64 x x))
(+.f64 x x)
#s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x))

localize62.0ms (3.3%)

Memory

-17.6MiB live, 98.9MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.0546875	(.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))
accuracy	0.10546875	(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
accuracy	10.017361284173306	(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))
accuracy	39.60358209731711	(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))
accuracy	0.10546875	(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
accuracy	10.017361284173306	(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
accuracy	13.694946763197624	(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
accuracy	39.60358209731711	(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64))))

Samples

35.0ms

256×

valid

Compiler

Compiled 189 to 18 computations (90.5% saved)

Precisions

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

ival-mult: 14.0ms (56.9% of total)

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

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

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

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

exact: 0.0ms (0% of total)

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

series4.0ms (0.2%)

Memory

7.7MiB live, 7.7MiB allocated

Counts

7 → 84

Calls

Call 1

Inputs
#s(alt (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))) (patch (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))) #<representation binary64>) () ())
#s(alt (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (patch (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) #<representation binary64>) () ())
#s(alt (/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))) (patch (/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))) #<representation binary64>) () ())
#s(alt (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (patch (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #<representation binary64>) () ())
#s(alt (/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (.f64 x x))) (patch (/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x))) #<representation binary64>) () ())
#s(alt (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (patch (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #<representation binary64>) () ())
#s(alt (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))) (patch (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))) #<representation binary64>) () ())

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

Calls

21 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(* (+ (* (* x x) (* x x)) 0) (* x (+ x x)))
0.0ms	x	@	inf	(* (+ (* (* x x) (* x x)) 0) (* x (+ x x)))
0.0ms	x	@	0	(/ (sqrt (* (* (* x (* x x)) x) (* x (+ x x)))) (sqrt (+ (* (* x x) (* x x)) 0)))
0.0ms	x	@	inf	(/ (sqrt (* (* (* x (* x x)) x) (* x (+ x x)))) (sqrt (+ (* (* x x) (* x x)) 0)))
0.0ms	x	@	-inf	(/ (sqrt (* (* (* x (* x x)) x) (* x (+ x x)))) (sqrt (+ (* (* x x) (* x x)) 0)))

simplify13.0ms (0.7%)

Memory

22.3MiB live, 22.3MiB allocated

Algorithm

1×	egg-herbie

Rules

122×	`lower-*.f64`
122×	`lower-*.f32`
118×	`lower-fma.f64`
118×	`lower-fma.f32`
56×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	388
1	30	388
2	63	388
3	112	388
4	130	388
5	171	388
6	204	388
7	233	388
8	263	388
9	265	388
0	265	388

Stop Event

1×	iter limit
1×	saturated

Counts

84 → 84

Calls

Call 1

Inputs
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* -1 (* x (sqrt 2)))
(* -1 (* x (sqrt 2)))
(* -1 (* x (sqrt 2)))
(* -1 (* x (sqrt 2)))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* -1 (* (pow x 3) (sqrt 2)))
(* -1 (* (pow x 3) (sqrt 2)))
(* -1 (* (pow x 3) (sqrt 2)))
(* -1 (* (pow x 3) (sqrt 2)))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* -1 (* x (sqrt 2)))
(* -1 (* x (sqrt 2)))
(* -1 (* x (sqrt 2)))
(* -1 (* x (sqrt 2)))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* -1 (* (pow x 3) (sqrt 2)))
(* -1 (* (pow x 3) (sqrt 2)))
(* -1 (* (pow x 3) (sqrt 2)))
(* -1 (* (pow x 3) (sqrt 2)))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))

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

rewrite49.0ms (2.6%)

Memory

8.2MiB live, 46.4MiB allocated

Rules

190×	`lower-*.f32`
184×	`lower-*.f64`
160×	`lower-/.f32`
158×	`lower-/.f64`
90×	`lower-fma.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	113
0	34	106
1	103	21
0	684	21

Stop Event

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

Counts

7 → 58

Calls

Call 1

Inputs
(sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64))))
(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))
(sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x))))
(.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))

Outputs
(exp.f64 (.f64 (log.f64 (.f64 x (.f64 x (.f64 x x)))) #s(literal 1/2 binary64)))
(fabs.f64 (*.f64 x x))
(sqrt.f64 (.f64 x (.f64 x (*.f64 x x))))
(/.f64 (sqrt.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (sqrt.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))))
(/.f64 (sqrt.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (fabs.f64 (.f64 x x)))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 1/2 binary64))
(.f64 (pow.f64 (.f64 x (*.f64 x x)) #s(literal 1/2 binary64)) (pow.f64 x #s(literal 1/2 binary64)))
(.f64 (pow.f64 x #s(literal 1/2 binary64)) (pow.f64 (.f64 x (*.f64 x x)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 x x) #s(literal 1/2 binary64)) (pow.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (.f64 x (*.f64 x x))) (sqrt.f64 x))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x (*.f64 x x))))
(.f64 (sqrt.f64 (.f64 x x)) (sqrt.f64 (*.f64 x x)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 1/4 binary64)))
(+.f64 #s(literal 0 binary64) (.f64 x (.f64 x (*.f64 x x))))
(+.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 0 binary64))
(exp.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 2 binary64)))
(-.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 0 binary64))
(-.f64 (.f64 x (.f64 x (.f64 x x))) (/.f64 #s(literal 0 binary64) (.f64 x (.f64 x (.f64 x x)))))
(fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(fma.f64 (fabs.f64 (.f64 x x)) (fabs.f64 (.f64 x x)) #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 x x)) x #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal 0 binary64))
(/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))))
(/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x))))
(/.f64 (neg.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (neg.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))))
(/.f64 (neg.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (neg.f64 (.f64 x (.f64 x (.f64 x x)))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (-.f64 #s(literal 0 binary64) (.f64 x (.f64 x (.f64 x x)))))
(/.f64 (-.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) #s(literal 0 binary64)) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))
(pow.f64 x #s(literal 4 binary64))
(pow.f64 (*.f64 x x) #s(literal 2 binary64))
(.f64 x (.f64 x (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 x x))
(.f64 (fabs.f64 (.f64 x x)) (fabs.f64 (*.f64 x x)))
(.f64 (.f64 x (*.f64 x x)) x)
(.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (*.f64 x x))))))
(.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
#s(literal 0 binary64)
#s(literal 0 binary64)
(neg.f64 (/.f64 #s(literal 0 binary64) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x))))
(/.f64 #s(literal 0 binary64) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))
(/.f64 #s(literal 0 binary64) (neg.f64 #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x))))
(/.f64 #s(literal 0 binary64) (neg.f64 (neg.f64 #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))))
(/.f64 #s(literal 1 binary64) (.f64 #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)) #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)) #s(literal 0 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)) #s(literal 0 binary64))))
(pow.f64 (.f64 #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)) #s(literal 0 binary64)) #s(literal -1 binary64))
(.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x))))
(.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (neg.f64 #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))))
(.f64 (fabs.f64 (.f64 x x)) (/.f64 #s(literal 0 binary64) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 0 binary64) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x))))
(.f64 (/.f64 #s(literal 1 binary64) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x))) #s(literal 0 binary64))
#s(literal 0 binary64)
#s(literal 0 binary64)

eval41.0ms (2.1%)

Memory: -16.2MiB live, 21.7MiB allocated
Compiler: Compiled 3 651 to 263 computations (92.8% saved)

prune23.0ms (1.2%)

Memory

-25.3MiB live, 23.5MiB allocated

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	0	0	0
Picked	2	1	3
Done	0	4	4
Total	182	6	188

Accuracy

100.0%

Counts

188 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	19.8%	(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
✓	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	54.6%	(sqrt.f64 (*.f64 (+.f64 x x) x))
✓	99.3%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
✓	3.7%	#s(literal 0 binary64)

Compiler

Compiled 47 to 26 computations (44.7% saved)

simplify18.0ms (0.9%)

Memory

27.9MiB live, 27.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(.f64 (.f64 x (*.f64 x x)) x)
cost-diff	0	(.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x)))
cost-diff	0	(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
cost-diff	0	(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))

Rules

344×	`lower-*.f32`
334×	`lower-*.f64`
308×	`lower-fma.f64`
308×	`lower-fma.f32`
300×	`associate-r`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	94
0	23	79
1	40	65
2	89	56
3	175	50
4	236	50
5	496	50
6	507	50
7	508	50
0	508	50

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
(.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x)))
(.f64 (.f64 x (*.f64 x x)) x)
(.f64 x (.f64 x x))
x
(*.f64 x x)
(*.f64 x (+.f64 x x))
(+.f64 x x)
#s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x))

Outputs
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (+.f64 x x))))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
(sqrt.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (*.f64 x (+.f64 x x)))))
(.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x)))
(.f64 (.f64 x (.f64 x x)) (.f64 x (*.f64 x (+.f64 x x))))
(.f64 (.f64 x (*.f64 x x)) x)
(.f64 x (.f64 x (*.f64 x x)))
(.f64 x (.f64 x x))
x
(*.f64 x x)
(*.f64 x (+.f64 x x))
(+.f64 x x)
#s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x))

localize40.0ms (2.1%)

Memory

-10.9MiB live, 64.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0546875	(.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x)))
accuracy	0.0859375	(.f64 x (.f64 x x))
accuracy	10.017361284173306	(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
accuracy	39.60358209731711	(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))

Samples

27.0ms

256×

valid

Compiler

Compiled 88 to 15 computations (83% saved)

Precisions

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

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

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

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

ival-add: 2.0ms (11.5% of total)

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

exact: 0.0ms (0% of total)

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

series2.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB allocated

Counts

5 → 60

Calls

Call 1

Inputs
#s(alt (/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (.f64 x x))) (patch (/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x))) #<representation binary64>) () ())
#s(alt (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (patch (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x))) (patch (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x))) #<representation binary64>) () ())
#s(alt (.f64 (.f64 x (.f64 x x)) x) (patch (.f64 (.f64 x (.f64 x x)) x) #<representation binary64>) () ())
#s(alt (.f64 x (.f64 x x)) (patch (.f64 x (.f64 x x)) #<representation binary64>) () ())

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

Calls

15 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(* x (* x x))
0.0ms	x	@	inf	(* x (* x x))
0.0ms	x	@	0	(/ (sqrt (* (* (* x (* x x)) x) (* x (+ x x)))) (sqrt (+ (* (* x x) (* x x)) 0)))
0.0ms	x	@	0	(* x (* x x))
0.0ms	x	@	inf	(/ (sqrt (* (* (* x (* x x)) x) (* x (+ x x)))) (sqrt (+ (* (* x x) (* x x)) 0)))

simplify12.0ms (0.6%)

Memory

20.8MiB live, 20.8MiB allocated

Algorithm

1×	egg-herbie

Rules

122×	`lower-*.f64`
122×	`lower-*.f32`
118×	`lower-fma.f64`
118×	`lower-fma.f32`
56×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	260
1	29	260
2	60	260
3	107	260
4	125	260
5	166	260
6	200	260
7	229	260
8	259	260
9	261	260
0	261	260

Stop Event

1×	iter limit
1×	saturated

Counts

60 → 60

Calls

Call 1

Inputs
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* x (sqrt 2))
(* -1 (* x (sqrt 2)))
(* -1 (* x (sqrt 2)))
(* -1 (* x (sqrt 2)))
(* -1 (* x (sqrt 2)))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* (pow x 3) (sqrt 2))
(* -1 (* (pow x 3) (sqrt 2)))
(* -1 (* (pow x 3) (sqrt 2)))
(* -1 (* (pow x 3) (sqrt 2)))
(* -1 (* (pow x 3) (sqrt 2)))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(* 2 (pow x 6))
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)

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

rewrite171.0ms (9%)

Memory

-18.8MiB live, 216.6MiB allocated

Rules

1 810×	`lower-fma.f64`
1 810×	`lower-fma.f32`
1 626×	`div-exp`
1 528×	`lower-exp.f32`
1 528×	`lower-exp.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	68
0	23	77
1	76	36
2	527	9
3	4088	9
0	8474	9

Stop Event

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

Counts

5 → 216

Calls

Call 1

Inputs
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
(sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x))))
(.f64 (.f64 (.f64 x (.f64 x x)) x) (*.f64 x (+.f64 x x)))
(.f64 (.f64 x (*.f64 x x)) x)
(.f64 x (.f64 x x))

Outputs
#s(literal 0 binary64)
#s(literal 0 binary64)
#s(literal 0 binary64)
(+.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 x (.f64 x (*.f64 x x))))
(exp.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)))
(exp.f64 (*.f64 (log.f64 x) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 8 binary64) (log.f64 x)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal -4 binary64) (log.f64 x)) #s(literal -1 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal 1 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x x)) #s(literal 1/2 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x x)) #s(literal 1 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x x)) #s(literal 4 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal 3 binary64)) (*.f64 #s(literal 5 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 #s(literal 12 binary64) (log.f64 x)) (.f64 (log.f64 (*.f64 x x)) #s(literal 4 binary64))))
(exp.f64 (-.f64 (.f64 #s(literal 12 binary64) (log.f64 x)) (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 2 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 6 binary64)) (.f64 (log.f64 (.f64 x x)) #s(literal 4 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 6 binary64)) (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 2 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 6 binary64)) (*.f64 #s(literal 8 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 4 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 4 binary64)) (*.f64 (log.f64 x) #s(literal 4 binary64))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 2 binary64)) (*.f64 (log.f64 x) #s(literal 4 binary64))))
(exp.f64 (-.f64 (.f64 #s(literal 8 binary64) (log.f64 x)) (.f64 (log.f64 x) #s(literal 4 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 3 binary64)) (log.f64 (*.f64 x x))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 3 binary64)) (.f64 (log.f64 (.f64 x x)) #s(literal 1 binary64))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 3/2 binary64)) (log.f64 (*.f64 x x))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 3/2 binary64)) (.f64 (log.f64 (.f64 x x)) #s(literal 1 binary64))))
(exp.f64 (-.f64 (fma.f64 #s(literal 3 binary64) (log.f64 x) (.f64 #s(literal 3 binary64) (log.f64 x))) (log.f64 (.f64 x x))))
(exp.f64 (-.f64 (fma.f64 #s(literal 3 binary64) (log.f64 x) (.f64 #s(literal 3 binary64) (log.f64 x))) (.f64 (log.f64 (*.f64 x x)) #s(literal 1 binary64))))
(exp.f64 (-.f64 (log.f64 (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 (log.f64 (*.f64 x x)) #s(literal 1 binary64))))
(exp.f64 (-.f64 (fma.f64 #s(literal 12 binary64) (log.f64 x) (.f64 #s(literal 4 binary64) (log.f64 x))) (.f64 #s(literal 12 binary64) (log.f64 x))))
(exp.f64 (-.f64 (fma.f64 #s(literal 12 binary64) (log.f64 x) (.f64 #s(literal 4 binary64) (log.f64 x))) (.f64 (log.f64 (*.f64 x x)) #s(literal 6 binary64))))
(exp.f64 (-.f64 (fma.f64 #s(literal 4 binary64) (log.f64 x) (.f64 #s(literal 12 binary64) (log.f64 x))) (.f64 #s(literal 12 binary64) (log.f64 x))))
(exp.f64 (-.f64 (fma.f64 #s(literal 4 binary64) (log.f64 x) (.f64 #s(literal 12 binary64) (log.f64 x))) (.f64 (log.f64 (*.f64 x x)) #s(literal 6 binary64))))
(exp.f64 (-.f64 (.f64 #s(literal 5 binary64) (log.f64 x)) (.f64 (log.f64 x) #s(literal 1 binary64))))
(exp.f64 (-.f64 (.f64 #s(literal 5 binary64) (log.f64 x)) (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64))))
(exp.f64 (-.f64 (.f64 #s(literal 5 binary64) (log.f64 x)) (.f64 (log.f64 (*.f64 x x)) #s(literal 1/2 binary64))))
(exp.f64 (-.f64 (fma.f64 #s(literal 4 binary64) (log.f64 x) (.f64 #s(literal 3 binary64) (log.f64 x))) (.f64 #s(literal 3 binary64) (log.f64 x))))
(exp.f64 (-.f64 (fma.f64 #s(literal 3 binary64) (log.f64 x) (.f64 #s(literal 4 binary64) (log.f64 x))) (.f64 #s(literal 3 binary64) (log.f64 x))))
(fabs.f64 (.f64 x (.f64 x (*.f64 x x))))
(-.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 x (.f64 x (*.f64 x x))))
(sqrt.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))
(fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64))
(fma.f64 x (neg.f64 (.f64 x (.f64 x x))) #s(literal 0 binary64))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 x x)) x #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 x x)) (neg.f64 x) #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x))))) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))) #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) x) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x))) #s(literal 0 binary64))
(fma.f64 (.f64 x (sqrt.f64 x)) (.f64 x (*.f64 x (sqrt.f64 x))) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 x) (.f64 (.f64 x x) (*.f64 x (sqrt.f64 x))) #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x (.f64 x x))))) #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 0 binary64))
(fma.f64 (.f64 x (.f64 x (sqrt.f64 x))) (*.f64 x (sqrt.f64 x)) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))) #s(literal 0 binary64))
(fma.f64 (neg.f64 x) (.f64 x (.f64 x x)) #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x))))) #s(literal 0 binary64))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 x x)) (.f64 (.f64 x x) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x)))))))) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) #s(literal 0 binary64))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) x) (/.f64 (.f64 x (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 (.f64 x x) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) #s(literal 0 binary64))
(fma.f64 (/.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))) (/.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x))))) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))) #s(literal 0 binary64))
(fma.f64 (neg.f64 (.f64 x (.f64 x x))) x #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 x x) (*.f64 x (sqrt.f64 x))) (sqrt.f64 x) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) x) (.f64 x (.f64 x (.f64 x (.f64 x x)))) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 x (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) #s(literal 0 binary64))
(neg.f64 (.f64 x (.f64 x (*.f64 x x))))
(/.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))
(/.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (.f64 x (.f64 x (.f64 x x))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(/.f64 #s(literal 1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1 binary64)))
(/.f64 (.f64 x (.f64 x (.f64 x (.f64 x x)))) x)
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))))
(/.f64 (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 x (.f64 x (.f64 x (.f64 x x)))))
(/.f64 (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x))))) (.f64 x x))
(/.f64 (pow.f64 x #s(literal 36 binary64)) (pow.f64 (*.f64 x x) #s(literal 16 binary64)))
(/.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))))
(/.f64 (pow.f64 x #s(literal 24 binary64)) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (.f64 x (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(/.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))
(/.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (.f64 x (.f64 x x)))
(/.f64 (-.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 0 binary64))) #s(literal 1 binary64))
(/.f64 (.f64 (pow.f64 x #s(literal 36 binary64)) #s(literal 1 binary64)) (pow.f64 (.f64 x x) #s(literal 16 binary64)))
(/.f64 (.f64 (pow.f64 x #s(literal 24 binary64)) #s(literal 1 binary64)) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x))))))))
(/.f64 (pow.f64 (*.f64 x x) #s(literal 14 binary64)) (pow.f64 x #s(literal 24 binary64)))
(/.f64 (.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x))))))) #s(literal 1 binary64)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x)))))))))
(/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))) #s(literal 1 binary64)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(/.f64 (.f64 x (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x))))))
(/.f64 (.f64 (.f64 x x) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x))))))
(pow.f64 x #s(literal 4 binary64))
(pow.f64 (*.f64 x x) #s(literal 2 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 1 binary64))
(pow.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))) #s(literal 1/2 binary64))
(pow.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x)))))))) #s(literal 1/4 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal -1 binary64))
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 4 binary64))
(pow.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (*.f64 (exp.f64 (log.f64 x)) x) #s(literal 2 binary64))
(pow.f64 (*.f64 x (exp.f64 (log.f64 x))) #s(literal 2 binary64))
(.f64 x (.f64 x (*.f64 x x)))
(.f64 x (neg.f64 (.f64 x (*.f64 x x))))
(.f64 (.f64 x x) (*.f64 x x))
(.f64 (.f64 x (*.f64 x x)) x)
(.f64 (.f64 x (*.f64 x x)) (neg.f64 x))
(.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 1 binary64))
(.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x)))))))
(.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))))
(.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x))))
(.f64 (.f64 x (.f64 x (.f64 x (*.f64 x x)))) (/.f64 #s(literal 1 binary64) x))
(.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x))))
(.f64 (.f64 x (sqrt.f64 x)) (.f64 x (.f64 x (sqrt.f64 x))))
(.f64 (sqrt.f64 x) (.f64 (.f64 x x) (.f64 x (sqrt.f64 x))))
(.f64 (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))
(.f64 (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(.f64 (.f64 x (.f64 x (sqrt.f64 x))) (.f64 x (sqrt.f64 x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))
(.f64 (neg.f64 x) (.f64 x (*.f64 x x)))
(.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))
(.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 x x)) (.f64 (.f64 x x) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x)))))))
(.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) x) (/.f64 (.f64 x (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 (.f64 x x) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(.f64 (/.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))) (/.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x (*.f64 x x))))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))))) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x)))))))))
(.f64 (neg.f64 (.f64 x (*.f64 x x))) x)
(.f64 (.f64 (.f64 x x) (.f64 x (sqrt.f64 x))) (sqrt.f64 x))
(.f64 (/.f64 #s(literal 1 binary64) x) (.f64 x (.f64 x (.f64 x (*.f64 x x)))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 x (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 3/4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 12 binary64) (log.f64 x)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 x))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 (log.f64 x))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal 3/4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x x)) #s(literal 6 binary64)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal 1 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x x)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x x)) #s(literal 1 binary64)) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal 3/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (-.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) (.f64 (log.f64 x) #s(literal 1 binary64))))
(exp.f64 (-.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64))))
(exp.f64 (-.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) (.f64 (log.f64 (*.f64 x x)) #s(literal 1/2 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) (.f64 (log.f64 x) #s(literal 1 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) (.f64 (log.f64 (*.f64 x x)) #s(literal 1/2 binary64))))
(exp.f64 (-.f64 (.f64 #s(literal 5 binary64) (log.f64 x)) (log.f64 (.f64 x x))))
(exp.f64 (-.f64 (.f64 #s(literal 5 binary64) (log.f64 x)) (.f64 (log.f64 (*.f64 x x)) #s(literal 1 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 3 binary64)) (*.f64 #s(literal 3 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 3/2 binary64)) (*.f64 #s(literal 3 binary64) (log.f64 x))))
(exp.f64 (-.f64 (fma.f64 #s(literal 3 binary64) (log.f64 x) (.f64 #s(literal 3 binary64) (log.f64 x))) (.f64 #s(literal 3 binary64) (log.f64 x))))
(exp.f64 (-.f64 (log.f64 (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 #s(literal 3 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 4 binary64)) (*.f64 #s(literal 5 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 2 binary64)) (*.f64 #s(literal 5 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 #s(literal 8 binary64) (log.f64 x)) (.f64 #s(literal 5 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 #s(literal 12 binary64) (log.f64 x)) (.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal 3 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 6 binary64)) (.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal 3 binary64))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal 3 binary64)) (.f64 (log.f64 (.f64 x x)) #s(literal 3 binary64))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal 3 binary64)) (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 3/2 binary64))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal 3 binary64)) (fma.f64 #s(literal 3 binary64) (log.f64 x) (*.f64 #s(literal 3 binary64) (log.f64 x)))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal 3 binary64)) (log.f64 (.f64 x (.f64 x (.f64 x (.f64 x (*.f64 x x))))))))
(exp.f64 (-.f64 (fma.f64 #s(literal 4 binary64) (log.f64 x) (.f64 #s(literal 3 binary64) (log.f64 x))) (.f64 #s(literal 4 binary64) (log.f64 x))))
(exp.f64 (-.f64 (fma.f64 #s(literal 4 binary64) (log.f64 x) (.f64 #s(literal 3 binary64) (log.f64 x))) (.f64 (log.f64 x) #s(literal 4 binary64))))
(exp.f64 (-.f64 (fma.f64 #s(literal 3 binary64) (log.f64 x) (.f64 #s(literal 4 binary64) (log.f64 x))) (.f64 #s(literal 4 binary64) (log.f64 x))))
(exp.f64 (-.f64 (fma.f64 #s(literal 3 binary64) (log.f64 x) (.f64 #s(literal 4 binary64) (log.f64 x))) (.f64 (log.f64 x) #s(literal 4 binary64))))
(sqrt.f64 (.f64 x (.f64 x (.f64 x (.f64 x (*.f64 x x))))))
(/.f64 (.f64 x (.f64 x (*.f64 x x))) x)
(/.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))))) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x)))))))
(/.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (.f64 x (.f64 x (.f64 x (*.f64 x x)))))
(/.f64 (.f64 x (.f64 x (.f64 x (.f64 x x)))) (*.f64 x x))
(/.f64 (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (.f64 x x)))))) (.f64 x (.f64 x (.f64 x (.f64 x (*.f64 x x))))))
(/.f64 (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x x))))) (.f64 x (*.f64 x x)))
(/.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (.f64 x (.f64 x (*.f64 x x))))
(pow.f64 x #s(literal 3 binary64))
(pow.f64 (*.f64 x x) #s(literal 3/2 binary64))
(pow.f64 (.f64 x (.f64 x x)) #s(literal 1 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal 3/4 binary64))
(pow.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))))) #s(literal 1/4 binary64))
(pow.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x (.f64 x (*.f64 x x))))) #s(literal 3/8 binary64))
(pow.f64 (*.f64 x (sqrt.f64 x)) #s(literal 2 binary64))
(pow.f64 (.f64 x (.f64 x (.f64 x (.f64 x (*.f64 x x))))) #s(literal 1/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal -3/4 binary64))
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 3 binary64))
(.f64 x (.f64 x x))
(.f64 (.f64 x x) x)
(.f64 (.f64 x x) (exp.f64 (log.f64 x)))
(.f64 (.f64 x (sqrt.f64 x)) (*.f64 x (sqrt.f64 x)))
(.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))))

eval32.0ms (1.7%)

Memory: -4.0MiB live, 69.1MiB allocated
Compiler: Compiled 7 220 to 1 103 computations (84.7% saved)

prune36.0ms (1.9%)

Memory

6.9MiB live, 90.4MiB allocated

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	275	1	276
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	275	7	282

Accuracy

100.0%

Counts

282 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	19.8%	(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
	35.9%	(/.f64 #s(approx (sqrt (* (* (* x (* x x)) x) (* x (+ x x)))) (.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 x (.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
✓	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	54.6%	(sqrt.f64 (*.f64 (+.f64 x x) x))
✓	99.3%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
✓	3.7%	#s(literal 0 binary64)

Compiler

Compiled 195 to 63 computations (67.7% saved)

regimes17.0ms (0.9%)

Memory

-2.6MiB live, 34.2MiB allocated

Counts

11 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
(sqrt.f64 (*.f64 (+.f64 x x) x))
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(/.f64 #s(approx (sqrt (* (* (* x (* x x)) x) (* x (+ x x)))) (.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 x (.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))
(hypot.f64 x x)

Outputs
(hypot.f64 x x)

Calls

4 calls:

5.0ms	x
4.0ms	(+.f64 (.f64 x x) (.f64 x x))
4.0ms	(*.f64 x x)
4.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
100.0%	1	`(+.f64 (.f64 x x) (.f64 x x))`
100.0%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes15.0ms (0.8%)

Memory

-6.9MiB live, 31.5MiB allocated

Counts

10 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
(sqrt.f64 (*.f64 (+.f64 x x) x))
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(/.f64 #s(approx (sqrt (* (* (* x (* x x)) x) (* x (+ x x)))) (.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 x (.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ ( (* x x) (* x x)) 0)) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) #s(approx (sqrt (+ (* (* x x) (* x x)) 0)) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (.f64 x (+.f64 x x)))) (sqrt.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))))

Outputs
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))

Calls

4 calls:

4.0ms	x
3.0ms	(*.f64 x x)
3.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
3.0ms	(+.f64 (.f64 x x) (.f64 x x))

Results

Accuracy	Segments	Branch
99.4%	1	`x`
99.4%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
99.4%	1	`(+.f64 (.f64 x x) (.f64 x x))`
99.4%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes8.0ms (0.4%)

Memory

19.5MiB live, 19.5MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	x
2.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
2.0ms	(*.f64 x x)
2.0ms	(+.f64 (.f64 x x) (.f64 x x))

Results

Accuracy	Segments	Branch
99.3%	1	`x`
99.3%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
99.3%	1	`(+.f64 (.f64 x x) (.f64 x x))`
99.3%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes5.0ms (0.3%)

Memory

13.8MiB live, 13.8MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)

Outputs
#s(literal 0 binary64)

Calls

4 calls:

1.0ms	x
1.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
1.0ms	(*.f64 x x)
1.0ms	(+.f64 (.f64 x x) (.f64 x x))

Results

Accuracy	Segments	Branch
3.7%	1	`x`
3.7%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
3.7%	1	`(+.f64 (.f64 x x) (.f64 x x))`
3.7%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

simplify6.0ms (0.3%)

Memory

-26.0MiB live, 12.6MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	24
1	16	24

Stop Event

1×

saturated

Calls

Call 1

Inputs
(hypot.f64 x x)
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(literal 0 binary64)

Outputs
(hypot.f64 x x)
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(literal 0 binary64)

soundness80.0ms (4.2%)

Memory

25.5MiB live, 105.0MiB allocated

Rules

168×	`lower-*.f32`
164×	`lower-*.f64`
134×	`lower-fma.f32`
132×	`lower-fma.f64`
112×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	101
0	40	51
1	109	29
0	828	29
0	4	18
0	7	14
1	23	10
0	160	9
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Stop Event

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

Compiler

Compiled 67 to 35 computations (47.8% saved)

preprocess57.0ms (3%)

Memory: -7.8MiB live, 66.7MiB allocated
Remove: (abs x)
Compiler: Compiled 60 to 32 computations (46.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	166	13
4	247	13
5	256	13
6	258	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Iter	Nodes	Cost
0	23	136
0	40	122
1	55	110
2	102	95
3	188	89
4	253	89
5	522	89
6	557	89
7	558	89
0	558	89

Iter	Nodes	Cost
0	20	186
0	34	146
1	51	122
2	100	107
3	186	95
4	265	95
5	512	95
6	523	95
7	524	95
0	524	95

Iter	Nodes	Cost
0	16	388
1	30	388
2	63	388
3	112	388
4	130	388
5	171	388
6	204	388
7	233	388
8	263	388
9	265	388
0	265	388

Iter	Nodes	Cost
0	15	260
1	29	260
2	60	260
3	107	260
4	125	260
5	166	260
6	200	260
7	229	260
8	259	260
9	261	260
0	261	260

Iter	Nodes	Cost
0	23	101
0	40	51
1	109	29
0	828	29
0	4	18
0	7	14
1	23	10
0	160	9
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	166	13
4	247	13
5	256	13
6	258	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Iter	Nodes	Cost
0	23	136
0	40	122
1	55	110
2	102	95
3	188	89
4	253	89
5	522	89
6	557	89
7	558	89
0	558	89

Iter	Nodes	Cost
0	20	186
0	34	146
1	51	122
2	100	107
3	186	95
4	265	95
5	512	95
6	523	95
7	524	95
0	524	95

Iter	Nodes	Cost
0	16	388
1	30	388
2	63	388
3	112	388
4	130	388
5	171	388
6	204	388
7	233	388
8	263	388
9	265	388
0	265	388

Iter	Nodes	Cost
0	15	260
1	29	260
2	60	260
3	107	260
4	125	260
5	166	260
6	200	260
7	229	260
8	259	260
9	261	260
0	261	260

Iter	Nodes	Cost
0	23	101
0	40	51
1	109	29
0	828	29
0	4	18
0	7	14
1	23	10
0	160	9
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

start0.0ms (0%)

analyze0.0ms (0%)

sample504.0ms (26.4%)

explain73.0ms (3.8%)

preprocess21.0ms (1.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.2%)

localize21.0ms (1.1%)

series3.0ms (0.2%)

simplify6.0ms (0.3%)

rewrite38.0ms (2%)

eval8.0ms (0.4%)

prune9.0ms (0.5%)

simplify18.0ms (0.9%)

localize68.0ms (3.5%)

series9.0ms (0.5%)

simplify244.0ms (12.8%)

rewrite59.0ms (3.1%)

eval24.0ms (1.3%)

prune90.0ms (4.7%)

simplify18.0ms (0.9%)

localize62.0ms (3.3%)

series4.0ms (0.2%)

simplify13.0ms (0.7%)

rewrite49.0ms (2.6%)

eval41.0ms (2.1%)

prune23.0ms (1.2%)

simplify18.0ms (0.9%)

localize40.0ms (2.1%)

series2.0ms (0.1%)

simplify12.0ms (0.6%)

rewrite171.0ms (9%)

eval32.0ms (1.7%)

prune36.0ms (1.9%)

regimes17.0ms (0.9%)

regimes15.0ms (0.8%)

regimes8.0ms (0.4%)

regimes5.0ms (0.3%)

simplify6.0ms (0.3%)

soundness80.0ms (4.2%)

preprocess57.0ms (3%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	166	13
4	247	13
5	256	13
6	258	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Iter	Nodes	Cost
0	23	136
0	40	122
1	55	110
2	102	95
3	188	89
4	253	89
5	522	89
6	557	89
7	558	89
0	558	89

Iter	Nodes	Cost
0	20	186
0	34	146
1	51	122
2	100	107
3	186	95
4	265	95
5	512	95
6	523	95
7	524	95
0	524	95

Iter	Nodes	Cost
0	16	388
1	30	388
2	63	388
3	112	388
4	130	388
5	171	388
6	204	388
7	233	388
8	263	388
9	265	388
0	265	388

Iter	Nodes	Cost
0	15	260
1	29	260
2	60	260
3	107	260
4	125	260
5	166	260
6	200	260
7	229	260
8	259	260
9	261	260
0	261	260

Iter	Nodes	Cost
0	23	101
0	40	51
1	109	29
0	828	29
0	4	18
0	7	14
1	23	10
0	160	9
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148