Metrics for ab-angle->ABCF D

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

Precisions

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

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

const: 0.0ms (0% of total)

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

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

sample715.0ms (31.6%)

Results

531.0ms

8256×

valid

Precisions

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

ival-mult: 214.0ms (81.2% of total)

ival-neg: 40.0ms (15.2% of total)

const: 7.0ms (2.7% of total)

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

Bogosity

preprocess47.0ms (2.1%)

Algorithm

2×	egg-herbie

Rules

568×	`fma-define`
352×	`fma-define`
300×	`sum3-define`
292×	`fnmadd-define`
280×	`fnmsub-define`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	21	34
1	80	34
2	239	28
3	497	28
4	739	28
5	1070	28
6	1262	28
0	6	7
1	21	6
2	60	5
3	126	5
4	200	5
5	289	5
6	381	5
7	464	5
8	750	5
9	947	5
0	947	5

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(neg (* (* (* a a) b) b))

Outputs
(neg (* (* (* a a) b) b))
(-.f64 #s(literal 0 binary64) (.f64 b (.f64 a (*.f64 a b))))

Call 2

Inputs
(neg (* (* (* a a) b) b))
(neg (* (* (* (neg a) (neg a)) b) b))
(neg (* (* (* a a) (neg b)) (neg b)))
(neg (neg (* (* (* (neg a) (neg a)) b) b)))
(neg (neg (* (* (* a a) (neg b)) (neg b))))
(neg (* (* (* b b) a) a))

Outputs
(neg (* (* (* a a) b) b))
(neg (square (* a b)))
(neg (* (* (* (neg a) (neg a)) b) b))
(neg (square (* a b)))
(neg (* (* (* a a) (neg b)) (neg b)))
(neg (square (* a b)))
(neg (neg (* (* (* (neg a) (neg a)) b) b)))
(square (* a b))
(neg (neg (* (* (* a a) (neg b)) (neg b))))
(square (* a b))
(neg (* (* (* b b) a) a))
(neg (square (* a b)))

Symmetry

(abs a)

(abs b)

(sort a b)

explain67.0ms (2.9%)

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
31	2	(2.984378970332436e-228 4.126145517386625e+132)	1	(1.0621940444255202e-158 3.397534022053638e+117)	`(.f64 (.f64 a a) b)`
18	1	(5.35782010978885e-261 8.280020445039116e+98)	2	(3.988963336272303e-165 260177.3312863542)	`(.f64 (.f64 (*.f64 a a) b) b)`
0	0	-	0	-	`b`
0	0	-	0	-	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
0	0	-	0	-	`a`
0	0	-	0	-	`(*.f64 a a)`

Results

44.0ms

512×

valid

Compiler

Compiled 66 to 20 computations (69.7% saved)

Precisions

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

ival-mult: 12.0ms (81.6% of total)

ival-neg: 3.0ms (20.4% of total)

const: 0.0ms (0% of total)

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

eval0.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	93.8%	(-.f64 #s(literal 0 binary64) (.f64 b (.f64 a (*.f64 a b))))
▶	82.2%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify20.0ms (0.9%)

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 a b)
✓	cost-diff	0	(.f64 a (.f64 a b))
✓	cost-diff	0	(.f64 b (.f64 a (*.f64 a b)))
✓	cost-diff	0	(-.f64 #s(literal 0 binary64) (.f64 b (.f64 a (*.f64 a b))))
✓	cost-diff	-64	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
✓	cost-diff	0	(*.f64 a a)
✓	cost-diff	0	(.f64 (.f64 a a) b)
✓	cost-diff	0	(.f64 (.f64 (*.f64 a a) b) b)

Rules

576×	`fma-define`
300×	`sum3-define`
216×	`fnmadd-define`
182×	`fma-lowering-fma.f32`
182×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	32	36
2	85	36
3	181	36
4	247	36
5	323	36
6	433	36
7	492	36
8	778	36
9	975	36
0	975	36

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(neg (* (* (* a a) b) b))
(* (* (* a a) b) b)
(* (* a a) b)
(* a a)
a
b
(- 0 (* b (* a (* a b))))
0
(* b (* a (* a b)))
b
(* a (* a b))
a
(* a b)

Outputs
(neg (* (* (* a a) b) b))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 a (*.f64 b b))))
(* (* (* a a) b) b)
(.f64 a (.f64 a (*.f64 b b)))
(* (* a a) b)
(.f64 a (.f64 a b))
(* a a)
(*.f64 a a)
a
b
(- 0 (* b (* a (* a b))))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 a (*.f64 b b))))
0
#s(literal 0 binary64)
(* b (* a (* a b)))
(.f64 a (.f64 a (*.f64 b b)))
b
(* a (* a b))
(.f64 a (.f64 a b))
a
(* a b)
(*.f64 a b)

localize56.0ms (2.5%)

Localize:

Found 8 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(-.f64 #s(literal 0 binary64) (.f64 b (.f64 a (*.f64 a b))))
✓	accuracy	100.0%	(*.f64 a b)
✓	accuracy	99.8%	(.f64 a (.f64 a b))
✓	accuracy	93.8%	(.f64 b (.f64 a (*.f64 a b)))
✓	accuracy	100.0%	(*.f64 a a)
✓	accuracy	100.0%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
✓	accuracy	93.8%	(.f64 (.f64 (*.f64 a a) b) b)
✓	accuracy	88.6%	(.f64 (.f64 a a) b)

Results

43.0ms

256×

valid

Compiler

Compiled 55 to 12 computations (78.2% saved)

Precisions

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

ival-mult: 13.0ms (80.5% of total)

ival-sub: 1.0ms (6.2% of total)

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

const: 0.0ms (0% of total)

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

series48.0ms (2.1%)

Counts

8 → 180

Calls

Call 1

Inputs
#<alt (* (* (* a a) b) b)>
#<alt (* (* a a) b)>
#<alt (* a a)>
#<alt (neg (* (* (* a a) b) b))>
#<alt (- 0 (* b (* a (* a b))))>
#<alt (* b (* a (* a b)))>
#<alt (* a (* a b))>
#<alt (* a b)>

Outputs
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>

Calls

45 calls:

Time	Variable		Point	Expression
41.0ms	a	@	inf	(* (* (* a a) b) b)
1.0ms	a	@	0	(* a b)
1.0ms	a	@	0	(* (* (* a a) b) b)
1.0ms	b	@	inf	(* (* (* a a) b) b)
1.0ms	b	@	0	(* (* (* a a) b) b)

rewrite57.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

592×	`fma-define`
336×	`sum3-define`
218×	`fnmadd-define`
198×	`fma-lowering-fma.f32`
198×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	39
1	34	31
2	92	31
3	202	31
4	299	31
5	412	31
6	584	31
7	662	31
8	952	31
9	1149	31
0	1149	31

Stop Event

1×	iter limit
1×	saturated

Counts

8 → 170

Calls

Call 1

Inputs
(* (* (* a a) b) b)
(* (* a a) b)
(* a a)
(neg (* (* (* a a) b) b))
(- 0 (* b (* a (* a b))))
(* b (* a (* a b)))
(* a (* a b))
(* a b)

Outputs
(+.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(exp.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 a b))))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 a (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (.f64 a a) (.f64 b b) #s(literal 0 binary64))
(fma.f64 b (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) b #s(literal 0 binary64))
(fma.f64 (.f64 a b) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (.f64 b b) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) a #s(literal 0 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 a b)))
(.f64 a (.f64 b (*.f64 a b)))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 b (.f64 a (*.f64 a b)))
(.f64 (.f64 a (*.f64 a b)) b)
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 b (*.f64 a b)) a)
(+.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)))
(exp.f64 (log.f64 (.f64 a (.f64 a b))))
(-.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 a (*.f64 a b) #s(literal 0 binary64))
(fma.f64 (*.f64 a a) b #s(literal 0 binary64))
(fma.f64 b (*.f64 a a) #s(literal 0 binary64))
(fma.f64 (*.f64 a b) a #s(literal 0 binary64))
(.f64 a (.f64 a b))
(.f64 (.f64 a a) b)
(.f64 b (.f64 a a))
(.f64 (.f64 a b) a)
(+.f64 (*.f64 a a) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 a a))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 a)))
(-.f64 (*.f64 a a) #s(literal 0 binary64))
(fma.f64 a a #s(literal 0 binary64))
(pow.f64 a #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a))
(*.f64 a a)
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(fma.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) #s(literal 0 binary64))
(fma.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 b b)) #s(literal 0 binary64))
(fma.f64 b #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) b) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 a b) (-.f64 #s(literal 0 binary64) (.f64 a b)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) b #s(literal 0 binary64))
(fma.f64 (.f64 b b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 b b) (-.f64 #s(literal 0 binary64) (.f64 a a)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a a)) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a b)) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) a #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) a) #s(literal 0 binary64))
(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))))
(.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (*.f64 b b)))
(.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))))
(.f64 (.f64 a (*.f64 a b)) (-.f64 #s(literal 0 binary64) b))
(.f64 (.f64 a (.f64 b (.f64 a b))) #s(literal -1 binary64))
(.f64 (.f64 a b) (-.f64 #s(literal 0 binary64) (*.f64 a b)))
(.f64 #s(literal -1 binary64) (.f64 a (.f64 b (.f64 a b))))
(.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (*.f64 a b)))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))) b)
(.f64 (.f64 b b) (-.f64 #s(literal 0 binary64) (*.f64 a a)))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a a)) (*.f64 b b))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a b)) (*.f64 a b))
(.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (*.f64 a b)))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (*.f64 a a))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))) a)
(.f64 (.f64 b (*.f64 a b)) (-.f64 #s(literal 0 binary64) a))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(fma.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) #s(literal 0 binary64))
(fma.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 b b)) #s(literal 0 binary64))
(fma.f64 b #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) b) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 a b) (-.f64 #s(literal 0 binary64) (.f64 a b)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) b #s(literal 0 binary64))
(fma.f64 (.f64 b b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 b b) (-.f64 #s(literal 0 binary64) (.f64 a a)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a a)) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a b)) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) a #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) a) #s(literal 0 binary64))
(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))))
(.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (*.f64 b b)))
(.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))))
(.f64 (.f64 a (*.f64 a b)) (-.f64 #s(literal 0 binary64) b))
(.f64 (.f64 a (.f64 b (.f64 a b))) #s(literal -1 binary64))
(.f64 (.f64 a b) (-.f64 #s(literal 0 binary64) (*.f64 a b)))
(.f64 #s(literal -1 binary64) (.f64 a (.f64 b (.f64 a b))))
(.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (*.f64 a b)))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))) b)
(.f64 (.f64 b b) (-.f64 #s(literal 0 binary64) (*.f64 a a)))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a a)) (*.f64 b b))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a b)) (*.f64 a b))
(.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (*.f64 a b)))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (*.f64 a a))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))) a)
(.f64 (.f64 b (*.f64 a b)) (-.f64 #s(literal 0 binary64) a))
(+.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(exp.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 a b))))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 a (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (.f64 a a) (.f64 b b) #s(literal 0 binary64))
(fma.f64 b (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) b #s(literal 0 binary64))
(fma.f64 (.f64 a b) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (.f64 b b) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) a #s(literal 0 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 a b)))
(.f64 a (.f64 b (*.f64 a b)))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 b (.f64 a (*.f64 a b)))
(.f64 (.f64 a (*.f64 a b)) b)
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 b (*.f64 a b)) a)
(+.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)))
(exp.f64 (log.f64 (.f64 a (.f64 a b))))
(-.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 a (*.f64 a b) #s(literal 0 binary64))
(fma.f64 (*.f64 a a) b #s(literal 0 binary64))
(fma.f64 b (*.f64 a a) #s(literal 0 binary64))
(fma.f64 (*.f64 a b) a #s(literal 0 binary64))
(.f64 a (.f64 a b))
(.f64 (.f64 a a) b)
(.f64 b (.f64 a a))
(.f64 (.f64 a b) a)
(+.f64 #s(literal 0 binary64) (*.f64 a b))
(+.f64 (*.f64 a b) #s(literal 0 binary64))
(exp.f64 (log.f64 (*.f64 a b)))
(-.f64 (*.f64 a b) #s(literal 0 binary64))
(fma.f64 a b #s(literal 0 binary64))
(fma.f64 b a #s(literal 0 binary64))
(*.f64 a b)
(*.f64 b a)

simplify36.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

570×	`fma-define`
280×	`sum3-define`
214×	`fnmadd-define`
178×	`fma-lowering-fma.f32`
178×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	1068
1	19	816
2	46	816
3	107	720
4	166	720
5	223	720
6	298	720
7	387	720
8	473	720
9	715	720
10	950	720
11	959	720
0	959	720

Stop Event

1×	iter limit
1×	saturated

Counts

180 → 180

Calls

Call 1

Inputs
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)

Outputs
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (.f64 b (*.f64 a (-.f64 #s(literal 0 binary64) a))))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 a (*.f64 a b)))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* (pow a 2) b)
(.f64 a (.f64 a b))
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)
(* a b)
(*.f64 a b)

eval35.0ms (1.5%)

Compiler: Compiled 3249 to 240 computations (92.6% saved)

prune19.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	345	5	350
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	346	6	352

Accuracy

99.9%

Counts

352 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	80.3%	(neg.f64 (.f64 (.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)) b) b))
▶	93.8%	(neg.f64 (.f64 (.f64 (*.f64 a b) a) b))
✓	82.2%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
▶	95.4%	(neg.f64 (.f64 (.f64 b (*.f64 a b)) a))
▶	76.1%	(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
▶	99.6%	(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))

Compiler

Compiled 114 to 70 computations (38.6% saved)

simplify30.0ms (1.3%)

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(exp.f64 #s(literal 2 binary64))
✓	cost-diff	0	(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a))
✓	cost-diff	0	(*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)) b)
✓	cost-diff	0	(.f64 (.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)) b) b)
✓	cost-diff	-64	(neg.f64 (.f64 (.f64 (*.f64 a b) a) b))
✓	cost-diff	0	(*.f64 a b)
✓	cost-diff	0	(.f64 (.f64 a b) a)
✓	cost-diff	0	(.f64 (.f64 (*.f64 a b) a) b)
✓	cost-diff	-64	(neg.f64 (.f64 (.f64 b (*.f64 a b)) a))
✓	cost-diff	0	(*.f64 a b)
✓	cost-diff	0	(.f64 b (.f64 a b))
✓	cost-diff	0	(.f64 (.f64 b (*.f64 a b)) a)
✓	cost-diff	-64	(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
✓	cost-diff	0	(*.f64 a a)
✓	cost-diff	0	(*.f64 b b)
✓	cost-diff	0	(.f64 (.f64 b b) (*.f64 a a))
✓	cost-diff	-64	(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
✓	cost-diff	0	(*.f64 a b)
✓	cost-diff	0	(.f64 (.f64 a b) (*.f64 a b))

Rules

1232×	`sum3-define`
1228×	`fma-define`
454×	`fnmadd-define`
286×	`fma-lowering-fma.f32`
286×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	103
1	70	101
2	149	101
3	214	101
4	332	101
5	590	101
6	657	101
7	787	101
8	2081	101
9	2084	101
0	2084	101

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(neg (* (* a b) (* a b)))
(* (* a b) (* a b))
(* a b)
a
b
(neg (* (* b b) (* a a)))
(* (* b b) (* a a))
(* b b)
b
(* a a)
a
(neg (* (* b (* a b)) a))
(* (* b (* a b)) a)
(* b (* a b))
b
(* a b)
a
(neg (* (* (* a b) a) b))
(* (* (* a b) a) b)
(* (* a b) a)
(* a b)
a
b
(neg (* (* (pow (exp 2) (log a)) b) b))
(* (* (pow (exp 2) (log a)) b) b)
(* (pow (exp 2) (log a)) b)
(pow (exp 2) (log a))
(exp 2)
2
(log a)
a
b

Outputs
(neg (* (* a b) (* a b)))
(.f64 a (.f64 a (*.f64 b (-.f64 #s(literal 0 binary64) b))))
(* (* a b) (* a b))
(.f64 a (.f64 a (*.f64 b b)))
(* a b)
(*.f64 a b)
a
b
(neg (* (* b b) (* a a)))
(.f64 a (.f64 a (*.f64 b (-.f64 #s(literal 0 binary64) b))))
(* (* b b) (* a a))
(.f64 a (.f64 a (*.f64 b b)))
(* b b)
(*.f64 b b)
b
(* a a)
(*.f64 a a)
a
(neg (* (* b (* a b)) a))
(.f64 a (.f64 a (*.f64 b (-.f64 #s(literal 0 binary64) b))))
(* (* b (* a b)) a)
(.f64 a (.f64 a (*.f64 b b)))
(* b (* a b))
(.f64 a (.f64 b b))
b
(* a b)
(*.f64 a b)
a
(neg (* (* (* a b) a) b))
(.f64 a (.f64 a (*.f64 b (-.f64 #s(literal 0 binary64) b))))
(* (* (* a b) a) b)
(.f64 a (.f64 a (*.f64 b b)))
(* (* a b) a)
(.f64 a (.f64 a b))
(* a b)
(*.f64 a b)
a
b
(neg (* (* (pow (exp 2) (log a)) b) b))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)) (.f64 b (-.f64 #s(literal 0 binary64) b)))
(* (* (pow (exp 2) (log a)) b) b)
(.f64 (.f64 b b) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)))
(* (pow (exp 2) (log a)) b)
(*.f64 b (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)))
(pow (exp 2) (log a))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a))
(exp 2)
(exp.f64 #s(literal 2 binary64))
2
#s(literal 2 binary64)
(log a)
(log.f64 a)
a
b

localize141.0ms (6.2%)

Localize:

Found 19 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(exp.f64 #s(literal 2 binary64))
✓	accuracy	95.4%	(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a))
✓	accuracy	93.8%	(.f64 (.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)) b) b)
✓	accuracy	88.6%	(*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)) b)
✓	accuracy	100.0%	(*.f64 a b)
✓	accuracy	100.0%	(neg.f64 (.f64 (.f64 (*.f64 a b) a) b))
✓	accuracy	99.8%	(.f64 (.f64 a b) a)
✓	accuracy	93.8%	(.f64 (.f64 (*.f64 a b) a) b)
✓	accuracy	100.0%	(*.f64 a b)
✓	accuracy	100.0%	(neg.f64 (.f64 (.f64 b (*.f64 a b)) a))
✓	accuracy	99.8%	(.f64 b (.f64 a b))
✓	accuracy	95.5%	(.f64 (.f64 b (*.f64 a b)) a)
✓	accuracy	100.0%	(*.f64 b b)
✓	accuracy	100.0%	(*.f64 a a)
✓	accuracy	100.0%	(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
✓	accuracy	76.4%	(.f64 (.f64 b b) (*.f64 a a))
✓	accuracy	100.0%	(*.f64 a b)
✓	accuracy	100.0%	(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
✓	accuracy	99.6%	(.f64 (.f64 a b) (*.f64 a b))

Results

90.0ms

256×

valid

Compiler

Compiled 134 to 23 computations (82.8% saved)

Precisions

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

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

ival-pow: 6.0ms (15.9% of total)

ival-neg: 5.0ms (13.3% of total)

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

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

const: 0.0ms (0% of total)

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

series387.0ms (17.1%)

Counts

17 → 348

Calls

Call 1

Inputs
#<alt (* (* a b) (* a b))>
#<alt (* a b)>
#<alt (neg (* (* a b) (* a b)))>
#<alt (* (* b b) (* a a))>
#<alt (* b b)>
#<alt (* a a)>
#<alt (neg (* (* b b) (* a a)))>
#<alt (* (* b (* a b)) a)>
#<alt (* b (* a b))>
#<alt (neg (* (* b (* a b)) a))>
#<alt (* (* (* a b) a) b)>
#<alt (* (* a b) a)>
#<alt (neg (* (* (* a b) a) b))>
#<alt (* (* (pow (exp 2) (log a)) b) b)>
#<alt (* (pow (exp 2) (log a)) b)>
#<alt (pow (exp 2) (log a))>
#<alt (exp 2)>

Outputs
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* a b)>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))>
#<alt (* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))>
#<alt (* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))>
#<alt (* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))>
#<alt (* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))>
#<alt (* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))>
#<alt (* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (* (pow a 2) b)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (pow a 2)>
#<alt (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))>
#<alt (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))>
#<alt (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))>
#<alt (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))>

Calls

87 calls:

Time	Variable		Point	Expression
273.0ms	b	@	0	(* (pow (exp 2) (log a)) b)
50.0ms	a	@	0	(* (* (pow (exp 2) (log a)) b) b)
36.0ms	b	@	0	(* (* (pow (exp 2) (log a)) b) b)
14.0ms	a	@	-inf	(* (* (pow (exp 2) (log a)) b) b)
6.0ms	a	@	inf	(* (* (pow (exp 2) (log a)) b) b)

rewrite58.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1100×	`sum3-define`
1048×	`fma-define`
388×	`fnmadd-define`
238×	`fma-lowering-fma.f32`
238×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	66
1	72	63
2	143	63
3	209	63
4	332	63
5	591	63
6	663	63
7	766	63
8	1884	63
0	1884	63

Stop Event

1×	iter limit
1×	saturated

Counts

17 → 373

Calls

Call 1

Inputs
(* (* a b) (* a b))
(* a b)
(neg (* (* a b) (* a b)))
(* (* b b) (* a a))
(* b b)
(* a a)
(neg (* (* b b) (* a a)))
(* (* b (* a b)) a)
(* b (* a b))
(neg (* (* b (* a b)) a))
(* (* (* a b) a) b)
(* (* a b) a)
(neg (* (* (* a b) a) b))
(* (* (pow (exp 2) (log a)) b) b)
(* (pow (exp 2) (log a)) b)
(pow (exp 2) (log a))
(exp 2)

Outputs
(+.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(exp.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 a b))))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 a (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 b (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (.f64 a b) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (.f64 b b) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 a a) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) a #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) b #s(literal 0 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 a b)))
(.f64 a (.f64 b (*.f64 a b)))
(.f64 b (.f64 a (*.f64 a b)))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 b (*.f64 a b)) a)
(.f64 (.f64 a (*.f64 a b)) b)
(+.f64 (*.f64 a b) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 a b))
(exp.f64 (log.f64 (*.f64 a b)))
(-.f64 (*.f64 a b) #s(literal 0 binary64))
(fma.f64 a b #s(literal 0 binary64))
(fma.f64 b a #s(literal 0 binary64))
(*.f64 a b)
(*.f64 b a)
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(fma.f64 a #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) #s(literal 0 binary64))
(fma.f64 b #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) #s(literal 0 binary64))
(fma.f64 (.f64 a b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 a b) (.f64 b (-.f64 #s(literal 0 binary64) a)) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 b b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 b b) (.f64 a (-.f64 #s(literal 0 binary64) a)) #s(literal 0 binary64))
(fma.f64 (.f64 a a) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 b b)) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) a) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) b) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) a (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal -1 binary64) (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 b (-.f64 #s(literal 0 binary64) a)) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) b #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) a #s(literal 0 binary64))
(fma.f64 (.f64 a (-.f64 #s(literal 0 binary64) a)) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (.f64 a b)) #s(literal 0 binary64))
(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))))
(.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))))
(.f64 (.f64 a b) (*.f64 b (-.f64 #s(literal 0 binary64) a)))
(.f64 (.f64 a (.f64 b (.f64 a b))) #s(literal -1 binary64))
(.f64 (.f64 b b) (*.f64 a (-.f64 #s(literal 0 binary64) a)))
(.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (*.f64 b b)))
(.f64 (.f64 b (*.f64 a b)) (-.f64 #s(literal 0 binary64) a))
(.f64 (.f64 a (*.f64 a b)) (-.f64 #s(literal 0 binary64) b))
(.f64 #s(literal -1 binary64) (.f64 a (.f64 b (.f64 a b))))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (*.f64 a a))
(.f64 (.f64 b (-.f64 #s(literal 0 binary64) a)) (*.f64 a b))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))) b)
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))) a)
(.f64 (.f64 a (-.f64 #s(literal 0 binary64) a)) (*.f64 b b))
(.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (*.f64 a b)))
(.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (*.f64 a b)))
(+.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(exp.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 a b))))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 a (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 b (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (.f64 a b) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (.f64 b b) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 a a) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) a #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) b #s(literal 0 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 a b)))
(.f64 a (.f64 b (*.f64 a b)))
(.f64 b (.f64 a (*.f64 a b)))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 b (*.f64 a b)) a)
(.f64 (.f64 a (*.f64 a b)) b)
(+.f64 (*.f64 b b) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 b b))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 b)))
(-.f64 (*.f64 b b) #s(literal 0 binary64))
(fma.f64 b b #s(literal 0 binary64))
(pow.f64 b #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 b))
(*.f64 b b)
(+.f64 (*.f64 a a) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 a a))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 a)))
(-.f64 (*.f64 a a) #s(literal 0 binary64))
(fma.f64 a a #s(literal 0 binary64))
(pow.f64 a #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a))
(*.f64 a a)
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(fma.f64 a #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) #s(literal 0 binary64))
(fma.f64 b #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) #s(literal 0 binary64))
(fma.f64 (.f64 a b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 a b) (.f64 b (-.f64 #s(literal 0 binary64) a)) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 b b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 b b) (.f64 a (-.f64 #s(literal 0 binary64) a)) #s(literal 0 binary64))
(fma.f64 (.f64 a a) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 b b)) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) a) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) b) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) a (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal -1 binary64) (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 b (-.f64 #s(literal 0 binary64) a)) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) b #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) a #s(literal 0 binary64))
(fma.f64 (.f64 a (-.f64 #s(literal 0 binary64) a)) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (.f64 a b)) #s(literal 0 binary64))
(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))))
(.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))))
(.f64 (.f64 a b) (*.f64 b (-.f64 #s(literal 0 binary64) a)))
(.f64 (.f64 a (.f64 b (.f64 a b))) #s(literal -1 binary64))
(.f64 (.f64 b b) (*.f64 a (-.f64 #s(literal 0 binary64) a)))
(.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (*.f64 b b)))
(.f64 (.f64 b (*.f64 a b)) (-.f64 #s(literal 0 binary64) a))
(.f64 (.f64 a (*.f64 a b)) (-.f64 #s(literal 0 binary64) b))
(.f64 #s(literal -1 binary64) (.f64 a (.f64 b (.f64 a b))))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (*.f64 a a))
(.f64 (.f64 b (-.f64 #s(literal 0 binary64) a)) (*.f64 a b))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))) b)
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))) a)
(.f64 (.f64 a (-.f64 #s(literal 0 binary64) a)) (*.f64 b b))
(.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (*.f64 a b)))
(.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (*.f64 a b)))
(+.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(exp.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 a b))))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 a (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 b (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (.f64 a b) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (.f64 b b) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 a a) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) a #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) b #s(literal 0 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 a b)))
(.f64 a (.f64 b (*.f64 a b)))
(.f64 b (.f64 a (*.f64 a b)))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 b (*.f64 a b)) a)
(.f64 (.f64 a (*.f64 a b)) b)
(+.f64 (.f64 b (.f64 a b)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 b (.f64 a b)))
(exp.f64 (log.f64 (.f64 b (.f64 a b))))
(-.f64 (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 a (*.f64 b b) #s(literal 0 binary64))
(fma.f64 b (*.f64 a b) #s(literal 0 binary64))
(fma.f64 (*.f64 a b) b #s(literal 0 binary64))
(fma.f64 (*.f64 b b) a #s(literal 0 binary64))
(.f64 a (.f64 b b))
(.f64 b (.f64 a b))
(.f64 (.f64 a b) b)
(.f64 (.f64 b b) a)
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(fma.f64 a #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) #s(literal 0 binary64))
(fma.f64 b #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) #s(literal 0 binary64))
(fma.f64 (.f64 a b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 a b) (.f64 b (-.f64 #s(literal 0 binary64) a)) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 b b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 b b) (.f64 a (-.f64 #s(literal 0 binary64) a)) #s(literal 0 binary64))
(fma.f64 (.f64 a a) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 b b)) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) a) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) b) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) a (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal -1 binary64) (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 b (-.f64 #s(literal 0 binary64) a)) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) b #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) a #s(literal 0 binary64))
(fma.f64 (.f64 a (-.f64 #s(literal 0 binary64) a)) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (.f64 a b)) #s(literal 0 binary64))
(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))))
(.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))))
(.f64 (.f64 a b) (*.f64 b (-.f64 #s(literal 0 binary64) a)))
(.f64 (.f64 a (.f64 b (.f64 a b))) #s(literal -1 binary64))
(.f64 (.f64 b b) (*.f64 a (-.f64 #s(literal 0 binary64) a)))
(.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (*.f64 b b)))
(.f64 (.f64 b (*.f64 a b)) (-.f64 #s(literal 0 binary64) a))
(.f64 (.f64 a (*.f64 a b)) (-.f64 #s(literal 0 binary64) b))
(.f64 #s(literal -1 binary64) (.f64 a (.f64 b (.f64 a b))))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (*.f64 a a))
(.f64 (.f64 b (-.f64 #s(literal 0 binary64) a)) (*.f64 a b))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))) b)
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))) a)
(.f64 (.f64 a (-.f64 #s(literal 0 binary64) a)) (*.f64 b b))
(.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (*.f64 a b)))
(.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (*.f64 a b)))
(+.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(exp.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 a b))))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 a (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 b (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (.f64 a b) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (.f64 b b) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 a a) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) a #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) b #s(literal 0 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 a b)))
(.f64 a (.f64 b (*.f64 a b)))
(.f64 b (.f64 a (*.f64 a b)))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 b (*.f64 a b)) a)
(.f64 (.f64 a (*.f64 a b)) b)
(+.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)))
(exp.f64 (log.f64 (.f64 a (.f64 a b))))
(-.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 a (*.f64 a b) #s(literal 0 binary64))
(fma.f64 b (*.f64 a a) #s(literal 0 binary64))
(fma.f64 (*.f64 a b) a #s(literal 0 binary64))
(fma.f64 (*.f64 a a) b #s(literal 0 binary64))
(.f64 a (.f64 a b))
(.f64 b (.f64 a a))
(.f64 (.f64 a b) a)
(.f64 (.f64 a a) b)
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(fma.f64 a #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) #s(literal 0 binary64))
(fma.f64 b #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) #s(literal 0 binary64))
(fma.f64 (.f64 a b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 a b) (.f64 b (-.f64 #s(literal 0 binary64) a)) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 b b) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 b b) (.f64 a (-.f64 #s(literal 0 binary64) a)) #s(literal 0 binary64))
(fma.f64 (.f64 a a) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 b b)) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) a) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) b) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) a (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) b (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b b) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 b (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b)))))
(fma.f64 #s(literal -1 binary64) (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 b (-.f64 #s(literal 0 binary64) a)) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 a b))) b #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a b))) a #s(literal 0 binary64))
(fma.f64 (.f64 a (-.f64 #s(literal 0 binary64) a)) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (.f64 a b)) #s(literal 0 binary64))
(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))))
(.f64 b (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))))
(.f64 (.f64 a b) (*.f64 b (-.f64 #s(literal 0 binary64) a)))
(.f64 (.f64 a (.f64 b (.f64 a b))) #s(literal -1 binary64))
(.f64 (.f64 b b) (*.f64 a (-.f64 #s(literal 0 binary64) a)))
(.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (*.f64 b b)))
(.f64 (.f64 b (*.f64 a b)) (-.f64 #s(literal 0 binary64) a))
(.f64 (.f64 a (*.f64 a b)) (-.f64 #s(literal 0 binary64) b))
(.f64 #s(literal -1 binary64) (.f64 a (.f64 b (.f64 a b))))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (*.f64 a a))
(.f64 (.f64 b (-.f64 #s(literal 0 binary64) a)) (*.f64 a b))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a (*.f64 a b))) b)
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a b))) a)
(.f64 (.f64 a (-.f64 #s(literal 0 binary64) a)) (*.f64 b b))
(.f64 (-.f64 #s(literal 0 binary64) b) (.f64 a (*.f64 a b)))
(.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (*.f64 a b)))
(+.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 a b))))
(exp.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 a b))))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) #s(literal 0 binary64))
(fma.f64 a (.f64 b (.f64 a b)) #s(literal 0 binary64))
(fma.f64 b (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 (.f64 a b) (.f64 a b) #s(literal 0 binary64))
(fma.f64 (.f64 b b) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (.f64 a a) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a b)) a #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 a b)) b #s(literal 0 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 a b)))
(.f64 a (.f64 b (*.f64 a b)))
(.f64 b (.f64 a (*.f64 a b)))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 b (*.f64 a b)) a)
(.f64 (.f64 a (*.f64 a b)) b)
(+.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 a b)))
(exp.f64 (log.f64 (.f64 a (.f64 a b))))
(-.f64 (.f64 a (.f64 a b)) #s(literal 0 binary64))
(fma.f64 a (*.f64 a b) #s(literal 0 binary64))
(fma.f64 b (*.f64 a a) #s(literal 0 binary64))
(fma.f64 (*.f64 a b) a #s(literal 0 binary64))
(fma.f64 (*.f64 a a) b #s(literal 0 binary64))
(.f64 a (.f64 a b))
(.f64 b (.f64 a a))
(.f64 (.f64 a b) a)
(.f64 (.f64 a a) b)
(+.f64 (*.f64 a a) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 a a))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 a)))
(-.f64 (*.f64 a a) #s(literal 0 binary64))
(fma.f64 a a #s(literal 0 binary64))
(pow.f64 a #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a))
(*.f64 a a)
(exp.f64 #s(literal 2 binary64))

simplify199.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

2342×	`sum4-define`
1952×	`fma-lowering-fma.f32`
1952×	`fma-lowering-fma.f64`
1940×	`sum5-define`
1694×	`fmm-def`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	2148
1	44	1608
2	103	1608
3	222	1392
4	459	1392
5	1085	1392
6	2385	1392
7	4094	1392
8	5881	1392
9	7751	1392
0	8242	1392

Stop Event

1×	iter limit
1×	node limit

Counts

348 → 348

Calls

Call 1

Inputs
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(* (pow a 2) b)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(pow a 2)
(exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))
(exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))
(exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))
(exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))

Outputs
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* a (pow b 2))
(.f64 b (.f64 b a))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 b (/.f64 b (/.f64 #s(literal -1 binary64) (.f64 a a))))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow b 2) (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) (pow b 2))
(.f64 b (.f64 (*.f64 a a) b))
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(.f64 (.f64 a a) b)
(* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(.f64 (.f64 a a) b)
(* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(.f64 (.f64 a a) b)
(* b (exp (* 2 (+ (log -1) (* -1 (log (/ -1 a)))))))
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(pow a 2)
(*.f64 a a)
(exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))
(*.f64 a a)
(exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))
(*.f64 a a)
(exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))
(*.f64 a a)
(exp (* 2 (+ (log -1) (* -1 (log (/ -1 a))))))
(*.f64 a a)

eval75.0ms (3.3%)

Compiler: Compiled 7368 to 327 computations (95.6% saved)

prune21.0ms (0.9%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	816	1	817
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	817	6	823

Accuracy

99.9%

Counts

823 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	80.3%	(neg.f64 (.f64 (.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)) b) b))
▶	82.7%	(neg.f64 (.f64 (.f64 (*.f64 b b) a) a))
✓	93.8%	(neg.f64 (.f64 (.f64 (*.f64 a b) a) b))
✓	82.2%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
✓	95.4%	(neg.f64 (.f64 (.f64 b (*.f64 a b)) a))
✓	99.6%	(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))

Compiler

Compiled 62 to 38 computations (38.7% saved)

simplify21.0ms (0.9%)

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	-64	(neg.f64 (.f64 (.f64 (*.f64 b b) a) a))
✓	cost-diff	0	(*.f64 b b)
✓	cost-diff	0	(.f64 (.f64 b b) a)
✓	cost-diff	0	(.f64 (.f64 (*.f64 b b) a) a)

Rules

568×	`fma-define`
300×	`sum3-define`
210×	`fnmadd-define`
182×	`fma-lowering-fma.f32`
182×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	21
1	21	19
2	60	17
3	126	17
4	200	17
5	289	17
6	381	17
7	464	17
8	750	17
9	947	17
0	947	17

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(neg (* (* (* b b) a) a))
(* (* (* b b) a) a)
(* (* b b) a)
(* b b)
b
a

Outputs
(neg (* (* (* b b) a) a))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a))))
(* (* (* b b) a) a)
(.f64 a (.f64 b (*.f64 b a)))
(* (* b b) a)
(.f64 b (.f64 b a))
(* b b)
(*.f64 b b)
b
a

localize29.0ms (1.3%)

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 b b)
✓	accuracy	100.0%	(neg.f64 (.f64 (.f64 (*.f64 b b) a) a))
✓	accuracy	95.5%	(.f64 (.f64 (*.f64 b b) a) a)
✓	accuracy	87.5%	(.f64 (.f64 b b) a)

Results

21.0ms

256×

valid

Compiler

Compiled 28 to 7 computations (75% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

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

series1.0ms (0.1%)

Counts

4 → 84

Calls

Call 1

Inputs
#<alt (* (* (* b b) a) a)>
#<alt (* (* b b) a)>
#<alt (* b b)>
#<alt (neg (* (* (* b b) a) a))>

Outputs
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* (pow a 2) (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (* a (pow b 2))>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (pow b 2)>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>
#<alt (* -1 (* (pow a 2) (pow b 2)))>

Calls

21 calls:

Time	Variable		Point	Expression
0.0ms	a	@	0	(* (* (* b b) a) a)
0.0ms	b	@	inf	(* (* (* b b) a) a)
0.0ms	b	@	0	(* (* (* b b) a) a)
0.0ms	a	@	inf	(* (* (* b b) a) a)
0.0ms	a	@	-inf	(* (* (* b b) a) a)

rewrite40.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

584×	`fma-define`
336×	`sum3-define`
212×	`fnmadd-define`
198×	`fma-lowering-fma.f32`
198×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	23	17
2	66	15
3	140	15
4	238	15
5	360	15
6	503	15
7	618	15
8	914	15
9	1111	15
0	1111	15

Stop Event

1×	iter limit
1×	saturated

Counts

4 → 85

Calls

Call 1

Inputs
(* (* (* b b) a) a)
(* (* b b) a)
(* b b)
(neg (* (* (* b b) a) a))

Outputs
(+.f64 (.f64 a (.f64 b (*.f64 b a))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a))))
(exp.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 b a))))
(-.f64 (.f64 a (.f64 b (*.f64 b a))) #s(literal 0 binary64))
(fma.f64 b (.f64 b (.f64 a a)) #s(literal 0 binary64))
(fma.f64 (.f64 b b) (.f64 a a) #s(literal 0 binary64))
(fma.f64 a (.f64 b (.f64 b a)) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 b a)) a #s(literal 0 binary64))
(fma.f64 (.f64 a a) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (.f64 b a) (.f64 b a) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a a)) b #s(literal 0 binary64))
(pow.f64 (*.f64 b a) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 b a)))
(.f64 b (.f64 b (*.f64 a a)))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 a (.f64 b (*.f64 b a)))
(.f64 (.f64 b (*.f64 b a)) a)
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b (*.f64 a a)) b)
(+.f64 (.f64 b (.f64 b a)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 b (.f64 b a)))
(exp.f64 (log.f64 (.f64 b (.f64 b a))))
(-.f64 (.f64 b (.f64 b a)) #s(literal 0 binary64))
(fma.f64 b (*.f64 b a) #s(literal 0 binary64))
(fma.f64 (*.f64 b b) a #s(literal 0 binary64))
(fma.f64 a (*.f64 b b) #s(literal 0 binary64))
(fma.f64 (*.f64 b a) b #s(literal 0 binary64))
(.f64 b (.f64 b a))
(.f64 (.f64 b b) a)
(.f64 a (.f64 b b))
(.f64 (.f64 b a) b)
(+.f64 (*.f64 b b) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 b b))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 b)))
(-.f64 (*.f64 b b) #s(literal 0 binary64))
(fma.f64 b b #s(literal 0 binary64))
(pow.f64 b #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 b))
(*.f64 b b)
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a)))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a)))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a))))
(fma.f64 b (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a a))) #s(literal 0 binary64))
(fma.f64 (.f64 b b) (-.f64 #s(literal 0 binary64) (.f64 a a)) #s(literal 0 binary64))
(fma.f64 a #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a)))))
(fma.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (.f64 b a))) #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 b a)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a)))))
(fma.f64 (.f64 b (.f64 b a)) (-.f64 #s(literal 0 binary64) a) #s(literal 0 binary64))
(fma.f64 (.f64 a (.f64 b (*.f64 b a))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) a (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a)))))
(fma.f64 #s(literal 0 binary64) (.f64 b (.f64 b a)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a)))))
(fma.f64 #s(literal 0 binary64) (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 b a)))))
(fma.f64 #s(literal 0 binary64) (.f64 b (.f64 a a)) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a)))))
(fma.f64 #s(literal -1 binary64) (.f64 a (.f64 b (*.f64 b a))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b (.f64 b a))) a #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (.f64 b a)) #s(literal 0 binary64))
(fma.f64 (.f64 a a) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (.f64 b a)))))
(fma.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (.f64 b b)) #s(literal 0 binary64))
(fma.f64 (.f64 b a) (-.f64 #s(literal 0 binary64) (.f64 b a)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (.f64 a a) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) b) (.f64 b (.f64 a a)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b a)) (.f64 b a) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 a a)) (.f64 b b) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 b (.f64 a a))) b #s(literal 0 binary64))
(fma.f64 (.f64 b (.f64 a a)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 a (.f64 b (*.f64 b a)))))
(fma.f64 (.f64 b (.f64 a a)) (-.f64 #s(literal 0 binary64) b) #s(literal 0 binary64))
(neg.f64 (.f64 a (.f64 b (*.f64 b a))))
(.f64 b (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a a))))
(.f64 (.f64 b b) (-.f64 #s(literal 0 binary64) (*.f64 a a)))
(.f64 a (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 b a))))
(.f64 (.f64 b (*.f64 b a)) (-.f64 #s(literal 0 binary64) a))
(.f64 (.f64 a (.f64 b (.f64 b a))) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 a (.f64 b (.f64 b a))))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 b a))) a)
(.f64 (-.f64 #s(literal 0 binary64) a) (.f64 b (*.f64 b a)))
(.f64 (.f64 a a) (-.f64 #s(literal 0 binary64) (*.f64 b b)))
(.f64 (.f64 b a) (-.f64 #s(literal 0 binary64) (*.f64 b a)))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b b)) (*.f64 a a))
(.f64 (-.f64 #s(literal 0 binary64) b) (.f64 b (*.f64 a a)))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b a)) (*.f64 b a))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 a a)) (*.f64 b b))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 b (*.f64 a a))) b)
(.f64 (.f64 b (*.f64 a a)) (-.f64 #s(literal 0 binary64) b))

simplify28.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

570×	`fma-define`
280×	`sum3-define`
214×	`fnmadd-define`
178×	`fma-lowering-fma.f32`
178×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	516
1	17	384
2	46	384
3	113	336
4	171	336
5	229	336
6	304	336
7	393	336
8	479	336
9	721	336
10	956	336
11	965	336
0	965	336

Stop Event

1×	iter limit
1×	saturated

Counts

84 → 84

Calls

Call 1

Inputs
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* (pow a 2) (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(* a (pow b 2))
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(pow b 2)
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* (pow a 2) (pow b 2)))

Outputs
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* (pow a 2) (pow b 2))
(.f64 a (.f64 a (*.f64 b b)))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(* a (pow b 2))
(.f64 a (.f64 b b))
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(pow b 2)
(*.f64 b b)
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))
(* -1 (* (pow a 2) (pow b 2)))
(.f64 a (.f64 b (-.f64 #s(literal 0 binary64) (*.f64 a b))))

eval17.0ms (0.7%)

Compiler: Compiled 1522 to 174 computations (88.6% saved)

prune13.0ms (0.6%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	169	0	169
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	169	6	175

Accuracy

99.9%

Counts

175 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	80.3%	(neg.f64 (.f64 (.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)) b) b))
✓	82.7%	(neg.f64 (.f64 (.f64 (*.f64 b b) a) a))
✓	93.8%	(neg.f64 (.f64 (.f64 (*.f64 a b) a) b))
✓	82.2%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
✓	95.4%	(neg.f64 (.f64 (.f64 b (*.f64 a b)) a))
✓	99.6%	(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))

Compiler

Compiled 131 to 70 computations (46.6% saved)

regimes15.0ms (0.6%)

Accuracy

Total -16.0b remaining (-6508.8%)

Threshold costs -16b (-6508.8%)

Counts

8 → 1

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(neg.f64 (.f64 (.f64 b (*.f64 a b)) a))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(neg.f64 (.f64 (.f64 (*.f64 a b) a) b))
(neg.f64 (.f64 (.f64 (*.f64 b b) a) a))
(-.f64 #s(literal 0 binary64) (.f64 b (.f64 a (*.f64 a b))))
(neg.f64 (.f64 (.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 a)) b) b))

Outputs
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))

Calls

5 calls:

4.0ms	(*.f64 a a)
3.0ms	a
3.0ms	b
2.0ms	(.f64 (.f64 (*.f64 a a) b) b)
2.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Results

Accuracy	Segments	Branch
99.6%	1	`a`
99.6%	1	`b`
99.6%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
99.6%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
99.6%	1	`(*.f64 a a)`

Compiler

Compiled 30 to 18 computations (40% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	13	8
2	23	8
3	30	8
4	35	8
5	37	8

Stop Event

1×

saturated

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))

Outputs
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(.f64 (.f64 a b) (-.f64 #s(literal 0 binary64) (*.f64 a b)))

soundness60.0ms (2.7%)

Rules

592×	`fma-define`
336×	`sum3-define`
218×	`fnmadd-define`
198×	`fma-lowering-fma.f32`
198×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	39
1	34	31
2	92	31
3	202	31
4	299	31
5	412	31
6	584	31
7	662	31
8	952	31
9	1149	31
0	1149	31

Stop Event

1×	done
1×	iter limit
1×	saturated

Compiler

Compiled 21 to 11 computations (47.6% saved)

preprocess23.0ms (1%)

Remove

(sort a b)

(abs b)

(abs a)

Compiler

Compiled 174 to 96 computations (44.8% saved)

ab-angle->ABCF D

analyze0.0ms (0%)

sample715.0ms (31.6%)

preprocess47.0ms (2.1%)

explain67.0ms (2.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify20.0ms (0.9%)

localize56.0ms (2.5%)

series48.0ms (2.1%)

rewrite57.0ms (2.5%)

simplify36.0ms (1.6%)

eval35.0ms (1.5%)

prune19.0ms (0.8%)

simplify30.0ms (1.3%)

localize141.0ms (6.2%)

series387.0ms (17.1%)

rewrite58.0ms (2.6%)

simplify199.0ms (8.8%)

eval75.0ms (3.3%)

prune21.0ms (0.9%)

simplify21.0ms (0.9%)

localize29.0ms (1.3%)

series1.0ms (0.1%)

rewrite40.0ms (1.8%)

simplify28.0ms (1.2%)

eval17.0ms (0.7%)

prune13.0ms (0.6%)

regimes15.0ms (0.6%)

simplify7.0ms (0.3%)

soundness60.0ms (2.7%)

preprocess23.0ms (1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	11	44
1	32	36
2	85	36
3	181	36
4	247	36
5	323	36
6	433	36
7	492	36
8	778	36
9	975	36
0	975	36

Iter	Nodes	Cost
0	6	21
1	21	19
2	60	17
3	126	17
4	200	17
5	289	17
6	381	17
7	464	17
8	750	17
9	947	17
0	947	17

Iter	Nodes	Cost
0	9	516
1	17	384
2	46	384
3	113	336
4	171	336
5	229	336
6	304	336
7	393	336
8	479	336
9	721	336
10	956	336
11	965	336
0	965	336

Iter	Nodes	Cost
0	11	44
1	32	36
2	85	36
3	181	36
4	247	36
5	323	36
6	433	36
7	492	36
8	778	36
9	975	36
0	975	36

Iter	Nodes	Cost
0	6	21
1	21	19
2	60	17
3	126	17
4	200	17
5	289	17
6	381	17
7	464	17
8	750	17
9	947	17
0	947	17

Iter	Nodes	Cost
0	9	516
1	17	384
2	46	384
3	113	336
4	171	336
5	229	336
6	304	336
7	393	336
8	479	336
9	721	336
10	956	336
11	965	336
0	965	336

Iter	Nodes	Cost
0	11	44
1	32	36
2	85	36
3	181	36
4	247	36
5	323	36
6	433	36
7	492	36
8	778	36
9	975	36
0	975	36

Iter	Nodes	Cost
0	6	21
1	21	19
2	60	17
3	126	17
4	200	17
5	289	17
6	381	17
7	464	17
8	750	17
9	947	17
0	947	17

Iter	Nodes	Cost
0	9	516
1	17	384
2	46	384
3	113	336
4	171	336
5	229	336
6	304	336
7	393	336
8	479	336
9	721	336
10	956	336
11	965	336
0	965	336