Metrics for sqrt A (should all be same)

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 10 to 5 computations (50% saved)

Precisions

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

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

Operation ival-sqrt, time spent: 0.0ms, 0.0% of total-time

sample986.0ms (6.4%)

Results

941.0ms	8254×	256	valid
0.0ms	1×	256	valid
0.0ms	1×	256	infinite

Precisions

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

Operation ival-sqrt, time spent: 130.0ms, 49.0% of total-time

Operation ival-mult, time spent: 83.0ms, 31.0% of total-time

Operation ival-add, time spent: 47.0ms, 18.0% of total-time

Operation const, time spent: 9.0ms, 3.0% of total-time

Bogosity

preprocess119.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

112×	`fma-define`
80×	`fma-neg`
40×	`associate-r`
30×	`distribute-lft-neg-in`
26×	`sub-neg`

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
138	-	4	(4.228228768779246e-158)	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
0	-	0	-	`x`
0	-	0	-	`(*.f64 x x)`
0	-	0	-	`(+.f64 (.f64 x x) (.f64 x x))`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	56
1	36	56
2	82	56
3	197	56
4	302	56
5	362	56
6	364	56

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(abs x)

Compiler

Compiled 51 to 14 computations (72.5% saved)

Precisions

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

Operation ival-sqrt, time spent: 9.0ms, 52.0% of total-time

Operation ival-add, time spent: 4.0ms, 23.0% of total-time

Operation ival-mult, time spent: 4.0ms, 23.0% of total-time

Operation const, time spent: 1.0ms, 6.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 4 to 2 computations (50% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 x x)

Compiler

Compiled 4 to 2 computations (50% saved)

localize28.0ms (0.2%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(hypot.f64 x x)

Compiler

Compiled 6 to 3 computations (50% saved)

Precisions

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

Operation composed, time spent: 9.0ms, 50.0% of total-time

Operation ival-mult, time spent: 4.0ms, 22.0% of total-time

Operation ival-sqrt, time spent: 3.0ms, 17.0% of total-time

Operation ival-add, time spent: 1.0ms, 6.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

series2.0ms (0%)

Counts

1 → 12

Calls

Call 1

Inputs
#<alt (hypot.f64 x x)>

Outputs
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (.f64 -1 (.f64 x (sqrt.f64 2)))>
#<alt (.f64 -1 (.f64 x (sqrt.f64 2)))>
#<alt (.f64 -1 (.f64 x (sqrt.f64 2)))>
#<alt (.f64 -1 (.f64 x (sqrt.f64 2)))>

Calls

3 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	@	-inf	(sqrt (+ (* x x) (* x x)))

rewrite356.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

801×	`log1p-expm1-u`
801×	`expm1-log1p-u`
404×	`associate-r`
340×	`associate-l`
288×	`unpow-prod-down`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	46	13
2	482	7
3	5570	7

Stop Event

1×	node limit

Counts

1 → 104

Calls

Call 1

Inputs
(hypot.f64 x x)

Outputs
(+.f64 (pow.f64 x 2) (pow.f64 x 2))
(+.f64 (+.f64 (/.f64 0 0) 1) -1)
(+.f64 0 (/.f64 0 0))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 0 0))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 0 0)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))))
(+.f64 (.f64 (/.f64 0 0) (pow.f64 x 2)) (.f64 (/.f64 0 0) (pow.f64 x 2)))
(+.f64 (.f64 (pow.f64 x 2) (/.f64 0 0)) (.f64 (pow.f64 x 2) (/.f64 0 0)))
(-.f64 (+.f64 (/.f64 0 0) 1) 1)
(-.f64 (/.f64 (pow.f64 x 4) 0) (/.f64 (pow.f64 x 4) 0))
(.f64 x (.f64 x 2))
(.f64 x (.f64 (*.f64 x 2) 1))
(.f64 x (.f64 (*.f64 x 2) (/.f64 0 0)))
(*.f64 (pow.f64 x 2) 2)
(.f64 (pow.f64 x 2) (.f64 (.f64 x 2) (.f64 x 2)))
(*.f64 (/.f64 0 0) (/.f64 0 0))
(*.f64 (/.f64 0 0) 1)
(*.f64 (/.f64 0 0) (log.f64 (E.f64)))
(*.f64 (/.f64 0 0) (pow.f64 1 1/3))
(*.f64 (/.f64 0 0) (pow.f64 1 1/2))
(*.f64 1 (/.f64 0 0))
(.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x 2)))
(*.f64 (cbrt.f64 x) (+.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (cbrt.f64 x) 5)))
(.f64 (cbrt.f64 x) (.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 x 2)))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (+.f64 (pow.f64 (cbrt.f64 x) 4) (pow.f64 (cbrt.f64 x) 4)))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 x 2)))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 x 2) 1/2))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))
(*.f64 (sqrt.f64 x) (+.f64 (pow.f64 x 3/2) (pow.f64 x 3/2)))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 x 2)))
(*.f64 0 (/.f64 1 0))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 (pow.f64 x 2) (/.f64 0 0)))
(*.f64 (pow.f64 (cbrt.f64 x) 4) (+.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (pow.f64 x 3/2) (+.f64 (sqrt.f64 x) (sqrt.f64 x)))
(.f64 (.f64 2 (pow.f64 x 6)) (/.f64 1 (+.f64 0 (pow.f64 x 4))))
(.f64 (.f64 x 2) x)
(*.f64 (pow.f64 (cbrt.f64 x) 5) (+.f64 (cbrt.f64 x) (cbrt.f64 x)))
(*.f64 4 (pow.f64 x 4))
(*.f64 (pow.f64 1 1/3) (/.f64 0 0))
(*.f64 (pow.f64 1 1/2) (/.f64 0 0))
(*.f64 (pow.f64 2 1/2) x)
(*.f64 (cbrt.f64 2) (pow.f64 (cbrt.f64 x) 2))
(*.f64 (sqrt.f64 2) x)
(.f64 (.f64 2 (sqrt.f64 x)) (pow.f64 x 3/2))
(.f64 (.f64 (/.f64 0 0) x) (*.f64 x 2))
(.f64 (.f64 (/.f64 0 0) 2) (pow.f64 x 2))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 x) 2)) (pow.f64 (cbrt.f64 x) 4))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 x) 4)) (pow.f64 (cbrt.f64 x) 2))
(.f64 (.f64 2 (pow.f64 x 3/2)) (sqrt.f64 x))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 x) 5)) (cbrt.f64 x))
(/.f64 1 (/.f64 0 0))
(/.f64 1 (/.f64 (+.f64 0 (pow.f64 x 4)) (*.f64 2 (pow.f64 x 6))))
(/.f64 0 0)
(/.f64 (*.f64 2 (pow.f64 x 6)) (+.f64 0 (pow.f64 x 4)))
(/.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 6))) (cbrt.f64 (+.f64 0 (pow.f64 x 4))))
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) (.f64 2 (pow.f64 x 6))) (.f64 (+.f64 0 (pow.f64 x 4)) (+.f64 0 (pow.f64 x 4))))
(/.f64 (sqrt.f64 (*.f64 2 (pow.f64 x 6))) (sqrt.f64 (+.f64 0 (pow.f64 x 4))))
(/.f64 (sqrt.f64 0) (sqrt.f64 0))
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) 0) (*.f64 (+.f64 0 (pow.f64 x 4)) 0))
(/.f64 (.f64 0 (.f64 2 (pow.f64 x 6))) (*.f64 0 (+.f64 0 (pow.f64 x 4))))
(/.f64 (neg.f64 (*.f64 2 (pow.f64 x 6))) (neg.f64 (+.f64 0 (pow.f64 x 4))))
(/.f64 (-.f64 (pow.f64 (+.f64 (/.f64 0 0) 1) 3) 1) (+.f64 (*.f64 (+.f64 (/.f64 0 0) 1) (+.f64 (/.f64 0 0) 1)) (+.f64 1 (+.f64 (/.f64 0 0) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 (/.f64 0 0) 1) (+.f64 (/.f64 0 0) 1)) 1) (+.f64 (+.f64 (/.f64 0 0) 1) 1))
(/.f64 (.f64 (/.f64 0 0) (.f64 2 (pow.f64 x 6))) (+.f64 0 (pow.f64 x 4)))
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) 1) (+.f64 0 (pow.f64 x 4)))
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) (/.f64 0 0)) (+.f64 0 (pow.f64 x 4)))
(/.f64 (*.f64 0 (/.f64 0 0)) 0)
(pow.f64 (/.f64 0 0) 1)
(pow.f64 (/.f64 0 0) 1/2)
(pow.f64 (/.f64 0 0) 2)
(pow.f64 (/.f64 0 0) 1/3)
(pow.f64 (/.f64 0 0) 3)
(pow.f64 (/.f64 0 0) 1/9)
(pow.f64 (/.f64 0 0) 2/3)
(pow.f64 (/.f64 0 0) 1/6)
(pow.f64 (/.f64 0 0) 1/4)
(pow.f64 (/.f64 0 0) 3/2)
(pow.f64 (/.f64 0 0) 6)
(pow.f64 (/.f64 0 0) 4)
(pow.f64 (/.f64 0 0) 9)
(pow.f64 (/.f64 0 0) 4/3)
(pow.f64 (/.f64 0 0) 5/2)
(pow.f64 (/.f64 0 0) 5)
(pow.f64 (E.f64) (log.f64 (/.f64 0 0)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 0 0))) 2)) (cbrt.f64 (log.f64 (/.f64 0 0))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 0 0)))) (sqrt.f64 (log.f64 (/.f64 0 0))))
(sqrt.f64 (/.f64 0 0))
(fabs.f64 (/.f64 0 0))
(fabs.f64 (neg.f64 (/.f64 0 0)))
(log.f64 (exp.f64 (/.f64 0 0)))
(cbrt.f64 (/.f64 0 0))
(expm1.f64 (log1p.f64 (/.f64 0 0)))
(log1p.f64 (expm1.f64 (/.f64 0 0)))
(exp.f64 (log.f64 (/.f64 0 0)))
(exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 3))
(exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 1/3))
(exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 1/2))
(fma.f64 x x (pow.f64 x 2))
(fma.f64 1 (pow.f64 x 2) (pow.f64 x 2))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 x) 4) (pow.f64 x 2))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (pow.f64 x 2))
(fma.f64 (pow.f64 (cbrt.f64 x) 4) (pow.f64 (cbrt.f64 x) 2) (pow.f64 x 2))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (pow.f64 x 2))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (pow.f64 x 2))

simplify22.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

84×	`*-commutative`
32×	`associate-r`
28×	`associate-l`
20×	`count-2`
18×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	222	12884902958
1	581	12884902958

Stop Event

1×

unsound

Counts

116 → 134

Calls

Call 1

Inputs
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(.f64 -1 (.f64 x (sqrt.f64 2)))
(.f64 -1 (.f64 x (sqrt.f64 2)))
(.f64 -1 (.f64 x (sqrt.f64 2)))
(.f64 -1 (.f64 x (sqrt.f64 2)))
(+.f64 (pow.f64 x 2) (pow.f64 x 2))
(+.f64 (+.f64 (/.f64 0 0) 1) -1)
(+.f64 0 (/.f64 0 0))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 0 0))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 0 0)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))))
(+.f64 (.f64 (/.f64 0 0) (pow.f64 x 2)) (.f64 (/.f64 0 0) (pow.f64 x 2)))
(+.f64 (.f64 (pow.f64 x 2) (/.f64 0 0)) (.f64 (pow.f64 x 2) (/.f64 0 0)))
(-.f64 (+.f64 (/.f64 0 0) 1) 1)
(-.f64 (/.f64 (pow.f64 x 4) 0) (/.f64 (pow.f64 x 4) 0))
(.f64 x (.f64 x 2))
(.f64 x (.f64 (*.f64 x 2) 1))
(.f64 x (.f64 (*.f64 x 2) (/.f64 0 0)))
(*.f64 (pow.f64 x 2) 2)
(.f64 (pow.f64 x 2) (.f64 (.f64 x 2) (.f64 x 2)))
(*.f64 (/.f64 0 0) (/.f64 0 0))
(*.f64 (/.f64 0 0) 1)
(*.f64 (/.f64 0 0) (log.f64 (E.f64)))
(*.f64 (/.f64 0 0) (pow.f64 1 1/3))
(*.f64 (/.f64 0 0) (pow.f64 1 1/2))
(*.f64 1 (/.f64 0 0))
(.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x 2)))
(*.f64 (cbrt.f64 x) (+.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (cbrt.f64 x) 5)))
(.f64 (cbrt.f64 x) (.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 x 2)))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (+.f64 (pow.f64 (cbrt.f64 x) 4) (pow.f64 (cbrt.f64 x) 4)))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 x 2)))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 x 2) 1/2))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))
(*.f64 (sqrt.f64 x) (+.f64 (pow.f64 x 3/2) (pow.f64 x 3/2)))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 x 2)))
(*.f64 0 (/.f64 1 0))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 (pow.f64 x 2) (/.f64 0 0)))
(*.f64 (pow.f64 (cbrt.f64 x) 4) (+.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (pow.f64 x 3/2) (+.f64 (sqrt.f64 x) (sqrt.f64 x)))
(.f64 (.f64 2 (pow.f64 x 6)) (/.f64 1 (+.f64 0 (pow.f64 x 4))))
(.f64 (.f64 x 2) x)
(*.f64 (pow.f64 (cbrt.f64 x) 5) (+.f64 (cbrt.f64 x) (cbrt.f64 x)))
(*.f64 4 (pow.f64 x 4))
(*.f64 (pow.f64 1 1/3) (/.f64 0 0))
(*.f64 (pow.f64 1 1/2) (/.f64 0 0))
(*.f64 (pow.f64 2 1/2) x)
(*.f64 (cbrt.f64 2) (pow.f64 (cbrt.f64 x) 2))
(*.f64 (sqrt.f64 2) x)
(.f64 (.f64 2 (sqrt.f64 x)) (pow.f64 x 3/2))
(.f64 (.f64 (/.f64 0 0) x) (*.f64 x 2))
(.f64 (.f64 (/.f64 0 0) 2) (pow.f64 x 2))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 x) 2)) (pow.f64 (cbrt.f64 x) 4))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 x) 4)) (pow.f64 (cbrt.f64 x) 2))
(.f64 (.f64 2 (pow.f64 x 3/2)) (sqrt.f64 x))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 x) 5)) (cbrt.f64 x))
(/.f64 1 (/.f64 0 0))
(/.f64 1 (/.f64 (+.f64 0 (pow.f64 x 4)) (*.f64 2 (pow.f64 x 6))))
(/.f64 0 0)
(/.f64 (*.f64 2 (pow.f64 x 6)) (+.f64 0 (pow.f64 x 4)))
(/.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 6))) (cbrt.f64 (+.f64 0 (pow.f64 x 4))))
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) (.f64 2 (pow.f64 x 6))) (.f64 (+.f64 0 (pow.f64 x 4)) (+.f64 0 (pow.f64 x 4))))
(/.f64 (sqrt.f64 (*.f64 2 (pow.f64 x 6))) (sqrt.f64 (+.f64 0 (pow.f64 x 4))))
(/.f64 (sqrt.f64 0) (sqrt.f64 0))
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) 0) (*.f64 (+.f64 0 (pow.f64 x 4)) 0))
(/.f64 (.f64 0 (.f64 2 (pow.f64 x 6))) (*.f64 0 (+.f64 0 (pow.f64 x 4))))
(/.f64 (neg.f64 (*.f64 2 (pow.f64 x 6))) (neg.f64 (+.f64 0 (pow.f64 x 4))))
(/.f64 (-.f64 (pow.f64 (+.f64 (/.f64 0 0) 1) 3) 1) (+.f64 (*.f64 (+.f64 (/.f64 0 0) 1) (+.f64 (/.f64 0 0) 1)) (+.f64 1 (+.f64 (/.f64 0 0) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 (/.f64 0 0) 1) (+.f64 (/.f64 0 0) 1)) 1) (+.f64 (+.f64 (/.f64 0 0) 1) 1))
(/.f64 (.f64 (/.f64 0 0) (.f64 2 (pow.f64 x 6))) (+.f64 0 (pow.f64 x 4)))
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) 1) (+.f64 0 (pow.f64 x 4)))
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) (/.f64 0 0)) (+.f64 0 (pow.f64 x 4)))
(/.f64 (*.f64 0 (/.f64 0 0)) 0)
(pow.f64 (/.f64 0 0) 1)
(pow.f64 (/.f64 0 0) 1/2)
(pow.f64 (/.f64 0 0) 2)
(pow.f64 (/.f64 0 0) 1/3)
(pow.f64 (/.f64 0 0) 3)
(pow.f64 (/.f64 0 0) 1/9)
(pow.f64 (/.f64 0 0) 2/3)
(pow.f64 (/.f64 0 0) 1/6)
(pow.f64 (/.f64 0 0) 1/4)
(pow.f64 (/.f64 0 0) 3/2)
(pow.f64 (/.f64 0 0) 6)
(pow.f64 (/.f64 0 0) 4)
(pow.f64 (/.f64 0 0) 9)
(pow.f64 (/.f64 0 0) 4/3)
(pow.f64 (/.f64 0 0) 5/2)
(pow.f64 (/.f64 0 0) 5)
(pow.f64 (E.f64) (log.f64 (/.f64 0 0)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 0 0))) 2)) (cbrt.f64 (log.f64 (/.f64 0 0))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 0 0)))) (sqrt.f64 (log.f64 (/.f64 0 0))))
(sqrt.f64 (/.f64 0 0))
(fabs.f64 (/.f64 0 0))
(fabs.f64 (neg.f64 (/.f64 0 0)))
(log.f64 (exp.f64 (/.f64 0 0)))
(cbrt.f64 (/.f64 0 0))
(expm1.f64 (log1p.f64 (/.f64 0 0)))
(log1p.f64 (expm1.f64 (/.f64 0 0)))
(exp.f64 (log.f64 (/.f64 0 0)))
(exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 3))
(exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 1/3))
(exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 1/2))
(fma.f64 x x (pow.f64 x 2))
(fma.f64 1 (pow.f64 x 2) (pow.f64 x 2))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 x) 4) (pow.f64 x 2))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (pow.f64 x 2))
(fma.f64 (pow.f64 (cbrt.f64 x) 4) (pow.f64 (cbrt.f64 x) 2) (pow.f64 x 2))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (pow.f64 x 2))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (pow.f64 x 2))

Outputs
(*.f64 x (sqrt.f64 2))
(*.f64 x -2)
(*.f64 x (sqrt.f64 2))
(*.f64 x -2)
(*.f64 x (sqrt.f64 2))
(*.f64 x -2)
(*.f64 x (sqrt.f64 2))
(*.f64 x -2)
(*.f64 x (sqrt.f64 2))
(*.f64 x -2)
(*.f64 x (sqrt.f64 2))
(*.f64 x -2)
(*.f64 x (sqrt.f64 2))
(*.f64 x -2)
(*.f64 x (sqrt.f64 2))
(*.f64 x -2)
(.f64 -1 (.f64 x (sqrt.f64 2)))
(*.f64 x -2)
(.f64 -1 (.f64 x (sqrt.f64 2)))
(*.f64 x -2)
(.f64 -1 (.f64 x (sqrt.f64 2)))
(*.f64 x -2)
(.f64 -1 (.f64 x (sqrt.f64 2)))
(*.f64 x -2)
(+.f64 (pow.f64 x 2) (pow.f64 x 2))
-2
(+.f64 (+.f64 (/.f64 0 0) 1) -1)
-2
(+.f64 0 (/.f64 0 0))
-2
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 0 0))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 0 0)))))
-2
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))))
-2
(+.f64 (.f64 (/.f64 0 0) (pow.f64 x 2)) (.f64 (/.f64 0 0) (pow.f64 x 2)))
-2
(+.f64 (.f64 (pow.f64 x 2) (/.f64 0 0)) (.f64 (pow.f64 x 2) (/.f64 0 0)))
-2
(-.f64 (+.f64 (/.f64 0 0) 1) 1)
-2
(-.f64 (/.f64 (pow.f64 x 4) 0) (/.f64 (pow.f64 x 4) 0))
-2
(.f64 x (.f64 x 2))
-2
(.f64 x (.f64 (*.f64 x 2) 1))
-2
(.f64 x (.f64 (*.f64 x 2) (/.f64 0 0)))
-2
(*.f64 (pow.f64 x 2) 2)
-2
(.f64 (pow.f64 x 2) (.f64 (.f64 x 2) (.f64 x 2)))
-2
(*.f64 (/.f64 0 0) (/.f64 0 0))
-2
(*.f64 (/.f64 0 0) 1)
-2
(*.f64 (/.f64 0 0) (log.f64 (E.f64)))
-2
(*.f64 (/.f64 0 0) (pow.f64 1 1/3))
-2
(*.f64 (/.f64 0 0) (pow.f64 1 1/2))
-2
(*.f64 1 (/.f64 0 0))
-2
(.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x 2)))
(.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x -2)))
(*.f64 (cbrt.f64 x) (+.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (cbrt.f64 x) 5)))
(.f64 -2 (.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x)))
(.f64 (cbrt.f64 x) (.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 x 2)))
(.f64 (cbrt.f64 x) (.f64 (*.f64 x -2) (pow.f64 (cbrt.f64 x) -2)))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (+.f64 (pow.f64 (cbrt.f64 x) 4) (pow.f64 (cbrt.f64 x) 4)))
(.f64 -2 (.f64 (pow.f64 (cbrt.f64 x) -2) (pow.f64 (cbrt.f64 x) -2)))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 x 2)))
(.f64 (pow.f64 (cbrt.f64 x) -2) (.f64 (*.f64 x -2) (cbrt.f64 x)))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 x 2) 1/2))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x -2)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x -2)))
(*.f64 (sqrt.f64 x) (+.f64 (pow.f64 x 3/2) (pow.f64 x 3/2)))
(.f64 (sqrt.f64 x) (.f64 -2 (pow.f64 x 3/2)))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 x 2)))
(.f64 (sqrt.f64 x) (.f64 (*.f64 x -2) (sqrt.f64 x)))
(*.f64 0 (/.f64 1 0))
-2
(*.f64 2 (pow.f64 x 2))
-2
(.f64 2 (.f64 (pow.f64 x 2) (/.f64 0 0)))
-2
(*.f64 (pow.f64 (cbrt.f64 x) 4) (+.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 x) 2)))
(.f64 -2 (.f64 (pow.f64 (cbrt.f64 x) -2) (pow.f64 (cbrt.f64 x) -2)))
(*.f64 (pow.f64 x 3/2) (+.f64 (sqrt.f64 x) (sqrt.f64 x)))
(.f64 (sqrt.f64 x) (.f64 -2 (pow.f64 x 3/2)))
(.f64 (.f64 2 (pow.f64 x 6)) (/.f64 1 (+.f64 0 (pow.f64 x 4))))
-2
(.f64 (.f64 x 2) x)
-2
(*.f64 (pow.f64 (cbrt.f64 x) 5) (+.f64 (cbrt.f64 x) (cbrt.f64 x)))
(.f64 -2 (.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x)))
(*.f64 4 (pow.f64 x 4))
-2
(*.f64 (pow.f64 1 1/3) (/.f64 0 0))
-2
(*.f64 (pow.f64 1 1/2) (/.f64 0 0))
-2
(*.f64 (pow.f64 2 1/2) x)
(*.f64 x -2)
(*.f64 (cbrt.f64 2) (pow.f64 (cbrt.f64 x) 2))
(*.f64 -2 (pow.f64 (cbrt.f64 x) -2))
(*.f64 (sqrt.f64 2) x)
(*.f64 x -2)
(.f64 (.f64 2 (sqrt.f64 x)) (pow.f64 x 3/2))
(.f64 (sqrt.f64 x) (.f64 -2 (pow.f64 x 3/2)))
(.f64 (.f64 (/.f64 0 0) x) (*.f64 x 2))
-2
(.f64 (.f64 (/.f64 0 0) 2) (pow.f64 x 2))
-2
(.f64 (.f64 2 (pow.f64 (cbrt.f64 x) 2)) (pow.f64 (cbrt.f64 x) 4))
(.f64 -2 (.f64 (pow.f64 (cbrt.f64 x) -2) (pow.f64 (cbrt.f64 x) -2)))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 x) 4)) (pow.f64 (cbrt.f64 x) 2))
(.f64 -2 (.f64 (pow.f64 (cbrt.f64 x) -2) (pow.f64 (cbrt.f64 x) -2)))
(.f64 (.f64 2 (pow.f64 x 3/2)) (sqrt.f64 x))
(.f64 (sqrt.f64 x) (.f64 -2 (pow.f64 x 3/2)))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 x) 5)) (cbrt.f64 x))
(.f64 -2 (.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x)))
(/.f64 1 (/.f64 0 0))
-2
(/.f64 1 (/.f64 (+.f64 0 (pow.f64 x 4)) (*.f64 2 (pow.f64 x 6))))
-2
(/.f64 0 0)
-2
(/.f64 (*.f64 2 (pow.f64 x 6)) (+.f64 0 (pow.f64 x 4)))
-2
(/.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 6))) (cbrt.f64 (+.f64 0 (pow.f64 x 4))))
(/.f64 -2 (cbrt.f64 (pow.f64 x -2)))
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) (.f64 2 (pow.f64 x 6))) (.f64 (+.f64 0 (pow.f64 x 4)) (+.f64 0 (pow.f64 x 4))))
-2
(/.f64 (sqrt.f64 (*.f64 2 (pow.f64 x 6))) (sqrt.f64 (+.f64 0 (pow.f64 x 4))))
(/.f64 -2 (sqrt.f64 (pow.f64 x -2)))
(/.f64 (sqrt.f64 0) (sqrt.f64 0))
-2
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) 0) (*.f64 (+.f64 0 (pow.f64 x 4)) 0))
-2
(/.f64 (.f64 0 (.f64 2 (pow.f64 x 6))) (*.f64 0 (+.f64 0 (pow.f64 x 4))))
-2
(/.f64 (neg.f64 (*.f64 2 (pow.f64 x 6))) (neg.f64 (+.f64 0 (pow.f64 x 4))))
-2
(/.f64 (-.f64 (pow.f64 (+.f64 (/.f64 0 0) 1) 3) 1) (+.f64 (*.f64 (+.f64 (/.f64 0 0) 1) (+.f64 (/.f64 0 0) 1)) (+.f64 1 (+.f64 (/.f64 0 0) 1))))
-2
(/.f64 (-.f64 (*.f64 (+.f64 (/.f64 0 0) 1) (+.f64 (/.f64 0 0) 1)) 1) (+.f64 (+.f64 (/.f64 0 0) 1) 1))
-2
(/.f64 (.f64 (/.f64 0 0) (.f64 2 (pow.f64 x 6))) (+.f64 0 (pow.f64 x 4)))
-2
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) 1) (+.f64 0 (pow.f64 x 4)))
-2
(/.f64 (.f64 (.f64 2 (pow.f64 x 6)) (/.f64 0 0)) (+.f64 0 (pow.f64 x 4)))
-2
(/.f64 (*.f64 0 (/.f64 0 0)) 0)
-2
(pow.f64 (/.f64 0 0) 1)
-2
(pow.f64 (/.f64 0 0) 1/2)
-2
(pow.f64 (/.f64 0 0) 2)
-2
(pow.f64 (/.f64 0 0) 1/3)
-2
(pow.f64 (/.f64 0 0) 3)
-2
(pow.f64 (/.f64 0 0) 1/9)
(pow.f64 -2 1/9)
(pow.f64 (/.f64 0 0) 2/3)
(pow.f64 -2 2/3)
(pow.f64 (/.f64 0 0) 1/6)
(pow.f64 -2 1/6)
(pow.f64 (/.f64 0 0) 1/4)
(pow.f64 -2 1/4)
(pow.f64 (/.f64 0 0) 3/2)
(pow.f64 -2 3/2)
(pow.f64 (/.f64 0 0) 6)
64
(pow.f64 (/.f64 0 0) 4)
-2
(pow.f64 (/.f64 0 0) 9)
512
(pow.f64 (/.f64 0 0) 4/3)
(pow.f64 -2 4/3)
(pow.f64 (/.f64 0 0) 5/2)
(pow.f64 -2 5/2)
(pow.f64 (/.f64 0 0) 5)
32
(pow.f64 (E.f64) (log.f64 (/.f64 0 0)))
-2
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 0 0))) 2)) (cbrt.f64 (log.f64 (/.f64 0 0))))
-2
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 0 0)))) (sqrt.f64 (log.f64 (/.f64 0 0))))
-2
(sqrt.f64 (/.f64 0 0))
-2
(fabs.f64 (/.f64 0 0))
-2
(fabs.f64 (neg.f64 (/.f64 0 0)))
-2
(log.f64 (exp.f64 (/.f64 0 0)))
-2
(cbrt.f64 (/.f64 0 0))
-2
(expm1.f64 (log1p.f64 (/.f64 0 0)))
-2
(log1p.f64 (expm1.f64 (/.f64 0 0)))
-2
(exp.f64 (log.f64 (/.f64 0 0)))
-2
(exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 3))
-2
(exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 1/3))
-2
(exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 1/2))
-2
(fma.f64 x x (pow.f64 x 2))
-2
(fma.f64 1 (pow.f64 x 2) (pow.f64 x 2))
(pow.f64 x -2)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 x) 4) (pow.f64 x 2))
(fma.f64 (pow.f64 (cbrt.f64 x) -2) (pow.f64 (cbrt.f64 x) -2) (pow.f64 x -2))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (pow.f64 x 2))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (pow.f64 x -2))
(fma.f64 (pow.f64 (cbrt.f64 x) 4) (pow.f64 (cbrt.f64 x) 2) (pow.f64 x 2))
(fma.f64 (pow.f64 (cbrt.f64 x) -2) (pow.f64 (cbrt.f64 x) -2) (pow.f64 x -2))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (pow.f64 x 2))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (pow.f64 x -2))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (pow.f64 x 2))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (pow.f64 x -2))

eval27.0ms (0.2%)

Compiler: Compiled 1066 to 850 computations (20.3% saved)

prune23.0ms (0.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	127	7	134
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	127	8	135

Accuracy

100.0%

Counts

135 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
	7.1%	(.f64 (.f64 x 2) x)
▶	99.5%	(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))
	99.2%	(*.f64 (sqrt.f64 2) x)
▶	2.3%	(*.f64 x -2)
▶	5.4%	512
▶	5.4%	64
▶	5.4%	32

Compiler

Compiled 62 to 48 computations (22.6% saved)

localize89.0ms (0.6%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.5%	(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))

Compiler

Compiled 28 to 19 computations (32.1% saved)

Precisions

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

Operation ival-sqrt, time spent: 10.0ms, 52.0% of total-time

Operation ival-mult, time spent: 8.0ms, 41.0% of total-time

Operation const, time spent: 2.0ms, 10.0% of total-time

series2.0ms (0%)

Counts

1 → 12

Calls

Call 1

Inputs
#<alt (.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))>

Outputs
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))>
#<alt (.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))>
#<alt (.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))>
#<alt (.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))>

Calls

3 calls:

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

rewrite72.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1122×	`unpow-prod-down`
550×	`prod-exp`
530×	`log-prod`
492×	`cbrt-prod`
424×	`pow-prod-down`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	109	14
2	1194	14

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

Inputs
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))

Outputs
(+.f64 0 (*.f64 x (sqrt.f64 2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))
(-.f64 (+.f64 1 (*.f64 x (sqrt.f64 2))) 1)
(pow.f64 (*.f64 x (sqrt.f64 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 x 2) 2) 1/2)
(pow.f64 (E.f64) (log.f64 (*.f64 x (sqrt.f64 2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))) 2)) (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 2))))) (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))))
(sqrt.f64 (*.f64 (pow.f64 x 2) 2))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (sqrt.f64 2))))
(log1p.f64 (expm1.f64 (*.f64 x (sqrt.f64 2))))
(exp.f64 (log.f64 (*.f64 x (sqrt.f64 2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x (sqrt.f64 2)) 3)) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (sqrt.f64 2)))) 2))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 2) 2)) 1/2))

simplify82.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1450×	`fma-neg`
1386×	`distribute-lft-in`
1172×	`distribute-rgt-in`
1150×	`associate-r`
996×	`prod-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	74	695
1	130	695
2	310	695
3	1066	695
4	5427	695
5	7495	695

Stop Event

1×	node limit

Counts

34 → 29

Calls

Call 1

Inputs
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(+.f64 0 (*.f64 x (sqrt.f64 2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))
(-.f64 (+.f64 1 (*.f64 x (sqrt.f64 2))) 1)
(pow.f64 (*.f64 x (sqrt.f64 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 x 2) 2) 1/2)
(pow.f64 (E.f64) (log.f64 (*.f64 x (sqrt.f64 2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))) 2)) (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 2))))) (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))))
(sqrt.f64 (*.f64 (pow.f64 x 2) 2))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (sqrt.f64 2))))
(log1p.f64 (expm1.f64 (*.f64 x (sqrt.f64 2))))
(exp.f64 (log.f64 (*.f64 x (sqrt.f64 2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x (sqrt.f64 2)) 3)) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (sqrt.f64 2)))) 2))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 2) 2)) 1/2))

Outputs
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(neg.f64 (.f64 x (.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(.f64 (.f64 (sqrt.f64 -2) (sqrt.f64 -1)) (neg.f64 x))
(.f64 (sqrt.f64 -2) (.f64 x (neg.f64 (sqrt.f64 -1))))
(.f64 (sqrt.f64 -2) (.f64 (sqrt.f64 -1) (neg.f64 x)))
(.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(neg.f64 (.f64 x (.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(.f64 (.f64 (sqrt.f64 -2) (sqrt.f64 -1)) (neg.f64 x))
(.f64 (sqrt.f64 -2) (.f64 x (neg.f64 (sqrt.f64 -1))))
(.f64 (sqrt.f64 -2) (.f64 (sqrt.f64 -1) (neg.f64 x)))
(.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(neg.f64 (.f64 x (.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(.f64 (.f64 (sqrt.f64 -2) (sqrt.f64 -1)) (neg.f64 x))
(.f64 (sqrt.f64 -2) (.f64 x (neg.f64 (sqrt.f64 -1))))
(.f64 (sqrt.f64 -2) (.f64 (sqrt.f64 -1) (neg.f64 x)))
(.f64 -1 (.f64 x (*.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(neg.f64 (.f64 x (.f64 (sqrt.f64 -2) (sqrt.f64 -1))))
(.f64 (.f64 (sqrt.f64 -2) (sqrt.f64 -1)) (neg.f64 x))
(.f64 (sqrt.f64 -2) (.f64 x (neg.f64 (sqrt.f64 -1))))
(.f64 (sqrt.f64 -2) (.f64 (sqrt.f64 -1) (neg.f64 x)))
(+.f64 0 (*.f64 x (sqrt.f64 2)))
(*.f64 x (sqrt.f64 2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))
(-.f64 (+.f64 1 (*.f64 x (sqrt.f64 2))) 1)
(*.f64 x (sqrt.f64 2))
(pow.f64 (*.f64 x (sqrt.f64 2)) 1)
(*.f64 x (sqrt.f64 2))
(pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3)
(*.f64 x (sqrt.f64 2))
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 3) 1/3)
(*.f64 x (sqrt.f64 2))
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 2)
(*.f64 x (sqrt.f64 2))
(pow.f64 (*.f64 (pow.f64 x 2) 2) 1/2)
(*.f64 x (sqrt.f64 2))
(pow.f64 (E.f64) (log.f64 (*.f64 x (sqrt.f64 2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))) 2)) (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 2))))) (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))))
(sqrt.f64 (*.f64 (pow.f64 x 2) 2))
(*.f64 x (sqrt.f64 2))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))
(*.f64 x (sqrt.f64 2))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 3))
(*.f64 x (sqrt.f64 2))
(expm1.f64 (log1p.f64 (*.f64 x (sqrt.f64 2))))
(*.f64 x (sqrt.f64 2))
(log1p.f64 (expm1.f64 (*.f64 x (sqrt.f64 2))))
(*.f64 x (sqrt.f64 2))
(exp.f64 (log.f64 (*.f64 x (sqrt.f64 2))))
(*.f64 x (sqrt.f64 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) 3))
(*.f64 x (sqrt.f64 2))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x (sqrt.f64 2)) 3)) 1/3))
(*.f64 x (sqrt.f64 2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (sqrt.f64 2)))) 2))
(*.f64 x (sqrt.f64 2))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 2) 2)) 1/2))
(*.f64 x (sqrt.f64 2))

eval6.0ms (0%)

Compiler: Compiled 247 to 208 computations (15.8% saved)

prune7.0ms (0%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	2	2
Picked	0	5	5
Done	0	1	1
Total	29	8	37

Accuracy

100.0%

Counts

37 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	7.1%	(.f64 (.f64 x 2) x)
✓	99.5%	(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))
▶	99.2%	(*.f64 (sqrt.f64 2) x)
✓	2.3%	(*.f64 x -2)
✓	5.4%	512
✓	5.4%	64
✓	5.4%	32

Compiler

Compiled 33 to 25 computations (24.2% saved)

localize105.0ms (0.7%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.2%	(*.f64 (sqrt.f64 2) x)

Compiler

Compiled 20 to 14 computations (30% saved)

Precisions

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

Operation ival-sqrt, time spent: 14.0ms, 49.0% of total-time

Operation ival-mult, time spent: 13.0ms, 45.0% of total-time

Operation const, time spent: 1.0ms, 3.0% of total-time

series1.0ms (0%)

Counts

1 → 12

Calls

Call 1

Inputs
#<alt (*.f64 (sqrt.f64 2) x)>

Outputs
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>
#<alt (*.f64 x (sqrt.f64 2))>

Calls

3 calls:

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

rewrite71.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

946×	`associate-r`
804×	`associate-l`
488×	`unpow-prod-down`
296×	`log-prod`
286×	`cbrt-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	67	14
2	729	14

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

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

Outputs
(+.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) -1)
(+.f64 0 (*.f64 (sqrt.f64 2) x))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 8)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))
(-.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 3) 1) (+.f64 (.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) (+.f64 1 (.f64 (sqrt.f64 2) x))) (+.f64 1 (.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 1))))
(/.f64 (-.f64 (.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) (+.f64 1 (.f64 (sqrt.f64 2) x))) 1) (+.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 1))
(pow.f64 (*.f64 (sqrt.f64 2) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(pow.f64 (*.f64 2 (pow.f64 x 2)) 1/2)
(pow.f64 (*.f64 (sqrt.f64 8) (pow.f64 x 3)) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 (sqrt.f64 2) x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 (sqrt.f64 2) x))) 2)) (cbrt.f64 (log.f64 (.f64 (sqrt.f64 2) x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (sqrt.f64 2) x)))) (sqrt.f64 (log.f64 (.f64 (sqrt.f64 2) x))))
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(fabs.f64 (*.f64 (sqrt.f64 2) x))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))
(cbrt.f64 (*.f64 (sqrt.f64 8) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) x)))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 2) x)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (sqrt.f64 2) x))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (sqrt.f64 2) x))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (sqrt.f64 2) x))) 2))

simplify65.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1406×	`cancel-sign-sub-inv`
1112×	`distribute-lft-out`
852×	`sub-neg`
758×	`times-frac`
598×	`div-sub`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	83	778
1	161	760
2	401	745
3	1618	745
4	3913	745

Stop Event

1×	node limit

Counts

37 → 34

Calls

Call 1

Inputs
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(+.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) -1)
(+.f64 0 (*.f64 (sqrt.f64 2) x))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 8)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))
(-.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 3) 1) (+.f64 (.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) (+.f64 1 (.f64 (sqrt.f64 2) x))) (+.f64 1 (.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 1))))
(/.f64 (-.f64 (.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) (+.f64 1 (.f64 (sqrt.f64 2) x))) 1) (+.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 1))
(pow.f64 (*.f64 (sqrt.f64 2) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(pow.f64 (*.f64 2 (pow.f64 x 2)) 1/2)
(pow.f64 (*.f64 (sqrt.f64 8) (pow.f64 x 3)) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 (sqrt.f64 2) x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 (sqrt.f64 2) x))) 2)) (cbrt.f64 (log.f64 (.f64 (sqrt.f64 2) x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (sqrt.f64 2) x)))) (sqrt.f64 (log.f64 (.f64 (sqrt.f64 2) x))))
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(fabs.f64 (*.f64 (sqrt.f64 2) x))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))
(cbrt.f64 (*.f64 (sqrt.f64 8) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) x)))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 2) x)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (sqrt.f64 2) x))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (sqrt.f64 2) x))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (sqrt.f64 2) x))) 2))

Outputs
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(*.f64 x (sqrt.f64 2))
(+.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) -1)
(*.f64 x (sqrt.f64 2))
(+.f64 0 (*.f64 (sqrt.f64 2) x))
(*.f64 x (sqrt.f64 2))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 8)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 8)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))
(-.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) 1)
(*.f64 x (sqrt.f64 2))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 3) 1) (+.f64 (.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) (+.f64 1 (.f64 (sqrt.f64 2) x))) (+.f64 1 (.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 1 (.f64 x (sqrt.f64 2))) 3) -1) (fma.f64 (+.f64 1 (.f64 x (sqrt.f64 2))) (+.f64 1 (.f64 x (sqrt.f64 2))) (+.f64 1 (+.f64 1 (.f64 x (sqrt.f64 2))))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 x (sqrt.f64 2) 1) 3)) (fma.f64 (fma.f64 x (sqrt.f64 2) 1) (fma.f64 x (sqrt.f64 2) 1) (+.f64 2 (*.f64 x (sqrt.f64 2)))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 x (sqrt.f64 2) 1) 3)) (+.f64 1 (*.f64 (fma.f64 x (sqrt.f64 2) 1) (fma.f64 x (sqrt.f64 2) 2))))
(/.f64 (-.f64 (.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) (+.f64 1 (.f64 (sqrt.f64 2) x))) 1) (+.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 1))
(*.f64 x (sqrt.f64 2))
(pow.f64 (*.f64 (sqrt.f64 2) x) 1)
(*.f64 x (sqrt.f64 2))
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 x (sqrt.f64 2))
(pow.f64 (*.f64 2 (pow.f64 x 2)) 1/2)
(*.f64 x (sqrt.f64 2))
(pow.f64 (*.f64 (sqrt.f64 8) (pow.f64 x 3)) 1/3)
(cbrt.f64 (*.f64 (sqrt.f64 8) (pow.f64 x 3)))
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
(*.f64 x (sqrt.f64 2))
(pow.f64 (E.f64) (log.f64 (*.f64 (sqrt.f64 2) x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 (sqrt.f64 2) x))) 2)) (cbrt.f64 (log.f64 (.f64 (sqrt.f64 2) x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))) 2)) (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (sqrt.f64 2) x)))) (sqrt.f64 (log.f64 (.f64 (sqrt.f64 2) x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 2))))) (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 2)))))
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(*.f64 x (sqrt.f64 2))
(fabs.f64 (*.f64 (sqrt.f64 2) x))
(*.f64 x (sqrt.f64 2))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))
(*.f64 x (sqrt.f64 2))
(cbrt.f64 (*.f64 (sqrt.f64 8) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) x)))
(*.f64 x (sqrt.f64 2))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) x)))
(*.f64 x (sqrt.f64 2))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 2) x)))
(*.f64 x (sqrt.f64 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (sqrt.f64 2) x))) 3))
(*.f64 x (sqrt.f64 2))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (sqrt.f64 2) x))) 1/3))
(*.f64 x (sqrt.f64 2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (sqrt.f64 2) x))) 2))
(*.f64 x (sqrt.f64 2))

eval10.0ms (0.1%)

Compiler: Compiled 403 to 346 computations (14.1% saved)

prune39.0ms (0.3%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	34	0	34
Fresh	0	0	0
Picked	0	2	2
Done	0	6	6
Total	34	8	42

Accuracy

100.0%

Counts

42 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	7.1%	(.f64 (.f64 x 2) x)
✓	99.5%	(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))
✓	99.2%	(*.f64 (sqrt.f64 2) x)
✓	2.3%	(*.f64 x -2)
✓	5.4%	512
✓	5.4%	64
✓	5.4%	32

Compiler

Compiled 67 to 46 computations (31.3% saved)

regimes109.0ms (0.7%)

Counts

9 → 1

Calls

Call 1

Inputs
32
64
512
(*.f64 x -2)
(.f64 (.f64 x 2) x)
(hypot.f64 x x)
(*.f64 (sqrt.f64 2) x)
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x 2)))

Outputs
(hypot.f64 x x)

Calls

4 calls:

94.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
6.0ms	x
4.0ms	(*.f64 x x)
4.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)

regimes34.0ms (0.2%)

Counts

5 → 1

Calls

Call 1

Inputs
32
64
512
(*.f64 x -2)
(.f64 (.f64 x 2) x)

Outputs
(.f64 (.f64 x 2) x)

Calls

1 calls:

34.0ms

Results

Accuracy	Segments	Branch
7.1%	1	`x`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes4.0ms (0%)

Counts

4 → 1

Calls

Call 1

Inputs
32
64
512
(*.f64 x -2)

Outputs
64

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
5.4%	1	`x`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes3.0ms (0%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
32

Outputs
32

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
5.4%	1	`x`

Compiler

Compiled 2 to 1 computations (50% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	34
1	13	34

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(hypot.f64 x x)
(.f64 (.f64 x 2) x)
64
32

Outputs
(hypot.f64 x x)
(.f64 (.f64 x 2) x)
(.f64 x (.f64 x 2))
64
32

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness13.0s (85%)

Rules

801×	`log1p-expm1-u`
801×	`expm1-log1p-u`
404×	`associate-r`
340×	`associate-l`
288×	`unpow-prod-down`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	56
1	36	56
2	82	56
3	197	56
4	302	56
5	362	56
6	364	56
0	6	13
1	46	13
2	482	7
3	5570	7
0	222	12884902958
1	581	12884902958

Stop Event

1×	unsound
1×	node limit
1×	saturated

Compiler

Compiled 326 to 87 computations (73.3% saved)

end0.0ms (0%)

preprocess38.0ms (0.2%)

Remove: (abs x)
Compiler: Compiled 80 to 42 computations (47.5% saved)

analyze0.0ms (0%)

sample986.0ms (6.4%)

preprocess119.0ms (0.8%)

eval0.0ms (0%)

prune1.0ms (0%)

localize28.0ms (0.2%)

series2.0ms (0%)

rewrite356.0ms (2.3%)

simplify22.0ms (0.1%)

eval27.0ms (0.2%)

prune23.0ms (0.1%)

localize89.0ms (0.6%)

series2.0ms (0%)

rewrite72.0ms (0.5%)

simplify82.0ms (0.5%)

eval6.0ms (0%)

prune7.0ms (0%)

localize105.0ms (0.7%)

series1.0ms (0%)

rewrite71.0ms (0.5%)

simplify65.0ms (0.4%)

eval10.0ms (0.1%)

prune39.0ms (0.3%)

regimes109.0ms (0.7%)

regimes34.0ms (0.2%)

regimes4.0ms (0%)

regimes3.0ms (0%)

simplify3.0ms (0%)

soundness13.0s (85%)

end0.0ms (0%)

preprocess38.0ms (0.2%)

Profiling