Metrics for math.log10 on complex, imaginary part

analyze10.0ms (0.7%)

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)

sample732.0ms (46.7%)

Results

541.0ms

8256×

valid

Precisions

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

ival-log: 107.0ms (36.8% of total)

ival-atan2: 94.0ms (32.3% of total)

ival-div: 73.0ms (25.1% of total)

const: 14.0ms (4.8% of total)

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

Bogosity

preprocess25.0ms (1.6%)

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

explain61.0ms (3.9%)

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

41.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-atan2: 6.0ms (36.3% of total)

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

ival-div: 4.0ms (24.2% of total)

const: 1.0ms (6.1% 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.7%	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

Compiler

Compiled 8 to 6 computations (25% saved)

simplify5.0ms (0.3%)

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)

localize28.0ms (1.8%)

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.7%	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))

Results

20.0ms

256×

valid

Compiler

Compiled 17 to 7 computations (58.8% saved)

Precisions

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

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

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

ival-atan2: 2.0ms (19.3% of total)

const: 1.0ms (9.7% of total)

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

series36.0ms (2.3%)

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

rewrite86.0ms (5.5%)

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

simplify15.0ms (1%)

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)

eval16.0ms (1%)

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

prune20.0ms (1.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	152	4	156
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	152	5	157

Accuracy

100.0%

Counts

157 → 5

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.7%	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
▶	99.5%	(/.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.5%	(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))

Compiler

Compiled 49 to 39 computations (20.4% saved)

simplify17.0ms (1.1%)

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

New	Metric	Score	Program
✓	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)
✓	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)))

Rules

154×	`fma-define`
118×	`sum3-define`
100×	`fmsub-define`
76×	`fma-lowering-fma.f32`
76×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	90
1	34	90
2	58	86
3	82	86
4	148	86
5	204	86
6	257	86
7	324	86
8	361	86
9	474	86
10	538	86
0	538	86

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(/ -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
(/ (atan2 im re) (neg (log 1/10)))
(atan2 im re)
im
re
(neg (log 1/10))
(log 1/10)
1/10

Outputs
(/ -1 (/ (log 1/10) (atan2 im re)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (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 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (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
(/ (atan2 im re) (neg (log 1/10)))
(/.f64 (atan2.f64 im re) (-.f64 #s(literal 0 binary64) (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)

localize88.0ms (5.6%)

Localize:

Found 16 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(atan2.f64 im re)
✓	accuracy	100.0%	(neg.f64 (log.f64 #s(literal 1/10 binary64)))
✓	accuracy	98.7%	(/.f64 (atan2.f64 im re) (neg.f64 (log.f64 #s(literal 1/10 binary64))))
✓	accuracy	98.4%	(log.f64 #s(literal 1/10 binary64))
✓	accuracy	99.9%	(/.f64 #s(literal -1 binary64) (atan2.f64 im re))
✓	accuracy	98.5%	(/.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.7%	(/.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.7%	(/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re))
✓	accuracy	98.4%	(log.f64 #s(literal 1/10 binary64))

Results

59.0ms

256×

valid

Compiler

Compiled 96 to 19 computations (80.2% saved)

Precisions

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

ival-div: 13.0ms (46.2% of total)

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

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

ival-atan2: 2.0ms (7.1% of total)

const: 1.0ms (3.6% of total)

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

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

series39.0ms (2.5%)

Counts

12 → 192

Calls

Call 1

Inputs
#<alt (/ -1 (/ (log 1/10) (atan2 im re)))>
#<alt (/ (log 1/10) (atan2 im re))>
#<alt (log 1/10)>
#<alt (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 (/ (atan2 im re) (neg (log 1/10)))>
#<alt (neg (log 1/10))>

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

Calls

48 calls:

Time	Variable		Point	Expression
20.0ms	im	@	0	(/ -1 (/ (log 1/10) (atan2 im re)))
8.0ms	re	@	0	(/ -1 (/ (log 1/10) (atan2 im re)))
1.0ms	re	@	inf	(/ -1 (/ (log 1/10) (atan2 im re)))
1.0ms	im	@	inf	(/ -1 (/ (log 1/10) (atan2 im re)))
1.0ms	re	@	-inf	(/ -1 (/ (log 1/10) (atan2 im re)))

rewrite95.0ms (6%)

Algorithm

1×	batch-egg-rewrite

Rules

462×	`-lowering-.f32`
462×	`-lowering-.f64`
382×	`/-lowering-/.f32`
382×	`/-lowering-/.f64`
228×	`frac-times`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	61
1	79	53
2	325	53
0	1381	53

Stop Event

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

Counts

12 → 409

Calls

Call 1

Inputs
(/ -1 (/ (log 1/10) (atan2 im re)))
(/ (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))
(/ (atan2 im re) (neg (log 1/10)))
(neg (log 1/10))

Outputs
(+.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 #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 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.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 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 (atan2.f64 im re) (log.f64 #s(literal 10 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 #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 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 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 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 (atan2.f64 im re) (/.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 (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 (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 (/.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 (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)))
(-.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 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 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 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.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 (log.f64 #s(literal 10 binary64)) (-.f64 #s(literal 0 binary64) (atan2.f64 im re)))
(/.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 #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) (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 (.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 -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 (/.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 (-.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 #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 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re)))
(*.f64 (log.f64 #s(literal 1/10 binary64)) (/.f64 #s(literal 1 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 (/.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 (log.f64 #s(literal 10 binary64)) (/.f64 #s(literal -1 binary64) (atan2.f64 im re)))
(*.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) (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))) (/.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 #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 (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)))
(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 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (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 (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 #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 #s(literal -1 binary64) (log.f64 #s(literal 10 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 (log.f64 #s(literal 10 binary64)) #s(literal -1 binary64))
(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 #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 (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 (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 (atan2.f64 im re) #s(literal 1 binary64))
(*.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)
(+.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 #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 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.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 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 (atan2.f64 im re) (log.f64 #s(literal 10 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 #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 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 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 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 (atan2.f64 im re) (/.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 (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 (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 (/.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 (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 #s(literal -1 binary64) (/.f64 (atan2.f64 im re) (log.f64 #s(literal 1/10 binary64))))
(/.f64 (log.f64 #s(literal 1/10 binary64)) (-.f64 #s(literal 0 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 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))))
(/.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 (log.f64 #s(literal 10 binary64)) (atan2.f64 im re))
(/.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) (/.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) (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 #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) (/.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) (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 (-.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 #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 -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)) (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 (/.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 #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 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))
(*.f64 (log.f64 #s(literal 1/10 binary64)) (/.f64 #s(literal -1 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 (/.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 (log.f64 #s(literal 10 binary64)) (/.f64 #s(literal 1 binary64) (atan2.f64 im re)))
(*.f64 (log.f64 #s(literal 10 binary64)) (pow.f64 (/.f64 #s(literal 1 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 (pow.f64 (/.f64 #s(literal 1 binary64) (atan2.f64 im re)) #s(literal 1 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 #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 (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)))
(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 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (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 (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 #s(literal -1 binary64) (log.f64 #s(literal 1/10 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 (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 #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 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.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 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 (atan2.f64 im re) (log.f64 #s(literal 10 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 #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 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 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 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 (atan2.f64 im re) (/.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 (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 (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 (/.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 (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)))
(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))
(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 (-.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 #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 #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 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 binary64))
(/.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 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 (atan2.f64 im re) (log.f64 #s(literal 10 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 #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 (atan2.f64 im re) (log.f64 #s(literal 10 binary64))) #s(literal 1 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 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 (atan2.f64 im re) (/.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 (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 (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 (/.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 (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 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (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 (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 #s(literal -1 binary64) (log.f64 #s(literal 1/10 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 (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))))

simplify31.0ms (2%)

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	14	1128
1	18	1128
2	25	1128
3	31	1128
4	41	1128
5	53	1128
6	69	1128
7	84	1128
8	106	1128
9	151	1128
10	157	1128
11	160	1128
0	160	1128

Stop Event

1×	iter limit
1×	saturated

Counts

192 → 192

Calls

Call 1

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

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

eval77.0ms (4.9%)

Compiler: Compiled 8916 to 893 computations (90% saved)

prune51.0ms (3.2%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	770	0	770
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	770	5	775

Accuracy

100.0%

Counts

775 → 5

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.7%	(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))
✓	99.5%	(/.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.5%	(/.f64 #s(literal -1 binary64) (/.f64 (log.f64 #s(literal 1/10 binary64)) (atan2.f64 im re)))

Compiler

Compiled 90 to 58 computations (35.6% saved)

regimes9.0ms (0.6%)

Counts

5 → 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)))

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

Calls

4 calls:

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

regimes6.0ms (0.4%)

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:

2.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.7%	1	`re`
98.7%	1	`im`
98.7%	1	`(/.f64 (atan2.f64 im re) (log.f64 #s(literal 10 binary64)))`
98.7%	1	`(atan2.f64 im re)`

Compiler

Compiled 19 to 13 computations (31.6% saved)

simplify8.0ms (0.5%)

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

soundness88.0ms (5.6%)

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)

preprocess25.0ms (1.6%)

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

math.log10 on complex, imaginary part

analyze10.0ms (0.7%)

sample732.0ms (46.7%)

preprocess25.0ms (1.6%)

explain61.0ms (3.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify5.0ms (0.3%)

localize28.0ms (1.8%)

series36.0ms (2.3%)

rewrite86.0ms (5.5%)

simplify15.0ms (1%)

eval16.0ms (1%)

prune20.0ms (1.3%)

simplify17.0ms (1.1%)

localize88.0ms (5.6%)

series39.0ms (2.5%)

rewrite95.0ms (6%)

simplify31.0ms (2%)

eval77.0ms (4.9%)

prune51.0ms (3.2%)

regimes9.0ms (0.6%)

regimes6.0ms (0.4%)

simplify8.0ms (0.5%)

soundness88.0ms (5.6%)

preprocess25.0ms (1.6%)

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	18	90
1	34	90
2	58	86
3	82	86
4	148	86
5	204	86
6	257	86
7	324	86
8	361	86
9	474	86
10	538	86
0	538	86

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	18	90
1	34	90
2	58	86
3	82	86
4	148	86
5	204	86
6	257	86
7	324	86
8	361	86
9	474	86
10	538	86
0	538	86

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	18	90
1	34	90
2	58	86
3	82	86
4	148	86
5	204	86
6	257	86
7	324	86
8	361	86
9	474	86
10	538	86
0	538	86