Metrics for sqrt A (should all be same)

start0.0ms (0%)

Memory: 0.1MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

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

sample1.0s (0.7%)

Memory

116.8MiB live, 1 083.2MiB allocated

Samples

798.0ms

8 256×

valid

Precisions

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

ival-hypot: 361.0ms (97.4% of total)

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

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

Bogosity

explain94.0ms (0.1%)

Memory

16.4MiB live, 197.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
134	-	1	(6.859648264090941e-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)))`	oflow-rescue	71	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	overflow	71
↳	`(*.f64 x x)`	overflow	142
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	uflow-rescue	62	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	underflow	62
↳	`(*.f64 x x)`	underflow	124

Confusion

	Predicted +	Predicted -
+	133	1
-	0	122

Precision

1.0

Recall

0.9925373134328358

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	133	0	1
-	0	0	122

Precision?

1.0

Recall?

0.9925373134328358

Freqs

test

number	freq
0	123
1	133

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

34.0ms

512×

valid

Compiler

Compiled 51 to 16 computations (68.6% saved)

Precisions

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

ival-hypot: 13.0ms (67.2% of total)

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

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

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

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

preprocess33.0ms (0%)

Memory

10.0MiB live, 49.9MiB 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.4MiB live, 0.4MiB allocated
Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 4 computations (55.6% saved)

simplify4.0ms (0%)

Memory

8.5MiB live, 8.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

localize24.0ms (0%)

Memory

4.0MiB live, 39.3MiB 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	31.053949636402205	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Samples

18.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 (54% of total)

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

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

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

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

series3.0ms (0%)

Memory

6.5MiB live, 6.5MiB 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)))
0.0ms	x	@	0	(+ (* x x) (* x x))
0.0ms	x	@	inf	(+ (* x x) (* x x))
0.0ms	x	@	-inf	(+ (* x x) (* x x))

simplify12.0ms (0%)

Memory

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

rewrite37.0ms (0%)

Memory

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

eval73.0ms (0%)

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

prune7.0ms (0%)

Memory

17.1MiB live, 17.1MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	81	4	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	4	86

Accuracy

100.0%

Counts

86 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 x x)
▶	99.6%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
▶	51.5%	(sqrt.f64 (*.f64 (+.f64 x x) x))
▶	99.4%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))

Compiler

Compiled 25 to 15 computations (40% saved)

simplify5.0ms (0%)

Memory

8.1MiB live, 8.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score
cost-diff	5312	(hypot.f64 x x)
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))))

Rules

22×	`lower-*.f32`
16×	`lower-*.f64`
10×	`*-commutative`
8×	`lift-sqrt.f64`
8×	`lower-sqrt.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	52
0	23	49
1	28	49
2	31	49
0	31	49

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#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)
(hypot.f64 x x)
x

Outputs
#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)
(hypot.f64 x x)
(sqrt.f64 (*.f64 x (+.f64 x x)))
x

localize57.0ms (0%)

Memory

-7.6MiB live, 95.9MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.0234375	(hypot.f64 x x)
accuracy	0	(+.f64 x x)
accuracy	0	(sqrt.f64 (+.f64 x x))
accuracy	0	(sqrt.f64 x)
accuracy	0.24609375	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
accuracy	0	(+.f64 x x)
accuracy	0	(*.f64 (+.f64 x x) x)
accuracy	31.053949636402205	(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.41015625	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))

Samples

37.0ms

256×

valid

Compiler

Compiled 59 to 13 computations (78% saved)

Precisions

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

ival-hypot: 11.0ms (46.9% of total)

ival-sqrt: 6.0ms (25.6% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series7.0ms (0%)

Memory

17.4MiB live, 17.4MiB allocated

Counts

10 → 108

Calls

Call 1

Inputs
#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 (hypot.f64 x x) (patch (hypot.f64 x x) #<representation binary64>) () ())

Outputs
#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 (* 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>) () ())) ())

Calls

27 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(* (sqrt x) (sqrt (+ x x)))
0.0ms	x	@	inf	(+ x x)
0.0ms	x	@	-inf	(sqrt (+ x x))
0.0ms	x	@	inf	(* (+ x x) x)
0.0ms	x	@	-inf	(* x (sqrt 2))

simplify161.0ms (0.1%)

Memory

-1.1MiB live, 70.2MiB allocated

Algorithm

1×	egg-herbie

Rules

1 478×	`associate-r`
1 232×	`lower-*.f64`
1 232×	`lower-fma.f64`
1 232×	`lower-fma.f32`
1 232×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	464
1	50	464
2	136	464
3	265	464
4	490	464
5	809	464
6	1411	464
7	1537	464
8	1592	464
9	1630	464
10	1808	464
11	2022	464
12	2068	464
13	2096	464
14	2100	464
15	2100	464
16	2246	464
17	2430	464
18	3585	464
19	3703	464
20	3727	464
21	3735	464
22	3739	464
23	3743	464
24	3855	464
25	3903	464
26	3903	464
27	4085	464
0	4085	464

Stop Event

1×	iter limit
1×	saturated

Counts

108 → 108

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))
(* 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))))
(* 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)))

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

rewrite39.0ms (0%)

Memory

17.0MiB live, 49.7MiB allocated

Rules

98×	`lower-*.f32`
92×	`lower-*.f64`
68×	`lower-fma.f64`
68×	`lower-fma.f32`
58×	`lower-/.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	44
0	23	38
1	51	34
0	255	34

Stop Event

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

Counts

10 → 127

Calls

Call 1

Inputs
#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))
(hypot.f64 x x)

Outputs
#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)))
(exp.f64 (*.f64 (log.f64 (+.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 x))
(/.f64 (sqrt.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(pow.f64 (+.f64 x x) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 x x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
(*.f64 (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)))
(+.f64 x x)
(+.f64 (.f64 x x) (.f64 x x))
(-.f64 (/.f64 (.f64 x x) #s(literal 0 binary64)) (/.f64 (.f64 x x) #s(literal 0 binary64)))
(-.f64 (/.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 0 binary64)) (/.f64 (.f64 x (.f64 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 x x #s(literal 0 binary64)) (+.f64 x x)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x)) (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64)))
(/.f64 (neg.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (neg.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (neg.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 #s(literal 1 binary64) (+.f64 x x))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x #s(literal 0 binary64)) (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))))
(/.f64 (.f64 x (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (*.f64 #s(literal 0 binary64) x) #s(literal 0 binary64))
(*.f64 x #s(literal 2 binary64))
(*.f64 x (+.f64 x x))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
(.f64 #s(literal 2 binary64) (.f64 x x))
(*.f64 (+.f64 x x) x)
(.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal 0 binary64))))
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64))))
(+.f64 x x)
(+.f64 (.f64 x x) (.f64 x x))
(-.f64 (/.f64 (.f64 x x) #s(literal 0 binary64)) (/.f64 (.f64 x x) #s(literal 0 binary64)))
(-.f64 (/.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 0 binary64)) (/.f64 (.f64 x (.f64 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 x x #s(literal 0 binary64)) (+.f64 x x)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x)) (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64)))
(/.f64 (neg.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (neg.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (neg.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 #s(literal 1 binary64) (+.f64 x x))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x #s(literal 0 binary64)) (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))))
(/.f64 (.f64 x (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (*.f64 #s(literal 0 binary64) x) #s(literal 0 binary64))
(*.f64 x #s(literal 2 binary64))
(*.f64 x (+.f64 x x))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
(.f64 #s(literal 2 binary64) (.f64 x x))
(*.f64 (+.f64 x x) x)
(.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal 0 binary64))))
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64))))
(exp.f64 (*.f64 (log.f64 (+.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 x))
(/.f64 (sqrt.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(pow.f64 (+.f64 x x) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 x x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
(*.f64 (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x x) #s(literal 1/4 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)))
(exp.f64 (*.f64 (log.f64 (+.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 x))
(/.f64 (sqrt.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(pow.f64 (+.f64 x x) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 x x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
(*.f64 (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (+.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 x))
(/.f64 (sqrt.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(pow.f64 (+.f64 x x) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 x x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
(*.f64 (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)))

eval140.0ms (0.1%)

Memory: -1.7MiB live, 68.3MiB allocated
Compiler: Compiled 2 492 to 231 computations (90.7% saved)

prune29.0ms (0%)

Memory

14.4MiB live, 49.2MiB allocated

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	270	3	273
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	270	7	277

Accuracy

100.0%

Counts

277 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	99.1%	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)))
✓	99.6%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
▶	6.9%	(sqrt.f64 (+.f64 x x))
✓	51.5%	(sqrt.f64 (*.f64 (+.f64 x x) x))
✓	99.4%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
▶	99.1%	#s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))))

Compiler

Compiled 48 to 31 computations (35.4% saved)

simplify6.0ms (0%)

Memory

14.3MiB live, 14.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score
cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
cost-diff	0	(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
cost-diff	0	(sqrt.f64 x)
cost-diff	1600	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)))
cost-diff	0	(+.f64 x x)
cost-diff	0	(sqrt.f64 (+.f64 x x))
cost-diff	0	(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
cost-diff	0	(.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))
cost-diff	0	#s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
cost-diff	12480	(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

Rules

68×	`lower-*.f32`
60×	`lower-*.f64`
36×	`associate-r`
22×	`*-commutative`
22×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	64
0	27	54
1	38	49
2	56	49
3	56	49
4	71	49
5	98	49
6	102	49
7	104	49
0	104	46

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
(.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))
x
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(log.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(literal 1/2 binary64)
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
x
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)))
(sqrt.f64 x)
x
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)

Outputs
#s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
(.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))
(*.f64 x (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))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(log.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(literal 1/2 binary64)
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
x
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 x)
x
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)

localize77.0ms (0%)

Memory

9.5MiB live, 117.9MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0	(sqrt.f64 x)
accuracy	0	(sqrt.f64 #s(literal 2 binary64))
accuracy	0.24609375	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)))
accuracy	0.533535009768442	(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
accuracy	0	(+.f64 x x)
accuracy	0	(sqrt.f64 (+.f64 x x))
accuracy	0	(log.f64 #s(literal 2 binary64))
accuracy	0	#s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
accuracy	0.41015625	(.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))
accuracy	1.0	(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

Samples

57.0ms

256×

valid

Compiler

Compiled 58 to 16 computations (72.4% saved)

Precisions

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

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

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

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

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

ival-log: 3.0ms (13.4% of total)

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

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

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

exact: 0.0ms (0% of total)

series4.0ms (0%)

Memory

8.1MiB live, 8.1MiB allocated

Counts

11 → 84

Calls

Call 1

Inputs
#s(alt (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) (patch (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) #<representation binary64>) () ())
#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())
#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())
#s(alt (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) (patch (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) #<representation binary64>) () ())
#s(alt (sqrt.f64 (+.f64 x x)) (patch (sqrt.f64 (+.f64 x x)) #<representation binary64>) () ())
#s(alt (+.f64 x x) (patch (+.f64 x x) #<representation binary64>) () ())
#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())
#s(alt (sqrt.f64 x) (patch (sqrt.f64 x) #<representation binary64>) () ())
#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())
#s(alt (sqrt.f64 #s(literal 2 binary64)) (patch (sqrt.f64 #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (log.f64 #s(literal 2 binary64)) (patch (log.f64 #s(literal 2 binary64)) #<representation binary64>) () ())

Outputs
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (sqrt 2))) (taylor -inf x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (sqrt 2))) (taylor -inf x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (sqrt 2))) (taylor -inf x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (sqrt 2))) (taylor -inf x) (#s(alt #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (patch #s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor -inf x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor -inf x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor -inf x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor -inf x) (#s(alt (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (patch (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))) #<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 (* 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) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))) (patch (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (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 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 (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor 0 x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt x) (sqrt 2)) (taylor inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2)))) (taylor -inf x) (#s(alt (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) (patch (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)) #<representation binary64>) () ())) ())

Calls

21 calls:

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

simplify117.0ms (0.1%)

Memory

11.0MiB live, 78.4MiB allocated

Algorithm

1×	egg-herbie

Rules

816×	`lower-*.f64`
816×	`lower-fma.f64`
816×	`lower-fma.f32`
816×	`lower-*.f32`
692×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	344
1	55	344
2	179	344
3	363	344
4	877	344
5	1324	344
6	1631	344
7	1668	344
8	1679	344
9	1688	344
10	1690	344
11	1710	344
12	1718	344
13	1718	344
14	1778	344
15	2092	344
16	2100	344
0	2100	344

Stop Event

1×	iter limit
1×	saturated

Counts

84 → 84

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

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

rewrite326.0ms (0.2%)

Memory

-12.5MiB live, 66.5MiB allocated

Rules

104×	`lower-*.f32`
96×	`lower-*.f64`
68×	`lower-fma.f64`
68×	`lower-fma.f32`
54×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	58
0	27	48
1	62	40
0	277	36

Stop Event

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

Counts

11 → 101

Calls

Call 1

Inputs
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
#s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))))
(.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)))
(sqrt.f64 x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(sqrt.f64 #s(literal 2 binary64))
(log.f64 #s(literal 2 binary64))

Outputs
(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))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 #s(literal 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(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (log.f64 #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (+.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 x))
(/.f64 (sqrt.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(pow.f64 (+.f64 x x) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 x x)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (sqrt.f64 x) (sqrt.f64 x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
(*.f64 (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)))
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 #s(literal 2 binary64)))
(+.f64 x x)
(+.f64 (.f64 x x) (.f64 x x))
(-.f64 (/.f64 (.f64 x x) #s(literal 0 binary64)) (/.f64 (.f64 x x) #s(literal 0 binary64)))
(-.f64 (/.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 0 binary64)) (/.f64 (.f64 x (.f64 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 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x)) (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64)))
(/.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (neg.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (neg.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (neg.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 #s(literal 1 binary64) (+.f64 x x))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x #s(literal 0 binary64)) (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))))
(/.f64 (.f64 x (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (fma.f64 x x #s(literal 0 binary64)))
(*.f64 #s(literal 2 binary64) x)
(.f64 #s(literal 2 binary64) (.f64 x x))
(*.f64 x #s(literal 2 binary64))
(*.f64 x (+.f64 x x))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 (+.f64 x x) x)
(.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64))))
(.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal 0 binary64))))
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(exp.f64 (*.f64 (log.f64 (+.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 x))
(/.f64 (sqrt.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(pow.f64 (+.f64 x x) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 x x)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (sqrt.f64 x) (sqrt.f64 x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
(*.f64 (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)))
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 #s(literal 2 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)))
(exp.f64 (*.f64 (log.f64 (+.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 x))
(/.f64 (sqrt.f64 (.f64 (fma.f64 x (.f64 x (.f64 x x)) #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x (.f64 x (*.f64 x x)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(pow.f64 (+.f64 x x) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 x x)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (sqrt.f64 x) (sqrt.f64 x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
(*.f64 (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x x) #s(literal 1/4 binary64)))
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 #s(literal 2 binary64)))
(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))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 #s(literal 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)))
(log.f64 #s(literal 2 binary64))

eval28.0ms (0%)

Memory: -9.8MiB live, 58.4MiB allocated
Compiler: Compiled 1 653 to 171 computations (89.7% saved)

prune1.1s (0.7%)

Memory

6.6MiB live, 45.6MiB allocated

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	200	1	201
Fresh	0	0	0
Picked	2	1	3
Done	0	4	4
Total	202	6	208

Accuracy

100.0%

Counts

208 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	99.0%	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 #s(literal 2 binary64)))
✓	99.6%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	6.9%	(sqrt.f64 (+.f64 x x))
✓	51.5%	(sqrt.f64 (*.f64 (+.f64 x x) x))
✓	99.4%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))

Compiler

Compiled 39 to 24 computations (38.5% saved)

simplify4.0ms (0%)

Memory

7.0MiB live, 7.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Rules

14×	`lower-*.f32`
10×	`lower-*.f64`
6×	`*-commutative`
4×	`lift-sqrt.f64`
4×	`lift-*.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
0	10	11
1	15	11
2	19	11
0	19	11

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize28.0ms (0%)

Memory

4.7MiB live, 42.9MiB allocated

Localize:

Found 4 expressions of interest:

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

Samples

22.0ms

256×

valid

Compiler

Compiled 21 to 8 computations (61.9% saved)

Precisions

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

ival-sqrt: 12.0ms (75.6% of total)

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

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

exact: 0.0ms (0% of total)

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

series1.0ms (0%)

Memory

2.5MiB live, 2.5MiB allocated

Counts

4 → 36

Calls

Call 1

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

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

Calls

9 calls:

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

simplify44.0ms (0%)

Memory

6.1MiB live, 39.0MiB allocated

Algorithm

1×	egg-herbie

Rules

336×	`lower-*.f64`
336×	`lower-fma.f64`
336×	`lower-fma.f32`
336×	`lower-*.f32`
222×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	84
1	33	84
2	109	84
3	224	84
4	537	84
5	724	84
6	832	84
7	855	84
8	857	84
9	857	84
0	857	84

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 28

Calls

Call 1

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

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

rewrite64.0ms (0%)

Memory

-6.8MiB live, 62.2MiB allocated

Rules

1 018×	`pow-prod-down`
466×	`pow-pow`
466×	`pow-exp`
454×	`log-prod`
376×	`prod-exp`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	6	17
0	10	10
1	21	10
2	72	10
3	335	10
4	2074	6
0	9722	6

Stop Event

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

Counts

4 → 46

Calls

Call 1

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

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

eval11.0ms (0%)

Memory: 37.3MiB live, 37.3MiB allocated
Compiler: Compiled 709 to 80 computations (88.7% saved)

prune37.0ms (0%)

Memory

-27.5MiB live, 47.2MiB allocated

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	87	7	94

Accuracy

100.0%

Counts

94 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	99.0%	(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 #s(literal 2 binary64)))
✓	99.6%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	6.9%	(sqrt.f64 (+.f64 x x))
✓	51.5%	(sqrt.f64 (*.f64 (+.f64 x x) x))
	5.3%	(sqrt.f64 #s(literal 2 binary64))
✓	99.4%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))

Compiler

Compiled 102 to 50 computations (51% saved)

regimes19.0ms (0%)

Memory

8.8MiB live, 44.0MiB allocated

Counts

10 → 1

Calls

Call 1

Inputs
(sqrt.f64 #s(literal 2 binary64))
(sqrt.f64 (+.f64 x x))
#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 (sqrt.f64 x) (.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x)))
(.f64 (.f64 (sqrt.f64 x) (sqrt.f64 x)) (sqrt.f64 #s(literal 2 binary64)))
(hypot.f64 x x)
#s(approx (sqrt (+ (* x x) (* x x))) (.f64 x (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))))

Outputs
(hypot.f64 x x)

Calls

4 calls:

8.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
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)

regimes17.0ms (0%)

Memory

2.4MiB live, 37.7MiB allocated

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes9.0ms (0%)

Memory

30.6MiB live, 30.6MiB allocated

Counts

5 → 1

Calls

Call 1

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

3.0ms	x
2.0ms	(*.f64 x x)
2.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
2.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)

regimes21.0ms (0%)

Memory

-14.7MiB live, 22.0MiB allocated

Counts

2 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes5.0ms (0%)

Memory

18.3MiB live, 18.3MiB allocated

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 23 to 10 computations (56.5% saved)

simplify9.0ms (0%)

Memory

-17.4MiB live, 17.8MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	29
1	15	29

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

soundness2.6min (97.7%)

Memory

11 446.5MiB live, 76 312.1MiB allocated

Rules

1 018×	`pow-prod-down`
466×	`pow-pow`
466×	`pow-exp`
454×	`log-prod`
376×	`prod-exp`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	4	18
0	7	14
1	23	10
0	160	9
0	6	17
0	10	10
1	21	10
2	72	10
3	335	10
4	2074	6
0	9722	6

Stop Event

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

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	15	84
1	33	84
2	109	84
3	224	84
4	537	84
5	724	84
6	832	84
7	855	84
8	857	84
9	857	84
0	857	84

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	15	84
1	33	84
2	109	84
3	224	84
4	537	84
5	724	84
6	832	84
7	855	84
8	857	84
9	857	84
0	857	84

start0.0ms (0%)

analyze0.0ms (0%)

sample1.0s (0.7%)

explain94.0ms (0.1%)

preprocess33.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0%)

localize24.0ms (0%)

series3.0ms (0%)

simplify12.0ms (0%)

rewrite37.0ms (0%)

eval73.0ms (0%)

prune7.0ms (0%)

simplify5.0ms (0%)

localize57.0ms (0%)

series7.0ms (0%)

simplify161.0ms (0.1%)

rewrite39.0ms (0%)

eval140.0ms (0.1%)

prune29.0ms (0%)

simplify6.0ms (0%)

localize77.0ms (0%)

series4.0ms (0%)

simplify117.0ms (0.1%)

rewrite326.0ms (0.2%)

eval28.0ms (0%)

prune1.1s (0.7%)

simplify4.0ms (0%)

localize28.0ms (0%)

series1.0ms (0%)

simplify44.0ms (0%)

rewrite64.0ms (0%)

eval11.0ms (0%)

prune37.0ms (0%)

regimes19.0ms (0%)

regimes17.0ms (0%)

regimes9.0ms (0%)

regimes21.0ms (0%)

regimes5.0ms (0%)

simplify9.0ms (0%)

soundness2.6min (97.7%)

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	15	84
1	33	84
2	109	84
3	224	84
4	537	84
5	724	84
6	832	84
7	855	84
8	857	84
9	857	84
0	857	84