Metrics for ab-angle->ABCF D

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

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 10 to 8 computations (20% saved)

sample655.0ms (49.7%)

Memory

6.2MiB live, 847.3MiB allocated; 118ms collecting garbage

Samples

439.0ms

8 256×

valid

Precisions

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

ival-mult: 183.0ms (68.6% of total)

ival-neg: 79.0ms (29.6% of total)

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

adjust: 2.0ms (0.7% of total)

Bogosity

explain74.0ms (5.6%)

Memory

12.5MiB live, 111.6MiB allocated; 8ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
27	1	(6.720818799148109e-239 6.477243444508699e+152)	2	(-7.342612012750141e-157 4.100361139371172e+252)	`(.f64 (.f64 a a) b)`
18	0	-	1	(6.720818799148109e-239 6.477243444508699e+152)	`(.f64 (.f64 (*.f64 a a) b) b)`
0	0	-	0	-	`(*.f64 a a)`
0	0	-	0	-	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
0	0	-	0	-	`a`
0	0	-	0	-	`b`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`*.f64`	`(.f64 (.f64 a a) b)`	*nu**	14
`*.f64`	`(.f64 (.f64 a a) b)`	*no**	12
`*.f64`	`(.f64 (.f64 (*.f64 a a) b) b)`	*nu**	10
`*.f64`	`(.f64 (.f64 (*.f64 a a) b) b)`	*no**	7

Confusion

	Predicted +	Predicted -
+	43	2
-	0	211

Precision

1.0

Recall

0.9555555555555556

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	0	2
-	0	0	211

Precision?

1.0

Recall?

0.9555555555555556

Freqs

test

number	freq
0	213
1	43

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

32.0ms

512×

valid

Compiler

Compiled 62 to 22 computations (64.5% saved)

Precisions

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

ival-mult: 15.0ms (82.5% of total)

ival-neg: 2.0ms (11% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess48.0ms (3.6%)

Memory

8.9MiB live, 55.7MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	46
1	66	46
2	244	46
3	542	46
4	772	46
5	783	46
0	6	8
0	10	8
1	24	8
2	81	8
3	303	8
4	719	8
5	844	8
0	844	8

Stop Event

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

Calls

Call 1

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

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

Symmetry

(abs a)

(abs b)

(sort a b)

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	83.3%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 8 to 6 computations (25% saved)

series12.0ms (0.9%)

Memory

-31.2MiB live, 15.7MiB allocated; 3ms collecting garbage

Counts

6 → 6

Calls

Call 1

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

Outputs
#s(approx (neg (* (* (* a a) b) b)) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* (* (* a a) b) b) #s(hole binary64 (* (pow a 2) (pow b 2))))
#s(approx (* (* a a) b) #s(hole binary64 (* (pow a 2) b)))
#s(approx (* a a) #s(hole binary64 (pow a 2)))
#s(approx a #s(hole binary64 a))
#s(approx b #s(hole binary64 b))

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	a	@	0	((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a) a b)
3.0ms	a	@	inf	((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a) a b)
2.0ms	b	@	-inf	((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a) a b)
1.0ms	a	@	-inf	((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a) a b)
1.0ms	b	@	0	((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a) a b)

rewrite116.0ms (8.8%)

Memory

-14.2MiB live, 47.7MiB allocated; 107ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	82
0	29	69
1	69	69
0	227	69

Stop Event

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

Counts

12 → 74

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) b)
(*.f64 a a)
a
b
#s(approx (neg (* (* (* a a) b) b)) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* (* (* a a) b) b) #s(hole binary64 (* (pow a 2) (pow b 2))))
#s(approx (* (* a a) b) #s(hole binary64 (* (pow a 2) b)))
#s(approx (* a a) #s(hole binary64 (pow a 2)))
#s(approx a #s(hole binary64 a))
#s(approx b #s(hole binary64 b))

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

eval8.0ms (0.6%)

Memory: 13.9MiB live, 13.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 745 to 227 computations (69.5% saved)

prune30.0ms (2.3%)

Memory

-10.0MiB live, 41.3MiB allocated; 8ms collecting garbage

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	73	5	78
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	73	6	79

Accuracy

99.9%

Counts

79 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	77.6%	(.f64 (.f64 b b) (.f64 #s(literal -1 binary64) (.f64 a a)))
▶	94.3%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
▶	99.6%	(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
▶	92.8%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
▶	84.1%	(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
✓	83.3%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 94 to 72 computations (23.4% saved)

series14.0ms (1.1%)

Memory

23.5MiB live, 23.5MiB allocated; 0ms collecting garbage

Counts

22 → 20

Calls

Call 1

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

Outputs
#s(approx (neg (pow (* b a) 2)) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (pow (* b a) 2) #s(hole binary64 (* (pow a 2) (pow b 2))))
#s(approx (* b a) #s(hole binary64 (* a b)))
#s(approx a #s(hole binary64 a))
#s(approx (neg (* (* (* b b) (neg a)) (neg a))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* (* (* b b) (neg a)) (neg a)) #s(hole binary64 (* (pow a 2) (pow b 2))))
#s(approx (* (* b b) (neg a)) #s(hole binary64 (* -1 (* a (pow b 2)))))
#s(approx (neg a) #s(hole binary64 (* -1 a)))
#s(approx (neg (* (* (* b (neg a)) (neg a)) b)) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* (* (* b (neg a)) (neg a)) b) #s(hole binary64 (* (pow a 2) (pow b 2))))
#s(approx (* (* b (neg a)) (neg a)) #s(hole binary64 (* (pow a 2) b)))
#s(approx (* b (neg a)) #s(hole binary64 (* -1 (* a b))))
#s(approx (* a (* (* b a) (neg b))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* (* b a) (neg b)) #s(hole binary64 (* -1 (* a (pow b 2)))))
#s(approx (* (* b b) (* -1 (* a a))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* -1 (* a a)) #s(hole binary64 (* -1 (pow a 2))))
#s(approx (* a a) #s(hole binary64 (pow a 2)))
#s(approx b #s(hole binary64 b))
#s(approx (* b b) #s(hole binary64 (pow b 2)))
#s(approx (neg b) #s(hole binary64 (* -1 b)))

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	b	@	-inf	((neg (pow (* b a) 2)) (pow (* b a) 2) (* b a) b a 2 (neg (* (* (* b b) (neg a)) (neg a))) (* (* (* b b) (neg a)) (neg a)) (* (* b b) (neg a)) (* b b) (neg a) (neg (* (* (* b (neg a)) (neg a)) b)) (* (* (* b (neg a)) (neg a)) b) (* (* b (neg a)) (neg a)) (* b (neg a)) (* a (* (* b a) (neg b))) (* (* b a) (neg b)) (neg b) (* (* b b) (* -1 (* a a))) (* -1 (* a a)) -1 (* a a))
2.0ms	a	@	0	((neg (pow (* b a) 2)) (pow (* b a) 2) (* b a) b a 2 (neg (* (* (* b b) (neg a)) (neg a))) (* (* (* b b) (neg a)) (neg a)) (* (* b b) (neg a)) (* b b) (neg a) (neg (* (* (* b (neg a)) (neg a)) b)) (* (* (* b (neg a)) (neg a)) b) (* (* b (neg a)) (neg a)) (* b (neg a)) (* a (* (* b a) (neg b))) (* (* b a) (neg b)) (neg b) (* (* b b) (* -1 (* a a))) (* -1 (* a a)) -1 (* a a))
2.0ms	a	@	inf	((neg (pow (* b a) 2)) (pow (* b a) 2) (* b a) b a 2 (neg (* (* (* b b) (neg a)) (neg a))) (* (* (* b b) (neg a)) (neg a)) (* (* b b) (neg a)) (* b b) (neg a) (neg (* (* (* b (neg a)) (neg a)) b)) (* (* (* b (neg a)) (neg a)) b) (* (* b (neg a)) (neg a)) (* b (neg a)) (* a (* (* b a) (neg b))) (* (* b a) (neg b)) (neg b) (* (* b b) (* -1 (* a a))) (* -1 (* a a)) -1 (* a a))
2.0ms	a	@	-inf	((neg (pow (* b a) 2)) (pow (* b a) 2) (* b a) b a 2 (neg (* (* (* b b) (neg a)) (neg a))) (* (* (* b b) (neg a)) (neg a)) (* (* b b) (neg a)) (* b b) (neg a) (neg (* (* (* b (neg a)) (neg a)) b)) (* (* (* b (neg a)) (neg a)) b) (* (* b (neg a)) (neg a)) (* b (neg a)) (* a (* (* b a) (neg b))) (* (* b a) (neg b)) (neg b) (* (* b b) (* -1 (* a a))) (* -1 (* a a)) -1 (* a a))
2.0ms	b	@	inf	((neg (pow (* b a) 2)) (pow (* b a) 2) (* b a) b a 2 (neg (* (* (* b b) (neg a)) (neg a))) (* (* (* b b) (neg a)) (neg a)) (* (* b b) (neg a)) (* b b) (neg a) (neg (* (* (* b (neg a)) (neg a)) b)) (* (* (* b (neg a)) (neg a)) b) (* (* b (neg a)) (neg a)) (* b (neg a)) (* a (* (* b a) (neg b))) (* (* b a) (neg b)) (neg b) (* (* b b) (* -1 (* a a))) (* -1 (* a a)) -1 (* a a))

rewrite50.0ms (3.8%)

Memory

-0.2MiB live, 46.6MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	352
0	100	277
1	199	277
0	512	277

Stop Event

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

Counts

42 → 424

Calls

Call 1

Inputs
(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(pow.f64 (*.f64 b a) #s(literal 2 binary64))
(*.f64 b a)
b
a
#s(literal 2 binary64)
(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
(.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a))
(.f64 (.f64 b b) (neg.f64 a))
(*.f64 b b)
(neg.f64 a)
(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
(.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b)
(.f64 (.f64 b (neg.f64 a)) (neg.f64 a))
(*.f64 b (neg.f64 a))
(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
(.f64 (.f64 b a) (neg.f64 b))
(neg.f64 b)
(.f64 (.f64 b b) (.f64 #s(literal -1 binary64) (.f64 a a)))
(.f64 #s(literal -1 binary64) (.f64 a a))
#s(literal -1 binary64)
(*.f64 a a)
#s(approx (neg (pow (* b a) 2)) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (pow (* b a) 2) #s(hole binary64 (* (pow a 2) (pow b 2))))
#s(approx (* b a) #s(hole binary64 (* a b)))
#s(approx a #s(hole binary64 a))
#s(approx (neg (* (* (* b b) (neg a)) (neg a))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* (* (* b b) (neg a)) (neg a)) #s(hole binary64 (* (pow a 2) (pow b 2))))
#s(approx (* (* b b) (neg a)) #s(hole binary64 (* -1 (* a (pow b 2)))))
#s(approx (neg a) #s(hole binary64 (* -1 a)))
#s(approx (neg (* (* (* b (neg a)) (neg a)) b)) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* (* (* b (neg a)) (neg a)) b) #s(hole binary64 (* (pow a 2) (pow b 2))))
#s(approx (* (* b (neg a)) (neg a)) #s(hole binary64 (* (pow a 2) b)))
#s(approx (* b (neg a)) #s(hole binary64 (* -1 (* a b))))
#s(approx (* a (* (* b a) (neg b))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* (* b a) (neg b)) #s(hole binary64 (* -1 (* a (pow b 2)))))
#s(approx (* (* b b) (* -1 (* a a))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx (* -1 (* a a)) #s(hole binary64 (* -1 (pow a 2))))
#s(approx (* a a) #s(hole binary64 (pow a 2)))
#s(approx b #s(hole binary64 b))
#s(approx (* b b) #s(hole binary64 (pow b 2)))
#s(approx (neg b) #s(hole binary64 (* -1 b)))

Outputs
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 #s(literal -1 binary64) a)) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 #s(literal -1 binary64) b)) (.f64 #s(literal -1 binary64) b))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (.f64 #s(literal -1 binary64) (*.f64 a b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 b b))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 a b) a))
(.f64 (.f64 (.f64 b b) a) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 #s(literal -1 binary64) a) (.f64 (.f64 b b) a))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (.f64 a b) a) (.f64 #s(literal -1 binary64) b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (neg.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 a b))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a) a)
(.f64 (.f64 b b) (.f64 (.f64 #s(literal -1 binary64) a) a))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 a b)))
(.f64 a (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a))
(.f64 b (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 b b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) #s(literal -1 binary64)) (*.f64 a b))
(.f64 (.f64 (fabs.f64 a) (fabs.f64 b)) (*.f64 (fabs.f64 a) (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 a) (.f64 #s(literal -1 binary64) b)) (.f64 (fabs.f64 a) (*.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 (fabs.f64 a) b) (*.f64 (fabs.f64 a) b))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) (fabs.f64 b)) (.f64 (*.f64 #s(literal -1 binary64) a) (fabs.f64 b)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)) (.f64 (.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 b) (fabs.f64 a)) (*.f64 (fabs.f64 b) (fabs.f64 a)))
(.f64 (.f64 (fabs.f64 b) (.f64 #s(literal -1 binary64) a)) (.f64 (fabs.f64 b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) b) (fabs.f64 a)) (.f64 (*.f64 #s(literal -1 binary64) b) (fabs.f64 a)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) b) (.f64 #s(literal -1 binary64) a)) (.f64 (.f64 #s(literal -1 binary64) b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 b (fabs.f64 a)) (*.f64 b (fabs.f64 a)))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (neg.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (fabs.f64 (.f64 a b)) (fabs.f64 (*.f64 a b)))
(.f64 (fabs.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (fabs.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(*.f64 (exp.f64 (+.f64 (log.f64 b) (log.f64 a))) (exp.f64 (+.f64 (log.f64 b) (log.f64 a))))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b) (*.f64 #s(literal -1 binary64) b))
(.f64 #s(literal 1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) (*.f64 b b)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 (*.f64 #s(literal -1 binary64) a) a) b))
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (.f64 #s(literal -1 binary64) a) (.f64 (.f64 (*.f64 #s(literal -1 binary64) b) b) a))
(.f64 (.f64 #s(literal -1 binary64) (pow.f64 (*.f64 a b) #s(literal 2 binary64))) #s(literal -1 binary64))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 #s(literal -1 binary64) (*.f64 a b)))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a) (*.f64 #s(literal -1 binary64) a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 a (.f64 (*.f64 b b) a))
(.f64 b (.f64 (*.f64 a b) a))
(pow.f64 (exp.f64 (+.f64 (log.f64 b) (log.f64 a))) #s(literal 2 binary64))
(pow.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(neg.f64 (.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 a) #s(literal 2 binary64) (*.f64 (log.f64 b) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 b) #s(literal 2 binary64) (*.f64 (log.f64 a) #s(literal 2 binary64))))
(exp.f64 (*.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 2 binary64))) (sinh.f64 (.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 2 binary64))))
(.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/2 binary64)))
(*.f64 a b)
(*.f64 b a)
(pow.f64 (*.f64 a b) #s(literal 1 binary64))
(exp.f64 (*.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 1 binary64)))
b
a
#s(literal 2 binary64)
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 #s(literal -1 binary64) a)) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 #s(literal -1 binary64) b)) (.f64 #s(literal -1 binary64) b))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (.f64 #s(literal -1 binary64) (*.f64 a b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 b b))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 a b) a))
(.f64 (.f64 (.f64 b b) a) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 #s(literal -1 binary64) a) (.f64 (.f64 b b) a))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (.f64 a b) a) (.f64 #s(literal -1 binary64) b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (neg.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 a b))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a) a)
(.f64 (.f64 b b) (.f64 (.f64 #s(literal -1 binary64) a) a))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 a b)))
(.f64 a (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a))
(.f64 b (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 b b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) #s(literal -1 binary64)) (*.f64 a b))
(.f64 (.f64 (fabs.f64 a) (fabs.f64 b)) (*.f64 (fabs.f64 a) (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 a) (.f64 #s(literal -1 binary64) b)) (.f64 (fabs.f64 a) (*.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 (fabs.f64 a) b) (*.f64 (fabs.f64 a) b))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) (fabs.f64 b)) (.f64 (*.f64 #s(literal -1 binary64) a) (fabs.f64 b)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)) (.f64 (.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 b) (fabs.f64 a)) (*.f64 (fabs.f64 b) (fabs.f64 a)))
(.f64 (.f64 (fabs.f64 b) (.f64 #s(literal -1 binary64) a)) (.f64 (fabs.f64 b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) b) (fabs.f64 a)) (.f64 (*.f64 #s(literal -1 binary64) b) (fabs.f64 a)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) b) (.f64 #s(literal -1 binary64) a)) (.f64 (.f64 #s(literal -1 binary64) b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 b (fabs.f64 a)) (*.f64 b (fabs.f64 a)))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (neg.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (fabs.f64 (.f64 a b)) (fabs.f64 (*.f64 a b)))
(.f64 (fabs.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (fabs.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(*.f64 (exp.f64 (+.f64 (log.f64 b) (log.f64 a))) (exp.f64 (+.f64 (log.f64 b) (log.f64 a))))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b) (*.f64 #s(literal -1 binary64) b))
(.f64 #s(literal 1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) (*.f64 b b)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 (*.f64 #s(literal -1 binary64) a) a) b))
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (.f64 #s(literal -1 binary64) a) (.f64 (.f64 (*.f64 #s(literal -1 binary64) b) b) a))
(.f64 (.f64 #s(literal -1 binary64) (pow.f64 (*.f64 a b) #s(literal 2 binary64))) #s(literal -1 binary64))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 #s(literal -1 binary64) (*.f64 a b)))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a) (*.f64 #s(literal -1 binary64) a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 a (.f64 (*.f64 b b) a))
(.f64 b (.f64 (*.f64 a b) a))
(pow.f64 (exp.f64 (+.f64 (log.f64 b) (log.f64 a))) #s(literal 2 binary64))
(pow.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(neg.f64 (.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 a) #s(literal 2 binary64) (*.f64 (log.f64 b) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 b) #s(literal 2 binary64) (*.f64 (log.f64 a) #s(literal 2 binary64))))
(exp.f64 (*.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 2 binary64))) (sinh.f64 (.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 2 binary64))))
(.f64 (.f64 (*.f64 #s(literal -1 binary64) b) b) a)
(.f64 (neg.f64 (.f64 b b)) a)
(.f64 (.f64 (*.f64 #s(literal -1 binary64) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)) (*.f64 #s(literal -1 binary64) b))
(.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) a)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 #s(literal -1 binary64) b) (*.f64 a b))
(.f64 (.f64 (*.f64 b b) a) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) a) (*.f64 b b))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 b b) a))
(.f64 (.f64 #s(literal -1 binary64) (*.f64 a b)) b)
(.f64 (.f64 b b) (*.f64 #s(literal -1 binary64) a))
(.f64 (.f64 a b) (*.f64 #s(literal -1 binary64) b))
(.f64 a (neg.f64 (.f64 b b)))
(.f64 a (.f64 #s(literal -1 binary64) (*.f64 b b)))
(.f64 b (.f64 #s(literal -1 binary64) (*.f64 a b)))
(neg.f64 (.f64 (.f64 b b) a))
(.f64 (.f64 (*.f64 #s(literal -1 binary64) b) #s(literal -1 binary64)) b)
(.f64 (.f64 (*.f64 #s(literal -1 binary64) b) b) #s(literal -1 binary64))
(*.f64 (neg.f64 (fabs.f64 b)) (neg.f64 (fabs.f64 b)))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) b)) (neg.f64 (*.f64 #s(literal -1 binary64) b)))
(*.f64 (fabs.f64 (fabs.f64 b)) (fabs.f64 (fabs.f64 b)))
(*.f64 (exp.f64 (log.f64 b)) (exp.f64 (log.f64 b)))
(.f64 #s(literal 1 binary64) (.f64 b b))
(*.f64 (fabs.f64 b) (fabs.f64 b))
(.f64 (.f64 #s(literal -1 binary64) b) (*.f64 #s(literal -1 binary64) b))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 b b)))
(.f64 (.f64 b b) #s(literal 1 binary64))
(.f64 b (.f64 #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) b)))
(*.f64 b b)
(pow.f64 (exp.f64 (log.f64 b)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 b) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) b) #s(literal 2 binary64))
(pow.f64 (*.f64 b b) #s(literal 1 binary64))
(pow.f64 b #s(literal 2 binary64))
(neg.f64 (.f64 (.f64 #s(literal -1 binary64) b) b))
(neg.f64 (.f64 #s(literal -1 binary64) (.f64 b b)))
(fabs.f64 (*.f64 b b))
(exp.f64 (*.f64 (log.f64 b) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 b) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 b) #s(literal 2 binary64))))
(*.f64 #s(literal -1 binary64) a)
(*.f64 a #s(literal -1 binary64))
(neg.f64 a)
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 #s(literal -1 binary64) a)) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 #s(literal -1 binary64) b)) (.f64 #s(literal -1 binary64) b))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (.f64 #s(literal -1 binary64) (*.f64 a b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 b b))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 a b) a))
(.f64 (.f64 (.f64 b b) a) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 #s(literal -1 binary64) a) (.f64 (.f64 b b) a))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (.f64 a b) a) (.f64 #s(literal -1 binary64) b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (neg.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 a b))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a) a)
(.f64 (.f64 b b) (.f64 (.f64 #s(literal -1 binary64) a) a))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 a b)))
(.f64 a (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a))
(.f64 b (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 b b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) #s(literal -1 binary64)) (*.f64 a b))
(.f64 (.f64 (fabs.f64 a) (fabs.f64 b)) (*.f64 (fabs.f64 a) (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 a) (.f64 #s(literal -1 binary64) b)) (.f64 (fabs.f64 a) (*.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 (fabs.f64 a) b) (*.f64 (fabs.f64 a) b))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) (fabs.f64 b)) (.f64 (*.f64 #s(literal -1 binary64) a) (fabs.f64 b)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)) (.f64 (.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 b) (fabs.f64 a)) (*.f64 (fabs.f64 b) (fabs.f64 a)))
(.f64 (.f64 (fabs.f64 b) (.f64 #s(literal -1 binary64) a)) (.f64 (fabs.f64 b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) b) (fabs.f64 a)) (.f64 (*.f64 #s(literal -1 binary64) b) (fabs.f64 a)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) b) (.f64 #s(literal -1 binary64) a)) (.f64 (.f64 #s(literal -1 binary64) b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 b (fabs.f64 a)) (*.f64 b (fabs.f64 a)))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (neg.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (fabs.f64 (.f64 a b)) (fabs.f64 (*.f64 a b)))
(.f64 (fabs.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (fabs.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(*.f64 (exp.f64 (+.f64 (log.f64 b) (log.f64 a))) (exp.f64 (+.f64 (log.f64 b) (log.f64 a))))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b) (*.f64 #s(literal -1 binary64) b))
(.f64 #s(literal 1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) (*.f64 b b)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 (*.f64 #s(literal -1 binary64) a) a) b))
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (.f64 #s(literal -1 binary64) a) (.f64 (.f64 (*.f64 #s(literal -1 binary64) b) b) a))
(.f64 (.f64 #s(literal -1 binary64) (pow.f64 (*.f64 a b) #s(literal 2 binary64))) #s(literal -1 binary64))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 #s(literal -1 binary64) (*.f64 a b)))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a) (*.f64 #s(literal -1 binary64) a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 a (.f64 (*.f64 b b) a))
(.f64 b (.f64 (*.f64 a b) a))
(pow.f64 (exp.f64 (+.f64 (log.f64 b) (log.f64 a))) #s(literal 2 binary64))
(pow.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(neg.f64 (.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 a) #s(literal 2 binary64) (*.f64 (log.f64 b) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 b) #s(literal 2 binary64) (*.f64 (log.f64 a) #s(literal 2 binary64))))
(exp.f64 (*.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 2 binary64))) (sinh.f64 (.f64 (+.f64 (log.f64 b) (log.f64 a)) #s(literal 2 binary64))))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) #s(literal -1 binary64)) a)
(.f64 (.f64 b (fabs.f64 a)) (fabs.f64 a))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))) a)
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b) #s(literal -1 binary64))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) b))
(.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) (.f64 a b)))
(.f64 (.f64 a a) b)
(.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 a b) a)
(.f64 a (.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 a b))))
(.f64 a (.f64 a b))
(.f64 b (.f64 a a))
(neg.f64 (.f64 (.f64 (*.f64 #s(literal -1 binary64) a) a) b))
(.f64 (.f64 #s(literal -1 binary64) b) a)
(.f64 (.f64 #s(literal -1 binary64) a) b)
(.f64 #s(literal -1 binary64) (.f64 a b))
(.f64 (.f64 a b) #s(literal -1 binary64))
(.f64 a (.f64 #s(literal -1 binary64) b))
(.f64 b (.f64 #s(literal -1 binary64) a))
(neg.f64 (*.f64 a b))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 #s(literal -1 binary64) a)) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 #s(literal -1 binary64) b)) (.f64 #s(literal -1 binary64) b))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (.f64 #s(literal -1 binary64) (*.f64 a b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 b b))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 a b) a))
(.f64 (.f64 (.f64 b b) a) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 #s(literal -1 binary64) a) (.f64 (.f64 b b) a))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (.f64 a b) a) (.f64 #s(literal -1 binary64) b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (neg.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 a b))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a) a)
(.f64 (.f64 b b) (.f64 (.f64 #s(literal -1 binary64) a) a))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 a b)))
(.f64 a (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a))
(.f64 b (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 #s(literal -1 binary64) b) b) a)
(.f64 (neg.f64 (.f64 b b)) a)
(.f64 (.f64 (*.f64 #s(literal -1 binary64) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)) (*.f64 #s(literal -1 binary64) b))
(.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) a)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) b) (*.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 #s(literal -1 binary64) b) (*.f64 a b))
(.f64 (.f64 (*.f64 b b) a) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) a) (*.f64 b b))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 b b) a))
(.f64 (.f64 #s(literal -1 binary64) (*.f64 a b)) b)
(.f64 (.f64 b b) (*.f64 #s(literal -1 binary64) a))
(.f64 (.f64 a b) (*.f64 #s(literal -1 binary64) b))
(.f64 a (neg.f64 (.f64 b b)))
(.f64 a (.f64 #s(literal -1 binary64) (*.f64 b b)))
(.f64 b (.f64 #s(literal -1 binary64) (*.f64 a b)))
(neg.f64 (.f64 (.f64 b b) a))
(*.f64 #s(literal -1 binary64) b)
(*.f64 b #s(literal -1 binary64))
(neg.f64 b)
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 #s(literal -1 binary64) a)) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 #s(literal -1 binary64) b)) (.f64 #s(literal -1 binary64) b))
(.f64 (neg.f64 (.f64 b b)) (*.f64 a a))
(.f64 (neg.f64 (.f64 #s(literal -1 binary64) (.f64 a b))) (.f64 #s(literal -1 binary64) (*.f64 a b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 a a))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b) b)
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) (.f64 b b))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 #s(literal -1 binary64) a) a)))
(.f64 (.f64 #s(literal -1 binary64) b) (.f64 (.f64 a b) a))
(.f64 (.f64 (.f64 b b) a) (.f64 #s(literal -1 binary64) a))
(.f64 (.f64 #s(literal -1 binary64) a) (.f64 (.f64 b b) a))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 (.f64 a b) a) (.f64 #s(literal -1 binary64) b))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 (.f64 #s(literal -1 binary64) a) (.f64 #s(literal -1 binary64) b)))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (neg.f64 (.f64 #s(literal -1 binary64) (*.f64 a b))))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a b)) (.f64 a b))
(.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a) a)
(.f64 (.f64 b b) (.f64 (.f64 #s(literal -1 binary64) a) a))
(.f64 (.f64 a b) (.f64 #s(literal -1 binary64) (.f64 a b)))
(.f64 a (.f64 (.f64 (.f64 #s(literal -1 binary64) b) b) a))
(.f64 b (.f64 (.f64 (.f64 #s(literal -1 binary64) a) a) b))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(.f64 (.f64 #s(literal -1 binary64) (fabs.f64 a)) (fabs.f64 a))
(*.f64 (neg.f64 (fabs.f64 a)) (fabs.f64 a))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) #s(literal -1 binary64)))
(*.f64 (fabs.f64 a) (neg.f64 (fabs.f64 a)))
(.f64 (.f64 #s(literal -1 binary64) a) a)
(.f64 (.f64 a a) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 a a))
(.f64 a (.f64 #s(literal -1 binary64) a))
(neg.f64 (*.f64 a a))
#s(literal -1 binary64)
(*.f64 (neg.f64 (fabs.f64 a)) (neg.f64 (fabs.f64 a)))
(*.f64 (fabs.f64 (fabs.f64 a)) (fabs.f64 (fabs.f64 a)))
(*.f64 (exp.f64 (log.f64 a)) (exp.f64 (log.f64 a)))
(.f64 #s(literal 1 binary64) (.f64 a a))
(*.f64 (fabs.f64 a) (fabs.f64 a))
(.f64 (.f64 (*.f64 #s(literal -1 binary64) a) a) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) a))
(.f64 (.f64 a a) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 #s(literal -1 binary64) a) a))
(*.f64 a a)
(pow.f64 (exp.f64 (log.f64 a)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 a) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) a) #s(literal 2 binary64))
(pow.f64 (*.f64 a a) #s(literal 1 binary64))
(pow.f64 a #s(literal 2 binary64))
(neg.f64 (.f64 (.f64 #s(literal -1 binary64) a) a))
(fabs.f64 (*.f64 a a))
(exp.f64 (*.f64 (log.f64 a) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 a) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 a) #s(literal 2 binary64))))
#s(approx (* (* b b) (* -1 (* a a))) (.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64))))
#s(approx (pow (* b a) 2) (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
#s(approx (* b a) (*.f64 a b))
#s(approx a a)
#s(approx (* (* b b) (* -1 (* a a))) (.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64))))
#s(approx (pow (* b a) 2) (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
#s(approx (* (* b a) (neg b)) (.f64 (.f64 (*.f64 #s(literal -1 binary64) b) b) a))
#s(approx (neg a) (*.f64 #s(literal -1 binary64) a))
#s(approx (* (* b b) (* -1 (* a a))) (.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64))))
#s(approx (pow (* b a) 2) (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
#s(approx (* (* b (neg a)) (neg a)) (.f64 (.f64 a b) a))
#s(approx (* b (neg a)) (.f64 #s(literal -1 binary64) (.f64 a b)))
#s(approx (* (* b b) (* -1 (* a a))) (.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64))))
#s(approx (* (* b a) (neg b)) (.f64 (.f64 (*.f64 #s(literal -1 binary64) b) b) a))
#s(approx (* (* b b) (* -1 (* a a))) (.f64 #s(literal -1 binary64) (pow.f64 (.f64 a b) #s(literal 2 binary64))))
#s(approx (* -1 (* a a)) (.f64 (.f64 #s(literal -1 binary64) a) a))
#s(approx (* a a) (*.f64 a a))
#s(approx b b)
#s(approx (* b b) (*.f64 b b))
#s(approx (neg b) (*.f64 #s(literal -1 binary64) b))

eval28.0ms (2.1%)

Memory: -3.0MiB live, 43.8MiB allocated; 3ms collecting garbage
Compiler: Compiled 2 937 to 659 computations (77.6% saved)

prune85.0ms (6.4%)

Memory

-26.1MiB live, 115.9MiB allocated; 9ms collecting garbage

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	266	1	267
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	266	7	273

Accuracy

100.0%

Counts

273 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	77.6%	(.f64 (.f64 b b) (.f64 #s(literal -1 binary64) (.f64 a a)))
▶	94.1%	(.f64 a (.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/2 binary64))) (neg.f64 b)))
✓	94.3%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
✓	99.6%	(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
✓	92.8%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
✓	84.1%	(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
✓	83.3%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 67 to 48 computations (28.4% saved)

series14.0ms (1.1%)

Memory

26.2MiB live, 26.2MiB allocated; 0ms collecting garbage

Counts

9 → 12

Calls

Call 1

Inputs
(.f64 a (.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/2 binary64))) (neg.f64 b)))
a
(.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (.f64 a b) #s(literal 1/2 binary64))) (neg.f64 b))
(.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 a b) #s(literal 1/2 binary64))
(*.f64 a b)
b
#s(literal 1/2 binary64)
(neg.f64 b)

Outputs
#s(approx (* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx a #s(hole binary64 a))
#s(approx (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) #s(hole binary64 (* -1 (* a (pow b 2)))))
#s(approx (* (pow (* a b) 1/2) (pow (* a b) 1/2)) #s(hole binary64 (* a b)))
#s(approx (pow (* a b) 1/2) #s(hole binary64 (sqrt (* a b))))
#s(approx (* a b) #s(hole binary64 (* a b)))
#s(approx (* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) #s(hole binary64 (* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))))
#s(approx (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) #s(hole binary64 (* a (* (pow b 2) (pow (sqrt -1) 2)))))
#s(approx (* (pow (* a b) 1/2) (pow (* a b) 1/2)) #s(hole binary64 (* -1 (* a (* b (pow (sqrt -1) 2))))))
#s(approx (pow (* a b) 1/2) #s(hole binary64 (* -1 (* (sqrt (* a b)) (pow (sqrt -1) 2)))))
#s(approx b #s(hole binary64 b))
#s(approx (neg b) #s(hole binary64 (* -1 b)))

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	a	@	-inf	((* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (pow (* a b) 1/2) (* a b) b 1/2 (neg b))
3.0ms	b	@	-inf	((* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (pow (* a b) 1/2) (* a b) b 1/2 (neg b))
2.0ms	b	@	inf	((* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (pow (* a b) 1/2) (* a b) b 1/2 (neg b))
2.0ms	a	@	inf	((* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (pow (* a b) 1/2) (* a b) b 1/2 (neg b))
2.0ms	a	@	0	((* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (pow (* a b) 1/2) (* a b) b 1/2 (neg b))

rewrite24.0ms (1.9%)

Memory

-18.2MiB live, 28.4MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	239
0	55	158
0	148	158

Stop Event

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

Counts

21 → 39

Calls

Call 1

Inputs
(.f64 a (.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/2 binary64))) (neg.f64 b)))
a
(.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (.f64 a b) #s(literal 1/2 binary64))) (neg.f64 b))
(.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 a b) #s(literal 1/2 binary64))
(*.f64 a b)
b
#s(literal 1/2 binary64)
(neg.f64 b)
#s(approx (* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) #s(hole binary64 (* -1 (* (pow a 2) (pow b 2)))))
#s(approx a #s(hole binary64 a))
#s(approx (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) #s(hole binary64 (* -1 (* a (pow b 2)))))
#s(approx (* (pow (* a b) 1/2) (pow (* a b) 1/2)) #s(hole binary64 (* a b)))
#s(approx (pow (* a b) 1/2) #s(hole binary64 (sqrt (* a b))))
#s(approx (* a b) #s(hole binary64 (* a b)))
#s(approx (* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) #s(hole binary64 (* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))))
#s(approx (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) #s(hole binary64 (* a (* (pow b 2) (pow (sqrt -1) 2)))))
#s(approx (* (pow (* a b) 1/2) (pow (* a b) 1/2)) #s(hole binary64 (* -1 (* a (* b (pow (sqrt -1) 2))))))
#s(approx (pow (* a b) 1/2) #s(hole binary64 (* -1 (* (sqrt (* a b)) (pow (sqrt -1) 2)))))
#s(approx b #s(hole binary64 b))
#s(approx (neg b) #s(hole binary64 (* -1 b)))

Outputs
(.f64 (.f64 a (pow.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (.f64 #s(literal -1 binary64) b))
(.f64 (.f64 (.f64 #s(literal -1 binary64) b) (pow.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64))) a)
(.f64 a (.f64 (.f64 #s(literal -1 binary64) b) (pow.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64))))
a
(.f64 (.f64 #s(literal -1 binary64) b) (pow.f64 (pow.f64 (*.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(.f64 (pow.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal -1 binary64) b))
(.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) (.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) (*.f64 #s(literal -1 binary64) b)))
(neg.f64 (.f64 (pow.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64)) b))
(.f64 (neg.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64))) (neg.f64 (pow.f64 (*.f64 b a) #s(literal 1/2 binary64))))
(.f64 (fabs.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64))) (fabs.f64 (pow.f64 (*.f64 b a) #s(literal 1/2 binary64))))
(.f64 (pow.f64 (.f64 b a) #s(literal 1/2 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/2 binary64)))
(pow.f64 (.f64 (.f64 b a) (*.f64 b a)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (*.f64 b a) #s(literal 1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 b a) #s(literal 1 binary64))
(.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 a) (sqrt.f64 b))
(*.f64 (pow.f64 a #s(literal 1/2 binary64)) (pow.f64 b #s(literal 1/2 binary64)))
(pow.f64 (*.f64 b a) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 b a))
(exp.f64 (.f64 (log.f64 (.f64 b a)) #s(literal 1/2 binary64)))
(*.f64 b a)
(*.f64 a b)
b
#s(literal 1/2 binary64)
(*.f64 #s(literal -1 binary64) b)
(*.f64 b #s(literal -1 binary64))
(neg.f64 b)
#s(approx (* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) (.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64)))
#s(approx a a)
#s(approx (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) (.f64 (.f64 (*.f64 b b) #s(literal -1 binary64)) a))
#s(approx (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (*.f64 b a))
#s(approx (pow (* a b) 1/2) (pow.f64 (*.f64 b a) #s(literal 1/2 binary64)))
#s(approx (* a b) (*.f64 b a))
#s(approx (* a (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b))) (.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) #s(literal -1 binary64)))
#s(approx (* (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (neg b)) (.f64 (.f64 (*.f64 b b) #s(literal -1 binary64)) a))
#s(approx (* (pow (* a b) 1/2) (pow (* a b) 1/2)) (.f64 (.f64 (*.f64 #s(literal -1 binary64) b) a) #s(literal -1 binary64)))
#s(approx (pow (* a b) 1/2) (.f64 (.f64 #s(literal -1 binary64) (pow.f64 (*.f64 b a) #s(literal 1/2 binary64))) #s(literal -1 binary64)))
#s(approx b b)
#s(approx (neg b) (*.f64 #s(literal -1 binary64) b))

eval6.0ms (0.5%)

Memory: 9.9MiB live, 9.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 990 to 175 computations (82.3% saved)

prune24.0ms (1.8%)

Memory

-15.0MiB live, 34.4MiB allocated; 4ms collecting garbage

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	57	7	64

Accuracy

100.0%

Counts

64 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	77.6%	(.f64 (.f64 b b) (.f64 #s(literal -1 binary64) (.f64 a a)))
✓	94.1%	(.f64 a (.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/2 binary64))) (neg.f64 b)))
✓	94.3%	(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
✓	99.6%	(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
✓	92.8%	(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
✓	84.1%	(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
✓	83.3%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 134 to 79 computations (41% saved)

regimes11.0ms (0.9%)

Memory

23.8MiB live, 23.8MiB allocated; 0ms collecting garbage

Counts

7 → 1

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a)))
(neg.f64 (.f64 (.f64 (*.f64 b (neg.f64 a)) (neg.f64 a)) b))
(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(.f64 a (.f64 (*.f64 b a) (neg.f64 b)))
(.f64 a (.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/2 binary64))) (neg.f64 b)))
(.f64 (.f64 b b) (.f64 #s(literal -1 binary64) (.f64 a a)))

Outputs
(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))

Calls

5 calls:

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

Results

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

Compiler

Compiled 20 to 18 computations (10% saved)

regimes9.0ms (0.7%)

Memory

-30.0MiB live, 17.0MiB allocated; 2ms collecting garbage

Counts

3 → 2

Calls

Call 1

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

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
92.8%	1	`(*.f64 a a)`
92.8%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
92.8%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
92.8%	1	`a`
96.8%	2	`b`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes6.0ms (0.4%)

Memory

14.3MiB live, 14.3MiB allocated; 0ms collecting garbage

Counts

2 → 2

Calls

Call 1

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

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

Calls

5 calls:

1.0ms	b
1.0ms	a
1.0ms	(*.f64 a a)
1.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
1.0ms	(.f64 (.f64 (*.f64 a a) b) b)

Results

Accuracy	Segments	Branch
89.5%	2	`(*.f64 a a)`
89.6%	2	`(.f64 (.f64 (*.f64 a a) b) b)`
89.6%	2	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
89.5%	2	`a`
89.5%	2	`b`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes5.0ms (0.4%)

Memory

12.8MiB live, 12.8MiB allocated; 0ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

5 calls:

1.0ms	a
1.0ms	b
1.0ms	(*.f64 a a)
1.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
1.0ms	(.f64 (.f64 (*.f64 a a) b) b)

Results

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

Compiler

Compiled 20 to 18 computations (10% saved)

bsearch7.0ms (0.6%)

Memory

12.4MiB live, 12.4MiB allocated; 0ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
7.0ms	6.477243444508699e+152	2.317217532178602e+153

Samples

4.0ms

80×

valid

Compiler

Compiled 111 to 91 computations (18% saved)

Precisions

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

ival-mult: 1.0ms (52.9% of total)

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

adjust: 0.0ms (0% of total)

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

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

bsearch0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-4.3378095716077335e-52	-6.648604976373363e-62

Compiler

Compiled 11 to 11 computations (0% saved)

simplify45.0ms (3.4%)

Memory

-34.1MiB live, 59.6MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	67
1	62	61
2	130	61
3	195	61
4	293	61
5	665	61
6	3793	61

Stop Event

1×	node limit

Calls

Call 1

Inputs
(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(if (<=.f64 b #s(literal 2300000000000000129636326303256008399606566117502816934629964267623446665344618345018275876919412324473875859201696981535546838259395855195706548325187584 binary64)) (neg.f64 (.f64 (.f64 (.f64 b b) (neg.f64 a)) (neg.f64 a))) (neg.f64 (.f64 (.f64 (.f64 b (neg.f64 a)) (neg.f64 a)) b)))
(if (<=.f64 (neg.f64 (.f64 (.f64 (.f64 a a) b) b)) #s(literal -336999333339383/842498333348457493583344221469363458551160763204392890034487820288 binary64)) (neg.f64 (.f64 (.f64 (.f64 a a) b) b)) (neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a))))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Outputs
(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(.f64 #s(literal -1 binary64) (pow.f64 (.f64 b a) #s(literal 2 binary64)))
(if (<=.f64 b #s(literal 2300000000000000129636326303256008399606566117502816934629964267623446665344618345018275876919412324473875859201696981535546838259395855195706548325187584 binary64)) (neg.f64 (.f64 (.f64 (.f64 b b) (neg.f64 a)) (neg.f64 a))) (neg.f64 (.f64 (.f64 (.f64 b (neg.f64 a)) (neg.f64 a)) b)))
(if (<=.f64 b #s(literal 2300000000000000129636326303256008399606566117502816934629964267623446665344618345018275876919412324473875859201696981535546838259395855195706548325187584 binary64)) (.f64 (.f64 (.f64 b b) a) (.f64 #s(literal -1 binary64) a)) (.f64 (.f64 #s(literal -1 binary64) (.f64 (.f64 b a) a)) b))
(if (<=.f64 (neg.f64 (.f64 (.f64 (.f64 a a) b) b)) #s(literal -336999333339383/842498333348457493583344221469363458551160763204392890034487820288 binary64)) (neg.f64 (.f64 (.f64 (.f64 a a) b) b)) (neg.f64 (.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a))))
(if (<=.f64 (.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 a a) b) b)) #s(literal -336999333339383/842498333348457493583344221469363458551160763204392890034487820288 binary64)) (.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 a a) b) b)) (.f64 (.f64 (.f64 b b) a) (.f64 #s(literal -1 binary64) a)))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 a a) b) b))

derivations5.0ms (0.3%)

Memory

5.7MiB live, 5.7MiB allocated; 0ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 68 to 24 computations (64.7% saved)

preprocess42.0ms (3.2%)

Memory

20.7MiB live, 70.0MiB allocated; 3ms collecting garbage

Remove

(sort a b)

(abs b)

(abs a)

Compiler

Compiled 278 to 186 computations (33.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Iter	Nodes	Cost
0	21	46
1	66	46
2	244	46
3	542	46
4	772	46
5	783	46
0	6	8
0	10	8
1	24	8
2	81	8
3	303	8
4	719	8
5	844	8
0	844	8

Iter	Nodes	Cost
0	21	46
1	66	46
2	244	46
3	542	46
4	772	46
5	783	46
0	6	8
0	10	8
1	24	8
2	81	8
3	303	8
4	719	8
5	844	8
0	844	8

start0.0ms (0%)

analyze0.0ms (0%)

sample655.0ms (49.7%)

explain74.0ms (5.6%)

preprocess48.0ms (3.6%)

eval0.0ms (0%)

prune1.0ms (0%)

series12.0ms (0.9%)

rewrite116.0ms (8.8%)

eval8.0ms (0.6%)

prune30.0ms (2.3%)

series14.0ms (1.1%)

rewrite50.0ms (3.8%)

eval28.0ms (2.1%)

prune85.0ms (6.4%)

series14.0ms (1.1%)

rewrite24.0ms (1.9%)

eval6.0ms (0.5%)

prune24.0ms (1.8%)

regimes11.0ms (0.9%)

regimes9.0ms (0.7%)

regimes6.0ms (0.4%)

regimes5.0ms (0.4%)

bsearch7.0ms (0.6%)

bsearch0.0ms (0%)

simplify45.0ms (3.4%)

derivations5.0ms (0.3%)

preprocess42.0ms (3.2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	21	46
1	66	46
2	244	46
3	542	46
4	772	46
5	783	46
0	6	8
0	10	8
1	24	8
2	81	8
3	303	8
4	719	8
5	844	8
0	844	8