Metrics for FastMath repmul

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.1s (10.6%)

Memory

0.8MiB live, 1 428.9MiB allocated

Samples

567.0ms

8 256×

valid

Precisions

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

ival-mult: 264.0ms (96.4% of total)

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

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

Bogosity

explain239.0ms (2.3%)

Memory

-4.3MiB live, 139.3MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`d1`
-	-	`(.f64 (.f64 d1 d1) d1)`
-	-	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`
-	-	`(*.f64 d1 d1)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

208.0ms

512×

valid

Compiler

Compiled 43 to 16 computations (62.8% saved)

Precisions

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

ival-mult: 156.0ms (99.6% of total)

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

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

preprocess52.0ms (0.5%)

Memory

16.4MiB live, 63.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	15
1	25	13
2	115	9
3	233	7
4	304	7
5	305	7
0	4	7
0	7	7
1	14	5
2	55	3
3	186	3
4	277	3
5	278	3
0	278	3

Stop Event

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

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 d1 #s(literal 4 binary64))

Symmetry

(abs d1)

Compiler

Compiled 7 to 4 computations (42.9% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Compiler

Compiled 7 to 4 computations (42.9% saved)

simplify0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

series4.0ms (0%)

Memory

13.1MiB live, 13.1MiB allocated

Counts

4 → 4

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) d1)
(*.f64 d1 d1)
d1

Outputs
(pow d1 4)
(pow d1 3)
(pow d1 2)
d1

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	d1	@	-inf	((* (* (* d1 d1) d1) d1) (* (* d1 d1) d1) (* d1 d1) d1)
1.0ms	d1	@	inf	((* (* (* d1 d1) d1) d1) (* (* d1 d1) d1) (* d1 d1) d1)
1.0ms	d1	@	0	((* (* (* d1 d1) d1) d1) (* (* d1 d1) d1) (* d1 d1) d1)

simplify34.0ms (0.3%)

Memory

-36.3MiB live, 10.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10
2	19	10
3	38	10
4	70	10
5	103	10
6	106	10
0	106	10

Stop Event

1×	iter limit
1×	saturated

Counts

4 → 3

Calls

Call 1

Inputs
(pow d1 4)
(pow d1 3)
(pow d1 2)
d1

Outputs
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 3)
(pow.f64 d1 #s(literal 3 binary64))
(pow d1 2)
(*.f64 d1 d1)
d1

rewrite123.0ms (1.2%)

Memory

26.1MiB live, 175.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	16
0	7	4
1	18	4
2	78	4
3	292	4
4	790	4
0	4774	4

Stop Event

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

Counts

4 → 484

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) d1)
(*.f64 d1 d1)
d1

Outputs
(*.f64 d1 d1)
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 3/2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 3 binary64))) (log.f64 d1))
(pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 2 binary64))) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 1/4 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 3/8 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 d1 #s(literal 7/8 binary64))
(pow.f64 d1 #s(literal 13/4 binary64))
(pow.f64 d1 #s(literal 7/4 binary64))
(pow.f64 d1 #s(literal 7/2 binary64))
(pow.f64 d1 #s(literal 9/8 binary64))
(pow.f64 d1 #s(literal 9/4 binary64))
(pow.f64 d1 #s(literal 8 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5/8 binary64))
(pow.f64 d1 #s(literal 5/4 binary64))
(pow.f64 d1 #s(literal 1/16 binary64))
(pow.f64 d1 #s(literal 1/8 binary64))
(pow.f64 d1 #s(literal 6 binary64))
(pow.f64 d1 #s(literal 3/32 binary64))
(pow.f64 d1 #s(literal 3/16 binary64))
(pow.f64 d1 #s(literal 5/2 binary64))
(pow.f64 d1 #s(literal 1/4 binary64))
(pow.f64 d1 #s(literal 3/8 binary64))
(pow.f64 d1 #s(literal 3/4 binary64))
(pow.f64 d1 #s(literal 1/2 binary64))
(pow.f64 d1 #s(literal 3/2 binary64))
(pow.f64 d1 #s(literal 1 binary64))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) d1) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) d1) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (*.f64 d1 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64))) (-.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))
(/.f64 (-.f64 (.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1)) (.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))) d1)
(/.f64 (+.f64 (pow.f64 (neg.f64 (cosh.f64 (log.f64 d1))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (neg.f64 (log.f64 d1))) #s(literal 3 binary64))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1)))))))
(/.f64 (+.f64 (pow.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) #s(literal 3 binary64)) (pow.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) #s(literal 3 binary64))) (fma.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1) (-.f64 (.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1)) (.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1)))))
(/.f64 (fma.f64 #s(literal 2 binary64) (sinh.f64 (log.f64 d1)) (+.f64 (/.f64 #s(literal 1 binary64) d1) d1)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (cosh.f64 (log.f64 d1)) (-.f64 d1 (/.f64 #s(literal 1 binary64) d1))) #s(literal 2 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (neg.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (.f64 (/.f64 #s(literal 1 binary64) d1) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (/.f64 #s(literal 1 binary64) d1)))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (.f64 (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (fma.f64 (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (+.f64 (/.f64 #s(literal 1 binary64) d1) d1))) #s(literal 4 binary64))
(/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1 binary64) d1) d1) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)))) #s(literal 4 binary64))
(/.f64 (fabs.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (fabs.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (hypot.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3/2 binary64)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3/2 binary64))) (sqrt.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (neg.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1)))))
(/.f64 #s(literal 1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) d1) (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (fabs.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) d1))
(/.f64 d1 (/.f64 #s(literal 1 binary64) d1))
(neg.f64 d1)
(fma.f64 (.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 d1 #s(literal 2 binary64)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (fabs.f64 (sinh.f64 (log.f64 d1))) (fabs.f64 (sinh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) d1 (.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) d1 (.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (sinh.f64 (neg.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (neg.f64 (cosh.f64 (log.f64 d1))) d1 (*.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(fma.f64 (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) #s(literal 2 binary64) (cosh.f64 (log.f64 d1)))
(fma.f64 #s(literal -2 binary64) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (neg.f64 (cosh.f64 (log.f64 d1))))
(fma.f64 (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)) (cosh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(fma.f64 (sinh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (sinh.f64 (log.f64 d1)) d1 (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (cosh.f64 (log.f64 d1)) d1 (*.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 #s(literal 4 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) d1) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 #s(literal 2 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (sinh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (neg.f64 (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (neg.f64 (cosh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (cosh.f64 (log.f64 d1)))
(fma.f64 d1 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (neg.f64 (cosh.f64 (log.f64 d1))) (*.f64 d1 (sinh.f64 (neg.f64 (log.f64 d1)))))
(fma.f64 d1 (sinh.f64 (log.f64 d1)) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) d1))
(sqrt.f64 d1)
(-.f64 (/.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) d1)) (/.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) d1)))
(-.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(-.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(-.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (neg.f64 (log.f64 d1))))
(fabs.f64 d1)
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 3 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3/8 binary64)))
(exp.f64 (log.f64 d1))
(+.f64 (+.f64 (sinh.f64 (log.f64 d1)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64))) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)))
(+.f64 (.f64 (neg.f64 (cosh.f64 (log.f64 d1))) d1) (.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(+.f64 (.f64 d1 (neg.f64 (cosh.f64 (log.f64 d1)))) (.f64 d1 (sinh.f64 (neg.f64 (log.f64 d1)))))
(+.f64 (neg.f64 (neg.f64 (cosh.f64 (log.f64 d1)))) (neg.f64 (sinh.f64 (neg.f64 (log.f64 d1)))))
(+.f64 (/.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))) (/.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(+.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(+.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1))
(+.f64 (sinh.f64 (neg.f64 (log.f64 d1))) (neg.f64 (cosh.f64 (log.f64 d1))))
(+.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))))
(+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(+.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(+.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))
d1
(*.f64 d1 d1)
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 3/2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 3 binary64))) (log.f64 d1))
(pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 2 binary64))) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 1/4 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 3/8 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 d1 #s(literal 7/8 binary64))
(pow.f64 d1 #s(literal 13/4 binary64))
(pow.f64 d1 #s(literal 7/4 binary64))
(pow.f64 d1 #s(literal 7/2 binary64))
(pow.f64 d1 #s(literal 9/8 binary64))
(pow.f64 d1 #s(literal 9/4 binary64))
(pow.f64 d1 #s(literal 8 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5/8 binary64))
(pow.f64 d1 #s(literal 5/4 binary64))
(pow.f64 d1 #s(literal 1/16 binary64))
(pow.f64 d1 #s(literal 1/8 binary64))
(pow.f64 d1 #s(literal 6 binary64))
(pow.f64 d1 #s(literal 3/32 binary64))
(pow.f64 d1 #s(literal 3/16 binary64))
(pow.f64 d1 #s(literal 5/2 binary64))
(pow.f64 d1 #s(literal 1/4 binary64))
(pow.f64 d1 #s(literal 3/8 binary64))
(pow.f64 d1 #s(literal 3/4 binary64))
(pow.f64 d1 #s(literal 1/2 binary64))
(pow.f64 d1 #s(literal 3/2 binary64))
(pow.f64 d1 #s(literal 1 binary64))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) d1) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) d1) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (*.f64 d1 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64))) (-.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))
(/.f64 (-.f64 (.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1)) (.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))) d1)
(/.f64 (+.f64 (pow.f64 (neg.f64 (cosh.f64 (log.f64 d1))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (neg.f64 (log.f64 d1))) #s(literal 3 binary64))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1)))))))
(/.f64 (+.f64 (pow.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) #s(literal 3 binary64)) (pow.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) #s(literal 3 binary64))) (fma.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1) (-.f64 (.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1)) (.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1)))))
(/.f64 (fma.f64 #s(literal 2 binary64) (sinh.f64 (log.f64 d1)) (+.f64 (/.f64 #s(literal 1 binary64) d1) d1)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (cosh.f64 (log.f64 d1)) (-.f64 d1 (/.f64 #s(literal 1 binary64) d1))) #s(literal 2 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (neg.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (.f64 (/.f64 #s(literal 1 binary64) d1) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (/.f64 #s(literal 1 binary64) d1)))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (.f64 (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (fma.f64 (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (+.f64 (/.f64 #s(literal 1 binary64) d1) d1))) #s(literal 4 binary64))
(/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1 binary64) d1) d1) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)))) #s(literal 4 binary64))
(/.f64 (fabs.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (fabs.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (hypot.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3/2 binary64)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3/2 binary64))) (sqrt.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (neg.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1)))))
(/.f64 #s(literal 1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) d1) (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (fabs.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) d1))
(/.f64 d1 (/.f64 #s(literal 1 binary64) d1))
(neg.f64 d1)
(fma.f64 (.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 d1 #s(literal 2 binary64)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (fabs.f64 (sinh.f64 (log.f64 d1))) (fabs.f64 (sinh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) d1 (.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) d1 (.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (sinh.f64 (neg.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (neg.f64 (cosh.f64 (log.f64 d1))) d1 (*.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(fma.f64 (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) #s(literal 2 binary64) (cosh.f64 (log.f64 d1)))
(fma.f64 #s(literal -2 binary64) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (neg.f64 (cosh.f64 (log.f64 d1))))
(fma.f64 (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)) (cosh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(fma.f64 (sinh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (sinh.f64 (log.f64 d1)) d1 (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (cosh.f64 (log.f64 d1)) d1 (*.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 #s(literal 4 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) d1) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 #s(literal 2 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (sinh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (neg.f64 (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (neg.f64 (cosh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (cosh.f64 (log.f64 d1)))
(fma.f64 d1 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (neg.f64 (cosh.f64 (log.f64 d1))) (*.f64 d1 (sinh.f64 (neg.f64 (log.f64 d1)))))
(fma.f64 d1 (sinh.f64 (log.f64 d1)) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) d1))
(sqrt.f64 d1)
(-.f64 (/.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) d1)) (/.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) d1)))
(-.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(-.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(-.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (neg.f64 (log.f64 d1))))
(fabs.f64 d1)
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 3 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3/8 binary64)))
(exp.f64 (log.f64 d1))
(+.f64 (+.f64 (sinh.f64 (log.f64 d1)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64))) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)))
(+.f64 (.f64 (neg.f64 (cosh.f64 (log.f64 d1))) d1) (.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(+.f64 (.f64 d1 (neg.f64 (cosh.f64 (log.f64 d1)))) (.f64 d1 (sinh.f64 (neg.f64 (log.f64 d1)))))
(+.f64 (neg.f64 (neg.f64 (cosh.f64 (log.f64 d1)))) (neg.f64 (sinh.f64 (neg.f64 (log.f64 d1)))))
(+.f64 (/.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))) (/.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(+.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(+.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1))
(+.f64 (sinh.f64 (neg.f64 (log.f64 d1))) (neg.f64 (cosh.f64 (log.f64 d1))))
(+.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))))
(+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(+.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(+.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))
d1
(*.f64 d1 d1)
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 3/2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 3 binary64))) (log.f64 d1))
(pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 2 binary64))) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 1/4 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 3/8 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 d1 #s(literal 7/8 binary64))
(pow.f64 d1 #s(literal 13/4 binary64))
(pow.f64 d1 #s(literal 7/4 binary64))
(pow.f64 d1 #s(literal 7/2 binary64))
(pow.f64 d1 #s(literal 9/8 binary64))
(pow.f64 d1 #s(literal 9/4 binary64))
(pow.f64 d1 #s(literal 8 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5/8 binary64))
(pow.f64 d1 #s(literal 5/4 binary64))
(pow.f64 d1 #s(literal 1/16 binary64))
(pow.f64 d1 #s(literal 1/8 binary64))
(pow.f64 d1 #s(literal 6 binary64))
(pow.f64 d1 #s(literal 3/32 binary64))
(pow.f64 d1 #s(literal 3/16 binary64))
(pow.f64 d1 #s(literal 5/2 binary64))
(pow.f64 d1 #s(literal 1/4 binary64))
(pow.f64 d1 #s(literal 3/8 binary64))
(pow.f64 d1 #s(literal 3/4 binary64))
(pow.f64 d1 #s(literal 1/2 binary64))
(pow.f64 d1 #s(literal 3/2 binary64))
(pow.f64 d1 #s(literal 1 binary64))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) d1) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) d1) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (*.f64 d1 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64))) (-.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))
(/.f64 (-.f64 (.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1)) (.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))) d1)
(/.f64 (+.f64 (pow.f64 (neg.f64 (cosh.f64 (log.f64 d1))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (neg.f64 (log.f64 d1))) #s(literal 3 binary64))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1)))))))
(/.f64 (+.f64 (pow.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) #s(literal 3 binary64)) (pow.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) #s(literal 3 binary64))) (fma.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1) (-.f64 (.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1)) (.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1)))))
(/.f64 (fma.f64 #s(literal 2 binary64) (sinh.f64 (log.f64 d1)) (+.f64 (/.f64 #s(literal 1 binary64) d1) d1)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (cosh.f64 (log.f64 d1)) (-.f64 d1 (/.f64 #s(literal 1 binary64) d1))) #s(literal 2 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (neg.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (.f64 (/.f64 #s(literal 1 binary64) d1) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (/.f64 #s(literal 1 binary64) d1)))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (.f64 (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (fma.f64 (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (+.f64 (/.f64 #s(literal 1 binary64) d1) d1))) #s(literal 4 binary64))
(/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1 binary64) d1) d1) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)))) #s(literal 4 binary64))
(/.f64 (fabs.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (fabs.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (hypot.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3/2 binary64)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3/2 binary64))) (sqrt.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (neg.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1)))))
(/.f64 #s(literal 1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) d1) (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (fabs.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) d1))
(/.f64 d1 (/.f64 #s(literal 1 binary64) d1))
(neg.f64 d1)
(fma.f64 (.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 d1 #s(literal 2 binary64)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (fabs.f64 (sinh.f64 (log.f64 d1))) (fabs.f64 (sinh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) d1 (.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) d1 (.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (sinh.f64 (neg.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (neg.f64 (cosh.f64 (log.f64 d1))) d1 (*.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(fma.f64 (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) #s(literal 2 binary64) (cosh.f64 (log.f64 d1)))
(fma.f64 #s(literal -2 binary64) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (neg.f64 (cosh.f64 (log.f64 d1))))
(fma.f64 (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)) (cosh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(fma.f64 (sinh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (sinh.f64 (log.f64 d1)) d1 (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (cosh.f64 (log.f64 d1)) d1 (*.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 #s(literal 4 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) d1) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 #s(literal 2 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (sinh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (neg.f64 (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (neg.f64 (cosh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (cosh.f64 (log.f64 d1)))
(fma.f64 d1 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (neg.f64 (cosh.f64 (log.f64 d1))) (*.f64 d1 (sinh.f64 (neg.f64 (log.f64 d1)))))
(fma.f64 d1 (sinh.f64 (log.f64 d1)) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) d1))
(sqrt.f64 d1)
(-.f64 (/.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) d1)) (/.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) d1)))
(-.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(-.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(-.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (neg.f64 (log.f64 d1))))
(fabs.f64 d1)
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 3 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3/8 binary64)))
(exp.f64 (log.f64 d1))
(+.f64 (+.f64 (sinh.f64 (log.f64 d1)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64))) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)))
(+.f64 (.f64 (neg.f64 (cosh.f64 (log.f64 d1))) d1) (.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(+.f64 (.f64 d1 (neg.f64 (cosh.f64 (log.f64 d1)))) (.f64 d1 (sinh.f64 (neg.f64 (log.f64 d1)))))
(+.f64 (neg.f64 (neg.f64 (cosh.f64 (log.f64 d1)))) (neg.f64 (sinh.f64 (neg.f64 (log.f64 d1)))))
(+.f64 (/.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))) (/.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(+.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(+.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1))
(+.f64 (sinh.f64 (neg.f64 (log.f64 d1))) (neg.f64 (cosh.f64 (log.f64 d1))))
(+.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))))
(+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(+.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(+.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))
d1
(*.f64 d1 d1)
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 3/2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 3 binary64))) (log.f64 d1))
(pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 2 binary64))) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 1/4 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 3/8 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 d1 #s(literal 7/8 binary64))
(pow.f64 d1 #s(literal 13/4 binary64))
(pow.f64 d1 #s(literal 7/4 binary64))
(pow.f64 d1 #s(literal 7/2 binary64))
(pow.f64 d1 #s(literal 9/8 binary64))
(pow.f64 d1 #s(literal 9/4 binary64))
(pow.f64 d1 #s(literal 8 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5/8 binary64))
(pow.f64 d1 #s(literal 5/4 binary64))
(pow.f64 d1 #s(literal 1/16 binary64))
(pow.f64 d1 #s(literal 1/8 binary64))
(pow.f64 d1 #s(literal 6 binary64))
(pow.f64 d1 #s(literal 3/32 binary64))
(pow.f64 d1 #s(literal 3/16 binary64))
(pow.f64 d1 #s(literal 5/2 binary64))
(pow.f64 d1 #s(literal 1/4 binary64))
(pow.f64 d1 #s(literal 3/8 binary64))
(pow.f64 d1 #s(literal 3/4 binary64))
(pow.f64 d1 #s(literal 1/2 binary64))
(pow.f64 d1 #s(literal 3/2 binary64))
(pow.f64 d1 #s(literal 1 binary64))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) d1) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) d1) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (*.f64 d1 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64))) (-.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))
(/.f64 (-.f64 (.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1)) (.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))) d1)
(/.f64 (+.f64 (pow.f64 (neg.f64 (cosh.f64 (log.f64 d1))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (neg.f64 (log.f64 d1))) #s(literal 3 binary64))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1)))))))
(/.f64 (+.f64 (pow.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) #s(literal 3 binary64)) (pow.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) #s(literal 3 binary64))) (fma.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1) (-.f64 (.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1)) (.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1)))))
(/.f64 (fma.f64 #s(literal 2 binary64) (sinh.f64 (log.f64 d1)) (+.f64 (/.f64 #s(literal 1 binary64) d1) d1)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (cosh.f64 (log.f64 d1)) (-.f64 d1 (/.f64 #s(literal 1 binary64) d1))) #s(literal 2 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) d1))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (neg.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 (.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (.f64 (/.f64 #s(literal 1 binary64) d1) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (/.f64 #s(literal 1 binary64) d1)))
(/.f64 (.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (.f64 (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (fma.f64 (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (+.f64 (/.f64 #s(literal 1 binary64) d1) d1))) #s(literal 4 binary64))
(/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1 binary64) d1) d1) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)))) #s(literal 4 binary64))
(/.f64 (fabs.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)))) (fabs.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (hypot.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3/2 binary64)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3/2 binary64))) (sqrt.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (neg.f64 (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64))) (-.f64 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))))
(/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1)))))
(/.f64 #s(literal 1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) d1) (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (fabs.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) d1)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) d1))
(/.f64 d1 (/.f64 #s(literal 1 binary64) d1))
(neg.f64 d1)
(fma.f64 (.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 d1 #s(literal 2 binary64)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (fabs.f64 (sinh.f64 (log.f64 d1))) (fabs.f64 (sinh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) d1 (.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) d1 (.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (sinh.f64 (neg.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (neg.f64 (cosh.f64 (log.f64 d1))) d1 (*.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(fma.f64 (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) #s(literal 2 binary64) (cosh.f64 (log.f64 d1)))
(fma.f64 #s(literal -2 binary64) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (neg.f64 (cosh.f64 (log.f64 d1))))
(fma.f64 (-.f64 d1 (/.f64 #s(literal 1 binary64) d1)) (cosh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(fma.f64 (sinh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (sinh.f64 (log.f64 d1)) d1 (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 (cosh.f64 (log.f64 d1)) d1 (*.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 #s(literal 4 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) d1) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 #s(literal 2 binary64) (.f64 (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (sinh.f64 (log.f64 d1))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (neg.f64 (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))) (neg.f64 (cosh.f64 (log.f64 d1))))
(fma.f64 #s(literal 2 binary64) (*.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (cosh.f64 (log.f64 d1)))
(fma.f64 d1 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (neg.f64 (cosh.f64 (log.f64 d1))) (*.f64 d1 (sinh.f64 (neg.f64 (log.f64 d1)))))
(fma.f64 d1 (sinh.f64 (log.f64 d1)) (*.f64 (cosh.f64 (log.f64 d1)) d1))
(fma.f64 d1 (cosh.f64 (log.f64 d1)) (*.f64 (sinh.f64 (log.f64 d1)) d1))
(sqrt.f64 d1)
(-.f64 (/.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) d1)) (/.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) d1)))
(-.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(-.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(-.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (neg.f64 (log.f64 d1))))
(fabs.f64 d1)
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 3 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3/8 binary64)))
(exp.f64 (log.f64 d1))
(+.f64 (+.f64 (sinh.f64 (log.f64 d1)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64))) (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)))
(+.f64 (.f64 (neg.f64 (cosh.f64 (log.f64 d1))) d1) (.f64 (sinh.f64 (neg.f64 (log.f64 d1))) d1))
(+.f64 (.f64 d1 (neg.f64 (cosh.f64 (log.f64 d1)))) (.f64 d1 (sinh.f64 (neg.f64 (log.f64 d1)))))
(+.f64 (neg.f64 (neg.f64 (cosh.f64 (log.f64 d1)))) (neg.f64 (sinh.f64 (neg.f64 (log.f64 d1)))))
(+.f64 (/.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))) (/.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64)) (-.f64 (cosh.f64 (log.f64 d1)) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))))))
(+.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(+.f64 (.f64 (sinh.f64 (log.f64 d1)) d1) (.f64 (cosh.f64 (log.f64 d1)) d1))
(+.f64 (sinh.f64 (neg.f64 (log.f64 d1))) (neg.f64 (cosh.f64 (log.f64 d1))))
(+.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))))
(+.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (sinh.f64 (log.f64 d1))))
(+.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(+.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))
d1

eval33.0ms (0.3%)

Memory: -6.7MiB live, 40.5MiB allocated
Compiler: Compiled 1 371 to 262 computations (80.9% saved)

prune3.0ms (0%)

Memory

12.2MiB live, 12.2MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	121	3	124
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	121	4	125

Accuracy

100.0%

Counts

125 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 #s(literal 4 binary64))
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
▶	47.6%	(*.f64 d1 d1)
▶	5.7%	d1

Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

series28.0ms (0.3%)

Memory

-40.2MiB live, 6.8MiB allocated

Counts

4 → 3

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(pow.f64 d1 #s(literal 4 binary64))
#s(literal 4 binary64)

Outputs
d1
(pow d1 2)
(pow d1 4)

Calls

3 calls:

Time	Variable		Point	Expression
26.0ms	d1	@	-inf	(d1 (* d1 d1) (pow d1 4) 4)
1.0ms	d1	@	inf	(d1 (* d1 d1) (pow d1 4) 4)
0.0ms	d1	@	0	(d1 (* d1 d1) (pow d1 4) 4)

simplify4.0ms (0%)

Memory

9.7MiB live, 9.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	8	7
2	14	7
3	27	7
4	46	7
5	58	7
0	58	7

Stop Event

1×	iter limit
1×	saturated

Counts

3 → 2

Calls

Call 1

Inputs
d1
(pow d1 2)
(pow d1 4)

Outputs
d1
(pow d1 2)
(*.f64 d1 d1)
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))

rewrite111.0ms (1.1%)

Memory

-10.4MiB live, 85.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	8
0	6	8
1	17	8
2	72	8
3	291	8
0	872	8

Stop Event

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

Counts

4 → 88

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(pow.f64 d1 #s(literal 4 binary64))
#s(literal 4 binary64)

Outputs
(*.f64 (neg.f64 (sqrt.f64 d1)) (neg.f64 (sqrt.f64 d1)))
(*.f64 (neg.f64 (sqrt.f64 d1)) (sqrt.f64 d1))
(*.f64 (pow.f64 (sqrt.f64 d1) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 d1) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 d1) (neg.f64 (sqrt.f64 d1)))
(*.f64 (sqrt.f64 d1) (sqrt.f64 d1))
(pow.f64 (sqrt.f64 d1) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1/4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1/2 binary64))
(pow.f64 d1 #s(literal 1 binary64))
(/.f64 (-.f64 (.f64 (cosh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (.f64 (sinh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))) (-.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64))) (fma.f64 (cosh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)) (-.f64 (.f64 (sinh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1))) (.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1))))))
(neg.f64 d1)
(sqrt.f64 (*.f64 d1 d1))
(fabs.f64 d1)
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)) #s(literal 1/2 binary64)))
(exp.f64 (log.f64 d1))
(+.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (neg.f64 (sinh.f64 (log.f64 d1))))
(+.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(+.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))
d1
(.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 d1))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 3 binary64))) (sqrt.f64 d1))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d1))
(*.f64 (sqrt.f64 d1) (sqrt.f64 (pow.f64 d1 #s(literal 3 binary64))))
(*.f64 d1 d1)
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (/.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(/.f64 (-.f64 (.f64 (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)))) (.f64 (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))))) (-.f64 (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) #s(literal 3 binary64))) (fma.f64 (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (-.f64 (.f64 (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)))) (.f64 (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)))))))
(/.f64 (hypot.f64 (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 3/2 binary64)) (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) #s(literal 3/2 binary64))) (sqrt.f64 (fma.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (-.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1)))) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 d1 #s(literal 4 binary64)))))
(neg.f64 (*.f64 d1 d1))
(fma.f64 (cosh.f64 (log.f64 d1)) d1 (*.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 #s(literal 2 binary64) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))))
(fma.f64 d1 (cosh.f64 (log.f64 d1)) (*.f64 d1 (sinh.f64 (log.f64 d1))))
(sqrt.f64 (pow.f64 d1 #s(literal 4 binary64)))
(fabs.f64 (*.f64 d1 d1))
(exp.f64 (/.f64 (*.f64 (log.f64 d1) #s(literal 4 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)) #s(literal 1 binary64)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(+.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(+.f64 (.f64 d1 (cosh.f64 (log.f64 d1))) (.f64 d1 (sinh.f64 (log.f64 d1))))
(+.f64 (neg.f64 (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)))) (neg.f64 (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)))))
(+.f64 (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))))
(+.f64 (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))))
(.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (sqrt.f64 d1)) (sqrt.f64 d1))
(*.f64 (pow.f64 (sqrt.f64 d1) #s(literal 4 binary64)) (pow.f64 (sqrt.f64 d1) #s(literal 4 binary64)))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 3 binary64))))
(*.f64 (pow.f64 d1 #s(literal 3 binary64)) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 4 binary64))
(/.f64 (-.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) #s(literal 2 binary64)) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 2 binary64))) (-.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1)))))
(/.f64 (fma.f64 #s(literal 2 binary64) (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (cosh.f64 (*.f64 #s(literal -4 binary64) (log.f64 d1))))) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) (.f64 #s(literal 2 binary64) (sinh.f64 (*.f64 (log.f64 d1) #s(literal 4 binary64))))) #s(literal 2 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (pow.f64 d1 #s(literal 4 binary64)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (-.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1)))) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 2 binary64)))))
(/.f64 (fma.f64 (.f64 #s(literal 2 binary64) (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64)))) #s(literal 2 binary64) (.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 (*.f64 #s(literal -4 binary64) (log.f64 d1)))))) #s(literal 4 binary64))
(/.f64 (fma.f64 (.f64 #s(literal 2 binary64) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1)))) #s(literal 2 binary64) (.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) (sinh.f64 (*.f64 (log.f64 d1) #s(literal 4 binary64)))))) #s(literal 4 binary64))
(/.f64 (fabs.f64 (+.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 3 binary64)))) (fabs.f64 (fma.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (-.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1)))) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 3 binary64))) (+.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) #s(literal 2 binary64)) (-.f64 (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 2 binary64)) (.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (cosh.f64 (*.f64 #s(literal -4 binary64) (log.f64 d1)))))))
(/.f64 (+.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) #s(literal 3 binary64)) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 3 binary64))) (fma.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (-.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1)))) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (fabs.f64 (/.f64 #s(literal 1 binary64) (pow.f64 d1 #s(literal 4 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 d1 #s(literal 4 binary64))))
(neg.f64 (pow.f64 d1 #s(literal 4 binary64)))
(fma.f64 (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (.f64 d1 d1) (.f64 (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (*.f64 d1 d1)))
(fma.f64 (cosh.f64 (log.f64 d1)) (pow.f64 d1 #s(literal 3 binary64)) (*.f64 (sinh.f64 (log.f64 d1)) (pow.f64 d1 #s(literal 3 binary64))))
(fma.f64 (pow.f64 d1 #s(literal 3 binary64)) (cosh.f64 (log.f64 d1)) (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 d1 d1) (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (.f64 (.f64 d1 d1) (sinh.f64 (*.f64 #s(literal 2 binary64) (log.f64 d1)))))
(sqrt.f64 (*.f64 (pow.f64 d1 #s(literal 4 binary64)) (pow.f64 d1 #s(literal 4 binary64))))
(-.f64 (/.f64 (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 d1 #s(literal 4 binary64)))) (/.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 d1 #s(literal 4 binary64)))))
(fabs.f64 (pow.f64 d1 #s(literal 4 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 4 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 4 binary64)))
(+.f64 (.f64 (cosh.f64 (log.f64 d1)) (pow.f64 d1 #s(literal 3 binary64))) (.f64 (sinh.f64 (log.f64 d1)) (pow.f64 d1 #s(literal 3 binary64))))
(+.f64 (.f64 (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (.f64 d1 d1)) (.f64 (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1))) (.f64 d1 d1)))
(+.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (cosh.f64 (log.f64 d1))) (.f64 (pow.f64 d1 #s(literal 3 binary64)) (sinh.f64 (log.f64 d1))))
(+.f64 (.f64 (.f64 d1 d1) (cosh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)))) (.f64 (.f64 d1 d1) (sinh.f64 (.f64 #s(literal 2 binary64) (log.f64 d1)))))
(+.f64 (/.f64 (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 3 binary64)) (fma.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (-.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1)))) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 2 binary64)))) (/.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) #s(literal 3 binary64)) (fma.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (-.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1)))) (pow.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) #s(literal 2 binary64)))))
(+.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))) (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))))
(+.f64 (cosh.f64 (.f64 #s(literal -4 binary64) (log.f64 d1))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 4 binary64))))
#s(literal 4 binary64)

eval22.0ms (0.2%)

Memory: 12.4MiB live, 59.4MiB allocated
Compiler: Compiled 1 670 to 259 computations (84.5% saved)

prune3.0ms (0%)

Memory

16.5MiB live, 16.5MiB allocated

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	149	5	154

Accuracy

100.0%

Counts

154 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 4 binary64))
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
▶	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	47.6%	(*.f64 d1 d1)
✓	5.7%	d1

Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

series2.0ms (0%)

Memory

7.9MiB live, 7.9MiB allocated

Counts

3 → 3

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
d1

Outputs
(pow d1 4)
(pow d1 2)
d1

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	inf	((* (* d1 d1) (* d1 d1)) (* d1 d1) d1)
1.0ms	d1	@	-inf	((* (* d1 d1) (* d1 d1)) (* d1 d1) d1)
0.0ms	d1	@	0	((* (* d1 d1) (* d1 d1)) (* d1 d1) d1)

simplify3.0ms (0%)

Memory

11.0MiB live, 11.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	8	7
2	14	7
3	27	7
4	46	7
5	58	7
0	58	7

Stop Event

1×	iter limit
1×	saturated

Counts

3 → 2

Calls

Call 1

Inputs
(pow d1 4)
(pow d1 2)
d1

Outputs
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 2)
(*.f64 d1 d1)
d1

rewrite92.0ms (0.9%)

Memory

-9.9MiB live, 174.4MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	3	11
0	5	9
1	20	7
2	92	7
3	386	7
0	1168	7

Stop Event

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

Counts

3 → 79

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
d1

Outputs
(.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (sqrt.f64 d1)) (sqrt.f64 d1))
(.f64 (.f64 (*.f64 d1 d1) (pow.f64 d1 #s(literal 3/2 binary64))) (sqrt.f64 d1))
(.f64 (.f64 (*.f64 d1 d1) (sqrt.f64 d1)) (pow.f64 d1 #s(literal 3/2 binary64)))
(.f64 (.f64 d1 (pow.f64 d1 #s(literal 3/2 binary64))) (pow.f64 d1 #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 d1) #s(literal 4 binary64)) (pow.f64 (sqrt.f64 d1) #s(literal 4 binary64)))
(.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) d1))
(.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (.f64 (sqrt.f64 d1) (*.f64 d1 d1)))
(.f64 (sqrt.f64 d1) (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (*.f64 d1 d1)))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 3 binary64))))
(*.f64 (pow.f64 d1 #s(literal 3 binary64)) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 d1 #s(literal 8 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 4 binary64))
(/.f64 (-.f64 (.f64 (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)))) (.f64 (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))))) (-.f64 (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) #s(literal 3 binary64))) (fma.f64 (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (-.f64 (.f64 (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)))) (.f64 (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)))))))
(neg.f64 (pow.f64 d1 #s(literal 4 binary64)))
(fma.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (.f64 d1 d1) (.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (*.f64 d1 d1)))
(fma.f64 #s(literal 2 binary64) (.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))) (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))))
(fma.f64 (.f64 d1 d1) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (.f64 (.f64 d1 d1) (sinh.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))))
(sqrt.f64 (pow.f64 d1 #s(literal 8 binary64)))
(fabs.f64 (pow.f64 d1 #s(literal 4 binary64)))
(exp.f64 (fma.f64 #s(literal 3 binary64) (log.f64 d1) (log.f64 d1)))
(exp.f64 (+.f64 (log.f64 d1) (*.f64 #s(literal 3 binary64) (log.f64 d1))))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64)))
(exp.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(+.f64 (.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (.f64 d1 d1)) (.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (.f64 d1 d1)))
(+.f64 (.f64 (.f64 d1 d1) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))) (.f64 (.f64 d1 d1) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(+.f64 (neg.f64 (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)))) (neg.f64 (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)))))
(+.f64 (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))))
(+.f64 (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 3/2 binary64))) (sqrt.f64 d1))
(*.f64 (neg.f64 (sqrt.f64 d1)) (pow.f64 d1 #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 d1) #s(literal 1 binary64)))
(*.f64 (pow.f64 (sqrt.f64 d1) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (neg.f64 (sqrt.f64 d1)))
(*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (sqrt.f64 d1))
(*.f64 (sqrt.f64 d1) (neg.f64 (pow.f64 d1 #s(literal 3/2 binary64))))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 3/2 binary64)))
(*.f64 d1 d1)
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 d1 #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(/.f64 (-.f64 (.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))) (.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))) (-.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 3 binary64))) (fma.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (-.f64 (.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))) (.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))))))
(neg.f64 (*.f64 d1 d1))
(fma.f64 #s(literal 2 binary64) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))
(sqrt.f64 (pow.f64 d1 #s(literal 4 binary64)))
(fabs.f64 (*.f64 d1 d1))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(+.f64 (neg.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))) (neg.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(+.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))
(+.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))
(*.f64 (neg.f64 (sqrt.f64 d1)) (neg.f64 (sqrt.f64 d1)))
(*.f64 (neg.f64 (sqrt.f64 d1)) (sqrt.f64 d1))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 3/2 binary64))) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 (sqrt.f64 (sqrt.f64 d1)) (sqrt.f64 (pow.f64 d1 #s(literal 3/2 binary64))))
(*.f64 (pow.f64 (sqrt.f64 d1) #s(literal 1/2 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 d1) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 d1) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 d1) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 d1) (neg.f64 (sqrt.f64 d1)))
(*.f64 (sqrt.f64 d1) (sqrt.f64 d1))
(pow.f64 (sqrt.f64 d1) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1/4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1/2 binary64))
(pow.f64 d1 #s(literal 1 binary64))
(neg.f64 d1)
(sqrt.f64 (*.f64 d1 d1))
(fabs.f64 d1)
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (log.f64 d1))
(+.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))
d1

eval30.0ms (0.3%)

Memory: -3.6MiB live, 86.9MiB allocated
Compiler: Compiled 2 027 to 322 computations (84.1% saved)

prune4.0ms (0%)

Memory

20.1MiB live, 20.1MiB allocated

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	166	1	167
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	166	6	172

Accuracy

100.0%

Counts

172 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 4 binary64))
▶	99.7%	(.f64 (.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d1)) d1) (.f64 d1 d1))
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	47.6%	(*.f64 d1 d1)
✓	5.7%	d1

Compiler

Compiled 32 to 19 computations (40.6% saved)

simplify0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

series27.0ms (0.3%)

Memory

-25.9MiB live, 27.6MiB allocated

Counts

6 → 8

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d1)) d1) (.f64 d1 d1))
(.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d1)) d1)
(*.f64 (sqrt.f64 d1) (sqrt.f64 d1))
(sqrt.f64 d1)
d1
(*.f64 d1 d1)

Outputs
(pow d1 4)
(pow d1 2)
d1
(sqrt d1)
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 2) (pow (sqrt -1) 2)))
(* -1 (* d1 (pow (sqrt -1) 2)))
(* -1 (* (sqrt d1) (pow (sqrt -1) 2)))

Calls

3 calls:

Time

Variable

Point

Expression

25.0ms

d1

-inf

((* (* (* (sqrt d1) (sqrt d1)) d1) (* d1 d1)) (* (* (sqrt d1) (sqrt d1)) d1) (* (sqrt d1) (sqrt d1)) (sqrt d1) d1 (* d1 d1))

1.0ms

d1

inf

((* (* (* (sqrt d1) (sqrt d1)) d1) (* d1 d1)) (* (* (sqrt d1) (sqrt d1)) d1) (* (sqrt d1) (sqrt d1)) (sqrt d1) d1 (* d1 d1))

1.0ms

d1

((* (* (* (sqrt d1) (sqrt d1)) d1) (* d1 d1)) (* (* (sqrt d1) (sqrt d1)) d1) (* (sqrt d1) (sqrt d1)) (sqrt d1) d1 (* d1 d1))

simplify14.0ms (0.1%)

Memory

-9.4MiB live, 38.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	18
1	41	18
2	128	18
3	283	18
4	671	18
5	812	18
6	814	18
7	814	18
0	814	18

Stop Event

1×	iter limit
1×	saturated

Counts

8 → 7

Calls

Call 1

Inputs
(pow d1 4)
(pow d1 2)
d1
(sqrt d1)
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 2) (pow (sqrt -1) 2)))
(* -1 (* d1 (pow (sqrt -1) 2)))
(* -1 (* (sqrt d1) (pow (sqrt -1) 2)))

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

rewrite129.0ms (1.2%)

Memory

43.1MiB live, 321.7MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	29
0	11	17
1	35	13
2	172	13
3	820	13
4	4911	13
0	8473	13

Stop Event

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

Counts

6 → 617

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d1)) d1) (.f64 d1 d1))
(.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d1)) d1)
(*.f64 (sqrt.f64 d1) (sqrt.f64 d1))
(sqrt.f64 d1)
d1
(*.f64 d1 d1)

Outputs
(.f64 (.f64 (pow.f64 d1 #s(literal 15/4 binary64)) (pow.f64 d1 #s(literal 1/16 binary64))) (pow.f64 d1 #s(literal 3/16 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 15/4 binary64)) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 7/2 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(.f64 (.f64 (pow.f64 d1 #s(literal 7/2 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (pow.f64 d1 #s(literal 1/4 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 7/2 binary64)) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 7/2 binary64)) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 5/2 binary64)) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 9/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (fabs.f64 (pow.f64 d1 #s(literal 15/4 binary64))) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 15/4 binary64)) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 13/4 binary64)) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 8 binary64)) (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 8 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 8 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 8 binary64)) (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 8 binary64)))
(.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 8 binary64)) (.f64 d1 d1))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)) (pow.f64 d1 #s(literal 3 binary64)))
(*.f64 (pow.f64 d1 #s(literal 11/4 binary64)) (pow.f64 d1 #s(literal 5/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 15/4 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 15/4 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 13/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 7/2 binary64))))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 15/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 5/4 binary64)) (pow.f64 d1 #s(literal 11/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (pow.f64 d1 #s(literal 9/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 9/4 binary64)) (pow.f64 d1 #s(literal 7/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (.f64 (pow.f64 d1 #s(literal 3/16 binary64)) (pow.f64 d1 #s(literal 15/4 binary64))))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 9/8 binary64)) (pow.f64 d1 #s(literal 5/2 binary64))))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 7/2 binary64))))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 15/4 binary64))))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 d1 #s(literal 7/2 binary64))))
(*.f64 (pow.f64 d1 #s(literal 7/2 binary64)) (sqrt.f64 d1))
(*.f64 (pow.f64 d1 #s(literal 5/2 binary64)) (pow.f64 d1 #s(literal 3/2 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 13/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 7/2 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (fabs.f64 (pow.f64 d1 #s(literal 15/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 15/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 15/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 5/2 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3 binary64)) d1)
(.f64 (.f64 d1 d1) (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 8 binary64)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 7/2 binary64)))
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64)))
(pow.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 8 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 8 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 1/4 binary64)) #s(literal 16 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 8 binary64))
(pow.f64 d1 #s(literal 4 binary64))
(neg.f64 (pow.f64 d1 #s(literal 4 binary64)))
(fma.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 7/2 binary64)) (*.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 7/2 binary64))))
(fma.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (.f64 d1 d1) (.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (*.f64 d1 d1)))
(fma.f64 (cosh.f64 (log.f64 d1)) (pow.f64 d1 #s(literal 3 binary64)) (*.f64 (sinh.f64 (log.f64 d1)) (pow.f64 d1 #s(literal 3 binary64))))
(fma.f64 (pow.f64 d1 #s(literal 7/2 binary64)) (cosh.f64 (log.f64 (sqrt.f64 d1))) (*.f64 (pow.f64 d1 #s(literal 7/2 binary64)) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(fma.f64 (pow.f64 d1 #s(literal 3 binary64)) (cosh.f64 (log.f64 d1)) (*.f64 (pow.f64 d1 #s(literal 3 binary64)) (sinh.f64 (log.f64 d1))))
(fma.f64 (.f64 d1 d1) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (.f64 (.f64 d1 d1) (sinh.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))))
(sqrt.f64 (pow.f64 d1 #s(literal 8 binary64)))
(fabs.f64 (pow.f64 d1 #s(literal 4 binary64)))
(exp.f64 (.f64 (fma.f64 #s(literal 4 binary64) (log.f64 d1) (.f64 #s(literal 4 binary64) (log.f64 d1))) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 16 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 1/8 binary64)) #s(literal 16 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/8 binary64)) #s(literal 8 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64)) #s(literal 4 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 8 binary64))) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 16 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64)))
(exp.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(+.f64 (cosh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64))) (sinh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64))))
(+.f64 (.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 7/2 binary64))) (.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 7/2 binary64))))
(+.f64 (.f64 (cosh.f64 (log.f64 d1)) (pow.f64 d1 #s(literal 3 binary64))) (.f64 (sinh.f64 (log.f64 d1)) (pow.f64 d1 #s(literal 3 binary64))))
(+.f64 (.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (.f64 d1 d1)) (.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (.f64 d1 d1)))
(+.f64 (.f64 (pow.f64 d1 #s(literal 7/2 binary64)) (cosh.f64 (log.f64 (sqrt.f64 d1)))) (.f64 (pow.f64 d1 #s(literal 7/2 binary64)) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(+.f64 (.f64 (pow.f64 d1 #s(literal 3 binary64)) (cosh.f64 (log.f64 d1))) (.f64 (pow.f64 d1 #s(literal 3 binary64)) (sinh.f64 (log.f64 d1))))
(+.f64 (.f64 (.f64 d1 d1) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))) (.f64 (.f64 d1 d1) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(+.f64 (cosh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))) (sinh.f64 (.f64 #s(literal 4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 1 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (pow.f64 d1 #s(literal 1/16 binary64))) (pow.f64 d1 #s(literal 3/16 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 9/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (pow.f64 d1 #s(literal 1/4 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 13/4 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 15/4 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 5/4 binary64)) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 7/4 binary64)) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 4 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)) (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)) d1)
(.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 3/2 binary64))))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 7/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 5/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (.f64 (pow.f64 d1 #s(literal 3/16 binary64)) (pow.f64 d1 #s(literal 7/4 binary64))))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 9/8 binary64)) (sqrt.f64 d1)))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 7/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (sqrt.f64 (pow.f64 d1 #s(literal 15/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 5/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 3/2 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 7/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 7/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (sqrt.f64 d1))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 3/2 binary64)))
(*.f64 d1 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)))
(*.f64 d1 d1)
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 d1 #s(literal 1/4 binary64)) #s(literal 8 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 4 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 2 binary64)) (-.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 2 binary64)) (.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))))))
(/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))))
(/.f64 d1 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal -1/4 binary64) (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(/.f64 d1 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal -1 binary64) (log.f64 (sqrt.f64 d1)))))
(/.f64 d1 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (neg.f64 (log.f64 d1)) #s(literal 1/2 binary64))))
(/.f64 d1 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal -1/2 binary64) (log.f64 d1))))
(neg.f64 (*.f64 d1 d1))
(fma.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 3/2 binary64)) (*.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 3/2 binary64))))
(fma.f64 (cosh.f64 (log.f64 d1)) d1 (*.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (cosh.f64 (log.f64 (sqrt.f64 d1))) (*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(fma.f64 #s(literal 2 binary64) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))
(fma.f64 d1 (cosh.f64 (log.f64 d1)) (*.f64 d1 (sinh.f64 (log.f64 d1))))
(sqrt.f64 (pow.f64 d1 #s(literal 4 binary64)))
(fabs.f64 (*.f64 d1 d1))
(exp.f64 (.f64 (fma.f64 #s(literal 4 binary64) (log.f64 d1) (.f64 #s(literal 4 binary64) (log.f64 d1))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 8 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 1/8 binary64)) #s(literal 8 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/8 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 8 binary64))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 8 binary64)))
(exp.f64 (/.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64))) (sinh.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64))))
(+.f64 (cosh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))) (sinh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))))
(+.f64 (.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 3/2 binary64))) (.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 3/2 binary64))))
(+.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(+.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (cosh.f64 (log.f64 (sqrt.f64 d1)))) (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(+.f64 (.f64 d1 (cosh.f64 (log.f64 d1))) (.f64 d1 (sinh.f64 (log.f64 d1))))
(+.f64 (neg.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))) (sinh.f64 (neg.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(+.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))
(+.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 1 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 3/8 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/8 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/8 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 3/8 binary64) (log.f64 d1))))
(*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 5/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 7/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal 7/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 3/2 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 3/2 binary64) (log.f64 d1))))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 1/16 binary64))) (pow.f64 d1 #s(literal 3/16 binary64)))
(.f64 (.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (neg.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 7/4 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 1/16 binary64)) #s(literal 4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/16 binary64)) #s(literal 4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 15/4 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 1/16 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 13/4 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 3/16 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 5/2 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 7/2 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 1/8 binary64)))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 5/4 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 3/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (.f64 (pow.f64 d1 #s(literal 3/16 binary64)) (pow.f64 d1 #s(literal 3/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (pow.f64 (pow.f64 d1 #s(literal 15/4 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (sqrt.f64 d1)))
(*.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 (pow.f64 d1 #s(literal 5/2 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (sqrt.f64 d1)))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 3/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (sqrt.f64 (pow.f64 d1 #s(literal 7/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 (pow.f64 d1 #s(literal 7/2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (sqrt.f64 d1) (sqrt.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1/4 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 2 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1/2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/8 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 1/4 binary64)) (.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 4 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 4 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 1 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 1/2 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 8 binary64)) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 d1 #s(literal 1/4 binary64)) #s(literal 4 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1/4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 1 binary64))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1))))))
(/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 (log.f64 d1))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal -1/4 binary64) (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal -1 binary64) (log.f64 (sqrt.f64 d1)))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 (neg.f64 (log.f64 d1)) #s(literal 1/2 binary64))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal -1/2 binary64) (log.f64 d1))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal -1 binary64) (log.f64 d1))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 (neg.f64 (log.f64 (sqrt.f64 d1))) #s(literal 2 binary64))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal -2 binary64) (log.f64 (sqrt.f64 d1)))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal -1/2 binary64) (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(neg.f64 d1)
(fma.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (sqrt.f64 d1) (*.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (sqrt.f64 d1)))
(fma.f64 #s(literal 2 binary64) (*.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (cosh.f64 (log.f64 (sqrt.f64 d1)))) (cosh.f64 (log.f64 d1)))
(fma.f64 (sqrt.f64 d1) (cosh.f64 (log.f64 (sqrt.f64 d1))) (*.f64 (sqrt.f64 d1) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(sqrt.f64 (*.f64 d1 d1))
(fabs.f64 d1)
(exp.f64 (.f64 (fma.f64 #s(literal 4 binary64) (log.f64 d1) (.f64 #s(literal 4 binary64) (log.f64 d1))) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 1/8 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/8 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 1 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 (sqrt.f64 d1))))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 1/2 binary64))) (.f64 (log.f64 d1) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 8 binary64))) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64)))
(exp.f64 (log.f64 d1))
(+.f64 (cosh.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64))) (sinh.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64))))
(+.f64 (cosh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64))) (sinh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64))))
(+.f64 (.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (sqrt.f64 d1)) (.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (sqrt.f64 d1)))
(+.f64 (.f64 (sqrt.f64 d1) (cosh.f64 (log.f64 (sqrt.f64 d1)))) (.f64 (sqrt.f64 d1) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(+.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))))
(+.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(+.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))
d1
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 5/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (*.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 7/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (*.f64 #s(literal 7/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 3/2 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (sqrt.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (/.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (/.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 3/8 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 1/8 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 1/8 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 3/8 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 1 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))))
(*.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal 3/2 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(*.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 d1)) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 d1)))
(*.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))))
(.f64 (.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 1/16 binary64))) (pow.f64 d1 #s(literal 3/16 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 1/16 binary64))) (pow.f64 d1 #s(literal 3/16 binary64)))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(*.f64 (neg.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (neg.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))))
(*.f64 (neg.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(*.f64 (neg.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (fabs.f64 (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(*.f64 (sqrt.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 15/4 binary64)) #s(literal 1/8 binary64)) (pow.f64 (pow.f64 d1 #s(literal 1/4 binary64)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 13/4 binary64)) #s(literal 1/8 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/4 binary64)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 5/2 binary64)) #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 3/16 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 7/2 binary64)) #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 1/16 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 5/4 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 3/16 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 7/4 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 1/16 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 1/4 binary64)) #s(literal 1/8 binary64)) (pow.f64 (pow.f64 d1 #s(literal 15/4 binary64)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (neg.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/16 binary64)) (pow.f64 (pow.f64 d1 #s(literal 5/2 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (.f64 (pow.f64 d1 #s(literal 3/16 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))))
(.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (.f64 (pow.f64 d1 #s(literal 3/16 binary64)) (pow.f64 d1 #s(literal 1/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (pow.f64 (pow.f64 d1 #s(literal 7/2 binary64)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (pow.f64 (pow.f64 d1 #s(literal 7/4 binary64)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/8 binary64))))
(*.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 d1 #s(literal 1/8 binary64)))
(*.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (neg.f64 (pow.f64 d1 #s(literal 3/8 binary64))))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))))
(*.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (fabs.f64 (pow.f64 d1 #s(literal 3/8 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (neg.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 1/4 binary64)) (.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 4 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 4 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 1 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (sqrt.f64 d1))) #s(literal 4 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 1/2 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1/8 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1/4 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 1/4 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 2 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 1/2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 d1)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 8 binary64)) #s(literal 1/16 binary64))
(pow.f64 (pow.f64 d1 #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1/8 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1/4 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 1/2 binary64))
(/.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 d1)) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (*.f64 #s(literal -1 binary64) (log.f64 d1))))
(/.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 d1)) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (*.f64 (neg.f64 (log.f64 (sqrt.f64 d1))) #s(literal 2 binary64))))
(/.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 d1)) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (*.f64 #s(literal -2 binary64) (log.f64 (sqrt.f64 d1)))))
(/.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 d1)) (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (.f64 #s(literal -1/2 binary64) (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(/.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal -1/4 binary64) (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(/.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal -1 binary64) (log.f64 (sqrt.f64 d1)))))
(/.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 (neg.f64 (log.f64 d1)) #s(literal 1/2 binary64))))
(/.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal -1/2 binary64) (log.f64 d1))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) #s(literal 3 binary64))) (+.f64 (pow.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) #s(literal 2 binary64)) (-.f64 (pow.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) #s(literal 2 binary64)) (*.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (sinh.f64 (log.f64 (sqrt.f64 d1)))))))
(/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 (log.f64 (sqrt.f64 d1)))))
(neg.f64 (sqrt.f64 d1))
(fma.f64 #s(literal 2 binary64) (.f64 (sinh.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (cosh.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)))) (cosh.f64 (log.f64 (sqrt.f64 d1))))
(sqrt.f64 d1)
(fabs.f64 (sqrt.f64 d1))
(exp.f64 (.f64 (fma.f64 #s(literal 4 binary64) (log.f64 d1) (.f64 #s(literal 4 binary64) (log.f64 d1))) #s(literal 1/16 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1/16 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 1/8 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/8 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (.f64 (log.f64 d1) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 1 binary64))) (log.f64 (sqrt.f64 d1))))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 1/2 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 8 binary64))) #s(literal 1/16 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/8 binary64)))
(exp.f64 (log.f64 (sqrt.f64 d1)))
(+.f64 (cosh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/8 binary64))) (sinh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/8 binary64))))
(+.f64 (neg.f64 (cosh.f64 (log.f64 (sqrt.f64 d1)))) (sinh.f64 (neg.f64 (log.f64 (sqrt.f64 d1)))))
(+.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (cosh.f64 (log.f64 (sqrt.f64 d1))))
(+.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (sinh.f64 (log.f64 (sqrt.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 1 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 3/8 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/8 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/8 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 3/8 binary64) (log.f64 d1))))
(*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 5/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 7/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal 7/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 3/2 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal 3/2 binary64) (log.f64 d1))))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 1/16 binary64))) (pow.f64 d1 #s(literal 3/16 binary64)))
(.f64 (.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (neg.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 7/4 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 1/16 binary64)) #s(literal 4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/16 binary64)) #s(literal 4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 15/4 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 1/16 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 13/4 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 3/16 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 5/2 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 7/2 binary64)) #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 1/8 binary64)))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 5/4 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 3/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (.f64 (pow.f64 d1 #s(literal 3/16 binary64)) (pow.f64 d1 #s(literal 3/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (pow.f64 (pow.f64 d1 #s(literal 15/4 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (sqrt.f64 d1)))
(*.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 (pow.f64 d1 #s(literal 5/2 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (sqrt.f64 d1)))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 3/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (sqrt.f64 (pow.f64 d1 #s(literal 7/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 (pow.f64 d1 #s(literal 7/2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (sqrt.f64 d1) (sqrt.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1/4 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 2 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 1/2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/8 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 1/4 binary64)) (.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 4 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 4 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 1 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) #s(literal 1/2 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (sqrt.f64 d1))) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 8 binary64)) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 d1 #s(literal 1/4 binary64)) #s(literal 4 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1/4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 1 binary64))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 3 binary64))) (+.f64 (pow.f64 (cosh.f64 (log.f64 d1)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sinh.f64 (log.f64 d1)) #s(literal 2 binary64)) (*.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1))))))
(/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 (log.f64 d1))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1 binary64)) (.f64 #s(literal -1/4 binary64) (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal -1 binary64) (log.f64 (sqrt.f64 d1)))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 (neg.f64 (log.f64 d1)) #s(literal 1/2 binary64))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal -1/2 binary64) (log.f64 d1))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal -1 binary64) (log.f64 d1))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 (neg.f64 (log.f64 (sqrt.f64 d1))) #s(literal 2 binary64))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (*.f64 #s(literal -2 binary64) (log.f64 (sqrt.f64 d1)))))
(/.f64 (sqrt.f64 d1) (pow.f64 (exp.f64 #s(literal 1/2 binary64)) (.f64 #s(literal -1/2 binary64) (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(neg.f64 d1)
(fma.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (sqrt.f64 d1) (*.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (sqrt.f64 d1)))
(fma.f64 #s(literal 2 binary64) (*.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (cosh.f64 (log.f64 (sqrt.f64 d1)))) (cosh.f64 (log.f64 d1)))
(fma.f64 (sqrt.f64 d1) (cosh.f64 (log.f64 (sqrt.f64 d1))) (*.f64 (sqrt.f64 d1) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(sqrt.f64 (*.f64 d1 d1))
(fabs.f64 d1)
(exp.f64 (.f64 (fma.f64 #s(literal 4 binary64) (log.f64 d1) (.f64 #s(literal 4 binary64) (log.f64 d1))) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 1/8 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/8 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 1 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 (sqrt.f64 d1))))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 1/2 binary64))) (.f64 (log.f64 d1) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 8 binary64))) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64)))
(exp.f64 (log.f64 d1))
(+.f64 (cosh.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64))) (sinh.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64))))
(+.f64 (cosh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64))) (sinh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64))))
(+.f64 (.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (sqrt.f64 d1)) (.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (sqrt.f64 d1)))
(+.f64 (.f64 (sqrt.f64 d1) (cosh.f64 (log.f64 (sqrt.f64 d1)))) (.f64 (sqrt.f64 d1) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(+.f64 (neg.f64 (cosh.f64 (log.f64 d1))) (sinh.f64 (neg.f64 (log.f64 d1))))
(+.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1)))
(+.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))
d1
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 3/4 binary64) (log.f64 d1)) #s(literal 1 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal 1/4 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (log.f64 d1))))
(.f64 (.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (pow.f64 d1 #s(literal 1/16 binary64))) (pow.f64 d1 #s(literal 3/16 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 9/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64)))) (pow.f64 d1 #s(literal 1/4 binary64)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 1/8 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 13/4 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 15/4 binary64))) (pow.f64 d1 #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 5/4 binary64)) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 7/4 binary64)) #s(literal 1 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 1/8 binary64)) #s(literal 4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 4 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)) (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)) d1)
(.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 3/2 binary64))))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 7/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 5/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (pow.f64 d1 #s(literal 1/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/16 binary64)) (.f64 (pow.f64 d1 #s(literal 3/16 binary64)) (pow.f64 d1 #s(literal 7/4 binary64))))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 9/8 binary64)) (sqrt.f64 d1)))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (pow.f64 d1 #s(literal 7/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/8 binary64)) (sqrt.f64 (pow.f64 d1 #s(literal 15/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 5/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) (pow.f64 d1 #s(literal 3/2 binary64))))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 7/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 1/4 binary64)) (pow.f64 d1 #s(literal 7/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (sqrt.f64 d1))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 #s(literal 3/2 binary64)))
(*.f64 d1 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)))
(*.f64 d1 d1)
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (log.f64 (sqrt.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 1/4 binary64))) #s(literal 4 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 d1 #s(literal 1/4 binary64)) #s(literal 8 binary64))
(pow.f64 (pow.f64 d1 #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 4 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 2 binary64)) (-.f64 (pow.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) #s(literal 2 binary64)) (.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))))))
(/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))))
(/.f64 d1 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 #s(literal -1/4 binary64) (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(/.f64 d1 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal -1 binary64) (log.f64 (sqrt.f64 d1)))))
(/.f64 d1 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (neg.f64 (log.f64 d1)) #s(literal 1/2 binary64))))
(/.f64 d1 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal -1/2 binary64) (log.f64 d1))))
(neg.f64 (*.f64 d1 d1))
(fma.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 3/2 binary64)) (*.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 3/2 binary64))))
(fma.f64 (cosh.f64 (log.f64 d1)) d1 (*.f64 (sinh.f64 (log.f64 d1)) d1))
(fma.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (cosh.f64 (log.f64 (sqrt.f64 d1))) (*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(fma.f64 #s(literal 2 binary64) (.f64 (sinh.f64 (log.f64 d1)) (cosh.f64 (log.f64 d1))) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))
(fma.f64 d1 (cosh.f64 (log.f64 d1)) (*.f64 d1 (sinh.f64 (log.f64 d1))))
(sqrt.f64 (pow.f64 d1 #s(literal 4 binary64)))
(fabs.f64 (*.f64 d1 d1))
(exp.f64 (.f64 (fma.f64 #s(literal 4 binary64) (log.f64 d1) (.f64 #s(literal 4 binary64) (log.f64 d1))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 8 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 1/8 binary64)) #s(literal 8 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/8 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 4 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/4 binary64)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 8 binary64))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 d1)) #s(literal 8 binary64)))
(exp.f64 (/.f64 (*.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64))) (sinh.f64 (/.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 2 binary64))))
(+.f64 (cosh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))) (sinh.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 d1)) #s(literal 1/2 binary64))))
(+.f64 (.f64 (cosh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 3/2 binary64))) (.f64 (sinh.f64 (log.f64 (sqrt.f64 d1))) (pow.f64 d1 #s(literal 3/2 binary64))))
(+.f64 (.f64 (cosh.f64 (log.f64 d1)) d1) (.f64 (sinh.f64 (log.f64 d1)) d1))
(+.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (cosh.f64 (log.f64 (sqrt.f64 d1)))) (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (sinh.f64 (log.f64 (sqrt.f64 d1)))))
(+.f64 (.f64 d1 (cosh.f64 (log.f64 d1))) (.f64 d1 (sinh.f64 (log.f64 d1))))
(+.f64 (neg.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))) (sinh.f64 (neg.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)))))
(+.f64 (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))
(+.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))

eval66.0ms (0.6%)

Memory: -27.6MiB live, 161.6MiB allocated
Compiler: Compiled 8 819 to 1 885 computations (78.6% saved)

prune42.0ms (0.4%)

Memory

-2.1MiB live, 50.2MiB allocated

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	543	0	543
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	543	6	549

Accuracy

100.0%

Counts

549 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 4 binary64))
✓	99.7%	(.f64 (.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d1)) d1) (.f64 d1 d1))
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	47.6%	(*.f64 d1 d1)
✓	5.7%	d1

Compiler

Compiled 64 to 30 computations (53.1% saved)

regimes5.0ms (0%)

Memory

11.1MiB live, 11.1MiB allocated

Counts

6 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d1)) d1) (.f64 d1 d1))
(pow.f64 d1 #s(literal 4 binary64))

Outputs
(pow.f64 d1 #s(literal 4 binary64))

Calls

2 calls:

2.0ms	d1
2.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Accuracy	Segments	Branch
100.0%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`
100.0%	1	`d1`

Compiler

Compiled 8 to 5 computations (37.5% saved)

regimes4.0ms (0%)

Memory

9.9MiB live, 9.9MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d1)) d1) (.f64 d1 d1))

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Calls

2 calls:

2.0ms	d1
2.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Accuracy	Segments	Branch
99.9%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`
99.9%	1	`d1`

Compiler

Compiled 8 to 5 computations (37.5% saved)

regimes3.0ms (0%)

Memory

8.9MiB live, 8.9MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Outputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Calls

2 calls:

2.0ms	d1
1.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Accuracy	Segments	Branch
99.8%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`
99.8%	1	`d1`

Compiler

Compiled 8 to 5 computations (37.5% saved)

regimes5.0ms (0%)

Memory

-40.5MiB live, 7.3MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)

Outputs
(*.f64 d1 d1)

Calls

2 calls:

4.0ms	d1
1.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Accuracy	Segments	Branch
47.6%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`
47.6%	1	`d1`

Compiler

Compiled 8 to 5 computations (37.5% saved)

regimes2.0ms (0%)

Memory

5.5MiB live, 5.5MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
d1

Outputs
d1

Calls

2 calls:

1.0ms	d1
1.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Accuracy	Segments	Branch
5.7%	1	`d1`
5.7%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify9.0ms (0.1%)

Memory

17.8MiB live, 17.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	21

Stop Event

1×

saturated

Calls

Call 1

Inputs
(pow.f64 d1 #s(literal 4 binary64))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
d1

Outputs
(pow.f64 d1 #s(literal 4 binary64))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
d1

soundness8.3s (78.4%)

Memory

-9.7MiB live, 219.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	8
0	6	8
1	17	8
2	72	8
3	291	8
0	872	8
0	4	16
0	7	4
1	18	4
2	78	4
3	292	4
4	790	4
0	4774	4

Stop Event

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

Compiler

Compiled 51 to 24 computations (52.9% saved)

preprocess68.0ms (0.6%)

Memory: 13.2MiB live, 110.4MiB allocated
Remove: (abs d1)
Compiler: Compiled 74 to 40 computations (45.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	6	15
1	25	13
2	115	9
3	233	7
4	304	7
5	305	7
0	4	7
0	7	7
1	14	5
2	55	3
3	186	3
4	277	3
5	278	3
0	278	3

Iter	Nodes	Cost
0	6	15
1	25	13
2	115	9
3	233	7
4	304	7
5	305	7
0	4	7
0	7	7
1	14	5
2	55	3
3	186	3
4	277	3
5	278	3
0	278	3

start0.0ms (0%)

analyze0.0ms (0%)

sample1.1s (10.6%)

explain239.0ms (2.3%)

preprocess52.0ms (0.5%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

series4.0ms (0%)

simplify34.0ms (0.3%)

rewrite123.0ms (1.2%)

eval33.0ms (0.3%)

prune3.0ms (0%)

simplify0.0ms (0%)

series28.0ms (0.3%)

simplify4.0ms (0%)

rewrite111.0ms (1.1%)

eval22.0ms (0.2%)

prune3.0ms (0%)

simplify0.0ms (0%)

series2.0ms (0%)

simplify3.0ms (0%)

rewrite92.0ms (0.9%)

eval30.0ms (0.3%)

prune4.0ms (0%)

simplify0.0ms (0%)

series27.0ms (0.3%)

simplify14.0ms (0.1%)

rewrite129.0ms (1.2%)

eval66.0ms (0.6%)

prune42.0ms (0.4%)

regimes5.0ms (0%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes5.0ms (0%)

regimes2.0ms (0%)

simplify9.0ms (0.1%)

soundness8.3s (78.4%)

preprocess68.0ms (0.6%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	6	15
1	25	13
2	115	9
3	233	7
4	304	7
5	305	7
0	4	7
0	7	7
1	14	5
2	55	3
3	186	3
4	277	3
5	278	3
0	278	3