Metrics for bug329 (missed optimization)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze7.0ms (0.2%)

Memory

8.2MiB live, 8.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
50%	25%	25%	50%	0%	0%	0%	2
50%	25%	25%	50%	0%	0%	0%	3
75%	37.5%	12.5%	50%	0%	0%	0%	4
75%	37.5%	12.5%	50%	0%	0%	0%	5
87.5%	43.7%	6.2%	50%	0%	0%	0%	6
87.5%	43.7%	6.2%	50%	0%	0%	0%	7
93.8%	46.8%	3.1%	50%	0%	0%	0%	8
93.8%	46.8%	3.1%	50%	0%	0%	0%	9
96.9%	48.4%	1.6%	50%	0%	0%	0%	10
96.9%	48.4%	1.6%	50%	0%	0%	0%	11
98.4%	49.2%	0.8%	50%	0%	0%	0%	12

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample776.0ms (21.8%)

Memory

-6.1MiB live, 743.9MiB allocated

Samples

452.0ms

8 256×

valid

Precisions

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

ival-div: 105.0ms (52.5% of total)

ival-atan: 46.0ms (23% of total)

ival->=: 40.0ms (20% of total)

exact: 6.0ms (3% of total)

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

Bogosity

explain41.0ms (1.2%)

Memory

5.6MiB live, 44.2MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 y x)`
-	-	`y`
-	-	`(atan.f64 (/.f64 y x))`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

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

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

19.0ms

512×

valid

Compiler

Compiled 28 to 16 computations (42.9% saved)

Precisions

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

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

ival-atan: 3.0ms (39.5% of total)

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

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

preprocess14.0ms (0.4%)

Memory

10.5MiB live, 10.5MiB allocated

Algorithm

1×	egg-herbie

Rules

30×	`sub-neg`
20×	`+-commutative`
14×	`div-sub`
10×	`*-commutative`
10×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	24	26
2	36	26
3	46	26
4	54	26
5	68	26
6	88	26
7	98	26
8	100	26
0	4	4
0	6	4
0	6	4

Stop Event

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

Calls

Call 1

Inputs
(atan.f64 (/.f64 y x))

Outputs
(atan.f64 (/.f64 y x))

Compiler

Compiled 6 to 4 computations (33.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(atan.f64 (/.f64 y x))

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify4.0ms (0.1%)

Memory

2.0MiB live, 2.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(/.f64 y x)
cost-diff	0	(atan.f64 (/.f64 y x))

Rules

2×	`lift-/.f64`
2×	`lower-atan.f32`
2×	`lift-atan.f64`
2×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	9
0	6	9
0	6	9

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(atan.f64 (/.f64 y x))
(/.f64 y x)
y
x

Outputs
(atan.f64 (/.f64 y x))
(/.f64 y x)
y
x

localize44.0ms (1.2%)

Memory

-27.6MiB live, 10.8MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0	(/.f64 y x)
accuracy	0.0078125	(atan.f64 (/.f64 y x))

Samples

40.0ms

256×

valid

Compiler

Compiled 11 to 6 computations (45.5% saved)

Precisions

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

ival-div: 2.0ms (44.7% of total)

ival-atan: 2.0ms (44.7% of total)

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

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

series4.0ms (0.1%)

Memory

3.5MiB live, 3.5MiB allocated

Counts

2 → 48

Calls

Call 1

Inputs
#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())
#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())

Outputs
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 y x)) (patch (atan.f64 (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	y	@	inf	(/ y x)
1.0ms	x	@	inf	(/ y x)
0.0ms	y	@	0	(/ y x)
0.0ms	y	@	-inf	(/ y x)
0.0ms	x	@	0	(/ y x)

simplify3.0ms (0.1%)

Memory

4.3MiB live, 4.3MiB allocated

Algorithm

1×	egg-herbie

Rules

2×	`lower-atan.f32`
2×	`lower-/.f32`
2×	`lower-/.f64`
2×	`lower-atan.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	168
0	4	168

Stop Event

1×	iter limit
1×	saturated

Counts

48 → 48

Calls

Call 1

Inputs
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)

Outputs
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)

rewrite67.0ms (1.9%)

Memory

2.3MiB live, 51.0MiB allocated

Rules

522×	`lower-*.f64`
522×	`lower-*.f32`
470×	`lower-/.f32`
468×	`lower-/.f64`
136×	`lower--.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	7
0	6	7
1	14	7
2	49	7
3	224	7
0	1218	7

Stop Event

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

Counts

2 → 62

Calls

Call 1

Inputs
(atan.f64 (/.f64 y x))
(/.f64 y x)

Outputs
(-.f64 #s(literal 0 binary64) (atan.f64 (/.f64 y (neg.f64 x))))
(atan.f64 (/.f64 y x))
(neg.f64 (atan.f64 (/.f64 y (neg.f64 x))))
(*.f64 #s(literal -1 binary64) (atan.f64 (/.f64 y (neg.f64 x))))
(+.f64 #s(literal 0 binary64) (/.f64 y x))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) #s(literal 0 binary64)) (/.f64 y x))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 x y))))
(-.f64 #s(literal 0 binary64) (/.f64 y (neg.f64 x)))
(fma.f64 (/.f64 #s(literal -1 binary64) x) #s(literal 0 binary64) (/.f64 y x))
(neg.f64 (/.f64 y (neg.f64 x)))
(/.f64 y x)
(/.f64 (/.f64 y x) #s(literal 1 binary64))
(/.f64 (neg.f64 y) (neg.f64 x))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
(/.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) y))
(/.f64 #s(literal -1 binary64) (/.f64 x (neg.f64 y)))
(/.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) y))
(/.f64 (/.f64 y (neg.f64 x)) #s(literal -1 binary64))
(/.f64 (neg.f64 (.f64 y (.f64 y y))) (.f64 (neg.f64 x) (.f64 y y)))
(/.f64 (neg.f64 (.f64 y y)) (.f64 (neg.f64 x) y))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 x (neg.f64 y))) (neg.f64 x)) (.f64 (neg.f64 x) (/.f64 x (neg.f64 y))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (neg.f64 x) y)) (.f64 x x))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (neg.f64 x) (neg.f64 y))) (.f64 (neg.f64 x) x))
(/.f64 (.f64 (neg.f64 (.f64 y (.f64 y y))) #s(literal 1 binary64)) (.f64 (*.f64 y y) (neg.f64 x)))
(/.f64 (.f64 (neg.f64 (.f64 y (.f64 y y))) #s(literal -1 binary64)) (.f64 (*.f64 y y) x))
(/.f64 (.f64 (neg.f64 (.f64 y y)) #s(literal 1 binary64)) (*.f64 y (neg.f64 x)))
(/.f64 (.f64 (neg.f64 (.f64 y y)) #s(literal -1 binary64)) (*.f64 y x))
(/.f64 (.f64 #s(literal 1 binary64) (neg.f64 (.f64 y (.f64 y y)))) (.f64 (neg.f64 x) (*.f64 y y)))
(/.f64 (.f64 #s(literal 1 binary64) (neg.f64 (.f64 y y))) (*.f64 (neg.f64 x) y))
(/.f64 (.f64 #s(literal -1 binary64) (neg.f64 (.f64 y (.f64 y y)))) (.f64 x (*.f64 y y)))
(/.f64 (.f64 #s(literal -1 binary64) (neg.f64 (.f64 y y))) (*.f64 x y))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 y (neg.f64 x)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (/.f64 y (neg.f64 x)) (/.f64 y (neg.f64 x)) (*.f64 #s(literal 0 binary64) (/.f64 y (neg.f64 x))))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 y (neg.f64 x)) (/.f64 y (neg.f64 x)))) (/.f64 y (neg.f64 x)))
(/.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (.f64 y (.f64 y y)))) (.f64 y y))
(/.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (.f64 y y))) y)
(/.f64 (.f64 (neg.f64 (.f64 y (.f64 y y))) (/.f64 #s(literal -1 binary64) x)) (.f64 y y))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (/.f64 #s(literal -1 binary64) x)) y)
(pow.f64 (/.f64 y x) #s(literal 1 binary64))
(pow.f64 (/.f64 x y) #s(literal -1 binary64))
(pow.f64 (pow.f64 (/.f64 y x) #s(literal 1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 x y) (/.f64 x y)) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 x y))) #s(literal -1 binary64))
(*.f64 y (/.f64 #s(literal 1 binary64) x))
(*.f64 (/.f64 y x) #s(literal 1 binary64))
(*.f64 (neg.f64 y) (/.f64 #s(literal -1 binary64) x))
(*.f64 #s(literal 1 binary64) (/.f64 y x))
(*.f64 (/.f64 #s(literal 1 binary64) x) y)
(*.f64 #s(literal -1 binary64) (/.f64 y (neg.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 y))
(*.f64 (/.f64 #s(literal -1 binary64) x) (pow.f64 (/.f64 #s(literal -1 binary64) y) #s(literal -1 binary64)))
(*.f64 (/.f64 y (neg.f64 x)) #s(literal -1 binary64))
(*.f64 (pow.f64 x #s(literal -1/2 binary64)) (/.f64 (pow.f64 x #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) y)))
(.f64 (pow.f64 x #s(literal -1/2 binary64)) (.f64 (pow.f64 x #s(literal -1/2 binary64)) y))
(*.f64 (pow.f64 (/.f64 y x) #s(literal 1/2 binary64)) (pow.f64 (/.f64 y x) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (/.f64 y x) #s(literal 1/2 binary64)) (.f64 (pow.f64 (/.f64 y x) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 y x) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (/.f64 y x) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal -1 binary64) y) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) x))
(*.f64 (/.f64 (pow.f64 x #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 x #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) y)))
(.f64 (.f64 y (pow.f64 x #s(literal -1/2 binary64))) (pow.f64 x #s(literal -1/2 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 y x) #s(literal 1/2 binary64))) (pow.f64 (/.f64 y x) #s(literal 1/2 binary64)))
(.f64 (/.f64 (neg.f64 y) (neg.f64 (.f64 x (.f64 x x)))) (.f64 x x))
(.f64 (/.f64 (neg.f64 y) (neg.f64 (.f64 x x))) x)

eval25.0ms (0.7%)

Memory: -17.1MiB live, 20.9MiB allocated
Compiler: Compiled 868 to 197 computations (77.3% saved)

prune10.0ms (0.3%)

Memory

20.4MiB live, 20.4MiB allocated

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	109	2	111

Accuracy

100.0%

Counts

111 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(atan.f64 (/.f64 y x))
▶	98.7%	(atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y)))

Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify5.0ms (0.1%)

Memory

5.8MiB live, 5.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score
cost-diff	0	(/.f64 x y)
cost-diff	0	(atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y)))
cost-diff	704	(/.f64 #s(literal 1 binary64) (/.f64 x y))

Rules

16×	`lower-*.f64`
16×	`lower-*.f32`
12×	`lower-/.f32`
8×	`lower-/.f64`
6×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	17
0	9	17
1	13	17
2	16	13
3	20	13
4	30	13
5	30	13
0	30	13

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y)))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
#s(literal 1 binary64)
(/.f64 x y)
x
y

Outputs
(atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y)))
(atan.f64 (/.f64 y x))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
(/.f64 y x)
#s(literal 1 binary64)
(/.f64 x y)
x
y

localize30.0ms (0.8%)

Memory

-10.0MiB live, 26.5MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 x y)
accuracy	0.0078125	(atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y)))
accuracy	0.9775427522330941	(/.f64 #s(literal 1 binary64) (/.f64 x y))

Samples

23.0ms

256×

valid

Compiler

Compiled 19 to 8 computations (57.9% saved)

Precisions

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

ival-atan: 13.0ms (77.9% of total)

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

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB allocated

Counts

3 → 72

Calls

Call 1

Inputs

#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())

#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())

#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())

Outputs
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 x y)) (patch (/.f64 #s(literal 1 binary64) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y))) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())

Calls

18 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/ x y)
0.0ms	y	@	-inf	(/ x y)
0.0ms	x	@	-inf	(/ x y)
0.0ms	y	@	0	(/ x y)
0.0ms	x	@	inf	(/ x y)

simplify4.0ms (0.1%)

Memory

3.5MiB live, 3.5MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`lower-/.f32`
4×	`lower-/.f64`
2×	`lower-atan.f32`
2×	`lower-atan.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	240
0	5	240

Stop Event

1×	iter limit
1×	saturated

Counts

72 → 72

Calls

Call 1

Inputs
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)

Outputs
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)

rewrite209.0ms (5.9%)

Memory

4.5MiB live, 159.7MiB allocated

Rules

2 804×	`lower-*.f64`
2 804×	`lower-*.f32`
2 136×	`lower-fma.f64`
2 136×	`lower-fma.f32`
1 474×	`lower-/.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	14
0	9	14
1	28	10
2	111	10
3	498	10
4	2978	10
0	10942	10

Stop Event

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

Counts

3 → 273

Calls

Call 1

Inputs
(/.f64 #s(literal 1 binary64) (/.f64 x y))
(atan.f64 (/.f64 #s(literal 1 binary64) (/.f64 x y)))
(/.f64 x y)

Outputs
(+.f64 #s(literal 0 binary64) (/.f64 y x))
(+.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 0 binary64)) (/.f64 y x))
(exp.f64 (log.f64 (/.f64 y x)))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 y x) (/.f64 y x))) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal -1 binary64))) (log.f64 (/.f64 x y))))
(-.f64 #s(literal 0 binary64) (/.f64 y x))
(sqrt.f64 (*.f64 (/.f64 y x) (/.f64 y x)))
(fma.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 0 binary64) (/.f64 y x))
(neg.f64 (/.f64 y x))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
(/.f64 y x)
(/.f64 y (pow.f64 (exp.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 x))))
(/.f64 #s(literal -1 binary64) (/.f64 x y))
(/.f64 x (*.f64 x (/.f64 x y)))
(/.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) y))
(/.f64 (sqrt.f64 (/.f64 y x)) (sqrt.f64 (/.f64 x y)))
(/.f64 (/.f64 y x) #s(literal 1 binary64))
(/.f64 (/.f64 y x) #s(literal -1 binary64))
(/.f64 (/.f64 y x) (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))))
(/.f64 (/.f64 y x) (pow.f64 (exp.f64 #s(literal -1 binary64)) (-.f64 (log.f64 #s(literal -1 binary64)) #s(literal 0 binary64))))
(/.f64 (/.f64 y x) (pow.f64 (exp.f64 #s(literal -1 binary64)) (+.f64 (log.f64 #s(literal -1 binary64)) #s(literal 0 binary64))))
(/.f64 (.f64 y (.f64 y y)) (.f64 (.f64 y y) x))
(/.f64 (.f64 y (.f64 y y)) (.f64 x (.f64 y y)))
(/.f64 (.f64 y y) (.f64 y x))
(/.f64 (.f64 y y) (.f64 x y))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 x y)) (.f64 x x))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 x (/.f64 y x))) x)
(/.f64 (.f64 (.f64 y y) #s(literal -1 binary64)) (*.f64 y x))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) x) (.f64 y (.f64 y y))) (.f64 y y))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) x) (.f64 y y)) y)
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 (.f64 y (.f64 y y)) (.f64 x (.f64 x x)))) (+.f64 #s(literal 0 binary64) (fma.f64 (/.f64 y x) (/.f64 y x) (*.f64 #s(literal 0 binary64) (/.f64 y x)))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 y x) (/.f64 y x))) (/.f64 y x))
(/.f64 (.f64 (.f64 y (.f64 y y)) (/.f64 #s(literal 1 binary64) x)) (.f64 y y))
(/.f64 (.f64 (.f64 y y) (/.f64 #s(literal 1 binary64) x)) y)
(/.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 x y)))
(/.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))) (/.f64 x y))
(/.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (+.f64 #s(literal 0 binary64) (log.f64 #s(literal -1 binary64)))) (/.f64 x y))
(pow.f64 (/.f64 x y) #s(literal -1 binary64))
(pow.f64 (sqrt.f64 (/.f64 y x)) #s(literal 2 binary64))
(pow.f64 (/.f64 y x) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 (/.f64 x y)) #s(literal -2 binary64))
(pow.f64 (/.f64 (.f64 x x) (.f64 y y)) #s(literal -1/2 binary64))
(pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 y x))) #s(literal 4 binary64))
(pow.f64 (neg.f64 (sqrt.f64 (/.f64 y x))) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 y x) (/.f64 y x)) #s(literal 1/2 binary64))
(pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 (/.f64 x y)))
(pow.f64 (.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 x x) (*.f64 y y))) #s(literal -1/4 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) #s(literal 1 binary64)) (log.f64 (/.f64 x y)))
(pow.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) #s(literal -1 binary64)) (log.f64 (/.f64 y x)))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 (/.f64 y x)))
(pow.f64 (exp.f64 #s(literal -1/2 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 (/.f64 x y))))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 (/.f64 x y)) #s(literal -1/2 binary64)))
(*.f64 #s(literal 1 binary64) (/.f64 y x))
(*.f64 y (/.f64 #s(literal 1 binary64) x))
(*.f64 #s(literal -1 binary64) (/.f64 y x))
(*.f64 (/.f64 #s(literal 1 binary64) x) y)
(*.f64 (sqrt.f64 (/.f64 y x)) (sqrt.f64 (/.f64 y x)))
(*.f64 (sqrt.f64 (/.f64 y x)) (neg.f64 (sqrt.f64 (/.f64 y x))))
(*.f64 (sqrt.f64 (/.f64 y x)) (/.f64 (sqrt.f64 (/.f64 y x)) #s(literal -1 binary64)))
(*.f64 (sqrt.f64 (/.f64 y x)) (neg.f64 (neg.f64 (sqrt.f64 (/.f64 y x)))))
(.f64 (sqrt.f64 (/.f64 y x)) (.f64 (neg.f64 (sqrt.f64 (/.f64 y x))) #s(literal -1 binary64)))
(*.f64 (sqrt.f64 (/.f64 y x)) (/.f64 (neg.f64 (sqrt.f64 (/.f64 y x))) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (/.f64 y x)) (exp.f64 (log.f64 (neg.f64 (sqrt.f64 (/.f64 y x))))))
(*.f64 (/.f64 y x) #s(literal 1 binary64))
(*.f64 (/.f64 y x) #s(literal -1 binary64))
(*.f64 (/.f64 y x) (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))))
(*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) y)))
(.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y))
(.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 y x))))
(.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 (sqrt.f64 y) (neg.f64 (sqrt.f64 (/.f64 y x)))))
(*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) x))
(*.f64 (sqrt.f64 y) (/.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 #s(literal 1 binary64) x)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (sqrt.f64 (/.f64 y x))))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (neg.f64 (sqrt.f64 (/.f64 y x)))))
(.f64 (sqrt.f64 (sqrt.f64 (/.f64 y x))) (.f64 (sqrt.f64 (/.f64 y x)) (sqrt.f64 (sqrt.f64 (/.f64 y x)))))
(.f64 (sqrt.f64 (sqrt.f64 (/.f64 y x))) (.f64 (sqrt.f64 (sqrt.f64 (/.f64 y x))) (neg.f64 (sqrt.f64 (/.f64 y x)))))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 y x))) (sqrt.f64 (/.f64 y x)))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 y x))) (neg.f64 (sqrt.f64 (/.f64 y x))))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 y x))) (/.f64 (sqrt.f64 (/.f64 y x)) #s(literal -1 binary64)))
(.f64 (.f64 (/.f64 y x) (/.f64 y x)) (/.f64 x y))
(.f64 (/.f64 (.f64 y (.f64 y y)) (.f64 x (.f64 x x))) (/.f64 (.f64 x x) (*.f64 y y)))
(*.f64 (/.f64 (sqrt.f64 y) #s(literal 1 binary64)) (/.f64 (sqrt.f64 y) x))
(*.f64 (/.f64 (sqrt.f64 y) x) (/.f64 (sqrt.f64 y) #s(literal 1 binary64)))
(*.f64 (/.f64 (sqrt.f64 y) x) (/.f64 (sqrt.f64 y) #s(literal -1 binary64)))
(*.f64 (/.f64 (sqrt.f64 y) #s(literal -1 binary64)) (/.f64 (sqrt.f64 y) x))
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))) (sqrt.f64 y))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) y)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) y)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) y)))
(*.f64 (neg.f64 (neg.f64 (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (/.f64 y x)))
(.f64 (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(.f64 (.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (/.f64 y x)))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 (.f64 (sqrt.f64 (/.f64 y x)) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (sqrt.f64 y))
(.f64 (.f64 (sqrt.f64 (/.f64 y x)) (sqrt.f64 y)) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(.f64 (.f64 (neg.f64 (sqrt.f64 (/.f64 y x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (sqrt.f64 y))
(.f64 (.f64 (neg.f64 (sqrt.f64 (/.f64 y x))) (sqrt.f64 y)) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(.f64 (.f64 (neg.f64 (sqrt.f64 (/.f64 y x))) (sqrt.f64 (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (sqrt.f64 (/.f64 y x))))
(.f64 (.f64 (sqrt.f64 (/.f64 y x)) (sqrt.f64 (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (sqrt.f64 (/.f64 y x))))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 y x)))
(.f64 (/.f64 #s(literal -1 binary64) (/.f64 (.f64 x x) (*.f64 y y))) (/.f64 x y))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y)))) (sqrt.f64 (/.f64 y x)))
(.f64 (/.f64 y (.f64 x (.f64 x x))) (.f64 x x))
(.f64 (/.f64 y (.f64 x x)) x)
(.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y)))) (sqrt.f64 (/.f64 y x)))
(*.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))) (/.f64 y x))
(*.f64 (exp.f64 (log.f64 (neg.f64 (sqrt.f64 (/.f64 y x))))) (sqrt.f64 (/.f64 y x)))
(-.f64 #s(literal 0 binary64) (atan.f64 (/.f64 y x)))
(atan.f64 (/.f64 y x))
(neg.f64 (atan.f64 (/.f64 y x)))
(*.f64 #s(literal -1 binary64) (atan.f64 (/.f64 y x)))
(+.f64 (/.f64 x y) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (/.f64 x y))
(+.f64 (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)) (/.f64 x y))
(exp.f64 (log.f64 (/.f64 x y)))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 x y)) #s(literal -1/2 binary64)) #s(literal -2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 (/.f64 x y))) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 y x) (/.f64 y x))) #s(literal -1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal -1 binary64))) (log.f64 (/.f64 y x))))
(exp.f64 (.f64 (.f64 #s(literal -1/2 binary64) (log.f64 (/.f64 y x))) #s(literal 2 binary64)))
(exp.f64 (-.f64 (.f64 (log.f64 (/.f64 x y)) #s(literal 3 binary64)) (.f64 #s(literal 2 binary64) (log.f64 (/.f64 x y)))))
(-.f64 #s(literal 0 binary64) (/.f64 x y))
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 (.f64 x x) (.f64 y y))) (/.f64 x y))
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 x y)) (/.f64 x y))
(sqrt.f64 (/.f64 (.f64 x x) (.f64 y y)))
(fma.f64 #s(literal 1 binary64) (/.f64 x y) #s(literal 0 binary64))
(fma.f64 (/.f64 x y) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (/.f64 x y) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (/.f64 x y) (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 x y) #s(literal 0 binary64))
(fma.f64 x (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64) (/.f64 x y))
(fma.f64 (/.f64 #s(literal 1 binary64) y) x #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) y) (pow.f64 (exp.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 x))) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 x y)) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 (/.f64 x y)) (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 (/.f64 x y)) (*.f64 (sqrt.f64 (/.f64 x y)) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 (/.f64 x y)) (neg.f64 (sqrt.f64 (/.f64 x y))) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 (/.f64 x y)) (/.f64 (sqrt.f64 (/.f64 x y)) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 y x) #s(literal 0 binary64))
(fma.f64 (/.f64 (.f64 x (.f64 x x)) (.f64 y (.f64 y y))) (*.f64 (/.f64 y x) (/.f64 y x)) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 x (sqrt.f64 y)) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 #s(literal 1 binary64) x)) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) x) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 x y)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 x y)) #s(literal 0 binary64))
(fma.f64 (/.f64 x (sqrt.f64 y)) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal 0 binary64))
(fma.f64 (/.f64 x (sqrt.f64 y)) (/.f64 #s(literal -1 binary64) (sqrt.f64 y)) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 y)) (/.f64 x (sqrt.f64 y)) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (/.f64 (/.f64 #s(literal 1 binary64) y) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (/.f64 (/.f64 #s(literal 1 binary64) y) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) #s(literal 0 binary64))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) y) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) #s(literal 0 binary64))
(fma.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 #s(literal 1 binary64) x)) #s(literal 0 binary64))
(fma.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 #s(literal 1 binary64) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal 1 binary64)) #s(literal 0 binary64))
(fma.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal -1 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 #s(literal 1 binary64) x)) #s(literal 0 binary64))
(fma.f64 (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) y))) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal 0 binary64))
(fma.f64 (/.f64 x (.f64 y (.f64 y y))) (*.f64 y y) #s(literal 0 binary64))
(fma.f64 (/.f64 x (*.f64 y y)) y #s(literal 0 binary64))
(fma.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))) (/.f64 x y) #s(literal 0 binary64))
(fma.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 x))) (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64))
(neg.f64 (/.f64 x y))
(/.f64 #s(literal 1 binary64) (/.f64 y x))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 x (.f64 x x)) (.f64 y (.f64 y y)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 x y) (/.f64 (.f64 x x) (.f64 y y))))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 (/.f64 y x)) (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y)))))
(/.f64 (/.f64 x y) #s(literal 1 binary64))
(/.f64 (/.f64 x y) #s(literal -1 binary64))
(/.f64 (/.f64 x y) (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))))
(/.f64 (/.f64 x y) (exp.f64 (-.f64 (log.f64 #s(literal -1 binary64)) #s(literal 0 binary64))))
(/.f64 (/.f64 x y) (exp.f64 (+.f64 (log.f64 #s(literal -1 binary64)) #s(literal 0 binary64))))
(/.f64 #s(literal -1 binary64) (/.f64 y x))
(/.f64 x y)
(/.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 1 binary64) x))
(/.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 y x)))
(/.f64 (sqrt.f64 (/.f64 x y)) (neg.f64 (sqrt.f64 (/.f64 y x))))
(/.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 x y))
(/.f64 (.f64 x x) (.f64 y x))
(/.f64 (.f64 x x) (.f64 x y))
(/.f64 (/.f64 (.f64 x (.f64 x x)) (.f64 y (.f64 y y))) (/.f64 (.f64 x x) (.f64 y y)))
(/.f64 (/.f64 (.f64 x (.f64 x x)) (.f64 y (.f64 y y))) (+.f64 #s(literal 0 binary64) (-.f64 (/.f64 (.f64 x x) (.f64 y y)) #s(literal 0 binary64))))
(/.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 y x)))
(/.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) (neg.f64 (sqrt.f64 (/.f64 y x))))
(/.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) y))
(/.f64 (.f64 x (.f64 x x)) (.f64 y (.f64 x x)))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 y x)) y) (.f64 y (/.f64 y x)))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 y x)) (.f64 y y))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (sqrt.f64 (/.f64 y x))) (.f64 y (sqrt.f64 (/.f64 x y)))) (*.f64 y (sqrt.f64 (/.f64 y x))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 y (/.f64 x y))) y)
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 (.f64 x x) (.f64 y y))) (.f64 y (/.f64 (.f64 x (.f64 x x)) (.f64 y (.f64 y y))))) (.f64 y (/.f64 (.f64 x x) (*.f64 y y))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 y (/.f64 (.f64 x x) (.f64 y y)))) (.f64 y (/.f64 x y)))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (sqrt.f64 (/.f64 y x))) (.f64 y (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))))) (.f64 y (sqrt.f64 (/.f64 y x))))
(/.f64 (*.f64 (sqrt.f64 (/.f64 x y)) #s(literal -1 binary64)) (sqrt.f64 (/.f64 y x)))
(/.f64 (.f64 (.f64 x (.f64 x x)) (/.f64 #s(literal 1 binary64) y)) (.f64 x x))
(/.f64 (.f64 (.f64 x (.f64 x x)) (/.f64 #s(literal 1 binary64) y)) (.f64 (*.f64 x x) #s(literal -1 binary64)))
(/.f64 (.f64 (.f64 x x) #s(literal -1 binary64)) (*.f64 x y))
(/.f64 (.f64 (.f64 x x) (/.f64 #s(literal 1 binary64) y)) x)
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) y) (.f64 x (.f64 x x))) (.f64 x x))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) y) (.f64 x x)) x)
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y)))) (sqrt.f64 (/.f64 y x)))
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y)))) (neg.f64 (sqrt.f64 (/.f64 y x))))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 y x)))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 x y))) (neg.f64 (sqrt.f64 (/.f64 y x))))
(/.f64 (/.f64 x (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) y) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y)))) (sqrt.f64 (/.f64 y x)))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y)))) (sqrt.f64 (/.f64 y x)))
(/.f64 (.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) #s(literal 1 binary64)) (sqrt.f64 (/.f64 y x)))
(/.f64 (.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) #s(literal -1 binary64)) (sqrt.f64 (/.f64 y x)))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (sqrt.f64 y))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) (sqrt.f64 y)) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) (sqrt.f64 (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (sqrt.f64 (/.f64 y x))))
(/.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (sqrt.f64 y))
(/.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 y)) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(/.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (sqrt.f64 (/.f64 y x))))
(/.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))) (/.f64 y x))
(/.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 x))) y)
(/.f64 (exp.f64 (+.f64 #s(literal 0 binary64) (log.f64 #s(literal -1 binary64)))) (/.f64 y x))
(/.f64 (exp.f64 (log.f64 (/.f64 (.f64 x (.f64 x x)) (.f64 y (.f64 y y))))) (/.f64 (.f64 x x) (.f64 y y)))
(/.f64 (exp.f64 (neg.f64 (log.f64 (neg.f64 (sqrt.f64 (/.f64 y x)))))) (sqrt.f64 (/.f64 y x)))
(pow.f64 (/.f64 x y) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 (/.f64 y x)) #s(literal -2 binary64))
(pow.f64 (/.f64 y x) #s(literal -1 binary64))
(pow.f64 (sqrt.f64 (/.f64 x y)) #s(literal 2 binary64))
(pow.f64 (/.f64 (.f64 x x) (.f64 y y)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 y x))) #s(literal -4 binary64))
(pow.f64 (*.f64 (/.f64 y x) (/.f64 y x)) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 (/.f64 y x)))
(pow.f64 (.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 x x) (*.f64 y y))) #s(literal 1/4 binary64))
(pow.f64 (/.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 x (.f64 x x)) (.f64 y (.f64 y y)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 x y) (/.f64 (.f64 x x) (.f64 y y))) #s(literal -1 binary64))
(pow.f64 (/.f64 (sqrt.f64 (/.f64 y x)) (*.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y)))) #s(literal -1 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) #s(literal 1 binary64)) (log.f64 (/.f64 y x)))
(pow.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) #s(literal -1 binary64)) (log.f64 (/.f64 x y)))
(pow.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) #s(literal 2 binary64)) (*.f64 (log.f64 (/.f64 x y)) #s(literal -1/2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) #s(literal -1/2 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 (/.f64 x y))))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (log.f64 (/.f64 x y)))
(*.f64 #s(literal 1 binary64) (/.f64 x y))
(*.f64 (/.f64 x y) #s(literal 1 binary64))
(*.f64 (/.f64 x y) #s(literal -1 binary64))
(*.f64 (/.f64 x y) (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 x y))
(*.f64 x (/.f64 #s(literal 1 binary64) y))
(*.f64 (/.f64 #s(literal 1 binary64) y) x)
(*.f64 (/.f64 #s(literal 1 binary64) y) (pow.f64 (exp.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 x))))
(*.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 x y)))
(.f64 (sqrt.f64 (/.f64 x y)) (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))))
(.f64 (sqrt.f64 (/.f64 x y)) (.f64 (sqrt.f64 (/.f64 x y)) #s(literal -1 binary64)))
(*.f64 (sqrt.f64 (/.f64 x y)) (neg.f64 (sqrt.f64 (/.f64 x y))))
(*.f64 (sqrt.f64 (/.f64 x y)) (/.f64 (sqrt.f64 (/.f64 x y)) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 x x) (*.f64 y y)) (/.f64 y x))
(.f64 (/.f64 (.f64 x (.f64 x x)) (.f64 y (.f64 y y))) (.f64 (/.f64 y x) (/.f64 y x)))
(*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 x (sqrt.f64 y)))
(*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 #s(literal 1 binary64) x)))
(.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) x))
(.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 x y)))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 x y)))
(*.f64 (/.f64 x (sqrt.f64 y)) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))
(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 #s(literal -1 binary64) (sqrt.f64 y)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 y)) (/.f64 x (sqrt.f64 y)))
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (/.f64 (/.f64 #s(literal 1 binary64) y) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (/.f64 (/.f64 #s(literal 1 binary64) y) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) y) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 #s(literal 1 binary64) x)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 #s(literal 1 binary64) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal 1 binary64)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal -1 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (/.f64 #s(literal 1 binary64) x)))
(.f64 (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) y))) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))
(.f64 (/.f64 x (.f64 y (.f64 y y))) (.f64 y y))
(.f64 (/.f64 x (.f64 y y)) y)
(*.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 #s(literal -1 binary64))) (/.f64 x y))
(*.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 x))) (/.f64 #s(literal 1 binary64) y))

eval122.0ms (3.4%)

Memory: -7.1MiB live, 76.3MiB allocated
Compiler: Compiled 3 847 to 885 computations (77% saved)

prune125.0ms (3.5%)

Memory

15.0MiB live, 87.4MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	343	2	345
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	344	3	347

Accuracy

100.0%

Counts

347 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	72.2%	(atan.f64 (/.f64 (.f64 y y) (.f64 y x)))
✓	100.0%	(atan.f64 (/.f64 y x))
▶	98.6%	(atan.f64 (/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) x)))

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify1.5s (43%)

Memory

-12.1MiB live, 189.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 y x)
cost-diff	0	(*.f64 y y)
cost-diff	0	(atan.f64 (/.f64 (.f64 y y) (.f64 y x)))
cost-diff	640	(/.f64 (.f64 y y) (.f64 y x))
cost-diff	0	(/.f64 #s(literal 1 binary64) y)
cost-diff	0	(atan.f64 (/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) x)))
cost-diff	320	(*.f64 (/.f64 #s(literal 1 binary64) y) x)
cost-diff	704	(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) x))

Rules

6 370×	`lower-*.f32`
6 364×	`lower-*.f64`
3 338×	`lower-pow.f64`
3 338×	`lower-pow.f32`
3 168×	`cube-prod`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	49
0	19	49
1	34	31
2	56	31
3	123	31
4	461	31
5	1471	31
6	1697	31
7	1947	31
8	2298	31
9	2788	31
10	3400	31
11	3678	31
12	3822	31
13	3912	31
14	4013	31
15	4175	31
16	4993	31
17	6232	31
18	6733	31
19	6980	31
20	7109	31
21	7228	31
22	7355	31
23	7462	31
24	7569	31
25	7676	31
26	7783	31
27	7985	31
0	8013	31

Stop Event

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

Calls

Call 1

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

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

localize110.0ms (3.1%)

Memory

-18.4MiB live, 40.7MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 y y)
accuracy	0	(*.f64 y x)
accuracy	0.0078125	(atan.f64 (/.f64 (.f64 y y) (.f64 y x)))
accuracy	23.202305035748996	(/.f64 (.f64 y y) (.f64 y x))
accuracy	0	(/.f64 #s(literal 1 binary64) y)
accuracy	0.0078125	(atan.f64 (/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) x)))
accuracy	0.1640625	(*.f64 (/.f64 #s(literal 1 binary64) y) x)
accuracy	0.9775427522330941	(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) x))

Samples

92.0ms

256×

valid

Compiler

Compiled 51 to 13 computations (74.5% saved)

Precisions

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

ival-div: 76.0ms (90.8% of total)

ival-mult: 5.0ms (6% of total)

ival-atan: 3.0ms (3.6% of total)

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

exact: 0.0ms (0% of total)

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

series6.0ms (0.2%)

Memory

6.2MiB live, 6.2MiB allocated

Counts

8 → 168

Calls

Call 1

Inputs
#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())
#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())
#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())
#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())
#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())
#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())

Outputs
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) (patch (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) y) x) (patch (.f64 (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) (patch (atan.f64 (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ 1 y) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) y) (patch (/.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 (.f64 y y) (.f64 y x)) (patch (/.f64 (.f64 y y) (.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf y) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor 0 x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor inf x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (atan (/ y x)) (taylor -inf x) (#s(alt (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) (patch (atan.f64 (/.f64 (.f64 y y) (.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor 0 y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor 0 y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor 0 y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor 0 y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 y x) (patch (.f64 y x) #<representation binary64>) () ())) ())

Calls

42 calls:

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

simplify6.0ms (0.2%)

Memory

9.7MiB live, 9.7MiB allocated

Algorithm

1×	egg-herbie

Rules

6×	`lower-*.f64`
6×	`lower-/.f32`
6×	`lower-/.f64`
6×	`lower-*.f32`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	552
1	14	552
0	14	552

Stop Event

1×	iter limit
1×	saturated

Counts

168 → 168

Calls

Call 1

Inputs
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ 1 y)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(atan (/ y x))
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)

Outputs
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(/ x y)
(/.f64 x y)
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ 1 y)
(/.f64 #s(literal 1 binary64) y)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(/ y x)
(/.f64 y x)
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(atan (/ y x))
(atan.f64 (/.f64 y x))
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)

rewrite172.0ms (4.8%)

Memory

-18.6MiB live, 59.0MiB allocated

Rules

822×	`lower-*.f32`
816×	`lower-*.f64`
720×	`lower-/.f32`
714×	`lower-/.f64`
430×	`frac-times`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	44
0	19	44
1	57	26
2	234	26
0	1588	26

Stop Event

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

Counts

8 → 351

Calls

Call 1

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

Outputs
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 x y))))
(-.f64 #s(literal 0 binary64) (/.f64 (neg.f64 y) x))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 x)) (/.f64 (neg.f64 y) x))
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 y (neg.f64 x))) (/.f64 (neg.f64 y) x))
(neg.f64 (/.f64 (neg.f64 y) x))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
(/.f64 #s(literal 1 binary64) (/.f64 y (/.f64 (*.f64 y y) x)))
(/.f64 y x)
(/.f64 y (.f64 (/.f64 #s(literal -1 binary64) y) (.f64 y (neg.f64 x))))
(/.f64 y (neg.f64 (neg.f64 x)))
(/.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 x (*.f64 y y)))
(/.f64 (.f64 y y) (.f64 y x))
(/.f64 (.f64 y y) (.f64 (*.f64 y (neg.f64 x)) #s(literal -1 binary64)))
(/.f64 #s(literal -1 binary64) (/.f64 x (neg.f64 y)))
(/.f64 (neg.f64 y) (neg.f64 x))
(/.f64 (neg.f64 y) (.f64 (/.f64 #s(literal 1 binary64) y) (.f64 y (neg.f64 x))))
(/.f64 (neg.f64 y) (.f64 (/.f64 #s(literal -1 binary64) y) (.f64 y x)))
(/.f64 (neg.f64 y) (.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) y)))
(/.f64 (neg.f64 y) (.f64 (.f64 y (neg.f64 x)) (/.f64 #s(literal 1 binary64) y)))
(/.f64 (neg.f64 (.f64 y y)) (.f64 y (neg.f64 x)))
(/.f64 (/.f64 y x) #s(literal 1 binary64))
(/.f64 (/.f64 y x) (*.f64 (/.f64 #s(literal 1 binary64) y) y))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (/.f64 #s(literal 1 binary64) (.f64 y y)))
(/.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) y))
(/.f64 (/.f64 (neg.f64 y) x) #s(literal -1 binary64))
(/.f64 (/.f64 (neg.f64 y) x) (*.f64 (/.f64 #s(literal -1 binary64) y) y))
(/.f64 (/.f64 (neg.f64 y) x) (*.f64 y (/.f64 #s(literal -1 binary64) y)))
(/.f64 (/.f64 (*.f64 y y) x) y)
(/.f64 (.f64 y (.f64 y y)) (.f64 (.f64 y x) y))
(/.f64 (.f64 y (neg.f64 (.f64 y y))) (.f64 (.f64 y x) (neg.f64 y)))
(/.f64 (.f64 (.f64 y y) y) (.f64 y (.f64 y x)))
(/.f64 (.f64 (.f64 y y) (neg.f64 y)) (.f64 y (.f64 y (neg.f64 x))))
(/.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal -1 binary64) y))
(/.f64 (.f64 (neg.f64 y) (.f64 y y)) (.f64 (.f64 y (neg.f64 x)) y))
(/.f64 (.f64 (neg.f64 y) (neg.f64 (.f64 y y))) (.f64 (.f64 y (neg.f64 x)) (neg.f64 y)))
(/.f64 (.f64 (neg.f64 (.f64 y y)) y) (.f64 (neg.f64 y) (.f64 y x)))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (neg.f64 y)) (.f64 (neg.f64 y) (.f64 y (neg.f64 x))))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (/.f64 #s(literal 1 binary64) x)) (neg.f64 y))
(/.f64 (.f64 (.f64 y y) (/.f64 y x)) (*.f64 y y))
(/.f64 (*.f64 (neg.f64 y) (/.f64 y x)) (neg.f64 y))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (/.f64 y x)) (neg.f64 (*.f64 y y)))
(/.f64 (.f64 (/.f64 y x) (.f64 y y)) (*.f64 y y))
(/.f64 (*.f64 (/.f64 y x) (neg.f64 y)) (neg.f64 y))
(/.f64 (.f64 (/.f64 y x) (neg.f64 (.f64 y y))) (neg.f64 (*.f64 y y)))
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal -1 binary64) y))
(/.f64 (neg.f64 (/.f64 (*.f64 y y) x)) (neg.f64 y))
(/.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) y))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) y))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) y))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) x) (neg.f64 (.f64 y y))) (neg.f64 y))
(/.f64 (/.f64 (neg.f64 (*.f64 y y)) x) (neg.f64 y))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) (pow.f64 y #s(literal -1/2 binary64))) (pow.f64 y #s(literal -1/2 binary64)))
(/.f64 (/.f64 (/.f64 (*.f64 y y) x) #s(literal -1 binary64)) (neg.f64 y))
(pow.f64 (/.f64 x y) #s(literal -1 binary64))
(pow.f64 (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 x y) (/.f64 x y)) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 x y))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 y x))
(*.f64 y (/.f64 #s(literal 1 binary64) x))
(.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 (.f64 y y) x))
(.f64 (.f64 y y) (/.f64 #s(literal 1 binary64) (*.f64 y x)))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 y) x))
(.f64 (neg.f64 y) (/.f64 y (.f64 y (neg.f64 x))))
(.f64 (neg.f64 y) (/.f64 (neg.f64 y) (.f64 y x)))
(.f64 (neg.f64 y) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (/.f64 #s(literal -1 binary64) y)))
(*.f64 (neg.f64 y) (/.f64 (/.f64 y x) (neg.f64 y)))
(*.f64 (neg.f64 y) (/.f64 #s(literal 1 binary64) (neg.f64 x)))
(.f64 (neg.f64 y) (.f64 y (/.f64 #s(literal -1 binary64) (*.f64 y x))))
(.f64 (neg.f64 (.f64 y y)) (/.f64 #s(literal -1 binary64) (*.f64 y x)))
(.f64 (neg.f64 (.f64 y y)) (.f64 (/.f64 #s(literal -1 binary64) (.f64 y x)) #s(literal 1 binary64)))
(*.f64 (/.f64 y x) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (*.f64 y y))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 y y)) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) y) (/.f64 (.f64 y y) (neg.f64 x)))
(*.f64 (/.f64 #s(literal 1 binary64) x) y)
(.f64 (/.f64 #s(literal -1 binary64) (.f64 y x)) (neg.f64 (*.f64 y y)))
(*.f64 (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)) (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)))
(.f64 (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)) (.f64 (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (neg.f64 y) x) #s(literal -1 binary64))
(*.f64 (/.f64 (neg.f64 y) x) (/.f64 y (neg.f64 y)))
(*.f64 (/.f64 (neg.f64 y) x) (/.f64 (neg.f64 y) y))
(.f64 (/.f64 (.f64 y y) x) (/.f64 #s(literal 1 binary64) y))
(*.f64 (/.f64 y (neg.f64 y)) (/.f64 (neg.f64 y) x))
(*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 y))
(*.f64 (/.f64 (neg.f64 y) y) (/.f64 (neg.f64 y) x))
(.f64 (/.f64 y (pow.f64 y #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (pow.f64 y #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (neg.f64 y))
(*.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 y))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x y) #s(literal -1/2 binary64))) (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (neg.f64 y))
(.f64 (/.f64 (/.f64 (.f64 y y) x) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) y))
(.f64 (/.f64 (/.f64 (.f64 y y) x) (neg.f64 (*.f64 y y))) (neg.f64 y))
(exp.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 x y)))))
(-.f64 #s(literal 0 binary64) (/.f64 x (neg.f64 y)))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 (*.f64 y y))) (/.f64 x (neg.f64 y)))
(neg.f64 (/.f64 x (neg.f64 y)))
(/.f64 #s(literal 1 binary64) (/.f64 y x))
(/.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 1 binary64) x))
(/.f64 x y)
(/.f64 (/.f64 x y) #s(literal 1 binary64))
(/.f64 (.f64 y x) (.f64 y y))
(/.f64 #s(literal -1 binary64) (/.f64 (neg.f64 y) x))
(/.f64 (/.f64 x (neg.f64 y)) #s(literal -1 binary64))
(/.f64 (.f64 y (neg.f64 x)) (neg.f64 (.f64 y y)))
(/.f64 (neg.f64 x) (neg.f64 y))
(/.f64 (neg.f64 x) (.f64 (/.f64 #s(literal -1 binary64) y) (.f64 y y)))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 y y)) (/.f64 #s(literal 1 binary64) (.f64 y x)))
(/.f64 (/.f64 x (*.f64 y y)) (/.f64 #s(literal 1 binary64) y))
(/.f64 (.f64 (.f64 y y) x) (.f64 y (.f64 y y)))
(/.f64 (.f64 (neg.f64 (.f64 y y)) x) (.f64 (neg.f64 y) (.f64 y y)))
(/.f64 (neg.f64 (neg.f64 x)) y)
(/.f64 (/.f64 x #s(literal -1 binary64)) (neg.f64 y))
(/.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (.f64 y y))) (/.f64 #s(literal -1 binary64) (.f64 y x)))
(/.f64 (.f64 (.f64 y y) (/.f64 x (*.f64 y y))) y)
(/.f64 (.f64 #s(literal -1 binary64) (/.f64 x (.f64 y y))) (/.f64 #s(literal -1 binary64) y))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (/.f64 x (*.f64 y y))) (neg.f64 y))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x y) #s(literal -1/2 binary64))) (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)))
(/.f64 (/.f64 (*.f64 y (neg.f64 x)) y) (neg.f64 y))
(pow.f64 (/.f64 x y) #s(literal 1 binary64))
(pow.f64 (/.f64 y x) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 x y))
(.f64 y (/.f64 x (.f64 y y)))
(.f64 y (.f64 (/.f64 x (*.f64 y y)) #s(literal 1 binary64)))
(.f64 y (/.f64 (/.f64 x (.f64 y y)) #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) y) x)
(*.f64 (/.f64 #s(literal 1 binary64) y) (neg.f64 (neg.f64 x)))
(*.f64 x (/.f64 #s(literal 1 binary64) y))
(*.f64 (/.f64 x y) #s(literal 1 binary64))
(.f64 (.f64 y y) (.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 x (.f64 y y))))
(.f64 (.f64 y x) (/.f64 #s(literal 1 binary64) (*.f64 y y)))
(.f64 (.f64 y x) (.f64 (/.f64 #s(literal 1 binary64) (.f64 y y)) #s(literal 1 binary64)))
(.f64 (.f64 y x) (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 y y)) #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 x (neg.f64 y)))
(*.f64 (/.f64 x (neg.f64 y)) #s(literal -1 binary64))
(*.f64 (/.f64 x (neg.f64 y)) (/.f64 y (neg.f64 y)))
(*.f64 (/.f64 x (neg.f64 y)) (/.f64 (neg.f64 y) y))
(.f64 (neg.f64 y) (/.f64 (neg.f64 x) (.f64 y y)))
(.f64 (neg.f64 y) (/.f64 x (neg.f64 (.f64 y y))))
(.f64 (.f64 y (neg.f64 x)) (/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 y y))))
(*.f64 (/.f64 #s(literal -1 binary64) y) (neg.f64 x))
(*.f64 (/.f64 #s(literal -1 binary64) y) (/.f64 x #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) y) (/.f64 (.f64 y x) (neg.f64 y)))
(*.f64 (neg.f64 x) (/.f64 #s(literal -1 binary64) y))
(*.f64 (neg.f64 x) (/.f64 (/.f64 #s(literal 1 binary64) y) #s(literal -1 binary64)))
(.f64 (neg.f64 x) (/.f64 y (neg.f64 (.f64 y y))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 y y)) (*.f64 y x))
(.f64 (pow.f64 y #s(literal -1/2 binary64)) (.f64 (pow.f64 y #s(literal -1/2 binary64)) x))
(.f64 (/.f64 x (.f64 y y)) y)
(*.f64 (neg.f64 (neg.f64 x)) (/.f64 #s(literal 1 binary64) y))
(*.f64 (/.f64 x #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) y))
(.f64 (/.f64 x #s(literal -1 binary64)) (/.f64 (neg.f64 y) (.f64 y y)))
(*.f64 (/.f64 y (neg.f64 y)) (/.f64 x (neg.f64 y)))
(*.f64 (/.f64 (neg.f64 y) y) (/.f64 x (neg.f64 y)))
(.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (.f64 y y))) (*.f64 y (neg.f64 x)))
(.f64 (.f64 x (pow.f64 y #s(literal -1/2 binary64))) (pow.f64 y #s(literal -1/2 binary64)))
(.f64 (/.f64 x (neg.f64 (.f64 y y))) (neg.f64 y))
(atan.f64 (/.f64 y x))
(neg.f64 (atan.f64 (/.f64 (neg.f64 y) x)))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 y)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) y))
(neg.f64 (/.f64 #s(literal -1 binary64) y))
(/.f64 #s(literal 1 binary64) y)
(/.f64 y (*.f64 y y))
(/.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 1 binary64))
(/.f64 (.f64 y y) (.f64 (*.f64 y y) y))
(/.f64 #s(literal -1 binary64) (neg.f64 y))
(/.f64 (neg.f64 y) (neg.f64 (*.f64 y y)))
(/.f64 (neg.f64 (.f64 y y)) (.f64 (*.f64 y y) (neg.f64 y)))
(/.f64 (/.f64 #s(literal -1 binary64) y) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 y y)) (/.f64 #s(literal 1 binary64) y))
(pow.f64 y #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 1 binary64))
(pow.f64 (*.f64 y y) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 y #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (exp.f64 (log.f64 y)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) y))
(.f64 y (/.f64 #s(literal 1 binary64) (.f64 y y)))
(*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 1 binary64))
(.f64 (.f64 y y) (/.f64 (/.f64 #s(literal 1 binary64) y) (*.f64 y y)))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) y))
(.f64 #s(literal -1 binary64) (/.f64 (neg.f64 y) (.f64 y y)))
(*.f64 (/.f64 #s(literal -1 binary64) y) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) y) (/.f64 (neg.f64 y) y))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 y y)) y)
(*.f64 (pow.f64 y #s(literal -1/2 binary64)) (pow.f64 y #s(literal -1/2 binary64)))
(*.f64 (pow.f64 y #s(literal -1/2 binary64)) (/.f64 (pow.f64 y #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 y #s(literal -1/2 binary64)) (.f64 (pow.f64 y #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (.f64 y y))) (neg.f64 y))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -1/2 binary64))) (pow.f64 y #s(literal -1/2 binary64)))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 x y))))
(-.f64 #s(literal 0 binary64) (/.f64 (neg.f64 y) x))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 x)) (/.f64 (neg.f64 y) x))
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 y (neg.f64 x))) (/.f64 (neg.f64 y) x))
(neg.f64 (/.f64 (neg.f64 y) x))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
(/.f64 #s(literal 1 binary64) (/.f64 y (/.f64 (*.f64 y y) x)))
(/.f64 y x)
(/.f64 y (.f64 (/.f64 #s(literal -1 binary64) y) (.f64 y (neg.f64 x))))
(/.f64 y (neg.f64 (neg.f64 x)))
(/.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 x (*.f64 y y)))
(/.f64 (.f64 y y) (.f64 y x))
(/.f64 (.f64 y y) (.f64 (*.f64 y (neg.f64 x)) #s(literal -1 binary64)))
(/.f64 #s(literal -1 binary64) (/.f64 x (neg.f64 y)))
(/.f64 (neg.f64 y) (neg.f64 x))
(/.f64 (neg.f64 y) (.f64 (/.f64 #s(literal 1 binary64) y) (.f64 y (neg.f64 x))))
(/.f64 (neg.f64 y) (.f64 (/.f64 #s(literal -1 binary64) y) (.f64 y x)))
(/.f64 (neg.f64 y) (.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) y)))
(/.f64 (neg.f64 y) (.f64 (.f64 y (neg.f64 x)) (/.f64 #s(literal 1 binary64) y)))
(/.f64 (neg.f64 (.f64 y y)) (.f64 y (neg.f64 x)))
(/.f64 (/.f64 y x) #s(literal 1 binary64))
(/.f64 (/.f64 y x) (*.f64 (/.f64 #s(literal 1 binary64) y) y))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (/.f64 #s(literal 1 binary64) (.f64 y y)))
(/.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) y))
(/.f64 (/.f64 (neg.f64 y) x) #s(literal -1 binary64))
(/.f64 (/.f64 (neg.f64 y) x) (*.f64 (/.f64 #s(literal -1 binary64) y) y))
(/.f64 (/.f64 (neg.f64 y) x) (*.f64 y (/.f64 #s(literal -1 binary64) y)))
(/.f64 (/.f64 (*.f64 y y) x) y)
(/.f64 (.f64 y (.f64 y y)) (.f64 (.f64 y x) y))
(/.f64 (.f64 y (neg.f64 (.f64 y y))) (.f64 (.f64 y x) (neg.f64 y)))
(/.f64 (.f64 (.f64 y y) y) (.f64 y (.f64 y x)))
(/.f64 (.f64 (.f64 y y) (neg.f64 y)) (.f64 y (.f64 y (neg.f64 x))))
(/.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal -1 binary64) y))
(/.f64 (.f64 (neg.f64 y) (.f64 y y)) (.f64 (.f64 y (neg.f64 x)) y))
(/.f64 (.f64 (neg.f64 y) (neg.f64 (.f64 y y))) (.f64 (.f64 y (neg.f64 x)) (neg.f64 y)))
(/.f64 (.f64 (neg.f64 (.f64 y y)) y) (.f64 (neg.f64 y) (.f64 y x)))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (neg.f64 y)) (.f64 (neg.f64 y) (.f64 y (neg.f64 x))))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (/.f64 #s(literal 1 binary64) x)) (neg.f64 y))
(/.f64 (.f64 (.f64 y y) (/.f64 y x)) (*.f64 y y))
(/.f64 (*.f64 (neg.f64 y) (/.f64 y x)) (neg.f64 y))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (/.f64 y x)) (neg.f64 (*.f64 y y)))
(/.f64 (.f64 (/.f64 y x) (.f64 y y)) (*.f64 y y))
(/.f64 (*.f64 (/.f64 y x) (neg.f64 y)) (neg.f64 y))
(/.f64 (.f64 (/.f64 y x) (neg.f64 (.f64 y y))) (neg.f64 (*.f64 y y)))
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal -1 binary64) y))
(/.f64 (neg.f64 (/.f64 (*.f64 y y) x)) (neg.f64 y))
(/.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) y))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) y))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) y))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) x) (neg.f64 (.f64 y y))) (neg.f64 y))
(/.f64 (/.f64 (neg.f64 (*.f64 y y)) x) (neg.f64 y))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) (pow.f64 y #s(literal -1/2 binary64))) (pow.f64 y #s(literal -1/2 binary64)))
(/.f64 (/.f64 (/.f64 (*.f64 y y) x) #s(literal -1 binary64)) (neg.f64 y))
(pow.f64 (/.f64 x y) #s(literal -1 binary64))
(pow.f64 (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 x y) (/.f64 x y)) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 x y))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 y x))
(*.f64 y (/.f64 #s(literal 1 binary64) x))
(.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 (.f64 y y) x))
(.f64 (.f64 y y) (/.f64 #s(literal 1 binary64) (*.f64 y x)))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 y) x))
(.f64 (neg.f64 y) (/.f64 y (.f64 y (neg.f64 x))))
(.f64 (neg.f64 y) (/.f64 (neg.f64 y) (.f64 y x)))
(.f64 (neg.f64 y) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (/.f64 #s(literal -1 binary64) y)))
(*.f64 (neg.f64 y) (/.f64 (/.f64 y x) (neg.f64 y)))
(*.f64 (neg.f64 y) (/.f64 #s(literal 1 binary64) (neg.f64 x)))
(.f64 (neg.f64 y) (.f64 y (/.f64 #s(literal -1 binary64) (*.f64 y x))))
(.f64 (neg.f64 (.f64 y y)) (/.f64 #s(literal -1 binary64) (*.f64 y x)))
(.f64 (neg.f64 (.f64 y y)) (.f64 (/.f64 #s(literal -1 binary64) (.f64 y x)) #s(literal 1 binary64)))
(*.f64 (/.f64 y x) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (*.f64 y y))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 y y)) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) y) (/.f64 (.f64 y y) (neg.f64 x)))
(*.f64 (/.f64 #s(literal 1 binary64) x) y)
(.f64 (/.f64 #s(literal -1 binary64) (.f64 y x)) (neg.f64 (*.f64 y y)))
(*.f64 (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)) (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)))
(.f64 (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)) (.f64 (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (neg.f64 y) x) #s(literal -1 binary64))
(*.f64 (/.f64 (neg.f64 y) x) (/.f64 y (neg.f64 y)))
(*.f64 (/.f64 (neg.f64 y) x) (/.f64 (neg.f64 y) y))
(.f64 (/.f64 (.f64 y y) x) (/.f64 #s(literal 1 binary64) y))
(*.f64 (/.f64 y (neg.f64 y)) (/.f64 (neg.f64 y) x))
(*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 y))
(*.f64 (/.f64 (neg.f64 y) y) (/.f64 (neg.f64 y) x))
(.f64 (/.f64 y (pow.f64 y #s(literal -1/2 binary64))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 y x)) (pow.f64 y #s(literal -1/2 binary64))))
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (neg.f64 y))
(*.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 y))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x y) #s(literal -1/2 binary64))) (pow.f64 (/.f64 x y) #s(literal -1/2 binary64)))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) (neg.f64 y))
(.f64 (/.f64 (/.f64 (.f64 y y) x) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) y))
(.f64 (/.f64 (/.f64 (.f64 y y) x) (neg.f64 (*.f64 y y))) (neg.f64 y))
(atan.f64 (/.f64 y x))
(neg.f64 (atan.f64 (/.f64 (neg.f64 y) x)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 y)))
(-.f64 #s(literal 0 binary64) (neg.f64 (*.f64 y y)))
(neg.f64 (neg.f64 (*.f64 y y)))
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 1 binary64) y)))
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal -1 binary64) y) (/.f64 #s(literal -1 binary64) y)))
(/.f64 y (/.f64 #s(literal 1 binary64) y))
(/.f64 (*.f64 y y) #s(literal 1 binary64))
(/.f64 (.f64 y y) (.f64 (/.f64 #s(literal 1 binary64) y) y))
(/.f64 (.f64 y y) (.f64 (/.f64 #s(literal -1 binary64) y) (neg.f64 y)))
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 #s(literal -1 binary64) y) (/.f64 #s(literal 1 binary64) y)))
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal -1 binary64) y)))
(/.f64 (neg.f64 y) (/.f64 #s(literal -1 binary64) y))
(/.f64 (neg.f64 (*.f64 y y)) #s(literal -1 binary64))
(/.f64 (neg.f64 (.f64 y y)) (.f64 (/.f64 #s(literal -1 binary64) y) y))
(/.f64 (neg.f64 (.f64 y y)) (.f64 (neg.f64 y) (/.f64 #s(literal 1 binary64) y)))
(/.f64 (neg.f64 (.f64 y y)) (.f64 (/.f64 #s(literal 1 binary64) y) (neg.f64 y)))
(/.f64 (neg.f64 (.f64 y y)) (.f64 y (/.f64 #s(literal -1 binary64) y)))
(/.f64 (.f64 y (.f64 y y)) y)
(/.f64 (.f64 y (neg.f64 (.f64 y y))) (neg.f64 y))
(/.f64 (.f64 (.f64 y y) y) y)
(/.f64 (.f64 (.f64 y y) (.f64 y y)) (.f64 y y))
(/.f64 (.f64 (.f64 y y) (neg.f64 y)) (neg.f64 y))
(/.f64 (.f64 (.f64 y y) (neg.f64 (.f64 y y))) (neg.f64 (.f64 y y)))
(/.f64 (.f64 (neg.f64 y) (.f64 y y)) (neg.f64 y))
(/.f64 (.f64 (neg.f64 y) (neg.f64 (.f64 y y))) y)
(/.f64 (.f64 (neg.f64 (.f64 y y)) y) (neg.f64 y))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (.f64 y y)) (neg.f64 (.f64 y y)))
(/.f64 (.f64 (neg.f64 (.f64 y y)) #s(literal -1 binary64)) (*.f64 (neg.f64 y) (/.f64 #s(literal -1 binary64) y)))
(/.f64 (.f64 (neg.f64 (.f64 y y)) (neg.f64 y)) y)
(/.f64 (.f64 (neg.f64 (.f64 y y)) (neg.f64 (.f64 y y))) (.f64 y y))
(pow.f64 y #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) y) #s(literal -2 binary64))
(pow.f64 (*.f64 y y) #s(literal 1 binary64))
(pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 1 binary64) y)) #s(literal -1 binary64))
(pow.f64 (exp.f64 (log.f64 y)) #s(literal 2 binary64))
(.f64 #s(literal 1 binary64) (.f64 y y))
(*.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 y) #s(literal 2 binary64)))
(*.f64 y y)
(.f64 (.f64 y y) #s(literal 1 binary64))
(.f64 (.f64 y y) (*.f64 (/.f64 #s(literal 1 binary64) y) y))
(.f64 #s(literal -1 binary64) (neg.f64 (.f64 y y)))
(*.f64 (neg.f64 y) (neg.f64 y))
(.f64 (pow.f64 (.f64 y y) #s(literal 2 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 2 binary64)))
(*.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 y)))
(.f64 (.f64 y (*.f64 y y)) (/.f64 #s(literal 1 binary64) y))
(.f64 (.f64 (.f64 y y) (.f64 y y)) (*.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 1 binary64) y)))
(-.f64 #s(literal 0 binary64) (*.f64 y (neg.f64 x)))
(neg.f64 (*.f64 y (neg.f64 x)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 y x)))
(/.f64 x (/.f64 #s(literal 1 binary64) y))
(/.f64 (*.f64 y x) #s(literal 1 binary64))
(/.f64 (*.f64 y (neg.f64 x)) #s(literal -1 binary64))
(/.f64 (neg.f64 x) (/.f64 #s(literal -1 binary64) y))
(/.f64 (.f64 (.f64 y y) x) y)
(/.f64 (.f64 (neg.f64 (.f64 y y)) x) (neg.f64 y))
(/.f64 (.f64 x (.f64 y y)) y)
(/.f64 (.f64 x (neg.f64 (.f64 y y))) (neg.f64 y))
(.f64 #s(literal 1 binary64) (.f64 y x))
(*.f64 y x)
(*.f64 y (neg.f64 (neg.f64 x)))
(*.f64 x y)
(.f64 (.f64 y y) (/.f64 x y))
(.f64 (.f64 y x) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 y (neg.f64 x)))
(*.f64 (neg.f64 y) (neg.f64 x))
(*.f64 (neg.f64 x) (neg.f64 y))
(*.f64 (neg.f64 (neg.f64 x)) y)
(.f64 (.f64 x (*.f64 y y)) (/.f64 #s(literal 1 binary64) y))

eval110.0ms (3.1%)

Memory: 5.2MiB live, 42.4MiB allocated
Compiler: Compiled 4 888 to 837 computations (82.9% saved)

prune61.0ms (1.7%)

Memory

17.3MiB live, 59.6MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	519	0	519
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	519	3	522

Accuracy

100.0%

Counts

522 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	72.2%	(atan.f64 (/.f64 (.f64 y y) (.f64 y x)))
✓	100.0%	(atan.f64 (/.f64 y x))
✓	98.6%	(atan.f64 (/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) x)))

Compiler

Compiled 54 to 33 computations (38.9% saved)

regimes19.0ms (0.5%)

Memory

-26.4MiB live, 12.4MiB allocated

Accuracy

Total -18.0b remaining (-230774%)

Threshold costs -18b (-230774%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(atan.f64 (/.f64 y x))

Calls

4 calls:

13.0ms	x
2.0ms	y
2.0ms	(/.f64 y x)
2.0ms	(atan.f64 (/.f64 y x))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(atan.f64 (/.f64 y x))`
100.0%	1	`(/.f64 y x)`

Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify5.0ms (0.1%)

Memory

7.0MiB live, 7.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4

Stop Event

1×

saturated

Calls

Call 1

Inputs
(atan.f64 (/.f64 y x))

Outputs
(atan.f64 (/.f64 y x))

soundness0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Stop Event

1×

done

Compiler

Compiled 6 to 4 computations (33.3% saved)

preprocess45.0ms (1.3%)

Memory: 6.9MiB live, 45.5MiB allocated
Compiler: Compiled 34 to 22 computations (35.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze7.0ms (0.2%)

sample776.0ms (21.8%)

explain41.0ms (1.2%)

preprocess14.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.1%)

localize44.0ms (1.2%)

series4.0ms (0.1%)

simplify3.0ms (0.1%)

rewrite67.0ms (1.9%)

eval25.0ms (0.7%)

prune10.0ms (0.3%)

simplify5.0ms (0.1%)

localize30.0ms (0.8%)

series3.0ms (0.1%)

simplify4.0ms (0.1%)

rewrite209.0ms (5.9%)

eval122.0ms (3.4%)

prune125.0ms (3.5%)

simplify1.5s (43%)

localize110.0ms (3.1%)

series6.0ms (0.2%)

simplify6.0ms (0.2%)

rewrite172.0ms (4.8%)

eval110.0ms (3.1%)

prune61.0ms (1.7%)

regimes19.0ms (0.5%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

preprocess45.0ms (1.3%)

end0.0ms (0%)

Profiling