Metrics for sqrt D (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
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 8 to 6 computations (25% saved)

Precisions

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

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

const: 0.0ms (0% of total)

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

backward-pass: 0.0ms (0% of total)

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

sample824.0ms (6%)

Results

571.0ms

8256×

valid

Precisions

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

ival-mult: 198.0ms (52.1% of total)

ival-pow: 103.0ms (27.1% of total)

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

const: 10.0ms (2.6% of total)

backward-pass: 3.0ms (0.8% of total)

Bogosity

preprocess18.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

124×	`fmsub-define`
120×	`fnmsub-define`
120×	`fnmadd-define`
98×	`fma-define`
60×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	20	19
2	42	19
3	124	19
4	239	19
5	358	19
6	484	19
7	527	19
0	5	6
1	7	6
2	11	6
3	12	6
0	12	6

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

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

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

Call 2

Inputs
(sqrt (* 2 (pow x 2)))
(sqrt (* 2 (pow (neg x) 2)))
(neg (sqrt (* 2 (pow (neg x) 2))))

Outputs
(sqrt (* 2 (pow x 2)))
(sqrt (* x (* 2 x)))
(sqrt (* 2 (pow (neg x) 2)))
(sqrt (* x (* 2 x)))
(neg (sqrt (* 2 (pow (neg x) 2))))
(neg (sqrt (* x (* 2 x))))

Symmetry

(abs x)

explain64.0ms (0.5%)

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
131	-	3	(2.658645294652935e-158)	`(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))`
0	-	0	-	`x`
0	-	0	-	`(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(pow.f64 x #s(literal 2 binary64))`

Results

41.0ms

512×

valid

Compiler

Compiled 43 to 17 computations (60.5% saved)

Precisions

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

ival-pow: 8.0ms (48.9% of total)

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

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

const: 1.0ms (6.1% of total)

backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Rules

14×	`-lowering-.f32`
14×	`-lowering-.f64`
6×	`*-commutative`
2×	`sqrt-lowering-sqrt.f64`
2×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	16
1	8	16
2	11	16
0	11	16

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(sqrt (* 2 (* x x)))
(* 2 (* x x))
2
(* x x)
x

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

localize21.0ms (0.2%)

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 x x)
✓	accuracy	100.0%	(.f64 #s(literal 2 binary64) (.f64 x x))
✓	accuracy	52.8%	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))

Results

14.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series2.9s (21.1%)

Counts

3 → 36

Calls

Call 1

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

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

Calls

9 calls:

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

rewrite739.0ms (5.3%)

Algorithm

1×	batch-egg-rewrite

Rules

3606×	`-lowering-.f32`
3606×	`-lowering-.f64`
1476×	`pow-lowering-pow.f64`
1476×	`pow-lowering-pow.f32`
1416×	`sum3-define`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	5	14
1	14	13
2	43	12
3	120	12
4	577	12
5	4098	12
0	8513	12

Stop Event

1×	iter limit
1×	node limit

Counts

3 → 196

Calls

Call 1

Inputs
(sqrt (* 2 (* x x)))
(* 2 (* x x))
(* x x)

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

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

106×	`sum3-define`
98×	`fma-define`
46×	`fma-lowering-fma.f32`
46×	`fma-lowering-fma.f64`
38×	`-lowering-.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	38	148
4	42	148
5	64	148
6	96	148
7	108	148
8	139	148
9	232	148
10	235	148
0	235	148

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

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

eval31.0ms (0.2%)

Compiler: Compiled 2792 to 684 computations (75.5% saved)

prune27.0ms (0.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	225	7	232
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	225	8	233

Accuracy

100.0%

Counts

233 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	31.1%	(pow.f64 (.f64 x (.f64 x (.f64 (.f64 x x) #s(literal 4 binary64)))) #s(literal 1/4 binary64))
	99.5%	(.f64 (pow.f64 (.f64 x #s(literal 4 binary64)) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 3/4 binary64)))
	99.2%	(.f64 (pow.f64 x #s(literal 1/8 binary64)) (.f64 (pow.f64 x #s(literal 3/8 binary64)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x))))
▶	99.3%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))))
▶	99.5%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))))
▶	99.4%	(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
▶	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	52.7%	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))

Compiler

Compiled 151 to 107 computations (29.1% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Localize:

Found 17 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
✓	cost-diff	0	(pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))
✓	cost-diff	6656	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))))
✓	cost-diff	0	(sqrt.f64 x)
✓	cost-diff	0	(*.f64 #s(literal 2 binary64) x)
✓	cost-diff	0	(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
✓	cost-diff	0	(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
✓	cost-diff	0	(.f64 (.f64 x x) #s(literal 4 binary64))
✓	cost-diff	0	(.f64 x (.f64 (*.f64 x x) #s(literal 4 binary64)))
✓	cost-diff	0	(.f64 x (.f64 x (.f64 (.f64 x x) #s(literal 4 binary64))))
✓	cost-diff	0	(pow.f64 (.f64 x (.f64 x (.f64 (.f64 x x) #s(literal 4 binary64)))) #s(literal 1/4 binary64))
✓	cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
✓	cost-diff	0	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	cost-diff	0	(*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
✓	cost-diff	0	(pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))
✓	cost-diff	128	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))))
✓	cost-diff	13248	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))))

Rules

112×	`-lowering-.f32`
112×	`-lowering-.f64`
52×	`associate-r`
28×	`*-commutative`
28×	`associate-l`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	134
1	42	116
2	74	102
3	90	95
4	94	95
5	96	95
0	96	95

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize115.0ms (0.8%)

Localize:

Found 17 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))
✓	accuracy	99.6%	(*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
✓	accuracy	99.5%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))))
✓	accuracy	100.0%	(*.f64 #s(literal 2 binary64) x)
✓	accuracy	100.0%	(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
✓	accuracy	100.0%	(sqrt.f64 x)
✓	accuracy	99.4%	(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
✓	accuracy	100.0%	(.f64 (.f64 x x) #s(literal 4 binary64))
✓	accuracy	99.9%	(.f64 x (.f64 (*.f64 x x) #s(literal 4 binary64)))
✓	accuracy	99.9%	(.f64 x (.f64 x (.f64 (.f64 x x) #s(literal 4 binary64))))
✓	accuracy	31.2%	(pow.f64 (.f64 x (.f64 x (.f64 (.f64 x x) #s(literal 4 binary64)))) #s(literal 1/4 binary64))
✓	accuracy	100.0%	(sqrt.f64 #s(literal 2 binary64))
✓	accuracy	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	accuracy	100.0%	(pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))
✓	accuracy	99.6%	(*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
✓	accuracy	99.6%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))))
✓	accuracy	99.5%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))))

Results

79.0ms

256×

valid

Compiler

Compiled 123 to 23 computations (81.3% saved)

Precisions

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

ival-pow: 21.0ms (44.9% of total)

ival-mult: 19.0ms (40.6% of total)

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

const: 1.0ms (2.1% of total)

backward-pass: 0.0ms (0% of total)

series125.0ms (0.9%)

Counts

16 → 156

Calls

Call 1

Inputs
#<alt (* (pow 2 1/8) (* (pow 2 1/8) (* x (pow 2 1/4))))>
#<alt (* (pow 2 1/8) (* x (pow 2 1/4)))>
#<alt (pow 2 1/8)>
#<alt (* x (pow 2 1/4))>
#<alt (* (sqrt 2) x)>
#<alt (sqrt 2)>
#<alt (pow (* x (* x (* (* x x) 4))) 1/4)>
#<alt (* x (* x (* (* x x) 4)))>
#<alt (* x (* (* x x) 4))>
#<alt (* (* x x) 4)>
#<alt (* (sqrt (* 2 x)) (sqrt x))>
#<alt (sqrt (* 2 x))>
#<alt (* 2 x)>
#<alt (sqrt x)>
#<alt (* (pow 2 1/4) (* x (pow 2 1/4)))>
#<alt (pow 2 1/4)>

Outputs
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 8 1/8) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* (pow 2 1/4) x)>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* (pow 4 1/4) x)>
#<alt (* (pow 4 1/4) x)>
#<alt (* (pow 4 1/4) x)>
#<alt (* (pow 4 1/4) x)>
#<alt (* (pow 4 1/4) x)>
#<alt (* (pow 4 1/4) x)>
#<alt (* (pow 4 1/4) x)>
#<alt (* (pow 4 1/4) x)>
#<alt (* -1 (* (pow 4 1/4) x))>
#<alt (* -1 (* (pow 4 1/4) x))>
#<alt (* -1 (* (pow 4 1/4) x))>
#<alt (* -1 (* (pow 4 1/4) x))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 4))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 3))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* 4 (pow x 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* -1 (* x (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* x (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* x (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* x (* (sqrt -2) (sqrt -1))))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>

Calls

39 calls:

Time	Variable		Point	Expression
44.0ms	x	@	0	(* (pow 2 1/8) (* (pow 2 1/8) (* x (pow 2 1/4))))
36.0ms	x	@	0	(* x (pow 2 1/4))
18.0ms	x	@	0	(* (pow 2 1/8) (* x (pow 2 1/4)))
18.0ms	x	@	0	(pow (* x (* x (* (* x x) 4))) 1/4)
1.0ms	x	@	-inf	(* (sqrt (* 2 x)) (sqrt x))

rewrite176.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1756×	`-lowering-.f32`
1756×	`-lowering-.f64`
990×	`prod-exp`
804×	`+-lowering-+.f64`
804×	`+-lowering-+.f32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	100
1	67	66
2	199	60
3	803	60
0	4104	60

Stop Event

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

Counts

16 → 728

Calls

Call 1

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

Outputs
(exp.f64 (+.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x))) (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64))))))
(exp.f64 (+.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64)))) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 x) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (log.f64 x)))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
(pow.f64 (*.f64 x (sqrt.f64 #s(literal 2 binary64))) #s(literal 1 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64))
(pow.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))))
(pow.f64 (.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (*.f64 x x) #s(literal 16 binary64))))) #s(literal 1/16 binary64))
(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) (.f64 #s(literal 2 binary64) (*.f64 x x))) #s(literal 1/4 binary64))
(pow.f64 (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
(pow.f64 (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))) #s(literal 1/2 binary64))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 x (sqrt.f64 #s(literal 2 binary64))))
(.f64 (.f64 x (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x x)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 3/4 binary64)))
(.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 x #s(literal 3/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x #s(literal 4 binary64))) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x x)) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 (log.f64 x) #s(literal 3 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (*.f64 x #s(literal 4 binary64)))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 4 binary64) (log.f64 x))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x (.f64 x x))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (*.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 3/8 binary64))))
(exp.f64 (+.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 3/8 binary64)) (log.f64 x)))
(pow.f64 (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 x (sqrt.f64 #s(literal 2 binary64))))
(*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(.f64 (.f64 x (sqrt.f64 #s(literal 2 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64)))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) x)
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(.f64 (.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))) (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (sqrt.f64 x)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (sqrt.f64 x)))
(exp.f64 (*.f64 #s(literal 1/8 binary64) (log.f64 #s(literal 2 binary64))))
(exp.f64 (.f64 (.f64 #s(literal 1/8 binary64) (log.f64 #s(literal 2 binary64))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 1/8 binary64))) (log.f64 #s(literal 2 binary64))))
(pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) #s(literal 1 binary64))
(pow.f64 #s(literal 4 binary64) #s(literal 1/16 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) #s(literal 4 binary64))
(pow.f64 #s(literal 16 binary64) #s(literal 1/32 binary64))
(pow.f64 (exp.f64 #s(literal 1/8 binary64)) (log.f64 #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 1/8 binary64)) (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1 binary64)))
(pow.f64 (exp.f64 (log.f64 #s(literal 4 binary64))) #s(literal 1/16 binary64))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 3/32 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/32 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(*.f64 (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/32 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/32 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (exp.f64 #s(literal 1/8 binary64)) (/.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1/8 binary64)) (/.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64))))
(exp.f64 (+.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x))) (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64))))))
(exp.f64 (+.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64)))) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 x) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (log.f64 x)))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
(pow.f64 (*.f64 x (sqrt.f64 #s(literal 2 binary64))) #s(literal 1 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64))
(pow.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))))
(pow.f64 (.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (*.f64 x x) #s(literal 16 binary64))))) #s(literal 1/16 binary64))
(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) (.f64 #s(literal 2 binary64) (*.f64 x x))) #s(literal 1/4 binary64))
(pow.f64 (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
(pow.f64 (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))) #s(literal 1/2 binary64))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 x (sqrt.f64 #s(literal 2 binary64))))
(.f64 (.f64 x (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x x)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 3/4 binary64)))
(.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 x #s(literal 3/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x #s(literal 4 binary64))) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x x)) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 (log.f64 x) #s(literal 3 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (*.f64 x #s(literal 4 binary64)))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 4 binary64) (log.f64 x))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x (.f64 x x))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (*.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))))
(exp.f64 (+.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x))) (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64))))))
(exp.f64 (+.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64)))) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 x) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (log.f64 x)))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
(pow.f64 (*.f64 x (sqrt.f64 #s(literal 2 binary64))) #s(literal 1 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64))
(pow.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))))
(pow.f64 (.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (*.f64 x x) #s(literal 16 binary64))))) #s(literal 1/16 binary64))
(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) (.f64 #s(literal 2 binary64) (*.f64 x x))) #s(literal 1/4 binary64))
(pow.f64 (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
(pow.f64 (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))) #s(literal 1/2 binary64))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 x (sqrt.f64 #s(literal 2 binary64))))
(.f64 (.f64 x (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x x)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 3/4 binary64)))
(.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 x #s(literal 3/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x #s(literal 4 binary64))) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x x)) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 (log.f64 x) #s(literal 3 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (*.f64 x #s(literal 4 binary64)))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 4 binary64) (log.f64 x))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x (.f64 x x))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (*.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))))
(exp.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/16 binary64)) #s(literal 4 binary64)))
(exp.f64 (*.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/16 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (log.f64 #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64)))
(exp.f64 (*.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 2 binary64)))
(exp.f64 (+.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/16 binary64)) (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 3/16 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 3/16 binary64)) (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/16 binary64))))
(sqrt.f64 #s(literal 2 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) #s(literal 4 binary64))
(pow.f64 (sqrt.f64 #s(literal 2 binary64)) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64))
(pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) #s(literal 4 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) #s(literal 8 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) #s(literal 8 binary64))
(pow.f64 #s(literal 16 binary64) #s(literal 1/8 binary64))
(pow.f64 #s(literal 16 binary64) #s(literal 1/16 binary64))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 #s(literal 4 binary64)))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 1/8 binary64)) (log.f64 #s(literal 4 binary64)))
(pow.f64 (exp.f64 #s(literal 1/8 binary64)) (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 1/8 binary64)) (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 4 binary64)))
(pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64))
(pow.f64 (*.f64 (exp.f64 #s(literal 1/4 binary64)) (exp.f64 #s(literal 1/4 binary64))) (log.f64 #s(literal 2 binary64)))
(pow.f64 (*.f64 (exp.f64 #s(literal 1/8 binary64)) (exp.f64 #s(literal 1/8 binary64))) (log.f64 #s(literal 2 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/8 binary64))
(pow.f64 (exp.f64 (log.f64 #s(literal 4 binary64))) #s(literal 1/4 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/8 binary64) (log.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 1/8 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/8 binary64)) (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/32 binary64)) #s(literal 4 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 7/32 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 5/16 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 #s(literal 2 binary64) #s(literal 5/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 7/32 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(*.f64 (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/32 binary64)) #s(literal 4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64))))
(exp.f64 (+.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x))) (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64))))))
(exp.f64 (+.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64)))) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 x) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (log.f64 x)))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
(pow.f64 (*.f64 x (sqrt.f64 #s(literal 2 binary64))) #s(literal 1 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64))
(pow.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))))
(pow.f64 (.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (*.f64 x x) #s(literal 16 binary64))))) #s(literal 1/16 binary64))
(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) (.f64 #s(literal 2 binary64) (*.f64 x x))) #s(literal 1/4 binary64))
(pow.f64 (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
(pow.f64 (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))) #s(literal 1/2 binary64))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 x (sqrt.f64 #s(literal 2 binary64))))
(.f64 (.f64 x (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x x)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 3/4 binary64)))
(.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 x #s(literal 3/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x #s(literal 4 binary64))) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x x)) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 (log.f64 x) #s(literal 3 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (*.f64 x #s(literal 4 binary64)))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 4 binary64) (log.f64 x))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x (.f64 x x))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (*.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))))
(exp.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))))
(.f64 x (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))))
(.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))
(.f64 #s(literal 4 binary64) (.f64 (.f64 x x) (.f64 x x)))
(.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 x x))
(.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) x)
(.f64 (.f64 x (.f64 x x)) (.f64 x #s(literal 4 binary64)))
(.f64 (.f64 x (.f64 x x)) (exp.f64 (log.f64 (.f64 x #s(literal 4 binary64)))))
(.f64 (.f64 x #s(literal 4 binary64)) (.f64 x (.f64 x x)))
(.f64 (.f64 (.f64 x x) (.f64 x x)) #s(literal 4 binary64))
(.f64 (.f64 (.f64 x x) (.f64 x x)) (exp.f64 (log.f64 #s(literal 4 binary64))))
(exp.f64 (log.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64))))))
(.f64 x (.f64 x (*.f64 x #s(literal 4 binary64))))
(.f64 (.f64 x x) (*.f64 x #s(literal 4 binary64)))
(.f64 (.f64 x x) (exp.f64 (log.f64 (*.f64 x #s(literal 4 binary64)))))
(.f64 #s(literal 4 binary64) (.f64 x (*.f64 x x)))
(.f64 (.f64 x (*.f64 x #s(literal 4 binary64))) x)
(.f64 (.f64 x (*.f64 x x)) #s(literal 4 binary64))
(.f64 (.f64 x (*.f64 x x)) (exp.f64 (log.f64 #s(literal 4 binary64))))
(.f64 (.f64 x #s(literal 4 binary64)) (*.f64 x x))
(.f64 (exp.f64 (log.f64 #s(literal 4 binary64))) (.f64 x (*.f64 x x)))
(.f64 (exp.f64 (log.f64 (.f64 x #s(literal 4 binary64)))) (*.f64 x x))
(exp.f64 (log.f64 (.f64 x (.f64 x #s(literal 4 binary64)))))
(pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 2 binary64))
(.f64 x (.f64 x #s(literal 4 binary64)))
(.f64 x (exp.f64 (log.f64 (.f64 x #s(literal 4 binary64)))))
(.f64 (.f64 x x) #s(literal 4 binary64))
(.f64 (.f64 x x) (exp.f64 (log.f64 #s(literal 4 binary64))))
(.f64 #s(literal 4 binary64) (.f64 x x))
(.f64 (.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 2 binary64) x))
(.f64 (.f64 x #s(literal 4 binary64)) x)
(.f64 (exp.f64 (log.f64 #s(literal 4 binary64))) (.f64 x x))
(.f64 (exp.f64 (log.f64 (.f64 x #s(literal 4 binary64)))) x)
(exp.f64 (+.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x))) (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64))))))
(exp.f64 (+.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64)))) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 x) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (log.f64 x)))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
(pow.f64 (*.f64 x (sqrt.f64 #s(literal 2 binary64))) #s(literal 1 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64))
(pow.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))))
(pow.f64 (.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (*.f64 x x) #s(literal 16 binary64))))) #s(literal 1/16 binary64))
(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) (.f64 #s(literal 2 binary64) (*.f64 x x))) #s(literal 1/4 binary64))
(pow.f64 (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
(pow.f64 (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))) #s(literal 1/2 binary64))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 x (sqrt.f64 #s(literal 2 binary64))))
(.f64 (.f64 x (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x x)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 3/4 binary64)))
(.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 x #s(literal 3/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x #s(literal 4 binary64))) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x x)) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 (log.f64 x) #s(literal 3 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (*.f64 x #s(literal 4 binary64)))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 4 binary64) (log.f64 x))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x (.f64 x x))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (*.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))))
(exp.f64 (+.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/8 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (.f64 #s(literal 1/2 binary64) (log.f64 (.f64 #s(literal 2 binary64) x))))
(exp.f64 (.f64 (+.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/8 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 2 binary64) (*.f64 x x))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))))) #s(literal 1/16 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 (*.f64 #s(literal 2 binary64) x))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/8 binary64) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)) #s(literal 2 binary64)))
(exp.f64 (+.f64 (.f64 #s(literal 1/4 binary64) (log.f64 x)) (.f64 #s(literal 1/4 binary64) (log.f64 (*.f64 #s(literal 2 binary64) x)))))
(exp.f64 (+.f64 (.f64 #s(literal 1/4 binary64) (log.f64 x)) (.f64 #s(literal 1/8 binary64) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64)))))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 #s(literal 1/4 binary64) (log.f64 (.f64 #s(literal 2 binary64) x)))))
(exp.f64 (+.f64 (.f64 #s(literal 1/4 binary64) (log.f64 (.f64 #s(literal 2 binary64) x))) (*.f64 #s(literal 1/4 binary64) (log.f64 x))))
(exp.f64 (+.f64 (.f64 #s(literal 1/4 binary64) (log.f64 (.f64 #s(literal 2 binary64) x))) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) (.f64 #s(literal 1/4 binary64) (log.f64 x))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)) (.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64))))
(exp.f64 (+.f64 (.f64 #s(literal 1/4 binary64) (log.f64 (.f64 #s(literal 2 binary64) x))) (.f64 #s(literal 1/4 binary64) (log.f64 (.f64 #s(literal 2 binary64) x)))))
(exp.f64 (+.f64 (.f64 #s(literal 1/4 binary64) (log.f64 (.f64 #s(literal 2 binary64) x))) (.f64 #s(literal 1/8 binary64) (log.f64 (.f64 x (*.f64 x #s(literal 4 binary64)))))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) (.f64 #s(literal 1/4 binary64) (log.f64 (*.f64 #s(literal 2 binary64) x)))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) (.f64 #s(literal 1/8 binary64) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64)))))))
(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
(pow.f64 (.f64 x (.f64 x #s(literal 4 binary64))) #s(literal 1/4 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/2 binary64))
(pow.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) #s(literal 1/4 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) #s(literal 1/16 binary64))
(pow.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 1/8 binary64)) (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 16 binary64))) #s(literal 1/8 binary64))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (*.f64 #s(literal 2 binary64) x)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)))
(.f64 (pow.f64 x #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)))
(.f64 (pow.f64 x #s(literal 3/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x #s(literal 4 binary64))) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 x #s(literal 4 binary64)) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 3/8 binary64)))
(.f64 (pow.f64 x #s(literal 3/8 binary64)) (pow.f64 (.f64 x #s(literal 4 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (pow.f64 x #s(literal 1/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 x #s(literal 1/8 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (pow.f64 x #s(literal 3/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (.f64 x #s(literal 4 binary64)) #s(literal 1/8 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 (.f64 x x) (.f64 x x))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 x x) #s(literal 16 binary64)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) #s(literal 1/16 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/16 binary64)) (pow.f64 x #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x (.f64 x x))) #s(literal 1/16 binary64)) (pow.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (*.f64 x x))) #s(literal 1/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (pow.f64 x #s(literal 3/16 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (.f64 x #s(literal 4 binary64)) #s(literal 1/16 binary64)) #s(literal 2 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) #s(literal 1/8 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) (*.f64 x x)) #s(literal 1/8 binary64)))
(exp.f64 (log.f64 (*.f64 #s(literal 2 binary64) x)))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(exp.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 x)))
(exp.f64 (*.f64 (log.f64 (pow.f64 x #s(literal 1/4 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 x)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 2 binary64) (log.f64 x))) #s(literal 2 binary64)))
(exp.f64 (+.f64 (.f64 #s(literal 1/4 binary64) (log.f64 x)) (.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x))) (*.f64 #s(literal 1/4 binary64) (log.f64 x))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x)))))
(fabs.f64 (sqrt.f64 x))
(sqrt.f64 x)
(pow.f64 x #s(literal 1/2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1/4 binary64))
(pow.f64 (sqrt.f64 x) #s(literal 1 binary64))
(pow.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 x #s(literal 1/8 binary64)) #s(literal 4 binary64))
(pow.f64 (.f64 (.f64 x x) (*.f64 x x)) #s(literal 1/8 binary64))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 x))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(*.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 x #s(literal 3/8 binary64)))
(*.f64 (pow.f64 x #s(literal 3/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (pow.f64 x #s(literal 3/4 binary64)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 1/4 binary64))) (sqrt.f64 (pow.f64 x #s(literal 3/4 binary64))))
(*.f64 (sqrt.f64 (pow.f64 x #s(literal 3/4 binary64))) (sqrt.f64 (pow.f64 x #s(literal 1/4 binary64))))
(exp.f64 (+.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 1/4 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))))))
(exp.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x))) (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64))))))
(exp.f64 (+.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (log.f64 x) #s(literal 3 binary64)))) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 x) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (+.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (log.f64 x)))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
(pow.f64 (*.f64 x (sqrt.f64 #s(literal 2 binary64))) #s(literal 1 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64))
(pow.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))))
(pow.f64 (.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64)))) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (*.f64 x x) #s(literal 16 binary64))))) #s(literal 1/16 binary64))
(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) (.f64 #s(literal 2 binary64) (*.f64 x x))) #s(literal 1/4 binary64))
(pow.f64 (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) #s(literal 2 binary64))
(pow.f64 (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))) #s(literal 1/2 binary64))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 x (sqrt.f64 #s(literal 2 binary64))))
(.f64 (.f64 x (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sqrt.f64 x) (pow.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x) (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)))
(.f64 (pow.f64 x #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x x)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 x #s(literal 3/4 binary64)))
(.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 5/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(.f64 (pow.f64 x #s(literal 3/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (*.f64 x #s(literal 4 binary64))) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) #s(literal 16 binary64))) x) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/8 binary64)))
(.f64 (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x x)) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 (.f64 x (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x (.f64 x #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 1/8 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) #s(literal 3/16 binary64)) (pow.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64)))) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (*.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (.f64 x (.f64 x #s(literal 4 binary64))))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 (log.f64 x) #s(literal 3 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (*.f64 x #s(literal 4 binary64)))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 4 binary64) (log.f64 x))) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 x (.f64 x x))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64)))) (.f64 (.f64 x x) (*.f64 x x))) #s(literal 1/8 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))) (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))))
(.f64 (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)) (*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) (sqrt.f64 x)))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 (.f64 (.f64 x x) (.f64 x (*.f64 x #s(literal 4 binary64))))) #s(literal 2 binary64))))
(exp.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/16 binary64)) #s(literal 4 binary64)))
(exp.f64 (*.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/16 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (log.f64 #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64)))
(exp.f64 (*.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 2 binary64)))
(exp.f64 (+.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/16 binary64)) (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 3/16 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 3/16 binary64)) (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/16 binary64))))
(sqrt.f64 #s(literal 2 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) #s(literal 4 binary64))
(pow.f64 (sqrt.f64 #s(literal 2 binary64)) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 #s(literal 4 binary64) #s(literal 1/8 binary64))
(pow.f64 #s(literal 4 binary64) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) #s(literal 4 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) #s(literal 8 binary64))
(pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) #s(literal 8 binary64))
(pow.f64 #s(literal 16 binary64) #s(literal 1/8 binary64))
(pow.f64 #s(literal 16 binary64) #s(literal 1/16 binary64))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 #s(literal 4 binary64)))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 1/8 binary64)) (log.f64 #s(literal 4 binary64)))
(pow.f64 (exp.f64 #s(literal 1/8 binary64)) (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 1/8 binary64)) (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 4 binary64)))
(pow.f64 #s(literal 256 binary64) #s(literal 1/16 binary64))
(pow.f64 (*.f64 (exp.f64 #s(literal 1/4 binary64)) (exp.f64 #s(literal 1/4 binary64))) (log.f64 #s(literal 2 binary64)))
(pow.f64 (*.f64 (exp.f64 #s(literal 1/8 binary64)) (exp.f64 #s(literal 1/8 binary64))) (log.f64 #s(literal 2 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/8 binary64))
(pow.f64 (exp.f64 (log.f64 #s(literal 4 binary64))) #s(literal 1/4 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/8 binary64) (log.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 1/8 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/8 binary64)) (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/32 binary64)) #s(literal 4 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 7/32 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 5/16 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 #s(literal 2 binary64) #s(literal 5/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 3/16 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 7/32 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/32 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 7/16 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/16 binary64)))
(*.f64 (pow.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/32 binary64)) #s(literal 4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (/.f64 (log.f64 #s(literal 2 binary64)) #s(literal 2 binary64))))

simplify274.0ms (2%)

Algorithm

1×	egg-herbie

Rules

2164×	`-lowering-.f32`
2164×	`-lowering-.f64`
2008×	`fma-lowering-fma.f32`
2008×	`fma-lowering-fma.f64`
2000×	`fnmsub-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	720
1	77	720
2	168	720
3	299	720
4	540	720
5	990	720
6	2147	720
7	2871	720
8	3329	720
9	3673	720
10	4189	720
11	5342	720
12	6487	720
13	6513	720
14	6616	720
15	6676	720
16	6712	720
17	6784	720
18	6784	720
19	6800	720
20	7330	720
0	8042	720

Stop Event

1×	iter limit
1×	node limit

Counts

156 → 156

Calls

Call 1

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

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

eval132.0ms (1%)

Compiler: Compiled 14745 to 1295 computations (91.2% saved)

prune78.0ms (0.6%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	1091	2	1093
Fresh	2	0	2
Picked	1	4	5
Done	0	1	1
Total	1094	7	1101

Accuracy

100.0%

Counts

1101 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	31.1%	(pow.f64 (.f64 x (.f64 x (.f64 (.f64 x x) #s(literal 4 binary64)))) #s(literal 1/4 binary64))
▶	99.6%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
✓	99.3%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))))
✓	99.4%	(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
✓	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
▶	99.0%	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64))) x)
✓	52.7%	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))

Compiler

Compiled 60 to 44 computations (26.7% saved)

simplify34.0ms (0.2%)

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))
✓	cost-diff	0	(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)
✓	cost-diff	0	(pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))
✓	cost-diff	0	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
✓	cost-diff	0	(log.f64 #s(literal 16 binary64))
✓	cost-diff	0	(*.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64))
✓	cost-diff	6464	(exp.f64 (*.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64)))
✓	cost-diff	6464	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64))) x)

Rules

32×	`-lowering-.f32`
32×	`-lowering-.f64`
14×	`*-commutative`
8×	`pow-lowering-pow.f64`
8×	`pow-lowering-pow.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	41
1	22	41
2	31	41
3	33	41
0	33	41

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* (exp (* (log 16) 1/8)) x)
(exp (* (log 16) 1/8))
(* (log 16) 1/8)
(log 16)
16
1/8
x
(* (pow 2 3/8) (* (pow 2 1/8) x))
(pow 2 3/8)
2
3/8
(* (pow 2 1/8) x)
(pow 2 1/8)
1/8
x

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

localize83.0ms (0.6%)

Localize:

Found 8 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64))
✓	accuracy	100.0%	(pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64))
✓	accuracy	99.7%	(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x)
✓	accuracy	99.6%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
✓	accuracy	100.0%	(*.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64))
✓	accuracy	100.0%	(log.f64 #s(literal 16 binary64))
✓	accuracy	99.4%	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64))) x)
✓	accuracy	98.4%	(exp.f64 (*.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64)))

Results

46.0ms

256×

valid

Compiler

Compiled 47 to 14 computations (70.2% saved)

Precisions

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

ival-pow: 10.0ms (41.4% of total)

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

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

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

const: 1.0ms (4.1% of total)

backward-pass: 0.0ms (0% of total)

series11.0ms (0.1%)

Counts

8 → 36

Calls

Call 1

Inputs
#<alt (* (exp (* (log 16) 1/8)) x)>
#<alt (exp (* (log 16) 1/8))>
#<alt (* (log 16) 1/8)>
#<alt (log 16)>
#<alt (* (pow 2 3/8) (* (pow 2 1/8) x))>
#<alt (pow 2 3/8)>
#<alt (* (pow 2 1/8) x)>
#<alt (pow 2 1/8)>

Outputs
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 16 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>
#<alt (* (pow 2 1/8) x)>

Calls

9 calls:

Time	Variable		Point	Expression
9.0ms	x	@	0	(* (exp (* (log 16) 1/8)) x)
0.0ms	x	@	0	(* (pow 2 1/8) x)
0.0ms	x	@	-inf	(* (pow 2 1/8) x)
0.0ms	x	@	inf	(* (pow 2 1/8) x)
0.0ms	x	@	inf	(* (exp (* (log 16) 1/8)) x)

rewrite54.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

824×	`prod-diff`
482×	`fma-define`
422×	`*-commutative`
392×	`associate-r`
328×	`associate-l`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	13	30
1	35	30
2	95	30
3	314	24
4	1470	15
0	9209	15

Stop Event

1×	iter limit
1×	node limit

Counts

8 → 35

Calls

Call 1

Inputs
(* (exp (* (log 16) 1/8)) x)
(exp (* (log 16) 1/8))
(* (log 16) 1/8)
(log 16)
(* (pow 2 3/8) (* (pow 2 1/8) x))
(pow 2 3/8)
(* (pow 2 1/8) x)
(pow 2 1/8)

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

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`-lowering-.f32`
8×	`-lowering-.f64`
4×	`*-commutative`
4×	`pow-lowering-pow.f64`
4×	`pow-lowering-pow.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	180
1	10	180
0	10	180

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

Inputs
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 16 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)
(* (pow 2 1/8) x)

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

eval6.0ms (0%)

Compiler: Compiled 531 to 48 computations (91% saved)

prune12.0ms (0.1%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	0	0
Picked	0	2	2
Done	0	5	5
Total	70	8	78

Accuracy

100.0%

Counts

78 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	31.1%	(pow.f64 (.f64 x (.f64 x (.f64 (.f64 x x) #s(literal 4 binary64)))) #s(literal 1/4 binary64))
✓	99.6%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
✓	99.3%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))))
✓	99.4%	(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
✓	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	99.0%	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64))) x)
▶	20.3%	(*.f64 x #s(literal 1 binary64))
✓	52.7%	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))

Compiler

Compiled 64 to 47 computations (26.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	128	(*.f64 x #s(literal 1 binary64))

Rules

4×	`-lowering-.f32`
4×	`-lowering-.f64`
2×	`*-commutative`
2×	`*-rgt-identity`
2×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	6	3
2	7	3
0	7	3

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* x 1)
x
1

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

localize14.0ms (0.1%)

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 x #s(literal 1 binary64))

Results

10.0ms

256×

valid

Compiler

Compiled 7 to 4 computations (42.9% saved)

Precisions

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

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series0.0ms (0%)

Counts

1 → 12

Calls

Call 1

Inputs
#<alt (* x 1)>

Outputs
#<alt x>
#<alt x>
#<alt x>
#<alt x>
#<alt x>
#<alt x>
#<alt x>
#<alt x>
#<alt x>
#<alt x>
#<alt x>
#<alt x>

Calls

3 calls:

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

rewrite9.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

4×	`-lowering-.f32`
4×	`-lowering-.f64`
2×	`*-commutative`
2×	`*-rgt-identity`
2×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	1
1	6	1
2	7	1
0	7	1

Stop Event

1×	iter limit
1×	saturated

Counts

1 → 3

Calls

Call 1

Inputs
(* x 1)

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

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	12
0	1	12

Stop Event

1×	saturated
1×	saturated

Counts

12 → 12

Calls

Call 1

Inputs
x
x
x
x
x
x
x
x
x
x
x
x

Outputs
x
x
x
x
x
x
x
x
x
x
x
x

eval1.0ms (0%)

Compiler: Compiled 20 to 4 computations (80% saved)

prune8.0ms (0.1%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	14	1	15
Fresh	0	0	0
Picked	1	0	1
Done	0	7	7
Total	15	8	23

Accuracy

100.0%

Counts

23 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	31.1%	(pow.f64 (.f64 x (.f64 x (.f64 (.f64 x x) #s(literal 4 binary64)))) #s(literal 1/4 binary64))
✓	99.6%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 3/8 binary64)) (.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/8 binary64)) x))
✓	99.3%	(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (.f64 x (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))))
✓	99.4%	(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
✓	99.4%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓	99.0%	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 16 binary64)) #s(literal 1/8 binary64))) x)
✓	52.7%	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
	20.3%	x

Compiler

Compiled 160 to 92 computations (42.5% saved)

regimes18.0ms (0.1%)

Counts

13 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes13.0ms (0.1%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes14.0ms (0.1%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes2.0ms (0%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

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

Outputs
x

Calls

1 calls:

1.0ms

Results

Accuracy	Segments	Branch
20.3%	1	`x`

Compiler

Compiled 2 to 1 computations (50% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	21
1	19	21

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness7.9s (57.4%)

Rules

3606×	`-lowering-.f32`
3606×	`-lowering-.f64`
1756×	`-lowering-.f32`
1756×	`-lowering-.f64`
1476×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	100
1	67	66
2	199	60
3	803	60
0	4104	60
0	3	1
1	6	1
2	7	1
0	7	1
0	5	14
1	14	13
2	43	12
3	120	12
4	577	12
5	4098	12
0	8513	12
0	13	30
1	35	30
2	95	30
3	314	24
4	1470	15
0	9209	15
0	5	6
1	7	6
2	11	6
3	12	6
0	12	6

Stop Event

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

Compiler

Compiled 89 to 65 computations (27% saved)

preprocess33.0ms (0.2%)

Compiler: Compiled 98 to 70 computations (28.6% saved)

Iter	Nodes	Cost
0	10	20
1	20	19
2	42	19
3	124	19
4	239	19
5	358	19
6	484	19
7	527	19
0	5	6
1	7	6
2	11	6
3	12	6
0	12	6

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	38	148
4	42	148
5	64	148
6	96	148
7	108	148
8	139	148
9	232	148
10	235	148
0	235	148

Iter	Nodes	Cost
0	10	20
1	20	19
2	42	19
3	124	19
4	239	19
5	358	19
6	484	19
7	527	19
0	5	6
1	7	6
2	11	6
3	12	6
0	12	6

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	38	148
4	42	148
5	64	148
6	96	148
7	108	148
8	139	148
9	232	148
10	235	148
0	235	148

analyze0.0ms (0%)

sample824.0ms (6%)

preprocess18.0ms (0.1%)

explain64.0ms (0.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0%)

localize21.0ms (0.2%)

series2.9s (21.1%)

rewrite739.0ms (5.3%)

simplify11.0ms (0.1%)

eval31.0ms (0.2%)

prune27.0ms (0.2%)

simplify10.0ms (0.1%)

localize115.0ms (0.8%)

series125.0ms (0.9%)

rewrite176.0ms (1.3%)

simplify274.0ms (2%)

eval132.0ms (1%)

prune78.0ms (0.6%)

simplify34.0ms (0.2%)

localize83.0ms (0.6%)

series11.0ms (0.1%)

rewrite54.0ms (0.4%)

simplify6.0ms (0%)

eval6.0ms (0%)

prune12.0ms (0.1%)

simplify3.0ms (0%)

localize14.0ms (0.1%)

series0.0ms (0%)

rewrite9.0ms (0.1%)

simplify3.0ms (0%)

eval1.0ms (0%)

prune8.0ms (0.1%)

regimes18.0ms (0.1%)

regimes13.0ms (0.1%)

regimes14.0ms (0.1%)

regimes2.0ms (0%)

simplify8.0ms (0.1%)

soundness7.9s (57.4%)

preprocess33.0ms (0.2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	10	20
1	20	19
2	42	19
3	124	19
4	239	19
5	358	19
6	484	19
7	527	19
0	5	6
1	7	6
2	11	6
3	12	6
0	12	6

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	38	148
4	42	148
5	64	148
6	96	148
7	108	148
8	139	148
9	232	148
10	235	148
0	235	148