Metrics for math.log10 on complex, imaginary part

analyze2.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
50%	50%	50%	0.1%	0%	0%	0%	2
75%	74.9%	25%	0.1%	0%	0%	0%	3
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	4
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	5
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	6
98.4%	98.3%	1.6%	0.1%	0%	0%	0%	7
99.2%	99.1%	0.8%	0.1%	0%	0%	0%	8
99.6%	99.5%	0.4%	0.1%	0%	0%	0%	9
99.8%	99.7%	0.2%	0.1%	0%	0%	0%	10
99.9%	99.8%	0.1%	0.1%	0%	0%	0%	11
100%	99.9%	0%	0.1%	0%	0%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

Precisions

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

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

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

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

const: 0.0ms (0% of total)

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

sample812.0ms (39.3%)

Results

610.0ms

8256×

valid

Precisions

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

ival-atan2: 125.0ms (41% of total)

ival-log: 102.0ms (33.4% of total)

ival-div: 63.0ms (20.7% of total)

const: 12.0ms (3.9% of total)

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

Bogosity

preprocess18.0ms (0.9%)

Algorithm

2×	egg-herbie

Rules

104×	`sum3-define`
68×	`fma-define`
54×	`sub-neg`
52×	`fmsub-define`
32×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	42
1	33	42
2	47	42
3	67	42
4	101	42
5	136	42
6	167	42
7	203	42
8	269	42
9	273	42
10	275	42
0	6	6
0	6	6

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(/ (atan2 im re) (log 10))

Outputs
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

Call 2

Inputs
(/ (atan2 im re) (log 10))
(/ (atan2 im (neg re)) (log 10))
(/ (atan2 (neg im) re) (log 10))
(neg (/ (atan2 im (neg re)) (log 10)))
(neg (/ (atan2 (neg im) re) (log 10)))
(/ (atan2 re im) (log 10))

Outputs
(/ (atan2 im re) (log 10))
(/ (atan2 im (neg re)) (log 10))
(/ (atan2 (neg im) re) (log 10))
(neg (/ (atan2 im (neg re)) (log 10)))
(/ (atan2 im (neg re)) (neg (log 10)))
(neg (/ (atan2 (neg im) re) (log 10)))
(/ (atan2 (neg im) re) (neg (log 10)))
(/ (atan2 re im) (log 10))

explain70.0ms (3.4%)

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`im`
-	-	`#s(literal 10 binary64)`
-	-	`(atan2.f64 im re)`
-	-	`re`
-	-	`(log.f64 #s(literal 10 binary64))`
-	-	`(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))`

Results

50.0ms

512×

valid

Compiler

Compiled 42 to 20 computations (52.4% saved)

Precisions

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

ival-log: 6.0ms (35.4% of total)

ival-atan2: 5.0ms (29.5% of total)

ival-div: 5.0ms (29.5% of total)

const: 1.0ms (5.9% of total)

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

eval0.0ms (0%)

Compiler: Compiled 8 to 6 computations (25% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.6%	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

Compiler

Compiled 8 to 6 computations (25% saved)

simplify10.0ms (0.5%)

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Program
✓	cost-diff	(log.f64 #s(literal 10 binary64))
✓	cost-diff	(atan2.f64 im re)
✓	cost-diff	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

Rules

2×	`atan2-lowering-atan2.f32`
2×	`log-lowering-log.f64`
2×	`/-lowering-/.f32`
2×	`/-lowering-/.f64`
2×	`atan2-lowering-atan2.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	14
0	6	14

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(/ (atan2 im re) (log 10))
(atan2 im re)
im
re
(log 10)
10

Outputs
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(atan2 im re)
(atan2.f64 im re)
im
re
(log 10)
(log.f64 #s(literal 10 binary64))
10
#s(literal 10 binary64)

localize31.0ms (1.5%)

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(atan2.f64 im re)
✓	accuracy	100.0%	(log.f64 #s(literal 10 binary64))
✓	accuracy	98.6%	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

Results

23.0ms

256×

valid

Compiler

Compiled 17 to 7 computations (58.8% saved)

Precisions

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

ival-atan2: 3.0ms (34.7% of total)

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

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

const: 0.0ms (0% of total)

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

series35.0ms (1.7%)

Counts

3 → 48

Calls

Call 1

Inputs
#<alt (/ (atan2 im re) (log 10))>
#<alt (atan2 im re)>
#<alt (log 10)>

Outputs
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>

Calls

12 calls:

Time	Variable		Point	Expression
27.0ms	im	@	0	(/ (atan2 im re) (log 10))
6.0ms	re	@	0	(/ (atan2 im re) (log 10))
0.0ms	re	@	inf	(/ (atan2 im re) (log 10))
0.0ms	im	@	inf	(/ (atan2 im re) (log 10))
0.0ms	im	@	-inf	(/ (atan2 im re) (log 10))

rewrite107.0ms (5.2%)

Algorithm

1×	batch-egg-rewrite

Rules

520×	`-lowering-.f32`
520×	`-lowering-.f64`
470×	`/-lowering-/.f32`
470×	`/-lowering-/.f64`
134×	`--lowering--.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	14	11
2	54	11
3	220	11
0	1223	11

Stop Event

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

Counts

3 → 108

Calls

Call 1

Inputs
(/ (atan2 im re) (log 10))
(atan2 im re)
(log 10)

Outputs
(+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(+.f64 (*.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) #s(literal 0 binary64)) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))))
(-.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 10 binary64))) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64))) (*.f64 (log.f64 #s(literal 1/10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))) (*.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))) (log.f64 #s(literal 1/10 binary64))) (.f64 (log.f64 #s(literal 1/10 binary64)) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (log.f64 #s(literal 1/10 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))) (.f64 (log.f64 #s(literal 1/10 binary64)) (log.f64 #s(literal 10 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64))) #s(literal 1 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64))) #s(literal -1 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)) (log.f64 #s(literal 10 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))) #s(literal 1 binary64)) (.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))) #s(literal -1 binary64)) (.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64)))) (.f64 (log.f64 #s(literal 1/10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))) (.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 (.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64)))) (.f64 (log.f64 #s(literal 10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))))
(/.f64 (.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))) (.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64)))) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))) (atan2.f64 im re))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64)))) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64)))) (atan2.f64 im re))
(pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))) #s(literal -1 binary64))
(*.f64 (atan2.f64 im re) (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal 1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 10 binary64))) (atan2.f64 im re))
(*.f64 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(*.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) #s(literal -1 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))))
(.f64 (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64)) (atan2.f64 im re)))
(*.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1/2 binary64)) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1/2 binary64)) (.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))))
(.f64 (.f64 (atan2.f64 im re) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1/2 binary64))) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 10 binary64)))
(+.f64 (atan2.f64 im re) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (atan2.f64 im re))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(neg.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.f64 (atan2.f64 im re) #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64))) (*.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64)))) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))) (atan2.f64 im re))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64)))) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))) (atan2.f64 im re))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (atan2.f64 im re) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal 3 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 2 binary64)))
(pow.f64 (atan2.f64 im re) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(*.f64 (atan2.f64 im re) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (atan2.f64 im re))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(atan2.f64 im re)
(log.f64 #s(literal 10 binary64))
(+.f64 (log.f64 #s(literal 10 binary64)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (log.f64 #s(literal 10 binary64)))
(exp.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (log.f64 (log.f64 #s(literal 10 binary64))))))
(-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64)))
(neg.f64 (log.f64 #s(literal 1/10 binary64)))
(/.f64 (log.f64 #s(literal 10 binary64)) #s(literal 1 binary64))
(/.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 10 binary64))))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 3 binary64))) (*.f64 #s(literal -1 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64))) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1/2 binary64)))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 10 binary64)))
(pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 10 binary64))) #s(literal -1 binary64))
(*.f64 (log.f64 #s(literal 10 binary64)) #s(literal 1 binary64))
(*.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (log.f64 #s(literal 10 binary64)))
(*.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))

simplify24.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

2×	`atan2-lowering-atan2.f32`
2×	`log-lowering-log.f64`
2×	`/-lowering-/.f32`
2×	`/-lowering-/.f64`
2×	`atan2-lowering-atan2.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	216
0	6	216

Stop Event

1×	iter limit
1×	saturated

Counts

48 → 48

Calls

Call 1

Inputs
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)

Outputs
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)

eval37.0ms (1.8%)

Compiler: Compiled 1651 to 261 computations (84.2% saved)

prune26.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	151	5	156
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	151	6	157

Accuracy

100.0%

Counts

157 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(/.f64 (atan2.f64 im re) (neg.f64 (log.f64 #s(literal 1/10 binary64))))
✓	98.6%	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
▶	98.4%	(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (log.f64 #s(literal 10 binary64)))
▶	99.6%	(/.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
▶	98.4%	(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
▶	99.6%	(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))

Compiler

Compiled 114 to 90 computations (21.1% saved)

simplify27.0ms (1.3%)

Algorithm

1×	egg-herbie

Localize:

Found 20 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(atan2.f64 im re)
✓	cost-diff	0	(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
✓	cost-diff	256	(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
✓	cost-diff	256	(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (log.f64 #s(literal 10 binary64)))
✓	cost-diff	0	(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
✓	cost-diff	0	(log.f64 #s(literal 1/10 binary64))
✓	cost-diff	0	(/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64)))
✓	cost-diff	128	(/.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
✓	cost-diff	0	(atan2.f64 im re)
✓	cost-diff	0	(log.f64 #s(literal 10 binary64))
✓	cost-diff	0	(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
✓	cost-diff	128	(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
✓	cost-diff	0	(atan2.f64 im re)
✓	cost-diff	0	(log.f64 #s(literal 1/10 binary64))
✓	cost-diff	0	(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
✓	cost-diff	0	(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
✓	cost-diff	-64	(neg.f64 (log.f64 #s(literal 1/10 binary64)))
✓	cost-diff	-64	(/.f64 (atan2.f64 im re) (neg.f64 (log.f64 #s(literal 1/10 binary64))))
✓	cost-diff	0	(log.f64 #s(literal 1/10 binary64))
✓	cost-diff	0	(atan2.f64 im re)

Rules

252×	`fma-define`
178×	`sum3-define`
136×	`fmsub-define`
124×	`fma-lowering-fma.f32`
124×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	110
1	44	108
2	99	108
3	195	108
4	269	108
5	356	108
6	420	108
7	548	108
8	597	108
9	723	108
10	851	108
11	852	108
0	852	108

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(/ (atan2 im re) (neg (log 1/10)))
(atan2 im re)
im
re
(neg (log 1/10))
(log 1/10)
1/10
(/ -1 (/ (log 1/10) (atan2 im re)))
-1
(/ (log 1/10) (atan2 im re))
(log 1/10)
1/10
(atan2 im re)
im
re
(/ 1 (/ (log 10) (atan2 im re)))
1
(/ (log 10) (atan2 im re))
(log 10)
10
(atan2 im re)
im
re
(/ (/ 1 (log 1/10)) (/ -1 (atan2 im re)))
(/ 1 (log 1/10))
1
(log 1/10)
1/10
(/ -1 (atan2 im re))
-1
(atan2 im re)
im
re
(/ (/ 1 (/ 1 (atan2 im re))) (log 10))
(/ 1 (/ 1 (atan2 im re)))
1
(/ 1 (atan2 im re))
(atan2 im re)
im
re
(log 10)
10

Outputs
(/ (atan2 im re) (neg (log 1/10)))
(-.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(atan2 im re)
(atan2.f64 im re)
im
re
(neg (log 1/10))
(-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64)))
(log 1/10)
(log.f64 #s(literal 1/10 binary64))
1/10
#s(literal 1/10 binary64)
(/ -1 (/ (log 1/10) (atan2 im re)))
(-.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
-1
#s(literal -1 binary64)
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(log 1/10)
(log.f64 #s(literal 1/10 binary64))
1/10
#s(literal 1/10 binary64)
(atan2 im re)
(atan2.f64 im re)
im
re
(/ 1 (/ (log 10) (atan2 im re)))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
1
#s(literal 1 binary64)
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(log 10)
(log.f64 #s(literal 10 binary64))
10
#s(literal 10 binary64)
(atan2 im re)
(atan2.f64 im re)
im
re
(/ (/ 1 (log 1/10)) (/ -1 (atan2 im re)))
(-.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/ 1 (log 1/10))
(/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64)))
1
#s(literal 1 binary64)
(log 1/10)
(log.f64 #s(literal 1/10 binary64))
1/10
#s(literal 1/10 binary64)
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
-1
#s(literal -1 binary64)
(atan2 im re)
(atan2.f64 im re)
im
re
(/ (/ 1 (/ 1 (atan2 im re))) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ 1 (/ 1 (atan2 im re)))
(atan2.f64 im re)
1
#s(literal 1 binary64)
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(atan2 im re)
(atan2.f64 im re)
im
re
(log 10)
(log.f64 #s(literal 10 binary64))
10
#s(literal 10 binary64)

localize173.0ms (8.4%)

Localize:

Found 20 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(log.f64 #s(literal 10 binary64))
✓	accuracy	99.9%	(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
✓	accuracy	99.7%	(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
✓	accuracy	98.6%	(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (log.f64 #s(literal 10 binary64)))
✓	accuracy	99.9%	(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
✓	accuracy	98.6%	(/.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
✓	accuracy	98.4%	(/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64)))
✓	accuracy	98.4%	(log.f64 #s(literal 1/10 binary64))
✓	accuracy	100.0%	(atan2.f64 im re)
✓	accuracy	100.0%	(log.f64 #s(literal 10 binary64))
✓	accuracy	99.7%	(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
✓	accuracy	98.6%	(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
✓	accuracy	100.0%	(atan2.f64 im re)
✓	accuracy	99.7%	(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
✓	accuracy	98.6%	(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
✓	accuracy	98.4%	(log.f64 #s(literal 1/10 binary64))
✓	accuracy	100.0%	(atan2.f64 im re)
✓	accuracy	100.0%	(neg.f64 (log.f64 #s(literal 1/10 binary64)))
✓	accuracy	98.6%	(/.f64 (atan2.f64 im re) (neg.f64 (log.f64 #s(literal 1/10 binary64))))
✓	accuracy	98.4%	(log.f64 #s(literal 1/10 binary64))

Results

119.0ms

256×

valid

Compiler

Compiled 127 to 22 computations (82.7% saved)

Precisions

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

ival-div: 18.0ms (52.1% of total)

ival-log: 7.0ms (20.3% of total)

...c/correct-round.rkt:119:19: 4.0ms (11.6% of total)

ival-atan2: 3.0ms (8.7% of total)

const: 1.0ms (2.9% of total)

ival-neg: 1.0ms (2.9% of total)

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

series71.0ms (3.5%)

Counts

15 → 264

Calls

Call 1

Inputs
#<alt (atan2 im re)>
#<alt (log 1/10)>
#<alt (/ (atan2 im re) (neg (log 1/10)))>
#<alt (neg (log 1/10))>
#<alt (/ -1 (/ (log 1/10) (atan2 im re)))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ 1 (/ (log 10) (atan2 im re)))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (log 10)>
#<alt (/ (/ 1 (log 1/10)) (/ -1 (atan2 im re)))>
#<alt (/ 1 (log 1/10))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ (/ 1 (/ 1 (atan2 im re))) (log 10))>
#<alt (/ 1 (/ 1 (atan2 im re)))>
#<alt (/ 1 (atan2 im re))>

Outputs
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (/ (log 10) (atan2 im re))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (* -1 (/ (atan2 im re) (log 1/10)))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ -1 (atan2 im re))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (/ (atan2 im re) (log 10))>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (atan2 im re)>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>
#<alt (/ 1 (atan2 im re))>

Calls

66 calls:

Time	Variable		Point	Expression
40.0ms	im	@	0	(/ (atan2 im re) (neg (log 1/10)))
17.0ms	re	@	0	(/ (atan2 im re) (neg (log 1/10)))
1.0ms	re	@	inf	(/ (atan2 im re) (neg (log 1/10)))
1.0ms	im	@	inf	(/ (atan2 im re) (neg (log 1/10)))
1.0ms	im	@	-inf	(/ (atan2 im re) (neg (log 1/10)))

rewrite152.0ms (7.4%)

Algorithm

1×	batch-egg-rewrite

Rules

658×	`-lowering-.f32`
658×	`-lowering-.f64`
448×	`/-lowering-/.f32`
448×	`/-lowering-/.f64`
246×	`frac-times`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	66
1	99	66
2	406	66
0	1503	66

Stop Event

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

Counts

15 → 593

Calls

Call 1

Inputs
(atan2 im re)
(log 1/10)
(/ (atan2 im re) (neg (log 1/10)))
(neg (log 1/10))
(/ -1 (/ (log 1/10) (atan2 im re)))
(/ (log 1/10) (atan2 im re))
(/ 1 (/ (log 10) (atan2 im re)))
(/ (log 10) (atan2 im re))
(log 10)
(/ (/ 1 (log 1/10)) (/ -1 (atan2 im re)))
(/ 1 (log 1/10))
(/ -1 (atan2 im re))
(/ (/ 1 (/ 1 (atan2 im re))) (log 10))
(/ 1 (/ 1 (atan2 im re)))
(/ 1 (atan2 im re))

Outputs
(exp.f64 (log.f64 (atan2.f64 im re)))
(exp.f64 (*.f64 (log.f64 (atan2.f64 im re)) #s(literal 1 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(neg.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.f64 (atan2.f64 im re) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(pow.f64 (atan2.f64 im re) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) #s(literal -1/2 binary64))
(*.f64 (atan2.f64 im re) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(*.f64 #s(literal 1 binary64) (atan2.f64 im re))
(*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(atan2.f64 im re)
(log.f64 #s(literal 1/10 binary64))
(+.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64)))
(exp.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (log.f64 (log.f64 #s(literal 1/10 binary64))))))
(-.f64 #s(literal 0 binary64) (log.f64 #s(literal 10 binary64)))
(neg.f64 (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (*.f64 #s(literal -1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (log.f64 #s(literal 10 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) #s(literal -1 binary64)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 3 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) #s(literal -1 binary64))
(*.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64)))
(*.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64)))
(*.f64 (log.f64 #s(literal 10 binary64)) #s(literal -1 binary64))
(+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))))
(-.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))) (+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))
(pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(pow.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))) #s(literal -1 binary64))
(*.f64 (atan2.f64 im re) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal 1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (atan2.f64 im re))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 10 binary64))))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))))
(*.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64))) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(log.f64 #s(literal 10 binary64))
(+.f64 (log.f64 #s(literal 10 binary64)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (log.f64 #s(literal 10 binary64)))
(-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64)))
(-.f64 (/.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) (log.f64 #s(literal 1/10 binary64))))
(neg.f64 (log.f64 #s(literal 1/10 binary64)))
(/.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))))
(/.f64 (log.f64 #s(literal 10 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) #s(literal 1 binary64)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) #s(literal 1 binary64)) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))))
(pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))
(*.f64 #s(literal 1 binary64) (log.f64 #s(literal 10 binary64)))
(*.f64 (log.f64 #s(literal 10 binary64)) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))))
(-.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))) (+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))
(pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(pow.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))) #s(literal -1 binary64))
(*.f64 (atan2.f64 im re) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal 1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (atan2.f64 im re))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 10 binary64))))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))))
(*.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64))) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(+.f64 #s(literal 0 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) #s(literal 0 binary64)) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(exp.f64 (*.f64 (log.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) #s(literal -1 binary64)))
(exp.f64 (-.f64 (log.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (*.f64 #s(literal -1 binary64) (log.f64 (log.f64 #s(literal 1/10 binary64))))))
(-.f64 #s(literal 0 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(neg.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/.f64 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(/.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (log.f64 #s(literal 10 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) (atan2.f64 im re)) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64)))) (*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))) (atan2.f64 im re))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (atan2.f64 im re)) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 10 binary64)))) (*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64)))) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) #s(literal -1 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) (atan2.f64 im re)))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) #s(literal 1 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) (.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) #s(literal 1 binary64)) (.f64 (log.f64 #s(literal 1/10 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(/.f64 (.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (.f64 (atan2.f64 im re) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))) (.f64 #s(literal 0 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64))) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(pow.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)) #s(literal 1 binary64))
(pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (log.f64 #s(literal 1/10 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(*.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(*.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(*.f64 (log.f64 #s(literal 10 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (log.f64 #s(literal 10 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64)))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64)))))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (log.f64 #s(literal 1/10 binary64))))
(*.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (/.f64 (log.f64 #s(literal 1/10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (/.f64 (log.f64 #s(literal 10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64)))) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64)))))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))))
(*.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1/2 binary64)))
(.f64 (.f64 (log.f64 #s(literal 1/10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))))
(-.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))) (+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))
(pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(pow.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))) #s(literal -1 binary64))
(*.f64 (atan2.f64 im re) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal 1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (atan2.f64 im re))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 10 binary64))))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))))
(*.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64))) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(+.f64 #s(literal 0 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(+.f64 (*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal 0 binary64)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(exp.f64 (*.f64 (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))) #s(literal -1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))) #s(literal -1 binary64)))
(exp.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))))))
(-.f64 #s(literal 0 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(neg.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.f64 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(/.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (*.f64 (atan2.f64 im re) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (*.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (atan2.f64 im re)) (.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) (*.f64 (atan2.f64 im re) (atan2.f64 im re)))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))) (.f64 (atan2.f64 im re) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) (atan2.f64 im re)) (.f64 (atan2.f64 im re) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))) (.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))) (*.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) #s(literal -1 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) #s(literal 1 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) (atan2.f64 im re)))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) (.f64 (log.f64 #s(literal 1/10 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) #s(literal 1 binary64)) (.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 (.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (.f64 (atan2.f64 im re) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))) (log.f64 #s(literal 10 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (.f64 #s(literal -1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))) (.f64 #s(literal 0 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64))) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal 1 binary64))
(pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal -1 binary64))
(*.f64 (log.f64 #s(literal 1/10 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(*.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(*.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(*.f64 (log.f64 #s(literal 10 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal 1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (log.f64 #s(literal 10 binary64)))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (log.f64 #s(literal 10 binary64))))
(*.f64 (pow.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (log.f64 #s(literal 1/10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (/.f64 (log.f64 #s(literal 1/10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))))
(*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64)))))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64)))) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal 1/2 binary64)) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal -1/2 binary64)))
(.f64 (.f64 (log.f64 #s(literal 10 binary64)) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(log.f64 #s(literal 10 binary64))
(+.f64 (log.f64 #s(literal 10 binary64)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (log.f64 #s(literal 10 binary64)))
(-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64)))
(-.f64 (/.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) (log.f64 #s(literal 1/10 binary64))))
(neg.f64 (log.f64 #s(literal 1/10 binary64)))
(/.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))))
(/.f64 (log.f64 #s(literal 10 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) #s(literal 1 binary64)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) #s(literal 1 binary64)) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))))
(pow.f64 (log.f64 #s(literal 10 binary64)) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))
(*.f64 #s(literal 1 binary64) (log.f64 #s(literal 10 binary64)))
(*.f64 (log.f64 #s(literal 10 binary64)) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))))
(*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))))
(-.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))) (+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))
(pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(pow.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))) #s(literal -1 binary64))
(*.f64 (atan2.f64 im re) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal 1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (atan2.f64 im re))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 10 binary64))))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))))
(*.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64))) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (log.f64 #s(literal 1/10 binary64)))))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(neg.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64)))
(/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (exp.f64 (log.f64 (log.f64 #s(literal 1/10 binary64)))) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(+.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(exp.f64 (*.f64 (log.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re))) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(neg.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) #s(literal 0 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(pow.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) #s(literal 1 binary64))
(pow.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) #s(literal 1 binary64))
(*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (neg.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal -1/2 binary64)) (pow.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(.f64 (.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))))
(-.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(neg.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (log.f64 #s(literal 1/10 binary64)))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))) (.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))) (+.f64 #s(literal 0 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64)))))
(pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1 binary64))
(pow.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(pow.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))) #s(literal -1 binary64))
(*.f64 (atan2.f64 im re) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(*.f64 #s(literal 1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(*.f64 (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (atan2.f64 im re))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 10 binary64))))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64)))))
(*.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re))))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (log.f64 #s(literal 1/10 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))))
(*.f64 (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (/.f64 (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64))) (pow.f64 (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)) #s(literal -1/2 binary64)))
(.f64 (.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal -1/2 binary64)))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) (log.f64 #s(literal 1/10 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 3 binary64)))) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))
(*.f64 (/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 #s(literal 1/10 binary64)) #s(literal 2 binary64)))) (log.f64 #s(literal 1/10 binary64)))
(exp.f64 (log.f64 (atan2.f64 im re)))
(exp.f64 (*.f64 (log.f64 (atan2.f64 im re)) #s(literal 1 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(neg.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.f64 (atan2.f64 im re) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(/.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(pow.f64 (atan2.f64 im re) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) #s(literal -1/2 binary64))
(*.f64 (atan2.f64 im re) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(*.f64 #s(literal 1 binary64) (atan2.f64 im re))
(*.f64 (-.f64 #s(literal 0 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(atan2.f64 im re)
(+.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(exp.f64 (log.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re))))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) #s(literal 1 binary64)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(neg.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re))) #s(literal 0 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(pow.f64 (atan2.f64 im re) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (atan2.f64 im re) (atan2.f64 im re)) #s(literal -1/2 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(*.f64 (/.f64 #s(literal -1 binary64) (atan2.f64 im re)) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal 1 binary64))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) (.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64))) (pow.f64 (atan2.f64 im re) #s(literal -1/2 binary64)))

simplify37.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

56×	`sum3-define`
36×	`+-lowering-+.f64`
36×	`+-lowering-+.f32`
32×	`fma-define`
28×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	1440
1	23	1440
2	29	1440
3	35	1440
4	45	1440
5	57	1440
6	73	1440
7	88	1440
8	110	1440
9	155	1440
10	161	1440
11	164	1440
0	164	1440

Stop Event

1×	iter limit
1×	saturated

Counts

264 → 264

Calls

Call 1

Inputs
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (log 1/10) (atan2 im re))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(/ (log 10) (atan2 im re))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(* -1 (/ (atan2 im re) (log 1/10)))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ -1 (atan2 im re))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(/ (atan2 im re) (log 10))
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(atan2 im re)
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))
(/ 1 (atan2 im re))

Outputs
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (log 1/10) (atan2 im re))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/ (log 10) (atan2 im re))
(/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(* -1 (/ (atan2 im re) (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ -1 (atan2 im re))
(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/ (atan2 im re) (log 10))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(atan2 im re)
(atan2.f64 im re)
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))
(/ 1 (atan2 im re))
(/.f64 #s(literal 1 binary64) (atan2.f64 im re))

eval144.0ms (7%)

Compiler: Compiled 13816 to 1297 computations (90.6% saved)

prune86.0ms (4.2%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	1134	0	1134
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	1134	6	1140

Accuracy

100.0%

Counts

1140 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(/.f64 (atan2.f64 im re) (neg.f64 (log.f64 #s(literal 1/10 binary64))))
✓	98.6%	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
✓	98.4%	(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (log.f64 #s(literal 10 binary64)))
✓	99.6%	(/.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
✓	98.4%	(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
✓	99.6%	(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))

Compiler

Compiled 112 to 70 computations (37.5% saved)

regimes43.0ms (2.1%)

Counts

6 → 1

Calls

Call 1

Inputs
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
(/.f64 (atan2.f64 im re) (neg.f64 (log.f64 #s(literal 1/10 binary64))))
(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal 1 binary64) (log.f64 #s(literal 1/10 binary64))) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (atan2.f64 im re))) (log.f64 #s(literal 10 binary64)))

Outputs
(/.f64 (atan2.f64 im re) (neg.f64 (log.f64 #s(literal 1/10 binary64))))

Calls

4 calls:

35.0ms	im
2.0ms	re
2.0ms	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
2.0ms	(atan2.f64 im re)

Results

Accuracy	Segments	Branch
99.8%	1	`re`
99.8%	1	`im`
99.8%	1	`(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))`
99.8%	1	`(atan2.f64 im re)`

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes5.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

Outputs
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

Calls

4 calls:

1.0ms	re
1.0ms	im
1.0ms	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
1.0ms	(atan2.f64 im re)

Results

Accuracy	Segments	Branch
98.6%	1	`re`
98.6%	1	`im`
98.6%	1	`(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))`
98.6%	1	`(atan2.f64 im re)`

Compiler

Compiled 19 to 13 computations (31.6% saved)

simplify7.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
6×	`+-commutative_binary64`
6×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	16	13
2	22	13
3	27	13
4	30	13
5	31	13

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (atan2.f64 im re) (neg.f64 (log.f64 #s(literal 1/10 binary64))))
(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

Outputs

(/.f64 (atan2.f64 im re) (neg.f64 (log.f64 #s(literal 1/10 binary64))))

(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (log.f64 #s(literal 1/10 binary64))))

(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

soundness106.0ms (5.1%)

Rules

520×	`-lowering-.f32`
520×	`-lowering-.f64`
470×	`/-lowering-/.f32`
470×	`/-lowering-/.f64`
134×	`--lowering--.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	14	11
2	54	11
3	220	11
0	1223	11

Stop Event

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

Compiler

Compiled 25 to 18 computations (28% saved)

preprocess42.0ms (2%)

Compiler: Compiled 48 to 34 computations (29.2% saved)

math.log10 on complex, imaginary part

analyze2.0ms (0.1%)

sample812.0ms (39.3%)

preprocess18.0ms (0.9%)

explain70.0ms (3.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify10.0ms (0.5%)

localize31.0ms (1.5%)

series35.0ms (1.7%)

rewrite107.0ms (5.2%)

simplify24.0ms (1.2%)

eval37.0ms (1.8%)

prune26.0ms (1.3%)

simplify27.0ms (1.3%)

localize173.0ms (8.4%)

series71.0ms (3.5%)

rewrite152.0ms (7.4%)

simplify37.0ms (1.8%)

eval144.0ms (7%)

prune86.0ms (4.2%)

regimes43.0ms (2.1%)

regimes5.0ms (0.2%)

simplify7.0ms (0.4%)

soundness106.0ms (5.1%)

preprocess42.0ms (2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	16	42
1	33	42
2	47	42
3	67	42
4	101	42
5	136	42
6	167	42
7	203	42
8	269	42
9	273	42
10	275	42
0	6	6
0	6	6

Iter	Nodes	Cost
0	21	110
1	44	108
2	99	108
3	195	108
4	269	108
5	356	108
6	420	108
7	548	108
8	597	108
9	723	108
10	851	108
11	852	108
0	852	108

Iter	Nodes	Cost
0	16	42
1	33	42
2	47	42
3	67	42
4	101	42
5	136	42
6	167	42
7	203	42
8	269	42
9	273	42
10	275	42
0	6	6
0	6	6

Iter	Nodes	Cost
0	21	110
1	44	108
2	99	108
3	195	108
4	269	108
5	356	108
6	420	108
7	548	108
8	597	108
9	723	108
10	851	108
11	852	108
0	852	108

Iter	Nodes	Cost
0	16	42
1	33	42
2	47	42
3	67	42
4	101	42
5	136	42
6	167	42
7	203	42
8	269	42
9	273	42
10	275	42
0	6	6
0	6	6

Iter	Nodes	Cost
0	21	110
1	44	108
2	99	108
3	195	108
4	269	108
5	356	108
6	420	108
7	548	108
8	597	108
9	723	108
10	851	108
11	852	108
0	852	108